current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:49 2012 Optimize a model with 79444 rows, 17524 columns and 254436 nonzeros Presolve time: 0.25s Presolved: 79444 rows, 17524 columns, 254436 nonzeros Variable types: 0 continuous, 17524 integer (17524 binary) Root relaxation: objective 0.000000e+00, 702 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 (1128 simplex iterations) in 0.44 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:50 2012 Optimize a model with 39378 rows, 9106 columns and 125820 nonzeros Presolve time: 0.16s Presolved: 39378 rows, 9106 columns, 125820 nonzeros Variable types: 0 continuous, 9106 integer (9106 binary) Root relaxation: objective 0.000000e+00, 625 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 (1043 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:51 2012 Optimize a model with 19345 rows, 4897 columns and 61512 nonzeros Presolve time: 0.07s Presolved: 19345 rows, 4897 columns, 61512 nonzeros Variable types: 0 continuous, 4897 integer (4897 binary) Root relaxation: objective 0.000000e+00, 404 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 (776 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:51 2012 Optimize a model with 9764 rows, 2884 columns and 30756 nonzeros Presolve time: 0.03s Presolved: 9764 rows, 2884 columns, 30756 nonzeros Variable types: 0 continuous, 2884 integer (2884 binary) Root relaxation: objective 0.000000e+00, 378 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 (697 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:51 2012 Optimize a model with 4538 rows, 1786 columns and 13980 nonzeros Presolve time: 0.01s Presolved: 4538 rows, 1786 columns, 13980 nonzeros Variable types: 0 continuous, 1786 integer (1786 binary) Root relaxation: objective 0.000000e+00, 396 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 (3071 simplex iterations) in 0.22 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:52 2012 Optimize a model with 1925 rows, 1237 columns and 5592 nonzeros Presolve removed 183 rows and 183 columns Presolve time: 0.00s Presolved: 1742 rows, 1054 columns, 5226 nonzeros Variable types: 0 continuous, 1054 integer (1054 binary) Root relaxation: objective 0.000000e+00, 191 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 183 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (767 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:52 2012 Optimize a model with 2796 rows, 1420 columns and 8388 nonzeros Presolve time: 0.01s Presolved: 2796 rows, 1420 columns, 8388 nonzeros Variable types: 0 continuous, 1420 integer (1420 binary) Root relaxation: objective 0.000000e+00, 420 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 419 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6377 simplex iterations) in 0.79 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:22:53 2012 Optimize a model with 3667 rows, 1603 columns and 11184 nonzeros Presolve time: 0.01s Presolved: 3667 rows, 1603 columns, 11184 nonzeros Variable types: 0 continuous, 1603 integer (1603 binary) Root relaxation: objective 0.000000e+00, 429 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 356 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 313 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 2 0.00000 0 314 - 0.00000 - - 5s 605 115 0.00000 11 346 - 0.00000 - 96.4 10s 610 118 0.00000 18 314 - 0.00000 - 95.6 16s 613 120 0.00000 11 292 - 0.00000 - 95.1 20s 617 123 0.00000 12 269 - 0.00000 - 94.5 26s 623 129 0.00000 14 401 - 0.00000 - 221 30s 982 26 0.00000 25 310 - 0.00000 - 213 35s 1355 11 infeasible 28 - 0.00000 - 212 40s 1761 23 infeasible 27 - 0.00000 - 207 45s 2160 22 infeasible 29 - 0.00000 - 206 50s 2567 25 infeasible 31 - 0.00000 - 205 55s 2948 20 0.00000 29 334 - 0.00000 - 206 60s 3338 22 0.00000 28 302 - 0.00000 - 204 65s 3785 27 0.00000 23 366 - 0.00000 - 202 70s 4181 35 infeasible 29 - 0.00000 - 201 75s 4595 63 0.00000 29 339 - 0.00000 - 201 80s 5021 67 infeasible 30 - 0.00000 - 200 85s 5419 59 infeasible 29 - 0.00000 - 200 90s 5873 43 0.00000 31 318 - 0.00000 - 199 95s 6303 35 infeasible 33 - 0.00000 - 199 100s 6703 37 infeasible 29 - 0.00000 - 199 105s 7120 46 infeasible 26 - 0.00000 - 198 110s 7581 45 0.00000 34 356 - 0.00000 - 197 115s 7969 37 infeasible 30 - 0.00000 - 198 120s 8326 28 infeasible 32 - 0.00000 - 199 125s 8762 46 infeasible 31 - 0.00000 - 198 130s 9190 42 0.00000 29 330 - 0.00000 - 198 135s 9583 29 infeasible 31 - 0.00000 - 198 140s 9913 23 infeasible 28 - 0.00000 - 199 145s 10256 14 infeasible 28 - 0.00000 - 200 150s 10637 11 infeasible 26 - 0.00000 - 201 155s 11048 12 0.00000 27 330 - 0.00000 - 200 160s 11464 6 0.00000 27 322 - 0.00000 - 200 165s Cutting planes: Zero half: 39 Explored 11603 nodes (2373351 simplex iterations) in 167.08 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5