current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:51:42 2012 Optimize a model with 94284 rows, 19788 columns and 301088 nonzeros Presolve time: 0.31s Presolved: 94284 rows, 19788 columns, 301088 nonzeros Variable types: 0 continuous, 19788 integer (19788 binary) Root relaxation: objective 0.000000e+00, 694 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 (1133 simplex iterations) in 0.52 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:51:43 2012 Optimize a model with 46754 rows, 10282 columns and 148992 nonzeros Presolve time: 0.16s Presolved: 46754 rows, 10282 columns, 148992 nonzeros Variable types: 0 continuous, 10282 integer (10282 binary) Root relaxation: objective 0.000000e+00, 594 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 (1030 simplex iterations) in 0.27 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:51:44 2012 Optimize a model with 23474 rows, 5626 columns and 74496 nonzeros Presolve time: 0.09s Presolved: 23474 rows, 5626 columns, 74496 nonzeros Variable types: 0 continuous, 5626 integer (5626 binary) Root relaxation: objective 0.000000e+00, 416 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 (777 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:51:45 2012 Optimize a model with 11834 rows, 3298 columns and 37248 nonzeros Presolve time: 0.04s Presolved: 11834 rows, 3298 columns, 37248 nonzeros Variable types: 0 continuous, 3298 integer (3298 binary) Root relaxation: objective 0.000000e+00, 415 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 (784 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:51:45 2012 Optimize a model with 6014 rows, 2134 columns and 18624 nonzeros Presolve time: 0.02s Presolved: 6014 rows, 2134 columns, 18624 nonzeros Variable types: 0 continuous, 2134 integer (2134 binary) Root relaxation: objective 0.000000e+00, 409 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 (2152 simplex iterations) in 0.10 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 06:51:45 2012 Optimize a model with 3104 rows, 1552 columns and 9312 nonzeros Presolve time: 0.01s Presolved: 3104 rows, 1552 columns, 9312 nonzeros Variable types: 0 continuous, 1552 integer (1552 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.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8206 simplex iterations) in 1.04 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 06:51:46 2012 Optimize a model with 4074 rows, 1746 columns and 12416 nonzeros Presolve time: 0.01s Presolved: 4074 rows, 1746 columns, 12416 nonzeros Variable types: 0 continuous, 1746 integer (1746 binary) Root relaxation: objective 0.000000e+00, 434 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 378 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 544 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 6s 0 0 0.00000 0 340 - 0.00000 - - 6s 0 0 0.00000 0 332 - 0.00000 - - 7s 0 0 0.00000 0 330 - 0.00000 - - 7s 0 0 0.00000 0 318 - 0.00000 - - 8s 0 0 0.00000 0 314 - 0.00000 - - 8s 0 0 0.00000 0 308 - 0.00000 - - 9s 0 0 0.00000 0 306 - 0.00000 - - 10s 0 0 0.00000 0 306 - 0.00000 - - 10s 0 0 0.00000 0 304 - 0.00000 - - 11s 0 0 0.00000 0 300 - 0.00000 - - 12s 0 0 0.00000 0 298 - 0.00000 - - 12s 0 0 0.00000 0 477 - 0.00000 - - 13s 0 0 0.00000 0 467 - 0.00000 - - 14s 0 0 0.00000 0 456 - 0.00000 - - 15s 0 0 0.00000 0 408 - 0.00000 - - 16s 0 0 0.00000 0 328 - 0.00000 - - 17s 0 0 0.00000 0 423 - 0.00000 - - 18s 0 0 0.00000 0 423 - 0.00000 - - 18s 0 2 0.00000 0 423 - 0.00000 - - 19s 10 8 0.00000 7 346 - 0.00000 - 453 20s 406 25 0.00000 15 374 - 0.00000 - 158 25s 842 35 0.00000 17 338 - 0.00000 - 150 30s 1005 46 0.00000 14 358 - 0.00000 - 149 36s 1007 47 0.00000 14 346 - 0.00000 - 148 40s 1010 49 0.00000 12 343 - 0.00000 - 148 46s 1012 50 0.00000 9 342 - 0.00000 - 148 50s 1017 54 infeasible 11 - 0.00000 - 209 55s 1155 26 infeasible 28 - 0.00000 - 226 60s 1307 21 infeasible 23 - 0.00000 - 239 65s 1436 20 0.00000 22 431 - 0.00000 - 251 70s 1574 14 infeasible 19 - 0.00000 - 261 75s 1719 25 0.00000 16 472 - 0.00000 - 269 80s 1852 24 infeasible 20 - 0.00000 - 277 85s 2020 30 infeasible 26 - 0.00000 - 281 90s 2157 31 infeasible 21 - 0.00000 - 287 95s 2300 28 infeasible 23 - 0.00000 - 291 100s 2453 15 infeasible 22 - 0.00000 - 294 105s 2619 11 0.00000 19 453 - 0.00000 - 295 110s 2783 17 infeasible 30 - 0.00000 - 297 115s 2930 2 infeasible 22 - 0.00000 - 299 120s Cutting planes: Zero half: 16 Explored 2941 nodes (1006579 simplex iterations) in 120.23 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:53:46 2012 Optimize a model with 5044 rows, 1940 columns and 15520 nonzeros Presolve time: 0.01s Presolved: 5044 rows, 1940 columns, 15520 nonzeros Variable types: 0 continuous, 1940 integer (1940 binary) Root relaxation: objective 0.000000e+00, 419 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 352 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 153 Zero half: 413 Explored 0 nodes (5095 simplex iterations) in 0.44 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% optimal solution found: number of colors: 5