current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:51:19 2012 Optimize a model with 74124 rows, 11124 columns and 232028 nonzeros Presolve time: 0.21s Presolved: 74124 rows, 11124 columns, 232028 nonzeros Variable types: 0 continuous, 11124 integer (11124 binary) Root relaxation: objective 0.000000e+00, 367 iterations, 0.08 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 (750 simplex iterations) in 0.40 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:51:20 2012 Optimize a model with 36612 rows, 6012 columns and 114380 nonzeros Presolve time: 0.16s Presolved: 36612 rows, 6012 columns, 114380 nonzeros Variable types: 0 continuous, 6012 integer (6012 binary) Root relaxation: objective 0.000000e+00, 335 iterations, 0.04 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 (717 simplex iterations) in 0.25 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:51:21 2012 Optimize a model with 17856 rows, 3456 columns and 55556 nonzeros Presolve time: 0.06s Presolved: 17856 rows, 3456 columns, 55556 nonzeros Variable types: 0 continuous, 3456 integer (3456 binary) Root relaxation: objective 0.000000e+00, 405 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 (808 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:51:21 2012 Optimize a model with 8478 rows, 2178 columns and 26144 nonzeros Presolve time: 0.02s Presolved: 8478 rows, 2178 columns, 26144 nonzeros Variable types: 0 continuous, 2178 integer (2178 binary) Root relaxation: objective 0.000000e+00, 291 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 (1160 simplex iterations) in 0.07 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 11:51:21 2012 Optimize a model with 4310 rows, 1610 columns and 13072 nonzeros Presolve time: 0.01s Presolved: 4310 rows, 1610 columns, 13072 nonzeros Variable types: 0 continuous, 1610 integer (1610 binary) Root relaxation: objective 0.000000e+00, 299 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 284 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 1s 0 0 0.00000 0 464 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 0 0.00000 0 434 - 0.00000 - - 5s 0 0 0.00000 0 437 - 0.00000 - - 5s 0 0 0.00000 0 429 - 0.00000 - - 7s 0 0 0.00000 0 424 - 0.00000 - - 8s 0 0 0.00000 0 437 - 0.00000 - - 9s 0 0 0.00000 0 437 - 0.00000 - - 10s 0 2 0.00000 0 437 - 0.00000 - - 11s Cutting planes: Clique: 13 Zero half: 14 Explored 5 nodes (46545 simplex iterations) in 12.05 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 11:51:33 2012 Optimize a model with 6394 rows, 1894 columns and 19608 nonzeros Presolve time: 0.02s Presolved: 6394 rows, 1894 columns, 19608 nonzeros Variable types: 0 continuous, 1894 integer (1894 binary) Root relaxation: objective 0.000000e+00, 290 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 282 - 0.00000 - - 0s 0 0 0.00000 0 221 - 0.00000 - - 0s 0 0 0.00000 0 221 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 3s 0 0 0.00000 0 303 - 0.00000 - - 4s 0 0 0.00000 0 303 - 0.00000 - - 5s 0 2 0.00000 0 303 - 0.00000 - - 6s 603 103 0.00000 23 221 - 0.00000 - 59.2 10s 607 106 0.00000 6 162 - 0.00000 - 58.8 15s H 607 100 0.0000000 0.00000 0.0% 58.8 16s Cutting planes: Clique: 4 Zero half: 1 Explored 607 nodes (93179 simplex iterations) in 16.02 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 11:51:50 2012 Optimize a model with 5352 rows, 1752 columns and 16340 nonzeros Presolve time: 0.01s Presolved: 5352 rows, 1752 columns, 16340 nonzeros Variable types: 0 continuous, 1752 integer (1752 binary) Root relaxation: objective 0.000000e+00, 302 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 276 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 408 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 4s 0 0 0.00000 0 383 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 8s 0 0 0.00000 0 393 - 0.00000 - - 9s 0 0 0.00000 0 393 - 0.00000 - - 9s 0 2 0.00000 0 393 - 0.00000 - - 11s 235 34 0.00000 20 288 - 0.00000 - 174 15s 640 33 0.00000 18 276 - 0.00000 - 153 20s 909 33 0.00000 15 333 - 0.00000 - 162 25s 1005 46 0.00000 17 411 - 0.00000 - 160 33s 1006 46 0.00000 13 384 - 0.00000 - 160 36s 1008 48 0.00000 10 368 - 0.00000 - 159 40s 1011 50 0.00000 17 331 - 0.00000 - 159 45s 1014 52 0.00000 10 325 - 0.00000 - 158 50s 1048 68 infeasible 30 - 0.00000 - 212 55s 1150 40 0.00000 30 288 - 0.00000 - 230 60s 1260 35 0.00000 31 242 - 0.00000 - 245 65s 1379 44 infeasible 33 - 0.00000 - 256 70s 1511 44 0.00000 29 311 - 0.00000 - 264 75s 1628 39 0.00000 27 334 - 0.00000 - 272 80s 1728 37 0.00000 27 344 - 0.00000 - 281 85s 1836 37 0.00000 29 330 - 0.00000 - 288 90s 1933 36 infeasible 32 - 0.00000 - 295 95s 2036 37 infeasible 33 - 0.00000 - 302 100s 2138 39 infeasible 34 - 0.00000 - 307 105s 2240 41 infeasible 25 - 0.00000 - 312 110s 2349 48 0.00000 27 366 - 0.00000 - 316 115s 2451 48 infeasible 32 - 0.00000 - 321 120s 2562 45 infeasible 32 - 0.00000 - 324 125s 2668 39 0.00000 21 362 - 0.00000 - 327 130s 2770 55 0.00000 29 343 - 0.00000 - 330 135s 2883 60 infeasible 30 - 0.00000 - 332 140s 3005 60 infeasible 30 - 0.00000 - 333 145s 3099 56 0.00000 28 345 - 0.00000 - 336 150s 3202 59 infeasible 30 - 0.00000 - 338 155s 3302 71 0.00000 30 348 - 0.00000 - 341 160s 3412 75 0.00000 28 330 - 0.00000 - 342 165s 3512 71 0.00000 29 333 - 0.00000 - 345 170s 3610 71 0.00000 31 345 - 0.00000 - 347 175s 3717 76 0.00000 34 335 - 0.00000 - 348 180s 3826 81 0.00000 32 343 - 0.00000 - 349 185s 3924 81 0.00000 30 336 - 0.00000 - 351 190s 4014 75 0.00000 31 342 - 0.00000 - 354 195s 4118 77 infeasible 32 - 0.00000 - 355 200s 4229 82 infeasible 28 - 0.00000 - 356 205s 4337 84 infeasible 29 - 0.00000 - 357 210s 4435 82 infeasible 32 - 0.00000 - 359 215s 4533 74 infeasible 30 - 0.00000 - 361 220s 4640 81 infeasible 33 - 0.00000 - 361 225s 4754 77 0.00000 34 317 - 0.00000 - 362 230s 4857 84 infeasible 36 - 0.00000 - 363 235s 4941 86 0.00000 28 338 - 0.00000 - 365 240s 5049 80 infeasible 30 - 0.00000 - 365 245s 5152 93 0.00000 38 331 - 0.00000 - 366 250s 5252 89 infeasible 33 - 0.00000 - 367 255s 5348 95 0.00000 32 340 - 0.00000 - 368 260s 5443 98 0.00000 31 360 - 0.00000 - 370 265s Cutting planes: Gomory: 2 Clique: 2 Zero half: 14 Explored 5501 nodes (2074936 simplex iterations) in 267.70 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