current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:42:26 2012 Optimize a model with 51969 rows, 9066 columns and 163776 nonzeros Presolve time: 0.18s Presolved: 51969 rows, 9066 columns, 163776 nonzeros Variable types: 0 continuous, 9066 integer (9066 binary) Root relaxation: objective 0.000000e+00, 302 iterations, 0.06 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 (603 simplex iterations) in 0.31 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:42:27 2012 Optimize a model with 26049 rows, 4938 columns and 81888 nonzeros Presolve time: 0.12s Presolved: 26049 rows, 4938 columns, 81888 nonzeros Variable types: 0 continuous, 4938 integer (4938 binary) Root relaxation: objective 0.000000e+00, 303 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 (590 simplex iterations) in 0.18 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:42:27 2012 Optimize a model with 13089 rows, 2874 columns and 40944 nonzeros Presolve time: 0.04s Presolved: 13089 rows, 2874 columns, 40944 nonzeros Variable types: 0 continuous, 2874 integer (2874 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (670 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 01:42:27 2012 Optimize a model with 6609 rows, 1842 columns and 20472 nonzeros Presolve time: 0.02s Presolved: 6609 rows, 1842 columns, 20472 nonzeros Variable types: 0 continuous, 1842 integer (1842 binary) Root relaxation: objective 0.000000e+00, 272 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 (868 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:42:27 2012 Optimize a model with 3369 rows, 1326 columns and 10236 nonzeros Presolve time: 0.01s Presolved: 3369 rows, 1326 columns, 10236 nonzeros Variable types: 0 continuous, 1326 integer (1326 binary) Root relaxation: objective 0.000000e+00, 282 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 256 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 403 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 5s 0 0 0.00000 0 381 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 375 - 0.00000 - - 8s 0 0 0.00000 0 373 - 0.00000 - - 8s 0 0 0.00000 0 375 - 0.00000 - - 9s 0 0 0.00000 0 375 - 0.00000 - - 10s 0 2 0.00000 0 375 - 0.00000 - - 11s Cutting planes: Clique: 9 Zero half: 22 Explored 33 nodes (44378 simplex iterations) in 12.40 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 01:42:40 2012 Optimize a model with 4989 rows, 1584 columns and 15354 nonzeros Presolve time: 0.01s Presolved: 4989 rows, 1584 columns, 15354 nonzeros Variable types: 0 continuous, 1584 integer (1584 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 114 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2374 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:42:40 2012 Optimize a model with 4179 rows, 1455 columns and 12795 nonzeros Presolve time: 0.01s Presolved: 4179 rows, 1455 columns, 12795 nonzeros Variable types: 0 continuous, 1455 integer (1455 binary) Root relaxation: objective 0.000000e+00, 288 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 182 - 0.00000 - - 0s 0 0 0.00000 0 221 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 201 - 0.00000 - - 2s 0 0 0.00000 0 201 - 0.00000 - - 3s 0 0 0.00000 0 204 - 0.00000 - - 3s 0 0 0.00000 0 185 - 0.00000 - - 4s 0 0 0.00000 0 230 - 0.00000 - - 4s 0 0 0.00000 0 226 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 2 0.00000 0 290 - 0.00000 - - 6s 803 32 0.00000 24 373 - 0.00000 - 78.8 10s 810 37 0.00000 10 324 - 0.00000 - 78.1 15s 815 40 0.00000 23 299 - 0.00000 - 77.6 20s 824 46 0.00000 17 248 - 0.00000 - 114 25s 1022 74 0.00000 29 296 - 0.00000 - 129 30s 1379 115 infeasible 42 - 0.00000 - 148 35s 1707 139 infeasible 34 - 0.00000 - 160 40s 2018 142 infeasible 34 - 0.00000 - 169 45s 2337 131 infeasible 35 - 0.00000 - 176 50s 2648 134 0.00000 31 272 - 0.00000 - 181 55s 2935 141 0.00000 29 263 - 0.00000 - 186 60s 3304 208 infeasible 42 - 0.00000 - 186 65s 3687 273 0.00000 35 235 - 0.00000 - 187 70s 4028 266 0.00000 32 226 - 0.00000 - 190 75s 4323 287 0.00000 39 257 - 0.00000 - 194 80s 4671 321 0.00000 37 232 - 0.00000 - 195 85s 5019 333 0.00000 41 237 - 0.00000 - 197 90s 5337 345 0.00000 35 212 - 0.00000 - 199 95s 5615 355 infeasible 30 - 0.00000 - 202 100s 5962 390 infeasible 35 - 0.00000 - 203 105s 6271 401 infeasible 33 - 0.00000 - 204 110s 6625 405 0.00000 38 282 - 0.00000 - 205 115s 7001 397 infeasible 41 - 0.00000 - 205 120s 7306 404 infeasible 42 - 0.00000 - 206 125s 7665 425 0.00000 32 204 - 0.00000 - 206 130s 7982 412 infeasible 38 - 0.00000 - 207 135s 8353 425 infeasible 36 - 0.00000 - 207 140s 8681 431 0.00000 35 253 - 0.00000 - 208 145s 9012 430 infeasible 35 - 0.00000 - 208 150s 9344 424 infeasible 31 - 0.00000 - 209 155s 9654 436 infeasible 40 - 0.00000 - 209 160s 9976 426 infeasible 35 - 0.00000 - 210 165s 10328 430 0.00000 32 269 - 0.00000 - 210 170s 10658 460 infeasible 39 - 0.00000 - 210 175s 10975 443 infeasible 33 - 0.00000 - 211 180s 11280 446 infeasible 40 - 0.00000 - 212 185s 11583 473 infeasible 39 - 0.00000 - 212 190s 11890 468 infeasible 31 - 0.00000 - 213 195s 12208 468 infeasible 40 - 0.00000 - 213 200s 12520 462 infeasible 33 - 0.00000 - 214 205s 12857 453 0.00000 41 265 - 0.00000 - 214 210s 13166 444 0.00000 31 276 - 0.00000 - 214 215s 13477 439 infeasible 36 - 0.00000 - 215 220s 13767 449 0.00000 32 274 - 0.00000 - 215 225s 14035 479 infeasible 39 - 0.00000 - 216 230s 14340 502 infeasible 37 - 0.00000 - 216 235s 14640 494 infeasible 35 - 0.00000 - 216 240s 14944 530 0.00000 39 216 - 0.00000 - 217 245s 15238 536 infeasible 35 - 0.00000 - 217 250s 15549 565 0.00000 40 239 - 0.00000 - 217 255s 15853 545 0.00000 37 280 - 0.00000 - 218 260s 16160 578 0.00000 42 220 - 0.00000 - 218 265s 16502 592 infeasible 35 - 0.00000 - 218 270s 16795 601 infeasible 38 - 0.00000 - 218 275s 17131 619 0.00000 40 264 - 0.00000 - 218 280s Cutting planes: Clique: 5 Zero half: 12 Explored 17381 nodes (3839114 simplex iterations) in 284.38 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