Optimize a model with 33 rows, 528 columns and 1056 nonzeros Presolve time: 0.00s Presolved: 33 rows, 528 columns, 1056 nonzeros Variable types: 0 continuous, 528 integer (496 binary) adding cut for [(6, 7), (6, 8), (7, 33), (8, 10), (9, 33), (9, 11), (10, 11)] adding cut for [(19, 20), (19, 22), (20, 23), (21, 22), (21, 23)] adding cut for [(3, 12), (3, 13), (12, 13)] adding cut for [(27, 28), (27, 29), (28, 29)] Root relaxation: objective 9.735000e+02, 36 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 973.50000 0 6 - 973.50000 - - 0s adding cut for [(2, 14), (2, 15), (15, 16), (16, 18), (18, 26), (26, 27), (27, 28)] adding cut for [(6, 7), (6, 8), (7, 12), (8, 10), (9, 33), (9, 11), (10, 11), (12, 33)] adding cut for [(24, 25), (21, 24), (21, 23), (23, 25)] adding cut for [(19, 20), (19, 22), (20, 22)] 0 0 975.50000 0 6 - 975.50000 - - 0s 0 0 976.00000 0 12 - 976.00000 - - 0s 0 0 976.37500 0 11 - 976.37500 - - 0s 0 0 977.50000 0 8 - 977.50000 - - 0s 0 0 977.50000 0 8 - 977.50000 - - 0s 0 0 977.50000 0 8 - 977.50000 - - 0s 0 2 979.00000 0 8 - 979.00000 - - 0s adding cut for [(17, 28), (17, 29), (27, 28), (27, 30), (29, 30)] adding cut for [(24, 25), (21, 24), (21, 22), (22, 23), (23, 25)] adding cut for [(2, 14), (2, 15), (14, 16), (15, 16)] adding cut for [(8, 12), (12, 33), (7, 8), (7, 33)] adding cut for [(18, 19), (18, 26), (19, 20), (20, 26)] adding cut for [(9, 10), (9, 11), (10, 11)] adding cut for [(19, 20), (19, 25), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25)] adding cut for [(16, 18), (18, 26), (26, 27), (15, 16), (15, 27)] adding cut for [(17, 28), (17, 30), (28, 29), (29, 30)] adding cut for [(2, 14), (2, 15), (14, 19), (15, 16), (16, 18), (17, 28), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (26, 27), (27, 30), (29, 30)] adding cut for [(7, 8), (7, 12), (8, 10), (9, 10), (9, 11), (11, 33), (12, 33)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 19), (15, 16), (15, 32), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 30), (29, 30)] adding cut for [(12, 33), (12, 14), (14, 33)] adding cut for [(6, 8), (6, 12), (7, 8), (7, 33), (9, 10), (9, 33), (10, 11), (11, 19), (12, 14), (14, 32), (15, 16), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 30), (29, 30)] adding cut for [(2, 14), (2, 32), (7, 8), (7, 33), (8, 10), (9, 10), (9, 11), (11, 19), (12, 14), (12, 33), (17, 28), (17, 29), (18, 25), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (29, 30), (30, 31)] adding cut for [(6, 8), (7, 8), (7, 33), (9, 10), (9, 33), (10, 11), (11, 19), (15, 16), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 16), (6, 8), (7, 8), (7, 33), (9, 10), (9, 33), (10, 11), (11, 19), (16, 18), (17, 29), (17, 30), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (26, 27), (27, 30), (28, 29)] adding cut for [(12, 13), (12, 14), (13, 14)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 19), (17, 29), (17, 30), (18, 25), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 12), (7, 8), (7, 33), (8, 13), (9, 10), (9, 33), (10, 11), (11, 19), (12, 14), (13, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (26, 27), (27, 28)] adding cut for [(17, 29), (17, 30), (29, 30)] adding cut for [(9, 10), (10, 11), (11, 19), (17, 29), (17, 30), (18, 25), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(8, 33), (7, 8), (7, 33)] adding cut for [(7, 33), (7, 8), (8, 10), (9, 10), (11, 33), (11, 19), (17, 29), (17, 30), (18, 25), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(11, 19), (11, 22), (19, 20), (20, 23), (21, 22), (21, 24), (23, 25), (24, 25)] adding cut for [(9, 10), (10, 33), (11, 14), (11, 19), (12, 33), (12, 14), (17, 29), (17, 30), (18, 25), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (9, 10), (10, 11), (11, 22), (12, 14), (12, 19), (19, 20), (20, 23), (21, 22), (21, 24), (23, 25), (24, 25)] adding cut for [(15, 16), (15, 31), (16, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 10), (10, 11), (11, 19), (17, 29), (17, 30), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (11, 33), (11, 19), (12, 33), (12, 14), (17, 29), (17, 30), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (28, 29)] adding cut for [(2, 14), (2, 32), (6, 8), (6, 33), (7, 8), (7, 12), (11, 19), (11, 33), (12, 14), (17, 29), (17, 30), (18, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(7, 8), (7, 12), (8, 10), (9, 10), (11, 14), (11, 19), (12, 14), (17, 29), (17, 30), (18, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 12), (2, 15), (6, 8), (7, 33), (7, 8), (12, 14), (14, 33), (15, 16), (16, 18), (18, 26), (26, 27), (27, 28), (28, 29), (29, 31)] adding cut for [(2, 12), (2, 15), (11, 14), (11, 19), (12, 14), (15, 16), (16, 18), (17, 25), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29), (29, 31)] adding cut for [(9, 10), (10, 11), (11, 19), (15, 25), (15, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(16, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 10), (10, 11), (11, 19), (15, 18), (15, 25), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(6, 7), (7, 8), (8, 10), (10, 11), (11, 19), (16, 25), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(15, 18), (15, 31), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 10), (10, 11), (11, 19), (15, 16), (15, 31), (16, 18), (18, 26), (19, 20), (20, 25), (21, 23), (21, 24), (22, 23), (22, 26), (24, 25)] adding cut for [(6, 7), (7, 8), (8, 10), (10, 11), (11, 19), (15, 16), (15, 31), (16, 18), (18, 26), (19, 20), (20, 23), (21, 23), (21, 24), (22, 25), (22, 26), (24, 25)] adding cut for [(11, 19), (15, 16), (15, 31), (16, 18), (18, 26), (19, 20), (20, 23), (21, 23), (21, 24), (22, 25), (22, 26), (24, 25)] adding cut for [(2, 32), (2, 14), (6, 7), (7, 8), (8, 10), (9, 33), (9, 10), (12, 33), (12, 14)] adding cut for [(16, 25), (17, 29), (17, 30), (18, 19), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (6, 7), (7, 8), (8, 12), (12, 14), (15, 32), (15, 31)] adding cut for [(2, 14), (2, 18), (6, 7), (7, 8), (8, 12), (12, 14), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 33), (9, 10), (10, 11), (11, 19), (16, 25), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(9, 10), (10, 11), (11, 19), (15, 16), (15, 31), (16, 25), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(2, 32), (2, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 15), (9, 10), (10, 11), (11, 19), (15, 16), (16, 25), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(17, 29), (17, 30), (18, 26), (18, 31), (26, 27), (27, 28), (28, 29)] adding cut for [(7, 8), (7, 9), (8, 10), (10, 11), (11, 19), (16, 25), (16, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(2, 32), (2, 14), (12, 33), (12, 14), (15, 32), (15, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (7, 8), (7, 12), (8, 10), (9, 10), (12, 14), (15, 32), (15, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(11, 33), (11, 19), (16, 25), (16, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(2, 32), (2, 14), (12, 14), (12, 19), (15, 32), (15, 18), (16, 25), (16, 31), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(10, 11), (11, 19), (16, 25), (16, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(2, 32), (2, 15), (15, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(11, 14), (11, 19), (14, 33), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 12), (31, 32)] adding cut for [(7, 8), (7, 9), (8, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(10, 33), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 11), (11, 19), (16, 25), (16, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(15, 32), (15, 18), (17, 29), (17, 30), (18, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(11, 19), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(6, 8), (6, 7), (7, 8)] adding cut for [(2, 32), (2, 26), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(17, 29), (17, 30), (27, 28), (27, 31), (28, 29)] adding cut for [(2, 32), (2, 18), (11, 19), (15, 16), (15, 18), (16, 25), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(17, 29), (17, 30), (26, 27), (26, 31), (27, 28), (28, 29)] adding cut for [(11, 19), (15, 16), (15, 18), (16, 25), (18, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25)] adding cut for [(2, 32), (2, 26), (17, 29), (17, 30), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 27), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (27, 28), (28, 29)] adding cut for [(9, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 31)] adding cut for [(12, 33), (12, 22), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 26), (21, 23), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(9, 11), (11, 19), (15, 16), (15, 18), (16, 25), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 23), (21, 24), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (6, 7), (7, 8), (8, 10), (10, 12), (12, 14), (31, 32)] adding cut for [(2, 32), (2, 27), (10, 11), (10, 12), (11, 19), (12, 14), (14, 33), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(2, 32), (2, 27), (8, 10), (8, 11), (9, 10), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(9, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 31)] adding cut for [(2, 32), (2, 27), (7, 8), (7, 11), (8, 33), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(2, 32), (2, 27), (6, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(2, 32), (2, 27), (7, 10), (7, 11), (9, 10), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(6, 7), (7, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(11, 33), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(2, 12), (2, 14), (6, 12), (7, 8), (7, 14), (8, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(2, 32), (2, 28), (9, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(8, 10), (8, 12), (10, 11), (11, 19), (12, 33), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(6, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(7, 10), (7, 12), (10, 11), (11, 19), (12, 33), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(7, 33), (7, 8), (8, 10), (10, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(6, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(7, 8), (7, 12), (8, 11), (11, 19), (12, 33), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(6, 7), (7, 12), (8, 10), (8, 11), (9, 10), (11, 19), (12, 27), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(2, 12), (11, 33), (11, 19), (12, 27), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27)] adding cut for [(2, 14), (8, 11), (8, 14), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 32)] adding cut for [(7, 8), (7, 12), (8, 10), (9, 10), (11, 33), (11, 19), (12, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(7, 8), (7, 10), (8, 14), (9, 10), (11, 14), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29), (28, 31), (31, 32)] adding cut for [(2, 7), (6, 12), (7, 8), (8, 14), (11, 12), (11, 19), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(11, 33), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29), (28, 31), (31, 32)] adding cut for [(6, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 32), (28, 29)] adding cut for [(8, 11), (8, 14), (11, 19), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 14), (14, 28), (15, 16), (15, 18), (16, 25), (17, 30), (17, 31), (18, 26), (21, 22), (21, 24), (22, 23), (23, 31), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 32), (11, 33), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (29, 32)] adding cut for [(7, 8), (7, 12), (8, 10), (9, 10), (12, 31), (17, 30), (17, 31)] adding cut for [(2, 14), (6, 7), (7, 8), (8, 10), (10, 22), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (21, 22), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(6, 12), (6, 14), (12, 33), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(8, 10), (7, 8), (7, 10)] adding cut for [(6, 10), (6, 14), (7, 8), (7, 12), (8, 10), (12, 33), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (14, 32), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (21, 22), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (14, 32), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (20, 21), (20, 23), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (15, 16), (15, 18), (16, 25), (17, 30), (17, 31), (18, 26), (20, 21), (20, 23), (21, 24), (22, 23), (24, 25), (26, 27), (27, 31)] adding cut for [(2, 22), (15, 16), (15, 18), (16, 25), (18, 26), (21, 22), (21, 24), (24, 25), (26, 27)] adding cut for [(6, 11), (7, 8), (7, 12), (8, 10), (10, 23), (11, 19), (12, 33), (19, 20), (20, 23)] adding cut for [(14, 32), (14, 28), (17, 30), (17, 31), (28, 29), (29, 30), (31, 32)] adding cut for [(9, 10), (10, 21), (14, 32), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(7, 8), (7, 12), (8, 31), (12, 33), (17, 30), (17, 31)] adding cut for [(9, 11), (11, 19), (14, 32), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 8), (8, 9), (9, 11), (11, 19), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27)] adding cut for [(6, 11), (11, 19), (14, 32), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(11, 19), (11, 31), (14, 32), (14, 28), (15, 16), (15, 18), (16, 25), (17, 30), (17, 31), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(9, 11), (11, 19), (14, 33), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (7, 8), (7, 12), (8, 10), (10, 23), (12, 32), (22, 23)] adding cut for [(6, 11), (11, 19), (14, 33), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(7, 8), (7, 12), (8, 10), (10, 31), (12, 32), (17, 30), (17, 31)] adding cut for [(5, 14), (9, 11), (11, 19), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 14), (6, 11), (11, 19), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(6, 14), (9, 11), (11, 19), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (6, 14), (11, 19), (11, 22), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(6, 14), (11, 19), (11, 23), (14, 28), (15, 16), (15, 18), (16, 25), (17, 30), (17, 31), (18, 26), (19, 20), (20, 21), (21, 24), (23, 31), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 11), (11, 19), (14, 33), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 23), (9, 11), (11, 19), (14, 23), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (11, 19), (11, 22), (14, 33), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 6), (6, 10), (7, 8), (7, 12), (8, 10), (11, 19), (12, 32), (14, 22), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (22, 32), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (9, 11), (11, 19), (14, 22), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 22), (5, 11), (11, 19), (14, 22), (14, 28), (15, 16), (15, 18), (16, 25), (18, 26), (19, 20), (20, 21), (21, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 14), (2, 32), (9, 10), (9, 33), (10, 11), (11, 19), (12, 33), (14, 16), (15, 32), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(8, 10), (8, 16), (9, 33), (9, 10), (11, 14), (11, 19), (14, 33), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 14), (2, 16), (11, 14), (11, 19), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(8, 10), (9, 10), (7, 8), (7, 9)] adding cut for [(2, 14), (2, 32), (6, 12), (6, 33), (7, 9), (7, 12), (9, 10), (10, 11), (11, 19), (14, 33), (15, 16), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 24), (23, 25), (23, 26), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(7, 8), (7, 9), (8, 12), (9, 10), (10, 11), (11, 19), (16, 32), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(6, 8), (8, 9), (9, 10), (10, 11), (11, 19), (16, 32), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 14), (2, 16), (6, 8), (7, 9), (7, 33), (8, 10), (9, 11), (10, 11), (12, 19), (14, 33), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 28), (28, 29)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 19), (17, 25), (17, 28), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (28, 29), (29, 30)] adding cut for [(15, 27), (16, 18), (16, 31), (18, 26), (26, 27)] adding cut for [(6, 7), (7, 8), (8, 10), (9, 10), (9, 11), (11, 19), (17, 25), (17, 28), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (28, 29), (29, 30)] adding cut for [(16, 26), (16, 18), (18, 26)] adding cut for [(27, 32), (27, 31)] adding cut for [(7, 8), (8, 10), (9, 10), (9, 11), (11, 19), (17, 25), (17, 28), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (28, 29), (29, 30)] adding cut for [(2, 32), (2, 14), (14, 16), (15, 32), (16, 18), (18, 26), (26, 27), (27, 31)] adding cut for [(11, 14), (11, 19), (12, 14), (17, 25), (17, 28), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (28, 29), (29, 30)] adding cut for [(2, 32), (2, 16), (15, 27), (16, 18), (18, 26), (26, 27), (31, 32)] adding cut for [(2, 16), (2, 32), (8, 10), (8, 12), (9, 10), (9, 11), (11, 19), (14, 15), (14, 32), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 32), (2, 16), (6, 10), (10, 11), (11, 19), (14, 32), (14, 15), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 14), (2, 15), (11, 33), (11, 19), (12, 33), (14, 32), (16, 32), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 16), (7, 8), (8, 10), (9, 10), (9, 11), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 16), (7, 33), (9, 10), (9, 11), (10, 33), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(9, 33), (9, 11), (11, 19), (12, 33), (15, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(7, 9), (9, 11), (11, 19), (15, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(6, 8), (8, 33), (9, 11), (9, 33), (11, 19), (16, 18), (16, 32), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29), (30, 31), (31, 32)] adding cut for [(6, 8), (8, 9), (9, 11), (11, 19), (15, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(7, 9), (9, 11), (11, 19), (16, 18), (16, 31), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29), (30, 31)] adding cut for [(9, 11), (9, 12), (11, 19), (16, 18), (16, 31), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29), (30, 32), (31, 32)] adding cut for [(7, 9), (9, 11), (11, 19), (15, 27), (17, 25), (17, 28), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (27, 29), (28, 29)] adding cut for [(2, 14), (14, 16), (16, 18), (18, 26), (26, 32), (30, 31), (31, 32)] adding cut for [(2, 14), (7, 9), (9, 11), (11, 19), (14, 27), (17, 25), (17, 28), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (27, 29), (28, 29)] adding cut for [(15, 26), (16, 32), (16, 18), (18, 26), (30, 31), (31, 32)] adding cut for [(15, 27), (16, 32), (16, 18), (17, 25), (17, 28), (18, 26), (21, 22), (21, 24), (22, 23), (23, 26), (24, 25), (27, 29), (28, 29), (30, 31), (31, 32)] adding cut for [(2, 14), (5, 9), (5, 22), (9, 11), (11, 19), (14, 32), (15, 16), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (23, 32), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(32, 33), (2, 14), (9, 11), (9, 12), (11, 19), (14, 32), (16, 33), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(9, 11), (9, 12), (11, 19), (15, 16), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(4, 9), (7, 33), (9, 11), (11, 19), (16, 33), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(4, 9), (8, 10), (8, 12), (9, 11), (10, 33), (11, 19), (16, 18), (16, 32), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29), (32, 33)] adding cut for [(5, 9), (9, 11), (11, 19), (17, 25), (17, 28), (18, 26), (19, 20), (20, 21), (21, 22), (22, 23), (23, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(15, 16), (16, 18), (17, 25), (17, 28), (18, 26), (23, 32), (23, 24), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(6, 16), (9, 11), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 14), (9, 11), (9, 14), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 16), (8, 9), (8, 10), (9, 11), (10, 12), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(4, 9), (9, 11), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(2, 14), (9, 32), (9, 11), (11, 19), (14, 32), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(32, 33), (9, 11), (11, 19), (15, 32), (16, 33), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(5, 33), (9, 11), (11, 19), (16, 33), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(9, 11), (11, 19), (16, 18), (17, 25), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (26, 27), (27, 29), (28, 29)] adding cut for [(6, 7), (6, 12), (7, 8), (9, 33), (9, 10), (10, 11), (11, 19), (12, 33), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 10), (9, 10), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (9, 33), (9, 10), (10, 11), (11, 19), (14, 33), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 9), (9, 10), (10, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 33), (7, 9), (9, 10), (10, 11), (11, 19), (12, 33), (12, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 33), (9, 33), (9, 10), (10, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 12), (7, 9), (9, 10), (10, 11), (11, 19), (12, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 14), (7, 9), (9, 10), (10, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 9), (8, 33), (9, 10), (10, 11), (11, 19), (12, 33), (12, 14), (14, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (12, 14), (12, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 13), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 10), (6, 13), (9, 10), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 9), (7, 13), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 9), (7, 12), (9, 11), (11, 19), (12, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 9), (7, 33), (8, 33), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 9), (7, 14), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 12), (11, 19), (12, 13), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 33), (9, 10), (9, 11), (10, 12), (11, 19), (12, 33), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(3, 10), (9, 10), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(3, 12), (9, 10), (9, 11), (10, 12), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (9, 10), (9, 11), (10, 12), (11, 19), (12, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 10), (2, 14), (6, 7), (6, 12), (7, 33), (8, 33), (9, 10), (9, 11), (11, 19), (12, 13), (13, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 31), (9, 10), (9, 11), (10, 12), (11, 19), (12, 14), (14, 31), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 12), (9, 10), (9, 11), (10, 12), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 12), (11, 19), (12, 14), (14, 31), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 14), (9, 10), (9, 11), (10, 12), (11, 19), (12, 14), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (6, 7), (6, 12), (7, 14), (9, 10), (9, 11), (10, 12), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 12), (11, 19), (12, 31), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 12), (11, 19), (12, 32), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (9, 10), (9, 11), (10, 12), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 33), (7, 12), (8, 33), (9, 10), (9, 11), (10, 12), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 14), (7, 12), (9, 10), (9, 11), (10, 12), (11, 19), (14, 31), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 12), (7, 14), (9, 10), (9, 11), (10, 12), (11, 19), (14, 31), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 32), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 10), (9, 10), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 27), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(17, 28), (17, 29), (28, 29)] adding cut for [(9, 10), (9, 11), (10, 28), (11, 19), (15, 16), (16, 18), (17, 28), (17, 29), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (27, 29)] adding cut for [(5, 10), (9, 10), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(4, 10), (9, 10), (9, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 30), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 28), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (28, 32)] adding cut for [(2, 14), (9, 10), (9, 11), (10, 28), (11, 19), (14, 28), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 28), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 29), (11, 19), (15, 16), (16, 18), (17, 29), (17, 30), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 29), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (29, 31)] adding cut for [(9, 10), (9, 11), (10, 29), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (10, 17), (11, 19), (15, 16), (16, 18), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (28, 32)] adding cut for [(2, 14), (9, 10), (9, 11), (10, 17), (11, 19), (14, 28), (15, 16), (16, 18), (17, 28), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 12), (8, 33), (9, 10), (9, 11), (10, 33), (11, 19), (12, 22), (19, 20), (20, 23), (22, 23)] adding cut for [(14, 21), (14, 31), (15, 16), (16, 18), (18, 26), (21, 24), (24, 25), (25, 26)] adding cut for [(8, 33), (9, 10), (9, 11), (10, 33), (11, 19), (14, 22), (14, 31), (19, 20), (20, 23), (22, 23)] * 332 227 46 1158.0000000 986.00000 14.9% 7.1 0s adding cut for [(2, 32), (2, 16), (11, 14), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(15, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(8, 10), (10, 11), (11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (17, 28), (17, 29), (27, 32), (27, 28), (29, 30)] adding cut for [(11, 12), (11, 19), (12, 13), (17, 28), (17, 29), (18, 26), (18, 27), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(12, 13), (12, 19), (17, 28), (17, 29), (18, 26), (18, 27), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(8, 10), (10, 11), (11, 19), (17, 28), (17, 29), (18, 26), (18, 27), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(6, 33), (6, 7), (17, 28), (17, 29), (18, 26), (18, 27), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 14), (15, 32), (15, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (31, 32)] adding cut for [(11, 19), (15, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 27), (17, 28), (17, 29), (27, 28), (29, 30), (31, 32)] adding cut for [(14, 19), (16, 18), (16, 31), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (17, 28), (17, 29), (27, 32), (27, 28), (29, 30)] adding cut for [(15, 16), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 10), (9, 33), (9, 11), (10, 11), (12, 33), (12, 19), (14, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (14, 19), (16, 18), (17, 28), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30), (30, 32)] adding cut for [(6, 7), (7, 8), (8, 10), (9, 33), (9, 11), (10, 11), (12, 33), (12, 19), (16, 18), (16, 31), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(12, 33), (15, 26), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30), (31, 32)] * 373 122 26 1081.0000000 986.00000 8.79% 7.6 0s adding cut for [(11, 14), (11, 19), (13, 14), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 33), (11, 19), (13, 33), (17, 29), (17, 30), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (28, 29)] adding cut for [(12, 33), (17, 28), (17, 29), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (12, 14), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(13, 33), (17, 28), (17, 29), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(12, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(10, 11), (10, 14), (11, 19), (13, 14), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(6, 8), (7, 8), (7, 10), (10, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(9, 33), (9, 11), (11, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(3, 14), (11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(7, 33), (7, 9), (9, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(6, 10), (10, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(7, 33), (7, 10), (10, 11), (11, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(10, 33), (10, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(7, 33), (7, 8), (8, 10), (10, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(10, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(7, 8), (7, 9), (8, 11), (9, 14), (11, 19), (13, 14), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(6, 7), (6, 33), (8, 10), (8, 12), (9, 10), (9, 11), (11, 33), (12, 19), (17, 28), (17, 29), (18, 26), (18, 27), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (12, 13), (12, 14), (17, 28), (17, 29), (18, 26), (18, 27), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(7, 10), (10, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 18), (7, 10), (10, 11), (11, 19), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(15, 16), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(6, 8), (6, 13), (8, 10), (9, 33), (9, 10), (11, 33), (11, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 11), (6, 13), (11, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 8), (8, 10), (9, 33), (9, 10), (12, 33), (12, 14)] adding cut for [(7, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 8), (6, 13), (8, 10), (9, 33), (9, 10), (12, 33), (12, 14)] adding cut for [(7, 9), (9, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 8), (6, 13), (8, 10), (10, 33), (12, 33), (12, 14)] adding cut for [(6, 9), (6, 13), (9, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (12, 33), (12, 14), (15, 18), (18, 26), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (12, 14), (12, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 13), (6, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 8), (8, 10), (9, 33), (9, 11), (10, 11), (12, 33), (12, 14)] adding cut for [(2, 32), (2, 14), (6, 33), (6, 10), (8, 9), (8, 10), (9, 11), (11, 19), (12, 33), (12, 14), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(17, 28), (17, 29), (18, 26), (19, 20), (19, 26), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(6, 8), (6, 33), (7, 8), (7, 33)] adding cut for [(6, 7), (7, 8), (8, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(8, 9), (8, 11), (9, 10), (10, 33), (11, 19), (12, 33), (12, 13), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(6, 33), (6, 7), (7, 11), (11, 19), (12, 33), (12, 13), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(8, 11), (8, 12), (11, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 12), (11, 19), (17, 29), (17, 30), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (27, 28), (27, 29)] adding cut for [(13, 14), (14, 33), (17, 29), (17, 30), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (27, 28), (27, 29)] adding cut for [(11, 22), (17, 28), (17, 29), (19, 20), (19, 26), (20, 23), (21, 22), (21, 24), (23, 25), (24, 25), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 25), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (18, 26), (26, 28), (27, 28)] adding cut for [(13, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (27, 28), (27, 29)] adding cut for [(6, 8), (7, 8), (7, 9), (9, 10), (10, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (27, 28), (27, 29)] adding cut for [(6, 33), (6, 13), (17, 29), (17, 30), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (27, 28), (27, 29)] adding cut for [(9, 33), (9, 10), (10, 11), (11, 14), (17, 29), (17, 30), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (27, 28), (27, 29)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 19), (18, 25), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25)] adding cut for [(15, 16), (16, 26), (17, 28), (17, 29), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (12, 13), (12, 14), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(12, 13), (12, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 14), (6, 7), (7, 8), (8, 10), (9, 33), (9, 11), (10, 11), (14, 33)] adding cut for [(10, 11), (10, 12), (11, 19), (12, 13), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(12, 33), (12, 13), (15, 18), (18, 25), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25)] adding cut for [(16, 26), (17, 28), (17, 29), (26, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 24), (23, 25), (23, 26), (24, 25)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 20), (15, 26), (19, 20), (19, 22), (21, 22), (21, 24), (23, 25), (23, 26), (24, 25)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 20), (19, 20), (19, 22), (21, 22), (21, 24), (23, 25), (23, 26), (24, 25)] adding cut for [(15, 16), (16, 18), (17, 29), (17, 30), (18, 27), (27, 28), (28, 29)] adding cut for [(12, 33), (12, 13), (15, 18), (18, 26), (19, 20), (19, 22), (20, 33), (21, 22), (21, 24), (23, 25), (23, 26), (24, 25)] adding cut for [(11, 33), (11, 20), (12, 33), (12, 13), (15, 18), (18, 26), (19, 20), (19, 22), (21, 22), (21, 24), (23, 25), (23, 26), (24, 25)] H 600 229 1080.0000000 995.50000 7.82% 8.1 1s adding cut for [(2, 14), (2, 16), (9, 33), (9, 10), (10, 11), (11, 19), (12, 33), (12, 13), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(17, 28), (17, 29), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(2, 14), (2, 16), (9, 33), (9, 10), (10, 11), (11, 19), (12, 33), (12, 13), (16, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(2, 15), (2, 16), (15, 32), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(6, 7), (6, 13), (7, 8), (12, 13), (12, 19), (15, 32), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 33), (10, 11), (11, 33)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (18, 27)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 20), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (29, 30), (30, 31)] adding cut for [(11, 14), (11, 19), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (17, 28), (17, 29), (18, 28), (29, 30), (30, 31)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 16), (11, 14), (11, 19), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(15, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 15), (12, 13), (12, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (12, 13), (12, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 12), (11, 19), (12, 13), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (16, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 32), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (15, 32), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (3, 12), (12, 33), (15, 32), (16, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (3, 12), (12, 33), (15, 32), (16, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (13, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (10, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 13), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 12), (11, 19), (12, 14), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (12, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(10, 11), (11, 19), (15, 32), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 16), (6, 7), (7, 8), (8, 11), (9, 33), (9, 10), (10, 11), (12, 33), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(15, 32), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 11), (6, 33), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (12, 33), (12, 13)] adding cut for [(14, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 11), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 9), (9, 11), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (12, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 9), (9, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 15), (11, 14), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(16, 32), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(2, 15), (11, 14), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (9, 11), (9, 14), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 12), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 33), (10, 33)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 11), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 18), (9, 10), (9, 11), (10, 33), (11, 20), (12, 33), (12, 13), (15, 32), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (8, 9), (8, 14), (9, 11), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 33), (6, 7), (7, 8), (8, 13), (9, 33), (9, 10), (10, 11), (11, 20), (14, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 9), (8, 13), (9, 10), (10, 11), (11, 20), (14, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 10), (10, 11), (11, 20), (13, 33), (14, 18), (18, 26), (19, 20), (19, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 33), (2, 15), (9, 33), (9, 10), (10, 11), (11, 20), (14, 18), (15, 32), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 15), (2, 16), (11, 14), (11, 19), (15, 32), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 15), (2, 16), (11, 14), (11, 19), (15, 32), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 15), (12, 13), (12, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (14, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 16), (11, 19), (16, 27), (17, 28), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(2, 12), (2, 15), (6, 7), (7, 8), (8, 10), (9, 33), (9, 11), (10, 12), (11, 19), (13, 33), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(8, 10), (8, 13), (9, 10), (9, 11), (11, 19), (14, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(8, 10), (8, 13), (9, 10), (9, 11), (11, 19), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(8, 10), (9, 33), (9, 10), (11, 33), (11, 19), (15, 27), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (26, 27)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 28), (29, 30), (30, 31)] adding cut for [(9, 10), (9, 12), (10, 11), (11, 19), (12, 13), (18, 32), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 20), (15, 18), (18, 26), (19, 20), (19, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 9), (8, 33), (9, 10), (10, 11), (11, 19), (12, 33), (12, 13), (14, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 16), (9, 33), (9, 10), (10, 11), (11, 19), (12, 33), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 16), (9, 33), (9, 10), (10, 11), (11, 19), (12, 33), (12, 13), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (12, 33), (12, 14), (15, 32), (16, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (8, 10), (9, 10), (9, 11), (11, 33), (15, 32), (16, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (12, 33), (15, 32), (16, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (12, 19), (15, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 15), (2, 16), (3, 19), (15, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 8), (7, 33), (9, 33), (9, 10), (10, 11), (11, 19), (14, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 9), (9, 10), (10, 11), (11, 19), (16, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 33), (6, 7), (7, 33)] adding cut for [(2, 15), (2, 16), (11, 14), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(17, 28), (17, 29), (27, 32), (27, 28), (29, 30)] adding cut for [(6, 8), (8, 10), (9, 10), (9, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 8), (7, 13), (8, 10), (9, 10), (9, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(3, 8), (8, 10), (9, 10), (9, 11), (11, 19), (14, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(3, 7), (7, 8), (8, 10), (9, 10), (9, 11), (11, 19), (14, 16), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (18, 26), (26, 27)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 27), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (17, 27), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(12, 33), (12, 13), (17, 27), (17, 29), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(6, 7), (7, 10), (10, 11), (11, 19), (17, 27), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(6, 7), (7, 9), (9, 11), (11, 19), (17, 27), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(6, 7), (7, 11), (11, 19), (17, 27), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(12, 33), (17, 27), (17, 29), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(10, 11), (10, 14), (11, 19), (17, 27), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28), (29, 30)] adding cut for [(12, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (10, 11), (10, 14), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 10), (7, 8), (8, 13), (10, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(10, 11), (10, 12), (11, 19), (12, 13), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 33), (9, 33), (9, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(9, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 14), (7, 8), (8, 10), (10, 33), (12, 33), (12, 13)] adding cut for [(6, 9), (9, 10), (10, 11), (11, 19), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 27), (27, 32)] adding cut for [(2, 15), (2, 16), (16, 18), (17, 28), (17, 29), (18, 28), (29, 30), (30, 31)] adding cut for [(2, 15), (2, 26), (9, 33), (9, 10), (10, 11), (11, 19), (13, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(16, 32), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(14, 19), (16, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(17, 27), (17, 29), (27, 28), (28, 29)] adding cut for [(11, 14), (11, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(11, 14), (11, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(11, 14), (11, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(10, 11), (11, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(11, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(13, 19), (17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(17, 29), (17, 30), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (27, 28), (27, 29)] adding cut for [(8, 10), (9, 33), (9, 10), (11, 33), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (29, 30), (30, 31)] adding cut for [(11, 12), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (26, 28), (29, 30), (30, 31)] adding cut for [(6, 7), (6, 8), (7, 33), (9, 33), (9, 10), (10, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 9), (9, 10), (10, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 9), (9, 10), (10, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (8, 33), (12, 33), (12, 14), (15, 32)] adding cut for [(7, 8), (7, 9), (9, 10), (10, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (10, 11), (11, 19), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (6, 8), (7, 33), (7, 8), (12, 33), (12, 14), (15, 32)] adding cut for [(3, 12), (11, 33), (11, 19), (12, 33), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(3, 12), (12, 33), (16, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 14), (15, 32)] adding cut for [(11, 33), (11, 19), (12, 33), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 16), (6, 7), (7, 8), (8, 10), (9, 33), (9, 11), (10, 11), (12, 33), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(13, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 16), (10, 11), (10, 12), (11, 19), (15, 32), (15, 26), (16, 18), (17, 28), (17, 29), (18, 27), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(6, 7), (7, 9), (9, 11), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 16), (8, 10), (8, 12), (10, 33), (13, 33), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 12), (2, 16), (6, 7), (7, 8), (8, 10), (9, 11), (9, 12), (10, 11), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(13, 33), (15, 32), (15, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 16), (6, 7), (7, 8), (8, 10), (9, 11), (9, 12), (10, 11), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(13, 33), (15, 32), (15, 26), (19, 20), (19, 22), (20, 33), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 16), (7, 9), (7, 12), (9, 11), (11, 20), (15, 26), (15, 32), (16, 18), (17, 28), (17, 29), (18, 27), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(2, 12), (2, 16), (9, 12), (9, 20), (15, 32), (15, 26), (16, 18), (17, 28), (17, 29), (18, 27), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 15), (6, 11), (6, 13), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (7, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 8), (6, 13), (8, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 13), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (6, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (3, 6), (6, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] H 1288 274 1077.0000000 1066.33333 0.99% 8.9 3s adding cut for [(11, 14), (11, 19), (15, 26), (15, 31), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (15, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (15, 31), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 15), (12, 33), (12, 13), (15, 16), (16, 26), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (12, 33), (12, 13), (15, 16), (16, 26), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (12, 33), (15, 16), (16, 26), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (7, 9), (9, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(13, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 16), (15, 27), (16, 18), (18, 26), (26, 27)] adding cut for [(8, 10), (8, 13), (9, 33), (9, 10), (11, 33), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 12), (12, 16), (16, 27), (17, 28), (17, 29), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 16), (11, 14), (11, 19), (13, 14), (16, 18), (18, 25), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25)] adding cut for [(15, 26), (17, 28), (17, 29), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 14), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 15), (2, 16), (15, 32), (16, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (31, 32)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (31, 32)] adding cut for [(2, 12), (2, 16), (12, 19), (15, 18), (16, 27), (17, 28), (17, 29), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26), (27, 28), (29, 30)] adding cut for [(6, 10), (6, 13), (10, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (11, 12), (11, 19), (12, 13), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (10, 11), (10, 14), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 8), (8, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 8), (7, 8), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 8), (7, 8), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 7), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (7, 10), (7, 14), (10, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 15), (6, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (12, 13), (12, 19), (15, 32), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (12, 19), (15, 32), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 14), (11, 19), (15, 27), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28)] adding cut for [(2, 32), (2, 16), (16, 18), (17, 26), (17, 29), (18, 26), (29, 30), (30, 31)] adding cut for [(11, 14), (11, 19), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 28), (27, 28)] adding cut for [(2, 32), (2, 15), (15, 16), (16, 18), (17, 26), (17, 29), (18, 26), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 15), (15, 27), (16, 18), (17, 25), (17, 29), (18, 26), (19, 20), (19, 22), (20, 26), (21, 23), (21, 24), (22, 23), (24, 25), (27, 28), (28, 29)] adding cut for [(2, 12), (2, 14), (12, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 13), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (12, 33), (12, 13), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(12, 13), (12, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 33), (2, 14), (11, 33), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (13, 33), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (12, 13), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 12), (2, 14), (11, 12), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(14, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(14, 16), (15, 27), (16, 18), (18, 26), (26, 27)] adding cut for [(2, 11), (2, 14), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30)] adding cut for [(15, 32), (15, 16), (16, 18), (18, 26), (26, 27)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 33), (12, 33)] adding cut for [(12, 13), (12, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(12, 13), (12, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(12, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 33), (6, 7), (6, 13), (7, 8), (8, 9), (9, 10), (10, 11), (11, 33)] adding cut for [(6, 10), (10, 11), (11, 19), (15, 18), (15, 31), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(8, 11), (11, 19), (15, 18), (15, 31), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 10), (10, 11), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 10), (10, 11), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 11), (11, 19), (15, 32), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (12, 13), (17, 25), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (29, 30), (30, 31)] adding cut for [(2, 15), (15, 16), (16, 18), (18, 26), (26, 28), (27, 28)] adding cut for [(2, 32), (2, 11), (11, 19), (17, 25), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (29, 30), (30, 31)] adding cut for [(14, 16), (15, 27), (16, 18), (18, 26), (26, 28), (27, 28)] adding cut for [(14, 19), (17, 25), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (29, 30), (30, 31)] adding cut for [(15, 16), (16, 18), (18, 26), (26, 28), (27, 28)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(10, 11), (11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 9), (9, 33), (12, 33)] adding cut for [(11, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 10), (9, 33), (9, 10), (12, 33)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(14, 16), (16, 18), (17, 28), (17, 29), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 11), (9, 33), (9, 10), (10, 11), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 8), (7, 33), (9, 33), (9, 10), (10, 11), (11, 19), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 10), (9, 10), (9, 11), (11, 19), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 12), (7, 33), (12, 13), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (7, 33), (7, 9), (9, 10), (10, 11), (11, 19), (12, 33), (12, 14), (15, 32), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 8), (7, 9), (9, 10), (10, 11), (11, 19), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 11), (7, 8), (9, 33), (9, 10), (10, 11), (12, 33), (12, 14)] adding cut for [(11, 33), (11, 19), (12, 33), (12, 13), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 8), (7, 8), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(13, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 12)] adding cut for [(2, 32), (2, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(13, 19), (15, 18), (15, 31), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(6, 33), (6, 7), (7, 8), (9, 33), (9, 10), (10, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(8, 9), (9, 10), (10, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(12, 33), (12, 13), (15, 16), (16, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (12, 13), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(12, 13), (12, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 12), (11, 12), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 11), (11, 19), (16, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (8, 10), (9, 33), (9, 10), (12, 33), (12, 14), (15, 31)] adding cut for [(6, 7), (7, 10), (10, 11), (11, 19), (16, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (8, 9), (9, 33), (12, 33), (12, 14), (15, 31)] adding cut for [(6, 7), (7, 9), (9, 11), (11, 19), (16, 32), (16, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 14), (2, 15), (8, 10), (10, 33), (12, 33), (12, 14), (15, 31)] adding cut for [(11, 33), (11, 19), (12, 33), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(12, 33), (17, 28), (17, 29), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(7, 10), (9, 33), (9, 10), (11, 33), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(6, 7), (6, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 14), (8, 10), (9, 33), (9, 10), (12, 33), (12, 14)] adding cut for [(6, 7), (6, 9), (9, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(9, 33), (9, 10), (11, 33), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(10, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 8), (8, 9), (9, 33), (12, 33), (12, 14)] adding cut for [(9, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 14), (11, 14), (11, 19), (15, 16), (16, 23), (19, 20), (20, 22), (21, 22), (21, 24), (23, 25), (24, 25)] adding cut for [(17, 28), (17, 29), (18, 26), (26, 27), (27, 28), (29, 30)] adding cut for [(11, 33), (11, 19), (12, 33), (12, 13), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30)] adding cut for [(12, 33), (12, 13), (17, 28), (17, 29), (19, 33), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30)] adding cut for [(6, 33), (6, 7), (7, 8), (9, 33), (9, 10), (10, 11), (11, 19), (17, 25), (17, 29), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (29, 30), (30, 31)] adding cut for [(2, 11), (2, 14), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(17, 28), (17, 29), (18, 32), (18, 27), (27, 28), (29, 30)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 33), (12, 33)] adding cut for [(2, 18), (6, 8), (6, 13), (7, 8), (9, 33), (9, 10), (10, 11), (11, 19), (12, 33), (12, 13), (18, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 33), (12, 33)] adding cut for [(2, 32), (2, 12), (6, 7), (7, 8), (8, 9), (9, 10), (10, 11), (11, 33), (12, 33)] adding cut for [(9, 12), (9, 19), (12, 13), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 11), (11, 19), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (13, 33), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (10, 11), (10, 12), (11, 19), (12, 14), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 11), (11, 19), (13, 33), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 19), (12, 33), (12, 13), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 10), (10, 19), (12, 33), (12, 13), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 10), (10, 19), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(10, 33), (10, 19), (12, 33), (12, 13), (15, 18), (18, 26), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (12, 33), (12, 13), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (12, 33), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(12, 33), (15, 16), (16, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (10, 11), (10, 14), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (10, 11), (10, 14), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 20), (12, 33), (12, 13), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 20), (12, 33), (15, 18), (18, 26), (19, 20), (19, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 10), (9, 10), (9, 11), (11, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 10), (9, 11), (11, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 9), (9, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (8, 10), (10, 11), (11, 33), (12, 33), (12, 14)] adding cut for [(8, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 9), (9, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (8, 10), (9, 10), (9, 11), (11, 33), (12, 33), (12, 14)] adding cut for [(8, 10), (10, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 10), (9, 10), (9, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (8, 9), (9, 33), (12, 33), (12, 14)] adding cut for [(6, 7), (6, 13), (7, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 9), (7, 10), (9, 33), (10, 11), (11, 19), (12, 33), (12, 14), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 9), (7, 13), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 9), (7, 13), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 9), (7, 13), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 9), (7, 13), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 8), (7, 13), (8, 10), (10, 33), (12, 33), (12, 14)] adding cut for [(7, 8), (7, 10), (10, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (12, 13), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(10, 11), (10, 12), (11, 19), (12, 13), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (14, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (9, 33), (9, 19), (14, 33), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (12, 13), (17, 28), (17, 29), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 28), (29, 30)] adding cut for [(6, 7), (7, 8), (8, 10), (9, 33), (9, 10), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 8), (7, 33), (7, 8), (15, 18), (18, 26), (19, 20), (19, 22), (20, 33), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 33), (15, 18), (18, 26), (19, 20), (19, 22), (20, 33), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 8), (7, 12), (8, 9), (9, 10), (10, 11), (11, 14), (12, 13)] adding cut for [(7, 33), (7, 12), (12, 13), (15, 18), (18, 26), (19, 20), (19, 22), (20, 33), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 33), (15, 18), (18, 26), (19, 20), (19, 22), (20, 33), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (8, 9), (8, 12), (9, 10), (10, 11), (11, 14), (12, 13)] adding cut for [(9, 33), (9, 10), (10, 11), (11, 19), (13, 33), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] 2586 189 1075.20000 25 32 1077.00000 1073.33333 0.34% 8.7 5s adding cut for [(11, 33), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(8, 33), (15, 18), (18, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 33), (9, 12), (12, 13), (15, 18), (18, 26), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 33), (7, 9), (9, 10), (10, 11), (11, 14), (15, 18), (18, 26), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (6, 7), (6, 12), (7, 8), (8, 10), (9, 10), (9, 11), (11, 14), (12, 13)] adding cut for [(15, 18), (18, 26), (19, 33), (19, 20), (20, 23), (21, 22), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 8), (8, 9), (9, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (17, 28), (17, 29), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 28), (29, 30), (30, 31)] adding cut for [(11, 12), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(10, 11), (10, 12), (11, 19), (12, 13), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (9, 33), (9, 11), (11, 19), (14, 33), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 10), (6, 13), (10, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 8), (7, 9), (9, 33), (12, 33), (12, 14)] adding cut for [(7, 8), (8, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 8), (7, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(11, 33), (11, 19), (13, 33), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 9), (9, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 11), (9, 13), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 9), (9, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (7, 9), (7, 10), (9, 33), (10, 11), (11, 19), (12, 33), (12, 14), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(7, 9), (7, 13), (9, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 9), (9, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (7, 9), (9, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(9, 11), (9, 13), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(6, 7), (6, 13), (7, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 12), (8, 10), (9, 33), (9, 10), (12, 33)] adding cut for [(6, 7), (6, 13), (7, 10), (10, 11), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 22), (21, 23), (23, 24), (24, 25), (25, 26)] adding cut for [(11, 12), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (14, 33), (15, 26), (19, 33), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 11), (11, 19), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (9, 33), (9, 11), (11, 19), (14, 33), (15, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(8, 10), (9, 33), (9, 10), (11, 33), (11, 19), (15, 16), (16, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] adding cut for [(2, 32), (2, 14), (9, 14), (9, 19), (15, 18), (18, 26), (19, 20), (20, 22), (21, 23), (21, 24), (22, 23), (24, 25), (25, 26)] Cutting planes: Gomory: 3 Zero half: 11 Explored 2881 nodes (24364 simplex iterations) in 5.32 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.077000000000e+03, best bound 1.077000000000e+03, gap 0.0% Gurobi 5.0.1 (linux64) logging started Fri Dec 7 08:42:28 2012