current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:12:08 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, 691 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 (1138 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:12:09 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, 551 iterations, 0.03 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 (979 simplex iterations) in 0.24 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:12:10 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, 414 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 (742 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:12:10 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, 386 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 (702 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:12:11 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, 424 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 340 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2166 simplex iterations) in 0.10 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:12:11 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, 195 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 Explored 0 nodes (796 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:12:11 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, 434 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 280 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6158 simplex iterations) in 0.72 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:12:12 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, 415 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 352 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 325 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 250 - 0.00000 - - 3s 0 0 0.00000 0 256 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 246 - 0.00000 - - 5s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 2 0.00000 0 252 - 0.00000 - - 6s 307 43 infeasible 17 - 0.00000 - 154 10s 704 43 0.00000 12 463 - 0.00000 - 150 15s 708 46 0.00000 19 286 - 0.00000 - 149 21s 712 48 0.00000 16 308 - 0.00000 - 148 26s 717 52 infeasible 14 - 0.00000 - 225 30s 987 7 infeasible 24 - 0.00000 - 234 35s 1265 5 0.00000 20 332 - 0.00000 - 236 40s Cutting planes: Clique: 1 Zero half: 12 Explored 1299 nodes (357609 simplex iterations) in 40.68 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