current bounds on the number of colors: 0 -- 165 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:00:48 2012 Optimize a model with 55515 rows, 14205 columns and 179580 nonzeros Presolve time: 0.17s Presolved: 55515 rows, 14205 columns, 179580 nonzeros Variable types: 0 continuous, 14205 integer (14205 binary) Root relaxation: objective 0.000000e+00, 606 iterations, 0.05 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 (989 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 -- 82 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:00:49 2012 Optimize a model with 27840 rows, 7440 columns and 89790 nonzeros Presolve time: 0.14s Presolved: 27840 rows, 7440 columns, 89790 nonzeros Variable types: 0 continuous, 7440 integer (7440 binary) Root relaxation: objective 0.000000e+00, 517 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 (890 simplex iterations) in 0.20 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:00:50 2012 Optimize a model with 13665 rows, 3975 columns and 43800 nonzeros Presolve time: 0.05s Presolved: 13665 rows, 3975 columns, 43800 nonzeros Variable types: 0 continuous, 3975 integer (3975 binary) Root relaxation: objective 0.000000e+00, 347 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 (667 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 20:00:50 2012 Optimize a model with 6915 rows, 2325 columns and 21900 nonzeros Presolve time: 0.02s Presolved: 6915 rows, 2325 columns, 21900 nonzeros Variable types: 0 continuous, 2325 integer (2325 binary) Root relaxation: objective 0.000000e+00, 343 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 (641 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 20:00:50 2012 Optimize a model with 3540 rows, 1500 columns and 10950 nonzeros Presolve time: 0.01s Presolved: 3540 rows, 1500 columns, 10950 nonzeros Variable types: 0 continuous, 1500 integer (1500 binary) Root relaxation: objective 0.000000e+00, 365 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 (1538 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:00:50 2012 Optimize a model with 1515 rows, 1005 columns and 4380 nonzeros Presolve removed 165 rows and 165 columns Presolve time: 0.00s Presolved: 1350 rows, 840 columns, 4050 nonzeros Variable types: 0 continuous, 840 integer (840 binary) Root relaxation: objective 0.000000e+00, 175 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 165 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (708 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 Fri Dec 14 20:00:50 2012 Optimize a model with 2190 rows, 1170 columns and 6570 nonzeros Presolve time: 0.01s Presolved: 2190 rows, 1170 columns, 6570 nonzeros Variable types: 0 continuous, 1170 integer (1170 binary) Root relaxation: objective 0.000000e+00, 370 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 324 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 417 - 0.00000 - - 0s 0 0 0.00000 0 455 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 1 Zero half: 334 Explored 0 nodes (6548 simplex iterations) in 0.74 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 20:00:51 2012 Optimize a model with 2865 rows, 1335 columns and 8760 nonzeros Presolve time: 0.01s Presolved: 2865 rows, 1335 columns, 8760 nonzeros Variable types: 0 continuous, 1335 integer (1335 binary) Root relaxation: objective 0.000000e+00, 368 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 316 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 2 0.00000 0 284 - 0.00000 - - 2s 1024 26 0.00000 22 248 - 0.00000 - 67.4 5s 1118 41 0.00000 17 347 - 0.00000 - 66.1 11s 1203 76 infeasible 30 - 0.00000 - 94.8 15s * 1872 0 30 0.0000000 0.00000 0.0% 109 19s Cutting planes: Gomory: 1 Zero half: 11 Explored 1873 nodes (229657 simplex iterations) in 19.57 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