current bounds on the number of colors: 0 -- 214
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:00:40 2012
Optimize a model with 123585 rows, 24051 columns and 393011 nonzeros
Presolve time: 0.43s
Presolved: 123585 rows, 24051 columns, 393011 nonzeros
Variable types: 0 continuous, 24051 integer (24051 binary)
Root relaxation: objective 0.000000e+00, 536 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 (999 simplex iterations) in 0.76 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:00:43 2012
Optimize a model with 61323 rows, 12495 columns and 194669 nonzeros
Presolve time: 0.17s
Presolved: 61323 rows, 12495 columns, 194669 nonzeros
Variable types: 0 continuous, 12495 integer (12495 binary)
Root relaxation: objective 0.000000e+00, 557 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 (1014 simplex iterations) in 0.29 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:00:44 2012
Optimize a model with 30192 rows, 6717 columns and 95498 nonzeros
Presolve time: 0.13s
Presolved: 30192 rows, 6717 columns, 95498 nonzeros
Variable types: 0 continuous, 6717 integer (6717 binary)
Root relaxation: objective 0.000000e+00, 445 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 (853 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 -- 26
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:00:44 2012
Optimize a model with 15203 rows, 3935 columns and 47749 nonzeros
Presolve time: 0.05s
Presolved: 15203 rows, 3935 columns, 47749 nonzeros
Variable types: 0 continuous, 3935 integer (3935 binary)
Root relaxation: objective 0.000000e+00, 434 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 (862 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 15:00:45 2012
Optimize a model with 7132 rows, 2437 columns and 22038 nonzeros
Presolve time: 0.02s
Presolved: 7132 rows, 2437 columns, 22038 nonzeros
Variable types: 0 continuous, 2437 integer (2437 binary)
Root relaxation: objective 0.000000e+00, 478 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 (1695 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 15:00:45 2012
Optimize a model with 3673 rows, 1795 columns and 11019 nonzeros
Presolve time: 0.01s
Presolved: 3673 rows, 1795 columns, 11019 nonzeros
Variable types: 0 continuous, 1795 integer (1795 binary)
Root relaxation: objective 0.000000e+00, 464 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 428 - 0.00000 - - 0s
0 0 0.00000 0 422 - 0.00000 - - 0s
0 0 0.00000 0 585 - 0.00000 - - 1s
0 0 0.00000 0 611 - 0.00000 - - 1s
0 0 infeasible 0 - 0.10000 - - 2s
Cutting planes:
Gomory: 3
Clique: 2
Zero half: 1514
Explored 0 nodes (10292 simplex iterations) in 2.05 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:00:47 2012
Optimize a model with 4826 rows, 2009 columns and 14692 nonzeros
Presolve time: 0.01s
Presolved: 4826 rows, 2009 columns, 14692 nonzeros
Variable types: 0 continuous, 2009 integer (2009 binary)
Root relaxation: objective 0.000000e+00, 465 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 400 - 0.00000 - - 0s
0 0 0.00000 0 410 - 0.00000 - - 1s
0 0 0.00000 0 534 - 0.00000 - - 1s
0 0 0.00000 0 394 - 0.00000 - - 2s
0 0 0.00000 0 392 - 0.00000 - - 3s
0 0 0.00000 0 392 - 0.00000 - - 4s
0 0 0.00000 0 388 - 0.00000 - - 5s
0 0 0.00000 0 388 - 0.00000 - - 6s
0 0 0.00000 0 384 - 0.00000 - - 7s
0 0 0.00000 0 384 - 0.00000 - - 7s
0 0 0.00000 0 384 - 0.00000 - - 8s
0 2 0.00000 0 384 - 0.00000 - - 9s
28 26 0.00000 19 368 - 0.00000 - 300 10s
288 106 0.00000 10 401 - 0.00000 - 195 15s
539 183 0.00000 17 498 - 0.00000 - 187 20s
605 195 0.00000 21 378 - 0.00000 - 186 27s
607 196 0.00000 20 370 - 0.00000 - 186 31s
609 197 0.00000 16 369 - 0.00000 - 185 35s
611 199 0.00000 16 360 - 0.00000 - 184 41s
613 200 0.00000 20 339 - 0.00000 - 184 47s
614 201 0.00000 12 332 - 0.00000 - 183 51s
616 202 0.00000 18 373 - 0.00000 - 183 56s
658 206 infeasible 24 - 0.00000 - 333 60s
800 179 0.00000 24 400 - 0.00000 - 329 65s
894 145 infeasible 28 - 0.00000 - 344 70s
1005 93 infeasible 23 - 0.00000 - 350 75s
1136 47 infeasible 23 - 0.00000 - 351 80s
1238 8 0.00000 23 486 - 0.00000 - 358 85s
1373 9 infeasible 22 - 0.00000 - 357 90s
1481 7 infeasible 24 - 0.00000 - 361 95s
Cutting planes:
Gomory: 1
Clique: 1
Zero half: 24
Explored 1525 nodes (607136 simplex iterations) in 97.27 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 15:02:24 2012
Optimize a model with 5979 rows, 2223 columns and 18365 nonzeros
Presolve time: 0.02s
Presolved: 5979 rows, 2223 columns, 18365 nonzeros
Variable types: 0 continuous, 2223 integer (2223 binary)
Root relaxation: objective 0.000000e+00, 448 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 396 - 0.00000 - - 0s
0 0 0.00000 0 376 - 0.00000 - - 0s
0 0 0.00000 0 483 - 0.00000 - - 1s
0 0 0.00000 0 523 - 0.00000 - - 1s
0 0 0.00000 0 64 - 0.00000 - - 2s
H 0 0 0.0000000 0.00000 0.0% - 2s
Explored 0 nodes (18044 simplex iterations) in 2.90 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