current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:32:35 2012 Optimize a model with 100585 rows, 20715 columns and 320859 nonzeros Presolve time: 0.33s Presolved: 100585 rows, 20715 columns, 320859 nonzeros Variable types: 0 continuous, 20715 integer (20715 binary) Root relaxation: objective 0.000000e+00, 909 iterations, 0.12 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 (1412 simplex iterations) in 0.61 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:32:36 2012 Optimize a model with 49885 rows, 10765 columns and 158809 nonzeros Presolve time: 0.16s Presolved: 49885 rows, 10765 columns, 158809 nonzeros Variable types: 0 continuous, 10765 integer (10765 binary) Root relaxation: objective 0.000000e+00, 720 iterations, 0.05 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 (1194 simplex iterations) in 0.29 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:32:37 2012 Optimize a model with 24535 rows, 5790 columns and 77784 nonzeros Presolve time: 0.10s Presolved: 24535 rows, 5790 columns, 77784 nonzeros Variable types: 0 continuous, 5790 integer (5790 binary) Root relaxation: objective 0.000000e+00, 487 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 (1151 simplex iterations) in 0.17 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 08:32:38 2012 Optimize a model with 12367 rows, 3402 columns and 38892 nonzeros Presolve time: 0.04s Presolved: 12367 rows, 3402 columns, 38892 nonzeros Variable types: 0 continuous, 3402 integer (3402 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 (1098 simplex iterations) in 0.08 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 08:32:38 2012 Optimize a model with 6283 rows, 2208 columns and 19446 nonzeros Presolve time: 0.02s Presolved: 6283 rows, 2208 columns, 19446 nonzeros Variable types: 0 continuous, 2208 integer (2208 binary) Root relaxation: objective 0.000000e+00, 449 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 (1706 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:32:38 2012 Optimize a model with 3241 rows, 1611 columns and 9723 nonzeros Presolve time: 0.01s Presolved: 3241 rows, 1611 columns, 9723 nonzeros Variable types: 0 continuous, 1611 integer (1611 binary) Root relaxation: objective 0.000000e+00, 477 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 392 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6057 simplex iterations) in 0.92 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 08:32:39 2012 Optimize a model with 4255 rows, 1810 columns and 12964 nonzeros Presolve time: 0.01s Presolved: 4255 rows, 1810 columns, 12964 nonzeros Variable types: 0 continuous, 1810 integer (1810 binary) Root relaxation: objective 0.000000e+00, 454 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 380 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 359 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 330 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 345 - 0.00000 - - 7s 0 2 0.00000 0 345 - 0.00000 - - 7s 132 7 infeasible 11 - 0.00000 - 192 10s 468 18 infeasible 16 - 0.00000 - 181 15s 814 9 0.00000 7 404 - 0.00000 - 177 20s 905 22 0.00000 0 364 - 0.00000 - 174 27s 907 23 0.00000 0 358 - 0.00000 - 174 31s 909 24 0.00000 0 342 - 0.00000 - 173 35s 912 26 0.00000 0 373 - 0.00000 - 173 41s 914 28 0.00000 0 326 - 0.00000 - 172 46s 916 29 0.00000 0 350 - 0.00000 - 172 50s 1029 21 0.00000 21 472 - 0.00000 - 262 55s 1159 15 infeasible 19 - 0.00000 - 274 60s 1322 22 infeasible 20 - 0.00000 - 278 65s 1451 17 infeasible 21 - 0.00000 - 287 70s 1612 8 0.00000 19 467 - 0.00000 - 288 75s Cutting planes: Zero half: 7 Explored 1651 nodes (529662 simplex iterations) in 76.44 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 08:33:56 2012 Optimize a model with 5269 rows, 2009 columns and 16205 nonzeros Presolve time: 0.02s Presolved: 5269 rows, 2009 columns, 16205 nonzeros Variable types: 0 continuous, 2009 integer (2009 binary) Root relaxation: objective 0.000000e+00, 434 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 366 - 0.00000 - - 0s 0 0 0.00000 0 273 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (14122 simplex iterations) in 1.79 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