current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:04:46 2012 Optimize a model with 22765 rows, 2407 columns and 69720 nonzeros Presolve time: 0.10s Presolved: 22765 rows, 2407 columns, 69720 nonzeros Variable types: 0 continuous, 2407 integer (2407 binary) Root relaxation: objective 0.000000e+00, 123 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 (524 simplex iterations) in 0.17 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:04:47 2012 Optimize a model with 11411 rows, 1609 columns and 34860 nonzeros Presolve time: 0.04s Presolved: 11411 rows, 1609 columns, 34860 nonzeros Variable types: 0 continuous, 1609 integer (1609 binary) Root relaxation: objective 0.000000e+00, 118 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 (878 simplex iterations) in 0.10 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:04:47 2012 Optimize a model with 5734 rows, 1210 columns and 17430 nonzeros Presolve time: 0.01s Presolved: 5734 rows, 1210 columns, 17430 nonzeros Variable types: 0 continuous, 1210 integer (1210 binary) Root relaxation: objective 0.000000e+00, 114 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 68 - 0.00000 - - 0s 0 0 0.00000 0 56 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3176 simplex iterations) in 0.46 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:04:48 2012 Optimize a model with 8167 rows, 1381 columns and 24900 nonzeros Presolve time: 0.02s Presolved: 8167 rows, 1381 columns, 24900 nonzeros Variable types: 0 continuous, 1381 integer (1381 binary) Root relaxation: objective 0.000000e+00, 128 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 48 - 0.00000 - - 0s 0 0 0.00000 0 26 - 0.00000 - - 0s 0 0 0.00000 0 113 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 1s 0 0 0.00000 0 105 - 0.00000 - - 2s 0 0 0.00000 0 100 - 0.00000 - - 2s 0 0 0.00000 0 132 - 0.00000 - - 3s 0 0 0.00000 0 132 - 0.00000 - - 4s 0 0 0.00000 0 135 - 0.00000 - - 5s 0 0 0.00000 0 112 - 0.00000 - - 6s 0 2 0.00000 0 112 - 0.00000 - - 6s 486 21 0.00000 19 116 - 0.00000 - 77.9 10s 805 27 0.00000 12 98 - 0.00000 - 78.4 15s 808 29 0.00000 14 140 - 0.00000 - 78.1 21s 814 33 0.00000 12 205 - 0.00000 - 127 25s 928 20 0.00000 26 153 - 0.00000 - 131 30s 1278 20 infeasible 28 - 0.00000 - 138 35s 1562 19 0.00000 29 163 - 0.00000 - 146 40s 1918 17 0.00000 28 149 - 0.00000 - 147 45s 2226 13 infeasible 28 - 0.00000 - 151 50s 2578 14 infeasible 24 - 0.00000 - 151 55s 2945 19 0.00000 27 130 - 0.00000 - 152 60s 3338 24 infeasible 33 - 0.00000 - 152 65s 3734 18 infeasible 28 - 0.00000 - 152 70s 4124 20 infeasible 35 - 0.00000 - 152 75s 4475 19 0.00000 29 141 - 0.00000 - 153 80s 4859 13 0.00000 27 116 - 0.00000 - 153 85s 5274 24 0.00000 29 115 - 0.00000 - 153 90s 5643 13 0.00000 29 109 - 0.00000 - 153 95s 6078 10 infeasible 28 - 0.00000 - 152 100s 6476 12 0.00000 19 147 - 0.00000 - 152 105s 6867 13 infeasible 27 - 0.00000 - 152 110s 7191 13 infeasible 28 - 0.00000 - 153 115s 7540 10 infeasible 26 - 0.00000 - 153 120s 7874 10 infeasible 28 - 0.00000 - 154 125s 8226 12 0.00000 23 154 - 0.00000 - 154 130s 8644 11 0.00000 27 123 - 0.00000 - 153 135s 9089 13 infeasible 30 - 0.00000 - 152 140s 9518 10 0.00000 30 140 - 0.00000 - 152 145s 9952 9 0.00000 25 156 - 0.00000 - 151 150s 10339 8 0.00000 23 162 - 0.00000 - 151 155s 10770 15 0.00000 29 115 - 0.00000 - 151 160s 11137 28 infeasible 33 - 0.00000 - 151 165s 11560 13 infeasible 28 - 0.00000 - 151 170s 11947 14 infeasible 31 - 0.00000 - 151 175s Cutting planes: Clique: 18 Zero half: 1 Explored 12114 nodes (1861726 simplex iterations) in 177.08 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: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:07:45 2012 Optimize a model with 9789 rows, 1495 columns and 29880 nonzeros Presolve time: 0.03s Presolved: 9789 rows, 1495 columns, 29880 nonzeros Variable types: 0 continuous, 1495 integer (1495 binary) Root relaxation: objective 0.000000e+00, 116 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 35 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1716 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: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:07:45 2012 Optimize a model with 8978 rows, 1438 columns and 27390 nonzeros Presolve time: 0.03s Presolved: 8978 rows, 1438 columns, 27390 nonzeros Variable types: 0 continuous, 1438 integer (1438 binary) Root relaxation: objective 0.000000e+00, 122 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 36 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 36 MIR: 1 Zero half: 32 Explored 0 nodes (1547 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% optimal solution found: number of colors: 11