current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:14 2012 Optimize a model with 88160 rows, 18976 columns and 281960 nonzeros Presolve time: 0.28s Presolved: 88160 rows, 18976 columns, 281960 nonzeros Variable types: 0 continuous, 18976 integer (18976 binary) Root relaxation: objective 0.000000e+00, 752 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 (1200 simplex iterations) in 0.50 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:16 2012 Optimize a model with 43712 rows, 9856 columns and 139496 nonzeros Presolve time: 0.15s Presolved: 43712 rows, 9856 columns, 139496 nonzeros Variable types: 0 continuous, 9856 integer (9856 binary) Root relaxation: objective 0.000000e+00, 549 iterations, 0.03 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 (969 simplex iterations) in 0.24 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:16 2012 Optimize a model with 21488 rows, 5296 columns and 68264 nonzeros Presolve time: 0.08s Presolved: 21488 rows, 5296 columns, 68264 nonzeros Variable types: 0 continuous, 5296 integer (5296 binary) Root relaxation: objective 0.000000e+00, 425 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 (791 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:17 2012 Optimize a model with 10376 rows, 3016 columns and 32648 nonzeros Presolve time: 0.03s Presolved: 10376 rows, 3016 columns, 32648 nonzeros Variable types: 0 continuous, 3016 integer (3016 binary) Root relaxation: objective 0.000000e+00, 404 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 (797 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:17 2012 Optimize a model with 4820 rows, 1876 columns and 14840 nonzeros Presolve time: 0.01s Presolved: 4820 rows, 1876 columns, 14840 nonzeros Variable types: 0 continuous, 1876 integer (1876 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 186 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3548 simplex iterations) in 0.24 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:17 2012 Optimize a model with 2042 rows, 1306 columns and 5936 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.01s Presolved: 1852 rows, 1116 columns, 5556 nonzeros Variable types: 0 continuous, 1116 integer (1116 binary) Root relaxation: objective 0.000000e+00, 199 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 190 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (808 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:17 2012 Optimize a model with 2968 rows, 1496 columns and 8904 nonzeros Presolve time: 0.01s Presolved: 2968 rows, 1496 columns, 8904 nonzeros Variable types: 0 continuous, 1496 integer (1496 binary) Root relaxation: objective 0.000000e+00, 428 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 378 - 0.00000 - - 0s 0 0 0.00000 0 516 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 53 Zero half: 1120 Explored 0 nodes (8418 simplex iterations) in 1.20 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:12:19 2012 Optimize a model with 3894 rows, 1686 columns and 11872 nonzeros Presolve time: 0.01s Presolved: 3894 rows, 1686 columns, 11872 nonzeros Variable types: 0 continuous, 1686 integer (1686 binary) Root relaxation: objective 0.000000e+00, 425 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 366 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 454 - 0.00000 - - 0s 0 0 0.00000 0 434 - 0.00000 - - 1s 0 0 0.00000 0 459 - 0.00000 - - 2s 0 0 0.00000 0 428 - 0.00000 - - 3s 0 0 0.00000 0 435 - 0.00000 - - 3s 0 0 0.00000 0 435 - 0.00000 - - 4s 0 2 0.00000 0 435 - 0.00000 - - 5s 498 61 0.00000 13 436 - 0.00000 - 128 10s 1020 64 0.00000 15 343 - 0.00000 - 127 15s 1305 74 0.00000 16 356 - 0.00000 - 127 20s 1308 76 0.00000 18 348 - 0.00000 - 126 25s 1311 78 0.00000 12 318 - 0.00000 - 126 30s 1314 80 0.00000 15 308 - 0.00000 - 126 35s 1317 82 0.00000 18 288 - 0.00000 - 125 40s 1320 84 0.00000 13 355 - 0.00000 - 125 45s 1392 88 0.00000 24 332 - 0.00000 - 197 50s 1624 29 infeasible 27 - 0.00000 - 206 55s 1851 38 infeasible 30 - 0.00000 - 214 60s 2099 32 0.00000 30 342 - 0.00000 - 217 65s 2322 35 infeasible 28 - 0.00000 - 223 70s 2527 42 0.00000 27 442 - 0.00000 - 227 75s 2740 45 infeasible 28 - 0.00000 - 230 80s 2950 25 infeasible 26 - 0.00000 - 233 85s 3174 31 0.00000 28 385 - 0.00000 - 236 90s 3380 37 infeasible 29 - 0.00000 - 239 95s 3575 34 0.00000 27 334 - 0.00000 - 241 100s 3738 19 0.00000 22 446 - 0.00000 - 245 105s 3915 24 infeasible 32 - 0.00000 - 248 110s 4119 12 0.00000 26 332 - 0.00000 - 249 115s 4294 9 infeasible 29 - 0.00000 - 252 120s 4470 3 infeasible 31 - 0.00000 - 255 125s Cutting planes: Clique: 1 Zero half: 12 Explored 4476 nodes (1169126 simplex iterations) in 125.18 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5