current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:34:09 2012 Optimize a model with 84435 rows, 12165 columns and 263884 nonzeros Presolve time: 0.24s Presolved: 84435 rows, 12165 columns, 263884 nonzeros Variable types: 0 continuous, 12165 integer (12165 binary) Root relaxation: objective 0.000000e+00, 371 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 (1008 simplex iterations) in 0.52 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:34:11 2012 Optimize a model with 42292 rows, 6652 columns and 131942 nonzeros Presolve time: 0.16s Presolved: 42292 rows, 6652 columns, 131942 nonzeros Variable types: 0 continuous, 6652 integer (6652 binary) Root relaxation: objective 0.000000e+00, 352 iterations, 0.05 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 (696 simplex iterations) in 0.25 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:34:12 2012 Optimize a model with 20651 rows, 3821 columns and 64188 nonzeros Presolve time: 0.07s Presolved: 20651 rows, 3821 columns, 64188 nonzeros Variable types: 0 continuous, 3821 integer (3821 binary) Root relaxation: objective 0.000000e+00, 431 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 (870 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:34:12 2012 Optimize a model with 10400 rows, 2480 columns and 32094 nonzeros Presolve time: 0.03s Presolved: 10400 rows, 2480 columns, 32094 nonzeros Variable types: 0 continuous, 2480 integer (2480 binary) Root relaxation: objective 0.000000e+00, 312 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 (1235 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 17:34:12 2012 Optimize a model with 4705 rows, 1735 columns and 14264 nonzeros Presolve time: 0.01s Presolved: 4705 rows, 1735 columns, 14264 nonzeros Variable types: 0 continuous, 1735 integer (1735 binary) Root relaxation: objective 0.000000e+00, 326 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 184 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 1s 0 0 0.00000 0 489 - 0.00000 - - 2s 0 0 0.00000 0 508 - 0.00000 - - 2s 0 0 0.00000 0 493 - 0.00000 - - 3s 0 0 0.00000 0 502 - 0.00000 - - 4s 0 0 0.00000 0 495 - 0.00000 - - 5s 0 0 0.00000 0 487 - 0.00000 - - 7s 0 0 0.00000 0 489 - 0.00000 - - 8s 0 0 0.00000 0 493 - 0.00000 - - 8s 0 0 0.00000 0 490 - 0.00000 - - 9s 0 2 0.00000 0 490 - 0.00000 - - 10s Cutting planes: Clique: 29 Zero half: 17 Explored 5 nodes (56624 simplex iterations) in 11.06 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 17:34:23 2012 Optimize a model with 6983 rows, 2033 columns and 21396 nonzeros Presolve time: 0.02s Presolved: 6983 rows, 2033 columns, 21396 nonzeros Variable types: 0 continuous, 2033 integer (2033 binary) Root relaxation: objective 0.000000e+00, 317 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 276 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 226 - 0.00000 - - 4s 0 0 0.00000 0 192 - 0.00000 - - 4s 0 0 0.00000 0 222 - 0.00000 - - 5s 0 0 0.00000 0 259 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 417 - 0.00000 - - 8s 0 0 0.00000 0 399 - 0.00000 - - 9s H 0 0 0.0000000 0.00000 0.0% - 9s Cutting planes: Clique: 5 Explored 0 nodes (56650 simplex iterations) in 9.44 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 17:34:33 2012 Optimize a model with 5844 rows, 1884 columns and 17830 nonzeros Presolve time: 0.02s Presolved: 5844 rows, 1884 columns, 17830 nonzeros Variable types: 0 continuous, 1884 integer (1884 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 296 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 0.00000 0 421 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 0 0.00000 0 388 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 394 - 0.00000 - - 9s 0 0 0.00000 0 401 - 0.00000 - - 10s 0 0 0.00000 0 397 - 0.00000 - - 11s 0 2 0.00000 0 397 - 0.00000 - - 12s 79 19 0.00000 17 335 - 0.00000 - 264 15s 316 37 infeasible 24 - 0.00000 - 206 20s 546 28 infeasible 19 - 0.00000 - 201 25s 769 21 0.00000 17 303 - 0.00000 - 197 30s 909 33 0.00000 13 400 - 0.00000 - 198 36s 911 35 0.00000 16 412 - 0.00000 - 198 40s 912 35 0.00000 16 417 - 0.00000 - 197 45s 914 37 0.00000 6 401 - 0.00000 - 197 51s 916 38 0.00000 16 355 - 0.00000 - 196 57s 917 39 0.00000 16 345 - 0.00000 - 196 60s 919 40 0.00000 18 368 - 0.00000 - 196 67s 920 41 0.00000 6 425 - 0.00000 - 196 70s 947 53 infeasible 26 - 0.00000 - 270 75s 1027 42 infeasible 30 - 0.00000 - 286 80s 1108 40 0.00000 31 377 - 0.00000 - 300 85s 1194 50 infeasible 33 - 0.00000 - 310 90s 1283 53 0.00000 32 329 - 0.00000 - 318 95s 1377 53 0.00000 29 368 - 0.00000 - 325 100s 1470 52 0.00000 32 375 - 0.00000 - 331 105s 1564 50 infeasible 28 - 0.00000 - 337 110s 1641 55 infeasible 28 - 0.00000 - 345 115s 1723 55 infeasible 33 - 0.00000 - 351 120s 1815 63 0.00000 27 384 - 0.00000 - 355 125s 1898 62 infeasible 27 - 0.00000 - 359 130s 1977 61 0.00000 25 399 - 0.00000 - 364 135s 2043 55 infeasible 34 - 0.00000 - 371 140s 2122 56 infeasible 32 - 0.00000 - 375 145s 2203 53 0.00000 29 387 - 0.00000 - 379 150s 2265 49 infeasible 31 - 0.00000 - 386 155s 2349 49 infeasible 28 - 0.00000 - 388 160s 2440 50 infeasible 33 - 0.00000 - 390 165s 2521 57 infeasible 31 - 0.00000 - 393 170s 2621 63 infeasible 37 - 0.00000 - 392 175s 2698 50 infeasible 25 - 0.00000 - 396 180s 2791 53 0.00000 26 392 - 0.00000 - 396 185s 2879 63 infeasible 33 - 0.00000 - 397 190s 2959 55 infeasible 26 - 0.00000 - 400 195s 3045 57 infeasible 31 - 0.00000 - 401 200s 3130 62 0.00000 26 382 - 0.00000 - 402 205s 3208 66 0.00000 31 378 - 0.00000 - 404 210s 3285 59 0.00000 26 406 - 0.00000 - 406 215s 3384 62 infeasible 30 - 0.00000 - 406 220s 3479 71 infeasible 35 - 0.00000 - 406 225s 3568 70 0.00000 31 332 - 0.00000 - 407 230s 3684 80 infeasible 33 - 0.00000 - 405 235s 3783 77 0.00000 30 379 - 0.00000 - 404 240s 3886 78 infeasible 39 - 0.00000 - 404 245s 3987 67 infeasible 34 - 0.00000 - 404 250s 4071 71 infeasible 37 - 0.00000 - 405 255s 4166 72 0.00000 30 377 - 0.00000 - 405 260s 4254 66 infeasible 37 - 0.00000 - 406 265s 4345 81 0.00000 37 365 - 0.00000 - 406 270s Cutting planes: Clique: 12 Zero half: 14 Explored 4411 nodes (1849946 simplex iterations) in 274.64 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