current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:18:40 2012 Optimize a model with 94964 rows, 19892 columns and 303222 nonzeros Presolve time: 0.31s Presolved: 94964 rows, 19892 columns, 303222 nonzeros Variable types: 0 continuous, 19892 integer (19892 binary) Root relaxation: objective 0.000000e+00, 845 iterations, 0.11 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 (1539 simplex iterations) in 0.63 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:18:41 2012 Optimize a model with 47091 rows, 10337 columns and 150048 nonzeros Presolve time: 0.16s Presolved: 47091 rows, 10337 columns, 150048 nonzeros Variable types: 0 continuous, 10337 integer (10337 binary) Root relaxation: objective 0.000000e+00, 585 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 (1006 simplex iterations) in 0.26 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:18:42 2012 Optimize a model with 23643 rows, 5657 columns and 75024 nonzeros Presolve time: 0.10s Presolved: 23643 rows, 5657 columns, 75024 nonzeros Variable types: 0 continuous, 5657 integer (5657 binary) Root relaxation: objective 0.000000e+00, 457 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 (825 simplex iterations) in 0.14 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 07:18:43 2012 Optimize a model with 11919 rows, 3317 columns and 37512 nonzeros Presolve time: 0.04s Presolved: 11919 rows, 3317 columns, 37512 nonzeros Variable types: 0 continuous, 3317 integer (3317 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1003 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:18:43 2012 Optimize a model with 6057 rows, 2147 columns and 18756 nonzeros Presolve time: 0.02s Presolved: 6057 rows, 2147 columns, 18756 nonzeros Variable types: 0 continuous, 2147 integer (2147 binary) Root relaxation: objective 0.000000e+00, 409 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 (1517 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:18:43 2012 Optimize a model with 3126 rows, 1562 columns and 9378 nonzeros Presolve time: 0.01s Presolved: 3126 rows, 1562 columns, 9378 nonzeros Variable types: 0 continuous, 1562 integer (1562 binary) Root relaxation: objective 0.000000e+00, 447 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 388 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5226 simplex iterations) in 0.65 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 07:18:44 2012 Optimize a model with 4103 rows, 1757 columns and 12504 nonzeros Presolve time: 0.01s Presolved: 4103 rows, 1757 columns, 12504 nonzeros Variable types: 0 continuous, 1757 integer (1757 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 372 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 2 0.00000 0 344 - 0.00000 - - 6s 365 35 infeasible 20 - 0.00000 - 155 10s 605 70 0.00000 17 332 - 0.00000 - 148 17s 607 71 0.00000 15 314 - 0.00000 - 148 21s 610 73 0.00000 17 296 - 0.00000 - 147 26s 613 75 0.00000 17 293 - 0.00000 - 146 30s 620 80 0.00000 12 412 - 0.00000 - 248 35s 823 29 infeasible 24 - 0.00000 - 253 40s 1049 20 0.00000 25 356 - 0.00000 - 254 45s 1253 10 0.00000 19 367 - 0.00000 - 259 50s 1495 16 infeasible 19 - 0.00000 - 256 55s 1721 6 infeasible 21 - 0.00000 - 258 60s 1957 6 infeasible 26 - 0.00000 - 257 65s 2184 17 infeasible 22 - 0.00000 - 258 70s Cutting planes: Zero half: 16 Explored 2348 nodes (652969 simplex iterations) in 73.83 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 07:19:58 2012 Optimize a model with 5080 rows, 1952 columns and 15630 nonzeros Presolve time: 0.01s Presolved: 5080 rows, 1952 columns, 15630 nonzeros Variable types: 0 continuous, 1952 integer (1952 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 318 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (16205 simplex iterations) in 2.25 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