current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:06:01 2012 Optimize a model with 77089 rows, 11785 columns and 241557 nonzeros Presolve time: 0.21s Presolved: 77089 rows, 11785 columns, 241557 nonzeros Variable types: 0 continuous, 11785 integer (11785 binary) Root relaxation: objective 0.000000e+00, 388 iterations, 0.09 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 (781 simplex iterations) in 0.42 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:06:03 2012 Optimize a model with 38091 rows, 6346 columns and 119124 nonzeros Presolve time: 0.15s Presolved: 38091 rows, 6346 columns, 119124 nonzeros Variable types: 0 continuous, 6346 integer (6346 binary) Root relaxation: objective 0.000000e+00, 438 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 (834 simplex iterations) in 0.24 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:06:03 2012 Optimize a model with 19119 rows, 3700 columns and 59562 nonzeros Presolve time: 0.07s Presolved: 19119 rows, 3700 columns, 59562 nonzeros Variable types: 0 continuous, 3700 integer (3700 binary) Root relaxation: objective 0.000000e+00, 414 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 (835 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:06:04 2012 Optimize a model with 9633 rows, 2377 columns and 29781 nonzeros Presolve time: 0.03s Presolved: 9633 rows, 2377 columns, 29781 nonzeros Variable types: 0 continuous, 2377 integer (2377 binary) Root relaxation: objective 0.000000e+00, 308 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 (1067 simplex iterations) in 0.07 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:06:04 2012 Optimize a model with 4363 rows, 1642 columns and 13236 nonzeros Presolve time: 0.01s Presolved: 4363 rows, 1642 columns, 13236 nonzeros Variable types: 0 continuous, 1642 integer (1642 binary) Root relaxation: objective 0.000000e+00, 326 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 292 - 0.00000 - - 0s 0 0 0.00000 0 275 - 0.00000 - - 0s 0 0 0.00000 0 451 - 0.00000 - - 2s 0 0 0.00000 0 464 - 0.00000 - - 2s 0 0 0.00000 0 466 - 0.00000 - - 3s 0 0 0.00000 0 462 - 0.00000 - - 4s 0 0 0.00000 0 469 - 0.00000 - - 5s 0 0 0.00000 0 467 - 0.00000 - - 6s 0 0 0.00000 0 472 - 0.00000 - - 7s 0 0 0.00000 0 469 - 0.00000 - - 8s 0 2 0.00000 0 469 - 0.00000 - - 9s 6 4 infeasible 5 - 0.00000 - 1115 10s Cutting planes: Clique: 13 Zero half: 14 Explored 15 nodes (48656 simplex iterations) in 10.26 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:06:14 2012 Optimize a model with 6471 rows, 1936 columns and 19854 nonzeros Presolve time: 0.02s Presolved: 6471 rows, 1936 columns, 19854 nonzeros Variable types: 0 continuous, 1936 integer (1936 binary) Root relaxation: objective 0.000000e+00, 306 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 278 - 0.00000 - - 0s 0 0 0.00000 0 225 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 3 Clique: 4 Zero half: 8 Explored 0 nodes (13199 simplex iterations) in 1.87 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 16:06:16 2012 Optimize a model with 5417 rows, 1789 columns and 16545 nonzeros Presolve time: 0.01s Presolved: 5417 rows, 1789 columns, 16545 nonzeros Variable types: 0 continuous, 1789 integer (1789 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 292 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 433 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 3s 0 0 0.00000 0 246 - 0.00000 - - 4s 0 0 0.00000 0 240 - 0.00000 - - 5s 0 0 0.00000 0 222 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 383 - 0.00000 - - 7s 0 0 0.00000 0 384 - 0.00000 - - 8s 0 0 0.00000 0 384 - 0.00000 - - 9s 0 2 0.00000 0 384 - 0.00000 - - 10s 315 51 infeasible 29 - 0.00000 - 166 15s 792 40 0.00000 23 303 - 0.00000 - 138 20s 1103 67 0.00000 26 260 - 0.00000 - 139 25s 1105 69 0.00000 28 263 - 0.00000 - 139 30s 1108 71 0.00000 23 246 - 0.00000 - 138 35s 1111 73 0.00000 8 265 - 0.00000 - 138 41s 1113 74 0.00000 28 236 - 0.00000 - 138 46s 1115 75 0.00000 13 337 - 0.00000 - 138 51s 1153 97 infeasible 29 - 0.00000 - 215 55s 1302 102 0.00000 31 340 - 0.00000 - 226 60s 1445 89 infeasible 30 - 0.00000 - 236 65s 1579 113 infeasible 25 - 0.00000 - 245 70s 1716 152 infeasible 33 - 0.00000 - 251 75s 1859 165 infeasible 30 - 0.00000 - 257 80s 1970 168 infeasible 32 - 0.00000 - 266 85s 2079 175 0.00000 29 341 - 0.00000 - 273 90s 2221 219 0.00000 26 340 - 0.00000 - 276 95s 2370 254 0.00000 24 353 - 0.00000 - 278 100s 2500 262 infeasible 30 - 0.00000 - 281 105s 2632 276 infeasible 33 - 0.00000 - 284 110s 2791 293 infeasible 37 - 0.00000 - 285 115s 2916 300 infeasible 35 - 0.00000 - 288 120s 3041 293 infeasible 32 - 0.00000 - 291 125s 3174 302 infeasible 37 - 0.00000 - 294 130s 3309 303 0.00000 27 323 - 0.00000 - 296 135s 3436 298 0.00000 32 337 - 0.00000 - 298 140s 3548 298 infeasible 30 - 0.00000 - 302 145s 3683 301 infeasible 32 - 0.00000 - 304 150s 3820 300 infeasible 30 - 0.00000 - 305 155s 3972 320 infeasible 32 - 0.00000 - 305 160s 4122 336 infeasible 34 - 0.00000 - 306 165s 4265 333 0.00000 32 341 - 0.00000 - 306 170s 4410 340 infeasible 33 - 0.00000 - 307 175s 4539 347 infeasible 27 - 0.00000 - 308 180s 4668 348 0.00000 32 320 - 0.00000 - 309 185s 4818 350 infeasible 34 - 0.00000 - 310 190s 4948 344 0.00000 26 320 - 0.00000 - 311 195s 5082 364 infeasible 34 - 0.00000 - 312 200s 5222 384 0.00000 28 344 - 0.00000 - 312 205s 5370 386 infeasible 32 - 0.00000 - 312 210s 5503 385 infeasible 34 - 0.00000 - 313 215s 5637 387 0.00000 37 331 - 0.00000 - 314 220s 5772 390 0.00000 29 347 - 0.00000 - 315 225s 5927 401 infeasible 30 - 0.00000 - 315 230s 6097 405 infeasible 34 - 0.00000 - 314 235s 6237 401 infeasible 32 - 0.00000 - 314 240s 6371 403 infeasible 31 - 0.00000 - 315 245s 6518 414 0.00000 28 343 - 0.00000 - 315 250s 6667 439 infeasible 33 - 0.00000 - 315 255s 6812 448 0.00000 31 272 - 0.00000 - 315 260s 6951 445 infeasible 32 - 0.00000 - 315 265s 7096 450 infeasible 32 - 0.00000 - 316 270s 7231 453 infeasible 32 - 0.00000 - 316 275s 7353 457 infeasible 37 - 0.00000 - 317 280s Cutting planes: Clique: 6 Zero half: 7 Explored 7444 nodes (2418860 simplex iterations) in 283.45 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