current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:27 2012 Optimize a model with 77184 rows, 11438 columns and 241488 nonzeros Presolve time: 0.22s Presolved: 77184 rows, 11438 columns, 241488 nonzeros Variable types: 0 continuous, 11438 integer (11438 binary) Root relaxation: objective 0.000000e+00, 356 iterations, 0.09 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 (761 simplex iterations) in 0.42 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:28 2012 Optimize a model with 38664 rows, 6254 columns and 120744 nonzeros Presolve time: 0.15s Presolved: 38664 rows, 6254 columns, 120744 nonzeros Variable types: 0 continuous, 6254 integer (6254 binary) Root relaxation: objective 0.000000e+00, 371 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 (689 simplex iterations) in 0.24 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:29 2012 Optimize a model with 19404 rows, 3662 columns and 60372 nonzeros Presolve time: 0.07s Presolved: 19404 rows, 3662 columns, 60372 nonzeros Variable types: 0 continuous, 3662 integer (3662 binary) Root relaxation: objective 0.000000e+00, 415 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 (1074 simplex iterations) in 0.14 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:29 2012 Optimize a model with 9774 rows, 2366 columns and 30186 nonzeros Presolve time: 0.03s Presolved: 9774 rows, 2366 columns, 30186 nonzeros Variable types: 0 continuous, 2366 integer (2366 binary) Root relaxation: objective 0.000000e+00, 300 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 (1056 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:29 2012 Optimize a model with 4424 rows, 1646 columns and 13416 nonzeros Presolve time: 0.01s Presolved: 4424 rows, 1646 columns, 13416 nonzeros Variable types: 0 continuous, 1646 integer (1646 binary) Root relaxation: objective 0.000000e+00, 306 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 286 - 0.00000 - - 0s 0 0 0.00000 0 189 - 0.00000 - - 1s 0 0 0.00000 0 456 - 0.00000 - - 2s 0 0 0.00000 0 473 - 0.00000 - - 3s 0 0 0.00000 0 456 - 0.00000 - - 3s 0 0 0.00000 0 456 - 0.00000 - - 4s 0 0 0.00000 0 447 - 0.00000 - - 5s 0 0 0.00000 0 457 - 0.00000 - - 6s 0 0 0.00000 0 454 - 0.00000 - - 7s 0 0 0.00000 0 468 - 0.00000 - - 8s 0 0 0.00000 0 468 - 0.00000 - - 8s 0 2 0.00000 0 468 - 0.00000 - - 10s Cutting planes: Clique: 19 Zero half: 19 Explored 9 nodes (53616 simplex iterations) in 10.90 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:40 2012 Optimize a model with 6564 rows, 1934 columns and 20124 nonzeros Presolve time: 0.02s Presolved: 6564 rows, 1934 columns, 20124 nonzeros Variable types: 0 continuous, 1934 integer (1934 binary) Root relaxation: objective 0.000000e+00, 302 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 284 - 0.00000 - - 0s 0 0 0.00000 0 191 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 181 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 1 Explored 0 nodes (18692 simplex iterations) in 2.79 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:29:43 2012 Optimize a model with 5494 rows, 1790 columns and 16770 nonzeros Presolve time: 0.01s Presolved: 5494 rows, 1790 columns, 16770 nonzeros Variable types: 0 continuous, 1790 integer (1790 binary) Root relaxation: objective 0.000000e+00, 295 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 278 - 0.00000 - - 0s 0 0 0.00000 0 132 - 0.00000 - - 0s 0 0 0.00000 0 273 - 0.00000 - - 1s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 276 - 0.00000 - - 5s 0 0 0.00000 0 214 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 324 - 0.00000 - - 8s 0 0 0.00000 0 323 - 0.00000 - - 9s 0 0 0.00000 0 337 - 0.00000 - - 10s 0 0 0.00000 0 336 - 0.00000 - - 12s 0 0 0.00000 0 326 - 0.00000 - - 13s 0 0 0.00000 0 325 - 0.00000 - - 14s 0 0 0.00000 0 418 - 0.00000 - - 15s 0 0 0.00000 0 394 - 0.00000 - - 16s 0 0 0.00000 0 383 - 0.00000 - - 17s 0 0 0.00000 0 383 - 0.00000 - - 18s 0 0 0.00000 0 383 - 0.00000 - - 18s 0 2 0.00000 0 383 - 0.00000 - - 20s 188 40 0.00000 7 346 - 0.00000 - 195 25s 428 76 0.00000 13 338 - 0.00000 - 188 30s 603 92 0.00000 22 273 - 0.00000 - 184 35s 605 94 0.00000 17 317 - 0.00000 - 183 40s 607 95 0.00000 17 278 - 0.00000 - 182 45s 610 97 0.00000 17 372 - 0.00000 - 182 51s 612 98 0.00000 16 355 - 0.00000 - 181 56s 632 110 0.00000 18 372 - 0.00000 - 270 60s 720 82 infeasible 24 - 0.00000 - 292 65s 813 60 infeasible 28 - 0.00000 - 308 70s 899 48 0.00000 23 352 - 0.00000 - 320 75s 988 54 infeasible 25 - 0.00000 - 330 80s 1078 64 infeasible 24 - 0.00000 - 339 85s 1169 65 infeasible 25 - 0.00000 - 346 90s 1267 69 infeasible 30 - 0.00000 - 351 95s 1360 74 infeasible 27 - 0.00000 - 355 100s 1466 86 0.00000 24 369 - 0.00000 - 357 105s 1569 103 0.00000 20 394 - 0.00000 - 359 110s 1669 119 infeasible 26 - 0.00000 - 362 115s 1759 119 0.00000 25 353 - 0.00000 - 366 120s 1857 131 infeasible 23 - 0.00000 - 368 125s 1967 151 0.00000 29 350 - 0.00000 - 368 130s 2055 145 infeasible 25 - 0.00000 - 371 135s 2142 150 0.00000 29 317 - 0.00000 - 375 140s 2223 139 infeasible 27 - 0.00000 - 379 145s 2311 143 infeasible 27 - 0.00000 - 382 150s 2392 136 infeasible 25 - 0.00000 - 385 155s 2486 128 infeasible 24 - 0.00000 - 387 160s 2586 126 infeasible 28 - 0.00000 - 387 165s 2674 114 infeasible 26 - 0.00000 - 389 170s 2768 110 0.00000 18 368 - 0.00000 - 391 175s 2870 120 0.00000 21 380 - 0.00000 - 391 180s 2972 118 0.00000 21 343 - 0.00000 - 391 185s 3065 127 0.00000 27 368 - 0.00000 - 391 190s 3151 125 infeasible 26 - 0.00000 - 393 195s 3264 128 infeasible 27 - 0.00000 - 392 200s 3351 123 0.00000 25 354 - 0.00000 - 393 205s 3436 116 0.00000 22 369 - 0.00000 - 395 210s 3534 112 0.00000 28 359 - 0.00000 - 395 215s 3626 106 infeasible 27 - 0.00000 - 396 220s 3714 98 infeasible 24 - 0.00000 - 398 225s 3814 98 0.00000 25 348 - 0.00000 - 398 230s 3917 93 0.00000 20 376 - 0.00000 - 398 235s 4007 85 infeasible 26 - 0.00000 - 399 240s 4110 98 infeasible 36 - 0.00000 - 398 245s 4204 104 infeasible 30 - 0.00000 - 399 250s 4289 103 0.00000 26 355 - 0.00000 - 401 255s 4375 105 0.00000 30 360 - 0.00000 - 402 260s 4479 113 infeasible 30 - 0.00000 - 402 265s 4568 114 0.00000 17 386 - 0.00000 - 402 270s 4669 119 infeasible 24 - 0.00000 - 403 275s 4762 120 infeasible 35 - 0.00000 - 403 280s Cutting planes: Clique: 13 Zero half: 16 Explored 4799 nodes (2027200 simplex iterations) in 281.85 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6