current bounds on the number of colors: 0 -- 153 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:35 2012 Optimize a model with 44537 rows, 12212 columns and 144780 nonzeros Presolve time: 0.16s Presolved: 44537 rows, 12212 columns, 144780 nonzeros Variable types: 0 continuous, 12212 integer (12212 binary) Root relaxation: objective 0.000000e+00, 511 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 (835 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 -- 76 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:36 2012 Optimize a model with 22345 rows, 6398 columns and 72390 nonzeros Presolve time: 0.12s Presolved: 22345 rows, 6398 columns, 72390 nonzeros Variable types: 0 continuous, 6398 integer (6398 binary) Root relaxation: objective 0.000000e+00, 453 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 (815 simplex iterations) in 0.17 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 -- 38 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:36 2012 Optimize a model with 11249 rows, 3491 columns and 36195 nonzeros Presolve time: 0.04s Presolved: 11249 rows, 3491 columns, 36195 nonzeros Variable types: 0 continuous, 3491 integer (3491 binary) Root relaxation: objective 0.000000e+00, 331 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 (592 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:37 2012 Optimize a model with 5409 rows, 1961 columns and 17145 nonzeros Presolve time: 0.02s Presolved: 5409 rows, 1961 columns, 17145 nonzeros Variable types: 0 continuous, 1961 integer (1961 binary) Root relaxation: objective 0.000000e+00, 329 iterations, 0.00 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 (601 simplex iterations) in 0.03 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:37 2012 Optimize a model with 2489 rows, 1196 columns and 7620 nonzeros Presolve time: 0.01s Presolved: 2489 rows, 1196 columns, 7620 nonzeros Variable types: 0 continuous, 1196 integer (1196 binary) Root relaxation: objective 0.000000e+00, 376 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 270 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Zero half: 5 Explored 0 nodes (10938 simplex iterations) in 0.97 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:38 2012 Optimize a model with 1321 rows, 890 columns and 3810 nonzeros Presolve removed 153 rows and 153 columns Presolve time: 0.00s Presolved: 1168 rows, 737 columns, 3504 nonzeros Variable types: 0 continuous, 737 integer (737 binary) Root relaxation: objective 0.000000e+00, 157 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 153 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (644 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:51:38 2012 Optimize a model with 1905 rows, 1043 columns and 5715 nonzeros Presolve time: 0.00s Presolved: 1905 rows, 1043 columns, 5715 nonzeros Variable types: 0 continuous, 1043 integer (1043 binary) Root relaxation: objective 0.000000e+00, 353 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 304 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 413 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 2s 0 2 0.00000 0 400 - 0.00000 - - 3s Cutting planes: Zero half: 16 Explored 3 nodes (24617 simplex iterations) in 3.10 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4