current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:44:39 2012 Optimize a model with 112528 rows, 22712 columns and 358592 nonzeros Presolve time: 0.38s Presolved: 112528 rows, 22712 columns, 358592 nonzeros Variable types: 0 continuous, 22712 integer (22712 binary) Root relaxation: objective 0.000000e+00, 723 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 (1209 simplex iterations) in 0.61 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:44:41 2012 Optimize a model with 56368 rows, 11896 columns and 179296 nonzeros Presolve time: 0.17s Presolved: 56368 rows, 11896 columns, 179296 nonzeros Variable types: 0 continuous, 11896 integer (11896 binary) Root relaxation: objective 0.000000e+00, 772 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 (1271 simplex iterations) in 0.30 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:44:42 2012 Optimize a model with 28288 rows, 6488 columns and 89648 nonzeros Presolve time: 0.12s Presolved: 28288 rows, 6488 columns, 89648 nonzeros Variable types: 0 continuous, 6488 integer (6488 binary) Root relaxation: objective 0.000000e+00, 513 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 (964 simplex iterations) in 0.17 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 12:44:43 2012 Optimize a model with 14248 rows, 3784 columns and 44824 nonzeros Presolve time: 0.05s Presolved: 14248 rows, 3784 columns, 44824 nonzeros Variable types: 0 continuous, 3784 integer (3784 binary) Root relaxation: objective 0.000000e+00, 436 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 (814 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 12:44:43 2012 Optimize a model with 6688 rows, 2328 columns and 20688 nonzeros Presolve time: 0.02s Presolved: 6688 rows, 2328 columns, 20688 nonzeros Variable types: 0 continuous, 2328 integer (2328 binary) Root relaxation: objective 0.000000e+00, 435 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 (2637 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:44:43 2012 Optimize a model with 3448 rows, 1704 columns and 10344 nonzeros Presolve time: 0.01s Presolved: 3448 rows, 1704 columns, 10344 nonzeros Variable types: 0 continuous, 1704 integer (1704 binary) Root relaxation: objective 0.000000e+00, 476 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 312 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 565 - 0.00000 - - 1s 0 0 0.00000 0 569 - 0.00000 - - 2s 0 0 0.00000 0 574 - 0.00000 - - 3s 0 0 0.00000 0 566 - 0.00000 - - 5s 0 0 0.00000 0 570 - 0.00000 - - 6s 0 0 0.00000 0 575 - 0.00000 - - 7s 0 0 infeasible 0 - 0.10000 - - 8s Cutting planes: Zero half: 1406 Explored 0 nodes (35238 simplex iterations) in 8.09 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 12:44:51 2012 Optimize a model with 4528 rows, 1912 columns and 13792 nonzeros Presolve time: 0.01s Presolved: 4528 rows, 1912 columns, 13792 nonzeros Variable types: 0 continuous, 1912 integer (1912 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 402 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 425 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 2s 0 0 0.00000 0 404 - 0.00000 - - 3s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 4s 0 0 0.00000 0 407 - 0.00000 - - 5s 0 0 0.00000 0 390 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 7s 0 2 0.00000 0 378 - 0.00000 - - 8s 67 16 0.00000 10 360 - 0.00000 - 214 10s 604 40 0.00000 3 589 - 0.00000 - 114 16s 606 41 0.00000 11 404 - 0.00000 - 114 20s 609 43 0.00000 13 388 - 0.00000 - 113 26s 612 45 0.00000 17 374 - 0.00000 - 113 32s 613 46 0.00000 16 363 - 0.00000 - 113 35s 669 47 infeasible 26 - 0.00000 - 229 40s 807 25 0.00000 28 378 - 0.00000 - 252 45s 974 50 infeasible 33 - 0.00000 - 257 50s 1136 60 infeasible 32 - 0.00000 - 266 55s 1292 60 infeasible 31 - 0.00000 - 274 60s 1446 62 infeasible 32 - 0.00000 - 280 65s 1598 60 infeasible 29 - 0.00000 - 285 70s 1766 62 0.00000 22 378 - 0.00000 - 287 75s 1882 56 0.00000 26 425 - 0.00000 - 296 80s 2018 68 infeasible 27 - 0.00000 - 300 85s 2159 63 infeasible 34 - 0.00000 - 304 90s 2307 65 infeasible 30 - 0.00000 - 307 95s 2438 80 0.00000 29 480 - 0.00000 - 310 100s 2578 82 0.00000 23 480 - 0.00000 - 312 105s 2743 91 infeasible 29 - 0.00000 - 312 110s 2948 86 0.00000 32 427 - 0.00000 - 309 115s 3099 75 infeasible 28 - 0.00000 - 310 120s 3260 76 0.00000 31 376 - 0.00000 - 311 125s 3404 78 0.00000 31 378 - 0.00000 - 312 130s 3557 81 infeasible 33 - 0.00000 - 313 135s 3703 63 0.00000 29 423 - 0.00000 - 314 140s 3842 58 0.00000 24 509 - 0.00000 - 316 145s 4021 55 infeasible 28 - 0.00000 - 314 150s 4174 52 0.00000 28 370 - 0.00000 - 315 155s 4312 50 infeasible 28 - 0.00000 - 316 160s 4434 34 infeasible 35 - 0.00000 - 318 165s 4578 38 0.00000 25 473 - 0.00000 - 319 170s 4698 18 0.00000 27 491 - 0.00000 - 321 175s 4826 28 infeasible 33 - 0.00000 - 322 180s 4962 22 infeasible 33 - 0.00000 - 323 185s 5132 24 infeasible 29 - 0.00000 - 322 190s 5279 13 infeasible 31 - 0.00000 - 322 195s 5411 7 infeasible 24 - 0.00000 - 323 200s Cutting planes: Zero half: 12 Explored 5553 nodes (1854693 simplex iterations) in 204.93 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 12:48:17 2012 Optimize a model with 5608 rows, 2120 columns and 17240 nonzeros Presolve time: 0.02s Presolved: 5608 rows, 2120 columns, 17240 nonzeros Variable types: 0 continuous, 2120 integer (2120 binary) Root relaxation: objective 0.000000e+00, 466 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 362 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 148 Zero half: 403 Explored 0 nodes (7098 simplex iterations) in 0.72 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