current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:54:28 2012 Optimize a model with 76393 rows, 11499 columns and 239184 nonzeros Presolve time: 0.21s Presolved: 76393 rows, 11499 columns, 239184 nonzeros Variable types: 0 continuous, 11499 integer (11499 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 (756 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:54:29 2012 Optimize a model with 38269 rows, 6279 columns and 119592 nonzeros Presolve time: 0.15s Presolved: 38269 rows, 6279 columns, 119592 nonzeros Variable types: 0 continuous, 6279 integer (6279 binary) Root relaxation: objective 0.000000e+00, 347 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 (686 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:54:29 2012 Optimize a model with 19207 rows, 3669 columns and 59796 nonzeros Presolve time: 0.07s Presolved: 19207 rows, 3669 columns, 59796 nonzeros Variable types: 0 continuous, 3669 integer (3669 binary) Root relaxation: objective 0.000000e+00, 416 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 (1048 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 14:54:30 2012 Optimize a model with 9676 rows, 2364 columns and 29898 nonzeros Presolve time: 0.03s Presolved: 9676 rows, 2364 columns, 29898 nonzeros Variable types: 0 continuous, 2364 integer (2364 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1029 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:54:30 2012 Optimize a model with 4381 rows, 1639 columns and 13288 nonzeros Presolve time: 0.01s Presolved: 4381 rows, 1639 columns, 13288 nonzeros Variable types: 0 continuous, 1639 integer (1639 binary) Root relaxation: objective 0.000000e+00, 316 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 273 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 1s 0 0 0.00000 0 463 - 0.00000 - - 2s 0 0 0.00000 0 472 - 0.00000 - - 3s 0 0 0.00000 0 471 - 0.00000 - - 4s 0 0 0.00000 0 473 - 0.00000 - - 4s 0 0 0.00000 0 469 - 0.00000 - - 5s 0 0 0.00000 0 467 - 0.00000 - - 6s 0 0 0.00000 0 464 - 0.00000 - - 7s 0 0 0.00000 0 481 - 0.00000 - - 8s 0 0 0.00000 0 479 - 0.00000 - - 8s 0 2 0.00000 0 479 - 0.00000 - - 9s 1 4 0.00000 1 449 - 0.00000 - 3291 10s Cutting planes: Clique: 17 Zero half: 17 Explored 11 nodes (53072 simplex iterations) in 10.51 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:54:41 2012 Optimize a model with 6499 rows, 1929 columns and 19932 nonzeros Presolve time: 0.02s Presolved: 6499 rows, 1929 columns, 19932 nonzeros Variable types: 0 continuous, 1929 integer (1929 binary) Root relaxation: objective 0.000000e+00, 309 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 282 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s Cutting planes: Clique: 25 Explored 0 nodes (6521 simplex iterations) in 0.94 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:54:42 2012 Optimize a model with 5440 rows, 1784 columns and 16610 nonzeros Presolve time: 0.01s Presolved: 5440 rows, 1784 columns, 16610 nonzeros Variable types: 0 continuous, 1784 integer (1784 binary) Root relaxation: objective 0.000000e+00, 304 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 282 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 2s 0 0 0.00000 0 428 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 3s 0 0 0.00000 0 236 - 0.00000 - - 4s 0 0 0.00000 0 262 - 0.00000 - - 5s 0 0 0.00000 0 260 - 0.00000 - - 6s 0 0 0.00000 0 270 - 0.00000 - - 7s 0 0 0.00000 0 257 - 0.00000 - - 7s 0 0 0.00000 0 246 - 0.00000 - - 8s 0 0 0.00000 0 292 - 0.00000 - - 9s 0 0 0.00000 0 335 - 0.00000 - - 10s 0 0 0.00000 0 335 - 0.00000 - - 11s 0 2 0.00000 0 335 - 0.00000 - - 12s 83 25 infeasible 19 - 0.00000 - 218 15s 316 62 0.00000 20 292 - 0.00000 - 202 20s 594 76 infeasible 18 - 0.00000 - 192 25s 803 78 0.00000 18 252 - 0.00000 - 182 30s 806 80 0.00000 16 284 - 0.00000 - 182 36s 808 82 0.00000 17 314 - 0.00000 - 181 41s 810 83 0.00000 9 337 - 0.00000 - 181 45s 814 86 0.00000 15 348 - 0.00000 - 180 50s 906 95 infeasible 26 - 0.00000 - 260 55s 1012 80 0.00000 27 338 - 0.00000 - 273 60s 1120 62 infeasible 27 - 0.00000 - 287 65s 1242 80 0.00000 28 354 - 0.00000 - 296 70s 1366 96 0.00000 27 335 - 0.00000 - 302 75s 1494 98 infeasible 29 - 0.00000 - 306 80s 1602 98 infeasible 27 - 0.00000 - 314 85s 1731 103 infeasible 34 - 0.00000 - 318 90s 1847 107 infeasible 31 - 0.00000 - 322 95s 1970 102 infeasible 31 - 0.00000 - 326 100s 2074 96 0.00000 31 328 - 0.00000 - 330 105s 2176 80 infeasible 28 - 0.00000 - 335 110s 2298 104 infeasible 30 - 0.00000 - 336 115s 2418 110 infeasible 28 - 0.00000 - 338 120s 2533 115 infeasible 32 - 0.00000 - 341 125s 2655 115 infeasible 26 - 0.00000 - 343 130s 2786 116 0.00000 26 345 - 0.00000 - 343 135s 2907 111 infeasible 29 - 0.00000 - 345 140s 3022 110 0.00000 24 279 - 0.00000 - 346 145s 3135 111 infeasible 36 - 0.00000 - 348 150s 3248 108 0.00000 24 365 - 0.00000 - 350 155s 3373 111 0.00000 29 341 - 0.00000 - 350 160s 3501 101 infeasible 31 - 0.00000 - 351 165s 3628 116 0.00000 32 353 - 0.00000 - 351 170s 3737 115 infeasible 30 - 0.00000 - 352 175s 3829 99 infeasible 24 - 0.00000 - 355 180s 3925 89 infeasible 30 - 0.00000 - 358 185s 4038 112 0.00000 26 375 - 0.00000 - 358 190s 4166 122 infeasible 27 - 0.00000 - 358 195s 4290 116 infeasible 30 - 0.00000 - 359 200s 4419 125 infeasible 30 - 0.00000 - 358 205s 4539 127 0.00000 30 319 - 0.00000 - 359 210s 4653 123 0.00000 30 358 - 0.00000 - 360 215s 4757 111 infeasible 30 - 0.00000 - 361 220s 4865 105 infeasible 25 - 0.00000 - 362 225s 4967 103 0.00000 28 337 - 0.00000 - 364 230s 5083 93 0.00000 29 256 - 0.00000 - 364 235s 5212 98 0.00000 25 366 - 0.00000 - 364 240s 5340 104 0.00000 29 346 - 0.00000 - 364 245s 5461 103 0.00000 25 358 - 0.00000 - 364 250s 5566 98 infeasible 27 - 0.00000 - 365 255s 5674 96 0.00000 24 366 - 0.00000 - 366 260s 5789 97 infeasible 26 - 0.00000 - 366 265s 5903 101 infeasible 27 - 0.00000 - 367 270s 6007 97 infeasible 30 - 0.00000 - 368 275s 6107 87 0.00000 29 356 - 0.00000 - 369 280s Cutting planes: Clique: 15 Zero half: 20 Explored 6202 nodes (2356944 simplex iterations) in 284.20 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