current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:21:23 2012 Optimize a model with 80259 rows, 18159 columns and 257517 nonzeros Presolve time: 0.25s Presolved: 80259 rows, 18159 columns, 257517 nonzeros Variable types: 0 continuous, 18159 integer (18159 binary) Root relaxation: objective 0.000000e+00, 747 iterations, 0.08 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 (1234 simplex iterations) in 0.46 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:21:25 2012 Optimize a model with 39792 rows, 9417 columns and 127374 nonzeros Presolve time: 0.16s Presolved: 39792 rows, 9417 columns, 127374 nonzeros Variable types: 0 continuous, 9417 integer (9417 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 (1000 simplex iterations) in 0.24 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:21:26 2012 Optimize a model with 19989 rows, 5139 columns and 63687 nonzeros Presolve time: 0.08s Presolved: 19989 rows, 5139 columns, 63687 nonzeros Variable types: 0 continuous, 5139 integer (5139 binary) Root relaxation: objective 0.000000e+00, 412 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 (759 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:21:26 2012 Optimize a model with 9657 rows, 2907 columns and 30459 nonzeros Presolve time: 0.03s Presolved: 9657 rows, 2907 columns, 30459 nonzeros Variable types: 0 continuous, 2907 integer (2907 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 (745 simplex iterations) in 0.05 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 03:21:26 2012 Optimize a model with 4491 rows, 1791 columns and 13845 nonzeros Presolve time: 0.01s Presolved: 4491 rows, 1791 columns, 13845 nonzeros Variable types: 0 continuous, 1791 integer (1791 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.00000 0 270 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4476 simplex iterations) in 0.37 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 03:21:27 2012 Optimize a model with 1908 rows, 1233 columns and 5538 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1722 rows, 1047 columns, 5166 nonzeros Variable types: 0 continuous, 1047 integer (1047 binary) Root relaxation: objective 0.000000e+00, 189 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 186 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (800 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 03:21:27 2012 Optimize a model with 2769 rows, 1419 columns and 8307 nonzeros Presolve time: 0.01s Presolved: 2769 rows, 1419 columns, 8307 nonzeros Variable types: 0 continuous, 1419 integer (1419 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 366 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5221 simplex iterations) in 0.55 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 03:21:27 2012 Optimize a model with 3630 rows, 1605 columns and 11076 nonzeros Presolve time: 0.01s Presolved: 3630 rows, 1605 columns, 11076 nonzeros Variable types: 0 continuous, 1605 integer (1605 binary) Root relaxation: objective 0.000000e+00, 419 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 352 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 431 - 0.00000 - - 4s 0 0 0.00000 0 449 - 0.00000 - - 5s 0 0 0.00000 0 449 - 0.00000 - - 5s 0 2 0.00000 0 449 - 0.00000 - - 6s 607 28 0.00000 17 294 - 0.00000 - 120 10s 808 45 0.00000 6 292 - 0.00000 - 115 15s 812 47 0.00000 7 262 - 0.00000 - 114 20s 816 50 0.00000 14 238 - 0.00000 - 113 25s 822 54 infeasible 11 - 0.00000 - 201 30s 1191 50 0.00000 22 356 - 0.00000 - 197 35s 1583 72 0.00000 24 312 - 0.00000 - 196 40s 2004 121 0.00000 27 314 - 0.00000 - 195 45s 2430 175 infeasible 27 - 0.00000 - 193 50s 2811 198 0.00000 26 306 - 0.00000 - 196 55s 3201 176 infeasible 23 - 0.00000 - 198 60s 3570 152 0.00000 27 312 - 0.00000 - 200 65s 3979 157 infeasible 27 - 0.00000 - 200 70s 4345 163 0.00000 28 308 - 0.00000 - 202 75s 4784 166 0.00000 30 335 - 0.00000 - 201 80s 5217 169 0.00000 28 322 - 0.00000 - 200 85s 5635 155 infeasible 23 - 0.00000 - 200 90s 6050 160 infeasible 28 - 0.00000 - 200 95s 6498 168 infeasible 28 - 0.00000 - 199 100s 6901 155 0.00000 17 320 - 0.00000 - 199 105s 7242 162 infeasible 26 - 0.00000 - 200 110s 7623 175 0.00000 21 346 - 0.00000 - 200 115s 8021 165 0.00000 23 316 - 0.00000 - 201 120s 8439 165 0.00000 26 316 - 0.00000 - 200 125s 8845 153 infeasible 24 - 0.00000 - 200 130s 9226 150 infeasible 27 - 0.00000 - 200 135s 9625 145 infeasible 23 - 0.00000 - 201 140s 10010 142 0.00000 21 338 - 0.00000 - 201 145s 10379 137 0.00000 24 316 - 0.00000 - 201 150s 10753 117 infeasible 25 - 0.00000 - 201 155s 11148 106 infeasible 22 - 0.00000 - 201 160s 11528 92 infeasible 24 - 0.00000 - 201 165s 11947 81 infeasible 27 - 0.00000 - 200 170s 12315 71 0.00000 22 312 - 0.00000 - 201 175s 12636 68 infeasible 22 - 0.00000 - 202 180s 12997 57 0.00000 27 358 - 0.00000 - 202 185s 13379 53 0.00000 22 322 - 0.00000 - 202 190s 13732 32 infeasible 25 - 0.00000 - 202 195s 14103 23 infeasible 26 - 0.00000 - 202 200s Cutting planes: Gomory: 1 Zero half: 8 Explored 14301 nodes (2942517 simplex iterations) in 202.97 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