current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:35:36 2012 Optimize a model with 69700 rows, 10271 columns and 217940 nonzeros Presolve time: 0.21s Presolved: 69700 rows, 10271 columns, 217940 nonzeros Variable types: 0 continuous, 10271 integer (10271 binary) Root relaxation: objective 0.000000e+00, 321 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 (707 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:35:38 2012 Optimize a model with 34918 rows, 5647 columns and 108970 nonzeros Presolve time: 0.15s Presolved: 34918 rows, 5647 columns, 108970 nonzeros Variable types: 0 continuous, 5647 integer (5647 binary) Root relaxation: objective 0.000000e+00, 330 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 (717 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:35:38 2012 Optimize a model with 17527 rows, 3335 columns and 54485 nonzeros Presolve time: 0.06s Presolved: 17527 rows, 3335 columns, 54485 nonzeros Variable types: 0 continuous, 3335 integer (3335 binary) Root relaxation: objective 0.000000e+00, 398 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 (817 simplex iterations) in 0.11 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 07:35:39 2012 Optimize a model with 8320 rows, 2111 columns and 25640 nonzeros Presolve time: 0.02s Presolved: 8320 rows, 2111 columns, 25640 nonzeros Variable types: 0 continuous, 2111 integer (2111 binary) Root relaxation: objective 0.000000e+00, 289 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 (1444 simplex iterations) in 0.09 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 07:35:39 2012 Optimize a model with 4228 rows, 1567 columns and 12820 nonzeros Presolve time: 0.01s Presolved: 4228 rows, 1567 columns, 12820 nonzeros Variable types: 0 continuous, 1567 integer (1567 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 272 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 447 - 0.00000 - - 1s 0 0 0.00000 0 451 - 0.00000 - - 1s 0 0 0.00000 0 453 - 0.00000 - - 2s 0 0 0.00000 0 443 - 0.00000 - - 3s 0 0 0.00000 0 452 - 0.00000 - - 4s 0 0 0.00000 0 444 - 0.00000 - - 6s 0 0 0.00000 0 446 - 0.00000 - - 7s 0 0 0.00000 0 450 - 0.00000 - - 8s 0 0 0.00000 0 450 - 0.00000 - - 8s 0 2 0.00000 0 450 - 0.00000 - - 9s 8 2 0.00000 2 429 - 0.00000 - 668 10s Cutting planes: Clique: 20 Zero half: 15 Explored 13 nodes (47083 simplex iterations) in 10.29 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 07:35:49 2012 Optimize a model with 6274 rows, 1839 columns and 19230 nonzeros Presolve time: 0.02s Presolved: 6274 rows, 1839 columns, 19230 nonzeros Variable types: 0 continuous, 1839 integer (1839 binary) Root relaxation: objective 0.000000e+00, 287 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 150 - 0.00000 - - 0s 0 0 0.00000 0 164 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s H 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 1 Explored 0 nodes (32660 simplex iterations) in 5.19 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 07:35:54 2012 Optimize a model with 5251 rows, 1703 columns and 16025 nonzeros Presolve time: 0.01s Presolved: 5251 rows, 1703 columns, 16025 nonzeros Variable types: 0 continuous, 1703 integer (1703 binary) Root relaxation: objective 0.000000e+00, 285 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 198 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 259 - 0.00000 - - 4s 0 0 0.00000 0 335 - 0.00000 - - 5s 0 0 0.00000 0 300 - 0.00000 - - 7s 0 0 0.00000 0 334 - 0.00000 - - 8s 0 0 0.00000 0 345 - 0.00000 - - 9s 0 0 0.00000 0 345 - 0.00000 - - 9s 0 2 0.00000 0 345 - 0.00000 - - 10s 235 43 0.00000 23 320 - 0.00000 - 172 15s 553 51 infeasible 19 - 0.00000 - 162 20s 805 37 0.00000 17 315 - 0.00000 - 171 25s 1010 41 0.00000 28 368 - 0.00000 - 170 31s 1012 43 0.00000 17 344 - 0.00000 - 169 35s 1014 44 0.00000 5 362 - 0.00000 - 169 40s 1018 47 0.00000 5 364 - 0.00000 - 168 45s 1086 52 0.00000 24 349 - 0.00000 - 218 50s 1176 31 0.00000 15 373 - 0.00000 - 235 55s 1277 50 infeasible 23 - 0.00000 - 248 60s 1380 51 0.00000 22 340 - 0.00000 - 260 65s 1474 47 infeasible 23 - 0.00000 - 271 70s 1573 52 0.00000 22 347 - 0.00000 - 280 75s 1680 61 0.00000 25 333 - 0.00000 - 287 80s 1781 62 infeasible 26 - 0.00000 - 295 85s 1881 60 infeasible 24 - 0.00000 - 301 90s 1981 56 infeasible 26 - 0.00000 - 307 95s 2074 49 infeasible 24 - 0.00000 - 313 100s 2194 69 0.00000 28 318 - 0.00000 - 315 105s 2301 68 infeasible 27 - 0.00000 - 319 110s 2396 65 0.00000 23 323 - 0.00000 - 323 115s 2493 70 infeasible 26 - 0.00000 - 327 120s 2606 73 0.00000 25 340 - 0.00000 - 329 125s 2707 66 infeasible 28 - 0.00000 - 332 130s 2808 69 infeasible 30 - 0.00000 - 335 135s 2911 70 infeasible 25 - 0.00000 - 337 140s 3008 61 0.00000 18 359 - 0.00000 - 340 145s 3124 73 infeasible 23 - 0.00000 - 340 150s 3222 67 infeasible 25 - 0.00000 - 343 155s 3321 62 0.00000 20 326 - 0.00000 - 345 160s 3423 62 0.00000 24 334 - 0.00000 - 347 165s 3521 56 0.00000 24 334 - 0.00000 - 349 170s 3619 64 infeasible 24 - 0.00000 - 351 175s 3723 68 infeasible 24 - 0.00000 - 353 180s 3833 68 infeasible 25 - 0.00000 - 354 185s 3945 66 infeasible 28 - 0.00000 - 355 190s 4043 60 infeasible 24 - 0.00000 - 356 195s 4150 73 infeasible 24 - 0.00000 - 357 200s 4251 66 infeasible 22 - 0.00000 - 358 205s 4359 66 infeasible 25 - 0.00000 - 359 210s 4471 62 infeasible 24 - 0.00000 - 360 215s 4582 81 infeasible 26 - 0.00000 - 360 220s 4671 80 infeasible 22 - 0.00000 - 362 225s 4762 77 infeasible 22 - 0.00000 - 364 230s 4848 73 0.00000 22 346 - 0.00000 - 365 235s 4944 77 infeasible 21 - 0.00000 - 367 240s 5027 74 0.00000 26 340 - 0.00000 - 368 245s 5131 70 0.00000 21 352 - 0.00000 - 369 250s 5227 72 infeasible 24 - 0.00000 - 370 255s 5326 75 0.00000 27 339 - 0.00000 - 370 260s 5430 75 0.00000 30 339 - 0.00000 - 371 265s 5527 72 infeasible 28 - 0.00000 - 372 270s 5619 66 infeasible 25 - 0.00000 - 373 275s 5724 69 infeasible 23 - 0.00000 - 374 280s Cutting planes: Gomory: 1 Clique: 9 Zero half: 12 Explored 5734 nodes (2192649 simplex iterations) in 280.44 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