current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:41:48 2012 Optimize a model with 61880 rows, 9400 columns and 193700 nonzeros Presolve time: 0.19s Presolved: 61880 rows, 9400 columns, 193700 nonzeros Variable types: 0 continuous, 9400 integer (9400 binary) Root relaxation: objective 0.000000e+00, 308 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 (662 simplex iterations) in 0.35 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:41:50 2012 Optimize a model with 30530 rows, 5110 columns and 95360 nonzeros Presolve time: 0.14s Presolved: 30530 rows, 5110 columns, 95360 nonzeros Variable types: 0 continuous, 5110 integer (5110 binary) Root relaxation: objective 0.000000e+00, 311 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 (616 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:41:50 2012 Optimize a model with 15330 rows, 3030 columns and 47680 nonzeros Presolve time: 0.05s Presolved: 15330 rows, 3030 columns, 47680 nonzeros Variable types: 0 continuous, 3030 integer (3030 binary) Root relaxation: objective 0.000000e+00, 367 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 (893 simplex iterations) in 0.11 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:41:50 2012 Optimize a model with 7730 rows, 1990 columns and 23840 nonzeros Presolve time: 0.02s Presolved: 7730 rows, 1990 columns, 23840 nonzeros Variable types: 0 continuous, 1990 integer (1990 binary) Root relaxation: objective 0.000000e+00, 276 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 (976 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:41:51 2012 Optimize a model with 3930 rows, 1470 columns and 11920 nonzeros Presolve time: 0.01s Presolved: 3930 rows, 1470 columns, 11920 nonzeros Variable types: 0 continuous, 1470 integer (1470 binary) Root relaxation: objective 0.000000e+00, 293 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 180 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 1s 0 0 0.00000 0 438 - 0.00000 - - 2s 0 0 0.00000 0 438 - 0.00000 - - 2s 0 0 0.00000 0 436 - 0.00000 - - 4s 0 0 0.00000 0 427 - 0.00000 - - 5s 0 0 0.00000 0 427 - 0.00000 - - 6s 0 0 0.00000 0 425 - 0.00000 - - 7s 0 0 0.00000 0 424 - 0.00000 - - 8s 0 0 0.00000 0 419 - 0.00000 - - 9s 0 0 0.00000 0 413 - 0.00000 - - 10s 0 0 0.00000 0 412 - 0.00000 - - 11s 0 0 0.00000 0 423 - 0.00000 - - 12s 0 0 0.00000 0 421 - 0.00000 - - 12s 0 2 0.00000 0 421 - 0.00000 - - 14s Cutting planes: Clique: 22 Zero half: 28 Explored 9 nodes (63626 simplex iterations) in 14.43 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:42:05 2012 Optimize a model with 5830 rows, 1730 columns and 17880 nonzeros Presolve time: 0.02s Presolved: 5830 rows, 1730 columns, 17880 nonzeros Variable types: 0 continuous, 1730 integer (1730 binary) Root relaxation: objective 0.000000e+00, 284 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 254 - 0.00000 - - 0s 0 0 0.00000 0 152 - 0.00000 - - 0s 0 0 0.00000 0 187 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (15686 simplex iterations) in 1.90 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:42:07 2012 Optimize a model with 4880 rows, 1600 columns and 14900 nonzeros Presolve time: 0.01s Presolved: 4880 rows, 1600 columns, 14900 nonzeros Variable types: 0 continuous, 1600 integer (1600 binary) Root relaxation: objective 0.000000e+00, 272 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 160 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 361 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 2s 0 0 0.00000 0 239 - 0.00000 - - 3s 0 0 0.00000 0 237 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 282 - 0.00000 - - 6s 0 0 0.00000 0 314 - 0.00000 - - 7s 0 0 0.00000 0 314 - 0.00000 - - 7s 0 2 0.00000 0 314 - 0.00000 - - 8s 82 17 0.00000 15 295 - 0.00000 - 211 10s 381 25 0.00000 20 306 - 0.00000 - 187 15s 672 16 infeasible 18 - 0.00000 - 188 20s 1001 28 0.00000 15 210 - 0.00000 - 179 25s 1005 31 0.00000 2 341 - 0.00000 - 178 30s 1008 33 0.00000 8 254 - 0.00000 - 178 35s 1011 35 0.00000 8 318 - 0.00000 - 177 41s 1015 37 infeasible 10 - 0.00000 - 228 45s 1156 26 0.00000 25 300 - 0.00000 - 239 50s 1285 31 0.00000 25 333 - 0.00000 - 251 55s 1437 31 infeasible 24 - 0.00000 - 258 60s 1580 36 0.00000 28 307 - 0.00000 - 264 65s 1725 37 0.00000 25 306 - 0.00000 - 269 70s 1853 31 infeasible 26 - 0.00000 - 275 75s 1978 28 infeasible 23 - 0.00000 - 282 80s 2122 36 0.00000 24 323 - 0.00000 - 284 85s 2246 38 0.00000 23 333 - 0.00000 - 288 90s 2368 34 infeasible 29 - 0.00000 - 293 95s 2502 30 0.00000 27 319 - 0.00000 - 296 100s 2636 38 0.00000 27 320 - 0.00000 - 298 105s 2759 33 infeasible 27 - 0.00000 - 302 110s 2917 77 infeasible 26 - 0.00000 - 301 115s 3028 66 infeasible 29 - 0.00000 - 306 120s 3146 80 infeasible 27 - 0.00000 - 309 125s 3267 71 infeasible 25 - 0.00000 - 311 130s 3408 82 0.00000 19 327 - 0.00000 - 312 135s 3552 108 infeasible 31 - 0.00000 - 312 140s 3669 101 infeasible 27 - 0.00000 - 315 145s 3793 97 0.00000 32 311 - 0.00000 - 317 150s 3926 96 0.00000 31 298 - 0.00000 - 318 155s 4045 99 0.00000 22 327 - 0.00000 - 320 160s 4176 106 infeasible 28 - 0.00000 - 321 165s 4301 111 0.00000 28 315 - 0.00000 - 322 170s 4439 107 infeasible 27 - 0.00000 - 323 175s 4553 101 0.00000 22 308 - 0.00000 - 325 180s 4671 95 infeasible 27 - 0.00000 - 327 185s 4804 112 infeasible 26 - 0.00000 - 327 190s 4929 111 0.00000 22 336 - 0.00000 - 328 195s 5048 110 0.00000 27 299 - 0.00000 - 329 200s 5168 106 infeasible 23 - 0.00000 - 330 205s 5301 105 0.00000 22 220 - 0.00000 - 331 210s 5440 96 infeasible 26 - 0.00000 - 331 215s 5566 90 0.00000 19 314 - 0.00000 - 332 220s 5700 91 infeasible 23 - 0.00000 - 333 225s 5828 91 0.00000 27 320 - 0.00000 - 333 230s 5955 90 infeasible 23 - 0.00000 - 334 235s 6085 86 infeasible 26 - 0.00000 - 334 240s 6214 92 infeasible 30 - 0.00000 - 334 245s 6315 81 infeasible 29 - 0.00000 - 336 250s 6437 89 infeasible 26 - 0.00000 - 337 255s 6567 83 0.00000 21 327 - 0.00000 - 337 260s 6684 86 infeasible 22 - 0.00000 - 338 265s 6822 86 infeasible 22 - 0.00000 - 338 270s 6973 105 infeasible 26 - 0.00000 - 338 275s 7103 97 infeasible 26 - 0.00000 - 338 280s Cutting planes: Clique: 1 Zero half: 3 Explored 7104 nodes (2448216 simplex iterations) in 280.05 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: 6