current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:59:53 2012 Optimize a model with 107508 rows, 21860 columns and 342720 nonzeros Presolve time: 0.36s Presolved: 107508 rows, 21860 columns, 342720 nonzeros Variable types: 0 continuous, 21860 integer (21860 binary) Root relaxation: objective 0.000000e+00, 780 iterations, 0.09 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 (1275 simplex iterations) in 0.62 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:59:55 2012 Optimize a model with 53856 rows, 11456 columns and 171360 nonzeros Presolve time: 0.17s Presolved: 53856 rows, 11456 columns, 171360 nonzeros Variable types: 0 continuous, 11456 integer (11456 binary) Root relaxation: objective 0.000000e+00, 685 iterations, 0.05 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 (1126 simplex iterations) in 0.29 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:59:56 2012 Optimize a model with 26504 rows, 6152 columns and 84000 nonzeros Presolve time: 0.11s Presolved: 26504 rows, 6152 columns, 84000 nonzeros Variable types: 0 continuous, 6152 integer (6152 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (820 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:59:57 2012 Optimize a model with 12828 rows, 3500 columns and 40320 nonzeros Presolve time: 0.04s Presolved: 12828 rows, 3500 columns, 40320 nonzeros Variable types: 0 continuous, 3500 integer (3500 binary) Root relaxation: objective 0.000000e+00, 434 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 (836 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 10:59:57 2012 Optimize a model with 6516 rows, 2276 columns and 20160 nonzeros Presolve time: 0.02s Presolved: 6516 rows, 2276 columns, 20160 nonzeros Variable types: 0 continuous, 2276 integer (2276 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 6 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1919 simplex iterations) in 0.09 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 10:59:57 2012 Optimize a model with 3360 rows, 1664 columns and 10080 nonzeros Presolve time: 0.01s Presolved: 3360 rows, 1664 columns, 10080 nonzeros Variable types: 0 continuous, 1664 integer (1664 binary) Root relaxation: objective 0.000000e+00, 464 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 408 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6073 simplex iterations) in 0.89 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 10:59:58 2012 Optimize a model with 4412 rows, 1868 columns and 13440 nonzeros Presolve time: 0.01s Presolved: 4412 rows, 1868 columns, 13440 nonzeros Variable types: 0 continuous, 1868 integer (1868 binary) Root relaxation: objective 0.000000e+00, 453 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 402 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 388 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 2 0.00000 0 370 - 0.00000 - - 9s 11 9 0.00000 7 473 - 0.00000 - 460 10s 222 52 0.00000 7 400 - 0.00000 - 236 15s 494 90 infeasible 16 - 0.00000 - 210 20s 769 101 infeasible 26 - 0.00000 - 203 25s 1003 123 0.00000 10 390 - 0.00000 - 200 30s 1006 125 0.00000 12 380 - 0.00000 - 200 37s 1007 126 0.00000 14 372 - 0.00000 - 199 40s 1010 128 0.00000 17 364 - 0.00000 - 199 46s 1012 129 0.00000 23 362 - 0.00000 - 199 51s 1014 131 0.00000 12 350 - 0.00000 - 198 57s 1016 132 0.00000 11 346 - 0.00000 - 198 62s 1018 133 0.00000 10 363 - 0.00000 - 197 65s 1027 139 0.00000 13 475 - 0.00000 - 286 70s 1098 133 infeasible 22 - 0.00000 - 287 75s 1250 112 0.00000 23 380 - 0.00000 - 286 80s 1402 69 infeasible 27 - 0.00000 - 290 85s 1520 55 infeasible 23 - 0.00000 - 297 90s 1675 72 infeasible 24 - 0.00000 - 299 95s 1819 64 infeasible 22 - 0.00000 - 301 100s 1971 62 0.00000 18 397 - 0.00000 - 301 105s 2106 59 0.00000 20 445 - 0.00000 - 304 110s 2220 35 0.00000 20 417 - 0.00000 - 309 115s 2345 12 0.00000 19 489 - 0.00000 - 312 120s Cutting planes: Zero half: 22 Explored 2468 nodes (832561 simplex iterations) in 123.91 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 11:02:02 2012 Optimize a model with 5464 rows, 2072 columns and 16800 nonzeros Presolve time: 0.02s Presolved: 5464 rows, 2072 columns, 16800 nonzeros Variable types: 0 continuous, 2072 integer (2072 binary) Root relaxation: objective 0.000000e+00, 427 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 386 - 0.00000 - - 0s 0 0 0.00000 0 407 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Zero half: 7 Explored 1 nodes (29550 simplex iterations) in 3.75 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