current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:43 2012 Optimize a model with 110417 rows, 22391 columns and 351951 nonzeros Presolve time: 0.37s Presolved: 110417 rows, 22391 columns, 351951 nonzeros Variable types: 0 continuous, 22391 integer (22391 binary) Root relaxation: objective 0.000000e+00, 907 iterations, 0.12 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 (1415 simplex iterations) in 0.66 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:45 2012 Optimize a model with 54777 rows, 11627 columns and 174267 nonzeros Presolve time: 0.16s Presolved: 54777 rows, 11627 columns, 174267 nonzeros Variable types: 0 continuous, 11627 integer (11627 binary) Root relaxation: objective 0.000000e+00, 760 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 (1261 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:46 2012 Optimize a model with 26957 rows, 6245 columns and 85425 nonzeros Presolve time: 0.11s Presolved: 26957 rows, 6245 columns, 85425 nonzeros Variable types: 0 continuous, 6245 integer (6245 binary) Root relaxation: objective 0.000000e+00, 521 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 (982 simplex iterations) in 0.17 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:47 2012 Optimize a model with 13047 rows, 3554 columns and 41004 nonzeros Presolve time: 0.04s Presolved: 13047 rows, 3554 columns, 41004 nonzeros Variable types: 0 continuous, 3554 integer (3554 binary) Root relaxation: objective 0.000000e+00, 430 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 (808 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:47 2012 Optimize a model with 6627 rows, 2312 columns and 20502 nonzeros Presolve time: 0.02s Presolved: 6627 rows, 2312 columns, 20502 nonzeros Variable types: 0 continuous, 2312 integer (2312 binary) Root relaxation: objective 0.000000e+00, 441 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 60 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3372 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:47 2012 Optimize a model with 3417 rows, 1691 columns and 10251 nonzeros Presolve time: 0.01s Presolved: 3417 rows, 1691 columns, 10251 nonzeros Variable types: 0 continuous, 1691 integer (1691 binary) Root relaxation: objective 0.000000e+00, 458 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 412 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6445 simplex iterations) in 0.84 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:06:48 2012 Optimize a model with 4487 rows, 1898 columns and 13668 nonzeros Presolve time: 0.01s Presolved: 4487 rows, 1898 columns, 13668 nonzeros Variable types: 0 continuous, 1898 integer (1898 binary) Root relaxation: objective 0.000000e+00, 469 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 406 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 554 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 337 - 0.00000 - - 7s 0 0 0.00000 0 337 - 0.00000 - - 8s 0 2 0.00000 0 336 - 0.00000 - - 9s 8 8 0.00000 6 444 - 0.00000 - 638 10s 268 36 0.00000 8 447 - 0.00000 - 211 15s 603 63 0.00000 17 372 - 0.00000 - 168 20s 605 65 0.00000 8 326 - 0.00000 - 167 26s 608 67 0.00000 16 367 - 0.00000 - 167 32s 610 68 0.00000 17 470 - 0.00000 - 166 37s 611 69 0.00000 8 298 - 0.00000 - 166 40s 615 71 infeasible 13 - 0.00000 - 264 45s 631 82 0.00000 21 477 - 0.00000 - 264 50s 760 50 0.00000 27 374 - 0.00000 - 273 55s 910 26 0.00000 21 492 - 0.00000 - 278 60s 1068 42 0.00000 24 376 - 0.00000 - 282 65s 1248 42 infeasible 23 - 0.00000 - 282 70s 1379 47 0.00000 26 438 - 0.00000 - 288 75s 1536 46 infeasible 28 - 0.00000 - 290 80s 1727 47 infeasible 25 - 0.00000 - 290 85s 1888 54 infeasible 24 - 0.00000 - 291 90s 2052 54 infeasible 29 - 0.00000 - 291 95s 2224 56 0.00000 27 405 - 0.00000 - 292 100s 2401 59 0.00000 25 384 - 0.00000 - 293 105s 2577 55 infeasible 29 - 0.00000 - 294 110s 2734 62 infeasible 28 - 0.00000 - 295 115s 2911 49 0.00000 21 482 - 0.00000 - 295 120s 3063 33 0.00000 29 427 - 0.00000 - 297 125s 3204 28 0.00000 19 486 - 0.00000 - 300 130s 3356 28 infeasible 28 - 0.00000 - 301 135s 3530 26 0.00000 26 476 - 0.00000 - 302 140s 3688 22 infeasible 22 - 0.00000 - 302 145s 3817 17 infeasible 22 - 0.00000 - 305 150s 3967 21 infeasible 30 - 0.00000 - 306 155s 4107 3 0.00000 19 491 - 0.00000 - 307 160s Cutting planes: Zero half: 5 Explored 4151 nodes (1327354 simplex iterations) in 161.33 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:09:30 2012 Optimize a model with 5557 rows, 2105 columns and 17085 nonzeros Presolve time: 0.02s Presolved: 5557 rows, 2105 columns, 17085 nonzeros Variable types: 0 continuous, 2105 integer (2105 binary) Root relaxation: objective 0.000000e+00, 442 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 404 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 3s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Zero half: 184 Explored 0 nodes (36469 simplex iterations) in 3.83 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: 5