current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:14:26 2012 Optimize a model with 87970 rows, 18974 columns and 281390 nonzeros Presolve time: 0.28s Presolved: 87970 rows, 18974 columns, 281390 nonzeros Variable types: 0 continuous, 18974 integer (18974 binary) Root relaxation: objective 0.000000e+00, 727 iterations, 0.08 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 (1161 simplex iterations) in 0.49 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:14:27 2012 Optimize a model with 43618 rows, 9854 columns and 139214 nonzeros Presolve time: 0.15s Presolved: 43618 rows, 9854 columns, 139214 nonzeros Variable types: 0 continuous, 9854 integer (9854 binary) Root relaxation: objective 0.000000e+00, 524 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 (943 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:14:28 2012 Optimize a model with 21442 rows, 5294 columns and 68126 nonzeros Presolve time: 0.09s Presolved: 21442 rows, 5294 columns, 68126 nonzeros Variable types: 0 continuous, 5294 integer (5294 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 (800 simplex iterations) in 0.13 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:14:29 2012 Optimize a model with 10354 rows, 3014 columns and 32582 nonzeros Presolve time: 0.03s Presolved: 10354 rows, 3014 columns, 32582 nonzeros Variable types: 0 continuous, 3014 integer (3014 binary) Root relaxation: objective 0.000000e+00, 398 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 (760 simplex iterations) in 0.06 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 05:14:29 2012 Optimize a model with 4810 rows, 1874 columns and 14810 nonzeros Presolve time: 0.01s Presolved: 4810 rows, 1874 columns, 14810 nonzeros Variable types: 0 continuous, 1874 integer (1874 binary) Root relaxation: objective 0.000000e+00, 425 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 158 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Clique: 13 Zero half: 74 Explored 0 nodes (3883 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:14:29 2012 Optimize a model with 2038 rows, 1304 columns and 5924 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.01s Presolved: 1848 rows, 1114 columns, 5544 nonzeros Variable types: 0 continuous, 1114 integer (1114 binary) Root relaxation: objective 0.000000e+00, 202 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 190 - 0.00000 - - 0s Explored 0 nodes (826 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 05:14:29 2012 Optimize a model with 2962 rows, 1494 columns and 8886 nonzeros Presolve time: 0.01s Presolved: 2962 rows, 1494 columns, 8886 nonzeros Variable types: 0 continuous, 1494 integer (1494 binary) Root relaxation: objective 0.000000e+00, 445 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 288 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9156 simplex iterations) in 1.09 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 05:14:30 2012 Optimize a model with 3886 rows, 1684 columns and 11848 nonzeros Presolve time: 0.01s Presolved: 3886 rows, 1684 columns, 11848 nonzeros Variable types: 0 continuous, 1684 integer (1684 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.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 4s 0 0 0.00000 0 326 - 0.00000 - - 4s 0 2 0.00000 0 326 - 0.00000 - - 5s 545 55 0.00000 17 336 - 0.00000 - 136 10s 607 66 0.00000 12 322 - 0.00000 - 130 16s 610 68 0.00000 14 304 - 0.00000 - 130 20s 686 81 0.00000 19 328 - 0.00000 - 200 25s 990 59 0.00000 23 350 - 0.00000 - 205 30s 1274 19 0.00000 21 427 - 0.00000 - 212 35s 1501 24 infeasible 17 - 0.00000 - 220 40s 1744 19 0.00000 26 334 - 0.00000 - 223 45s 1961 12 0.00000 24 407 - 0.00000 - 229 50s 2203 26 infeasible 28 - 0.00000 - 232 55s 2422 27 infeasible 28 - 0.00000 - 236 60s 2674 25 infeasible 29 - 0.00000 - 237 65s 2912 27 0.00000 28 336 - 0.00000 - 239 70s 3161 18 infeasible 24 - 0.00000 - 241 75s 3341 16 infeasible 28 - 0.00000 - 245 80s 3532 7 infeasible 26 - 0.00000 - 249 85s 3748 9 infeasible 24 - 0.00000 - 250 90s 3994 13 0.00000 22 430 - 0.00000 - 251 95s 4205 14 infeasible 22 - 0.00000 - 252 100s 4434 11 infeasible 23 - 0.00000 - 252 105s 4661 8 infeasible 20 - 0.00000 - 253 110s 4897 4 0.00000 19 380 - 0.00000 - 253 115s Cutting planes: Zero half: 23 Explored 5096 nodes (1329003 simplex iterations) in 119.46 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