current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:55:44 2012 Optimize a model with 90528 rows, 19373 columns and 289440 nonzeros Presolve time: 0.29s Presolved: 90528 rows, 19373 columns, 289440 nonzeros Variable types: 0 continuous, 19373 integer (19373 binary) Root relaxation: objective 0.000000e+00, 697 iterations, 0.08 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 (1143 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:55:45 2012 Optimize a model with 45360 rows, 10157 columns and 144720 nonzeros Presolve time: 0.15s Presolved: 45360 rows, 10157 columns, 144720 nonzeros Variable types: 0 continuous, 10157 integer (10157 binary) Root relaxation: objective 0.000000e+00, 555 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 (1006 simplex iterations) in 0.25 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:55:46 2012 Optimize a model with 22776 rows, 5549 columns and 72360 nonzeros Presolve time: 0.09s Presolved: 22776 rows, 5549 columns, 72360 nonzeros Variable types: 0 continuous, 5549 integer (5549 binary) Root relaxation: objective 0.000000e+00, 450 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 (845 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:55:46 2012 Optimize a model with 11484 rows, 3245 columns and 36180 nonzeros Presolve time: 0.04s Presolved: 11484 rows, 3245 columns, 36180 nonzeros Variable types: 0 continuous, 3245 integer (3245 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 (750 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:55:47 2012 Optimize a model with 5838 rows, 2093 columns and 18090 nonzeros Presolve time: 0.02s Presolved: 5838 rows, 2093 columns, 18090 nonzeros Variable types: 0 continuous, 2093 integer (2093 binary) Root relaxation: objective 0.000000e+00, 414 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 (1571 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:55:47 2012 Optimize a model with 3015 rows, 1517 columns and 9045 nonzeros Presolve time: 0.01s Presolved: 3015 rows, 1517 columns, 9045 nonzeros Variable types: 0 continuous, 1517 integer (1517 binary) Root relaxation: objective 0.000000e+00, 438 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 382 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5815 simplex iterations) in 0.68 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 05:55:48 2012 Optimize a model with 3956 rows, 1709 columns and 12060 nonzeros Presolve time: 0.01s Presolved: 3956 rows, 1709 columns, 12060 nonzeros Variable types: 0 continuous, 1709 integer (1709 binary) Root relaxation: objective 0.000000e+00, 417 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 382 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 489 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 0 0.00000 0 295 - 0.00000 - - 5s 0 0 0.00000 0 284 - 0.00000 - - 5s 0 0 0.00000 0 262 - 0.00000 - - 6s 0 0 0.00000 0 270 - 0.00000 - - 6s 0 0 0.00000 0 266 - 0.00000 - - 7s 0 0 0.00000 0 397 - 0.00000 - - 7s 0 0 0.00000 0 269 - 0.00000 - - 8s 0 2 0.00000 0 266 - 0.00000 - - 9s 16 16 0.00000 9 401 - 0.00000 - 339 10s 633 36 0.00000 20 342 - 0.00000 - 124 15s 805 54 0.00000 6 332 - 0.00000 - 127 20s 808 56 0.00000 19 332 - 0.00000 - 126 25s 811 58 0.00000 16 433 - 0.00000 - 126 31s 870 63 0.00000 26 365 - 0.00000 - 193 35s 1068 31 0.00000 30 408 - 0.00000 - 212 40s 1270 43 0.00000 27 424 - 0.00000 - 224 45s 1480 37 0.00000 27 424 - 0.00000 - 232 50s 1664 39 0.00000 26 354 - 0.00000 - 240 55s 1842 19 0.00000 22 445 - 0.00000 - 248 60s 2003 12 infeasible 23 - 0.00000 - 255 65s 2204 33 infeasible 27 - 0.00000 - 258 70s 2381 32 0.00000 24 442 - 0.00000 - 264 75s 2598 25 0.00000 26 424 - 0.00000 - 265 80s 2800 23 infeasible 27 - 0.00000 - 266 85s 2972 15 infeasible 27 - 0.00000 - 270 90s 3181 12 infeasible 26 - 0.00000 - 271 95s 3388 25 infeasible 24 - 0.00000 - 273 100s 3602 19 0.00000 26 462 - 0.00000 - 273 105s 3784 5 infeasible 23 - 0.00000 - 275 110s Cutting planes: Clique: 1 Zero half: 14 Explored 3956 nodes (1159780 simplex iterations) in 114.87 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 05:57:43 2012 Optimize a model with 4897 rows, 1901 columns and 15075 nonzeros Presolve time: 0.01s Presolved: 4897 rows, 1901 columns, 15075 nonzeros Variable types: 0 continuous, 1901 integer (1901 binary) Root relaxation: objective 0.000000e+00, 406 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 360 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 149 Zero half: 453 Explored 0 nodes (5016 simplex iterations) in 0.44 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