current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:16:32 2012 Optimize a model with 93861 rows, 19131 columns and 299155 nonzeros Presolve time: 0.30s Presolved: 93861 rows, 19131 columns, 299155 nonzeros Variable types: 0 continuous, 19131 integer (19131 binary) Root relaxation: objective 0.000000e+00, 802 iterations, 0.09 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 (1249 simplex iterations) in 0.52 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:16:33 2012 Optimize a model with 46533 rows, 9963 columns and 148003 nonzeros Presolve time: 0.16s Presolved: 46533 rows, 9963 columns, 148003 nonzeros Variable types: 0 continuous, 9963 integer (9963 binary) Root relaxation: objective 0.000000e+00, 700 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 (1115 simplex iterations) in 0.27 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:16:34 2012 Optimize a model with 22869 rows, 5379 columns and 72427 nonzeros Presolve time: 0.09s Presolved: 22869 rows, 5379 columns, 72427 nonzeros Variable types: 0 continuous, 5379 integer (5379 binary) Root relaxation: objective 0.000000e+00, 410 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 (773 simplex iterations) in 0.13 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:16:35 2012 Optimize a model with 11037 rows, 3087 columns and 34639 nonzeros Presolve time: 0.03s Presolved: 11037 rows, 3087 columns, 34639 nonzeros Variable types: 0 continuous, 3087 integer (3087 binary) Root relaxation: objective 0.000000e+00, 396 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 (756 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:16:35 2012 Optimize a model with 5121 rows, 1941 columns and 15745 nonzeros Presolve time: 0.01s Presolved: 5121 rows, 1941 columns, 15745 nonzeros Variable types: 0 continuous, 1941 integer (1941 binary) Root relaxation: objective 0.000000e+00, 423 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 350 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 433 - 0.00000 - - 1s 0 0 0.00000 0 409 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 1 Zero half: 177 Explored 0 nodes (19066 simplex iterations) in 2.55 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 Sat Dec 15 05:16:37 2012 Optimize a model with 2163 rows, 1368 columns and 6298 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1972 rows, 1177 columns, 5916 nonzeros Variable types: 0 continuous, 1177 integer (1177 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.00000 0 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (819 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 Sat Dec 15 05:16:38 2012 Optimize a model with 3149 rows, 1559 columns and 9447 nonzeros Presolve time: 0.01s Presolved: 3149 rows, 1559 columns, 9447 nonzeros Variable types: 0 continuous, 1559 integer (1559 binary) Root relaxation: objective 0.000000e+00, 426 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 380 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5225 simplex iterations) in 0.63 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 Sat Dec 15 05:16:38 2012 Optimize a model with 4135 rows, 1750 columns and 12596 nonzeros Presolve time: 0.01s Presolved: 4135 rows, 1750 columns, 12596 nonzeros Variable types: 0 continuous, 1750 integer (1750 binary) Root relaxation: objective 0.000000e+00, 411 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 374 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 450 - 0.00000 - - 1s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 4s 0 0 0.00000 0 316 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 322 - 0.00000 - - 5s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 2 0.00000 0 324 - 0.00000 - - 7s 139 65 0.00000 15 342 - 0.00000 - 203 10s 429 132 0.00000 25 334 - 0.00000 - 188 15s 605 147 0.00000 11 356 - 0.00000 - 185 21s 607 148 0.00000 15 350 - 0.00000 - 184 25s 610 150 0.00000 12 336 - 0.00000 - 183 30s 613 152 0.00000 12 266 - 0.00000 - 183 36s 615 153 0.00000 10 326 - 0.00000 - 182 41s 622 158 0.00000 11 419 - 0.00000 - 305 45s 781 118 0.00000 24 340 - 0.00000 - 306 50s 936 59 infeasible 27 - 0.00000 - 312 55s Cutting planes: Clique: 1 Zero half: 26 Explored 1039 nodes (376685 simplex iterations) in 58.27 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5