current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:04:59 2012 Optimize a model with 87400 rows, 18968 columns and 279680 nonzeros Presolve time: 0.28s Presolved: 87400 rows, 18968 columns, 279680 nonzeros Variable types: 0 continuous, 18968 integer (18968 binary) Root relaxation: objective 0.000000e+00, 773 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 (1209 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:05:01 2012 Optimize a model with 43336 rows, 9848 columns and 138368 nonzeros Presolve time: 0.15s Presolved: 43336 rows, 9848 columns, 138368 nonzeros Variable types: 0 continuous, 9848 integer (9848 binary) Root relaxation: objective 0.000000e+00, 512 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 (891 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:05:02 2012 Optimize a model with 21304 rows, 5288 columns and 67712 nonzeros Presolve time: 0.08s Presolved: 21304 rows, 5288 columns, 67712 nonzeros Variable types: 0 continuous, 5288 integer (5288 binary) Root relaxation: objective 0.000000e+00, 427 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 (782 simplex iterations) in 0.12 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 05:05:02 2012 Optimize a model with 10288 rows, 3008 columns and 32384 nonzeros Presolve time: 0.03s Presolved: 10288 rows, 3008 columns, 32384 nonzeros Variable types: 0 continuous, 3008 integer (3008 binary) Root relaxation: objective 0.000000e+00, 395 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 (746 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 05:05:02 2012 Optimize a model with 4780 rows, 1868 columns and 14720 nonzeros Presolve time: 0.01s Presolved: 4780 rows, 1868 columns, 14720 nonzeros Variable types: 0 continuous, 1868 integer (1868 binary) Root relaxation: objective 0.000000e+00, 400 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 194 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3428 simplex iterations) in 0.24 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 05:05:02 2012 Optimize a model with 2026 rows, 1298 columns and 5888 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.01s Presolved: 1836 rows, 1108 columns, 5508 nonzeros Variable types: 0 continuous, 1108 integer (1108 binary) Root relaxation: objective 0.000000e+00, 192 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 190 - 0.00000 - - 0s Explored 0 nodes (827 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 05:05:02 2012 Optimize a model with 2944 rows, 1488 columns and 8832 nonzeros Presolve time: 0.01s Presolved: 2944 rows, 1488 columns, 8832 nonzeros Variable types: 0 continuous, 1488 integer (1488 binary) Root relaxation: objective 0.000000e+00, 410 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 280 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6335 simplex iterations) in 0.70 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 05:05:03 2012 Optimize a model with 3862 rows, 1678 columns and 11776 nonzeros Presolve time: 0.01s Presolved: 3862 rows, 1678 columns, 11776 nonzeros Variable types: 0 continuous, 1678 integer (1678 binary) Root relaxation: objective 0.000000e+00, 422 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 364 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 506 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 335 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 308 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 7s 0 0 0.00000 0 298 - 0.00000 - - 7s 0 0 0.00000 0 290 - 0.00000 - - 8s 0 0 0.00000 0 292 - 0.00000 - - 8s 0 0 0.00000 0 292 - 0.00000 - - 9s 0 2 0.00000 0 290 - 0.00000 - - 9s 8 8 0.00000 6 336 - 0.00000 - 510 10s 493 19 infeasible 13 - 0.00000 - 147 15s 812 32 0.00000 13 526 - 0.00000 - 134 20s 815 34 0.00000 14 300 - 0.00000 - 134 25s 818 36 0.00000 22 288 - 0.00000 - 133 30s 821 38 0.00000 10 280 - 0.00000 - 133 36s 823 39 0.00000 14 302 - 0.00000 - 132 40s 987 22 infeasible 24 - 0.00000 - 218 45s 1210 23 infeasible 22 - 0.00000 - 230 50s 1428 21 0.00000 19 416 - 0.00000 - 238 55s 1662 13 0.00000 21 330 - 0.00000 - 241 60s Cutting planes: Zero half: 15 Explored 1708 nodes (483574 simplex iterations) in 61.02 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