current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:12 2012 Optimize a model with 103200 rows, 21030 columns and 329000 nonzeros Presolve time: 0.34s Presolved: 103200 rows, 21030 columns, 329000 nonzeros Variable types: 0 continuous, 21030 integer (21030 binary) Root relaxation: objective 0.000000e+00, 812 iterations, 0.10 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 (1299 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:14 2012 Optimize a model with 51700 rows, 11030 columns and 164500 nonzeros Presolve time: 0.17s Presolved: 51700 rows, 11030 columns, 164500 nonzeros Variable types: 0 continuous, 11030 integer (11030 binary) Root relaxation: objective 0.000000e+00, 562 iterations, 0.04 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 (1005 simplex iterations) in 0.28 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:15 2012 Optimize a model with 25950 rows, 6030 columns and 82250 nonzeros Presolve time: 0.10s Presolved: 25950 rows, 6030 columns, 82250 nonzeros Variable types: 0 continuous, 6030 integer (6030 binary) Root relaxation: objective 0.000000e+00, 473 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 (871 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:15 2012 Optimize a model with 12560 rows, 3430 columns and 39480 nonzeros Presolve time: 0.04s Presolved: 12560 rows, 3430 columns, 39480 nonzeros Variable types: 0 continuous, 3430 integer (3430 binary) Root relaxation: objective 0.000000e+00, 416 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 (1283 simplex iterations) in 0.09 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:16 2012 Optimize a model with 6380 rows, 2230 columns and 19740 nonzeros Presolve time: 0.02s Presolved: 6380 rows, 2230 columns, 19740 nonzeros Variable types: 0 continuous, 2230 integer (2230 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3106 simplex iterations) in 0.20 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:16 2012 Optimize a model with 3290 rows, 1630 columns and 9870 nonzeros Presolve time: 0.01s Presolved: 3290 rows, 1630 columns, 9870 nonzeros Variable types: 0 continuous, 1630 integer (1630 binary) Root relaxation: objective 0.000000e+00, 446 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 398 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5830 simplex iterations) in 0.84 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:09:17 2012 Optimize a model with 4320 rows, 1830 columns and 13160 nonzeros Presolve time: 0.01s Presolved: 4320 rows, 1830 columns, 13160 nonzeros Variable types: 0 continuous, 1830 integer (1830 binary) Root relaxation: objective 0.000000e+00, 433 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 394 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 8s 0 0 0.00000 0 344 - 0.00000 - - 8s 0 0 0.00000 0 344 - 0.00000 - - 9s 0 2 0.00000 0 344 - 0.00000 - - 9s 6 4 0.00000 4 478 - 0.00000 - 671 10s 321 20 infeasible 15 - 0.00000 - 184 15s 670 12 0.00000 14 427 - 0.00000 - 176 20s 805 21 0.00000 0 354 - 0.00000 - 173 26s 807 22 0.00000 0 348 - 0.00000 - 173 30s 810 24 0.00000 0 326 - 0.00000 - 172 36s 812 25 0.00000 0 314 - 0.00000 - 172 41s 814 27 0.00000 0 457 - 0.00000 - 171 46s 877 19 0.00000 16 505 - 0.00000 - 259 50s 1027 19 infeasible 22 - 0.00000 - 269 55s 1187 25 infeasible 21 - 0.00000 - 275 60s 1368 22 0.00000 21 385 - 0.00000 - 277 65s 1533 7 infeasible 22 - 0.00000 - 282 70s 1706 10 infeasible 21 - 0.00000 - 283 75s Cutting planes: Clique: 1 Zero half: 26 Explored 1789 nodes (577988 simplex iterations) in 78.03 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:10:35 2012 Optimize a model with 5350 rows, 2030 columns and 16450 nonzeros Presolve time: 0.01s Presolved: 5350 rows, 2030 columns, 16450 nonzeros Variable types: 0 continuous, 2030 integer (2030 binary) Root relaxation: objective 0.000000e+00, 442 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 358 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s Cutting planes: Clique: 9 Explored 0 nodes (8964 simplex iterations) in 1.16 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