current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:54:53 2012 Optimize a model with 106182 rows, 21847 columns and 338742 nonzeros Presolve time: 0.36s Presolved: 106182 rows, 21847 columns, 338742 nonzeros Variable types: 0 continuous, 21847 integer (21847 binary) Root relaxation: objective 0.000000e+00, 772 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 (1245 simplex iterations) in 0.60 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:54:55 2012 Optimize a model with 53193 rows, 11443 columns and 169371 nonzeros Presolve time: 0.16s Presolved: 53193 rows, 11443 columns, 169371 nonzeros Variable types: 0 continuous, 11443 integer (11443 binary) Root relaxation: objective 0.000000e+00, 588 iterations, 0.04 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 (1030 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% current bounds on the number of colors: 0 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:54:56 2012 Optimize a model with 26179 rows, 6139 columns and 83025 nonzeros Presolve time: 0.11s Presolved: 26179 rows, 6139 columns, 83025 nonzeros Variable types: 0 continuous, 6139 integer (6139 binary) Root relaxation: objective 0.000000e+00, 456 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 (831 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 10:54:56 2012 Optimize a model with 12672 rows, 3487 columns and 39852 nonzeros Presolve time: 0.04s Presolved: 12672 rows, 3487 columns, 39852 nonzeros Variable types: 0 continuous, 3487 integer (3487 binary) Root relaxation: objective 0.000000e+00, 444 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 (847 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 10:54:56 2012 Optimize a model with 6438 rows, 2263 columns and 19926 nonzeros Presolve time: 0.02s Presolved: 6438 rows, 2263 columns, 19926 nonzeros Variable types: 0 continuous, 2263 integer (2263 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 (1882 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:54:57 2012 Optimize a model with 3321 rows, 1651 columns and 9963 nonzeros Presolve time: 0.01s Presolved: 3321 rows, 1651 columns, 9963 nonzeros Variable types: 0 continuous, 1651 integer (1651 binary) Root relaxation: objective 0.000000e+00, 452 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 404 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 573 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 49 Zero half: 1317 Explored 0 nodes (8303 simplex iterations) in 1.54 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 10:54:58 2012 Optimize a model with 4360 rows, 1855 columns and 13284 nonzeros Presolve time: 0.01s Presolved: 4360 rows, 1855 columns, 13284 nonzeros Variable types: 0 continuous, 1855 integer (1855 binary) Root relaxation: objective 0.000000e+00, 445 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 404 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 439 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 336 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 338 - 0.00000 - - 7s 0 0 0.00000 0 340 - 0.00000 - - 8s 0 0 0.00000 0 340 - 0.00000 - - 8s 0 2 0.00000 0 340 - 0.00000 - - 9s 26 22 0.00000 15 383 - 0.00000 - 387 10s 333 102 0.00000 7 379 - 0.00000 - 192 15s 633 130 infeasible 17 - 0.00000 - 186 20s 705 149 0.00000 18 378 - 0.00000 - 189 26s 707 150 0.00000 19 356 - 0.00000 - 188 30s 709 151 0.00000 10 360 - 0.00000 - 188 35s 712 153 0.00000 18 334 - 0.00000 - 187 42s 713 154 0.00000 22 326 - 0.00000 - 187 45s 744 161 infeasible 23 - 0.00000 - 284 50s 881 132 infeasible 29 - 0.00000 - 293 55s 1027 85 infeasible 29 - 0.00000 - 300 60s 1197 73 infeasible 33 - 0.00000 - 300 65s 1367 89 0.00000 32 380 - 0.00000 - 302 70s 1539 113 0.00000 28 492 - 0.00000 - 303 75s 1678 94 infeasible 27 - 0.00000 - 308 80s 1828 90 0.00000 21 382 - 0.00000 - 312 85s 1976 82 0.00000 30 458 - 0.00000 - 315 90s 2113 61 infeasible 28 - 0.00000 - 318 95s 2256 68 infeasible 29 - 0.00000 - 320 100s 2422 70 0.00000 27 374 - 0.00000 - 319 105s 2612 94 infeasible 28 - 0.00000 - 316 110s 2775 111 infeasible 28 - 0.00000 - 316 115s 2940 126 0.00000 28 411 - 0.00000 - 316 120s 3088 136 infeasible 29 - 0.00000 - 317 125s 3252 144 infeasible 29 - 0.00000 - 317 130s 3404 144 infeasible 28 - 0.00000 - 318 135s 3525 131 infeasible 22 - 0.00000 - 320 140s 3664 118 0.00000 25 472 - 0.00000 - 321 145s 3808 114 0.00000 26 406 - 0.00000 - 322 150s 3943 115 0.00000 23 362 - 0.00000 - 323 155s 4088 106 infeasible 32 - 0.00000 - 324 160s 4250 100 infeasible 26 - 0.00000 - 324 165s 4389 97 0.00000 33 376 - 0.00000 - 325 170s 4546 92 infeasible 28 - 0.00000 - 325 175s 4675 77 infeasible 30 - 0.00000 - 326 180s 4807 75 infeasible 31 - 0.00000 - 327 185s 4944 70 infeasible 27 - 0.00000 - 328 190s 5068 64 infeasible 32 - 0.00000 - 330 195s 5189 67 infeasible 27 - 0.00000 - 331 200s 5316 70 infeasible 27 - 0.00000 - 332 205s 5448 70 infeasible 28 - 0.00000 - 333 210s 5576 66 0.00000 24 490 - 0.00000 - 334 215s 5688 66 0.00000 27 445 - 0.00000 - 336 220s 5815 59 infeasible 30 - 0.00000 - 337 225s 5946 54 infeasible 32 - 0.00000 - 337 230s 6108 60 0.00000 31 411 - 0.00000 - 337 235s 6241 55 infeasible 26 - 0.00000 - 337 240s 6396 58 infeasible 32 - 0.00000 - 337 245s 6533 55 infeasible 30 - 0.00000 - 337 250s 6657 47 0.00000 23 475 - 0.00000 - 338 255s 6789 41 infeasible 30 - 0.00000 - 339 260s 6942 44 0.00000 27 426 - 0.00000 - 338 265s 7073 37 0.00000 29 424 - 0.00000 - 339 270s 7196 36 0.00000 30 440 - 0.00000 - 340 275s 7351 37 0.00000 33 372 - 0.00000 - 339 280s 7492 34 0.00000 30 413 - 0.00000 - 339 285s 7611 21 0.00000 24 494 - 0.00000 - 340 290s Cutting planes: Zero half: 9 Explored 7680 nodes (2670197 simplex iterations) in 292.41 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:59:51 2012 Optimize a model with 5399 rows, 2059 columns and 16605 nonzeros Presolve time: 0.01s Explored 0 nodes (0 simplex iterations) in 0.01 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6