T SUM NUM_NODES 8030
T SUM NUM_PRUNES 2
T SUM SEARCH_TIME 0.349795

Solving normal LP:
Solving with simplex method...done!
CPXlpopt ended with status 0!
CPXlpopt ended with lpstat 1!
Obj: w = 2 / 9 == 0.222222
Assigning optimum fraction and reducing LP.
temp_error_term = 0.0000001000
num_rounded = 72, num_remaining = 127
                                  w =          2 /          9 == 0.2222222222 =/= 0.2222222222
                 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,0,0,0,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,1,0,0,0,0,0) =          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,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,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,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,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,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,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,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,1,0,0,0,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                 v1a(1,0,1,1,1,1,1) =         -7 /          9 == -0.7777777778 =/= -0.7777777778
                 v1a(1,0,0,1,1,1,1) =         -1 /          2 == -0.5000000000 =/= -0.5000000000
                 v1a(1,0,1,1,1,1,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,1,0,1,1,1) =        -20 /         27 == -0.7407407407 =/= -0.7407407407
                 v1a(1,0,1,1,1,0,1) =         -1 /         27 == -0.0370370370 =/= -0.0370370370
                 v1a(1,0,0,0,1,1,1) =         -1 /          3 == -0.3333333333 =/= -0.3333333333
                 v1a(1,0,0,1,1,1,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,1,1,1,0,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,1,1,0,1,1) =         -7 /         18 == -0.3888888889 =/= -0.3888888889
                 v1a(1,0,1,0,0,1,1) =         -1 /         27 == -0.0370370370 =/= -0.0370370370
                 v1a(1,0,1,1,0,1,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,1,0,1,1,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,1,1,0,0,1) =         -1 /         27 == -0.0370370370 =/= -0.0370370370
                 v1a(1,0,0,0,0,1,1) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,0,0,1,1,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,0,1,1,0,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,1,1,0,0,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,1,0,1,0,1) =         -7 /         27 == -0.2592592593 =/= -0.2592592593
                 v1a(1,0,0,0,1,0,1) =         -8 /         27 == -0.2962962963 =/= -0.2962962963
                 v1a(1,0,0,1,0,1,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,1,0,0,0,1) =         -1 /         27 == -0.0370370370 =/= -0.0370370370
                 v1a(1,0,1,0,1,0,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,0,1,0,0,1) =         -1 /          9 == -0.1111111111 =/= -0.1111111111
                 v1a(1,0,1,0,0,1,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(1,0,0,0,0,1,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,0,0,1,0,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,0,1,0,0,0) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                 v1a(1,0,1,0,0,0,0) =         -5 /         18 == -0.2777777778 =/= -0.2777777778
                 v1a(0,1,1,1,1,1,1) =          1 /         27 == 0.0370370370 =/= 0.0370370370
                 v1a(0,0,1,1,1,1,1) =          5 /         18 == 0.2777777778 =/= 0.2777777778
                 v1a(0,1,0,1,1,1,1) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,0,1,1,1,1) =          5 /         18 == 0.2777777778 =/= 0.2777777778
                 v1a(0,0,1,1,1,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,1,0,1,1,1) =          2 /          9 == 0.2222222222 =/= 0.2222222222
                 v1a(0,0,0,0,1,1,1) =          5 /         18 == 0.2777777778 =/= 0.2777777778
                 v1a(0,0,0,1,1,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,1,1,0,1,1) =          1 /          9 == 0.1111111111 =/= 0.1111111111
                 v1a(0,0,0,1,1,0,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                 v1a(0,0,1,0,0,1,1) =          1 /          9 == 0.1111111111 =/= 0.1111111111
                 v1a(0,0,1,1,0,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,0,1,0,1,1) =          5 /         18 == 0.2777777778 =/= 0.2777777778
                 v1a(0,0,1,0,1,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,0,0,0,1,1) =          5 /         18 == 0.2777777778 =/= 0.2777777778
                 v1a(0,0,0,0,1,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,1,0,1,0,1) =          2 /         27 == 0.0740740741 =/= 0.0740740741
                 v1a(0,0,0,0,1,0,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                 v1a(0,0,0,1,0,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,1,0,0,0,1) =          1 /          9 == 0.1111111111 =/= 0.1111111111
                 v1a(0,0,0,1,0,0,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                 v1a(0,0,1,0,0,1,0) =         -1 /         18 == -0.0555555556 =/= -0.0555555556
                 v1a(0,0,0,0,0,0,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                 v1a(0,0,1,0,0,0,0) =          1 /         18 == 0.0555555556 =/= 0.0555555556
                 v1a(1,1,1,1,1,1,1) =         -7 /         54 == -0.1296296296 =/= -0.1296296296
                 v1a(1,0,0,1,1,0,1) =        -25 /         54 == -0.4629629630 =/= -0.4629629630
                 v1a(1,0,0,1,0,1,1) =        -25 /         54 == -0.4629629630 =/= -0.4629629630

Now          0 of        127 variables and          0 of       1319 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.222222 == 2 / 9.
