current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:04:49 2012 Optimize a model with 97315 rows, 20297 columns and 310660 nonzeros Presolve time: 0.32s Presolved: 97315 rows, 20297 columns, 310660 nonzeros Variable types: 0 continuous, 20297 integer (20297 binary) Root relaxation: objective 0.000000e+00, 820 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 (1285 simplex iterations) in 0.57 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:04:51 2012 Optimize a model with 48756 rows, 10644 columns and 155330 nonzeros Presolve time: 0.16s Presolved: 48756 rows, 10644 columns, 155330 nonzeros Variable types: 0 continuous, 10644 integer (10644 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 (1080 simplex iterations) in 0.28 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:04:52 2012 Optimize a model with 23981 rows, 5719 columns and 76080 nonzeros Presolve time: 0.10s Presolved: 23981 rows, 5719 columns, 76080 nonzeros Variable types: 0 continuous, 5719 integer (5719 binary) Root relaxation: objective 0.000000e+00, 463 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 (851 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 08:04:52 2012 Optimize a model with 12089 rows, 3355 columns and 38040 nonzeros Presolve time: 0.04s Presolved: 12089 rows, 3355 columns, 38040 nonzeros Variable types: 0 continuous, 3355 integer (3355 binary) Root relaxation: objective 0.000000e+00, 407 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 (774 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:04:52 2012 Optimize a model with 6143 rows, 2173 columns and 19020 nonzeros Presolve time: 0.02s Presolved: 6143 rows, 2173 columns, 19020 nonzeros Variable types: 0 continuous, 2173 integer (2173 binary) Root relaxation: objective 0.000000e+00, 433 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 21 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2544 simplex iterations) in 0.11 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:04:53 2012 Optimize a model with 3170 rows, 1582 columns and 9510 nonzeros Presolve time: 0.01s Presolved: 3170 rows, 1582 columns, 9510 nonzeros Variable types: 0 continuous, 1582 integer (1582 binary) Root relaxation: objective 0.000000e+00, 445 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 390 - 0.00000 - - 0s 0 0 0.00000 0 542 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 36 Zero half: 1216 Explored 0 nodes (8863 simplex iterations) in 1.43 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:04:54 2012 Optimize a model with 4161 rows, 1779 columns and 12680 nonzeros Presolve time: 0.01s Presolved: 4161 rows, 1779 columns, 12680 nonzeros Variable types: 0 continuous, 1779 integer (1779 binary) Root relaxation: objective 0.000000e+00, 435 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 378 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 409 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 319 - 0.00000 - - 5s 0 0 0.00000 0 341 - 0.00000 - - 6s 0 0 0.00000 0 339 - 0.00000 - - 6s 0 2 0.00000 0 339 - 0.00000 - - 6s 258 62 infeasible 26 - 0.00000 - 150 10s 612 113 0.00000 8 508 - 0.00000 - 140 15s 615 115 0.00000 17 327 - 0.00000 - 139 21s 617 116 0.00000 13 314 - 0.00000 - 139 25s 619 118 0.00000 6 322 - 0.00000 - 138 30s 621 119 0.00000 8 324 - 0.00000 - 138 35s 802 72 0.00000 17 365 - 0.00000 - 244 40s 1026 25 0.00000 23 362 - 0.00000 - 247 45s 1241 26 0.00000 26 419 - 0.00000 - 254 50s 1463 12 0.00000 19 439 - 0.00000 - 257 55s 1688 13 infeasible 26 - 0.00000 - 259 60s 1890 5 0.00000 15 482 - 0.00000 - 263 65s 2116 7 0.00000 18 448 - 0.00000 - 262 70s 2323 10 infeasible 18 - 0.00000 - 263 75s Cutting planes: Zero half: 15 Explored 2386 nodes (677746 simplex iterations) in 76.52 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:06:11 2012 Optimize a model with 5152 rows, 1976 columns and 15850 nonzeros Presolve time: 0.01s Presolved: 5152 rows, 1976 columns, 15850 nonzeros Variable types: 0 continuous, 1976 integer (1976 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 309 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4168 simplex iterations) in 0.36 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