current bounds on the number of colors: 0 -- 85
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012
Optimize a model with 8569 rows, 3772 columns and 29022 nonzeros
Presolve removed 1 rows and 42 columns
Presolve time: 0.05s
Presolved: 8568 rows, 3730 columns, 28980 nonzeros
Variable types: 0 continuous, 3730 integer (3730 binary)
Root relaxation: objective 0.000000e+00, 188 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 (188 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 -- 42
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012
Optimize a model with 4327 rows, 1987 columns and 14511 nonzeros
Presolve removed 1 rows and 21 columns
Presolve time: 0.02s
Presolved: 4326 rows, 1966 columns, 14490 nonzeros
Variable types: 0 continuous, 1966 integer (1966 binary)
Root relaxation: objective 0.000000e+00, 198 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 (328 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 -- 21
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:09 2012
Optimize a model with 2105 rows, 1052 columns and 6910 nonzeros
Presolve removed 1 rows and 10 columns
Presolve time: 0.01s
Presolved: 2104 rows, 1042 columns, 6900 nonzeros
Variable types: 0 continuous, 1042 integer (1042 binary)
Root relaxation: objective 0.000000e+00, 178 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 (295 simplex iterations) in 0.01 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 18:22:09 2012
Optimize a model with 1095 rows, 627 columns and 3455 nonzeros
Presolve removed 1 rows and 5 columns
Presolve time: 0.00s
Presolved: 1094 rows, 622 columns, 3450 nonzeros
Variable types: 0 continuous, 622 integer (622 binary)
Root relaxation: objective 0.000000e+00, 191 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 (396 simplex iterations) in 0.01 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 18:22:09 2012
Optimize a model with 489 rows, 372 columns and 1382 nonzeros
Presolve removed 85 rows and 86 columns
Presolve time: 0.01s
Presolved: 404 rows, 286 columns, 1212 nonzeros
Variable types: 0 continuous, 286 integer (286 binary)
Root relaxation: objective 0.000000e+00, 89 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 84 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (308 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 18:22:09 2012
Optimize a model with 691 rows, 457 columns and 2073 nonzeros
Presolve removed 1 rows and 3 columns
Presolve time: 0.00s
Presolved: 690 rows, 454 columns, 2070 nonzeros
Variable types: 0 continuous, 454 integer (454 binary)
Root relaxation: objective 0.000000e+00, 197 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 146 - 0.00000 - - 0s
0 0 0.00000 0 146 - 0.00000 - - 0s
0 0 0.00000 0 134 - 0.00000 - - 0s
0 0 0.00000 0 162 - 0.00000 - - 0s
0 0 0.00000 0 106 - 0.00000 - - 0s
0 0 0.00000 0 110 - 0.00000 - - 0s
0 0 0.00000 0 133 - 0.00000 - - 0s
0 0 0.00000 0 148 - 0.00000 - - 0s
0 0 0.00000 0 137 - 0.00000 - - 0s
0 0 0.00000 0 141 - 0.00000 - - 0s
0 0 0.00000 0 141 - 0.00000 - - 0s
0 2 0.00000 0 141 - 0.00000 - - 0s
Cutting planes:
Zero half: 14
Explored 18 nodes (6539 simplex iterations) in 0.30 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 18:22:10 2012
Optimize a model with 893 rows, 542 columns and 2764 nonzeros
Presolve removed 1 rows and 4 columns
Presolve time: 0.00s
Presolved: 892 rows, 538 columns, 2760 nonzeros
Variable types: 0 continuous, 538 integer (538 binary)
Root relaxation: objective 0.000000e+00, 188 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 (325 simplex iterations) in 0.01 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