current bounds on the number of colors: 0 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:27:20 2012 Optimize a model with 24013 rows, 2537 columns and 73573 nonzeros Presolve time: 0.10s Presolved: 24013 rows, 2537 columns, 73573 nonzeros Variable types: 0 continuous, 2537 integer (2537 binary) Root relaxation: objective 0.000000e+00, 164 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 (362 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:27:20 2012 Optimize a model with 11623 rows, 1652 columns and 35518 nonzeros Presolve time: 0.04s Presolved: 11623 rows, 1652 columns, 35518 nonzeros Variable types: 0 continuous, 1652 integer (1652 binary) Root relaxation: objective 0.000000e+00, 124 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1145 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:27:21 2012 Optimize a model with 5841 rows, 1239 columns and 17759 nonzeros Presolve time: 0.02s Presolved: 5841 rows, 1239 columns, 17759 nonzeros Variable types: 0 continuous, 1239 integer (1239 binary) Root relaxation: objective 0.000000e+00, 118 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 60 - 0.00000 - - 0s 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 4s 0 0 0.00000 0 349 - 0.00000 - - 5s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 0 0.00000 0 363 - 0.00000 - - 7s 0 2 0.00000 0 363 - 0.00000 - - 8s Cutting planes: Clique: 70 Zero half: 18 Explored 3 nodes (37653 simplex iterations) in 8.92 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:27:30 2012 Optimize a model with 8319 rows, 1416 columns and 25370 nonzeros Presolve time: 0.02s Presolved: 8319 rows, 1416 columns, 25370 nonzeros Variable types: 0 continuous, 1416 integer (1416 binary) Root relaxation: objective 0.000000e+00, 127 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 56 - 0.00000 - - 0s 0 0 0.00000 0 53 - 0.00000 - - 0s 0 0 0.00000 0 110 - 0.00000 - - 1s 0 0 0.00000 0 245 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 2s 0 0 0.00000 0 288 - 0.00000 - - 3s 0 0 0.00000 0 190 - 0.00000 - - 4s 0 0 0.00000 0 141 - 0.00000 - - 5s 0 0 0.00000 0 278 - 0.00000 - - 6s 0 0 0.00000 0 252 - 0.00000 - - 7s 0 2 0.00000 0 252 - 0.00000 - - 8s 188 24 0.00000 22 117 - 0.00000 - 105 10s 927 20 0.00000 19 123 - 0.00000 - 92.0 15s 1008 28 0.00000 9 127 - 0.00000 - 92.2 21s 1010 30 0.00000 18 93 - 0.00000 - 92.0 25s 1013 32 0.00000 19 81 - 0.00000 - 91.8 32s 1015 33 0.00000 21 153 - 0.00000 - 91.6 36s 1020 36 0.00000 15 130 - 0.00000 - 152 40s 1111 53 0.00000 35 131 - 0.00000 - 152 45s 1468 36 infeasible 36 - 0.00000 - 155 50s 1837 39 infeasible 42 - 0.00000 - 155 55s 2227 27 infeasible 39 - 0.00000 - 154 60s 2594 32 infeasible 40 - 0.00000 - 153 65s 2986 22 0.00000 36 141 - 0.00000 - 153 70s 3398 34 infeasible 39 - 0.00000 - 152 75s 3838 34 0.00000 40 107 - 0.00000 - 150 80s 4240 34 infeasible 40 - 0.00000 - 150 85s 4576 26 infeasible 38 - 0.00000 - 152 90s 4936 20 infeasible 36 - 0.00000 - 153 95s 5386 28 0.00000 39 112 - 0.00000 - 151 100s 5775 25 infeasible 35 - 0.00000 - 151 105s 6220 26 infeasible 34 - 0.00000 - 150 110s 6599 25 0.00000 32 125 - 0.00000 - 150 115s * 6910 2 36 0.0000000 0.00000 0.0% 149 117s Cutting planes: Clique: 20 Zero half: 5 Explored 6911 nodes (1060971 simplex iterations) in 117.55 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:29:27 2012 Optimize a model with 6667 rows, 1298 columns and 20296 nonzeros Presolve time: 0.02s Presolved: 6667 rows, 1298 columns, 20296 nonzeros Variable types: 0 continuous, 1298 integer (1298 binary) Root relaxation: objective 0.000000e+00, 132 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 66 - 0.00000 - - 0s 0 0 0.00000 0 42 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 263 - 0.00000 - - 3s 0 0 0.00000 0 270 - 0.00000 - - 5s 0 0 0.00000 0 289 - 0.00000 - - 6s 0 0 0.00000 0 293 - 0.00000 - - 7s 0 0 0.00000 0 293 - 0.00000 - - 8s 0 2 0.00000 0 293 - 0.00000 - - 9s 5 5 0.00000 4 251 - 0.00000 - 884 10s Cutting planes: Clique: 134 Zero half: 2 Explored 25 nodes (47356 simplex iterations) in 10.84 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: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:29:38 2012 Optimize a model with 7493 rows, 1357 columns and 22833 nonzeros Presolve time: 0.02s Presolved: 7493 rows, 1357 columns, 22833 nonzeros Variable types: 0 continuous, 1357 integer (1357 binary) Root relaxation: objective 0.000000e+00, 127 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 62 - 0.00000 - - 0s 0 0 0.00000 0 38 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 1s 0 0 0.00000 0 261 - 0.00000 - - 1s 0 0 0.00000 0 191 - 0.00000 - - 2s 0 0 0.00000 0 257 - 0.00000 - - 4s 0 0 0.00000 0 241 - 0.00000 - - 5s 0 0 0.00000 0 250 - 0.00000 - - 6s 0 0 0.00000 0 234 - 0.00000 - - 7s 0 0 0.00000 0 174 - 0.00000 - - 8s 0 0 0.00000 0 219 - 0.00000 - - 9s 0 0 0.00000 0 273 - 0.00000 - - 11s 0 0 0.00000 0 271 - 0.00000 - - 12s 0 2 0.00000 0 257 - 0.00000 - - 13s 49 13 infeasible 18 - 0.00000 - 259 15s 321 21 infeasible 16 - 0.00000 - 177 20s 570 34 infeasible 20 - 0.00000 - 175 25s 826 10 infeasible 15 - 0.00000 - 175 30s 1068 4 0.00000 7 211 - 0.00000 - 177 35s 1333 5 infeasible 16 - 0.00000 - 176 40s 1585 9 0.00000 13 189 - 0.00000 - 176 45s Cutting planes: Clique: 389 Zero half: 2 Explored 1795 nodes (375487 simplex iterations) in 49.91 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10