current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:51:50 2012 Optimize a model with 128088 rows, 24512 columns and 406944 nonzeros Presolve time: 0.45s Presolved: 128088 rows, 24512 columns, 406944 nonzeros Variable types: 0 continuous, 24512 integer (24512 binary) Root relaxation: objective 0.000000e+00, 574 iterations, 0.16 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 (1049 simplex iterations) in 0.79 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:51:53 2012 Optimize a model with 64152 rows, 12848 columns and 203472 nonzeros Presolve time: 0.18s Presolved: 64152 rows, 12848 columns, 203472 nonzeros Variable types: 0 continuous, 12848 integer (12848 binary) Root relaxation: objective 0.000000e+00, 752 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 (1306 simplex iterations) in 0.34 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:51:54 2012 Optimize a model with 32184 rows, 7016 columns and 101736 nonzeros Presolve time: 0.13s Presolved: 32184 rows, 7016 columns, 101736 nonzeros Variable types: 0 continuous, 7016 integer (7016 binary) Root relaxation: objective 0.000000e+00, 522 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 (977 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:51:54 2012 Optimize a model with 15608 rows, 3992 columns and 48984 nonzeros Presolve time: 0.05s Presolved: 15608 rows, 3992 columns, 48984 nonzeros Variable types: 0 continuous, 3992 integer (3992 binary) Root relaxation: objective 0.000000e+00, 448 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 (884 simplex iterations) in 0.09 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:51:54 2012 Optimize a model with 7320 rows, 2480 columns and 22608 nonzeros Presolve time: 0.02s Presolved: 7320 rows, 2480 columns, 22608 nonzeros Variable types: 0 continuous, 2480 integer (2480 binary) Root relaxation: objective 0.000000e+00, 474 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 (3352 simplex iterations) in 0.29 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 15:51:55 2012 Optimize a model with 3768 rows, 1832 columns and 11304 nonzeros Presolve time: 0.01s Presolved: 3768 rows, 1832 columns, 11304 nonzeros Variable types: 0 continuous, 1832 integer (1832 binary) Root relaxation: objective 0.000000e+00, 485 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 374 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7071 simplex iterations) in 0.95 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 15:51:56 2012 Optimize a model with 4952 rows, 2048 columns and 15072 nonzeros Presolve time: 0.01s Presolved: 4952 rows, 2048 columns, 15072 nonzeros Variable types: 0 continuous, 2048 integer (2048 binary) Root relaxation: objective 0.000000e+00, 479 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 422 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 1s 0 0 0.00000 0 560 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 412 - 0.00000 - - 8s 0 0 0.00000 0 380 - 0.00000 - - 9s 0 0 0.00000 0 376 - 0.00000 - - 10s 0 0 0.00000 0 376 - 0.00000 - - 11s 0 0 0.00000 0 378 - 0.00000 - - 12s 0 0 0.00000 0 378 - 0.00000 - - 13s 0 2 0.00000 0 378 - 0.00000 - - 14s 8 6 0.00000 5 398 - 0.00000 - 595 15s 136 68 0.00000 27 441 - 0.00000 - 305 20s 292 108 infeasible 17 - 0.00000 - 278 25s 457 137 0.00000 19 454 - 0.00000 - 261 30s 605 149 0.00000 14 431 - 0.00000 - 260 37s 607 151 0.00000 16 388 - 0.00000 - 260 43s 608 151 0.00000 12 386 - 0.00000 - 259 47s 609 152 0.00000 22 378 - 0.00000 - 259 50s 611 153 0.00000 3 374 - 0.00000 - 258 56s 613 155 0.00000 25 379 - 0.00000 - 257 62s 614 155 0.00000 12 366 - 0.00000 - 257 65s 616 157 0.00000 17 366 - 0.00000 - 256 71s 618 158 0.00000 12 368 - 0.00000 - 255 75s 623 161 0.00000 13 545 - 0.00000 - 416 80s 635 165 0.00000 19 520 - 0.00000 - 414 85s 698 149 0.00000 22 506 - 0.00000 - 417 90s 766 123 infeasible 23 - 0.00000 - 424 95s 846 98 0.00000 20 402 - 0.00000 - 427 100s 928 63 infeasible 22 - 0.00000 - 429 105s 989 65 0.00000 28 536 - 0.00000 - 430 110s 1059 42 infeasible 23 - 0.00000 - 434 115s 1131 30 0.00000 22 435 - 0.00000 - 438 120s 1195 22 infeasible 25 - 0.00000 - 440 125s 1263 14 infeasible 29 - 0.00000 - 445 130s 1332 7 0.00000 19 560 - 0.00000 - 448 135s 1403 4 infeasible 21 - 0.00000 - 451 140s Cutting planes: Gomory: 1 Zero half: 24 Explored 1416 nodes (719302 simplex iterations) in 141.19 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 15:54:17 2012 Optimize a model with 6136 rows, 2264 columns and 18840 nonzeros Presolve time: 0.02s Presolved: 6136 rows, 2264 columns, 18840 nonzeros Variable types: 0 continuous, 2264 integer (2264 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 412 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 326 - 0.00000 - - 5s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 6s 0 0 0.00000 0 306 - 0.00000 - - 6s 0 0 0.00000 0 306 - 0.00000 - - 7s 0 2 0.00000 0 306 - 0.00000 - - 8s 246 80 0.00000 51 206 - 0.00000 - 103 10s * 528 5 55 0.0000000 0.00000 0.0% 86.1 10s Cutting planes: Zero half: 42 Explored 529 nodes (99365 simplex iterations) in 10.97 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