current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:57:38 2012 Optimize a model with 93885 rows, 20262 columns and 300370 nonzeros Presolve time: 0.30s Presolved: 93885 rows, 20262 columns, 300370 nonzeros Variable types: 0 continuous, 20262 integer (20262 binary) Root relaxation: objective 0.000000e+00, 821 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 (1287 simplex iterations) in 0.54 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:57:40 2012 Optimize a model with 47041 rows, 10609 columns and 150185 nonzeros Presolve time: 0.16s Presolved: 47041 rows, 10609 columns, 150185 nonzeros Variable types: 0 continuous, 10609 integer (10609 binary) Root relaxation: objective 0.000000e+00, 718 iterations, 0.06 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 (1171 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:57:41 2012 Optimize a model with 23141 rows, 5684 columns and 73560 nonzeros Presolve time: 0.09s Presolved: 23141 rows, 5684 columns, 73560 nonzeros Variable types: 0 continuous, 5684 integer (5684 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (798 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:57:41 2012 Optimize a model with 11669 rows, 3320 columns and 36780 nonzeros Presolve time: 0.04s Presolved: 11669 rows, 3320 columns, 36780 nonzeros Variable types: 0 continuous, 3320 integer (3320 binary) Root relaxation: objective 0.000000e+00, 413 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 (777 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:57:42 2012 Optimize a model with 5933 rows, 2138 columns and 18390 nonzeros Presolve time: 0.02s Presolved: 5933 rows, 2138 columns, 18390 nonzeros Variable types: 0 continuous, 2138 integer (2138 binary) Root relaxation: objective 0.000000e+00, 447 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 (987 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:57:42 2012 Optimize a model with 3065 rows, 1547 columns and 9195 nonzeros Presolve time: 0.01s Presolved: 3065 rows, 1547 columns, 9195 nonzeros Variable types: 0 continuous, 1547 integer (1547 binary) Root relaxation: objective 0.000000e+00, 440 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 392 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4865 simplex iterations) in 0.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:57:42 2012 Optimize a model with 4021 rows, 1744 columns and 12260 nonzeros Presolve time: 0.01s Presolved: 4021 rows, 1744 columns, 12260 nonzeros Variable types: 0 continuous, 1744 integer (1744 binary) Root relaxation: objective 0.000000e+00, 443 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 382 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 330 - 0.00000 - - 6s 0 0 0.00000 0 326 - 0.00000 - - 7s 0 0 0.00000 0 324 - 0.00000 - - 7s 0 0 0.00000 0 331 - 0.00000 - - 8s 0 0 0.00000 0 300 - 0.00000 - - 8s 0 0 0.00000 0 304 - 0.00000 - - 9s 0 0 0.00000 0 298 - 0.00000 - - 9s 0 0 0.00000 0 296 - 0.00000 - - 10s 0 0 0.00000 0 300 - 0.00000 - - 10s 0 0 0.00000 0 300 - 0.00000 - - 11s 0 2 0.00000 0 300 - 0.00000 - - 12s 198 62 0.00000 22 376 - 0.00000 - 177 15s 606 89 0.00000 17 472 - 0.00000 - 143 20s 609 91 0.00000 15 354 - 0.00000 - 143 25s 612 93 0.00000 22 332 - 0.00000 - 142 30s 615 95 0.00000 13 340 - 0.00000 - 141 35s 618 97 0.00000 15 304 - 0.00000 - 141 41s 620 98 0.00000 16 352 - 0.00000 - 140 45s 624 101 0.00000 13 299 - 0.00000 - 139 50s 654 111 0.00000 24 354 - 0.00000 - 286 55s 855 87 infeasible 27 - 0.00000 - 277 60s 1106 71 infeasible 26 - 0.00000 - 269 65s 1338 85 0.00000 23 379 - 0.00000 - 267 70s 1627 92 infeasible 24 - 0.00000 - 262 75s 1851 86 0.00000 23 354 - 0.00000 - 265 80s 2090 83 infeasible 22 - 0.00000 - 264 85s 2314 75 0.00000 27 366 - 0.00000 - 267 90s 2572 65 infeasible 24 - 0.00000 - 265 95s 2865 64 infeasible 27 - 0.00000 - 263 100s 3093 62 infeasible 28 - 0.00000 - 263 105s 3308 67 infeasible 27 - 0.00000 - 265 110s 3550 61 infeasible 19 - 0.00000 - 265 115s 3768 61 infeasible 25 - 0.00000 - 265 120s 3968 45 infeasible 31 - 0.00000 - 268 125s 4225 60 infeasible 29 - 0.00000 - 266 130s 4451 46 infeasible 31 - 0.00000 - 268 135s 4705 60 0.00000 22 385 - 0.00000 - 267 140s 4977 60 infeasible 23 - 0.00000 - 266 145s 5257 70 infeasible 25 - 0.00000 - 264 150s 5504 57 infeasible 23 - 0.00000 - 264 155s 5744 43 0.00000 19 353 - 0.00000 - 263 160s 5980 41 infeasible 26 - 0.00000 - 263 165s 6207 32 infeasible 23 - 0.00000 - 264 170s 6465 34 infeasible 25 - 0.00000 - 263 175s 6723 34 infeasible 25 - 0.00000 - 263 180s 6947 16 infeasible 27 - 0.00000 - 264 185s Cutting planes: Zero half: 9 Explored 7116 nodes (1967475 simplex iterations) in 188.99 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:00:52 2012 Optimize a model with 4977 rows, 1941 columns and 15325 nonzeros Presolve time: 0.01s Presolved: 4977 rows, 1941 columns, 15325 nonzeros Variable types: 0 continuous, 1941 integer (1941 binary) Root relaxation: objective 0.000000e+00, 420 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 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 126 MIR: 3 Zero half: 402 Explored 0 nodes (3919 simplex iterations) in 0.27 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