current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:15:49 2012 Optimize a model with 113095 rows, 22417 columns and 359985 nonzeros Presolve time: 0.37s Presolved: 113095 rows, 22417 columns, 359985 nonzeros Variable types: 0 continuous, 22417 integer (22417 binary) Root relaxation: objective 0.000000e+00, 533 iterations, 0.14 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 (992 simplex iterations) in 0.68 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:15:52 2012 Optimize a model with 56103 rows, 11653 columns and 178245 nonzeros Presolve time: 0.17s Presolved: 56103 rows, 11653 columns, 178245 nonzeros Variable types: 0 continuous, 11653 integer (11653 binary) Root relaxation: objective 0.000000e+00, 736 iterations, 0.07 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 (1232 simplex iterations) in 0.31 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:15:53 2012 Optimize a model with 27607 rows, 6271 columns and 87375 nonzeros Presolve time: 0.11s Presolved: 27607 rows, 6271 columns, 87375 nonzeros Variable types: 0 continuous, 6271 integer (6271 binary) Root relaxation: objective 0.000000e+00, 500 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 (927 simplex iterations) in 0.17 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:15:53 2012 Optimize a model with 13359 rows, 3580 columns and 41940 nonzeros Presolve time: 0.04s Presolved: 13359 rows, 3580 columns, 41940 nonzeros Variable types: 0 continuous, 3580 integer (3580 binary) Root relaxation: objective 0.000000e+00, 426 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 (1106 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:15:53 2012 Optimize a model with 6783 rows, 2338 columns and 20970 nonzeros Presolve time: 0.02s Presolved: 6783 rows, 2338 columns, 20970 nonzeros Variable types: 0 continuous, 2338 integer (2338 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3115 simplex iterations) in 0.17 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 12:15:54 2012 Optimize a model with 3495 rows, 1717 columns and 10485 nonzeros Presolve time: 0.01s Presolved: 3495 rows, 1717 columns, 10485 nonzeros Variable types: 0 continuous, 1717 integer (1717 binary) Root relaxation: objective 0.000000e+00, 455 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 412 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5823 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:15:55 2012 Optimize a model with 4591 rows, 1924 columns and 13980 nonzeros Presolve time: 0.01s Presolved: 4591 rows, 1924 columns, 13980 nonzeros Variable types: 0 continuous, 1924 integer (1924 binary) Root relaxation: objective 0.000000e+00, 480 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 412 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 533 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 4s 0 0 0.00000 0 409 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 2 0.00000 0 374 - 0.00000 - - 9s 21 19 0.00000 14 457 - 0.00000 - 411 10s 370 108 infeasible 16 - 0.00000 - 169 15s 605 153 0.00000 24 390 - 0.00000 - 170 20s 608 155 0.00000 13 366 - 0.00000 - 169 25s 610 157 0.00000 17 373 - 0.00000 - 168 30s 612 158 0.00000 17 363 - 0.00000 - 168 36s 614 159 0.00000 15 326 - 0.00000 - 167 42s 616 161 0.00000 11 326 - 0.00000 - 167 45s 624 166 0.00000 13 424 - 0.00000 - 282 50s 698 157 0.00000 20 377 - 0.00000 - 285 55s 828 116 infeasible 19 - 0.00000 - 295 60s 958 67 infeasible 18 - 0.00000 - 300 65s 1052 51 infeasible 26 - 0.00000 - 306 70s 1153 36 0.00000 23 370 - 0.00000 - 317 75s 1231 30 0.00000 21 368 - 0.00000 - 327 80s 1319 36 infeasible 22 - 0.00000 - 335 85s 1417 40 infeasible 22 - 0.00000 - 342 90s 1513 50 infeasible 22 - 0.00000 - 345 95s 1631 78 infeasible 27 - 0.00000 - 347 100s 1756 89 infeasible 24 - 0.00000 - 348 105s 1895 94 0.00000 20 410 - 0.00000 - 346 110s 1994 91 0.00000 21 499 - 0.00000 - 350 115s 2108 103 infeasible 28 - 0.00000 - 351 120s 2207 94 0.00000 17 478 - 0.00000 - 355 125s 2324 95 0.00000 25 507 - 0.00000 - 357 130s 2428 71 infeasible 24 - 0.00000 - 359 135s 2522 57 infeasible 19 - 0.00000 - 363 140s 2606 33 0.00000 18 406 - 0.00000 - 368 145s 2698 23 0.00000 21 384 - 0.00000 - 371 150s 2809 12 infeasible 22 - 0.00000 - 372 155s 2914 5 infeasible 22 - 0.00000 - 374 160s Cutting planes: Clique: 1 Zero half: 20 Explored 2938 nodes (1154687 simplex iterations) in 161.57 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 12:18:36 2012 Optimize a model with 5687 rows, 2131 columns and 17475 nonzeros Presolve time: 0.02s Presolved: 5687 rows, 2131 columns, 17475 nonzeros Variable types: 0 continuous, 2131 integer (2131 binary) Root relaxation: objective 0.000000e+00, 453 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 398 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 299 - 0.00000 - - 4s 0 0 0.00000 0 274 - 0.00000 - - 4s 0 0 0.00000 0 296 - 0.00000 - - 5s * 0 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 1 Zero half: 254 Explored 0 nodes (46887 simplex iterations) in 5.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% optimal solution found: number of colors: 5