current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:07:37 2012 Optimize a model with 127548 rows, 24507 columns and 405324 nonzeros Presolve time: 0.46s Presolved: 127548 rows, 24507 columns, 405324 nonzeros Variable types: 0 continuous, 24507 integer (24507 binary) Root relaxation: objective 0.000000e+00, 547 iterations, 0.16 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 (1002 simplex iterations) in 0.80 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:07:39 2012 Optimize a model with 63882 rows, 12843 columns and 202662 nonzeros Presolve time: 0.18s Presolved: 63882 rows, 12843 columns, 202662 nonzeros Variable types: 0 continuous, 12843 integer (12843 binary) Root relaxation: objective 0.000000e+00, 762 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 (1361 simplex iterations) in 0.35 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:07:40 2012 Optimize a model with 32049 rows, 7011 columns and 101331 nonzeros Presolve time: 0.14s Presolved: 32049 rows, 7011 columns, 101331 nonzeros Variable types: 0 continuous, 7011 integer (7011 binary) Root relaxation: objective 0.000000e+00, 557 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 (1046 simplex iterations) in 0.20 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:07:41 2012 Optimize a model with 15543 rows, 3987 columns and 48789 nonzeros Presolve time: 0.05s Presolved: 15543 rows, 3987 columns, 48789 nonzeros Variable types: 0 continuous, 3987 integer (3987 binary) Root relaxation: objective 0.000000e+00, 448 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 (865 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:07:41 2012 Optimize a model with 7290 rows, 2475 columns and 22518 nonzeros Presolve time: 0.02s Presolved: 7290 rows, 2475 columns, 22518 nonzeros Variable types: 0 continuous, 2475 integer (2475 binary) Root relaxation: objective 0.000000e+00, 462 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 (2251 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 16:07:42 2012 Optimize a model with 3753 rows, 1827 columns and 11259 nonzeros Presolve time: 0.01s Presolved: 3753 rows, 1827 columns, 11259 nonzeros Variable types: 0 continuous, 1827 integer (1827 binary) Root relaxation: objective 0.000000e+00, 495 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 332 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8110 simplex iterations) in 1.16 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 16:07:43 2012 Optimize a model with 4932 rows, 2043 columns and 15012 nonzeros Presolve time: 0.01s Presolved: 4932 rows, 2043 columns, 15012 nonzeros Variable types: 0 continuous, 2043 integer (2043 binary) Root relaxation: objective 0.000000e+00, 475 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 416 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 599 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 4s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 0 0.00000 0 404 - 0.00000 - - 6s 0 0 0.00000 0 404 - 0.00000 - - 7s 0 0 0.00000 0 404 - 0.00000 - - 7s 0 2 0.00000 0 404 - 0.00000 - - 8s 50 30 0.00000 13 500 - 0.00000 - 274 10s 291 97 0.00000 20 382 - 0.00000 - 212 15s 549 139 infeasible 30 - 0.00000 - 201 20s 605 157 0.00000 21 374 - 0.00000 - 201 28s 606 157 0.00000 24 364 - 0.00000 - 201 30s 608 159 0.00000 7 360 - 0.00000 - 200 36s 609 159 0.00000 21 358 - 0.00000 - 200 40s 611 161 0.00000 14 393 - 0.00000 - 199 46s 612 161 0.00000 17 372 - 0.00000 - 199 51s 613 162 0.00000 27 348 - 0.00000 - 199 55s 617 165 infeasible 13 - 0.00000 - 331 60s 622 168 0.00000 15 539 - 0.00000 - 331 65s 659 173 infeasible 23 - 0.00000 - 339 70s 755 151 infeasible 27 - 0.00000 - 345 75s 854 113 0.00000 30 408 - 0.00000 - 351 80s 947 79 0.00000 15 394 - 0.00000 - 356 85s 1054 72 0.00000 23 453 - 0.00000 - 354 90s 1151 61 0.00000 22 384 - 0.00000 - 358 95s 1221 51 0.00000 23 511 - 0.00000 - 367 100s 1285 37 infeasible 23 - 0.00000 - 376 105s 1380 38 0.00000 22 472 - 0.00000 - 379 110s 1458 32 infeasible 27 - 0.00000 - 381 115s 1542 36 0.00000 26 406 - 0.00000 - 386 120s 1652 54 infeasible 27 - 0.00000 - 387 125s 1762 44 0.00000 28 408 - 0.00000 - 387 130s 1845 35 infeasible 28 - 0.00000 - 390 135s 1928 38 0.00000 19 444 - 0.00000 - 393 140s 2009 31 infeasible 24 - 0.00000 - 396 145s 2100 30 0.00000 23 452 - 0.00000 - 397 150s 2212 30 infeasible 26 - 0.00000 - 397 155s 2305 37 0.00000 21 416 - 0.00000 - 399 160s 2410 26 infeasible 23 - 0.00000 - 400 165s 2499 31 infeasible 24 - 0.00000 - 401 170s 2580 30 infeasible 29 - 0.00000 - 405 175s 2675 25 infeasible 25 - 0.00000 - 406 180s 2779 33 0.00000 25 400 - 0.00000 - 405 185s 2869 27 0.00000 23 471 - 0.00000 - 407 190s 2979 25 infeasible 26 - 0.00000 - 406 195s 3071 23 infeasible 25 - 0.00000 - 407 200s 3206 30 0.00000 26 452 - 0.00000 - 404 205s 3308 40 infeasible 30 - 0.00000 - 405 210s 3408 48 0.00000 29 451 - 0.00000 - 405 215s 3509 53 infeasible 29 - 0.00000 - 406 220s 3596 44 infeasible 30 - 0.00000 - 408 225s 3700 44 infeasible 25 - 0.00000 - 408 230s 3816 42 infeasible 30 - 0.00000 - 407 235s 3924 38 0.00000 24 517 - 0.00000 - 406 240s 4010 38 infeasible 28 - 0.00000 - 408 245s 4099 35 0.00000 27 511 - 0.00000 - 410 250s 4198 40 0.00000 24 507 - 0.00000 - 410 255s 4280 40 infeasible 29 - 0.00000 - 411 260s 4378 40 0.00000 32 437 - 0.00000 - 411 265s 4473 35 infeasible 28 - 0.00000 - 412 270s 4562 30 0.00000 22 450 - 0.00000 - 413 275s 4653 19 infeasible 20 - 0.00000 - 414 280s 4749 19 infeasible 30 - 0.00000 - 414 285s 4842 18 infeasible 22 - 0.00000 - 414 290s Cutting planes: Zero half: 15 Explored 4869 nodes (2061699 simplex iterations) in 291.41 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 time exhausted Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:12:34 2012