current bounds on the number of colors: 0 -- 122 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:28:03 2012 Optimize a model with 46055 rows, 8195 columns and 145241 nonzeros Presolve time: 0.16s Presolved: 46055 rows, 8195 columns, 145241 nonzeros Variable types: 0 continuous, 8195 integer (8195 binary) Root relaxation: objective 0.000000e+00, 312 iterations, 0.05 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 (570 simplex iterations) in 0.27 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:28:04 2012 Optimize a model with 22712 rows, 4413 columns and 71430 nonzeros Presolve time: 0.10s Presolved: 22712 rows, 4413 columns, 71430 nonzeros Variable types: 0 continuous, 4413 integer (4413 binary) Root relaxation: objective 0.000000e+00, 290 iterations, 0.03 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 (599 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:28:04 2012 Optimize a model with 11417 rows, 2583 columns and 35715 nonzeros Presolve time: 0.04s Presolved: 11417 rows, 2583 columns, 35715 nonzeros Variable types: 0 continuous, 2583 integer (2583 binary) Root relaxation: objective 0.000000e+00, 244 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 (512 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:28:04 2012 Optimize a model with 5393 rows, 1607 columns and 16667 nonzeros Presolve time: 0.01s Presolved: 5393 rows, 1607 columns, 16667 nonzeros Variable types: 0 continuous, 1607 integer (1607 binary) Root relaxation: objective 0.000000e+00, 263 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 (1125 simplex iterations) in 0.05 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:28:04 2012 Optimize a model with 2381 rows, 1119 columns and 7143 nonzeros Presolve time: 0.01s Presolved: 2381 rows, 1119 columns, 7143 nonzeros Variable types: 0 continuous, 1119 integer (1119 binary) Root relaxation: objective 0.000000e+00, 265 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 236 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 3 Clique: 257 Zero half: 394 Explored 0 nodes (1836 simplex iterations) in 0.12 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:28:05 2012 Optimize a model with 3887 rows, 1363 columns and 11905 nonzeros Presolve time: 0.01s Presolved: 3887 rows, 1363 columns, 11905 nonzeros Variable types: 0 continuous, 1363 integer (1363 binary) Root relaxation: objective 0.000000e+00, 266 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 238 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 1s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 253 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 359 - 0.00000 - - 2s 0 0 0.00000 0 359 - 0.00000 - - 3s 0 2 0.00000 0 359 - 0.00000 - - 3s 121 31 0.00000 19 244 - 0.00000 - 133 5s 906 67 0.00000 19 301 - 0.00000 - 76.5 10s 909 69 0.00000 21 313 - 0.00000 - 76.2 15s 1025 81 infeasible 34 - 0.00000 - 113 20s 1374 81 0.00000 29 273 - 0.00000 - 138 25s 1708 93 infeasible 38 - 0.00000 - 154 30s 2089 112 infeasible 41 - 0.00000 - 162 35s 2482 139 0.00000 31 251 - 0.00000 - 167 40s 2849 160 infeasible 31 - 0.00000 - 171 45s 3211 148 0.00000 38 253 - 0.00000 - 175 50s 3616 177 infeasible 33 - 0.00000 - 176 55s 4012 181 infeasible 29 - 0.00000 - 179 60s 4429 202 infeasible 33 - 0.00000 - 179 65s 4802 189 infeasible 36 - 0.00000 - 181 70s 5211 202 infeasible 37 - 0.00000 - 181 75s 5635 176 0.00000 30 259 - 0.00000 - 181 80s 5977 172 infeasible 30 - 0.00000 - 182 85s 6340 175 infeasible 34 - 0.00000 - 183 90s 6663 162 infeasible 40 - 0.00000 - 185 95s 7077 170 0.00000 28 267 - 0.00000 - 185 100s 7519 164 infeasible 34 - 0.00000 - 185 105s 7926 175 infeasible 40 - 0.00000 - 185 110s 8314 161 0.00000 33 204 - 0.00000 - 186 115s 8679 176 infeasible 40 - 0.00000 - 186 120s 9072 171 0.00000 39 212 - 0.00000 - 186 125s 9434 167 0.00000 31 264 - 0.00000 - 187 130s 9837 159 0.00000 32 277 - 0.00000 - 187 135s 10209 179 infeasible 38 - 0.00000 - 187 140s 10624 186 0.00000 38 247 - 0.00000 - 186 145s 10983 181 infeasible 35 - 0.00000 - 187 150s 11385 181 0.00000 32 182 - 0.00000 - 187 155s 11830 176 infeasible 30 - 0.00000 - 186 160s 12205 165 infeasible 32 - 0.00000 - 186 165s 12593 167 infeasible 37 - 0.00000 - 187 170s 12999 171 0.00000 35 240 - 0.00000 - 187 175s 13473 169 infeasible 40 - 0.00000 - 186 180s 13957 171 infeasible 38 - 0.00000 - 185 185s 14381 162 infeasible 42 - 0.00000 - 184 190s 14721 152 infeasible 36 - 0.00000 - 185 195s 15083 146 0.00000 30 268 - 0.00000 - 185 200s 15453 136 infeasible 38 - 0.00000 - 186 205s 15833 136 0.00000 34 208 - 0.00000 - 186 210s 16199 122 infeasible 33 - 0.00000 - 186 215s 16581 118 infeasible 31 - 0.00000 - 187 220s 16941 108 0.00000 36 241 - 0.00000 - 187 225s 17326 113 infeasible 33 - 0.00000 - 187 230s 17647 92 infeasible 36 - 0.00000 - 188 235s 18045 96 0.00000 35 265 - 0.00000 - 188 240s 18396 97 infeasible 41 - 0.00000 - 188 245s 18788 91 infeasible 37 - 0.00000 - 188 250s 19237 103 0.00000 45 184 - 0.00000 - 188 255s 19686 95 0.00000 40 231 - 0.00000 - 187 260s 20109 86 infeasible 33 - 0.00000 - 187 265s 20507 96 infeasible 37 - 0.00000 - 187 270s 20886 92 infeasible 41 - 0.00000 - 187 275s 21301 103 infeasible 37 - 0.00000 - 187 280s 21680 99 infeasible 41 - 0.00000 - 187 285s 22030 89 0.00000 30 267 - 0.00000 - 188 290s 22420 109 infeasible 38 - 0.00000 - 188 295s Cutting planes: Gomory: 1 Clique: 1 Zero half: 7 Explored 22628 nodes (4267741 simplex iterations) in 297.28 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:02 2012 Optimize a model with 4640 rows, 1485 columns and 14286 nonzeros Presolve time: 0.01s Presolved: 4640 rows, 1485 columns, 14286 nonzeros Variable types: 0 continuous, 1485 integer (1485 binary) Root relaxation: objective 0.000000e+00, 259 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 244 - 0.00000 - - 0s Explored 0 nodes (783 simplex iterations) in 0.04 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 7