current bounds on the number of colors: 0 -- 182 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:31 2012 Optimize a model with 82355 rows, 17465 columns and 263081 nonzeros Presolve time: 0.26s Presolved: 82355 rows, 17465 columns, 263081 nonzeros Variable types: 0 continuous, 17465 integer (17465 binary) Root relaxation: objective 0.000000e+00, 722 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 (1156 simplex iterations) in 0.45 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:32 2012 Optimize a model with 40817 rows, 9093 columns and 130095 nonzeros Presolve time: 0.16s Presolved: 40817 rows, 9093 columns, 130095 nonzeros Variable types: 0 continuous, 9093 integer (9093 binary) Root relaxation: objective 0.000000e+00, 593 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 (1021 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:33 2012 Optimize a model with 20048 rows, 4907 columns and 63602 nonzeros Presolve time: 0.08s Presolved: 20048 rows, 4907 columns, 63602 nonzeros Variable types: 0 continuous, 4907 integer (4907 binary) Root relaxation: objective 0.000000e+00, 426 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 (798 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:33 2012 Optimize a model with 10115 rows, 2905 columns and 31801 nonzeros Presolve time: 0.03s Presolved: 10115 rows, 2905 columns, 31801 nonzeros Variable types: 0 continuous, 2905 integer (2905 binary) Root relaxation: objective 0.000000e+00, 390 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 (744 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:33 2012 Optimize a model with 4697 rows, 1813 columns and 14455 nonzeros Presolve time: 0.01s Presolved: 4697 rows, 1813 columns, 14455 nonzeros Variable types: 0 continuous, 1813 integer (1813 binary) Root relaxation: objective 0.000000e+00, 395 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 336 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2241 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:33 2012 Optimize a model with 1988 rows, 1267 columns and 5782 nonzeros Presolve removed 182 rows and 182 columns Presolve time: 0.00s Presolved: 1806 rows, 1085 columns, 5418 nonzeros Variable types: 0 continuous, 1085 integer (1085 binary) Root relaxation: objective 0.000000e+00, 190 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (781 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:33 2012 Optimize a model with 2891 rows, 1449 columns and 8673 nonzeros Presolve time: 0.01s Presolved: 2891 rows, 1449 columns, 8673 nonzeros Variable types: 0 continuous, 1449 integer (1449 binary) Root relaxation: objective 0.000000e+00, 424 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 360 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5188 simplex iterations) in 0.55 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:50:34 2012 Optimize a model with 3794 rows, 1631 columns and 11564 nonzeros Presolve time: 0.01s Presolved: 3794 rows, 1631 columns, 11564 nonzeros Variable types: 0 continuous, 1631 integer (1631 binary) Root relaxation: objective 0.000000e+00, 405 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 360 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 453 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 300 - 0.00000 - - 5s 0 0 0.00000 0 288 - 0.00000 - - 6s 0 0 0.00000 0 286 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 2 0.00000 0 288 - 0.00000 - - 8s 164 62 infeasible 20 - 0.00000 - 172 10s 625 77 infeasible 17 - 0.00000 - 162 15s 806 105 0.00000 14 324 - 0.00000 - 158 20s 809 107 0.00000 12 451 - 0.00000 - 158 27s 811 109 0.00000 7 430 - 0.00000 - 157 32s 814 111 0.00000 12 416 - 0.00000 - 157 35s 817 113 0.00000 16 408 - 0.00000 - 156 41s 822 116 0.00000 11 391 - 0.00000 - 155 45s 994 70 0.00000 22 447 - 0.00000 - 240 50s Cutting planes: Zero half: 13 Explored 1071 nodes (321635 simplex iterations) in 52.23 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5