current bounds on the number of colors: 0 -- 164 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:55:37 2012 Optimize a model with 58548 rows, 14160 columns and 188600 nonzeros Presolve time: 0.17s Presolved: 58548 rows, 14160 columns, 188600 nonzeros Variable types: 0 continuous, 14160 integer (14160 binary) Root relaxation: objective 0.000000e+00, 648 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 (1043 simplex iterations) in 0.33 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 -- 82 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:55:38 2012 Optimize a model with 29356 rows, 7436 columns and 94300 nonzeros Presolve time: 0.14s Presolved: 29356 rows, 7436 columns, 94300 nonzeros Variable types: 0 continuous, 7436 integer (7436 binary) Root relaxation: objective 0.000000e+00, 473 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 (807 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:55:38 2012 Optimize a model with 14404 rows, 3992 columns and 46000 nonzeros Presolve time: 0.05s Presolved: 14404 rows, 3992 columns, 46000 nonzeros Variable types: 0 continuous, 3992 integer (3992 binary) Root relaxation: objective 0.000000e+00, 348 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 (831 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:55:38 2012 Optimize a model with 7284 rows, 2352 columns and 23000 nonzeros Presolve time: 0.02s Presolved: 7284 rows, 2352 columns, 23000 nonzeros Variable types: 0 continuous, 2352 integer (2352 binary) Root relaxation: objective 0.000000e+00, 359 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 (671 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:55:39 2012 Optimize a model with 3724 rows, 1532 columns and 11500 nonzeros Presolve time: 0.01s Presolved: 3724 rows, 1532 columns, 11500 nonzeros Variable types: 0 continuous, 1532 integer (1532 binary) Root relaxation: objective 0.000000e+00, 368 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 (2609 simplex iterations) in 0.16 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 Fri Dec 14 19:55:39 2012 Optimize a model with 1588 rows, 1040 columns and 4600 nonzeros Presolve removed 164 rows and 164 columns Presolve time: 0.00s Presolved: 1424 rows, 876 columns, 4272 nonzeros Variable types: 0 continuous, 876 integer (876 binary) Root relaxation: objective 0.000000e+00, 171 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 164 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (694 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 Fri Dec 14 19:55:39 2012 Optimize a model with 2300 rows, 1204 columns and 6900 nonzeros Presolve time: 0.01s Presolved: 2300 rows, 1204 columns, 6900 nonzeros Variable types: 0 continuous, 1204 integer (1204 binary) Root relaxation: objective 0.000000e+00, 361 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 320 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3561 simplex iterations) in 0.37 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 Fri Dec 14 19:55:39 2012 Optimize a model with 3012 rows, 1368 columns and 9200 nonzeros Presolve time: 0.01s Presolved: 3012 rows, 1368 columns, 9200 nonzeros Variable types: 0 continuous, 1368 integer (1368 binary) Root relaxation: objective 0.000000e+00, 384 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 310 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 413 - 0.00000 - - 1s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 2 0.00000 0 385 - 0.00000 - - 3s 401 53 0.00000 24 228 - 0.00000 - 93.1 5s 1015 68 0.00000 13 366 - 0.00000 - 80.2 10s 1018 70 0.00000 23 369 - 0.00000 - 80.0 15s 1023 73 0.00000 14 324 - 0.00000 - 79.6 20s 1304 24 0.00000 25 288 - 0.00000 - 133 25s 1793 37 0.00000 26 270 - 0.00000 - 146 30s 2246 34 0.00000 26 270 - 0.00000 - 154 35s 2695 29 infeasible 26 - 0.00000 - 160 40s 3169 9 0.00000 22 306 - 0.00000 - 164 45s Cutting planes: Zero half: 10 Explored 3241 nodes (559035 simplex iterations) in 45.98 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