current bounds on the number of colors: 0 -- 167 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:16:28 2012 Optimize a model with 58267 rows, 14561 columns and 188161 nonzeros Presolve time: 0.17s Presolved: 58267 rows, 14561 columns, 188161 nonzeros Variable types: 0 continuous, 14561 integer (14561 binary) Root relaxation: objective 0.000000e+00, 629 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 (1005 simplex iterations) in 0.31 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:16:29 2012 Optimize a model with 28867 rows, 7547 columns and 92947 nonzeros Presolve time: 0.14s Presolved: 28867 rows, 7547 columns, 92947 nonzeros Variable types: 0 continuous, 7547 integer (7547 binary) Root relaxation: objective 0.000000e+00, 512 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 (855 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:16:30 2012 Optimize a model with 14167 rows, 4040 columns and 45340 nonzeros Presolve time: 0.05s Presolved: 14167 rows, 4040 columns, 45340 nonzeros Variable types: 0 continuous, 4040 integer (4040 binary) Root relaxation: objective 0.000000e+00, 341 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 (662 simplex iterations) in 0.08 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:16:30 2012 Optimize a model with 7167 rows, 2370 columns and 22670 nonzeros Presolve time: 0.02s Presolved: 7167 rows, 2370 columns, 22670 nonzeros Variable types: 0 continuous, 2370 integer (2370 binary) Root relaxation: objective 0.000000e+00, 366 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 (686 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 20:16:30 2012 Optimize a model with 3667 rows, 1535 columns and 11335 nonzeros Presolve time: 0.01s Presolved: 3667 rows, 1535 columns, 11335 nonzeros Variable types: 0 continuous, 1535 integer (1535 binary) Root relaxation: objective 0.000000e+00, 360 iterations, 0.00 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 (1370 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:16:30 2012 Optimize a model with 1567 rows, 1034 columns and 4534 nonzeros Presolve removed 167 rows and 167 columns Presolve time: 0.00s Presolved: 1400 rows, 867 columns, 4200 nonzeros Variable types: 0 continuous, 867 integer (867 binary) Root relaxation: objective 0.000000e+00, 177 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 167 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (708 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 20:16:30 2012 Optimize a model with 2267 rows, 1201 columns and 6801 nonzeros Presolve time: 0.01s Presolved: 2267 rows, 1201 columns, 6801 nonzeros Variable types: 0 continuous, 1201 integer (1201 binary) Root relaxation: objective 0.000000e+00, 373 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 330 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3815 simplex iterations) in 0.40 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 20:16:31 2012 Optimize a model with 2967 rows, 1368 columns and 9068 nonzeros Presolve time: 0.01s Presolved: 2967 rows, 1368 columns, 9068 nonzeros Variable types: 0 continuous, 1368 integer (1368 binary) Root relaxation: objective 0.000000e+00, 373 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 312 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 228 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 2s 0 0 0.00000 0 207 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 207 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 2 0.00000 0 285 - 0.00000 - - 3s 229 57 0.00000 21 285 - 0.00000 - 94.4 5s 615 80 0.00000 20 363 - 0.00000 - 82.2 10s 620 84 0.00000 18 318 - 0.00000 - 81.5 15s 970 75 infeasible 30 - 0.00000 - 149 20s 1584 121 0.00000 24 312 - 0.00000 - 152 25s 2144 105 0.00000 31 254 - 0.00000 - 157 30s 2671 106 infeasible 28 - 0.00000 - 162 35s 3316 143 0.00000 23 352 - 0.00000 - 159 40s 3903 128 infeasible 29 - 0.00000 - 160 45s 4405 157 0.00000 26 266 - 0.00000 - 163 50s 4954 156 infeasible 32 - 0.00000 - 164 55s 5499 203 infeasible 37 - 0.00000 - 165 60s 5988 194 0.00000 29 330 - 0.00000 - 167 65s * 6280 3 32 0.0000000 0.00000 0.0% 167 67s Cutting planes: Zero half: 18 Explored 6281 nodes (1087580 simplex iterations) in 67.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% optimal solution found: number of colors: 4