current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:46:49 2012 Optimize a model with 122749 rows, 23734 columns and 390186 nonzeros Presolve time: 0.42s Presolved: 122749 rows, 23734 columns, 390186 nonzeros Variable types: 0 continuous, 23734 integer (23734 binary) Root relaxation: objective 0.000000e+00, 556 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 (996 simplex iterations) in 0.74 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:46:51 2012 Optimize a model with 61481 rows, 12445 columns and 195093 nonzeros Presolve time: 0.17s Presolved: 61481 rows, 12445 columns, 195093 nonzeros Variable types: 0 continuous, 12445 integer (12445 binary) Root relaxation: objective 0.000000e+00, 718 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:46:52 2012 Optimize a model with 30269 rows, 6694 columns and 95706 nonzeros Presolve time: 0.12s Presolved: 30269 rows, 6694 columns, 95706 nonzeros Variable types: 0 continuous, 6694 integer (6694 binary) Root relaxation: objective 0.000000e+00, 443 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 (831 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:46:52 2012 Optimize a model with 15241 rows, 3925 columns and 47853 nonzeros Presolve time: 0.05s Presolved: 15241 rows, 3925 columns, 47853 nonzeros Variable types: 0 continuous, 3925 integer (3925 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 (825 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:46:53 2012 Optimize a model with 7149 rows, 2434 columns and 22086 nonzeros Presolve time: 0.02s Presolved: 7149 rows, 2434 columns, 22086 nonzeros Variable types: 0 continuous, 2434 integer (2434 binary) Root relaxation: objective 0.000000e+00, 470 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 (2593 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:46:53 2012 Optimize a model with 3681 rows, 1795 columns and 11043 nonzeros Presolve time: 0.01s Presolved: 3681 rows, 1795 columns, 11043 nonzeros Variable types: 0 continuous, 1795 integer (1795 binary) Root relaxation: objective 0.000000e+00, 501 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 330 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 597 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Gomory: 45 Zero half: 1599 Explored 0 nodes (11791 simplex iterations) in 2.06 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:46:55 2012 Optimize a model with 4837 rows, 2008 columns and 14724 nonzeros Presolve time: 0.01s Presolved: 4837 rows, 2008 columns, 14724 nonzeros Variable types: 0 continuous, 2008 integer (2008 binary) Root relaxation: objective 0.000000e+00, 469 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 424 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 550 - 0.00000 - - 2s 0 0 0.00000 0 415 - 0.00000 - - 3s 0 0 0.00000 0 427 - 0.00000 - - 4s 0 0 0.00000 0 422 - 0.00000 - - 5s 0 0 0.00000 0 418 - 0.00000 - - 5s 0 0 0.00000 0 410 - 0.00000 - - 6s 0 0 0.00000 0 408 - 0.00000 - - 7s 0 0 0.00000 0 406 - 0.00000 - - 8s 0 0 0.00000 0 402 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 9s 0 0 0.00000 0 398 - 0.00000 - - 10s 0 0 0.00000 0 404 - 0.00000 - - 11s 0 0 0.00000 0 394 - 0.00000 - - 12s 0 0 0.00000 0 392 - 0.00000 - - 12s 0 0 0.00000 0 396 - 0.00000 - - 13s 0 0 0.00000 0 396 - 0.00000 - - 14s 0 2 0.00000 0 396 - 0.00000 - - 15s 285 45 0.00000 17 407 - 0.00000 - 170 20s 554 68 infeasible 13 - 0.00000 - 181 25s 605 87 0.00000 10 404 - 0.00000 - 180 31s 607 88 0.00000 16 390 - 0.00000 - 179 36s 609 89 0.00000 13 585 - 0.00000 - 179 41s 612 91 0.00000 10 578 - 0.00000 - 178 45s 654 97 infeasible 25 - 0.00000 - 273 50s 789 45 0.00000 23 500 - 0.00000 - 283 55s 922 12 infeasible 25 - 0.00000 - 290 60s 1044 20 infeasible 24 - 0.00000 - 296 65s 1155 23 0.00000 26 392 - 0.00000 - 305 70s 1265 23 infeasible 29 - 0.00000 - 311 75s 1390 32 0.00000 27 515 - 0.00000 - 314 80s 1514 38 infeasible 27 - 0.00000 - 316 85s 1614 34 infeasible 29 - 0.00000 - 322 90s 1746 34 infeasible 26 - 0.00000 - 322 95s 1862 40 0.00000 22 448 - 0.00000 - 324 100s 1994 74 infeasible 26 - 0.00000 - 324 105s 2116 66 infeasible 28 - 0.00000 - 326 110s 2231 59 0.00000 20 509 - 0.00000 - 328 115s 2337 67 infeasible 26 - 0.00000 - 331 120s 2437 69 infeasible 25 - 0.00000 - 335 125s 2542 66 infeasible 28 - 0.00000 - 337 130s 2658 62 infeasible 26 - 0.00000 - 338 135s 2783 61 0.00000 23 413 - 0.00000 - 338 140s 2875 51 0.00000 23 525 - 0.00000 - 341 145s 2978 60 infeasible 25 - 0.00000 - 342 150s 3091 55 0.00000 28 380 - 0.00000 - 343 155s 3198 54 infeasible 29 - 0.00000 - 345 160s 3286 42 infeasible 25 - 0.00000 - 347 165s 3386 40 infeasible 28 - 0.00000 - 349 170s 3483 43 0.00000 25 406 - 0.00000 - 351 175s 3603 35 infeasible 26 - 0.00000 - 351 180s 3699 31 infeasible 22 - 0.00000 - 353 185s 3792 26 0.00000 27 522 - 0.00000 - 355 190s 3907 23 0.00000 28 510 - 0.00000 - 355 195s 4004 10 0.00000 24 444 - 0.00000 - 357 200s 4111 7 infeasible 26 - 0.00000 - 358 205s Cutting planes: Gomory: 5 Clique: 2 Zero half: 7 Explored 4155 nodes (1579909 simplex iterations) in 207.43 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:50:23 2012 Optimize a model with 5993 rows, 2221 columns and 18405 nonzeros Presolve time: 0.02s Presolved: 5993 rows, 2221 columns, 18405 nonzeros Variable types: 0 continuous, 2221 integer (2221 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.00000 0 408 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 193 Zero half: 599 Explored 0 nodes (5894 simplex iterations) in 0.65 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