current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:42:33 2012 Optimize a model with 93002 rows, 20155 columns and 297626 nonzeros Presolve time: 0.30s Presolved: 93002 rows, 20155 columns, 297626 nonzeros Variable types: 0 continuous, 20155 integer (20155 binary) Root relaxation: objective 0.000000e+00, 713 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 (1133 simplex iterations) in 0.52 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:42:35 2012 Optimize a model with 46599 rows, 10551 columns and 148813 nonzeros Presolve time: 0.16s Presolved: 46599 rows, 10551 columns, 148813 nonzeros Variable types: 0 continuous, 10551 integer (10551 binary) Root relaxation: objective 0.000000e+00, 699 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 (1139 simplex iterations) in 0.28 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 07:42:35 2012 Optimize a model with 22924 rows, 5651 columns and 72888 nonzeros Presolve time: 0.09s Presolved: 22924 rows, 5651 columns, 72888 nonzeros Variable types: 0 continuous, 5651 integer (5651 binary) Root relaxation: objective 0.000000e+00, 448 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.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 07:42:36 2012 Optimize a model with 11560 rows, 3299 columns and 36444 nonzeros Presolve time: 0.04s Presolved: 11560 rows, 3299 columns, 36444 nonzeros Variable types: 0 continuous, 3299 integer (3299 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (768 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 07:42:36 2012 Optimize a model with 5878 rows, 2123 columns and 18222 nonzeros Presolve time: 0.02s Presolved: 5878 rows, 2123 columns, 18222 nonzeros Variable types: 0 continuous, 2123 integer (2123 binary) Root relaxation: objective 0.000000e+00, 421 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 8 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1688 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 07:42:36 2012 Optimize a model with 3037 rows, 1535 columns and 9111 nonzeros Presolve time: 0.01s Presolved: 3037 rows, 1535 columns, 9111 nonzeros Variable types: 0 continuous, 1535 integer (1535 binary) Root relaxation: objective 0.000000e+00, 469 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 314 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 543 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 17 Zero half: 743 Explored 0 nodes (10210 simplex iterations) in 1.61 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 07:42:38 2012 Optimize a model with 3984 rows, 1731 columns and 12148 nonzeros Presolve time: 0.01s Presolved: 3984 rows, 1731 columns, 12148 nonzeros Variable types: 0 continuous, 1731 integer (1731 binary) Root relaxation: objective 0.000000e+00, 437 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 378 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 314 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 315 - 0.00000 - - 7s 0 0 0.00000 0 312 - 0.00000 - - 7s 0 0 0.00000 0 322 - 0.00000 - - 8s 0 0 0.00000 0 322 - 0.00000 - - 8s 0 2 0.00000 0 322 - 0.00000 - - 8s 133 41 infeasible 23 - 0.00000 - 137 10s 606 105 0.00000 23 336 - 0.00000 - 117 15s 609 107 0.00000 22 311 - 0.00000 - 116 20s 612 109 0.00000 22 286 - 0.00000 - 116 25s 615 111 0.00000 15 329 - 0.00000 - 115 30s 710 106 infeasible 24 - 0.00000 - 223 35s 1040 54 infeasible 25 - 0.00000 - 220 40s 1323 35 infeasible 28 - 0.00000 - 226 45s 1618 32 0.00000 28 354 - 0.00000 - 227 50s 1913 33 infeasible 32 - 0.00000 - 229 55s 2245 37 0.00000 26 352 - 0.00000 - 227 60s 2564 42 0.00000 24 354 - 0.00000 - 226 65s 2934 40 0.00000 29 334 - 0.00000 - 223 70s 3273 67 infeasible 24 - 0.00000 - 222 75s 3647 49 0.00000 28 338 - 0.00000 - 219 80s 3956 42 infeasible 26 - 0.00000 - 220 85s 4216 54 infeasible 24 - 0.00000 - 222 90s 4515 59 0.00000 18 351 - 0.00000 - 222 95s 4857 73 infeasible 22 - 0.00000 - 221 100s 5171 53 infeasible 29 - 0.00000 - 221 105s 5522 104 0.00000 27 352 - 0.00000 - 220 110s 5820 102 infeasible 29 - 0.00000 - 221 115s 6104 96 infeasible 31 - 0.00000 - 222 120s 6387 65 0.00000 29 348 - 0.00000 - 222 125s 6729 77 infeasible 31 - 0.00000 - 222 130s 7055 63 0.00000 23 419 - 0.00000 - 222 135s 7347 39 infeasible 28 - 0.00000 - 223 140s 7646 44 infeasible 24 - 0.00000 - 223 145s 7940 42 0.00000 25 354 - 0.00000 - 223 150s 8232 30 0.00000 24 336 - 0.00000 - 224 155s 8520 38 infeasible 26 - 0.00000 - 224 160s 8786 36 0.00000 29 348 - 0.00000 - 225 165s 9061 29 0.00000 24 358 - 0.00000 - 226 170s 9402 54 0.00000 31 352 - 0.00000 - 225 175s 9711 25 infeasible 24 - 0.00000 - 225 180s 10016 50 0.00000 24 356 - 0.00000 - 225 185s 10326 44 0.00000 27 388 - 0.00000 - 225 190s 10634 30 infeasible 23 - 0.00000 - 225 195s 10914 12 infeasible 25 - 0.00000 - 225 200s Cutting planes: Zero half: 27 Explored 10981 nodes (2544167 simplex iterations) in 201.62 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 07:46:00 2012 Optimize a model with 4931 rows, 1927 columns and 15185 nonzeros Presolve time: 0.01s Presolved: 4931 rows, 1927 columns, 15185 nonzeros Variable types: 0 continuous, 1927 integer (1927 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 178 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4886 simplex iterations) in 0.40 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