current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:50:26 2012 Optimize a model with 122431 rows, 23731 columns and 389232 nonzeros Presolve time: 0.42s Presolved: 122431 rows, 23731 columns, 389232 nonzeros Variable types: 0 continuous, 23731 integer (23731 binary) Root relaxation: objective 0.000000e+00, 567 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 (1031 simplex iterations) in 0.75 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:50:28 2012 Optimize a model with 61322 rows, 12442 columns and 194616 nonzeros Presolve time: 0.17s Presolved: 61322 rows, 12442 columns, 194616 nonzeros Variable types: 0 continuous, 12442 integer (12442 binary) Root relaxation: objective 0.000000e+00, 734 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 (1245 simplex iterations) in 0.33 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 14:50:29 2012 Optimize a model with 30191 rows, 6691 columns and 95472 nonzeros Presolve time: 0.13s Presolved: 30191 rows, 6691 columns, 95472 nonzeros Variable types: 0 continuous, 6691 integer (6691 binary) Root relaxation: objective 0.000000e+00, 527 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 (1020 simplex iterations) in 0.20 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 14:50:30 2012 Optimize a model with 15202 rows, 3922 columns and 47736 nonzeros Presolve time: 0.05s Presolved: 15202 rows, 3922 columns, 47736 nonzeros Variable types: 0 continuous, 3922 integer (3922 binary) Root relaxation: objective 0.000000e+00, 432 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 (850 simplex iterations) in 0.09 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 14:50:30 2012 Optimize a model with 7131 rows, 2431 columns and 22032 nonzeros Presolve time: 0.02s Presolved: 7131 rows, 2431 columns, 22032 nonzeros Variable types: 0 continuous, 2431 integer (2431 binary) Root relaxation: objective 0.000000e+00, 463 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 (1897 simplex iterations) in 0.11 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 14:50:30 2012 Optimize a model with 3672 rows, 1792 columns and 11016 nonzeros Presolve time: 0.01s Presolved: 3672 rows, 1792 columns, 11016 nonzeros Variable types: 0 continuous, 1792 integer (1792 binary) Root relaxation: objective 0.000000e+00, 491 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 332 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7961 simplex iterations) in 1.06 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 14:50:32 2012 Optimize a model with 4825 rows, 2005 columns and 14688 nonzeros Presolve time: 0.01s Presolved: 4825 rows, 2005 columns, 14688 nonzeros Variable types: 0 continuous, 2005 integer (2005 binary) Root relaxation: objective 0.000000e+00, 486 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 416 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 525 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 400 - 0.00000 - - 5s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 394 - 0.00000 - - 6s 0 0 0.00000 0 411 - 0.00000 - - 7s 0 0 0.00000 0 408 - 0.00000 - - 7s 0 2 0.00000 0 394 - 0.00000 - - 8s 57 27 0.00000 17 479 - 0.00000 - 213 10s 441 65 0.00000 23 386 - 0.00000 - 150 15s 604 98 0.00000 10 538 - 0.00000 - 153 20s 606 99 0.00000 10 380 - 0.00000 - 152 25s 609 101 0.00000 19 386 - 0.00000 - 151 31s 611 103 0.00000 6 382 - 0.00000 - 151 35s 705 115 infeasible 26 - 0.00000 - 243 40s 878 113 0.00000 31 394 - 0.00000 - 250 45s 1047 102 0.00000 25 392 - 0.00000 - 256 50s 1218 121 infeasible 33 - 0.00000 - 260 55s 1373 122 infeasible 27 - 0.00000 - 266 60s 1538 135 infeasible 27 - 0.00000 - 269 65s 1697 138 0.00000 26 432 - 0.00000 - 274 70s 1854 143 infeasible 29 - 0.00000 - 277 75s 2003 126 infeasible 30 - 0.00000 - 280 80s 2157 122 infeasible 29 - 0.00000 - 283 85s 2337 132 infeasible 29 - 0.00000 - 284 90s 2486 117 infeasible 31 - 0.00000 - 288 95s 2645 108 0.00000 28 392 - 0.00000 - 289 100s 2820 105 infeasible 32 - 0.00000 - 290 105s 2978 93 infeasible 27 - 0.00000 - 292 110s 3118 83 infeasible 30 - 0.00000 - 294 115s 3268 101 0.00000 24 396 - 0.00000 - 295 120s 3427 118 infeasible 27 - 0.00000 - 296 125s 3574 115 infeasible 31 - 0.00000 - 299 130s 3743 100 0.00000 28 398 - 0.00000 - 299 135s 3909 114 infeasible 34 - 0.00000 - 299 140s 4076 101 infeasible 29 - 0.00000 - 300 145s 4240 129 0.00000 22 433 - 0.00000 - 300 150s 4417 168 0.00000 26 407 - 0.00000 - 299 155s 4591 158 infeasible 30 - 0.00000 - 299 160s 4747 144 infeasible 29 - 0.00000 - 301 165s 4901 156 infeasible 33 - 0.00000 - 301 170s 5048 135 infeasible 30 - 0.00000 - 302 175s 5190 125 infeasible 28 - 0.00000 - 303 180s 5353 108 infeasible 37 - 0.00000 - 303 185s 5481 94 0.00000 30 398 - 0.00000 - 305 190s 5614 65 infeasible 35 - 0.00000 - 306 195s 5761 36 infeasible 30 - 0.00000 - 306 200s 5875 20 infeasible 33 - 0.00000 - 307 205s 5995 6 infeasible 32 - 0.00000 - 309 210s Cutting planes: Gomory: 1 Zero half: 21 Explored 6022 nodes (1912277 simplex iterations) in 211.36 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 14:54:03 2012 Optimize a model with 5978 rows, 2218 columns and 18360 nonzeros Presolve time: 0.02s Presolved: 5978 rows, 2218 columns, 18360 nonzeros Variable types: 0 continuous, 2218 integer (2218 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 400 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 339 - 0.00000 - - 1s 0 0 0.00000 0 482 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 197 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 351 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 5s 0 0 0.00000 0 362 - 0.00000 - - 5s Cutting planes: Zero half: 21 Explored 0 nodes (38246 simplex iterations) in 5.73 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