current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:02:13 2012 Optimize a model with 62390 rows, 15182 columns and 201110 nonzeros Presolve time: 0.19s Presolved: 62390 rows, 15182 columns, 201110 nonzeros Variable types: 0 continuous, 15182 integer (15182 binary) Root relaxation: objective 0.000000e+00, 521 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 (854 simplex iterations) in 0.32 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:02:14 2012 Optimize a model with 30914 rows, 7872 columns and 99372 nonzeros Presolve time: 0.14s Presolved: 30914 rows, 7872 columns, 99372 nonzeros Variable types: 0 continuous, 7872 integer (7872 binary) Root relaxation: objective 0.000000e+00, 452 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 (781 simplex iterations) in 0.20 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:02:14 2012 Optimize a model with 15542 rows, 4302 columns and 49686 nonzeros Presolve time: 0.06s Presolved: 15542 rows, 4302 columns, 49686 nonzeros Variable types: 0 continuous, 4302 integer (4302 binary) Root relaxation: objective 0.000000e+00, 347 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 (650 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:02:14 2012 Optimize a model with 7490 rows, 2432 columns and 23660 nonzeros Presolve time: 0.02s Presolved: 7490 rows, 2432 columns, 23660 nonzeros Variable types: 0 continuous, 2432 integer (2432 binary) Root relaxation: objective 0.000000e+00, 367 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 (669 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:02:15 2012 Optimize a model with 3830 rows, 1582 columns and 11830 nonzeros Presolve time: 0.01s Presolved: 3830 rows, 1582 columns, 11830 nonzeros Variable types: 0 continuous, 1582 integer (1582 binary) Root relaxation: objective 0.000000e+00, 368 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 216 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2642 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:02:15 2012 Optimize a model with 1634 rows, 1072 columns and 4732 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1464 rows, 902 columns, 4392 nonzeros Variable types: 0 continuous, 902 integer (902 binary) Root relaxation: objective 0.000000e+00, 182 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 170 - 0.00000 - - 0s Explored 0 nodes (754 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 Fri Dec 14 21:02:15 2012 Optimize a model with 2366 rows, 1242 columns and 7098 nonzeros Presolve time: 0.01s Presolved: 2366 rows, 1242 columns, 7098 nonzeros Variable types: 0 continuous, 1242 integer (1242 binary) Root relaxation: objective 0.000000e+00, 405 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 336 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 421 - 0.00000 - - 0s 0 0 0.00000 0 450 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 1 Zero half: 763 Explored 0 nodes (7932 simplex iterations) in 0.91 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 Fri Dec 14 21:02:16 2012 Optimize a model with 3098 rows, 1412 columns and 9464 nonzeros Presolve time: 0.01s Presolved: 3098 rows, 1412 columns, 9464 nonzeros Variable types: 0 continuous, 1412 integer (1412 binary) Root relaxation: objective 0.000000e+00, 387 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 316 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 221 - 0.00000 - - 2s 0 0 0.00000 0 259 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 182 - 0.00000 - - 3s 0 2 0.00000 0 182 - 0.00000 - - 3s 434 39 infeasible 16 - 0.00000 - 82.4 5s 609 68 0.00000 16 330 - 0.00000 - 85.5 10s 615 72 0.00000 14 356 - 0.00000 - 84.7 15s 1033 15 0.00000 24 322 - 0.00000 - 166 20s 1515 17 0.00000 22 262 - 0.00000 - 172 25s 2089 23 0.00000 23 278 - 0.00000 - 171 30s 2587 11 infeasible 29 - 0.00000 - 174 35s 3089 35 infeasible 29 - 0.00000 - 175 40s 3531 41 infeasible 28 - 0.00000 - 178 45s 3960 38 infeasible 30 - 0.00000 - 181 50s 4397 34 infeasible 30 - 0.00000 - 183 55s 4797 10 0.00000 27 288 - 0.00000 - 186 60s Cutting planes: Clique: 3 Zero half: 5 Explored 4826 nodes (926379 simplex iterations) in 60.39 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