current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:34:28 2012 Optimize a model with 74737 rows, 11476 columns and 234216 nonzeros Presolve time: 0.21s Presolved: 74737 rows, 11476 columns, 234216 nonzeros Variable types: 0 continuous, 11476 integer (11476 binary) Root relaxation: objective 0.000000e+00, 369 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 (779 simplex iterations) in 0.41 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:34:29 2012 Optimize a model with 37441 rows, 6256 columns and 117108 nonzeros Presolve time: 0.14s Presolved: 37441 rows, 6256 columns, 117108 nonzeros Variable types: 0 continuous, 6256 integer (6256 binary) Root relaxation: objective 0.000000e+00, 353 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 (743 simplex iterations) in 0.23 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:34:30 2012 Optimize a model with 18793 rows, 3646 columns and 58554 nonzeros Presolve time: 0.07s Presolved: 18793 rows, 3646 columns, 58554 nonzeros Variable types: 0 continuous, 3646 integer (3646 binary) Root relaxation: objective 0.000000e+00, 433 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 (849 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:34:30 2012 Optimize a model with 9469 rows, 2341 columns and 29277 nonzeros Presolve time: 0.03s Presolved: 9469 rows, 2341 columns, 29277 nonzeros Variable types: 0 continuous, 2341 integer (2341 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1358 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:34:30 2012 Optimize a model with 4289 rows, 1616 columns and 13012 nonzeros Presolve time: 0.01s Presolved: 4289 rows, 1616 columns, 13012 nonzeros Variable types: 0 continuous, 1616 integer (1616 binary) Root relaxation: objective 0.000000e+00, 313 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 192 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 2s 0 0 0.00000 0 487 - 0.00000 - - 2s 0 0 0.00000 0 477 - 0.00000 - - 3s 0 0 0.00000 0 479 - 0.00000 - - 4s 0 0 0.00000 0 465 - 0.00000 - - 5s 0 0 0.00000 0 465 - 0.00000 - - 6s 0 0 0.00000 0 466 - 0.00000 - - 7s 0 0 0.00000 0 466 - 0.00000 - - 8s 0 2 0.00000 0 466 - 0.00000 - - 9s Cutting planes: Clique: 15 Zero half: 16 Explored 13 nodes (45430 simplex iterations) in 9.69 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 14:34:40 2012 Optimize a model with 6361 rows, 1906 columns and 19518 nonzeros Presolve time: 0.02s Presolved: 6361 rows, 1906 columns, 19518 nonzeros Variable types: 0 continuous, 1906 integer (1906 binary) Root relaxation: objective 0.000000e+00, 319 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 295 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 243 - 0.00000 - - 2s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 0 0.00000 0 158 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 5s 0 0 0.00000 0 306 - 0.00000 - - 6s 0 0 0.00000 0 421 - 0.00000 - - 6s 0 0 0.00000 0 342 - 0.00000 - - 7s 0 2 0.00000 0 342 - 0.00000 - - 8s * 197 0 34 0.0000000 0.00000 0.0% 83.0 9s Cutting planes: Clique: 10 Zero half: 10 Explored 198 nodes (67605 simplex iterations) in 9.73 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:34:50 2012 Optimize a model with 5325 rows, 1761 columns and 16265 nonzeros Presolve time: 0.01s Presolved: 5325 rows, 1761 columns, 16265 nonzeros Variable types: 0 continuous, 1761 integer (1761 binary) Root relaxation: objective 0.000000e+00, 308 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 324 - 0.00000 - - 1s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 415 - 0.00000 - - 2s 0 0 0.00000 0 403 - 0.00000 - - 3s 0 0 0.00000 0 398 - 0.00000 - - 4s 0 0 0.00000 0 399 - 0.00000 - - 5s 0 0 0.00000 0 399 - 0.00000 - - 6s 0 0 0.00000 0 395 - 0.00000 - - 6s 0 0 0.00000 0 393 - 0.00000 - - 7s 0 0 0.00000 0 388 - 0.00000 - - 8s 0 0 0.00000 0 388 - 0.00000 - - 8s 0 0 0.00000 0 388 - 0.00000 - - 9s 0 2 0.00000 0 388 - 0.00000 - - 10s 178 28 infeasible 18 - 0.00000 - 222 15s 438 35 infeasible 21 - 0.00000 - 197 20s 680 32 0.00000 19 323 - 0.00000 - 195 25s 898 22 0.00000 11 359 - 0.00000 - 200 30s 1103 37 0.00000 5 412 - 0.00000 - 198 36s 1106 39 0.00000 17 401 - 0.00000 - 197 41s 1107 40 0.00000 19 395 - 0.00000 - 197 45s 1109 41 0.00000 15 381 - 0.00000 - 197 50s 1112 43 0.00000 16 376 - 0.00000 - 196 56s 1114 45 0.00000 4 371 - 0.00000 - 196 61s 1116 46 0.00000 16 371 - 0.00000 - 195 66s 1120 49 infeasible 15 - 0.00000 - 245 70s 1210 37 infeasible 32 - 0.00000 - 260 75s 1315 22 infeasible 35 - 0.00000 - 271 80s 1424 27 0.00000 27 348 - 0.00000 - 279 85s 1517 26 infeasible 29 - 0.00000 - 290 90s 1598 27 infeasible 28 - 0.00000 - 302 95s 1690 27 0.00000 28 380 - 0.00000 - 309 100s 1803 28 infeasible 30 - 0.00000 - 313 105s 1898 27 infeasible 26 - 0.00000 - 320 110s 2005 28 infeasible 30 - 0.00000 - 324 115s 2108 27 infeasible 30 - 0.00000 - 329 120s 2204 29 0.00000 26 355 - 0.00000 - 334 125s 2303 22 infeasible 28 - 0.00000 - 338 130s 2395 16 0.00000 26 386 - 0.00000 - 342 135s 2509 22 infeasible 29 - 0.00000 - 343 140s 2602 15 0.00000 29 358 - 0.00000 - 347 145s 2698 19 0.00000 28 366 - 0.00000 - 351 150s 2796 17 0.00000 28 353 - 0.00000 - 355 155s 2886 9 infeasible 30 - 0.00000 - 358 160s 2992 17 0.00000 29 354 - 0.00000 - 358 165s 3104 15 0.00000 22 351 - 0.00000 - 359 170s 3204 15 infeasible 27 - 0.00000 - 362 175s 3287 8 infeasible 30 - 0.00000 - 365 180s 3388 19 0.00000 26 355 - 0.00000 - 367 185s 3495 10 infeasible 27 - 0.00000 - 368 190s 3589 15 infeasible 29 - 0.00000 - 370 195s 3678 18 0.00000 29 341 - 0.00000 - 373 200s 3778 14 0.00000 24 351 - 0.00000 - 375 205s 3867 7 infeasible 27 - 0.00000 - 377 210s 3975 13 infeasible 30 - 0.00000 - 378 215s 4065 11 infeasible 30 - 0.00000 - 380 220s 4147 13 0.00000 30 332 - 0.00000 - 383 225s 4248 20 0.00000 31 334 - 0.00000 - 384 230s 4336 16 infeasible 29 - 0.00000 - 386 235s 4439 15 infeasible 28 - 0.00000 - 386 240s 4526 12 infeasible 28 - 0.00000 - 388 245s 4614 12 infeasible 30 - 0.00000 - 390 250s 4710 18 0.00000 26 340 - 0.00000 - 391 255s 4794 18 infeasible 27 - 0.00000 - 393 260s 4898 16 infeasible 31 - 0.00000 - 393 265s 5002 12 0.00000 28 330 - 0.00000 - 393 270s 5097 7 infeasible 27 - 0.00000 - 394 275s Cutting planes: Clique: 6 Zero half: 14 Explored 5117 nodes (2064036 simplex iterations) in 276.28 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