current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:51:18 2012 Optimize a model with 74410 rows, 10861 columns and 232610 nonzeros Presolve time: 0.21s Presolved: 74410 rows, 10861 columns, 232610 nonzeros Variable types: 0 continuous, 10861 integer (10861 binary) Root relaxation: objective 0.000000e+00, 329 iterations, 0.08 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 (718 simplex iterations) in 0.40 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:51:19 2012 Optimize a model with 37275 rows, 5961 columns and 116305 nonzeros Presolve time: 0.16s Presolved: 37275 rows, 5961 columns, 116305 nonzeros Variable types: 0 continuous, 5961 integer (5961 binary) Root relaxation: objective 0.000000e+00, 333 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 (724 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:51:20 2012 Optimize a model with 18177 rows, 3441 columns and 56491 nonzeros Presolve time: 0.06s Presolved: 18177 rows, 3441 columns, 56491 nonzeros Variable types: 0 continuous, 3441 integer (3441 binary) Root relaxation: objective 0.000000e+00, 410 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 (1003 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:51:20 2012 Optimize a model with 8628 rows, 2181 columns and 26584 nonzeros Presolve time: 0.02s Presolved: 8628 rows, 2181 columns, 26584 nonzeros Variable types: 0 continuous, 2181 integer (2181 binary) Root relaxation: objective 0.000000e+00, 310 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 (1001 simplex iterations) in 0.06 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:51:20 2012 Optimize a model with 4384 rows, 1621 columns and 13292 nonzeros Presolve time: 0.01s Presolved: 4384 rows, 1621 columns, 13292 nonzeros Variable types: 0 continuous, 1621 integer (1621 binary) Root relaxation: objective 0.000000e+00, 287 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 194 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 468 - 0.00000 - - 3s 0 0 0.00000 0 455 - 0.00000 - - 3s 0 0 0.00000 0 462 - 0.00000 - - 4s 0 0 0.00000 0 460 - 0.00000 - - 5s 0 0 0.00000 0 466 - 0.00000 - - 6s 0 0 0.00000 0 456 - 0.00000 - - 7s 0 0 0.00000 0 450 - 0.00000 - - 8s 0 0 0.00000 0 452 - 0.00000 - - 8s 0 0 0.00000 0 452 - 0.00000 - - 9s 0 2 0.00000 0 452 - 0.00000 - - 10s Cutting planes: Clique: 32 Zero half: 18 Explored 11 nodes (55639 simplex iterations) in 10.95 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:51:32 2012 Optimize a model with 6506 rows, 1901 columns and 19938 nonzeros Presolve time: 0.02s Presolved: 6506 rows, 1901 columns, 19938 nonzeros Variable types: 0 continuous, 1901 integer (1901 binary) Root relaxation: objective 0.000000e+00, 285 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 272 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 373 - 0.00000 - - 5s 0 2 0.00000 0 373 - 0.00000 - - 6s 703 192 0.00000 28 359 - 0.00000 - 74.6 11s 713 199 0.00000 10 279 - 0.00000 - 73.5 15s 717 202 0.00000 24 254 - 0.00000 - 73.1 20s 722 205 0.00000 40 264 - 0.00000 - 72.6 25s 814 256 0.00000 24 321 - 0.00000 - 126 30s 1132 354 0.00000 43 286 - 0.00000 - 141 35s * 1497 3 59 0.0000000 0.00000 0.0% 144 39s Cutting planes: Clique: 2 Zero half: 18 Explored 1498 nodes (247104 simplex iterations) in 39.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:52:11 2012 Optimize a model with 5445 rows, 1761 columns and 16615 nonzeros Presolve time: 0.01s Presolved: 5445 rows, 1761 columns, 16615 nonzeros Variable types: 0 continuous, 1761 integer (1761 binary) Root relaxation: objective 0.000000e+00, 289 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 272 - 0.00000 - - 0s 0 0 0.00000 0 223 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 421 - 0.00000 - - 2s 0 0 0.00000 0 407 - 0.00000 - - 3s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 6s 0 0 0.00000 0 336 - 0.00000 - - 8s 0 0 0.00000 0 333 - 0.00000 - - 9s 0 0 0.00000 0 335 - 0.00000 - - 10s 0 0 0.00000 0 335 - 0.00000 - - 12s 0 0 0.00000 0 322 - 0.00000 - - 13s 0 0 0.00000 0 320 - 0.00000 - - 14s 0 0 0.00000 0 334 - 0.00000 - - 15s 0 0 0.00000 0 318 - 0.00000 - - 15s 0 2 0.00000 0 318 - 0.00000 - - 16s 96 26 0.00000 22 313 - 0.00000 - 257 20s 359 27 0.00000 16 329 - 0.00000 - 200 25s 584 25 0.00000 15 351 - 0.00000 - 200 30s 605 34 0.00000 10 395 - 0.00000 - 198 37s 606 34 0.00000 15 398 - 0.00000 - 197 40s 608 36 0.00000 19 384 - 0.00000 - 197 46s 610 37 0.00000 10 377 - 0.00000 - 196 50s 653 46 infeasible 27 - 0.00000 - 262 55s 751 28 0.00000 25 349 - 0.00000 - 281 60s 836 27 0.00000 27 347 - 0.00000 - 297 65s 937 22 infeasible 27 - 0.00000 - 308 70s 1041 36 infeasible 31 - 0.00000 - 315 75s 1127 34 infeasible 30 - 0.00000 - 326 80s 1215 34 0.00000 24 357 - 0.00000 - 335 85s 1311 44 infeasible 28 - 0.00000 - 340 90s 1409 44 infeasible 26 - 0.00000 - 345 95s 1500 49 infeasible 26 - 0.00000 - 351 100s 1584 47 infeasible 27 - 0.00000 - 357 105s 1670 47 infeasible 24 - 0.00000 - 362 110s 1752 53 0.00000 27 351 - 0.00000 - 367 115s 1853 54 infeasible 26 - 0.00000 - 369 120s 1939 48 infeasible 24 - 0.00000 - 373 125s 2023 44 0.00000 27 338 - 0.00000 - 378 130s 2129 50 infeasible 30 - 0.00000 - 378 135s 2240 69 0.00000 32 341 - 0.00000 - 377 140s 2332 67 0.00000 30 353 - 0.00000 - 380 145s 2420 67 0.00000 30 350 - 0.00000 - 383 150s 2528 69 0.00000 32 343 - 0.00000 - 383 155s 2612 71 0.00000 26 366 - 0.00000 - 387 160s 2698 71 infeasible 32 - 0.00000 - 390 165s 2792 73 0.00000 27 370 - 0.00000 - 391 170s 2893 78 infeasible 33 - 0.00000 - 391 175s 2989 76 infeasible 33 - 0.00000 - 392 180s 3092 81 0.00000 32 345 - 0.00000 - 393 185s 3201 90 0.00000 29 358 - 0.00000 - 392 190s 3293 88 infeasible 33 - 0.00000 - 394 195s 3383 84 infeasible 31 - 0.00000 - 395 200s 3482 89 0.00000 32 343 - 0.00000 - 396 205s 3578 81 0.00000 30 358 - 0.00000 - 396 210s 3669 78 0.00000 26 338 - 0.00000 - 398 215s 3773 82 0.00000 32 348 - 0.00000 - 397 220s 3859 72 infeasible 32 - 0.00000 - 399 225s 3953 70 0.00000 32 349 - 0.00000 - 399 230s 4041 54 infeasible 25 - 0.00000 - 400 235s 4136 57 infeasible 26 - 0.00000 - 400 240s 4232 55 0.00000 26 350 - 0.00000 - 401 245s Cutting planes: Gomory: 3 Clique: 6 Zero half: 11 Explored 4241 nodes (1764259 simplex iterations) in 245.62 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