current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:23:14 2012 Optimize a model with 116550 rows, 23158 columns and 371070 nonzeros Presolve time: 0.39s Presolved: 116550 rows, 23158 columns, 371070 nonzeros Variable types: 0 continuous, 23158 integer (23158 binary) Root relaxation: objective 0.000000e+00, 566 iterations, 0.15 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 (1017 simplex iterations) in 0.71 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:23:16 2012 Optimize a model with 57826 rows, 12028 columns and 183768 nonzeros Presolve time: 0.18s Presolved: 57826 rows, 12028 columns, 183768 nonzeros Variable types: 0 continuous, 12028 integer (12028 binary) Root relaxation: objective 0.000000e+00, 697 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 (1188 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:23:17 2012 Optimize a model with 29018 rows, 6568 columns and 91884 nonzeros Presolve time: 0.12s Presolved: 29018 rows, 6568 columns, 91884 nonzeros Variable types: 0 continuous, 6568 integer (6568 binary) Root relaxation: objective 0.000000e+00, 498 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 (906 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:23:18 2012 Optimize a model with 14614 rows, 3838 columns and 45942 nonzeros Presolve time: 0.05s Presolved: 14614 rows, 3838 columns, 45942 nonzeros Variable types: 0 continuous, 3838 integer (3838 binary) Root relaxation: objective 0.000000e+00, 447 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 (838 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:23:18 2012 Optimize a model with 6858 rows, 2368 columns and 21204 nonzeros Presolve time: 0.02s Presolved: 6858 rows, 2368 columns, 21204 nonzeros Variable types: 0 continuous, 2368 integer (2368 binary) Root relaxation: objective 0.000000e+00, 443 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 13 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2773 simplex iterations) in 0.15 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 13:23:18 2012 Optimize a model with 3534 rows, 1738 columns and 10602 nonzeros Presolve time: 0.01s Presolved: 3534 rows, 1738 columns, 10602 nonzeros Variable types: 0 continuous, 1738 integer (1738 binary) Root relaxation: objective 0.000000e+00, 475 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 320 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 588 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 54 Zero half: 1571 Explored 0 nodes (10854 simplex iterations) in 1.85 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 13:23:20 2012 Optimize a model with 4642 rows, 1948 columns and 14136 nonzeros Presolve time: 0.01s Presolved: 4642 rows, 1948 columns, 14136 nonzeros Variable types: 0 continuous, 1948 integer (1948 binary) Root relaxation: objective 0.000000e+00, 487 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 408 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 0 0.00000 0 386 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 2 0.00000 0 386 - 0.00000 - - 10s 259 76 0.00000 21 475 - 0.00000 - 175 15s 603 139 0.00000 12 406 - 0.00000 - 158 20s 605 141 0.00000 20 388 - 0.00000 - 158 26s 607 142 0.00000 5 393 - 0.00000 - 157 31s 609 143 0.00000 21 366 - 0.00000 - 157 36s 611 145 0.00000 12 344 - 0.00000 - 156 42s 613 146 0.00000 18 342 - 0.00000 - 156 46s 649 164 infeasible 29 - 0.00000 - 268 50s 769 138 infeasible 26 - 0.00000 - 281 55s 903 87 infeasible 26 - 0.00000 - 292 60s 1042 38 infeasible 28 - 0.00000 - 300 65s 1181 38 infeasible 26 - 0.00000 - 304 70s 1310 45 infeasible 31 - 0.00000 - 308 75s 1462 43 0.00000 35 386 - 0.00000 - 308 80s 1586 43 infeasible 34 - 0.00000 - 314 85s 1712 45 infeasible 27 - 0.00000 - 317 90s 1828 53 0.00000 24 427 - 0.00000 - 322 95s 1958 51 infeasible 28 - 0.00000 - 325 100s 2092 45 infeasible 27 - 0.00000 - 327 105s 2213 54 0.00000 26 376 - 0.00000 - 330 110s 2347 50 infeasible 26 - 0.00000 - 331 115s 2487 52 infeasible 29 - 0.00000 - 331 120s 2611 36 infeasible 29 - 0.00000 - 332 125s 2715 34 infeasible 26 - 0.00000 - 336 130s 2812 17 0.00000 22 465 - 0.00000 - 339 135s 2922 11 0.00000 22 469 - 0.00000 - 341 140s 3030 21 infeasible 25 - 0.00000 - 344 145s 3145 20 infeasible 27 - 0.00000 - 346 150s 3255 14 infeasible 23 - 0.00000 - 348 155s 3374 11 0.00000 23 404 - 0.00000 - 350 160s 3506 25 0.00000 23 474 - 0.00000 - 349 165s 3632 21 infeasible 24 - 0.00000 - 350 170s 3736 15 0.00000 24 427 - 0.00000 - 352 175s 3841 14 infeasible 25 - 0.00000 - 354 180s 3939 8 infeasible 24 - 0.00000 - 356 185s 4041 6 infeasible 25 - 0.00000 - 358 190s Cutting planes: Gomory: 1 Zero half: 27 Explored 4076 nodes (1525996 simplex iterations) in 191.81 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 13:26:32 2012 Optimize a model with 5750 rows, 2158 columns and 17670 nonzeros Presolve time: 0.02s Presolved: 5750 rows, 2158 columns, 17670 nonzeros Variable types: 0 continuous, 2158 integer (2158 binary) Root relaxation: objective 0.000000e+00, 463 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 394 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 196 Zero half: 470 Explored 0 nodes (6592 simplex iterations) in 0.73 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