current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:10:06 2012 Optimize a model with 83284 rows, 18556 columns and 266960 nonzeros Presolve time: 0.27s Presolved: 83284 rows, 18556 columns, 266960 nonzeros Variable types: 0 continuous, 18556 integer (18556 binary) Root relaxation: objective 0.000000e+00, 817 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 (1268 simplex iterations) in 0.49 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:10:07 2012 Optimize a model with 41736 rows, 9720 columns and 133480 nonzeros Presolve time: 0.15s Presolved: 41736 rows, 9720 columns, 133480 nonzeros Variable types: 0 continuous, 9720 integer (9720 binary) Root relaxation: objective 0.000000e+00, 718 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 (1167 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:10:08 2012 Optimize a model with 20520 rows, 5208 columns and 65320 nonzeros Presolve time: 0.08s Presolved: 20520 rows, 5208 columns, 65320 nonzeros Variable types: 0 continuous, 5208 integer (5208 binary) Root relaxation: objective 0.000000e+00, 450 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 (853 simplex iterations) in 0.12 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:10:09 2012 Optimize a model with 9912 rows, 2952 columns and 31240 nonzeros Presolve time: 0.03s Presolved: 9912 rows, 2952 columns, 31240 nonzeros Variable types: 0 continuous, 2952 integer (2952 binary) Root relaxation: objective 0.000000e+00, 403 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:10:09 2012 Optimize a model with 4608 rows, 1824 columns and 14200 nonzeros Presolve time: 0.01s Presolved: 4608 rows, 1824 columns, 14200 nonzeros Variable types: 0 continuous, 1824 integer (1824 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 34 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3802 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:10:09 2012 Optimize a model with 1956 rows, 1260 columns and 5680 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.00s Presolved: 1768 rows, 1072 columns, 5304 nonzeros Variable types: 0 continuous, 1072 integer (1072 binary) Root relaxation: objective 0.000000e+00, 192 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 (808 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:10:09 2012 Optimize a model with 2840 rows, 1448 columns and 8520 nonzeros Presolve time: 0.01s Presolved: 2840 rows, 1448 columns, 8520 nonzeros Variable types: 0 continuous, 1448 integer (1448 binary) Root relaxation: objective 0.000000e+00, 428 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 372 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 510 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 9 Zero half: 1113 Explored 0 nodes (7602 simplex iterations) in 1.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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:10:10 2012 Optimize a model with 3724 rows, 1636 columns and 11360 nonzeros Presolve time: 0.01s Presolved: 3724 rows, 1636 columns, 11360 nonzeros Variable types: 0 continuous, 1636 integer (1636 binary) Root relaxation: objective 0.000000e+00, 419 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 356 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 498 - 0.00000 - - 1s 0 0 0.00000 0 482 - 0.00000 - - 1s 0 0 0.00000 0 485 - 0.00000 - - 2s 0 0 0.00000 0 482 - 0.00000 - - 3s 0 2 0.00000 0 482 - 0.00000 - - 3s 162 22 0.00000 13 366 - 0.00000 - 136 5s 804 30 0.00000 18 501 - 0.00000 - 108 10s 807 32 0.00000 16 297 - 0.00000 - 108 15s 811 35 0.00000 11 303 - 0.00000 - 107 20s 814 37 0.00000 16 268 - 0.00000 - 107 25s 821 41 0.00000 14 442 - 0.00000 - 189 30s 949 47 infeasible 28 - 0.00000 - 192 35s 1225 45 0.00000 23 338 - 0.00000 - 203 40s 1529 53 infeasible 29 - 0.00000 - 209 45s 1771 43 infeasible 22 - 0.00000 - 218 50s 1991 25 0.00000 24 324 - 0.00000 - 226 55s 2287 19 0.00000 25 330 - 0.00000 - 225 60s 2562 28 0.00000 29 340 - 0.00000 - 228 65s 2834 18 0.00000 24 347 - 0.00000 - 230 70s 3099 11 infeasible 22 - 0.00000 - 233 75s 3355 13 infeasible 25 - 0.00000 - 236 80s 3641 27 infeasible 25 - 0.00000 - 238 85s 3903 13 infeasible 26 - 0.00000 - 241 90s 4201 11 0.00000 25 316 - 0.00000 - 241 95s 4505 17 infeasible 31 - 0.00000 - 240 100s 4815 21 infeasible 30 - 0.00000 - 239 105s 5146 20 infeasible 28 - 0.00000 - 238 110s 5429 11 0.00000 22 420 - 0.00000 - 239 115s 5690 18 infeasible 25 - 0.00000 - 240 120s 5980 8 infeasible 28 - 0.00000 - 240 125s Cutting planes: Zero half: 9 Explored 6115 nodes (1487464 simplex iterations) in 127.42 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