current bounds on the number of colors: 0 -- 193 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:09:31 2012 Optimize a model with 93121 rows, 19496 columns and 297312 nonzeros Presolve time: 0.30s Presolved: 93121 rows, 19496 columns, 297312 nonzeros Variable types: 0 continuous, 19496 integer (19496 binary) Root relaxation: objective 0.000000e+00, 808 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 (1276 simplex iterations) in 0.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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:09:33 2012 Optimize a model with 46657 rows, 10232 columns and 148656 nonzeros Presolve time: 0.16s Presolved: 46657 rows, 10232 columns, 148656 nonzeros Variable types: 0 continuous, 10232 integer (10232 binary) Root relaxation: objective 0.000000e+00, 634 iterations, 0.04 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 (1129 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:09:34 2012 Optimize a model with 23425 rows, 5600 columns and 74328 nonzeros Presolve time: 0.10s Presolved: 23425 rows, 5600 columns, 74328 nonzeros Variable types: 0 continuous, 5600 integer (5600 binary) Root relaxation: objective 0.000000e+00, 468 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 (860 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 06:09:34 2012 Optimize a model with 11809 rows, 3284 columns and 37164 nonzeros Presolve time: 0.04s Presolved: 11809 rows, 3284 columns, 37164 nonzeros Variable types: 0 continuous, 3284 integer (3284 binary) Root relaxation: objective 0.000000e+00, 414 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 (809 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 06:09:35 2012 Optimize a model with 6001 rows, 2126 columns and 18582 nonzeros Presolve time: 0.02s Presolved: 6001 rows, 2126 columns, 18582 nonzeros Variable types: 0 continuous, 2126 integer (2126 binary) Root relaxation: objective 0.000000e+00, 432 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 (1762 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:09:35 2012 Optimize a model with 3097 rows, 1547 columns and 9291 nonzeros Presolve time: 0.01s Presolved: 3097 rows, 1547 columns, 9291 nonzeros Variable types: 0 continuous, 1547 integer (1547 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.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4998 simplex iterations) in 0.66 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 06:09:35 2012 Optimize a model with 4065 rows, 1740 columns and 12388 nonzeros Presolve time: 0.01s Presolved: 4065 rows, 1740 columns, 12388 nonzeros Variable types: 0 continuous, 1740 integer (1740 binary) Root relaxation: objective 0.000000e+00, 432 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 356 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 377 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 332 - 0.00000 - - 6s 0 0 0.00000 0 326 - 0.00000 - - 7s 0 0 0.00000 0 345 - 0.00000 - - 7s 0 0 0.00000 0 345 - 0.00000 - - 8s 0 2 0.00000 0 345 - 0.00000 - - 8s 64 40 0.00000 10 373 - 0.00000 - 238 10s 482 96 infeasible 17 - 0.00000 - 164 15s 905 121 0.00000 14 368 - 0.00000 - 159 21s 907 123 0.00000 14 460 - 0.00000 - 159 25s 909 124 0.00000 14 288 - 0.00000 - 159 30s 912 126 0.00000 12 430 - 0.00000 - 158 37s 914 127 0.00000 9 452 - 0.00000 - 158 41s 916 129 0.00000 13 459 - 0.00000 - 157 45s 1051 107 infeasible 30 - 0.00000 - 228 50s 1253 57 infeasible 24 - 0.00000 - 232 55s 1460 67 0.00000 26 365 - 0.00000 - 234 60s 1645 88 infeasible 25 - 0.00000 - 241 65s 1836 79 infeasible 24 - 0.00000 - 246 70s 1991 76 infeasible 17 - 0.00000 - 253 75s 2161 66 0.00000 19 338 - 0.00000 - 257 80s 2324 51 infeasible 25 - 0.00000 - 261 85s 2512 41 infeasible 25 - 0.00000 - 263 90s 2723 14 infeasible 20 - 0.00000 - 262 95s Cutting planes: Zero half: 33 Explored 2816 nodes (802823 simplex iterations) in 97.57 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 06:11:13 2012 Optimize a model with 5033 rows, 1933 columns and 15485 nonzeros Presolve time: 0.01s Presolved: 5033 rows, 1933 columns, 15485 nonzeros Variable types: 0 continuous, 1933 integer (1933 binary) Root relaxation: objective 0.000000e+00, 428 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 325 - 0.00000 - - 0s 0 0 0.00000 0 485 - 0.00000 - - 0s Cutting planes: Clique: 18 Explored 0 nodes (8125 simplex iterations) in 1.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: 5