current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:28 2012 Optimize a model with 76105 rows, 11495 columns and 238320 nonzeros Presolve time: 0.21s Presolved: 76105 rows, 11495 columns, 238320 nonzeros Variable types: 0 continuous, 11495 integer (11495 binary) Root relaxation: objective 0.000000e+00, 358 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 (752 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 14:44:29 2012 Optimize a model with 38125 rows, 6275 columns and 119160 nonzeros Presolve time: 0.15s Presolved: 38125 rows, 6275 columns, 119160 nonzeros Variable types: 0 continuous, 6275 integer (6275 binary) Root relaxation: objective 0.000000e+00, 343 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 (668 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 14:44:30 2012 Optimize a model with 19135 rows, 3665 columns and 59580 nonzeros Presolve time: 0.07s Presolved: 19135 rows, 3665 columns, 59580 nonzeros Variable types: 0 continuous, 3665 integer (3665 binary) Root relaxation: objective 0.000000e+00, 403 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 (793 simplex iterations) in 0.12 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 14:44:30 2012 Optimize a model with 9640 rows, 2360 columns and 29790 nonzeros Presolve time: 0.03s Presolved: 9640 rows, 2360 columns, 29790 nonzeros Variable types: 0 continuous, 2360 integer (2360 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1070 simplex iterations) in 0.07 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 14:44:30 2012 Optimize a model with 4365 rows, 1635 columns and 13240 nonzeros Presolve time: 0.01s Presolved: 4365 rows, 1635 columns, 13240 nonzeros Variable types: 0 continuous, 1635 integer (1635 binary) Root relaxation: objective 0.000000e+00, 330 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 290 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 470 - 0.00000 - - 1s 0 0 0.00000 0 479 - 0.00000 - - 2s 0 0 infeasible 0 - 0.10000 - - 3s Cutting planes: Clique: 26 Zero half: 40 Explored 0 nodes (13379 simplex iterations) in 3.02 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: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:33 2012 Optimize a model with 6475 rows, 1925 columns and 19860 nonzeros Presolve time: 0.02s Presolved: 6475 rows, 1925 columns, 19860 nonzeros Variable types: 0 continuous, 1925 integer (1925 binary) Root relaxation: objective 0.000000e+00, 305 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 217 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 1s Cutting planes: Clique: 11 Explored 0 nodes (8672 simplex iterations) in 1.12 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 14:44:35 2012 Optimize a model with 5420 rows, 1780 columns and 16550 nonzeros Presolve time: 0.01s Presolved: 5420 rows, 1780 columns, 16550 nonzeros Variable types: 0 continuous, 1780 integer (1780 binary) Root relaxation: objective 0.000000e+00, 297 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 288 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 351 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 340 - 0.00000 - - 6s 0 0 0.00000 0 324 - 0.00000 - - 7s 0 0 0.00000 0 331 - 0.00000 - - 8s 0 0 0.00000 0 331 - 0.00000 - - 9s 0 2 0.00000 0 331 - 0.00000 - - 10s 188 32 0.00000 15 244 - 0.00000 - 215 15s 405 31 0.00000 20 346 - 0.00000 - 210 20s 603 52 0.00000 23 360 - 0.00000 - 208 26s 605 54 0.00000 2 325 - 0.00000 - 208 30s 607 55 0.00000 10 355 - 0.00000 - 207 35s 609 56 0.00000 13 360 - 0.00000 - 206 40s 650 72 0.00000 20 342 - 0.00000 - 276 45s 747 52 infeasible 25 - 0.00000 - 293 50s 851 73 0.00000 32 352 - 0.00000 - 303 55s 940 76 0.00000 26 356 - 0.00000 - 316 60s 1020 74 0.00000 23 361 - 0.00000 - 332 65s 1130 66 0.00000 28 354 - 0.00000 - 337 70s 1223 75 0.00000 20 376 - 0.00000 - 345 75s 1335 83 0.00000 31 347 - 0.00000 - 348 80s 1424 76 0.00000 24 386 - 0.00000 - 356 85s 1522 76 infeasible 24 - 0.00000 - 360 90s 1620 66 infeasible 28 - 0.00000 - 364 95s 1707 65 infeasible 26 - 0.00000 - 370 100s 1801 73 infeasible 25 - 0.00000 - 373 105s 1899 81 0.00000 29 342 - 0.00000 - 376 110s 1985 67 0.00000 22 363 - 0.00000 - 380 115s 2098 66 0.00000 22 374 - 0.00000 - 380 120s 2185 73 infeasible 30 - 0.00000 - 383 125s 2283 73 0.00000 26 357 - 0.00000 - 386 130s 2378 74 0.00000 32 364 - 0.00000 - 388 135s 2477 63 0.00000 26 351 - 0.00000 - 389 140s 2569 61 infeasible 28 - 0.00000 - 391 145s 2664 54 infeasible 32 - 0.00000 - 393 150s 2760 50 infeasible 24 - 0.00000 - 394 155s 2857 51 infeasible 27 - 0.00000 - 396 160s 2954 48 0.00000 22 352 - 0.00000 - 397 165s 3047 51 infeasible 26 - 0.00000 - 397 170s 3139 45 infeasible 25 - 0.00000 - 399 175s 3239 39 infeasible 25 - 0.00000 - 399 180s 3340 40 infeasible 24 - 0.00000 - 399 185s 3434 38 0.00000 21 371 - 0.00000 - 400 190s 3516 36 infeasible 29 - 0.00000 - 403 195s 3615 39 0.00000 29 347 - 0.00000 - 404 200s 3710 44 0.00000 32 353 - 0.00000 - 405 205s 3806 58 0.00000 28 340 - 0.00000 - 405 210s 3886 50 infeasible 27 - 0.00000 - 407 215s 3975 49 0.00000 29 368 - 0.00000 - 409 220s 4061 45 infeasible 31 - 0.00000 - 410 225s 4146 42 infeasible 24 - 0.00000 - 411 230s 4253 43 infeasible 30 - 0.00000 - 411 235s 4338 42 infeasible 28 - 0.00000 - 412 240s 4428 38 0.00000 28 345 - 0.00000 - 413 245s 4521 35 infeasible 29 - 0.00000 - 413 250s 4622 28 0.00000 26 361 - 0.00000 - 413 255s 4722 24 0.00000 26 353 - 0.00000 - 413 260s 4829 23 0.00000 27 358 - 0.00000 - 413 265s 4933 15 infeasible 27 - 0.00000 - 413 270s 5022 10 infeasible 28 - 0.00000 - 413 275s 5106 10 infeasible 26 - 0.00000 - 414 280s 5205 9 infeasible 26 - 0.00000 - 414 285s 5296 10 0.00000 28 345 - 0.00000 - 415 290s Cutting planes: Gomory: 1 Clique: 5 Zero half: 3 Explored 5315 nodes (2254381 simplex iterations) in 291.13 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6