current bounds on the number of colors: 0 -- 184 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:37:01 2012 Optimize a model with 85376 rows, 17854 columns and 272504 nonzeros Presolve time: 0.27s Presolved: 85376 rows, 17854 columns, 272504 nonzeros Variable types: 0 continuous, 17854 integer (17854 binary) Root relaxation: objective 0.000000e+00, 759 iterations, 0.09 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 (1207 simplex iterations) in 0.50 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:37:03 2012 Optimize a model with 42780 rows, 9390 columns and 136252 nonzeros Presolve time: 0.15s Presolved: 42780 rows, 9390 columns, 136252 nonzeros Variable types: 0 continuous, 9390 integer (9390 binary) Root relaxation: objective 0.000000e+00, 470 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 (848 simplex iterations) in 0.23 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:37:04 2012 Optimize a model with 21482 rows, 5158 columns and 68126 nonzeros Presolve time: 0.09s Presolved: 21482 rows, 5158 columns, 68126 nonzeros Variable types: 0 continuous, 5158 integer (5158 binary) Root relaxation: objective 0.000000e+00, 398 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 (711 simplex iterations) in 0.13 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:37:04 2012 Optimize a model with 10370 rows, 2950 columns and 32582 nonzeros Presolve time: 0.03s Presolved: 10370 rows, 2950 columns, 32582 nonzeros Variable types: 0 continuous, 2950 integer (2950 binary) Root relaxation: objective 0.000000e+00, 401 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 (718 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:37:04 2012 Optimize a model with 4814 rows, 1846 columns and 14810 nonzeros Presolve time: 0.01s Presolved: 4814 rows, 1846 columns, 14810 nonzeros Variable types: 0 continuous, 1846 integer (1846 binary) Root relaxation: objective 0.000000e+00, 401 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 344 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (6371 simplex iterations) in 0.60 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 02:37:05 2012 Optimize a model with 2036 rows, 1294 columns and 5924 nonzeros Presolve removed 184 rows and 184 columns Presolve time: 0.01s Presolved: 1852 rows, 1110 columns, 5556 nonzeros Variable types: 0 continuous, 1110 integer (1110 binary) Root relaxation: objective 0.000000e+00, 189 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 184 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (763 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 02:37:05 2012 Optimize a model with 2962 rows, 1478 columns and 8886 nonzeros Presolve time: 0.01s Presolved: 2962 rows, 1478 columns, 8886 nonzeros Variable types: 0 continuous, 1478 integer (1478 binary) Root relaxation: objective 0.000000e+00, 437 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 362 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4877 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 02:37:06 2012 Optimize a model with 3888 rows, 1662 columns and 11848 nonzeros Presolve time: 0.01s Presolved: 3888 rows, 1662 columns, 11848 nonzeros Variable types: 0 continuous, 1662 integer (1662 binary) Root relaxation: objective 0.000000e+00, 424 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 350 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 329 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 314 - 0.00000 - - 5s 0 0 0.00000 0 313 - 0.00000 - - 5s 0 2 0.00000 0 313 - 0.00000 - - 6s 278 18 infeasible 12 - 0.00000 - 160 10s 699 14 0.00000 3 455 - 0.00000 - 161 15s 806 40 0.00000 13 386 - 0.00000 - 156 21s 808 42 0.00000 12 409 - 0.00000 - 155 25s 811 44 0.00000 8 400 - 0.00000 - 155 30s 922 42 infeasible 23 - 0.00000 - 214 35s 1097 30 0.00000 17 403 - 0.00000 - 230 40s 1295 34 0.00000 17 399 - 0.00000 - 239 45s 1482 11 0.00000 20 306 - 0.00000 - 246 50s Cutting planes: Clique: 1 Zero half: 21 Explored 1592 nodes (448487 simplex iterations) in 53.29 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