current bounds on the number of colors: 0 -- 202 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:58:59 2012 Optimize a model with 103323 rows, 21423 columns and 329765 nonzeros Presolve time: 0.34s Presolved: 103323 rows, 21423 columns, 329765 nonzeros Variable types: 0 continuous, 21423 integer (21423 binary) Root relaxation: objective 0.000000e+00, 801 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 (1257 simplex iterations) in 0.59 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:59:01 2012 Optimize a model with 51252 rows, 11121 columns and 163250 nonzeros Presolve time: 0.17s Presolved: 51252 rows, 11121 columns, 163250 nonzeros Variable types: 0 continuous, 11121 integer (11121 binary) Root relaxation: objective 0.000000e+00, 659 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 (1131 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:59:02 2012 Optimize a model with 25727 rows, 6071 columns and 81625 nonzeros Presolve time: 0.11s Presolved: 25727 rows, 6071 columns, 81625 nonzeros Variable types: 0 continuous, 6071 integer (6071 binary) Root relaxation: objective 0.000000e+00, 474 iterations, 0.02 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 (886 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:59:02 2012 Optimize a model with 12454 rows, 3445 columns and 39180 nonzeros Presolve time: 0.04s Presolved: 12454 rows, 3445 columns, 39180 nonzeros Variable types: 0 continuous, 3445 integer (3445 binary) Root relaxation: objective 0.000000e+00, 415 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 (806 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:59:03 2012 Optimize a model with 6328 rows, 2233 columns and 19590 nonzeros Presolve time: 0.02s Presolved: 6328 rows, 2233 columns, 19590 nonzeros Variable types: 0 continuous, 2233 integer (2233 binary) Root relaxation: objective 0.000000e+00, 424 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 (1579 simplex iterations) in 0.08 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 09:59:03 2012 Optimize a model with 3265 rows, 1627 columns and 9795 nonzeros Presolve time: 0.01s Presolved: 3265 rows, 1627 columns, 9795 nonzeros Variable types: 0 continuous, 1627 integer (1627 binary) Root relaxation: objective 0.000000e+00, 488 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 338 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6862 simplex iterations) in 0.78 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 09:59:04 2012 Optimize a model with 4286 rows, 1829 columns and 13060 nonzeros Presolve time: 0.01s Presolved: 4286 rows, 1829 columns, 13060 nonzeros Variable types: 0 continuous, 1829 integer (1829 binary) Root relaxation: objective 0.000000e+00, 487 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 400 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 514 - 0.00000 - - 1s 0 0 0.00000 0 454 - 0.00000 - - 2s 0 0 0.00000 0 445 - 0.00000 - - 4s 0 0 0.00000 0 480 - 0.00000 - - 5s 0 0 0.00000 0 469 - 0.00000 - - 6s 0 0 0.00000 0 487 - 0.00000 - - 7s 0 0 0.00000 0 487 - 0.00000 - - 7s 0 2 0.00000 0 487 - 0.00000 - - 8s 46 31 infeasible 15 - 0.00000 - 290 10s 398 55 0.00000 12 451 - 0.00000 - 182 15s 725 50 infeasible 21 - 0.00000 - 176 20s 1018 63 0.00000 20 358 - 0.00000 - 179 25s 1105 80 0.00000 11 478 - 0.00000 - 174 31s 1107 81 0.00000 2 472 - 0.00000 - 174 37s 1108 82 0.00000 24 436 - 0.00000 - 174 40s 1111 84 0.00000 6 450 - 0.00000 - 173 45s 1114 86 0.00000 18 410 - 0.00000 - 173 50s 1204 82 infeasible 22 - 0.00000 - 228 55s 1336 46 0.00000 26 425 - 0.00000 - 240 60s 1467 33 infeasible 25 - 0.00000 - 252 65s 1584 26 infeasible 21 - 0.00000 - 263 70s 1704 28 infeasible 23 - 0.00000 - 272 75s 1851 31 0.00000 22 378 - 0.00000 - 277 80s 2006 28 infeasible 23 - 0.00000 - 281 85s 2125 31 0.00000 23 415 - 0.00000 - 288 90s 2254 36 0.00000 26 470 - 0.00000 - 293 95s 2370 32 infeasible 27 - 0.00000 - 299 100s 2487 27 0.00000 21 464 - 0.00000 - 304 105s 2616 30 infeasible 26 - 0.00000 - 307 110s 2765 29 infeasible 28 - 0.00000 - 309 115s 2867 21 infeasible 26 - 0.00000 - 314 120s 3013 31 infeasible 30 - 0.00000 - 315 125s 3139 15 0.00000 24 493 - 0.00000 - 317 130s 3287 29 infeasible 26 - 0.00000 - 319 135s 3436 22 infeasible 25 - 0.00000 - 320 140s 3587 21 infeasible 25 - 0.00000 - 320 145s 3716 30 infeasible 27 - 0.00000 - 322 150s 3858 24 infeasible 24 - 0.00000 - 323 155s 3993 23 0.00000 19 475 - 0.00000 - 324 160s 4138 26 0.00000 23 416 - 0.00000 - 324 165s 4278 14 0.00000 20 466 - 0.00000 - 325 170s 4402 14 infeasible 25 - 0.00000 - 326 175s 4531 3 infeasible 24 - 0.00000 - 327 180s Cutting planes: Zero half: 5 Explored 4589 nodes (1542468 simplex iterations) in 182.32 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 10:02:06 2012 Optimize a model with 5307 rows, 2031 columns and 16325 nonzeros Presolve time: 0.01s Presolved: 5307 rows, 2031 columns, 16325 nonzeros Variable types: 0 continuous, 2031 integer (2031 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 184 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 22 Zero half: 70 Explored 0 nodes (5376 simplex iterations) in 0.45 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