current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:01:38 2012 Optimize a model with 127764 rows, 24509 columns and 405972 nonzeros Presolve time: 0.45s Presolved: 127764 rows, 24509 columns, 405972 nonzeros Variable types: 0 continuous, 24509 integer (24509 binary) Root relaxation: objective 0.000000e+00, 574 iterations, 0.16 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 (1321 simplex iterations) in 0.89 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:01:41 2012 Optimize a model with 63990 rows, 12845 columns and 202986 nonzeros Presolve time: 0.18s Presolved: 63990 rows, 12845 columns, 202986 nonzeros Variable types: 0 continuous, 12845 integer (12845 binary) Root relaxation: objective 0.000000e+00, 787 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 (1303 simplex iterations) in 0.33 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:01:42 2012 Optimize a model with 32103 rows, 7013 columns and 101493 nonzeros Presolve time: 0.14s Presolved: 32103 rows, 7013 columns, 101493 nonzeros Variable types: 0 continuous, 7013 integer (7013 binary) Root relaxation: objective 0.000000e+00, 542 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 (998 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:01:43 2012 Optimize a model with 15569 rows, 3989 columns and 48867 nonzeros Presolve time: 0.05s Presolved: 15569 rows, 3989 columns, 48867 nonzeros Variable types: 0 continuous, 3989 integer (3989 binary) Root relaxation: objective 0.000000e+00, 452 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 (897 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:01:43 2012 Optimize a model with 7302 rows, 2477 columns and 22554 nonzeros Presolve time: 0.02s Presolved: 7302 rows, 2477 columns, 22554 nonzeros Variable types: 0 continuous, 2477 integer (2477 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 118 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3644 simplex iterations) in 0.22 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 16:01:43 2012 Optimize a model with 3759 rows, 1829 columns and 11277 nonzeros Presolve time: 0.01s Presolved: 3759 rows, 1829 columns, 11277 nonzeros Variable types: 0 continuous, 1829 integer (1829 binary) Root relaxation: objective 0.000000e+00, 495 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 314 - 0.00000 - - 0s 0 0 0.00000 0 434 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9832 simplex iterations) in 1.20 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 16:01:44 2012 Optimize a model with 4940 rows, 2045 columns and 15036 nonzeros Presolve time: 0.01s Presolved: 4940 rows, 2045 columns, 15036 nonzeros Variable types: 0 continuous, 2045 integer (2045 binary) Root relaxation: objective 0.000000e+00, 488 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 411 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 576 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 399 - 0.00000 - - 5s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 392 - 0.00000 - - 7s 0 0 0.00000 0 392 - 0.00000 - - 7s 0 2 0.00000 0 392 - 0.00000 - - 9s 38 20 0.00000 14 445 - 0.00000 - 313 10s 264 74 0.00000 13 527 - 0.00000 - 224 15s 512 119 infeasible 24 - 0.00000 - 205 20s 604 134 0.00000 11 572 - 0.00000 - 205 25s 607 136 0.00000 19 398 - 0.00000 - 204 33s 608 137 0.00000 17 384 - 0.00000 - 203 35s 610 138 0.00000 21 374 - 0.00000 - 203 40s 612 139 0.00000 17 382 - 0.00000 - 202 46s 614 141 0.00000 18 371 - 0.00000 - 201 51s 615 141 0.00000 13 382 - 0.00000 - 201 55s 676 148 0.00000 23 509 - 0.00000 - 359 60s 763 130 0.00000 23 514 - 0.00000 - 367 65s 851 99 infeasible 25 - 0.00000 - 375 70s 946 64 0.00000 22 533 - 0.00000 - 381 75s 1033 34 infeasible 26 - 0.00000 - 387 80s 1112 41 0.00000 27 469 - 0.00000 - 394 85s 1192 31 infeasible 23 - 0.00000 - 401 90s 1262 39 infeasible 28 - 0.00000 - 408 95s 1337 36 infeasible 25 - 0.00000 - 413 100s 1414 31 infeasible 27 - 0.00000 - 419 105s 1487 26 0.00000 20 544 - 0.00000 - 424 110s 1564 19 infeasible 24 - 0.00000 - 427 115s 1664 25 infeasible 24 - 0.00000 - 425 120s 1756 21 infeasible 24 - 0.00000 - 426 125s 1827 22 0.00000 26 461 - 0.00000 - 430 130s 1910 15 infeasible 20 - 0.00000 - 431 135s 1982 5 infeasible 27 - 0.00000 - 435 140s Cutting planes: Gomory: 1 Zero half: 13 Explored 2050 nodes (941493 simplex iterations) in 144.49 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 16:04:09 2012 Optimize a model with 6121 rows, 2261 columns and 18795 nonzeros Presolve time: 0.02s Presolved: 6121 rows, 2261 columns, 18795 nonzeros Variable types: 0 continuous, 2261 integer (2261 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 402 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 437 - 0.00000 - - 1s 0 0 0.00000 0 439 - 0.00000 - - 2s 0 0 0.00000 0 450 - 0.00000 - - 2s 0 0 0.00000 0 462 - 0.00000 - - 3s 0 0 0.00000 0 462 - 0.00000 - - 4s 0 2 0.00000 0 462 - 0.00000 - - 5s H 365 3 0.0000000 0.00000 0.0% 97.9 7s Cutting planes: Clique: 1 Zero half: 35 Explored 365 nodes (62047 simplex iterations) in 7.81 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