current bounds on the number of colors: 0 -- 160 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:21:19 2012 Optimize a model with 51440 rows, 13441 columns and 166640 nonzeros Presolve time: 0.17s Presolved: 51440 rows, 13441 columns, 166640 nonzeros Variable types: 0 continuous, 13441 integer (13441 binary) Root relaxation: objective 0.000000e+00, 557 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 (898 simplex iterations) in 0.29 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:21:20 2012 Optimize a model with 25800 rows, 7041 columns and 83320 nonzeros Presolve time: 0.13s Presolved: 25800 rows, 7041 columns, 83320 nonzeros Variable types: 0 continuous, 7041 integer (7041 binary) Root relaxation: objective 0.000000e+00, 438 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 (727 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:21:21 2012 Optimize a model with 12980 rows, 3841 columns and 41660 nonzeros Presolve time: 0.05s Presolved: 12980 rows, 3841 columns, 41660 nonzeros Variable types: 0 continuous, 3841 integer (3841 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 (610 simplex iterations) in 0.07 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:21:21 2012 Optimize a model with 6570 rows, 2241 columns and 20830 nonzeros Presolve time: 0.02s Presolved: 6570 rows, 2241 columns, 20830 nonzeros Variable types: 0 continuous, 2241 integer (2241 binary) Root relaxation: objective 0.000000e+00, 354 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 (643 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:21:21 2012 Optimize a model with 3365 rows, 1441 columns and 10415 nonzeros Presolve time: 0.01s Presolved: 3365 rows, 1441 columns, 10415 nonzeros Variable types: 0 continuous, 1441 integer (1441 binary) Root relaxation: objective 0.000000e+00, 360 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 76 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2273 simplex iterations) in 0.09 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:21:21 2012 Optimize a model with 1442 rows, 961 columns and 4166 nonzeros Presolve removed 160 rows and 160 columns Presolve time: 0.00s Presolved: 1282 rows, 801 columns, 3846 nonzeros Variable types: 0 continuous, 801 integer (801 binary) Root relaxation: objective 0.000000e+00, 170 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 160 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (669 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:21:21 2012 Optimize a model with 2083 rows, 1121 columns and 6249 nonzeros Presolve time: 0.01s Presolved: 2083 rows, 1121 columns, 6249 nonzeros Variable types: 0 continuous, 1121 integer (1121 binary) Root relaxation: objective 0.000000e+00, 367 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 314 - 0.00000 - - 0s 0 0 0.00000 0 434 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 14 Clique: 1 Zero half: 372 Explored 0 nodes (6322 simplex iterations) in 0.66 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 Fri Dec 14 19:21:22 2012 Optimize a model with 2724 rows, 1281 columns and 8332 nonzeros Presolve time: 0.01s Presolved: 2724 rows, 1281 columns, 8332 nonzeros Variable types: 0 continuous, 1281 integer (1281 binary) Root relaxation: objective 0.000000e+00, 369 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 308 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 2 0.00000 0 335 - 0.00000 - - 1s * 250 2 21 0.0000000 0.00000 0.0% 86.3 2s Cutting planes: Clique: 1 Zero half: 14 Explored 251 nodes (35798 simplex iterations) in 2.43 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