current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:29:28 2012 Optimize a model with 118020 rows, 23172 columns and 375480 nonzeros Presolve time: 0.40s Presolved: 118020 rows, 23172 columns, 375480 nonzeros Variable types: 0 continuous, 23172 integer (23172 binary) Root relaxation: objective 0.000000e+00, 563 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 (1004 simplex iterations) in 0.71 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:29:30 2012 Optimize a model with 58554 rows, 12042 columns and 185952 nonzeros Presolve time: 0.18s Presolved: 58554 rows, 12042 columns, 185952 nonzeros Variable types: 0 continuous, 12042 integer (12042 binary) Root relaxation: objective 0.000000e+00, 724 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 (1216 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:29:31 2012 Optimize a model with 29382 rows, 6582 columns and 92976 nonzeros Presolve time: 0.12s Presolved: 29382 rows, 6582 columns, 92976 nonzeros Variable types: 0 continuous, 6582 integer (6582 binary) Root relaxation: objective 0.000000e+00, 472 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 (908 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 13:29:32 2012 Optimize a model with 14796 rows, 3852 columns and 46488 nonzeros Presolve time: 0.05s Presolved: 14796 rows, 3852 columns, 46488 nonzeros Variable types: 0 continuous, 3852 integer (3852 binary) Root relaxation: objective 0.000000e+00, 443 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 (860 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 13:29:32 2012 Optimize a model with 6942 rows, 2382 columns and 21456 nonzeros Presolve time: 0.02s Presolved: 6942 rows, 2382 columns, 21456 nonzeros Variable types: 0 continuous, 2382 integer (2382 binary) Root relaxation: objective 0.000000e+00, 457 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 (2447 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 13:29:32 2012 Optimize a model with 3576 rows, 1752 columns and 10728 nonzeros Presolve time: 0.01s Presolved: 3576 rows, 1752 columns, 10728 nonzeros Variable types: 0 continuous, 1752 integer (1752 binary) Root relaxation: objective 0.000000e+00, 475 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 420 - 0.00000 - - 0s 0 0 0.00000 0 425 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6967 simplex iterations) in 0.93 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 13:29:34 2012 Optimize a model with 4698 rows, 1962 columns and 14304 nonzeros Presolve time: 0.01s Presolved: 4698 rows, 1962 columns, 14304 nonzeros Variable types: 0 continuous, 1962 integer (1962 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.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 484 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 362 - 0.00000 - - 8s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 2 0.00000 0 366 - 0.00000 - - 11s 201 45 0.00000 11 417 - 0.00000 - 209 15s 501 86 0.00000 17 445 - 0.00000 - 187 20s 604 110 0.00000 21 565 - 0.00000 - 189 25s 606 111 0.00000 17 382 - 0.00000 - 188 30s 608 113 0.00000 20 374 - 0.00000 - 188 35s 610 114 0.00000 12 378 - 0.00000 - 187 41s 612 115 0.00000 15 370 - 0.00000 - 186 47s 614 117 0.00000 17 364 - 0.00000 - 186 52s 615 117 0.00000 20 356 - 0.00000 - 185 55s 644 131 infeasible 22 - 0.00000 - 332 60s 750 105 infeasible 24 - 0.00000 - 341 65s 854 81 infeasible 24 - 0.00000 - 349 70s 972 49 infeasible 24 - 0.00000 - 351 75s 1079 35 infeasible 23 - 0.00000 - 356 80s 1187 45 infeasible 30 - 0.00000 - 359 85s 1298 40 infeasible 24 - 0.00000 - 363 90s 1396 38 infeasible 20 - 0.00000 - 367 95s 1486 34 infeasible 24 - 0.00000 - 373 100s 1591 31 infeasible 26 - 0.00000 - 375 105s 1702 38 infeasible 25 - 0.00000 - 375 110s 1796 18 infeasible 20 - 0.00000 - 379 115s 1893 22 0.00000 22 431 - 0.00000 - 381 120s 2001 34 infeasible 28 - 0.00000 - 382 125s 2098 31 infeasible 20 - 0.00000 - 384 130s 2199 38 infeasible 25 - 0.00000 - 385 135s 2296 33 0.00000 20 392 - 0.00000 - 386 140s 2417 34 0.00000 16 497 - 0.00000 - 385 145s 2505 30 infeasible 24 - 0.00000 - 389 150s 2618 21 infeasible 23 - 0.00000 - 389 155s 2715 20 infeasible 24 - 0.00000 - 390 160s 2803 8 0.00000 21 500 - 0.00000 - 392 165s 2896 3 infeasible 22 - 0.00000 - 394 170s Cutting planes: Zero half: 21 Explored 2924 nodes (1217920 simplex iterations) in 171.34 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 13:32:25 2012 Optimize a model with 5820 rows, 2172 columns and 17880 nonzeros Presolve time: 0.02s Presolved: 5820 rows, 2172 columns, 17880 nonzeros Variable types: 0 continuous, 2172 integer (2172 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.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 445 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Zero half: 1 Explored 0 nodes (15917 simplex iterations) in 1.94 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