current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:32 2012 Optimize a model with 72447 rows, 16743 columns and 232735 nonzeros Presolve time: 0.22s Presolved: 72447 rows, 16743 columns, 232735 nonzeros Variable types: 0 continuous, 16743 integer (16743 binary) Root relaxation: objective 0.000000e+00, 652 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1056 simplex iterations) in 0.40 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:33 2012 Optimize a model with 35907 rows, 8688 columns and 115060 nonzeros Presolve time: 0.15s Presolved: 35907 rows, 8688 columns, 115060 nonzeros Variable types: 0 continuous, 8688 integer (8688 binary) Root relaxation: objective 0.000000e+00, 464 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (813 simplex iterations) in 0.21 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:34 2012 Optimize a model with 18043 rows, 4750 columns and 57530 nonzeros Presolve time: 0.07s Presolved: 18043 rows, 4750 columns, 57530 nonzeros Variable types: 0 continuous, 4750 integer (4750 binary) Root relaxation: objective 0.000000e+00, 391 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (697 simplex iterations) in 0.10 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:34 2012 Optimize a model with 9111 rows, 2781 columns and 28765 nonzeros Presolve time: 0.03s Presolved: 9111 rows, 2781 columns, 28765 nonzeros Variable types: 0 continuous, 2781 integer (2781 binary) Root relaxation: objective 0.000000e+00, 374 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (683 simplex iterations) in 0.05 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:35 2012 Optimize a model with 4239 rows, 1707 columns and 13075 nonzeros Presolve time: 0.01s Presolved: 4239 rows, 1707 columns, 13075 nonzeros Variable types: 0 continuous, 1707 integer (1707 binary) Root relaxation: objective 0.000000e+00, 384 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 169 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3428 simplex iterations) in 0.21 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:35 2012 Optimize a model with 1803 rows, 1170 columns and 5230 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1624 rows, 991 columns, 4872 nonzeros Variable types: 0 continuous, 991 integer (991 binary) Root relaxation: objective 0.000000e+00, 188 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 179 - 0.00000 - - 0s Explored 0 nodes (756 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:35 2012 Optimize a model with 2615 rows, 1349 columns and 7845 nonzeros Presolve time: 0.01s Presolved: 2615 rows, 1349 columns, 7845 nonzeros Variable types: 0 continuous, 1349 integer (1349 binary) Root relaxation: objective 0.000000e+00, 462 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6230 simplex iterations) in 0.63 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:43:36 2012 Optimize a model with 3427 rows, 1528 columns and 10460 nonzeros Presolve time: 0.01s Presolved: 3427 rows, 1528 columns, 10460 nonzeros Variable types: 0 continuous, 1528 integer (1528 binary) Root relaxation: objective 0.000000e+00, 405 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 3s 0 0 0.00000 0 281 - 0.00000 - - 4s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 2 0.00000 0 284 - 0.00000 - - 5s 704 40 0.00000 15 471 - 0.00000 - 105 10s 708 43 0.00000 11 282 - 0.00000 - 104 15s 716 48 0.00000 17 397 - 0.00000 - 154 20s 1050 13 infeasible 27 - 0.00000 - 173 25s 1386 29 infeasible 27 - 0.00000 - 185 30s 1738 23 infeasible 26 - 0.00000 - 194 35s 2114 17 0.00000 26 312 - 0.00000 - 196 40s 2432 17 0.00000 27 298 - 0.00000 - 202 45s Cutting planes: Clique: 1 Explored 2736 nodes (606585 simplex iterations) in 49.74 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5