T SUM NUM_NODES 5920
T SUM NUM_PRUNES 15
T SUM SEARCH_TIME 0.215740

Solving normal LP:
Solving with simplex method...done!
CPXlpopt ended with status 0!
CPXlpopt ended with lpstat 1!
Obj: w = 1 / 3 == 0.333333
Assigning optimum fraction and reducing LP.
temp_error_term = 0.0000001000
num_rounded = 12, num_remaining = 31
                                  w =          1 /          3 == 0.3333333333 =/= 0.3333333333
                     v1a(1,1,1,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(1,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(1,1,0,0,1) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(1,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(1,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(0,1,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(0,0,1,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(0,1,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(0,1,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(0,0,0,1,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(0,0,1,0,0) =          0 /          1 == 0.0000000000 =/= 0.0000000000
                     v1a(1,1,1,1,1) =         -1 /          6 == -0.1666666667 =/= -0.1666666667
                     v1a(1,0,1,1,1) =         -1 /          3 == -0.3333333333 =/= -0.3333333333
                     v1a(1,1,0,1,1) =         -1 /          3 == -0.3333333333 =/= -0.3333333333
                     v1a(1,0,0,1,1) =         -1 /          3 == -0.3333333333 =/= -0.3333333333
                     v1a(1,0,1,1,0) =         -1 /          3 == -0.3333333333 =/= -0.3333333333
                     v1a(1,0,1,0,1) =         -1 /          3 == -0.3333333333 =/= -0.3333333333
                     v1a(1,0,0,0,1) =         -1 /          4 == -0.2500000000 =/= -0.2500000000
                     v1a(1,0,0,1,0) =         -1 /          4 == -0.2500000000 =/= -0.2500000000
                     v1a(1,0,1,0,0) =         -1 /          4 == -0.2500000000 =/= -0.2500000000
                     v1a(1,1,0,0,0) =          1 /         12 == 0.0833333333 =/= 0.0833333333
                     v1a(0,1,1,1,1) =          1 /         12 == 0.0833333333 =/= 0.0833333333
                     v1a(0,0,1,1,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                     v1a(0,1,0,1,1) =         -1 /         12 == -0.0833333333 =/= -0.0833333333
                     v1a(0,1,1,0,1) =          1 /          4 == 0.2500000000 =/= 0.2500000000
                     v1a(0,0,0,1,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                     v1a(0,1,0,0,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                     v1a(0,0,1,0,1) =          1 /          6 == 0.1666666667 =/= 0.1666666667
                     v1a(0,0,0,0,1) =          1 /          4 == 0.2500000000 =/= 0.2500000000
                     v1a(0,1,0,0,0) =          1 /         12 == 0.0833333333 =/= 0.0833333333

Now          0 of         31 variables and          0 of        695 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.333333 == 1 / 3.
