current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:11 2012 Optimize a model with 104401 rows, 21142 columns and 332700 nonzeros Presolve time: 0.35s Presolved: 104401 rows, 21142 columns, 332700 nonzeros Variable types: 0 continuous, 21142 integer (21142 binary) Root relaxation: objective 0.000000e+00, 843 iterations, 0.12 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 (1320 simplex iterations) in 0.62 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:13 2012 Optimize a model with 52301 rows, 11092 columns and 166350 nonzeros Presolve time: 0.17s Presolved: 52301 rows, 11092 columns, 166350 nonzeros Variable types: 0 continuous, 11092 integer (11092 binary) Root relaxation: objective 0.000000e+00, 682 iterations, 0.06 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 (1205 simplex iterations) in 0.31 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:14 2012 Optimize a model with 26251 rows, 6067 columns and 83175 nonzeros Presolve time: 0.11s Presolved: 26251 rows, 6067 columns, 83175 nonzeros Variable types: 0 continuous, 6067 integer (6067 binary) Root relaxation: objective 0.000000e+00, 472 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 (858 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:14 2012 Optimize a model with 12705 rows, 3454 columns and 39924 nonzeros Presolve time: 0.04s Presolved: 12705 rows, 3454 columns, 39924 nonzeros Variable types: 0 continuous, 3454 integer (3454 binary) Root relaxation: objective 0.000000e+00, 418 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 (798 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:15 2012 Optimize a model with 6453 rows, 2248 columns and 19962 nonzeros Presolve time: 0.02s Presolved: 6453 rows, 2248 columns, 19962 nonzeros Variable types: 0 continuous, 2248 integer (2248 binary) Root relaxation: objective 0.000000e+00, 424 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 (2023 simplex iterations) in 0.10 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:15 2012 Optimize a model with 3327 rows, 1645 columns and 9981 nonzeros Presolve time: 0.01s Presolved: 3327 rows, 1645 columns, 9981 nonzeros Variable types: 0 continuous, 1645 integer (1645 binary) Root relaxation: objective 0.000000e+00, 434 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 400 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5923 simplex iterations) in 0.70 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:39:16 2012 Optimize a model with 4369 rows, 1846 columns and 13308 nonzeros Presolve time: 0.01s Presolved: 4369 rows, 1846 columns, 13308 nonzeros Variable types: 0 continuous, 1846 integer (1846 binary) Root relaxation: objective 0.000000e+00, 462 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 390 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 543 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 331 - 0.00000 - - 7s 0 0 0.00000 0 332 - 0.00000 - - 7s 0 0 0.00000 0 332 - 0.00000 - - 8s 0 0 0.00000 0 318 - 0.00000 - - 9s 0 0 0.00000 0 322 - 0.00000 - - 10s 0 0 0.00000 0 322 - 0.00000 - - 10s 0 2 0.00000 0 322 - 0.00000 - - 11s 291 37 infeasible 11 - 0.00000 - 148 15s 717 37 infeasible 16 - 0.00000 - 143 20s 1103 27 0.00000 6 366 - 0.00000 - 138 25s 1105 29 0.00000 11 406 - 0.00000 - 138 30s 1107 30 0.00000 10 342 - 0.00000 - 138 35s 1109 31 0.00000 13 479 - 0.00000 - 138 40s 1111 33 0.00000 11 457 - 0.00000 - 137 46s 1183 35 infeasible 18 - 0.00000 - 187 50s 1333 20 infeasible 20 - 0.00000 - 204 55s 1496 27 0.00000 23 378 - 0.00000 - 214 60s 1639 26 infeasible 24 - 0.00000 - 225 65s 1804 36 0.00000 23 360 - 0.00000 - 232 70s 1975 33 0.00000 24 366 - 0.00000 - 237 75s 2119 29 infeasible 23 - 0.00000 - 244 80s 2249 23 0.00000 19 403 - 0.00000 - 251 85s 2395 17 0.00000 21 366 - 0.00000 - 256 90s 2543 15 infeasible 18 - 0.00000 - 260 95s 2679 13 infeasible 21 - 0.00000 - 265 100s 2805 13 infeasible 20 - 0.00000 - 270 105s 2938 8 infeasible 23 - 0.00000 - 274 110s Cutting planes: Clique: 2 Zero half: 20 Explored 3061 nodes (919609 simplex iterations) in 114.35 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:41:10 2012 Optimize a model with 5411 rows, 2047 columns and 16635 nonzeros Presolve time: 0.01s Presolved: 5411 rows, 2047 columns, 16635 nonzeros Variable types: 0 continuous, 2047 integer (2047 binary) Root relaxation: objective 0.000000e+00, 439 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 376 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (8973 simplex iterations) in 0.96 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: 5