current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:34:45 2012 Optimize a model with 116493 rows, 22347 columns and 370079 nonzeros Presolve time: 0.39s Presolved: 116493 rows, 22347 columns, 370079 nonzeros Variable types: 0 continuous, 22347 integer (22347 binary) Root relaxation: objective 0.000000e+00, 536 iterations, 0.14 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 (1004 simplex iterations) in 0.69 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:34:47 2012 Optimize a model with 57785 rows, 11635 columns and 183243 nonzeros Presolve time: 0.17s Presolved: 57785 rows, 11635 columns, 183243 nonzeros Variable types: 0 continuous, 11635 integer (11635 binary) Root relaxation: objective 0.000000e+00, 688 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 (1162 simplex iterations) in 0.31 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 11:34:48 2012 Optimize a model with 28431 rows, 6279 columns and 89825 nonzeros Presolve time: 0.12s Presolved: 28431 rows, 6279 columns, 89825 nonzeros Variable types: 0 continuous, 6279 integer (6279 binary) Root relaxation: objective 0.000000e+00, 507 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 (1159 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:34:49 2012 Optimize a model with 13754 rows, 3601 columns and 43116 nonzeros Presolve time: 0.04s Presolved: 13754 rows, 3601 columns, 43116 nonzeros Variable types: 0 continuous, 3601 integer (3601 binary) Root relaxation: objective 0.000000e+00, 421 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 (814 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:34:49 2012 Optimize a model with 6980 rows, 2365 columns and 21558 nonzeros Presolve time: 0.02s Presolved: 6980 rows, 2365 columns, 21558 nonzeros Variable types: 0 continuous, 2365 integer (2365 binary) Root relaxation: objective 0.000000e+00, 455 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 (2792 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:34:50 2012 Optimize a model with 3593 rows, 1747 columns and 10779 nonzeros Presolve time: 0.01s Presolved: 3593 rows, 1747 columns, 10779 nonzeros Variable types: 0 continuous, 1747 integer (1747 binary) Root relaxation: objective 0.000000e+00, 483 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 410 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5919 simplex iterations) in 0.84 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 11:34:50 2012 Optimize a model with 4722 rows, 1953 columns and 14372 nonzeros Presolve time: 0.01s Presolved: 4722 rows, 1953 columns, 14372 nonzeros Variable types: 0 continuous, 1953 integer (1953 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.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 379 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 374 - 0.00000 - - 9s 0 0 0.00000 0 362 - 0.00000 - - 10s 0 0 0.00000 0 362 - 0.00000 - - 10s 0 0 0.00000 0 362 - 0.00000 - - 11s 0 2 0.00000 0 362 - 0.00000 - - 12s 33 21 0.00000 10 358 - 0.00000 - 382 15s 220 32 0.00000 12 414 - 0.00000 - 253 20s 443 53 0.00000 16 374 - 0.00000 - 230 25s 654 42 0.00000 17 462 - 0.00000 - 228 30s 804 56 0.00000 5 575 - 0.00000 - 223 36s 805 57 0.00000 8 390 - 0.00000 - 222 40s 808 59 0.00000 8 388 - 0.00000 - 222 47s 809 59 0.00000 5 476 - 0.00000 - 221 50s 811 61 0.00000 12 346 - 0.00000 - 221 55s 858 58 infeasible 24 - 0.00000 - 296 60s 947 31 infeasible 23 - 0.00000 - 311 65s 1021 17 0.00000 22 435 - 0.00000 - 325 70s 1112 10 infeasible 21 - 0.00000 - 334 75s 1197 3 0.00000 15 525 - 0.00000 - 343 80s 1288 6 0.00000 22 514 - 0.00000 - 350 85s Cutting planes: Clique: 1 Zero half: 8 Explored 1327 nodes (540324 simplex iterations) in 87.00 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 11:36:18 2012 Optimize a model with 5851 rows, 2159 columns and 17965 nonzeros Presolve time: 0.02s Presolved: 5851 rows, 2159 columns, 17965 nonzeros Variable types: 0 continuous, 2159 integer (2159 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.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 389 - 0.00000 - - 2s 0 0 0.00000 0 453 - 0.00000 - - 2s 0 0 0.00000 0 419 - 0.00000 - - 3s 0 0 0.00000 0 433 - 0.00000 - - 5s 0 0 0.00000 0 510 - 0.00000 - - 6s 0 0 0.00000 0 473 - 0.00000 - - 7s 0 0 0.00000 0 462 - 0.00000 - - 9s 0 0 0.00000 0 467 - 0.00000 - - 9s 0 0 0.00000 0 435 - 0.00000 - - 10s 0 2 0.00000 0 435 - 0.00000 - - 10s * 173 3 56 0.0000000 0.00000 0.0% 64.9 11s Cutting planes: Clique: 1 Explored 174 nodes (68106 simplex iterations) in 11.56 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