split the static attrs into solver-instance-wide and board-wide ones

split the static attrs into solver-instance-wide and board-wide ones #81