current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:12:16 2012 Optimize a model with 60970 rows, 9886 columns and 191486 nonzeros Presolve time: 0.18s Presolved: 60970 rows, 9886 columns, 191486 nonzeros Variable types: 0 continuous, 9886 integer (9886 binary) Root relaxation: objective 0.000000e+00, 334 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 (650 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:12:17 2012 Optimize a model with 30098 rows, 5330 columns and 94314 nonzeros Presolve time: 0.13s Presolved: 30098 rows, 5330 columns, 94314 nonzeros Variable types: 0 continuous, 5330 integer (5330 binary) Root relaxation: objective 0.000000e+00, 314 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 (600 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:12:17 2012 Optimize a model with 14662 rows, 3052 columns and 45728 nonzeros Presolve time: 0.05s Presolved: 14662 rows, 3052 columns, 45728 nonzeros Variable types: 0 continuous, 3052 integer (3052 binary) Root relaxation: objective 0.000000e+00, 274 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 (557 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 05:12:17 2012 Optimize a model with 7398 rows, 1980 columns and 22864 nonzeros Presolve time: 0.02s Presolved: 7398 rows, 1980 columns, 22864 nonzeros Variable types: 0 continuous, 1980 integer (1980 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 (1003 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 05:12:18 2012 Optimize a model with 3766 rows, 1444 columns and 11432 nonzeros Presolve time: 0.01s Presolved: 3766 rows, 1444 columns, 11432 nonzeros Variable types: 0 continuous, 1444 integer (1444 binary) Root relaxation: objective 0.000000e+00, 315 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 268 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 421 - 0.00000 - - 1s 0 0 0.00000 0 413 - 0.00000 - - 3s 0 0 0.00000 0 407 - 0.00000 - - 4s 0 0 0.00000 0 406 - 0.00000 - - 5s 0 0 0.00000 0 395 - 0.00000 - - 6s 0 0 0.00000 0 403 - 0.00000 - - 7s 0 0 0.00000 0 414 - 0.00000 - - 8s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 403 - 0.00000 - - 10s 0 2 0.00000 0 403 - 0.00000 - - 11s Cutting planes: Clique: 10 Zero half: 22 Explored 5 nodes (45448 simplex iterations) in 11.76 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:12:29 2012 Optimize a model with 5582 rows, 1712 columns and 17148 nonzeros Presolve time: 0.01s Presolved: 5582 rows, 1712 columns, 17148 nonzeros Variable types: 0 continuous, 1712 integer (1712 binary) Root relaxation: objective 0.000000e+00, 280 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 246 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 32 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (7941 simplex iterations) in 0.84 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 05:12:30 2012 Optimize a model with 4674 rows, 1578 columns and 14290 nonzeros Presolve time: 0.01s Presolved: 4674 rows, 1578 columns, 14290 nonzeros Variable types: 0 continuous, 1578 integer (1578 binary) Root relaxation: objective 0.000000e+00, 279 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 266 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 289 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 315 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 2 0.00000 0 338 - 0.00000 - - 6s 389 39 infeasible 24 - 0.00000 - 126 10s 605 75 0.00000 15 323 - 0.00000 - 119 15s 608 77 0.00000 15 275 - 0.00000 - 118 20s 612 79 0.00000 13 339 - 0.00000 - 118 25s 751 58 0.00000 29 323 - 0.00000 - 209 30s 937 28 0.00000 28 292 - 0.00000 - 224 35s 1121 34 0.00000 34 283 - 0.00000 - 235 40s 1315 22 0.00000 31 292 - 0.00000 - 244 45s 1502 41 0.00000 34 232 - 0.00000 - 251 50s 1699 42 infeasible 35 - 0.00000 - 256 55s 1889 34 infeasible 33 - 0.00000 - 259 60s 2100 37 0.00000 32 279 - 0.00000 - 259 65s 2341 34 infeasible 32 - 0.00000 - 258 70s 2562 39 infeasible 39 - 0.00000 - 258 75s 2773 38 infeasible 38 - 0.00000 - 259 80s 2970 33 infeasible 35 - 0.00000 - 260 85s 3154 43 infeasible 31 - 0.00000 - 262 90s 3341 44 infeasible 31 - 0.00000 - 264 95s 3527 58 infeasible 38 - 0.00000 - 266 100s 3698 47 0.00000 28 327 - 0.00000 - 269 105s 3917 46 infeasible 36 - 0.00000 - 269 110s 4098 49 0.00000 33 291 - 0.00000 - 271 115s 4303 56 0.00000 35 252 - 0.00000 - 271 120s 4476 43 0.00000 33 282 - 0.00000 - 274 125s 4671 36 0.00000 28 281 - 0.00000 - 274 130s 4860 33 infeasible 34 - 0.00000 - 274 135s 5039 26 infeasible 33 - 0.00000 - 275 140s 5217 18 0.00000 32 308 - 0.00000 - 276 145s 5378 19 infeasible 29 - 0.00000 - 278 150s 5578 37 0.00000 33 304 - 0.00000 - 278 155s 5764 27 infeasible 34 - 0.00000 - 278 160s 5944 51 infeasible 31 - 0.00000 - 279 165s 6113 48 infeasible 38 - 0.00000 - 279 170s 6284 51 infeasible 37 - 0.00000 - 280 175s 6460 55 0.00000 30 312 - 0.00000 - 281 180s 6625 58 0.00000 38 300 - 0.00000 - 282 185s 6790 53 0.00000 33 238 - 0.00000 - 283 190s 6966 59 0.00000 38 294 - 0.00000 - 283 195s 7166 49 0.00000 24 340 - 0.00000 - 283 200s 7319 70 infeasible 40 - 0.00000 - 284 205s 7480 79 0.00000 32 253 - 0.00000 - 285 210s 7660 75 infeasible 35 - 0.00000 - 285 215s 7821 82 infeasible 41 - 0.00000 - 286 220s 7986 77 infeasible 39 - 0.00000 - 286 225s 8153 88 infeasible 35 - 0.00000 - 287 230s 8323 82 infeasible 31 - 0.00000 - 287 235s 8474 93 infeasible 35 - 0.00000 - 288 240s 8643 86 infeasible 38 - 0.00000 - 289 245s 8812 87 0.00000 28 316 - 0.00000 - 289 250s 8966 85 0.00000 37 308 - 0.00000 - 290 255s 9119 82 infeasible 43 - 0.00000 - 291 260s 9268 65 infeasible 30 - 0.00000 - 292 265s 9428 91 infeasible 33 - 0.00000 - 292 270s 9613 105 infeasible 36 - 0.00000 - 292 275s 9796 108 infeasible 35 - 0.00000 - 292 280s Cutting planes: Clique: 3 Zero half: 9 Explored 9951 nodes (2940964 simplex iterations) in 283.91 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