current bounds on the number of colors: 0 -- 215
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:46 2012
Optimize a model with 126047 rows, 24181 columns and 400501 nonzeros
Presolve time: 0.44s
Presolved: 126047 rows, 24181 columns, 400501 nonzeros
Variable types: 0 continuous, 24181 integer (24181 binary)
Root relaxation: objective 0.000000e+00, 573 iterations, 0.16 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 (1199 simplex iterations) in 0.86 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:39:49 2012
Optimize a model with 62543 rows, 12571 columns and 198379 nonzeros
Presolve time: 0.18s
Presolved: 62543 rows, 12571 columns, 198379 nonzeros
Variable types: 0 continuous, 12571 integer (12571 binary)
Root relaxation: objective 0.000000e+00, 596 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 (1017 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 -- 53
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:50 2012
Optimize a model with 30791 rows, 6766 columns and 97318 nonzeros
Presolve time: 0.13s
Presolved: 30791 rows, 6766 columns, 97318 nonzeros
Variable types: 0 continuous, 6766 integer (6766 binary)
Root relaxation: objective 0.000000e+00, 449 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 (876 simplex iterations) in 0.19 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:39:50 2012
Optimize a model with 15503 rows, 3971 columns and 48659 nonzeros
Presolve time: 0.05s
Presolved: 15503 rows, 3971 columns, 48659 nonzeros
Variable types: 0 continuous, 3971 integer (3971 binary)
Root relaxation: objective 0.000000e+00, 454 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 (903 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 15:39:50 2012
Optimize a model with 7271 rows, 2466 columns and 22458 nonzeros
Presolve time: 0.02s
Presolved: 7271 rows, 2466 columns, 22458 nonzeros
Variable types: 0 continuous, 2466 integer (2466 binary)
Root relaxation: objective 0.000000e+00, 449 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 (2378 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 -- 6
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:51 2012
Optimize a model with 3743 rows, 1821 columns and 11229 nonzeros
Presolve time: 0.01s
Presolved: 3743 rows, 1821 columns, 11229 nonzeros
Variable types: 0 continuous, 1821 integer (1821 binary)
Root relaxation: objective 0.000000e+00, 500 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 422 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 1s
Explored 0 nodes (8046 simplex iterations) in 1.11 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:39:52 2012
Optimize a model with 4919 rows, 2036 columns and 14972 nonzeros
Presolve time: 0.01s
Presolved: 4919 rows, 2036 columns, 14972 nonzeros
Variable types: 0 continuous, 2036 integer (2036 binary)
Root relaxation: objective 0.000000e+00, 488 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 424 - 0.00000 - - 0s
0 0 0.00000 0 412 - 0.00000 - - 0s
0 0 0.00000 0 404 - 0.00000 - - 1s
0 0 0.00000 0 521 - 0.00000 - - 2s
0 0 0.00000 0 406 - 0.00000 - - 3s
0 0 0.00000 0 409 - 0.00000 - - 4s
0 0 0.00000 0 409 - 0.00000 - - 5s
0 0 0.00000 0 404 - 0.00000 - - 6s
0 0 0.00000 0 402 - 0.00000 - - 7s
0 0 0.00000 0 396 - 0.00000 - - 8s
0 0 0.00000 0 396 - 0.00000 - - 8s
0 0 0.00000 0 396 - 0.00000 - - 9s
0 2 0.00000 0 396 - 0.00000 - - 10s
240 42 0.00000 9 468 - 0.00000 - 219 15s
494 84 0.00000 8 406 - 0.00000 - 205 20s
711 97 0.00000 9 404 - 0.00000 - 202 25s
713 99 0.00000 10 410 - 0.00000 - 201 31s
715 100 0.00000 13 420 - 0.00000 - 201 37s
716 101 0.00000 19 394 - 0.00000 - 200 40s
718 102 0.00000 19 384 - 0.00000 - 200 45s
720 103 0.00000 15 378 - 0.00000 - 199 52s
721 104 0.00000 9 378 - 0.00000 - 199 55s
728 109 0.00000 16 495 - 0.00000 - 303 60s
753 119 0.00000 28 388 - 0.00000 - 306 65s
842 89 infeasible 25 - 0.00000 - 316 70s
938 65 infeasible 25 - 0.00000 - 328 75s
1046 33 infeasible 26 - 0.00000 - 332 80s
1149 36 0.00000 23 452 - 0.00000 - 340 85s
1236 35 infeasible 26 - 0.00000 - 346 90s
1340 35 infeasible 25 - 0.00000 - 351 95s
1445 40 infeasible 28 - 0.00000 - 352 100s
1544 31 0.00000 19 440 - 0.00000 - 357 105s
1650 45 0.00000 28 423 - 0.00000 - 358 110s
1767 20 infeasible 27 - 0.00000 - 358 115s
1929 46 infeasible 30 - 0.00000 - 350 120s
2090 43 0.00000 26 420 - 0.00000 - 346 125s
2205 38 infeasible 27 - 0.00000 - 347 130s
2333 60 infeasible 26 - 0.00000 - 346 135s
2426 55 infeasible 23 - 0.00000 - 350 140s
2539 48 0.00000 34 408 - 0.00000 - 352 145s
2662 47 infeasible 27 - 0.00000 - 353 150s
2802 63 infeasible 29 - 0.00000 - 351 155s
2933 50 0.00000 28 466 - 0.00000 - 352 160s
3038 41 infeasible 34 - 0.00000 - 354 165s
3160 37 0.00000 25 441 - 0.00000 - 354 170s
3272 49 infeasible 27 - 0.00000 - 355 175s
3370 43 0.00000 22 447 - 0.00000 - 358 180s
3491 42 infeasible 34 - 0.00000 - 357 185s
3601 24 0.00000 25 406 - 0.00000 - 358 190s
3718 31 infeasible 33 - 0.00000 - 359 195s
3843 26 infeasible 34 - 0.00000 - 359 200s
3933 20 0.00000 28 506 - 0.00000 - 362 205s
4048 13 infeasible 27 - 0.00000 - 362 210s
4140 39 0.00000 25 384 - 0.00000 - 363 215s
4272 83 infeasible 25 - 0.00000 - 361 220s
4398 85 infeasible 31 - 0.00000 - 361 225s
4518 97 infeasible 28 - 0.00000 - 361 230s
4638 107 infeasible 25 - 0.00000 - 361 235s
4746 101 infeasible 27 - 0.00000 - 361 240s
4859 96 infeasible 27 - 0.00000 - 362 245s
4950 73 infeasible 28 - 0.00000 - 364 250s
5035 66 0.00000 24 420 - 0.00000 - 366 255s
5116 51 infeasible 25 - 0.00000 - 368 260s
5210 49 0.00000 25 519 - 0.00000 - 369 265s
5306 47 infeasible 30 - 0.00000 - 370 270s
5401 28 infeasible 28 - 0.00000 - 372 275s
5491 24 infeasible 26 - 0.00000 - 373 280s
5577 20 0.00000 26 404 - 0.00000 - 375 285s
5680 13 infeasible 24 - 0.00000 - 375 290s
Cutting planes:
Gomory: 2
Clique: 1
Zero half: 41
Explored 5715 nodes (2204455 simplex iterations) in 291.57 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 15:44:44 2012
Optimize a model with 6095 rows, 2251 columns and 18715 nonzeros
Presolve time: 0.02s
Explored 0 nodes (0 simplex iterations) in 0.02 seconds
Thread count was 1 (of 16 available processors)
Time limit reached
Best objective -, best bound -, gap -
optimal solution found: number of colors: 6