current bounds on the number of colors: 0 -- 177 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:30:52 2012 Optimize a model with 69697 rows, 16366 columns and 224136 nonzeros Presolve time: 0.22s Presolved: 69697 rows, 16366 columns, 224136 nonzeros Variable types: 0 continuous, 16366 integer (16366 binary) Root relaxation: objective 0.000000e+00, 656 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 (1053 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:30:53 2012 Optimize a model with 34937 rows, 8578 columns and 112068 nonzeros Presolve time: 0.15s Presolved: 34937 rows, 8578 columns, 112068 nonzeros Variable types: 0 continuous, 8578 integer (8578 binary) Root relaxation: objective 0.000000e+00, 507 iterations, 0.03 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 (875 simplex iterations) in 0.22 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:30:54 2012 Optimize a model with 17557 rows, 4684 columns and 56034 nonzeros Presolve time: 0.07s Presolved: 17557 rows, 4684 columns, 56034 nonzeros Variable types: 0 continuous, 4684 integer (4684 binary) Root relaxation: objective 0.000000e+00, 408 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 (729 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:30:54 2012 Optimize a model with 8867 rows, 2737 columns and 28017 nonzeros Presolve time: 0.03s Presolved: 8867 rows, 2737 columns, 28017 nonzeros Variable types: 0 continuous, 2737 integer (2737 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 (711 simplex iterations) in 0.05 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:30:54 2012 Optimize a model with 4127 rows, 1675 columns and 12735 nonzeros Presolve time: 0.01s Presolved: 4127 rows, 1675 columns, 12735 nonzeros Variable types: 0 continuous, 1675 integer (1675 binary) Root relaxation: objective 0.000000e+00, 389 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 162 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2682 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:30:54 2012 Optimize a model with 1757 rows, 1144 columns and 5094 nonzeros Presolve removed 177 rows and 177 columns Presolve time: 0.00s Presolved: 1580 rows, 967 columns, 4740 nonzeros Variable types: 0 continuous, 967 integer (967 binary) Root relaxation: objective 0.000000e+00, 189 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 177 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (763 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:30:54 2012 Optimize a model with 2547 rows, 1321 columns and 7641 nonzeros Presolve time: 0.01s Presolved: 2547 rows, 1321 columns, 7641 nonzeros Variable types: 0 continuous, 1321 integer (1321 binary) Root relaxation: objective 0.000000e+00, 426 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 340 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4488 simplex iterations) in 0.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:30:55 2012 Optimize a model with 3337 rows, 1498 columns and 10188 nonzeros Presolve time: 0.01s Presolved: 3337 rows, 1498 columns, 10188 nonzeros Variable types: 0 continuous, 1498 integer (1498 binary) Root relaxation: objective 0.000000e+00, 430 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 336 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s 0 0 0.00000 0 345 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 2 0.00000 0 282 - 0.00000 - - 3s 396 60 infeasible 16 - 0.00000 - 90.9 5s 608 79 0.00000 13 250 - 0.00000 - 89.6 11s 612 81 0.00000 20 389 - 0.00000 - 89.0 16s 615 83 0.00000 7 398 - 0.00000 - 88.6 20s 989 61 infeasible 30 - 0.00000 - 172 25s 1477 61 infeasible 30 - 0.00000 - 172 30s 1906 40 infeasible 32 - 0.00000 - 178 35s 2308 48 0.00000 23 306 - 0.00000 - 183 40s 2770 90 0.00000 36 346 - 0.00000 - 182 45s 3211 87 0.00000 33 312 - 0.00000 - 183 50s 3608 76 infeasible 31 - 0.00000 - 187 55s 3996 72 infeasible 32 - 0.00000 - 189 60s 4393 75 0.00000 26 354 - 0.00000 - 191 65s 4860 74 0.00000 28 292 - 0.00000 - 189 70s 5278 88 infeasible 30 - 0.00000 - 190 75s 5663 75 0.00000 35 284 - 0.00000 - 192 80s 6062 78 infeasible 27 - 0.00000 - 192 85s 6429 65 infeasible 35 - 0.00000 - 193 90s 6801 57 infeasible 33 - 0.00000 - 194 95s 7153 37 0.00000 25 316 - 0.00000 - 196 100s 7564 34 infeasible 29 - 0.00000 - 196 105s 7935 39 0.00000 30 292 - 0.00000 - 197 110s 8296 30 infeasible 31 - 0.00000 - 198 115s 8699 33 0.00000 28 336 - 0.00000 - 198 120s 9067 51 0.00000 23 362 - 0.00000 - 198 125s 9378 60 infeasible 28 - 0.00000 - 199 130s 9816 58 0.00000 26 300 - 0.00000 - 199 135s 10177 51 infeasible 35 - 0.00000 - 199 140s 10554 54 0.00000 29 300 - 0.00000 - 199 145s 10905 57 infeasible 32 - 0.00000 - 200 150s 11278 50 infeasible 29 - 0.00000 - 200 155s 11676 50 0.00000 27 294 - 0.00000 - 200 160s 12077 69 0.00000 30 399 - 0.00000 - 200 165s 12430 56 infeasible 33 - 0.00000 - 200 170s 12773 55 0.00000 30 342 - 0.00000 - 201 175s 13160 28 infeasible 27 - 0.00000 - 201 180s 13577 47 0.00000 30 340 - 0.00000 - 201 185s 14008 38 infeasible 34 - 0.00000 - 200 190s 14359 35 infeasible 28 - 0.00000 - 201 195s 14740 28 infeasible 31 - 0.00000 - 201 200s 15103 23 infeasible 26 - 0.00000 - 201 205s 15425 21 0.00000 26 309 - 0.00000 - 202 210s 15793 31 infeasible 27 - 0.00000 - 202 215s 16140 32 infeasible 29 - 0.00000 - 202 220s 16461 33 infeasible 31 - 0.00000 - 203 225s 16802 22 0.00000 26 370 - 0.00000 - 203 230s 17152 18 infeasible 30 - 0.00000 - 204 235s 17507 9 infeasible 28 - 0.00000 - 204 240s 17836 6 0.00000 25 300 - 0.00000 - 204 245s Cutting planes: Zero half: 23 Explored 17945 nodes (3694854 simplex iterations) in 246.80 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