current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:03 2012 Optimize a model with 101601 rows, 21114 columns and 324300 nonzeros Presolve time: 0.34s Presolved: 101601 rows, 21114 columns, 324300 nonzeros Variable types: 0 continuous, 21114 integer (21114 binary) Root relaxation: objective 0.000000e+00, 683 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 (1118 simplex iterations) in 0.55 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:04 2012 Optimize a model with 50901 rows, 11064 columns and 162150 nonzeros Presolve time: 0.17s Presolved: 50901 rows, 11064 columns, 162150 nonzeros Variable types: 0 continuous, 11064 integer (11064 binary) Root relaxation: objective 0.000000e+00, 696 iterations, 0.05 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 (1188 simplex iterations) in 0.29 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:05 2012 Optimize a model with 25551 rows, 6039 columns and 81075 nonzeros Presolve time: 0.10s Presolved: 25551 rows, 6039 columns, 81075 nonzeros Variable types: 0 continuous, 6039 integer (6039 binary) Root relaxation: objective 0.000000e+00, 446 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 (803 simplex iterations) in 0.15 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:06 2012 Optimize a model with 12369 rows, 3426 columns and 38916 nonzeros Presolve time: 0.04s Presolved: 12369 rows, 3426 columns, 38916 nonzeros Variable types: 0 continuous, 3426 integer (3426 binary) Root relaxation: objective 0.000000e+00, 435 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 (820 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:06 2012 Optimize a model with 6285 rows, 2220 columns and 19458 nonzeros Presolve time: 0.02s Presolved: 6285 rows, 2220 columns, 19458 nonzeros Variable types: 0 continuous, 2220 integer (2220 binary) Root relaxation: objective 0.000000e+00, 412 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 (1996 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:06 2012 Optimize a model with 3243 rows, 1617 columns and 9729 nonzeros Presolve time: 0.01s Presolved: 3243 rows, 1617 columns, 9729 nonzeros Variable types: 0 continuous, 1617 integer (1617 binary) Root relaxation: objective 0.000000e+00, 444 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 322 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7534 simplex iterations) in 0.97 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:26:07 2012 Optimize a model with 4257 rows, 1818 columns and 12972 nonzeros Presolve time: 0.01s Presolved: 4257 rows, 1818 columns, 12972 nonzeros Variable types: 0 continuous, 1818 integer (1818 binary) Root relaxation: objective 0.000000e+00, 450 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 382 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 500 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 379 - 0.00000 - - 5s 0 2 0.00000 0 376 - 0.00000 - - 6s 309 33 0.00000 26 366 - 0.00000 - 167 10s 605 82 0.00000 5 388 - 0.00000 - 162 16s 607 83 0.00000 26 359 - 0.00000 - 162 20s 610 85 0.00000 20 332 - 0.00000 - 161 25s 613 87 0.00000 2 315 - 0.00000 - 160 31s 615 88 0.00000 27 309 - 0.00000 - 159 36s 619 91 infeasible 16 - 0.00000 - 289 40s 797 56 infeasible 33 - 0.00000 - 287 45s 1001 37 infeasible 35 - 0.00000 - 283 50s 1227 61 infeasible 33 - 0.00000 - 277 55s 1440 52 infeasible 35 - 0.00000 - 277 60s 1616 40 infeasible 34 - 0.00000 - 279 65s 1798 48 infeasible 34 - 0.00000 - 281 70s 1990 58 infeasible 34 - 0.00000 - 281 75s 2186 56 infeasible 29 - 0.00000 - 280 80s 2431 53 infeasible 35 - 0.00000 - 277 85s 2633 99 infeasible 35 - 0.00000 - 276 90s 2831 119 0.00000 31 379 - 0.00000 - 277 95s 3037 139 infeasible 35 - 0.00000 - 277 100s 3223 139 infeasible 33 - 0.00000 - 278 105s 3442 138 0.00000 35 354 - 0.00000 - 277 110s 3632 126 infeasible 34 - 0.00000 - 277 115s 3844 124 0.00000 28 368 - 0.00000 - 277 120s 4038 120 0.00000 32 411 - 0.00000 - 277 125s 4215 123 0.00000 32 362 - 0.00000 - 279 130s 4405 99 infeasible 35 - 0.00000 - 279 135s 4596 92 infeasible 33 - 0.00000 - 279 140s 4802 96 infeasible 32 - 0.00000 - 279 145s 4985 89 0.00000 21 467 - 0.00000 - 280 150s 5185 105 0.00000 33 364 - 0.00000 - 280 155s 5356 106 0.00000 30 455 - 0.00000 - 281 160s 5581 107 infeasible 30 - 0.00000 - 280 165s 5784 98 infeasible 32 - 0.00000 - 280 170s 5979 79 infeasible 31 - 0.00000 - 280 175s 6168 82 infeasible 34 - 0.00000 - 281 180s 6359 75 0.00000 32 467 - 0.00000 - 281 185s 6572 86 0.00000 34 360 - 0.00000 - 280 190s 6818 82 0.00000 36 342 - 0.00000 - 279 195s 7007 81 infeasible 33 - 0.00000 - 279 200s 7224 86 0.00000 28 365 - 0.00000 - 278 205s 7442 82 0.00000 25 436 - 0.00000 - 277 210s 7644 92 0.00000 33 370 - 0.00000 - 277 215s 7865 89 infeasible 33 - 0.00000 - 277 220s 8038 90 infeasible 36 - 0.00000 - 278 225s 8221 105 infeasible 41 - 0.00000 - 278 230s 8414 96 infeasible 36 - 0.00000 - 278 235s 8606 94 infeasible 29 - 0.00000 - 279 240s 8776 88 infeasible 32 - 0.00000 - 279 245s 8960 86 infeasible 29 - 0.00000 - 280 250s 9135 73 infeasible 29 - 0.00000 - 280 255s 9358 78 infeasible 30 - 0.00000 - 280 260s 9565 83 0.00000 29 445 - 0.00000 - 279 265s 9757 91 0.00000 32 412 - 0.00000 - 279 270s 9947 85 infeasible 34 - 0.00000 - 280 275s 10144 98 infeasible 30 - 0.00000 - 279 280s 10318 90 infeasible 32 - 0.00000 - 280 285s 10511 103 infeasible 35 - 0.00000 - 280 290s Cutting planes: Gomory: 1 Zero half: 15 Explored 10623 nodes (3012321 simplex iterations) in 293.15 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:31:01 2012 Optimize a model with 5271 rows, 2019 columns and 16215 nonzeros Presolve time: 0.02s Presolved: 5271 rows, 2019 columns, 16215 nonzeros Variable types: 0 continuous, 2019 integer (2019 binary) Root relaxation: objective 0.000000e+00, 431 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 402 - 0.00000 - - 0s Explored 0 nodes (577 simplex iterations) in 0.03 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