current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:02 2012 Optimize a model with 80082 rows, 11826 columns and 250536 nonzeros Presolve time: 0.23s Presolved: 80082 rows, 11826 columns, 250536 nonzeros Variable types: 0 continuous, 11826 integer (11826 binary) Root relaxation: objective 0.000000e+00, 360 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 (770 simplex iterations) in 0.43 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:03 2012 Optimize a model with 39567 rows, 6387 columns and 123552 nonzeros Presolve time: 0.15s Presolved: 39567 rows, 6387 columns, 123552 nonzeros Variable types: 0 continuous, 6387 integer (6387 binary) Root relaxation: objective 0.000000e+00, 418 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 (791 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:04 2012 Optimize a model with 19857 rows, 3741 columns and 61776 nonzeros Presolve time: 0.07s Presolved: 19857 rows, 3741 columns, 61776 nonzeros Variable types: 0 continuous, 3741 integer (3741 binary) Root relaxation: objective 0.000000e+00, 424 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 (832 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:04 2012 Optimize a model with 10002 rows, 2418 columns and 30888 nonzeros Presolve time: 0.03s Presolved: 10002 rows, 2418 columns, 30888 nonzeros Variable types: 0 continuous, 2418 integer (2418 binary) Root relaxation: objective 0.000000e+00, 307 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 (1015 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:04 2012 Optimize a model with 4527 rows, 1683 columns and 13728 nonzeros Presolve time: 0.01s Presolved: 4527 rows, 1683 columns, 13728 nonzeros Variable types: 0 continuous, 1683 integer (1683 binary) Root relaxation: objective 0.000000e+00, 314 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 294 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 483 - 0.00000 - - 2s 0 0 0.00000 0 486 - 0.00000 - - 2s 0 0 0.00000 0 472 - 0.00000 - - 3s 0 0 0.00000 0 469 - 0.00000 - - 5s 0 0 0.00000 0 467 - 0.00000 - - 7s 0 0 0.00000 0 449 - 0.00000 - - 8s 0 0 0.00000 0 467 - 0.00000 - - 9s 0 0 0.00000 0 473 - 0.00000 - - 10s 0 0 0.00000 0 483 - 0.00000 - - 11s 0 0 0.00000 0 471 - 0.00000 - - 12s 0 2 0.00000 0 471 - 0.00000 - - 13s Cutting planes: Clique: 31 Zero half: 21 Explored 19 nodes (64453 simplex iterations) in 14.33 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:19 2012 Optimize a model with 6717 rows, 1977 columns and 20592 nonzeros Presolve time: 0.02s Presolved: 6717 rows, 1977 columns, 20592 nonzeros Variable types: 0 continuous, 1977 integer (1977 binary) Root relaxation: objective 0.000000e+00, 308 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 136 - 0.00000 - - 0s 0 0 0.00000 0 135 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 2 0.00000 0 362 - 0.00000 - - 4s 8 6 0.00000 6 270 - 0.00000 - 336 5s * 494 3 49 0.0000000 0.00000 0.0% 66.3 6s Cutting planes: Clique: 11 Zero half: 6 Explored 495 nodes (58461 simplex iterations) in 6.77 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:31:26 2012 Optimize a model with 5622 rows, 1830 columns and 17160 nonzeros Presolve time: 0.01s Presolved: 5622 rows, 1830 columns, 17160 nonzeros Variable types: 0 continuous, 1830 integer (1830 binary) Root relaxation: objective 0.000000e+00, 297 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 290 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 2s 0 0 0.00000 0 369 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 397 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 0 0.00000 0 415 - 0.00000 - - 8s 0 0 0.00000 0 409 - 0.00000 - - 9s 0 0 0.00000 0 390 - 0.00000 - - 10s 0 0 0.00000 0 414 - 0.00000 - - 11s 0 0 0.00000 0 414 - 0.00000 - - 12s 0 2 0.00000 0 414 - 0.00000 - - 13s 28 18 infeasible 18 - 0.00000 - 415 15s 245 106 0.00000 22 374 - 0.00000 - 215 20s 474 170 0.00000 30 258 - 0.00000 - 198 25s 614 190 0.00000 13 389 - 0.00000 - 181 30s 619 193 0.00000 27 393 - 0.00000 - 179 35s 621 195 0.00000 31 373 - 0.00000 - 179 40s 623 196 0.00000 28 372 - 0.00000 - 178 45s 625 197 0.00000 26 366 - 0.00000 - 178 50s 640 205 0.00000 15 364 - 0.00000 - 248 55s 733 217 0.00000 28 344 - 0.00000 - 268 60s 821 210 infeasible 28 - 0.00000 - 285 65s 905 198 infeasible 28 - 0.00000 - 298 70s 1001 176 infeasible 27 - 0.00000 - 309 75s 1084 157 0.00000 20 371 - 0.00000 - 321 80s 1178 128 0.00000 26 353 - 0.00000 - 330 85s 1267 115 infeasible 27 - 0.00000 - 338 90s 1369 117 0.00000 22 377 - 0.00000 - 343 95s 1462 120 infeasible 28 - 0.00000 - 348 100s 1548 124 0.00000 22 377 - 0.00000 - 355 105s 1639 127 0.00000 22 373 - 0.00000 - 360 110s 1726 144 infeasible 28 - 0.00000 - 366 115s 1809 135 infeasible 22 - 0.00000 - 371 120s 1901 139 0.00000 22 372 - 0.00000 - 374 125s 1993 143 infeasible 24 - 0.00000 - 377 130s 2082 142 0.00000 26 349 - 0.00000 - 380 135s 2168 128 infeasible 26 - 0.00000 - 384 140s 2253 125 infeasible 23 - 0.00000 - 387 145s 2352 124 0.00000 21 357 - 0.00000 - 387 150s 2435 121 0.00000 24 371 - 0.00000 - 391 155s 2524 122 infeasible 27 - 0.00000 - 393 160s 2610 124 0.00000 22 380 - 0.00000 - 395 165s 2702 122 infeasible 28 - 0.00000 - 397 170s 2790 122 0.00000 25 358 - 0.00000 - 398 175s 2881 119 infeasible 22 - 0.00000 - 400 180s 2958 108 0.00000 24 339 - 0.00000 - 403 185s 3050 100 0.00000 25 365 - 0.00000 - 404 190s 3142 100 infeasible 28 - 0.00000 - 405 195s 3221 93 0.00000 26 335 - 0.00000 - 407 200s 3306 86 0.00000 17 372 - 0.00000 - 409 205s 3388 80 0.00000 22 365 - 0.00000 - 411 210s 3478 82 infeasible 26 - 0.00000 - 412 215s 3557 77 infeasible 22 - 0.00000 - 414 220s 3636 66 infeasible 22 - 0.00000 - 416 225s 3723 60 infeasible 25 - 0.00000 - 417 230s 3817 57 infeasible 21 - 0.00000 - 417 235s 3897 53 infeasible 25 - 0.00000 - 419 240s 3988 56 0.00000 21 376 - 0.00000 - 419 245s 4079 53 infeasible 25 - 0.00000 - 419 250s 4170 52 infeasible 25 - 0.00000 - 419 255s 4268 52 infeasible 24 - 0.00000 - 419 260s 4367 55 0.00000 25 363 - 0.00000 - 419 265s 4458 40 infeasible 24 - 0.00000 - 419 270s Cutting planes: Clique: 5 Zero half: 27 Explored 4525 nodes (1956951 simplex iterations) in 274.34 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6