current bounds on the number of colors: 0 -- 187 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:42:27 2012 Optimize a model with 84724 rows, 18300 columns and 271002 nonzeros Presolve time: 0.27s Presolved: 84724 rows, 18300 columns, 271002 nonzeros Variable types: 0 continuous, 18300 integer (18300 binary) Root relaxation: objective 0.000000e+00, 760 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 (1199 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:42:28 2012 Optimize a model with 42001 rows, 9511 columns and 134044 nonzeros Presolve time: 0.15s Presolved: 42001 rows, 9511 columns, 134044 nonzeros Variable types: 0 continuous, 9511 integer (9511 binary) Root relaxation: objective 0.000000e+00, 653 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 (1124 simplex iterations) in 0.26 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:42:29 2012 Optimize a model with 21094 rows, 5210 columns and 67022 nonzeros Presolve time: 0.08s Presolved: 21094 rows, 5210 columns, 67022 nonzeros Variable types: 0 continuous, 5210 integer (5210 binary) Root relaxation: objective 0.000000e+00, 455 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 (863 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 03:42:29 2012 Optimize a model with 10186 rows, 2966 columns and 32054 nonzeros Presolve time: 0.03s Presolved: 10186 rows, 2966 columns, 32054 nonzeros Variable types: 0 continuous, 2966 integer (2966 binary) Root relaxation: objective 0.000000e+00, 392 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 (742 simplex iterations) in 0.05 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 03:42:29 2012 Optimize a model with 4732 rows, 1844 columns and 14570 nonzeros Presolve time: 0.01s Presolved: 4732 rows, 1844 columns, 14570 nonzeros Variable types: 0 continuous, 1844 integer (1844 binary) Root relaxation: objective 0.000000e+00, 401 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 140 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (8297 simplex iterations) in 0.89 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 03:42:30 2012 Optimize a model with 2005 rows, 1283 columns and 5828 nonzeros Presolve removed 187 rows and 187 columns Presolve time: 0.01s Presolved: 1818 rows, 1096 columns, 5454 nonzeros Variable types: 0 continuous, 1096 integer (1096 binary) Root relaxation: objective 0.000000e+00, 201 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 187 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (851 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 03:42:30 2012 Optimize a model with 2914 rows, 1470 columns and 8742 nonzeros Presolve time: 0.01s Presolved: 2914 rows, 1470 columns, 8742 nonzeros Variable types: 0 continuous, 1470 integer (1470 binary) Root relaxation: objective 0.000000e+00, 430 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 276 - 0.00000 - - 0s 0 0 0.00000 0 456 - 0.00000 - - 0s 0 0 0.00000 0 500 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 14 Zero half: 1090 Explored 0 nodes (10840 simplex iterations) in 1.48 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 03:42:32 2012 Optimize a model with 3823 rows, 1657 columns and 11656 nonzeros Presolve time: 0.01s Presolved: 3823 rows, 1657 columns, 11656 nonzeros Variable types: 0 continuous, 1657 integer (1657 binary) Root relaxation: objective 0.000000e+00, 423 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 354 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 466 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 0 0.00000 0 459 - 0.00000 - - 3s 0 0 0.00000 0 440 - 0.00000 - - 4s 0 0 0.00000 0 426 - 0.00000 - - 5s 0 0 0.00000 0 232 - 0.00000 - - 6s 0 0 0.00000 0 226 - 0.00000 - - 7s 0 0 0.00000 0 462 - 0.00000 - - 7s 0 0 0.00000 0 446 - 0.00000 - - 9s 0 0 0.00000 0 440 - 0.00000 - - 10s 0 0 0.00000 0 415 - 0.00000 - - 10s 0 0 0.00000 0 414 - 0.00000 - - 11s 0 0 0.00000 0 451 - 0.00000 - - 12s 0 0 0.00000 0 427 - 0.00000 - - 12s 0 2 0.00000 0 381 - 0.00000 - - 13s 184 62 0.00000 13 339 - 0.00000 - 129 15s 608 133 0.00000 9 324 - 0.00000 - 115 21s 611 135 0.00000 23 274 - 0.00000 - 114 25s 614 137 0.00000 11 307 - 0.00000 - 114 30s 617 139 0.00000 9 393 - 0.00000 - 113 35s 631 148 0.00000 17 336 - 0.00000 - 208 40s 828 95 infeasible 23 - 0.00000 - 217 45s 1030 34 0.00000 17 423 - 0.00000 - 229 50s 1267 36 0.00000 20 358 - 0.00000 - 237 55s 1466 47 0.00000 25 453 - 0.00000 - 245 60s 1676 61 infeasible 21 - 0.00000 - 250 65s 1917 60 infeasible 29 - 0.00000 - 253 70s 2143 66 infeasible 22 - 0.00000 - 255 75s 2349 56 infeasible 25 - 0.00000 - 257 80s 2584 47 infeasible 24 - 0.00000 - 259 85s 2793 36 infeasible 25 - 0.00000 - 262 90s 2998 19 0.00000 21 340 - 0.00000 - 265 95s 3209 2 infeasible 25 - 0.00000 - 266 100s Cutting planes: Zero half: 10 Explored 3220 nodes (930028 simplex iterations) in 100.22 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