current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:06:39 2012 Optimize a model with 65533 rows, 15638 columns and 210958 nonzeros Presolve time: 0.20s Presolved: 65533 rows, 15638 columns, 210958 nonzeros Variable types: 0 continuous, 15638 integer (15638 binary) Root relaxation: objective 0.000000e+00, 691 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 (1105 simplex iterations) in 0.37 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:06:40 2012 Optimize a model with 32853 rows, 8199 columns and 105479 nonzeros Presolve time: 0.14s Presolved: 32853 rows, 8199 columns, 105479 nonzeros Variable types: 0 continuous, 8199 integer (8199 binary) Root relaxation: objective 0.000000e+00, 469 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 (866 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:06:40 2012 Optimize a model with 16133 rows, 4393 columns and 51513 nonzeros Presolve time: 0.06s Presolved: 16133 rows, 4393 columns, 51513 nonzeros Variable types: 0 continuous, 4393 integer (4393 binary) Root relaxation: objective 0.000000e+00, 383 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 (708 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:06:41 2012 Optimize a model with 7773 rows, 2490 columns and 24530 nonzeros Presolve time: 0.02s Presolved: 7773 rows, 2490 columns, 24530 nonzeros Variable types: 0 continuous, 2490 integer (2490 binary) Root relaxation: objective 0.000000e+00, 362 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 (679 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:06:41 2012 Optimize a model with 3973 rows, 1625 columns and 12265 nonzeros Presolve time: 0.01s Presolved: 3973 rows, 1625 columns, 12265 nonzeros Variable types: 0 continuous, 1625 integer (1625 binary) Root relaxation: objective 0.000000e+00, 375 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 (3333 simplex iterations) in 0.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: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:06:41 2012 Optimize a model with 1693 rows, 1106 columns and 4906 nonzeros Presolve removed 173 rows and 173 columns Presolve time: 0.00s Presolved: 1520 rows, 933 columns, 4560 nonzeros Variable types: 0 continuous, 933 integer (933 binary) Root relaxation: objective 0.000000e+00, 183 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 173 - 0.00000 - - 0s Explored 0 nodes (760 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 22:06:41 2012 Optimize a model with 2453 rows, 1279 columns and 7359 nonzeros Presolve time: 0.01s Presolved: 2453 rows, 1279 columns, 7359 nonzeros Variable types: 0 continuous, 1279 integer (1279 binary) Root relaxation: objective 0.000000e+00, 380 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 340 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4847 simplex iterations) in 0.44 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 22:06:42 2012 Optimize a model with 3213 rows, 1452 columns and 9812 nonzeros Presolve time: 0.01s Presolved: 3213 rows, 1452 columns, 9812 nonzeros Variable types: 0 continuous, 1452 integer (1452 binary) Root relaxation: objective 0.000000e+00, 405 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 324 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 413 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 413 - 0.00000 - - 3s 0 0 0.00000 0 393 - 0.00000 - - 3s 0 2 0.00000 0 393 - 0.00000 - - 4s 148 31 0.00000 17 292 - 0.00000 - 101 5s 707 79 0.00000 16 290 - 0.00000 - 103 10s 713 83 0.00000 12 376 - 0.00000 - 102 16s 716 85 0.00000 18 260 - 0.00000 - 102 20s 722 89 infeasible 10 - 0.00000 - 171 25s 1142 85 infeasible 25 - 0.00000 - 174 30s 1536 113 0.00000 24 308 - 0.00000 - 184 35s 1975 146 0.00000 26 340 - 0.00000 - 185 40s 2378 141 0.00000 26 297 - 0.00000 - 189 45s 2752 129 infeasible 25 - 0.00000 - 193 50s 3159 114 infeasible 25 - 0.00000 - 195 55s 3517 92 infeasible 23 - 0.00000 - 198 60s 3918 125 infeasible 24 - 0.00000 - 199 65s 4361 142 0.00000 23 296 - 0.00000 - 197 70s 4749 144 0.00000 25 316 - 0.00000 - 199 75s 5131 148 infeasible 24 - 0.00000 - 200 80s 5538 151 0.00000 25 272 - 0.00000 - 201 85s 6027 170 infeasible 28 - 0.00000 - 200 90s 6430 161 0.00000 23 288 - 0.00000 - 200 95s 6808 169 infeasible 28 - 0.00000 - 200 100s 7183 146 0.00000 20 372 - 0.00000 - 201 105s 7580 147 infeasible 30 - 0.00000 - 202 110s 7999 114 infeasible 25 - 0.00000 - 201 115s 8390 137 infeasible 24 - 0.00000 - 201 120s 8731 126 infeasible 27 - 0.00000 - 203 125s 9092 95 infeasible 25 - 0.00000 - 203 130s 9460 77 0.00000 23 294 - 0.00000 - 204 135s 9841 52 0.00000 24 319 - 0.00000 - 204 140s 10191 44 infeasible 25 - 0.00000 - 205 145s 10645 54 infeasible 23 - 0.00000 - 204 150s 11032 29 0.00000 22 336 - 0.00000 - 204 155s 11404 37 infeasible 27 - 0.00000 - 204 160s 11748 57 0.00000 20 358 - 0.00000 - 205 165s 12121 36 infeasible 26 - 0.00000 - 205 170s 12502 29 0.00000 18 373 - 0.00000 - 205 175s 12866 31 infeasible 22 - 0.00000 - 205 180s 13212 31 0.00000 25 264 - 0.00000 - 206 185s 13537 16 infeasible 23 - 0.00000 - 206 190s Cutting planes: Zero half: 21 Explored 13792 nodes (2874094 simplex iterations) in 193.78 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