current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:34:33 2012 Optimize a model with 85446 rows, 18579 columns and 273446 nonzeros Presolve time: 0.28s Presolved: 85446 rows, 18579 columns, 273446 nonzeros Variable types: 0 continuous, 18579 integer (18579 binary) Root relaxation: objective 0.000000e+00, 785 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 (1221 simplex iterations) in 0.48 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:34:35 2012 Optimize a model with 42817 rows, 9743 columns and 136723 nonzeros Presolve time: 0.15s Presolved: 42817 rows, 9743 columns, 136723 nonzeros Variable types: 0 continuous, 9743 integer (9743 binary) Root relaxation: objective 0.000000e+00, 641 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 (1104 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:34:36 2012 Optimize a model with 21049 rows, 5231 columns and 66907 nonzeros Presolve time: 0.08s Presolved: 21049 rows, 5231 columns, 66907 nonzeros Variable types: 0 continuous, 5231 integer (5231 binary) Root relaxation: objective 0.000000e+00, 445 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 (819 simplex iterations) in 0.13 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 04:34:36 2012 Optimize a model with 10165 rows, 2975 columns and 31999 nonzeros Presolve time: 0.03s Presolved: 10165 rows, 2975 columns, 31999 nonzeros Variable types: 0 continuous, 2975 integer (2975 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 (769 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 04:34:36 2012 Optimize a model with 4723 rows, 1847 columns and 14545 nonzeros Presolve time: 0.01s Presolved: 4723 rows, 1847 columns, 14545 nonzeros Variable types: 0 continuous, 1847 integer (1847 binary) Root relaxation: objective 0.000000e+00, 411 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 116 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3911 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:34:36 2012 Optimize a model with 2002 rows, 1283 columns and 5818 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.00s Presolved: 1814 rows, 1095 columns, 5442 nonzeros Variable types: 0 continuous, 1095 integer (1095 binary) Root relaxation: objective 0.000000e+00, 196 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 188 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (788 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 04:34:37 2012 Optimize a model with 2909 rows, 1471 columns and 8727 nonzeros Presolve time: 0.01s Presolved: 2909 rows, 1471 columns, 8727 nonzeros Variable types: 0 continuous, 1471 integer (1471 binary) Root relaxation: objective 0.000000e+00, 425 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 288 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7343 simplex iterations) in 0.82 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 04:34:37 2012 Optimize a model with 3816 rows, 1659 columns and 11636 nonzeros Presolve time: 0.01s Presolved: 3816 rows, 1659 columns, 11636 nonzeros Variable types: 0 continuous, 1659 integer (1659 binary) Root relaxation: objective 0.000000e+00, 393 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 352 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 2 0.00000 0 322 - 0.00000 - - 4s 8 8 0.00000 5 316 - 0.00000 - 416 5s 539 125 infeasible 20 - 0.00000 - 134 10s 607 131 0.00000 16 332 - 0.00000 - 132 16s 609 132 0.00000 16 357 - 0.00000 - 132 20s 612 134 0.00000 7 313 - 0.00000 - 131 26s 615 136 0.00000 7 257 - 0.00000 - 130 31s 620 140 0.00000 16 285 - 0.00000 - 242 35s 663 142 infeasible 29 - 0.00000 - 250 40s 821 86 0.00000 24 415 - 0.00000 - 264 45s 1004 18 0.00000 24 438 - 0.00000 - 275 50s 1173 11 infeasible 26 - 0.00000 - 280 55s 1356 6 0.00000 23 435 - 0.00000 - 285 60s 1551 5 0.00000 24 340 - 0.00000 - 285 65s 1728 8 infeasible 27 - 0.00000 - 287 70s 1899 9 infeasible 27 - 0.00000 - 291 75s Cutting planes: Zero half: 10 Explored 1989 nodes (622161 simplex iterations) in 78.03 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