current bounds on the number of colors: 0 -- 212 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:05:23 2012 Optimize a model with 119674 rows, 23599 columns and 380858 nonzeros Presolve time: 0.41s Presolved: 119674 rows, 23599 columns, 380858 nonzeros Variable types: 0 continuous, 23599 integer (23599 binary) Root relaxation: objective 0.000000e+00, 564 iterations, 0.15 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 (1007 simplex iterations) in 0.72 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:05:25 2012 Optimize a model with 59943 rows, 12363 columns and 190429 nonzeros Presolve time: 0.18s Presolved: 59943 rows, 12363 columns, 190429 nonzeros Variable types: 0 continuous, 12363 integer (12363 binary) Root relaxation: objective 0.000000e+00, 639 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 (1083 simplex iterations) in 0.30 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:05:26 2012 Optimize a model with 29514 rows, 6639 columns and 93418 nonzeros Presolve time: 0.12s Presolved: 29514 rows, 6639 columns, 93418 nonzeros Variable types: 0 continuous, 6639 integer (6639 binary) Root relaxation: objective 0.000000e+00, 451 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 (854 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:05:26 2012 Optimize a model with 14863 rows, 3883 columns and 46709 nonzeros Presolve time: 0.05s Presolved: 14863 rows, 3883 columns, 46709 nonzeros Variable types: 0 continuous, 3883 integer (3883 binary) Root relaxation: objective 0.000000e+00, 446 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 (827 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:05:27 2012 Optimize a model with 6974 rows, 2399 columns and 21558 nonzeros Presolve time: 0.02s Presolved: 6974 rows, 2399 columns, 21558 nonzeros Variable types: 0 continuous, 2399 integer (2399 binary) Root relaxation: objective 0.000000e+00, 459 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 (2461 simplex iterations) in 0.13 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 14:05:27 2012 Optimize a model with 3593 rows, 1763 columns and 10779 nonzeros Presolve time: 0.01s Presolved: 3593 rows, 1763 columns, 10779 nonzeros Variable types: 0 continuous, 1763 integer (1763 binary) Root relaxation: objective 0.000000e+00, 505 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 356 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7637 simplex iterations) in 1.08 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 14:05:28 2012 Optimize a model with 4720 rows, 1975 columns and 14372 nonzeros Presolve time: 0.01s Presolved: 4720 rows, 1975 columns, 14372 nonzeros Variable types: 0 continuous, 1975 integer (1975 binary) Root relaxation: objective 0.000000e+00, 472 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 422 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 476 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 8s 0 0 0.00000 0 376 - 0.00000 - - 9s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 366 - 0.00000 - - 10s 0 0 0.00000 0 372 - 0.00000 - - 11s 0 0 0.00000 0 366 - 0.00000 - - 12s 0 0 0.00000 0 368 - 0.00000 - - 12s 0 0 0.00000 0 368 - 0.00000 - - 13s 0 2 0.00000 0 368 - 0.00000 - - 14s 9 9 0.00000 5 380 - 0.00000 - 488 15s 246 69 0.00000 18 435 - 0.00000 - 225 20s 538 87 infeasible 20 - 0.00000 - 200 25s 705 102 0.00000 13 390 - 0.00000 - 192 33s 707 103 0.00000 6 388 - 0.00000 - 191 37s 708 104 0.00000 17 388 - 0.00000 - 191 40s 710 105 0.00000 8 378 - 0.00000 - 191 46s 712 106 0.00000 6 364 - 0.00000 - 190 51s 714 108 0.00000 12 363 - 0.00000 - 190 56s 793 98 infeasible 28 - 0.00000 - 286 60s 894 70 infeasible 28 - 0.00000 - 305 65s 1007 43 0.00000 25 414 - 0.00000 - 314 70s 1126 32 0.00000 24 510 - 0.00000 - 322 75s 1232 18 infeasible 23 - 0.00000 - 331 80s 1376 20 0.00000 23 405 - 0.00000 - 331 85s 1507 19 infeasible 29 - 0.00000 - 333 90s 1681 13 0.00000 27 382 - 0.00000 - 330 95s Cutting planes: Gomory: 2 Zero half: 23 Explored 1769 nodes (670944 simplex iterations) in 97.95 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 14:07:06 2012 Optimize a model with 5847 rows, 2187 columns and 17965 nonzeros Presolve time: 0.02s Presolved: 5847 rows, 2187 columns, 17965 nonzeros Variable types: 0 continuous, 2187 integer (2187 binary) Root relaxation: objective 0.000000e+00, 458 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 396 - 0.00000 - - 0s 0 0 0.00000 0 461 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 425 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 2 Zero half: 275 Explored 0 nodes (14183 simplex iterations) in 1.98 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