current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:22 2012 Optimize a model with 57288 rows, 9578 columns and 180180 nonzeros Presolve time: 0.18s Presolved: 57288 rows, 9578 columns, 180180 nonzeros Variable types: 0 continuous, 9578 integer (9578 binary) Root relaxation: objective 0.000000e+00, 319 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 (606 simplex iterations) in 0.32 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:23 2012 Optimize a model with 28710 rows, 5222 columns and 90090 nonzeros Presolve time: 0.13s Presolved: 28710 rows, 5222 columns, 90090 nonzeros Variable types: 0 continuous, 5222 integer (5222 binary) Root relaxation: objective 0.000000e+00, 317 iterations, 0.03 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 (795 simplex iterations) in 0.22 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:23 2012 Optimize a model with 13988 rows, 2978 columns and 43680 nonzeros Presolve time: 0.05s Presolved: 13988 rows, 2978 columns, 43680 nonzeros Variable types: 0 continuous, 2978 integer (2978 binary) Root relaxation: objective 0.000000e+00, 271 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 (525 simplex iterations) in 0.07 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:24 2012 Optimize a model with 7060 rows, 1922 columns and 21840 nonzeros Presolve time: 0.02s Presolved: 7060 rows, 1922 columns, 21840 nonzeros Variable types: 0 continuous, 1922 integer (1922 binary) Root relaxation: objective 0.000000e+00, 279 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 (1012 simplex iterations) in 0.06 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:24 2012 Optimize a model with 3596 rows, 1394 columns and 10920 nonzeros Presolve time: 0.01s Presolved: 3596 rows, 1394 columns, 10920 nonzeros Variable types: 0 continuous, 1394 integer (1394 binary) Root relaxation: objective 0.000000e+00, 298 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 258 - 0.00000 - - 0s 0 0 0.00000 0 164 - 0.00000 - - 0s 0 0 0.00000 0 403 - 0.00000 - - 1s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 3s 0 0 0.00000 0 385 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 374 - 0.00000 - - 6s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 2 0.00000 0 382 - 0.00000 - - 9s 4 4 0.00000 2 385 - 0.00000 - 1052 10s Cutting planes: Clique: 14 Zero half: 20 Explored 27 nodes (42826 simplex iterations) in 10.65 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:35 2012 Optimize a model with 5328 rows, 1658 columns and 16380 nonzeros Presolve time: 0.01s Presolved: 5328 rows, 1658 columns, 16380 nonzeros Variable types: 0 continuous, 1658 integer (1658 binary) Root relaxation: objective 0.000000e+00, 286 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 140 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3737 simplex iterations) in 0.30 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:16:35 2012 Optimize a model with 4462 rows, 1526 columns and 13650 nonzeros Presolve time: 0.01s Presolved: 4462 rows, 1526 columns, 13650 nonzeros Variable types: 0 continuous, 1526 integer (1526 binary) Root relaxation: objective 0.000000e+00, 266 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 252 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 269 - 0.00000 - - 2s 0 0 0.00000 0 287 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 143 - 0.00000 - - 4s 0 0 0.00000 0 206 - 0.00000 - - 5s 0 0 0.00000 0 232 - 0.00000 - - 5s 0 0 0.00000 0 298 - 0.00000 - - 6s 0 0 0.00000 0 298 - 0.00000 - - 6s 0 2 0.00000 0 298 - 0.00000 - - 7s 236 54 infeasible 21 - 0.00000 - 126 10s 607 105 0.00000 8 337 - 0.00000 - 98.7 15s 611 107 0.00000 20 323 - 0.00000 - 98.1 20s 614 109 0.00000 22 331 - 0.00000 - 97.6 25s 618 112 0.00000 8 300 - 0.00000 - 97.0 30s 880 97 0.00000 19 242 - 0.00000 - 177 35s * 1089 1 32 0.0000000 0.00000 0.0% 186 38s Cutting planes: Gomory: 1 Clique: 1 Zero half: 6 Explored 1090 nodes (247397 simplex iterations) in 38.71 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% optimal solution found: number of colors: 5