current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:29:52 2012 Optimize a model with 83514 rows, 18194 columns and 267282 nonzeros Presolve time: 0.26s Presolved: 83514 rows, 18194 columns, 267282 nonzeros Variable types: 0 continuous, 18194 integer (18194 binary) Root relaxation: objective 0.000000e+00, 619 iterations, 0.06 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 (998 simplex iterations) in 0.43 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:29:53 2012 Optimize a model with 41402 rows, 9452 columns and 132204 nonzeros Presolve time: 0.16s Presolved: 41402 rows, 9452 columns, 132204 nonzeros Variable types: 0 continuous, 9452 integer (9452 binary) Root relaxation: objective 0.000000e+00, 490 iterations, 0.02 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 (848 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:29:54 2012 Optimize a model with 20794 rows, 5174 columns and 66102 nonzeros Presolve time: 0.08s Presolved: 20794 rows, 5174 columns, 66102 nonzeros Variable types: 0 continuous, 5174 integer (5174 binary) Root relaxation: objective 0.000000e+00, 399 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 (751 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:29:55 2012 Optimize a model with 10042 rows, 2942 columns and 31614 nonzeros Presolve time: 0.03s Presolved: 10042 rows, 2942 columns, 31614 nonzeros Variable types: 0 continuous, 2942 integer (2942 binary) Root relaxation: objective 0.000000e+00, 384 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 (738 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:29:55 2012 Optimize a model with 4666 rows, 1826 columns and 14370 nonzeros Presolve time: 0.01s Presolved: 4666 rows, 1826 columns, 14370 nonzeros Variable types: 0 continuous, 1826 integer (1826 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 (1912 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:29:55 2012 Optimize a model with 1978 rows, 1268 columns and 5748 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1792 rows, 1082 columns, 5376 nonzeros Variable types: 0 continuous, 1082 integer (1082 binary) Root relaxation: objective 0.000000e+00, 192 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 (798 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:29:55 2012 Optimize a model with 2874 rows, 1454 columns and 8622 nonzeros Presolve time: 0.01s Presolved: 2874 rows, 1454 columns, 8622 nonzeros Variable types: 0 continuous, 1454 integer (1454 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 290 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7195 simplex iterations) in 0.75 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:29:56 2012 Optimize a model with 3770 rows, 1640 columns and 11496 nonzeros Presolve time: 0.01s Presolved: 3770 rows, 1640 columns, 11496 nonzeros Variable types: 0 continuous, 1640 integer (1640 binary) Root relaxation: objective 0.000000e+00, 403 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 358 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 501 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 5s 0 0 0.00000 0 308 - 0.00000 - - 5s 0 2 0.00000 0 308 - 0.00000 - - 5s 517 43 infeasible 11 - 0.00000 - 133 10s 1005 59 0.00000 5 338 - 0.00000 - 128 16s 1007 60 0.00000 15 330 - 0.00000 - 128 20s 1011 63 0.00000 17 300 - 0.00000 - 127 25s 1014 65 0.00000 15 290 - 0.00000 - 127 30s 1017 67 0.00000 10 278 - 0.00000 - 127 36s 1020 69 0.00000 16 248 - 0.00000 - 126 40s 1067 70 infeasible 28 - 0.00000 - 211 45s 1324 50 infeasible 31 - 0.00000 - 215 50s 1601 29 infeasible 23 - 0.00000 - 218 55s 1837 7 infeasible 28 - 0.00000 - 223 60s 2140 22 infeasible 32 - 0.00000 - 222 65s 2410 36 infeasible 27 - 0.00000 - 222 70s 2685 31 infeasible 27 - 0.00000 - 224 75s 2959 39 infeasible 27 - 0.00000 - 224 80s 3268 16 infeasible 30 - 0.00000 - 224 85s 3526 4 0.00000 28 324 - 0.00000 - 225 90s Cutting planes: Gomory: 1 Zero half: 10 Explored 3537 nodes (840575 simplex iterations) in 90.22 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