current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:26 2012 Optimize a model with 67936 rows, 16258 columns and 218768 nonzeros Presolve time: 0.21s Presolved: 67936 rows, 16258 columns, 218768 nonzeros Variable types: 0 continuous, 16258 integer (16258 binary) Root relaxation: objective 0.000000e+00, 718 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 (1135 simplex iterations) in 0.38 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:27 2012 Optimize a model with 34056 rows, 8514 columns and 109384 nonzeros Presolve time: 0.15s Presolved: 34056 rows, 8514 columns, 109384 nonzeros Variable types: 0 continuous, 8514 integer (8514 binary) Root relaxation: objective 0.000000e+00, 465 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 (820 simplex iterations) in 0.21 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:28 2012 Optimize a model with 17116 rows, 4642 columns and 54692 nonzeros Presolve time: 0.07s Presolved: 17116 rows, 4642 columns, 54692 nonzeros Variable types: 0 continuous, 4642 integer (4642 binary) Root relaxation: objective 0.000000e+00, 395 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 (745 simplex iterations) in 0.10 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:28 2012 Optimize a model with 8646 rows, 2706 columns and 27346 nonzeros Presolve time: 0.03s Presolved: 8646 rows, 2706 columns, 27346 nonzeros Variable types: 0 continuous, 2706 integer (2706 binary) Root relaxation: objective 0.000000e+00, 380 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 (895 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:28 2012 Optimize a model with 4026 rows, 1650 columns and 12430 nonzeros Presolve time: 0.01s Presolved: 4026 rows, 1650 columns, 12430 nonzeros Variable types: 0 continuous, 1650 integer (1650 binary) Root relaxation: objective 0.000000e+00, 381 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 55 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3432 simplex iterations) in 0.20 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:28 2012 Optimize a model with 1716 rows, 1122 columns and 4972 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1540 rows, 946 columns, 4620 nonzeros Variable types: 0 continuous, 946 integer (946 binary) Root relaxation: objective 0.000000e+00, 185 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 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (745 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:29 2012 Optimize a model with 2486 rows, 1298 columns and 7458 nonzeros Presolve time: 0.01s Presolved: 2486 rows, 1298 columns, 7458 nonzeros Variable types: 0 continuous, 1298 integer (1298 binary) Root relaxation: objective 0.000000e+00, 413 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 350 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 487 - 0.00000 - - 0s 0 0 0.00000 0 449 - 0.00000 - - 1s 0 0 0.00000 0 480 - 0.00000 - - 2s 0 0 0.00000 0 478 - 0.00000 - - 2s 0 0 0.00000 0 479 - 0.00000 - - 3s 0 0 0.00000 0 473 - 0.00000 - - 3s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 473 - 0.00000 - - 5s 0 0 infeasible 0 - 0.10000 - - 5s Cutting planes: Gomory: 1 Zero half: 464 Explored 0 nodes (30855 simplex iterations) in 5.53 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:17:34 2012 Optimize a model with 3256 rows, 1474 columns and 9944 nonzeros Presolve time: 0.01s Presolved: 3256 rows, 1474 columns, 9944 nonzeros Variable types: 0 continuous, 1474 integer (1474 binary) Root relaxation: objective 0.000000e+00, 410 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 344 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 287 - 0.00000 - - 2s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 2 0.00000 0 284 - 0.00000 - - 3s 349 87 0.00000 17 288 - 0.00000 - 94.9 5s 609 165 0.00000 2 260 - 0.00000 - 88.5 10s 613 168 0.00000 11 271 - 0.00000 - 87.9 15s 700 166 infeasible 26 - 0.00000 - 162 20s 1232 49 infeasible 25 - 0.00000 - 163 25s 1731 48 infeasible 23 - 0.00000 - 168 30s 2304 75 0.00000 22 276 - 0.00000 - 166 35s 2874 75 infeasible 24 - 0.00000 - 166 40s 3421 72 infeasible 25 - 0.00000 - 166 45s 3939 80 infeasible 26 - 0.00000 - 166 50s 4454 75 infeasible 25 - 0.00000 - 168 55s 4988 77 infeasible 26 - 0.00000 - 168 60s 5540 133 0.00000 25 274 - 0.00000 - 167 65s 6086 111 infeasible 26 - 0.00000 - 168 70s 6621 86 0.00000 22 292 - 0.00000 - 168 75s 7172 93 infeasible 29 - 0.00000 - 168 80s 7669 108 infeasible 23 - 0.00000 - 169 85s 8170 103 0.00000 16 270 - 0.00000 - 169 90s 8725 154 infeasible 26 - 0.00000 - 169 95s 9246 139 0.00000 25 351 - 0.00000 - 170 100s 9752 147 0.00000 29 292 - 0.00000 - 170 105s 10293 130 0.00000 26 290 - 0.00000 - 170 110s 10807 124 infeasible 27 - 0.00000 - 170 115s 11377 156 infeasible 26 - 0.00000 - 170 120s 11932 163 0.00000 23 284 - 0.00000 - 170 125s 12462 159 infeasible 30 - 0.00000 - 170 130s 12986 165 0.00000 24 304 - 0.00000 - 170 135s 13469 142 0.00000 21 320 - 0.00000 - 171 140s 13934 137 infeasible 26 - 0.00000 - 171 145s 14462 141 0.00000 21 302 - 0.00000 - 171 150s 14967 112 infeasible 23 - 0.00000 - 171 155s 15451 108 0.00000 25 336 - 0.00000 - 172 160s 15949 92 infeasible 22 - 0.00000 - 172 165s 16492 101 infeasible 29 - 0.00000 - 172 170s 17040 107 0.00000 24 298 - 0.00000 - 172 175s 17598 117 infeasible 27 - 0.00000 - 171 180s 18182 113 infeasible 29 - 0.00000 - 171 185s 18832 109 infeasible 29 - 0.00000 - 170 190s 19414 131 infeasible 28 - 0.00000 - 170 195s 20004 115 infeasible 33 - 0.00000 - 170 200s 20640 103 infeasible 22 - 0.00000 - 169 205s 21197 106 infeasible 25 - 0.00000 - 169 210s 21724 87 0.00000 23 298 - 0.00000 - 169 215s 22201 82 0.00000 24 288 - 0.00000 - 170 220s 22653 60 infeasible 27 - 0.00000 - 170 225s 23122 51 0.00000 26 290 - 0.00000 - 170 230s 23580 33 infeasible 24 - 0.00000 - 171 235s 24071 22 infeasible 24 - 0.00000 - 171 240s 24541 8 infeasible 26 - 0.00000 - 171 245s 25026 15 infeasible 27 - 0.00000 - 171 250s Cutting planes: Zero half: 13 Explored 25342 nodes (4376880 simplex iterations) in 253.19 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5