T SUM NUM_NODES 8276
T SUM NUM_PRUNES 1
T SUM SEARCH_TIME 0.295634

Solving normal LP:
Solving with simplex method...done!
CPXlpopt ended with status 0!
CPXlpopt ended with lpstat 1!
Obj: w = 1 / 7 == 0.142857
Assigning optimum fraction and reducing LP.
temp_error_term = 0.0000001000
num_rounded = 82, num_remaining = 128
                                  w =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(1,1,0,1,1,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,1,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,1,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,0,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,1,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,1,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,1,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,1,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,1,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,1,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,0,0,1,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,1,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,1,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,1,0,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,0,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,1,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,0,1,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,0,1,0,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(0,1,0,0,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,1,1,1,1,1) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,1,1,1,1) =         -6 /          7 == -0.8571428571 =/= -0.8571428571
                 v1a(1,0,0,1,1,1,1) =         -5 /          7 == -0.7142857143 =/= -0.7142857143
                 v1a(1,0,1,1,1,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,0,1,1,1) =         -5 /          6 == -0.8333333333 =/= -0.8333333333
                 v1a(1,0,0,0,1,1,1) =         -4 /          7 == -0.5714285714 =/= -0.5714285714
                 v1a(1,0,0,1,1,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,1,1,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,1,0,1,1) =         -3 /          7 == -0.4285714286 =/= -0.4285714286
                 v1a(1,0,1,1,0,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,0,1,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,0,0,1,1) =         -3 /          7 == -0.4285714286 =/= -0.4285714286
                 v1a(1,0,0,0,1,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,1,1,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,1,0,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,0,1,0,1) =         -2 /          7 == -0.2857142857 =/= -0.2857142857
                 v1a(1,0,0,1,0,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,0,1,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,1,0,0,1) =         -2 /          7 == -0.2857142857 =/= -0.2857142857
                 v1a(1,0,1,0,0,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,0,0,0,1) =         -2 /          7 == -0.2857142857 =/= -0.2857142857
                 v1a(1,0,0,0,0,1,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,0,1,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,1,0,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,1,0,0,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(1,0,0,0,0,0,0) =         -1 /          7 == -0.1428571429 =/= -0.1428571429
                 v1a(0,0,1,1,1,1,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,0,1,1,1,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,1,0,1,1,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,0,0,1,1,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,1,1,0,1,1) =          1 /         14 == 0.0714285714 =/= 0.0714285714
                 v1a(0,0,0,1,1,0,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,0,1,0,1,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,0,0,0,1,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,1,0,1,0,1) =          1 /         21 == 0.0476190476 =/= 0.0476190476
                 v1a(0,0,0,0,1,0,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(0,0,0,1,0,0,1) =          1 /         14 == 0.0714285714 =/= 0.0714285714
                 v1a(0,0,0,0,0,0,1) =          1 /          7 == 0.1428571429 =/= 0.1428571429
                 v1a(1,0,1,1,1,0,1) =         -1 /         42 == -0.0238095238 =/= -0.0238095238
                 v1a(1,0,0,1,1,0,1) =        -29 /         42 == -0.6904761905 =/= -0.6904761905
                 v1a(1,0,1,0,0,1,1) =         -1 /         42 == -0.0238095238 =/= -0.0238095238
                 v1a(1,0,0,1,0,1,1) =        -29 /         42 == -0.6904761905 =/= -0.6904761905
                 v1a(1,0,1,1,0,0,1) =         -1 /         42 == -0.0238095238 =/= -0.0238095238
                 v1a(1,0,0,0,1,0,1) =        -23 /         42 == -0.5476190476 =/= -0.5476190476
                 v1a(1,0,1,0,0,0,1) =         -1 /         42 == -0.0238095238 =/= -0.0238095238
                 v1a(0,1,1,1,1,1,1) =          1 /         42 == 0.0238095238 =/= 0.0238095238

Now          0 of        128 variables and          0 of       1361 constraints are remaining.
Maximum error with w : 0 / 1 == 0.000000
Maximum error without w : 0 / 1 == 0.000000
LP is feasible.
Optimum Value: 0.142857 == 1 / 7.
