current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:43 2012 Optimize a model with 50481 rows, 13509 columns and 163840 nonzeros Presolve time: 0.16s Presolved: 50481 rows, 13509 columns, 163840 nonzeros Variable types: 0 continuous, 13509 integer (13509 binary) Root relaxation: objective 0.000000e+00, 542 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 (915 simplex iterations) in 0.28 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:43 2012 Optimize a model with 25321 rows, 7069 columns and 81920 nonzeros Presolve time: 0.13s Presolved: 25321 rows, 7069 columns, 81920 nonzeros Variable types: 0 continuous, 7069 integer (7069 binary) Root relaxation: objective 0.000000e+00, 481 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 (795 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:44 2012 Optimize a model with 12741 rows, 3849 columns and 40960 nonzeros Presolve time: 0.05s Presolved: 12741 rows, 3849 columns, 40960 nonzeros Variable types: 0 continuous, 3849 integer (3849 binary) Root relaxation: objective 0.000000e+00, 338 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 (611 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:44 2012 Optimize a model with 6451 rows, 2239 columns and 20480 nonzeros Presolve time: 0.02s Presolved: 6451 rows, 2239 columns, 20480 nonzeros Variable types: 0 continuous, 2239 integer (2239 binary) Root relaxation: objective 0.000000e+00, 339 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 (810 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:44 2012 Optimize a model with 3306 rows, 1434 columns and 10240 nonzeros Presolve time: 0.01s Presolved: 3306 rows, 1434 columns, 10240 nonzeros Variable types: 0 continuous, 1434 integer (1434 binary) Root relaxation: objective 0.000000e+00, 366 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 (1470 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:44 2012 Optimize a model with 1419 rows, 951 columns and 4096 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1258 rows, 790 columns, 3774 nonzeros Variable types: 0 continuous, 790 integer (790 binary) Root relaxation: objective 0.000000e+00, 171 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 161 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (693 simplex iterations) in 0.01 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 Fri Dec 14 19:24:44 2012 Optimize a model with 2048 rows, 1112 columns and 6144 nonzeros Presolve time: 0.01s Presolved: 2048 rows, 1112 columns, 6144 nonzeros Variable types: 0 continuous, 1112 integer (1112 binary) Root relaxation: objective 0.000000e+00, 394 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 325 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 433 - 0.00000 - - 3s 0 0 0.00000 0 433 - 0.00000 - - 3s 0 2 0.00000 0 433 - 0.00000 - - 3s Cutting planes: Zero half: 59 Explored 3 nodes (24932 simplex iterations) in 3.40 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:48 2012 Optimize a model with 2677 rows, 1273 columns and 8192 nonzeros Presolve time: 0.01s Presolved: 2677 rows, 1273 columns, 8192 nonzeros Variable types: 0 continuous, 1273 integer (1273 binary) Root relaxation: objective 0.000000e+00, 393 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 310 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 1s 0 0 0.00000 0 220 - 0.00000 - - 1s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 208 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 1s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 198 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 2s 0 2 0.00000 0 198 - 0.00000 - - 2s * 426 4 34 0.0000000 0.00000 0.0% 50.4 3s Cutting planes: Zero half: 20 Explored 427 nodes (49449 simplex iterations) in 3.14 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: 4