current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:35:04 2012 Optimize a model with 74125 rows, 11195 columns and 232099 nonzeros Presolve time: 0.20s Presolved: 74125 rows, 11195 columns, 232099 nonzeros Variable types: 0 continuous, 11195 integer (11195 binary) Root relaxation: objective 0.000000e+00, 372 iterations, 0.08 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 (765 simplex iterations) in 0.39 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:35:05 2012 Optimize a model with 36613 rows, 6047 columns and 114415 nonzeros Presolve time: 0.16s Presolved: 36613 rows, 6047 columns, 114415 nonzeros Variable types: 0 continuous, 6047 integer (6047 binary) Root relaxation: objective 0.000000e+00, 340 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 (661 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:35:06 2012 Optimize a model with 17857 rows, 3473 columns and 55573 nonzeros Presolve time: 0.06s Presolved: 17857 rows, 3473 columns, 55573 nonzeros Variable types: 0 continuous, 3473 integer (3473 binary) Root relaxation: objective 0.000000e+00, 410 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 (1048 simplex iterations) in 0.13 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:35:06 2012 Optimize a model with 8479 rows, 2186 columns and 26152 nonzeros Presolve time: 0.02s Presolved: 8479 rows, 2186 columns, 26152 nonzeros Variable types: 0 continuous, 2186 integer (2186 binary) Root relaxation: objective 0.000000e+00, 300 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 (1051 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 12:35:06 2012 Optimize a model with 4311 rows, 1614 columns and 13076 nonzeros Presolve time: 0.01s Presolved: 4311 rows, 1614 columns, 13076 nonzeros Variable types: 0 continuous, 1614 integer (1614 binary) Root relaxation: objective 0.000000e+00, 310 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 220 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 1s 0 0 0.00000 0 459 - 0.00000 - - 1s 0 0 0.00000 0 474 - 0.00000 - - 2s 0 0 0.00000 0 466 - 0.00000 - - 3s 0 0 0.00000 0 470 - 0.00000 - - 3s 0 0 0.00000 0 458 - 0.00000 - - 4s 0 0 0.00000 0 451 - 0.00000 - - 6s 0 0 0.00000 0 444 - 0.00000 - - 8s 0 0 0.00000 0 445 - 0.00000 - - 10s 0 0 0.00000 0 441 - 0.00000 - - 11s 0 0 0.00000 0 435 - 0.00000 - - 12s 0 0 0.00000 0 431 - 0.00000 - - 13s 0 0 0.00000 0 428 - 0.00000 - - 14s 0 0 0.00000 0 440 - 0.00000 - - 15s 0 0 0.00000 0 436 - 0.00000 - - 17s 0 0 0.00000 0 430 - 0.00000 - - 18s 0 0 0.00000 0 428 - 0.00000 - - 20s 0 0 0.00000 0 427 - 0.00000 - - 21s 0 0 0.00000 0 436 - 0.00000 - - 22s 0 0 0.00000 0 434 - 0.00000 - - 23s 0 2 0.00000 0 434 - 0.00000 - - 24s Cutting planes: Clique: 6 Zero half: 25 Explored 9 nodes (88955 simplex iterations) in 24.59 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 12:35:31 2012 Optimize a model with 6395 rows, 1900 columns and 19614 nonzeros Presolve time: 0.02s Presolved: 6395 rows, 1900 columns, 19614 nonzeros Variable types: 0 continuous, 1900 integer (1900 binary) Root relaxation: objective 0.000000e+00, 294 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 276 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (14116 simplex iterations) in 2.03 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 12:35:33 2012 Optimize a model with 5353 rows, 1757 columns and 16345 nonzeros Presolve time: 0.01s Presolved: 5353 rows, 1757 columns, 16345 nonzeros Variable types: 0 continuous, 1757 integer (1757 binary) Root relaxation: objective 0.000000e+00, 291 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 204 - 0.00000 - - 0s 0 0 0.00000 0 197 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 405 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 4s 0 0 0.00000 0 385 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 5s 0 0 0.00000 0 222 - 0.00000 - - 6s 0 0 0.00000 0 236 - 0.00000 - - 7s 0 0 0.00000 0 200 - 0.00000 - - 8s 0 0 0.00000 0 240 - 0.00000 - - 9s 0 0 0.00000 0 277 - 0.00000 - - 10s 0 0 0.00000 0 276 - 0.00000 - - 10s 0 2 0.00000 0 276 - 0.00000 - - 11s 152 48 0.00000 13 357 - 0.00000 - 167 15s 489 82 0.00000 20 332 - 0.00000 - 156 20s 605 89 0.00000 9 406 - 0.00000 - 160 25s 610 92 0.00000 21 405 - 0.00000 - 159 31s 613 94 0.00000 10 392 - 0.00000 - 158 37s 614 95 0.00000 18 397 - 0.00000 - 158 40s 616 96 0.00000 10 383 - 0.00000 - 158 45s 620 99 0.00000 18 378 - 0.00000 - 157 50s 682 114 infeasible 24 - 0.00000 - 254 55s 785 77 infeasible 28 - 0.00000 - 275 60s 913 46 infeasible 29 - 0.00000 - 286 65s 1025 41 0.00000 28 325 - 0.00000 - 298 70s 1136 34 infeasible 24 - 0.00000 - 308 75s 1257 39 infeasible 29 - 0.00000 - 313 80s 1378 40 0.00000 27 338 - 0.00000 - 318 85s 1499 41 0.00000 30 300 - 0.00000 - 322 90s 1626 36 infeasible 26 - 0.00000 - 324 95s 1737 45 infeasible 26 - 0.00000 - 329 100s 1852 42 infeasible 30 - 0.00000 - 332 105s 1978 48 infeasible 30 - 0.00000 - 333 110s 2084 52 0.00000 25 340 - 0.00000 - 336 115s 2194 44 0.00000 26 338 - 0.00000 - 340 120s 2320 40 infeasible 24 - 0.00000 - 341 125s 2443 49 infeasible 24 - 0.00000 - 341 130s 2558 42 infeasible 28 - 0.00000 - 343 135s 2680 44 0.00000 23 338 - 0.00000 - 344 140s 2798 54 0.00000 20 370 - 0.00000 - 344 145s 2920 54 infeasible 23 - 0.00000 - 345 150s 3048 68 infeasible 28 - 0.00000 - 344 155s 3177 83 infeasible 32 - 0.00000 - 345 160s 3291 85 infeasible 28 - 0.00000 - 346 165s 3411 87 0.00000 31 338 - 0.00000 - 347 170s 3519 73 0.00000 27 338 - 0.00000 - 349 175s 3639 87 infeasible 30 - 0.00000 - 349 180s 3760 82 infeasible 27 - 0.00000 - 350 185s 3877 83 infeasible 28 - 0.00000 - 351 190s 3990 74 0.00000 22 366 - 0.00000 - 352 195s 4099 81 infeasible 27 - 0.00000 - 354 200s 4196 74 infeasible 25 - 0.00000 - 356 205s 4344 88 0.00000 26 345 - 0.00000 - 354 210s 4475 89 infeasible 23 - 0.00000 - 353 215s 4586 80 0.00000 26 347 - 0.00000 - 354 220s 4701 77 infeasible 22 - 0.00000 - 355 225s 4818 74 infeasible 22 - 0.00000 - 355 230s 4947 67 infeasible 23 - 0.00000 - 355 235s 5057 73 0.00000 26 326 - 0.00000 - 355 240s 5171 80 infeasible 27 - 0.00000 - 355 245s 5306 87 0.00000 21 353 - 0.00000 - 354 250s 5430 93 infeasible 30 - 0.00000 - 355 255s 5545 90 infeasible 24 - 0.00000 - 355 260s 5667 98 infeasible 28 - 0.00000 - 355 265s Cutting planes: Gomory: 2 Clique: 4 Zero half: 20 Explored 5754 nodes (2101975 simplex iterations) in 269.17 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