Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | -33 | 1800.34 | 1800.89 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
| MD5SUM | aabc023158e10c9511062af8ac97c515 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1789.82 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58624 |
| Number of constraints which are clauses | 58624 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665511-1276498766.opb>
0.89/0.94 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.89/0.94 c problem read
0.89/0.94 c presolving settings loaded
1.00/1.09 o 0
1.00/1.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.09 c presolving:
1.79/1.85 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58624 upgd conss, 117248 impls, 0 clqs
3.20/3.29 c (2.1s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.20/3.29 c (2.1s) probing aborted: 100/100 successive totally useless probings
3.20/3.29 c presolving (2 rounds):
3.20/3.29 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.20/3.29 c 117248 implications, 0 cliques
3.20/3.29 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
3.20/3.29 c 58624 constraints of type <logicor>
3.20/3.29 c transformed objective value is always integral (scale: 1)
3.20/3.29 c Presolving Time: 2.05
3.20/3.29 c - non default parameters ----------------------------------------------------------------------
3.20/3.29 c # SCIP version 1.2.1.2
3.20/3.29 c
3.20/3.29 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.20/3.29 c # [type: int, range: [-1,2147483647], default: -1]
3.20/3.29 c conflict/interconss = 0
3.20/3.29 c
3.20/3.29 c # should binary conflicts be preferred?
3.20/3.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.29 c conflict/preferbinary = TRUE
3.20/3.29 c
3.20/3.29 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.20/3.29 c # [type: int, range: [-1,2147483647], default: 0]
3.20/3.29 c constraints/agelimit = 1
3.20/3.29 c
3.20/3.29 c # should enforcement of pseudo solution be disabled?
3.20/3.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.29 c constraints/disableenfops = TRUE
3.20/3.29 c
3.20/3.29 c # frequency for displaying node information lines
3.20/3.29 c # [type: int, range: [-1,2147483647], default: 100]
3.20/3.29 c display/freq = 10000
3.20/3.29 c
3.20/3.29 c # maximal time in seconds to run
3.20/3.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.29 c limits/time = 1799.07
3.20/3.29 c
3.20/3.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.20/3.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.29 c limits/memory = 1620
3.20/3.29 c
3.20/3.29 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.20/3.29 c # [type: int, range: [-1,2147483647], default: 1]
3.20/3.29 c lp/solvefreq = 0
3.20/3.29 c
3.20/3.29 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.20/3.29 c # [type: char, range: {lafpsqd}, default: l]
3.20/3.29 c lp/pricing = a
3.20/3.29 c
3.20/3.29 c # should presolving try to simplify inequalities
3.20/3.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.29 c constraints/linear/simplifyinequalities = TRUE
3.20/3.29 c
3.20/3.29 c # should presolving try to simplify knapsacks
3.20/3.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.29 c constraints/knapsack/simplifyinequalities = TRUE
3.20/3.29 c
3.20/3.29 c # priority of node selection rule <dfs> in standard mode
3.20/3.29 c # [type: int, range: [-536870912,536870911], default: 0]
3.20/3.29 c nodeselection/dfs/stdpriority = 1000000
3.20/3.29 c
3.20/3.29 c -----------------------------------------------------------------------------------------------
3.20/3.29 c start solving
3.20/3.29 c
4.19/4.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.22 c t 3.0s| 1 | 0 | 1032 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
4.29/4.34 o -1
4.29/4.34 c R 3.1s| 1 | 0 | 1032 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
4.39/4.47 o -2
4.39/4.47 c s 3.2s| 1 | 0 | 1032 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | 99.58%
9.89/9.94 c 8.6s| 1 | 0 | 1431 | - | 65M| 0 | 883 | 945 | 58k| 945 | 58k| 11 | 0 | 0 |-4.415000e+02 |-2.000000e+00 | 99.55%
9.89/9.99 o -30
9.89/9.99 c b 8.6s| 1 | 0 | 1431 | - | 65M| 0 | 883 | 945 | 58k| 945 | 58k| 11 | 0 | 0 |-4.415000e+02 |-3.000000e+01 | 93.20%
15.09/15.19 c 13.8s| 1 | 0 | 1724 | - | 65M| 0 | 841 | 945 | 58k| 945 | 58k| 19 | 0 | 0 |-4.205000e+02 |-3.000000e+01 | 92.87%
22.68/22.70 c 21.2s| 1 | 0 | 2123 | - | 65M| 0 | 800 | 945 | 58k| 945 | 58k| 26 | 0 | 0 |-4.000000e+02 |-3.000000e+01 | 92.50%
33.38/33.44 c 31.9s| 1 | 0 | 2727 | - | 65M| 0 | 744 | 945 | 58k| 945 | 58k| 33 | 0 | 0 |-3.720000e+02 |-3.000000e+01 | 91.94%
44.07/44.19 c 42.6s| 1 | 0 | 3274 | - | 65M| 0 | 706 | 945 | 58k| 945 | 58k| 39 | 0 | 0 |-3.530000e+02 |-3.000000e+01 | 91.50%
54.17/54.21 c 52.6s| 1 | 0 | 3821 | - | 65M| 0 | 670 | 945 | 58k| 945 | 58k| 45 | 0 | 0 |-3.350000e+02 |-3.000000e+01 | 91.04%
63.46/63.58 c 61.9s| 1 | 0 | 4250 | - | 65M| 0 | 631 | 945 | 58k| 945 | 58k| 53 | 0 | 0 |-3.155000e+02 |-3.000000e+01 | 90.49%
74.47/74.57 c 72.8s| 1 | 0 | 4810 | - | 65M| 0 | 611 | 945 | 58k| 945 | 58k| 60 | 0 | 0 |-3.055000e+02 |-3.000000e+01 | 90.18%
85.77/85.87 c 84.1s| 1 | 0 | 5390 | - | 65M| 0 | 575 | 945 | 58k| 945 | 58k| 67 | 0 | 0 |-2.875000e+02 |-3.000000e+01 | 89.57%
96.44/96.52 c 94.6s| 1 | 0 | 5948 | - | 65M| 0 | 537 | 945 | 58k| 945 | 58k| 71 | 0 | 0 |-2.685000e+02 |-3.000000e+01 | 88.83%
102.74/102.83 c 101s| 1 | 0 | 6604 | - | 66M| 0 | 497 | 945 | 58k| 945 | 58k| 81 | 0 | 0 |-2.485000e+02 |-3.000000e+01 | 87.93%
108.85/108.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.85/108.92 c 107s| 1 | 0 | 7141 | - | 66M| 0 | 459 | 945 | 58k| 945 | 58k| 87 | 0 | 0 |-2.295000e+02 |-3.000000e+01 | 86.93%
110.84/110.94 c 109s| 1 | 0 | 7384 | - | 66M| 0 | 442 | 945 | 58k| 945 | 58k| 91 | 0 | 0 |-2.210000e+02 |-3.000000e+01 | 86.43%
117.04/117.11 c 115s| 1 | 0 | 8092 | - | 66M| 0 | 403 | 945 | 58k| 945 | 58k| 100 | 0 | 0 |-2.015000e+02 |-3.000000e+01 | 85.11%
119.94/120.00 c 118s| 1 | 0 | 8421 | - | 66M| 0 | 376 | 945 | 58k| 945 | 58k| 109 | 0 | 0 |-1.880000e+02 |-3.000000e+01 | 84.04%
126.24/126.36 c 124s| 1 | 0 | 9188 | - | 66M| 0 | 340 | 945 | 58k| 945 | 58k| 117 | 0 | 0 |-1.700000e+02 |-3.000000e+01 | 82.35%
132.43/132.54 c 130s| 1 | 0 | 10047 | - | 66M| 0 | 301 | 945 | 58k| 945 | 58k| 123 | 0 | 0 |-1.505000e+02 |-3.000000e+01 | 80.07%
137.13/137.27 c 135s| 1 | 0 | 10711 | - | 66M| 0 | 261 | 945 | 58k| 945 | 58k| 129 | 0 | 0 |-1.305000e+02 |-3.000000e+01 | 77.01%
141.84/141.92 c 140s| 1 | 0 | 11414 | - | 66M| 0 | 219 | 945 | 58k| 945 | 58k| 139 | 0 | 0 |-1.095000e+02 |-3.000000e+01 | 72.60%
145.93/146.07 c 144s| 1 | 0 | 12149 | - | 66M| 0 | 183 | 945 | 58k| 945 | 58k| 147 | 0 | 0 |-9.250000e+01 |-3.000000e+01 | 67.57%
147.43/147.56 c 145s| 1 | 0 | 12449 | - | 66M| 0 | 163 | 945 | 58k| 945 | 58k| 152 | 0 | 0 |-8.250000e+01 |-3.000000e+01 | 63.64%
149.73/149.82 c 147s| 1 | 0 | 12884 | - | 66M| 0 | 151 | 945 | 58k| 945 | 58k| 157 | 0 | 0 |-7.300000e+01 |-3.000000e+01 | 58.90%
152.43/152.51 c 150s| 1 | 0 | 13439 | - | 66M| 0 | 147 | 945 | 58k| 945 | 58k| 167 | 0 | 0 |-5.750000e+01 |-3.000000e+01 | 47.83%
154.03/154.13 c 152s| 1 | 0 | 13784 | - | 66M| 0 | 163 | 945 | 58k| 945 | 58k| 181 | 0 | 0 |-4.950000e+01 |-3.000000e+01 | 39.39%
155.63/155.75 c 153s| 1 | 0 | 13973 | - | 66M| 0 | 168 | 945 | 58k| 945 | 58k| 191 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
158.03/158.11 c 155s| 1 | 0 | 14118 | - | 66M| 0 | 175 | 945 | 58k| 945 | 58k| 203 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
159.83/159.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.83/159.99 c 157s| 1 | 0 | 14383 | - | 66M| 0 | 213 | 945 | 58k| 945 | 58k| 213 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
166.53/166.63 c 164s| 1 | 0 | 14765 | - | 66M| 0 | 272 | 945 | 58k| 945 | 58k| 223 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
190.13/190.28 c 187s| 1 | 0 | 15229 | - | 66M| 0 | 173 | 945 | 58k| 945 | 58k| 226 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
202.02/202.16 c 199s| 1 | 0 | 16048 | - | 66M| 0 | 325 | 945 | 58k| 945 | 58k| 237 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
367.06/367.27 c 363s| 1 | 2 | 16048 | - | 66M| 0 | 325 | 945 | 58k| 945 | 58k| 237 | 0 | 33 |-4.500000e+01 |-3.000000e+01 | 33.33%
367.18/367.37 o -31
367.18/367.37 c * 363s| 32 | 27 | 16048 | 0.0 | 67M| 31 | - | 945 | 58k| 0 | 0 | 237 | 0 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
367.27/367.48 o -32
367.27/367.48 c * 363s| 246 | 25 | 16048 | 0.0 | 67M| 33 | - | 945 | 58k| 0 | 0 | 237 | 10 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
371.66/371.82 c 367s| 10000 | 22 | 16048 | 0.0 | 67M| 46 | - | 945 | 58k| 0 | 0 | 237 | 73 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
376.07/376.27 c 371s| 20000 | 22 | 16048 | 0.0 | 67M| 50 | - | 945 | 58k| 0 | 0 | 237 | 124 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
380.36/380.58 c 376s| 30000 | 23 | 16048 | 0.0 | 67M| 50 | - | 945 | 58k| 0 | 0 | 237 | 168 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
384.76/384.98 c 380s| 40000 | 22 | 16048 | 0.0 | 67M| 51 | - | 945 | 58k| 0 | 0 | 237 | 206 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
389.35/389.52 c 384s| 50000 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 246 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
389.65/389.86 o -33
389.65/389.86 c * 385s| 50665 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 247 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
393.85/394.06 c 389s| 60000 | 21 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 273 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
398.45/398.61 c 393s| 70000 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 314 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
402.95/403.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.95/403.20 c 398s| 80000 | 21 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 366 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
407.64/407.82 c 402s| 90000 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 399 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
412.25/412.40 c 406s|100000 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 431 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
416.65/416.81 c 411s|110000 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 471 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
421.05/421.21 c 415s|120000 | 23 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 507 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
425.45/425.63 c 419s|130000 | 21 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 532 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
430.04/430.23 c 424s|140000 | 21 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 563 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
434.63/434.85 c 428s|150000 | 23 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 594 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
439.14/439.39 c 433s|160000 | 20 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 645 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
443.74/443.99 c 437s|170000 | 22 | 16048 | 0.0 | 67M| 53 | - | 945 | 58k| 0 | 0 | 237 | 686 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
448.54/448.71 c 442s|180000 | 20 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 747 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
453.04/453.24 c 446s|190000 | 21 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 787 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
457.63/457.80 c 451s|200000 | 22 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 817 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
462.33/462.50 c 455s|210000 | 20 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 849 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
466.93/467.19 c 460s|220000 | 21 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 904 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
471.52/471.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.52/471.76 c 464s|230000 | 22 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 922 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
476.03/476.22 c 468s|240000 | 22 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 959 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
480.43/480.67 c 473s|250000 | 20 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 | 989 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
485.02/485.29 c 477s|260000 | 22 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 |1056 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
489.61/489.84 c 482s|270000 | 20 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 |1091 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
494.02/494.22 c 486s|280000 | 19 | 16048 | 0.0 | 67M| 55 | - | 945 | 58k| 0 | 0 | 237 |1123 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
498.71/498.97 c 491s|290000 | 21 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1209 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
503.42/503.65 c 495s|300000 | 21 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1262 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
508.02/508.21 c 500s|310000 | 24 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1308 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
512.51/512.80 c 504s|320000 | 22 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1373 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
517.21/517.47 c 509s|330000 | 21 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1432 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
521.81/522.06 c 513s|340000 | 21 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1472 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
526.51/526.73 c 518s|350000 | 23 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1509 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
531.30/531.55 c 522s|360000 | 22 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1569 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
536.01/536.28 c 527s|370000 | 19 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1615 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
540.60/540.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.60/540.83 c 531s|380000 | 19 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1659 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
545.00/545.27 c 536s|390000 | 21 | 16048 | 0.0 | 67M| 56 | - | 945 | 58k| 0 | 0 | 237 |1698 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
549.50/549.73 c 540s|400000 | 24 | 16048 | 0.0 | 67M| 57 | - | 945 | 58k| 0 | 0 | 237 |1757 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
554.11/554.30 c 544s|410000 | 20 | 16048 | 0.0 | 67M| 58 | - | 945 | 58k| 0 | 0 | 237 |1788 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
558.50/558.78 c 549s|420000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |1819 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
563.20/563.49 c 553s|430000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |1857 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
568.10/568.34 c 558s|440000 | 23 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |1885 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
573.09/573.37 c 563s|450000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |1899 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
578.09/578.31 c 568s|460000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |1935 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
582.99/583.29 c 572s|470000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |1973 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
587.79/588.08 c 577s|480000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2002 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
592.60/592.83 c 582s|490000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2045 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
597.29/597.55 c 586s|500000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2079 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
602.09/602.37 c 591s|510000 | 23 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2113 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
606.89/607.17 c 596s|520000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2149 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
611.78/612.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.78/612.02 c 600s|530000 | 18 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2186 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
616.48/616.72 c 605s|540000 | 23 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2227 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
621.19/621.41 c 610s|550000 | 24 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2267 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
625.78/626.10 c 614s|560000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2301 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
630.38/630.66 c 618s|570000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2325 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
634.97/635.20 c 623s|580000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2357 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
639.37/639.68 c 627s|590000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2394 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
644.17/644.40 c 632s|600000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2431 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
648.87/649.12 c 636s|610000 | 19 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2481 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
653.37/653.64 c 641s|620000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2514 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
657.87/658.16 c 645s|630000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2542 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
662.56/662.86 c 650s|640000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2573 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
667.07/667.39 c 654s|650000 | 23 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2602 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
671.87/672.12 c 659s|660000 | 24 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2638 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
676.66/676.97 c 663s|670000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2669 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
681.36/681.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.36/681.66 c 668s|680000 | 24 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2706 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
685.96/686.28 c 672s|690000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2761 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
690.66/690.98 c 677s|700000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2793 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
695.46/695.70 c 682s|710000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2837 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
700.25/700.51 c 686s|720000 | 20 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2876 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
704.96/705.30 c 691s|730000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2903 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
709.86/710.16 c 696s|740000 | 21 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2955 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
714.55/714.86 c 700s|750000 | 22 | 16048 | 0.0 | 67M| 60 | - | 945 | 58k| 0 | 0 | 237 |2993 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
719.16/719.48 c 705s|760000 | 22 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3018 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
723.75/724.08 c 709s|770000 | 21 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3043 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
728.35/728.65 c 714s|780000 | 22 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3058 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
732.74/733.09 c 718s|790000 | 19 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3081 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
737.44/737.76 c 722s|800000 | 23 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3105 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
742.25/742.58 c 727s|810000 | 22 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3135 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
747.14/747.44 c 732s|820000 | 19 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3163 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
751.84/752.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.84/752.16 c 736s|830000 | 24 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3196 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
756.64/756.95 c 741s|840000 | 22 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
761.34/761.69 c 746s|850000 | 21 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3267 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
766.04/766.36 c 750s|860000 | 21 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3297 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
770.84/771.12 c 755s|870000 | 21 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3336 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
775.63/775.98 c 760s|880000 | 20 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3366 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
780.23/780.57 c 764s|890000 | 23 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3398 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
784.83/785.16 c 769s|900000 | 20 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3429 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
789.83/790.19 c 773s|910000 | 21 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3477 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
794.73/795.09 c 778s|920000 | 23 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3503 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
799.62/799.95 c 783s|930000 | 23 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3535 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
804.43/804.73 c 788s|940000 | 22 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3577 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
809.23/809.50 c 792s|950000 | 23 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3600 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
813.92/814.22 c 797s|960000 | 20 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3628 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
818.62/818.92 c 801s|970000 | 19 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3654 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
823.32/823.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.32/823.65 c 806s|980000 | 22 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3688 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
828.03/828.38 c 811s|990000 | 20 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3718 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
832.61/832.90 c 815s| 1000k| 20 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3756 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
837.22/837.50 c 819s| 1010k| 19 | 16048 | 0.0 | 67M| 62 | - | 945 | 58k| 0 | 0 | 237 |3797 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
841.72/842.06 c 824s| 1020k| 24 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |3841 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
846.31/846.67 c 828s| 1030k| 23 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |3883 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
850.91/851.22 c 833s| 1040k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |3927 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
855.51/855.84 c 837s| 1050k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |3953 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
859.91/860.23 c 841s| 1060k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |3992 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
864.50/864.84 c 846s| 1070k| 19 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4039 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
869.10/869.43 c 850s| 1080k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4065 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
873.90/874.25 c 855s| 1090k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4100 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
878.62/878.94 c 860s| 1100k| 23 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4137 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
883.50/883.88 c 864s| 1110k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4203 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
888.40/888.78 c 869s| 1120k| 24 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4241 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
893.20/893.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.20/893.55 c 874s| 1130k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4279 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
897.80/898.17 c 878s| 1140k| 20 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4312 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
902.70/903.00 c 883s| 1150k| 20 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4360 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
907.49/907.82 c 888s| 1160k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4386 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
912.20/912.58 c 892s| 1170k| 20 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4431 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
916.89/917.29 c 897s| 1180k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4477 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
921.59/921.94 c 902s| 1190k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4507 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
926.39/926.75 c 906s| 1200k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4527 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
931.09/931.42 c 911s| 1210k| 23 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4554 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
935.80/936.17 c 915s| 1220k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4598 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
940.59/940.95 c 920s| 1230k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4643 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
945.28/945.69 c 925s| 1240k| 19 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4688 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
949.99/950.38 c 929s| 1250k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4711 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
954.68/955.06 c 934s| 1260k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4737 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
959.38/959.79 c 938s| 1270k| 20 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4750 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
964.18/964.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.18/964.53 c 943s| 1280k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4784 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
968.97/969.33 c 948s| 1290k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4806 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
973.87/974.29 c 952s| 1300k| 20 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4849 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
978.68/979.09 c 957s| 1310k| 22 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4882 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
983.47/983.80 c 962s| 1320k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4900 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
988.27/988.61 c 966s| 1330k| 21 | 16048 | 0.0 | 67M| 66 | - | 945 | 58k| 0 | 0 | 237 |4931 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
992.97/993.33 c 971s| 1340k| 21 | 16048 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 237 |4966 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
997.76/998.11 c 976s| 1350k| 21 | 16048 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 237 |4998 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1002.57/1002.94 c 980s| 1360k| 19 | 16048 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 237 |5035 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1007.46/1007.81 c 985s| 1370k| 20 | 16048 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 237 |5068 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1012.07/1012.48 c 990s| 1380k| 18 | 16048 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 237 |5096 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1016.87/1017.26 c 994s| 1390k| 21 | 16048 | 0.0 | 67M| 67 | - | 945 | 58k| 0 | 0 | 237 |5126 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1021.66/1022.07 c 999s| 1400k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5158 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1026.56/1026.93 c 1004s| 1410k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5210 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1031.26/1031.64 c 1008s| 1420k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5232 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1035.96/1036.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.96/1036.37 c 1013s| 1430k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5284 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1040.46/1040.84 c 1017s| 1440k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5341 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1044.96/1045.39 c 1022s| 1450k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5362 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1049.65/1050.03 c 1026s| 1460k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5392 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1054.15/1054.56 c 1031s| 1470k| 17 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5427 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1058.75/1059.15 c 1035s| 1480k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5450 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1063.45/1063.86 c 1040s| 1490k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5468 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1067.94/1068.32 c 1044s| 1500k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5489 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1072.35/1072.70 c 1048s| 1510k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5512 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1076.74/1077.17 c 1052s| 1520k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5573 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1081.05/1081.40 c 1057s| 1530k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5613 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1085.25/1085.65 c 1061s| 1540k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5630 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1089.65/1090.03 c 1065s| 1550k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5657 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1094.15/1094.58 c 1069s| 1560k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5683 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1098.94/1099.39 c 1074s| 1570k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5728 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1103.94/1104.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.94/1104.31 c 1079s| 1580k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5765 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1108.73/1109.19 c 1084s| 1590k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5800 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1113.53/1113.99 c 1088s| 1600k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5838 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1118.34/1118.80 c 1093s| 1610k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5868 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1123.24/1123.65 c 1098s| 1620k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5898 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1128.03/1128.47 c 1102s| 1630k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5928 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1132.73/1133.11 c 1107s| 1640k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |5974 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1137.53/1137.92 c 1111s| 1650k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6012 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1142.33/1142.72 c 1116s| 1660k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6091 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1147.23/1147.63 c 1121s| 1670k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6157 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1152.23/1152.63 c 1126s| 1680k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6214 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1156.92/1157.31 c 1130s| 1690k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6253 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1161.62/1162.01 c 1135s| 1700k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6280 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1166.42/1166.88 c 1140s| 1710k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6309 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1171.02/1171.49 c 1144s| 1720k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6333 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1175.82/1176.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.82/1176.23 c 1149s| 1730k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6389 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1180.31/1180.74 c 1153s| 1740k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6448 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1185.11/1185.56 c 1158s| 1750k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6535 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1189.91/1190.36 c 1162s| 1760k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6578 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1194.81/1195.24 c 1167s| 1770k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6630 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1199.62/1200.06 c 1172s| 1780k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6662 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1204.41/1204.89 c 1177s| 1790k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6690 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1209.21/1209.60 c 1181s| 1800k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6715 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1213.81/1214.26 c 1186s| 1810k| 23 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6748 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1218.61/1219.01 c 1190s| 1820k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6777 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1223.11/1223.55 c 1195s| 1830k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6821 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1227.70/1228.16 c 1199s| 1840k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6846 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1232.40/1232.81 c 1204s| 1850k| 21 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6879 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1237.11/1237.53 c 1208s| 1860k| 20 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6912 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1241.80/1242.25 c 1213s| 1870k| 22 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6940 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1246.59/1247.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.59/1247.01 c 1217s| 1880k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |6992 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1251.31/1251.79 c 1222s| 1890k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |7031 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1256.00/1256.44 c 1227s| 1900k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |7057 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1260.69/1261.12 c 1231s| 1910k| 19 | 16048 | 0.0 | 67M| 70 | - | 945 | 58k| 0 | 0 | 237 |7087 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1265.10/1265.56 c 1235s| 1920k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7124 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1269.59/1270.09 c 1240s| 1930k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7158 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1274.29/1274.76 c 1244s| 1940k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7195 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1278.89/1279.38 c 1249s| 1950k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7225 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1283.49/1283.95 c 1253s| 1960k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7263 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1288.09/1288.53 c 1258s| 1970k| 18 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7292 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1292.49/1292.96 c 1262s| 1980k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7325 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1296.99/1297.49 c 1266s| 1990k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7363 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1301.78/1302.22 c 1271s| 2000k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7406 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1306.39/1306.88 c 1276s| 2010k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7452 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1311.08/1311.55 c 1280s| 2020k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7482 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1315.69/1316.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.69/1316.18 c 1285s| 2030k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1320.28/1320.73 c 1289s| 2040k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7553 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1324.78/1325.28 c 1293s| 2050k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7588 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1329.48/1329.99 c 1298s| 2060k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7631 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1334.07/1334.53 c 1302s| 2070k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7678 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1338.67/1339.11 c 1307s| 2080k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7706 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1343.38/1343.87 c 1312s| 2090k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7763 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1347.87/1348.35 c 1316s| 2100k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7802 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1352.47/1352.99 c 1320s| 2110k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7836 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1357.17/1357.61 c 1325s| 2120k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7856 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1361.97/1362.41 c 1330s| 2130k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7898 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1366.66/1367.18 c 1334s| 2140k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7914 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1371.47/1371.98 c 1339s| 2150k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |7971 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1376.16/1376.70 c 1343s| 2160k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8037 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1380.86/1381.32 c 1348s| 2170k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8073 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1385.47/1385.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.47/1385.95 c 1352s| 2180k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8107 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1389.97/1390.43 c 1357s| 2190k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8137 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1394.37/1394.85 c 1361s| 2200k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8160 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1398.67/1399.17 c 1365s| 2210k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8196 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1403.35/1403.82 c 1370s| 2220k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8234 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1407.96/1408.40 c 1374s| 2230k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8252 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1412.36/1412.86 c 1379s| 2240k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8280 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1416.95/1417.44 c 1383s| 2250k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8313 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1421.95/1422.47 c 1388s| 2260k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8352 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1426.75/1427.21 c 1392s| 2270k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8373 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1431.55/1432.00 c 1397s| 2280k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8403 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1436.16/1436.64 c 1402s| 2290k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8459 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1440.64/1441.14 c 1406s| 2300k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8488 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1445.24/1445.73 c 1410s| 2310k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8540 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1449.85/1450.30 c 1415s| 2320k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8601 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1454.24/1454.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.24/1454.71 c 1419s| 2330k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8641 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1458.74/1459.22 c 1424s| 2340k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8691 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1463.44/1463.96 c 1428s| 2350k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8723 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1468.14/1468.69 c 1433s| 2360k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8769 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1472.74/1473.28 c 1437s| 2370k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8819 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1477.23/1477.71 c 1441s| 2380k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8856 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1481.64/1482.12 c 1446s| 2390k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8900 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1486.13/1486.60 c 1450s| 2400k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8935 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1490.53/1491.05 c 1454s| 2410k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |8975 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1495.24/1495.78 c 1459s| 2420k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9005 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1499.84/1500.35 c 1463s| 2430k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9039 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1504.34/1504.82 c 1468s| 2440k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9076 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1508.83/1509.39 c 1472s| 2450k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9116 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1513.43/1513.91 c 1477s| 2460k| 18 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9125 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1518.02/1518.52 c 1481s| 2470k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9160 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1522.83/1523.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.83/1523.34 c 1486s| 2480k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9179 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1527.52/1528.03 c 1490s| 2490k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9204 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1532.22/1532.73 c 1495s| 2500k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9227 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1536.92/1537.48 c 1499s| 2510k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9261 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1541.82/1542.37 c 1504s| 2520k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9314 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1546.82/1547.33 c 1509s| 2530k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9371 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1551.53/1552.07 c 1514s| 2540k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9423 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1556.41/1556.94 c 1518s| 2550k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9459 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1561.21/1561.72 c 1523s| 2560k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9482 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1566.01/1566.54 c 1528s| 2570k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9511 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1570.91/1571.40 c 1532s| 2580k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9564 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1575.72/1576.22 c 1537s| 2590k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9599 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1580.61/1581.11 c 1542s| 2600k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9665 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1585.31/1585.83 c 1546s| 2610k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9694 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1590.01/1590.55 c 1551s| 2620k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9757 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1594.81/1595.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.81/1595.39 c 1556s| 2630k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9783 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1599.50/1600.07 c 1560s| 2640k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9800 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1604.20/1604.74 c 1565s| 2650k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9839 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1608.71/1609.27 c 1569s| 2660k| 23 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9858 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1613.50/1614.05 c 1574s| 2670k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9890 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1618.10/1618.63 c 1578s| 2680k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9925 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1622.80/1623.38 c 1583s| 2690k| 22 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 |9968 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1627.69/1628.22 c 1588s| 2700k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1632.49/1633.05 c 1592s| 2710k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1637.49/1638.00 c 1597s| 2720k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1642.29/1642.82 c 1602s| 2730k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1646.89/1647.47 c 1606s| 2740k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1651.39/1651.96 c 1611s| 2750k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1656.10/1656.64 c 1615s| 2760k| 17 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1660.68/1661.23 c 1620s| 2770k| 18 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1665.38/1665.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.38/1665.90 c 1624s| 2780k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1669.98/1670.51 c 1629s| 2790k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1674.38/1674.92 c 1633s| 2800k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1678.78/1679.33 c 1637s| 2810k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1683.18/1683.78 c 1642s| 2820k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1687.68/1688.22 c 1646s| 2830k| 19 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1692.18/1692.78 c 1650s| 2840k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1696.68/1697.27 c 1655s| 2850k| 20 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1701.08/1701.69 c 1659s| 2860k| 21 | 16048 | 0.0 | 67M| 71 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1705.48/1706.06 c 1663s| 2870k| 17 | 16048 | 0.0 | 67M| 73 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1710.37/1710.90 c 1668s| 2880k| 22 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1715.38/1715.99 c 1673s| 2890k| 20 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1720.37/1720.95 c 1678s| 2900k| 19 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1725.37/1725.91 c 1682s| 2910k| 20 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1730.26/1730.89 c 1687s| 2920k| 21 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1735.17/1735.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.17/1735.77 c 1692s| 2930k| 19 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1740.16/1740.75 c 1697s| 2940k| 20 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1744.86/1745.49 c 1701s| 2950k| 21 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1749.75/1750.39 c 1706s| 2960k| 20 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1754.66/1755.21 c 1711s| 2970k| 22 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1759.47/1760.06 c 1716s| 2980k| 21 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1764.25/1764.82 c 1720s| 2990k| 19 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1768.95/1769.55 c 1725s| 3000k| 21 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1773.85/1774.48 c 1730s| 3010k| 20 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1778.76/1779.38 c 1734s| 3020k| 18 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1783.56/1784.20 c 1739s| 3030k| 19 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1788.55/1789.16 c 1744s| 3040k| 19 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1793.45/1794.08 c 1749s| 3050k| 19 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1798.25/1798.83 c 1753s| 3060k| 20 | 16048 | 0.0 | 67M| 74 | - | 945 | 58k| 0 | 0 | 237 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1755.15
1800.06/1800.61 c Solving Nodes : 3063856
1800.06/1800.61 c Primal Bound : -3.30000000000000e+01 (18 solutions)
1800.06/1800.61 c Dual Bound : -4.49999999999818e+01
1800.06/1800.61 c Gap : 26.67 %
1800.06/1800.64 s SATISFIABLE
1800.06/1800.64 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28
1800.06/1800.64 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53
1800.06/1800.64 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.06/1800.64 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103
1800.06/1800.64 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.06/1800.64 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.06/1800.64 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.06/1800.64 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.06/1800.64 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207
1800.06/1800.64 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.06/1800.64 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.06/1800.64 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270
1800.06/1800.64 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.06/1800.64 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.06/1800.64 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333
1800.06/1800.64 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.06/1800.64 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.06/1800.64 v -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.06/1800.64 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.06/1800.64 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.06/1800.64 v -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.06/1800.64 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.06/1800.64 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.06/1800.64 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.06/1800.64 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.06/1800.64 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1800.06/1800.64 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.06/1800.64 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.06/1800.64 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626
1800.06/1800.64 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.06/1800.64 v -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.06/1800.64 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689
1800.06/1800.64 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.06/1800.64 v -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.06/1800.64 v -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.06/1800.64 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.06/1800.64 v -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.06/1800.64 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815
1800.06/1800.64 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836
1800.06/1800.64 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.06/1800.64 v -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.06/1800.64 v -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.06/1800.64 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.06/1800.64 v -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.06/1800.64 v -x942 -x943 -x944 -x945
1800.06/1800.64 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.64 c Solving Time : 1755.15
1800.06/1800.64 c Original Problem :
1800.06/1800.64 c Problem name : HOME/instance-2665511-1276498766.opb
1800.06/1800.64 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.64 c Constraints : 58624 initial, 58624 maximal
1800.06/1800.64 c Presolved Problem :
1800.06/1800.64 c Problem name : t_HOME/instance-2665511-1276498766.opb
1800.06/1800.64 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.64 c Constraints : 58624 initial, 58646 maximal
1800.06/1800.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.64 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.64 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.64 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.64 c probing : 1.32 0 0 0 0 0 0 0 0
1800.06/1800.64 c logicor : 0.19 0 0 0 0 0 0 0 0
1800.06/1800.64 c root node : - 0 - - 0 - - - -
1800.06/1800.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.64 c integral : 0 0 0 1 0 0 0 0 0 2
1800.06/1800.64 c logicor : 58624+ 30 3127788 0 3 202625 6066561 0 0 0
1800.06/1800.64 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.06/1800.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.64 c integral : 159.73 0.00 0.00 159.73 0.00
1800.06/1800.64 c logicor : 437.52 0.29 437.20 0.00 0.03
1800.06/1800.64 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.64 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.64 c vbounds : 2.40 2 0 0
1800.06/1800.64 c rootredcost : 2.40 3 0 0
1800.06/1800.64 c pseudoobj : 419.24 4862016 1177243 1395814
1800.06/1800.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.64 c propagation : 222.32 202625 11403 11403 43.6 0 0.0 -
1800.06/1800.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.64 c pseudo solution : 210.12 154109 0 0 0.0 0 0.0 -
1800.06/1800.64 c applied globally : - - - 11403 43.6 - - -
1800.06/1800.64 c applied locally : - - - 0 0.0 - - -
1800.06/1800.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.64 c cut pool : 0.00 29 - - 55 - (maximal pool size: 539)
1800.06/1800.64 c redcost : 0.00 30 0 0 0 0
1800.06/1800.64 c impliedbounds : 0.08 30 0 0 0 0
1800.06/1800.64 c intobj : 0.00 0 0 0 0 0
1800.06/1800.64 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.64 c gomory : 36.90 30 0 0 14788 0
1800.06/1800.64 c strongcg : 3.24 20 0 0 10000 0
1800.06/1800.64 c cmir : 14.94 10 0 0 0 0
1800.06/1800.64 c flowcover : 16.29 10 0 0 0 0
1800.06/1800.64 c clique : 1.32 30 0 0 271 0
1800.06/1800.64 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.64 c mcf : 0.10 1 0 0 0 0
1800.06/1800.64 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.64 c Pricers : Time Calls Vars
1800.06/1800.64 c problem variables: 0.00 0 0
1800.06/1800.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.64 c relpscost : 159.73 1 0 0 0 0 2
1800.06/1800.64 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.64 c inference : 16.22 1537116 0 0 0 0 3074232
1800.06/1800.64 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.64 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.65 c random : 0.00 0 0 0 0 0 0
1800.06/1800.65 c Primal Heuristics : Time Calls Found
1800.06/1800.65 c LP solutions : 0.00 - 0
1800.06/1800.65 c pseudo solutions : 0.00 - 3
1800.06/1800.65 c crossover : 0.00 0 0
1800.06/1800.65 c oneopt : 2.69 2 1
1800.06/1800.65 c trivial : 0.04 2 3
1800.06/1800.65 c simplerounding : 0.05 31 7
1800.06/1800.65 c zirounding : 0.02 1 1
1800.06/1800.65 c rounding : 1.12 31 1
1800.06/1800.65 c shifting : 1.49 31 1
1800.06/1800.65 c intshifting : 0.00 0 0
1800.06/1800.65 c twoopt : 0.00 0 0
1800.06/1800.65 c fixandinfer : 0.00 0 0
1800.06/1800.65 c feaspump : 0.00 0 0
1800.06/1800.65 c coefdiving : 0.00 0 0
1800.06/1800.65 c pscostdiving : 0.00 0 0
1800.06/1800.65 c fracdiving : 0.00 0 0
1800.06/1800.65 c veclendiving : 0.00 0 0
1800.06/1800.65 c intdiving : 0.00 0 0
1800.06/1800.65 c actconsdiving : 0.00 0 0
1800.06/1800.65 c objpscostdiving : 0.00 0 0
1800.06/1800.65 c rootsoldiving : 0.00 0 0
1800.06/1800.65 c linesearchdiving : 0.00 0 0
1800.06/1800.65 c guideddiving : 0.00 0 0
1800.06/1800.65 c octane : 0.00 0 0
1800.06/1800.65 c rens : 3.75 1 1
1800.06/1800.65 c rins : 0.00 0 0
1800.06/1800.65 c localbranching : 0.00 0 0
1800.06/1800.65 c mutation : 0.00 0 0
1800.06/1800.65 c dins : 0.00 0 0
1800.06/1800.65 c undercover : 0.00 0 0
1800.06/1800.65 c nlp : 1.25 0 0
1800.06/1800.65 c trysol : 1.75 0 0
1800.06/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.65 c primal LP : 0.23 0 0 0.00 0.00
1800.06/1800.65 c dual LP : 120.10 31 16048 517.68 133.62
1800.06/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.65 c strong branching : 159.73 33 20593 624.03 128.92
1800.06/1800.65 c (at root node) : - 33 20593 624.03 -
1800.06/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.65 c B&B Tree :
1800.06/1800.65 c number of runs : 1
1800.06/1800.65 c nodes : 3063856
1800.06/1800.65 c nodes (total) : 3063856
1800.06/1800.65 c nodes left : 21
1800.06/1800.65 c max depth : 74
1800.06/1800.65 c max depth (total): 74
1800.06/1800.65 c backtracks : 494773 (16.1%)
1800.06/1800.65 c delayed cutoffs : 7824
1800.06/1800.65 c repropagations : 8875 (28899 domain reductions, 7241 cutoffs)
1800.06/1800.65 c avg switch length: 2.00
1800.06/1800.65 c switching time : 154.91
1800.06/1800.65 c Solution :
1800.06/1800.65 c Solutions found : 18 (7 improvements)
1800.06/1800.65 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.06/1800.65 c Primal Bound : -3.30000000000000e+01 (in run 1, after 50665 nodes, 384.54 seconds, depth 44, found by <relaxation>)
1800.06/1800.65 c Dual Bound : -4.49999999999818e+01
1800.06/1800.65 c Gap : 26.67 %
1800.06/1800.65 c Root Dual Bound : -4.50000000000000e+01
1800.06/1800.65 c Root Iterations : 16048
1800.25/1800.88 c Time complete: 1800.33.
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665511-1276498766/watcher-2665511-1276498766 -o /tmp/evaluation-result-2665511-1276498766/solver-2665511-1276498766 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665511-1276498766.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.03 1.00 3/106 27845 /proc/meminfo: memFree=1723992/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=9288 CPUtime=0 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 25480447 9510912 956 1992294400 4194304 9819077 140733664738704 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27845/statm: 2322 965 371 1374 0 943 0 [startup+0.017572 s] /proc/loadavg: 1.06 1.03 1.00 3/106 27845 /proc/meminfo: memFree=1723992/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=11472 CPUtime=0 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 1818 0 0 0 0 0 0 0 20 0 1 0 25480447 11747328 1739 1992294400 4194304 9819077 140733664738704 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27845/statm: 2868 1739 388 1374 0 1489 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11472 [startup+0.101578 s] /proc/loadavg: 1.06 1.03 1.00 3/106 27845 /proc/meminfo: memFree=1723992/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=14720 CPUtime=0.09 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 2610 0 0 0 8 1 0 0 20 0 1 0 25480447 15073280 2531 1992294400 4194304 9819077 140733664738704 18446744073709551615 8610784 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27845/statm: 3680 2531 388 1374 0 2301 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14720 [startup+0.301597 s] /proc/loadavg: 1.06 1.03 1.00 3/106 27845 /proc/meminfo: memFree=1723992/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=19112 CPUtime=0.29 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 3713 0 0 0 28 1 0 0 20 0 1 0 25480447 19570688 3634 1992294400 4194304 9819077 140733664738704 18446744073709551615 8590901 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27845/statm: 4778 3634 388 1374 0 3399 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19112 [startup+0.700636 s] /proc/loadavg: 1.06 1.03 1.00 3/106 27845 /proc/meminfo: memFree=1723992/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=27892 CPUtime=0.69 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 5920 0 0 0 67 2 0 0 21 0 1 0 25480447 28561408 5841 1992294400 4194304 9819077 140733664738704 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27845/statm: 6973 5841 388 1374 0 5594 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27892 [startup+1.50071 s] /proc/loadavg: 1.06 1.03 1.00 2/107 27846 /proc/meminfo: memFree=1679220/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=77440 CPUtime=1.49 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 20008 0 0 0 136 13 0 0 22 0 1 0 25480447 79298560 17925 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 19360 17925 494 1374 0 17981 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77440 [startup+3.10086 s] /proc/loadavg: 1.06 1.03 1.00 2/107 27846 /proc/meminfo: memFree=1649956/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=81460 CPUtime=3.09 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 27016 0 0 0 285 24 0 0 25 0 1 0 25480447 83415040 18879 1992294400 4194304 9819077 140733664738704 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 20365 18879 508 1374 0 18986 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81460 [startup+6.30117 s] /proc/loadavg: 1.05 1.03 1.00 2/107 27846 /proc/meminfo: memFree=1600232/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=176072 CPUtime=6.29 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 53242 0 0 0 587 42 0 0 25 0 1 0 25480447 180297728 31548 1992294400 4194304 9819077 140733664738704 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 44018 31548 663 1374 0 42639 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 176072 [startup+12.7008 s] /proc/loadavg: 1.05 1.03 1.00 2/107 27846 /proc/meminfo: memFree=1599612/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=174992 CPUtime=12.68 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 61786 0 0 0 1222 46 0 0 25 0 1 0 25480447 179191808 31535 1992294400 4194304 9819077 140733664738704 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 43748 31535 665 1374 0 42369 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 174992 [startup+25.502 s] /proc/loadavg: 1.04 1.03 1.00 2/107 27846 /proc/meminfo: memFree=1599736/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=173332 CPUtime=25.49 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 73292 0 0 0 2496 53 0 0 25 0 1 0 25480447 177491968 31446 1992294400 4194304 9819077 140733664738704 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 43333 31446 665 1374 0 41954 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 173332 [startup+51.1014 s] /proc/loadavg: 1.02 1.03 1.00 2/107 27846 /proc/meminfo: memFree=1598248/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=171936 CPUtime=51.07 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 101536 0 0 0 5039 68 0 0 25 0 1 0 25480447 176062464 31965 1992294400 4194304 9819077 140733664738704 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42984 31965 667 1374 0 41605 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 171936 [startup+102.309 s] /proc/loadavg: 1.01 1.02 1.00 2/107 27857 /proc/meminfo: memFree=1599240/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=168064 CPUtime=102.25 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 157573 0 0 0 10129 96 0 0 25 0 1 0 25480447 172097536 31618 1992294400 4194304 9819077 140733664738704 18446744073709551615 6198704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42016 31618 670 1374 0 40637 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 168064 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27859 /proc/meminfo: memFree=1597008/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=168136 CPUtime=162.23 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 318135 0 0 0 16046 177 0 0 25 0 1 0 25480447 172171264 32165 1992294400 4194304 9819077 140733664738704 18446744073709551615 6555543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42034 32165 677 1374 0 40655 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 168136 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27859 /proc/meminfo: memFree=1583740/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=199604 CPUtime=222.22 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 405704 0 0 0 21979 243 0 0 25 0 1 0 25480447 204394496 34282 1992294400 4194304 9819077 140733664738704 18446744073709551615 6209895 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 49901 34292 717 1374 0 48522 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 199604 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27861 /proc/meminfo: memFree=1582748/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=209260 CPUtime=282.19 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 519074 0 0 0 27920 299 0 0 25 0 1 0 25480447 214282240 35862 1992294400 4194304 9819077 140733664738704 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 52315 35862 717 1374 0 50936 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 209260 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27863 /proc/meminfo: memFree=1582624/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=209260 CPUtime=342.17 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 593426 0 0 0 33880 337 0 0 25 0 1 0 25480447 214282240 35808 1992294400 4194304 9819077 140733664738704 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 52315 35808 717 1374 0 50936 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 209260 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27865 /proc/meminfo: memFree=1592792/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=402.15 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 39755 460 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5918766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 170728 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27867 /proc/meminfo: memFree=1592668/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=462.13 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 45587 626 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 170728 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27867 /proc/meminfo: memFree=1592668/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=522.11 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 51411 800 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 4431533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 170728 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27869 /proc/meminfo: memFree=1592420/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=582.09 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 57236 973 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 170728 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27871 /proc/meminfo: memFree=1592296/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=642.08 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 63067 1141 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 170728 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27880 /proc/meminfo: memFree=1591304/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=882 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 86385 1815 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5508052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 170728 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27882 /proc/meminfo: memFree=1591304/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=941.98 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 92226 1972 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 170728 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27884 /proc/meminfo: memFree=1591304/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1001.97 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 98068 2129 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 170728 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27886 /proc/meminfo: memFree=1591304/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1061.95 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 103898 2297 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 170728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27886 /proc/meminfo: memFree=1591304/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1121.94 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 109720 2474 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5918859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 170728 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27888 /proc/meminfo: memFree=1591304/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1181.91 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 115554 2637 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 170728 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27890 /proc/meminfo: memFree=1591180/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1241.9 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 121380 2810 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 4221116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 170728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27892 /proc/meminfo: memFree=1590932/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1301.89 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 127201 2988 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 170728 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27894 /proc/meminfo: memFree=1590932/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1361.86 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 133030 3156 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 170728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27894 /proc/meminfo: memFree=1590808/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1421.86 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 138859 3327 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 170728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27896 /proc/meminfo: memFree=1590684/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1481.84 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 144680 3504 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 170728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27898 /proc/meminfo: memFree=1590684/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1541.82 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 150502 3680 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 170728 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27900 /proc/meminfo: memFree=1590560/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1601.8 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 156339 3841 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5907500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 170728 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27902 /proc/meminfo: memFree=1590560/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1661.79 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 162161 4018 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 170728 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27902 /proc/meminfo: memFree=1590312/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1721.76 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 167985 4191 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 170728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27904 /proc/meminfo: memFree=1590188/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1781.75 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 173824 4351 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 170728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27906 /proc/meminfo: memFree=1590188/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=170728 CPUtime=1800.06 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633406 0 0 0 175606 4400 0 0 25 0 1 0 25480447 174825472 33188 1992294400 4194304 9819077 140733664738704 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27845/statm: 42682 33188 721 1374 0 41303 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 170728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27906 /proc/meminfo: memFree=1590188/2059040 swapFree=4140388/4192956 [pid=27845] ppid=27843 vsize=152120 CPUtime=1800.25 /proc/27845/stat : 27845 (pbscip.linux.x8) R 27843 27845 27369 0 -1 4202496 633407 0 0 0 175625 4400 0 0 25 0 1 0 25480447 155770880 28558 1992294400 4194304 9819077 140733664738704 18446744073709551615 4998563 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27845/statm: 38030 28558 722 1374 0 36651 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 152120 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.34 CPU user time (s): 1756.32 CPU system time (s): 44.0193 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 241128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.32 system time used= 44.0193 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 633411 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 8189 runsolver used 2.81857 second user time and 8.69868 second system time The end
Begin job on node004 at 2010-06-14 08:59:26 IDJOB=2665511 IDBENCH=2251 IDSOLVER=1168 FILE ID=node004/2665511-1276498766 PBS_JOBID= 11173400 Free space on /tmp= 62548 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665511-1276498766/watcher-2665511-1276498766 -o /tmp/evaluation-result-2665511-1276498766/solver-2665511-1276498766 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665511-1276498766.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aabc023158e10c9511062af8ac97c515 RANDOM SEED=1395104151 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1724396 kB Buffers: 103728 kB Cached: 148508 kB SwapCached: 6684 kB Active: 106748 kB Inactive: 159156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1724396 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 7648 kB Writeback: 0 kB AnonPages: 11452 kB Mapped: 12860 kB Slab: 46912 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182504 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62540 MiB End job on node004 at 2010-06-14 09:29:28