current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:02 2012 Optimize a model with 96726 rows, 20193 columns and 308798 nonzeros Presolve time: 0.32s Presolved: 96726 rows, 20193 columns, 308798 nonzeros Variable types: 0 continuous, 20193 integer (20193 binary) Root relaxation: objective 0.000000e+00, 684 iterations, 0.08 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 (1089 simplex iterations) in 0.53 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:04 2012 Optimize a model with 48461 rows, 10589 columns and 154399 nonzeros Presolve time: 0.16s Presolved: 48461 rows, 10589 columns, 154399 nonzeros Variable types: 0 continuous, 10589 integer (10589 binary) Root relaxation: objective 0.000000e+00, 720 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 (1170 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:05 2012 Optimize a model with 23836 rows, 5689 columns and 75624 nonzeros Presolve time: 0.10s Presolved: 23836 rows, 5689 columns, 75624 nonzeros Variable types: 0 continuous, 5689 integer (5689 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 (807 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:05 2012 Optimize a model with 12016 rows, 3337 columns and 37812 nonzeros Presolve time: 0.04s Presolved: 12016 rows, 3337 columns, 37812 nonzeros Variable types: 0 continuous, 3337 integer (3337 binary) Root relaxation: objective 0.000000e+00, 416 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 (787 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 07:46:05 2012 Optimize a model with 6106 rows, 2161 columns and 18906 nonzeros Presolve time: 0.02s Presolved: 6106 rows, 2161 columns, 18906 nonzeros Variable types: 0 continuous, 2161 integer (2161 binary) Root relaxation: objective 0.000000e+00, 418 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 (1333 simplex iterations) in 0.06 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 07:46:06 2012 Optimize a model with 3151 rows, 1573 columns and 9453 nonzeros Presolve time: 0.01s Presolved: 3151 rows, 1573 columns, 9453 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 442 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 390 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4635 simplex iterations) in 0.62 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 07:46:06 2012 Optimize a model with 4136 rows, 1769 columns and 12604 nonzeros Presolve time: 0.01s Presolved: 4136 rows, 1769 columns, 12604 nonzeros Variable types: 0 continuous, 1769 integer (1769 binary) Root relaxation: objective 0.000000e+00, 470 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 378 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 495 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 326 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 2 0.00000 0 320 - 0.00000 - - 7s 208 32 0.00000 13 352 - 0.00000 - 165 10s 603 47 0.00000 8 360 - 0.00000 - 164 15s 607 50 0.00000 12 320 - 0.00000 - 163 21s 610 52 0.00000 8 302 - 0.00000 - 162 26s 613 54 0.00000 10 453 - 0.00000 - 162 32s 614 55 0.00000 8 387 - 0.00000 - 161 35s 617 57 0.00000 8 266 - 0.00000 - 161 40s 623 61 0.00000 17 464 - 0.00000 - 300 45s 701 47 infeasible 27 - 0.00000 - 291 50s 868 22 infeasible 27 - 0.00000 - 293 55s 1048 20 0.00000 27 384 - 0.00000 - 293 60s 1208 36 0.00000 29 438 - 0.00000 - 295 65s 1378 60 infeasible 32 - 0.00000 - 295 70s 1565 63 infeasible 30 - 0.00000 - 292 75s 1753 49 0.00000 23 417 - 0.00000 - 292 80s 1932 42 infeasible 30 - 0.00000 - 293 85s 2106 34 infeasible 33 - 0.00000 - 293 90s 2239 15 infeasible 24 - 0.00000 - 297 95s 2419 13 0.00000 27 352 - 0.00000 - 296 100s 2609 17 infeasible 31 - 0.00000 - 296 105s 2809 5 infeasible 28 - 0.00000 - 294 110s Cutting planes: Clique: 1 Zero half: 23 Explored 2873 nodes (894798 simplex iterations) in 111.87 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 07:47:58 2012 Optimize a model with 5121 rows, 1965 columns and 15755 nonzeros Presolve time: 0.01s Presolved: 5121 rows, 1965 columns, 15755 nonzeros Variable types: 0 continuous, 1965 integer (1965 binary) Root relaxation: objective 0.000000e+00, 412 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 370 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 150 MIR: 2 Zero half: 410 Explored 0 nodes (5229 simplex iterations) in 0.48 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