current bounds on the number of colors: 0 -- 198 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:27:55 2012 Optimize a model with 99099 rows, 20601 columns and 316305 nonzeros Presolve time: 0.32s Presolved: 99099 rows, 20601 columns, 316305 nonzeros Variable types: 0 continuous, 20601 integer (20601 binary) Root relaxation: objective 0.000000e+00, 806 iterations, 0.10 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 (1283 simplex iterations) in 0.56 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:27:57 2012 Optimize a model with 49149 rows, 10701 columns and 156555 nonzeros Presolve time: 0.17s Presolved: 49149 rows, 10701 columns, 156555 nonzeros Variable types: 0 continuous, 10701 integer (10701 binary) Root relaxation: objective 0.000000e+00, 719 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 (1197 simplex iterations) in 0.30 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:27:58 2012 Optimize a model with 24174 rows, 5751 columns and 76680 nonzeros Presolve time: 0.10s Presolved: 24174 rows, 5751 columns, 76680 nonzeros Variable types: 0 continuous, 5751 integer (5751 binary) Root relaxation: objective 0.000000e+00, 459 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 (848 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:27:59 2012 Optimize a model with 12186 rows, 3375 columns and 38340 nonzeros Presolve time: 0.04s Presolved: 12186 rows, 3375 columns, 38340 nonzeros Variable types: 0 continuous, 3375 integer (3375 binary) Root relaxation: objective 0.000000e+00, 417 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 (764 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 08:27:59 2012 Optimize a model with 6192 rows, 2187 columns and 19170 nonzeros Presolve time: 0.02s Presolved: 6192 rows, 2187 columns, 19170 nonzeros Variable types: 0 continuous, 2187 integer (2187 binary) Root relaxation: objective 0.000000e+00, 425 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 (2320 simplex iterations) in 0.12 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 08:27:59 2012 Optimize a model with 3195 rows, 1593 columns and 9585 nonzeros Presolve time: 0.01s Presolved: 3195 rows, 1593 columns, 9585 nonzeros Variable types: 0 continuous, 1593 integer (1593 binary) Root relaxation: objective 0.000000e+00, 449 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 392 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 523 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 60 Zero half: 1094 Explored 0 nodes (9956 simplex iterations) in 1.50 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 08:28:01 2012 Optimize a model with 4194 rows, 1791 columns and 12780 nonzeros Presolve time: 0.01s Presolved: 4194 rows, 1791 columns, 12780 nonzeros Variable types: 0 continuous, 1791 integer (1791 binary) Root relaxation: objective 0.000000e+00, 431 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 378 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 2 0.00000 0 336 - 0.00000 - - 7s 263 40 0.00000 13 384 - 0.00000 - 140 10s 705 59 0.00000 3 366 - 0.00000 - 123 17s 707 60 0.00000 8 354 - 0.00000 - 123 20s 710 62 0.00000 13 338 - 0.00000 - 122 25s 714 65 0.00000 9 304 - 0.00000 - 122 32s 716 66 0.00000 19 306 - 0.00000 - 121 36s 718 67 0.00000 9 288 - 0.00000 - 121 40s 721 69 0.00000 8 308 - 0.00000 - 121 45s 873 47 infeasible 32 - 0.00000 - 255 50s 1105 28 infeasible 25 - 0.00000 - 257 55s 1358 25 0.00000 29 352 - 0.00000 - 256 60s 1576 15 0.00000 21 384 - 0.00000 - 259 65s Cutting planes: Zero half: 9 Explored 1684 nodes (498137 simplex iterations) in 68.00 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 08:29:09 2012 Optimize a model with 5193 rows, 1989 columns and 15975 nonzeros Presolve time: 0.01s Presolved: 5193 rows, 1989 columns, 15975 nonzeros Variable types: 0 continuous, 1989 integer (1989 binary) Root relaxation: objective 0.000000e+00, 421 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2130 simplex iterations) in 0.12 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