current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:03 2012 Optimize a model with 61842 rows, 9966 columns and 194166 nonzeros Presolve time: 0.18s Presolved: 61842 rows, 9966 columns, 194166 nonzeros Variable types: 0 continuous, 9966 integer (9966 binary) Root relaxation: objective 0.000000e+00, 350 iterations, 0.07 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 (863 simplex iterations) in 0.38 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:04 2012 Optimize a model with 30528 rows, 5376 columns and 95634 nonzeros Presolve time: 0.14s Presolved: 30528 rows, 5376 columns, 95634 nonzeros Variable types: 0 continuous, 5376 integer (5376 binary) Root relaxation: objective 0.000000e+00, 430 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 (811 simplex iterations) in 0.21 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:05 2012 Optimize a model with 14871 rows, 3081 columns and 46368 nonzeros Presolve time: 0.05s Presolved: 14871 rows, 3081 columns, 46368 nonzeros Variable types: 0 continuous, 3081 integer (3081 binary) Root relaxation: objective 0.000000e+00, 277 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 (548 simplex iterations) in 0.08 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:05 2012 Optimize a model with 7503 rows, 2001 columns and 23184 nonzeros Presolve time: 0.02s Presolved: 7503 rows, 2001 columns, 23184 nonzeros Variable types: 0 continuous, 2001 integer (2001 binary) Root relaxation: objective 0.000000e+00, 281 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 (1043 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:05 2012 Optimize a model with 3819 rows, 1461 columns and 11592 nonzeros Presolve time: 0.01s Presolved: 3819 rows, 1461 columns, 11592 nonzeros Variable types: 0 continuous, 1461 integer (1461 binary) Root relaxation: objective 0.000000e+00, 303 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 266 - 0.00000 - - 0s 0 0 0.00000 0 162 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6698 simplex iterations) in 0.96 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:06 2012 Optimize a model with 5661 rows, 1731 columns and 17388 nonzeros Presolve time: 0.02s Presolved: 5661 rows, 1731 columns, 17388 nonzeros Variable types: 0 continuous, 1731 integer (1731 binary) Root relaxation: objective 0.000000e+00, 281 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 96 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3499 simplex iterations) in 0.32 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:01:07 2012 Optimize a model with 4740 rows, 1596 columns and 14490 nonzeros Presolve time: 0.01s Presolved: 4740 rows, 1596 columns, 14490 nonzeros Variable types: 0 continuous, 1596 integer (1596 binary) Root relaxation: objective 0.000000e+00, 282 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 230 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 283 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 279 - 0.00000 - - 4s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 2 0.00000 0 292 - 0.00000 - - 6s 439 34 0.00000 15 289 - 0.00000 - 117 10s 605 68 0.00000 23 259 - 0.00000 - 121 15s 608 70 0.00000 13 276 - 0.00000 - 121 20s 611 72 0.00000 4 248 - 0.00000 - 120 25s 619 77 0.00000 17 282 - 0.00000 - 195 30s 715 81 0.00000 29 302 - 0.00000 - 203 35s 896 81 0.00000 31 230 - 0.00000 - 219 40s 1093 110 infeasible 34 - 0.00000 - 228 45s 1279 142 0.00000 39 220 - 0.00000 - 236 50s 1459 152 infeasible 32 - 0.00000 - 241 55s 1648 161 infeasible 30 - 0.00000 - 245 60s 1832 181 0.00000 30 301 - 0.00000 - 249 65s 2005 188 infeasible 37 - 0.00000 - 255 70s 2191 192 infeasible 36 - 0.00000 - 258 75s 2385 184 0.00000 20 342 - 0.00000 - 260 80s 2563 208 0.00000 29 328 - 0.00000 - 262 85s 2758 219 infeasible 33 - 0.00000 - 265 90s 2957 216 0.00000 33 293 - 0.00000 - 266 95s 3145 204 0.00000 35 289 - 0.00000 - 269 100s 3312 193 0.00000 34 307 - 0.00000 - 272 105s 3494 189 0.00000 28 318 - 0.00000 - 274 110s 3670 193 infeasible 31 - 0.00000 - 275 115s 3855 192 0.00000 33 302 - 0.00000 - 276 120s 4022 183 0.00000 33 304 - 0.00000 - 278 125s 4231 190 infeasible 35 - 0.00000 - 277 130s 4487 184 0.00000 31 292 - 0.00000 - 276 135s 4683 192 infeasible 33 - 0.00000 - 276 140s 4874 179 0.00000 34 313 - 0.00000 - 277 145s 5092 187 0.00000 26 313 - 0.00000 - 276 150s 5260 185 infeasible 27 - 0.00000 - 278 155s 5459 188 0.00000 33 268 - 0.00000 - 279 160s 5644 175 0.00000 29 296 - 0.00000 - 280 165s 5810 165 0.00000 30 314 - 0.00000 - 281 170s 6007 164 0.00000 32 226 - 0.00000 - 281 175s 6183 160 infeasible 37 - 0.00000 - 282 180s 6368 151 infeasible 30 - 0.00000 - 283 185s 6545 148 infeasible 36 - 0.00000 - 284 190s 6717 144 0.00000 33 306 - 0.00000 - 285 195s 6891 134 infeasible 30 - 0.00000 - 285 200s 7127 138 0.00000 29 323 - 0.00000 - 284 205s 7352 133 0.00000 32 303 - 0.00000 - 284 210s 7545 124 0.00000 26 325 - 0.00000 - 284 215s 7721 122 infeasible 32 - 0.00000 - 285 220s 7885 114 0.00000 34 318 - 0.00000 - 286 225s 8061 112 0.00000 32 295 - 0.00000 - 286 230s 8256 99 infeasible 32 - 0.00000 - 286 235s 8452 93 infeasible 32 - 0.00000 - 286 240s 8658 81 infeasible 28 - 0.00000 - 286 245s 8823 84 0.00000 29 266 - 0.00000 - 287 250s 8992 71 infeasible 30 - 0.00000 - 288 255s 9177 66 0.00000 32 320 - 0.00000 - 288 260s 9358 71 infeasible 36 - 0.00000 - 288 265s 9543 64 infeasible 31 - 0.00000 - 289 270s 9762 73 infeasible 30 - 0.00000 - 288 275s 9969 90 infeasible 34 - 0.00000 - 288 280s 10172 81 0.00000 29 308 - 0.00000 - 288 285s 10405 90 0.00000 27 294 - 0.00000 - 288 290s 10583 74 infeasible 33 - 0.00000 - 288 295s Cutting planes: Clique: 4 Zero half: 5 Explored 10588 nodes (3087215 simplex iterations) in 295.11 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: 6