current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:29:25 2012 Optimize a model with 122409 rows, 24147 columns and 389587 nonzeros Presolve time: 0.42s Presolved: 122409 rows, 24147 columns, 389587 nonzeros Variable types: 0 continuous, 24147 integer (24147 binary) Root relaxation: objective 0.000000e+00, 559 iterations, 0.15 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 (1028 simplex iterations) in 0.76 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:29:27 2012 Optimize a model with 60741 rows, 12537 columns and 192973 nonzeros Presolve time: 0.17s Presolved: 60741 rows, 12537 columns, 192973 nonzeros Variable types: 0 continuous, 12537 integer (12537 binary) Root relaxation: objective 0.000000e+00, 818 iterations, 0.07 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 (1332 simplex iterations) in 0.34 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:29:28 2012 Optimize a model with 29907 rows, 6732 columns and 94666 nonzeros Presolve time: 0.12s Presolved: 29907 rows, 6732 columns, 94666 nonzeros Variable types: 0 continuous, 6732 integer (6732 binary) Root relaxation: objective 0.000000e+00, 483 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 (917 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:29:29 2012 Optimize a model with 15061 rows, 3937 columns and 47333 nonzeros Presolve time: 0.05s Presolved: 15061 rows, 3937 columns, 47333 nonzeros Variable types: 0 continuous, 3937 integer (3937 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (875 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:29:29 2012 Optimize a model with 7067 rows, 2432 columns and 21846 nonzeros Presolve time: 0.02s Presolved: 7067 rows, 2432 columns, 21846 nonzeros Variable types: 0 continuous, 2432 integer (2432 binary) Root relaxation: objective 0.000000e+00, 465 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 117 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3771 simplex iterations) in 0.25 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 15:29:30 2012 Optimize a model with 3641 rows, 1787 columns and 10923 nonzeros Presolve time: 0.01s Presolved: 3641 rows, 1787 columns, 10923 nonzeros Variable types: 0 continuous, 1787 integer (1787 binary) Root relaxation: objective 0.000000e+00, 468 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 430 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 0s 0 0 0.00000 0 573 - 0.00000 - - 1s 0 0 0.00000 0 597 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Zero half: 1414 Explored 0 nodes (10805 simplex iterations) in 2.18 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 15:29:32 2012 Optimize a model with 4783 rows, 2002 columns and 14564 nonzeros Presolve time: 0.01s Presolved: 4783 rows, 2002 columns, 14564 nonzeros Variable types: 0 continuous, 2002 integer (2002 binary) Root relaxation: objective 0.000000e+00, 473 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 422 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 489 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 398 - 0.00000 - - 5s 0 0 0.00000 0 398 - 0.00000 - - 5s 0 2 0.00000 0 398 - 0.00000 - - 6s 342 21 0.00000 9 415 - 0.00000 - 169 10s 703 48 0.00000 13 398 - 0.00000 - 164 15s 706 50 0.00000 13 360 - 0.00000 - 164 20s 709 52 0.00000 14 332 - 0.00000 - 163 27s 711 54 0.00000 14 336 - 0.00000 - 163 32s 713 55 0.00000 10 396 - 0.00000 - 162 37s 715 56 0.00000 5 326 - 0.00000 - 162 42s 716 57 0.00000 13 324 - 0.00000 - 161 45s 718 58 0.00000 5 314 - 0.00000 - 161 51s 724 62 0.00000 17 456 - 0.00000 - 298 55s 753 68 0.00000 26 442 - 0.00000 - 298 60s 858 38 0.00000 29 511 - 0.00000 - 305 65s 1012 20 infeasible 30 - 0.00000 - 303 70s 1140 18 infeasible 28 - 0.00000 - 306 75s 1276 24 infeasible 27 - 0.00000 - 310 80s 1393 25 infeasible 30 - 0.00000 - 315 85s 1536 30 infeasible 37 - 0.00000 - 316 90s 1670 32 0.00000 37 394 - 0.00000 - 320 95s 1791 23 infeasible 33 - 0.00000 - 323 100s 1921 17 infeasible 27 - 0.00000 - 326 105s 2051 19 0.00000 29 406 - 0.00000 - 329 110s 2163 13 0.00000 22 396 - 0.00000 - 331 115s 2328 30 0.00000 27 412 - 0.00000 - 329 120s 2488 24 0.00000 29 388 - 0.00000 - 328 125s 2630 14 infeasible 30 - 0.00000 - 328 130s 2752 18 0.00000 25 406 - 0.00000 - 331 135s 2897 17 infeasible 30 - 0.00000 - 331 140s 3022 26 infeasible 31 - 0.00000 - 333 145s 3155 19 0.00000 30 428 - 0.00000 - 334 150s 3279 15 0.00000 29 498 - 0.00000 - 336 155s 3415 27 infeasible 27 - 0.00000 - 337 160s 3566 22 infeasible 28 - 0.00000 - 337 165s 3706 20 0.00000 30 478 - 0.00000 - 337 170s 3832 14 infeasible 30 - 0.00000 - 338 175s 3952 20 infeasible 28 - 0.00000 - 340 180s 4061 11 infeasible 26 - 0.00000 - 342 185s 4178 12 infeasible 30 - 0.00000 - 343 190s 4288 6 0.00000 18 532 - 0.00000 - 345 195s 4479 23 infeasible 30 - 0.00000 - 342 200s 4683 11 0.00000 29 394 - 0.00000 - 339 205s 4846 10 infeasible 27 - 0.00000 - 337 210s 5022 14 0.00000 28 372 - 0.00000 - 336 215s 5164 6 infeasible 28 - 0.00000 - 337 220s 5324 10 infeasible 29 - 0.00000 - 336 225s 5493 11 0.00000 23 413 - 0.00000 - 335 230s 5639 19 0.00000 27 483 - 0.00000 - 335 235s 5754 2 0.00000 20 480 - 0.00000 - 336 240s 5926 24 infeasible 28 - 0.00000 - 334 245s 6064 12 infeasible 26 - 0.00000 - 335 250s 6177 5 infeasible 30 - 0.00000 - 336 255s Cutting planes: Gomory: 2 Zero half: 15 Explored 6271 nodes (2150113 simplex iterations) in 259.07 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 15:33:51 2012 Optimize a model with 5925 rows, 2217 columns and 18205 nonzeros Presolve time: 0.02s Presolved: 5925 rows, 2217 columns, 18205 nonzeros Variable types: 0 continuous, 2217 integer (2217 binary) Root relaxation: objective 0.000000e+00, 453 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 412 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Zero half: 276 Explored 0 nodes (19582 simplex iterations) in 2.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% optimal solution found: number of colors: 5