current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:41:10 2012 Optimize a model with 49849 rows, 8552 columns and 156922 nonzeros Presolve time: 0.16s Presolved: 49849 rows, 8552 columns, 156922 nonzeros Variable types: 0 continuous, 8552 integer (8552 binary) Root relaxation: objective 0.000000e+00, 320 iterations, 0.06 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 (611 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:41:11 2012 Optimize a model with 24987 rows, 4677 columns and 78461 nonzeros Presolve time: 0.11s Presolved: 24987 rows, 4677 columns, 78461 nonzeros Variable types: 0 continuous, 4677 integer (4677 binary) Root relaxation: objective 0.000000e+00, 300 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 (728 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:41:12 2012 Optimize a model with 12155 rows, 2677 columns and 37965 nonzeros Presolve time: 0.04s Presolved: 12155 rows, 2677 columns, 37965 nonzeros Variable types: 0 continuous, 2677 integer (2677 binary) Root relaxation: objective 0.000000e+00, 253 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 (500 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:41:12 2012 Optimize a model with 5739 rows, 1677 columns and 17717 nonzeros Presolve time: 0.02s Presolved: 5739 rows, 1677 columns, 17717 nonzeros Variable types: 0 continuous, 1677 integer (1677 binary) Root relaxation: objective 0.000000e+00, 262 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 (1285 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:41:12 2012 Optimize a model with 2531 rows, 1177 columns and 7593 nonzeros Presolve time: 0.01s Presolved: 2531 rows, 1177 columns, 7593 nonzeros Variable types: 0 continuous, 1177 integer (1177 binary) Root relaxation: objective 0.000000e+00, 270 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 212 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3993 simplex iterations) in 0.42 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:41:12 2012 Optimize a model with 4135 rows, 1427 columns and 12655 nonzeros Presolve time: 0.01s Presolved: 4135 rows, 1427 columns, 12655 nonzeros Variable types: 0 continuous, 1427 integer (1427 binary) Root relaxation: objective 0.000000e+00, 268 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 240 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 317 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 2 0.00000 0 330 - 0.00000 - - 4s 57 41 0.00000 24 194 - 0.00000 - 211 5s 1154 50 infeasible 22 - 0.00000 - 86.6 10s 1407 54 0.00000 22 259 - 0.00000 - 86.0 15s 1412 58 0.00000 9 261 - 0.00000 - 85.7 21s 1483 89 0.00000 17 192 - 0.00000 - 114 25s 1861 215 0.00000 35 246 - 0.00000 - 128 30s 2207 279 0.00000 30 278 - 0.00000 - 138 35s 2547 317 infeasible 31 - 0.00000 - 147 40s 2888 354 0.00000 21 251 - 0.00000 - 153 45s 3239 383 infeasible 27 - 0.00000 - 159 50s 3601 401 0.00000 29 247 - 0.00000 - 163 55s 3916 418 infeasible 37 - 0.00000 - 167 60s 4339 451 0.00000 34 223 - 0.00000 - 168 65s 4675 445 0.00000 21 263 - 0.00000 - 171 70s 5020 470 infeasible 29 - 0.00000 - 173 75s 5356 512 infeasible 31 - 0.00000 - 175 80s 5682 538 0.00000 33 251 - 0.00000 - 178 85s 6040 570 infeasible 29 - 0.00000 - 179 90s 6398 592 0.00000 31 256 - 0.00000 - 180 95s 6758 582 infeasible 30 - 0.00000 - 182 100s 7112 608 0.00000 31 200 - 0.00000 - 182 105s 7437 615 infeasible 32 - 0.00000 - 184 110s 7787 625 infeasible 28 - 0.00000 - 185 115s 8148 618 infeasible 34 - 0.00000 - 186 120s 8474 652 0.00000 27 273 - 0.00000 - 187 125s 8764 696 infeasible 35 - 0.00000 - 188 130s 9084 700 0.00000 28 286 - 0.00000 - 189 135s 9409 709 0.00000 33 273 - 0.00000 - 190 140s 9714 764 0.00000 26 275 - 0.00000 - 191 145s 10021 785 infeasible 30 - 0.00000 - 193 150s 10322 804 0.00000 30 227 - 0.00000 - 194 155s 10642 814 0.00000 26 198 - 0.00000 - 194 160s 10965 817 0.00000 27 196 - 0.00000 - 195 165s 11275 803 infeasible 32 - 0.00000 - 196 170s 11633 789 infeasible 32 - 0.00000 - 196 175s 11920 788 infeasible 33 - 0.00000 - 197 180s 12247 785 0.00000 24 246 - 0.00000 - 198 185s 12587 783 0.00000 32 233 - 0.00000 - 198 190s 12973 795 0.00000 23 256 - 0.00000 - 198 195s 13316 792 infeasible 31 - 0.00000 - 198 200s 13631 791 0.00000 28 252 - 0.00000 - 199 205s 13960 810 0.00000 30 186 - 0.00000 - 199 210s 14292 804 infeasible 31 - 0.00000 - 199 215s 14638 814 0.00000 32 257 - 0.00000 - 199 220s 15065 833 infeasible 35 - 0.00000 - 199 225s 15461 847 0.00000 33 246 - 0.00000 - 198 230s 15791 865 infeasible 30 - 0.00000 - 199 235s 16123 877 infeasible 35 - 0.00000 - 199 240s 16471 907 infeasible 31 - 0.00000 - 199 245s 16792 916 0.00000 28 266 - 0.00000 - 199 250s 17116 924 infeasible 32 - 0.00000 - 200 255s 17443 929 0.00000 30 206 - 0.00000 - 200 260s 17756 928 0.00000 28 204 - 0.00000 - 200 265s 18061 919 infeasible 28 - 0.00000 - 201 270s 18415 951 infeasible 36 - 0.00000 - 201 275s 18830 928 infeasible 36 - 0.00000 - 201 280s 19218 930 0.00000 31 265 - 0.00000 - 201 285s 19623 919 infeasible 34 - 0.00000 - 200 290s 19931 943 infeasible 27 - 0.00000 - 201 295s Cutting planes: Clique: 7 Zero half: 8 Explored 20038 nodes (4044359 simplex iterations) in 296.75 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:46:09 2012 Optimize a model with 4937 rows, 1552 columns and 15186 nonzeros Presolve time: 0.01s Presolved: 4937 rows, 1552 columns, 15186 nonzeros Variable types: 0 continuous, 1552 integer (1552 binary) Root relaxation: objective 0.000000e+00, 262 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 250 - 0.00000 - - 0s Explored 0 nodes (778 simplex iterations) in 0.04 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: 7