current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:47:07 2012 Optimize a model with 92640 rows, 19395 columns and 295776 nonzeros Presolve time: 0.30s Presolved: 92640 rows, 19395 columns, 295776 nonzeros Variable types: 0 continuous, 19395 integer (19395 binary) Root relaxation: objective 0.000000e+00, 821 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 (1284 simplex iterations) in 0.54 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:47:09 2012 Optimize a model with 46416 rows, 10179 columns and 147888 nonzeros Presolve time: 0.16s Presolved: 46416 rows, 10179 columns, 147888 nonzeros Variable types: 0 continuous, 10179 integer (10179 binary) Root relaxation: objective 0.000000e+00, 606 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 (1110 simplex iterations) in 0.27 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:47:10 2012 Optimize a model with 23304 rows, 5571 columns and 73944 nonzeros Presolve time: 0.09s Presolved: 23304 rows, 5571 columns, 73944 nonzeros Variable types: 0 continuous, 5571 integer (5571 binary) Root relaxation: objective 0.000000e+00, 459 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 (854 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:47:10 2012 Optimize a model with 11748 rows, 3267 columns and 36972 nonzeros Presolve time: 0.04s Presolved: 11748 rows, 3267 columns, 36972 nonzeros Variable types: 0 continuous, 3267 integer (3267 binary) Root relaxation: objective 0.000000e+00, 399 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 (728 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:47:11 2012 Optimize a model with 5970 rows, 2115 columns and 18486 nonzeros Presolve time: 0.02s Presolved: 5970 rows, 2115 columns, 18486 nonzeros Variable types: 0 continuous, 2115 integer (2115 binary) Root relaxation: objective 0.000000e+00, 408 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 (1433 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:47:11 2012 Optimize a model with 3081 rows, 1539 columns and 9243 nonzeros Presolve time: 0.01s Presolved: 3081 rows, 1539 columns, 9243 nonzeros Variable types: 0 continuous, 1539 integer (1539 binary) Root relaxation: objective 0.000000e+00, 432 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 294 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7353 simplex iterations) in 0.73 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:47:11 2012 Optimize a model with 4044 rows, 1731 columns and 12324 nonzeros Presolve time: 0.01s Presolved: 4044 rows, 1731 columns, 12324 nonzeros Variable types: 0 continuous, 1731 integer (1731 binary) Root relaxation: objective 0.000000e+00, 431 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 370 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 532 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 327 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 312 - 0.00000 - - 7s 0 0 0.00000 0 308 - 0.00000 - - 8s 0 0 0.00000 0 313 - 0.00000 - - 8s 0 0 0.00000 0 313 - 0.00000 - - 9s 0 2 0.00000 0 313 - 0.00000 - - 9s 9 9 0.00000 5 350 - 0.00000 - 388 10s 472 118 0.00000 18 324 - 0.00000 - 159 15s 605 147 0.00000 18 346 - 0.00000 - 158 20s 608 149 0.00000 18 340 - 0.00000 - 157 25s 612 151 0.00000 18 306 - 0.00000 - 156 31s 614 153 0.00000 14 387 - 0.00000 - 155 35s 617 155 0.00000 17 343 - 0.00000 - 155 41s 626 161 0.00000 13 336 - 0.00000 - 282 45s 727 148 0.00000 18 351 - 0.00000 - 282 50s 903 91 infeasible 20 - 0.00000 - 283 55s 1074 43 0.00000 22 373 - 0.00000 - 287 60s 1237 36 infeasible 19 - 0.00000 - 292 65s 1398 29 0.00000 16 324 - 0.00000 - 295 70s 1540 13 infeasible 24 - 0.00000 - 299 75s Cutting planes: Gomory: 1 Clique: 1 Zero half: 15 Explored 1666 nodes (566576 simplex iterations) in 78.57 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:48:30 2012 Optimize a model with 5007 rows, 1923 columns and 15405 nonzeros Presolve time: 0.01s Presolved: 5007 rows, 1923 columns, 15405 nonzeros Variable types: 0 continuous, 1923 integer (1923 binary) Root relaxation: objective 0.000000e+00, 405 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 162 - 0.00000 - - 0s 0 0 0.00000 0 150 - 0.00000 - - 0s Cutting planes: Clique: 7 Zero half: 1 Explored 0 nodes (7160 simplex iterations) in 0.62 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