| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1791.99 | 1792.48 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb |
| MD5SUM | 70ea01a607f0d01f6199fb93098b84d8 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1799.77 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 77106 |
| Total number of constraints | 218779 |
| Number of constraints which are clauses | 205559 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 129 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 510 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703576-1278550468.opb>
3.30/3.36 c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints
3.30/3.36 c problem read
3.30/3.37 c No objective function, only one solution is needed.
3.30/3.38 c presolving settings loaded
4.49/4.54 c presolving:
8.39/8.41 c (round 1) 3223 del vars, 4042 del conss, 1432 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4306962 impls, 0 clqs
8.58/8.64 c (round 2) 3528 del vars, 8830 del conss, 1625 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
8.70/8.77 c (round 3) 3532 del vars, 9068 del conss, 1629 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
8.89/8.92 c (round 4) 3686 del vars, 9228 del conss, 1635 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307694 impls, 0 clqs
8.99/9.07 c (round 5) 3842 del vars, 9689 del conss, 1644 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307994 impls, 0 clqs
9.19/9.23 c (round 6) 4000 del vars, 10155 del conss, 1656 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308326 impls, 0 clqs
9.29/9.38 c (round 7) 4160 del vars, 10625 del conss, 1669 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4309184 impls, 0 clqs
9.49/9.52 c (round 8) 4187 del vars, 10965 del conss, 1684 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4310077 impls, 0 clqs
9.59/9.65 c (round 9) 4234 del vars, 11062 del conss, 1701 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4311931 impls, 0 clqs
9.69/9.78 c (round 10) 4264 del vars, 11176 del conss, 1724 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312518 impls, 0 clqs
9.90/9.91 c (round 11) 4318 del vars, 11278 del conss, 1752 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4313044 impls, 0 clqs
9.99/10.05 c (round 12) 4429 del vars, 11480 del conss, 1788 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4314522 impls, 0 clqs
10.09/10.19 c (round 13) 4533 del vars, 11796 del conss, 1823 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4317962 impls, 0 clqs
10.29/10.32 c (round 14) 4575 del vars, 12039 del conss, 1857 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318428 impls, 0 clqs
10.39/10.46 c (round 15) 4632 del vars, 12158 del conss, 1887 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321218 impls, 0 clqs
10.49/10.59 c (round 16) 4661 del vars, 12286 del conss, 1913 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321458 impls, 0 clqs
10.69/10.71 c (round 17) 4712 del vars, 12384 del conss, 1939 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321954 impls, 0 clqs
10.79/10.84 c (round 18) 4775 del vars, 12546 del conss, 1970 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4323036 impls, 0 clqs
10.90/10.98 c (round 19) 4843 del vars, 12728 del conss, 2001 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325306 impls, 0 clqs
11.09/11.10 c (round 20) 4872 del vars, 12873 del conss, 2026 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325454 impls, 0 clqs
11.19/11.23 c (round 21) 4914 del vars, 12961 del conss, 2052 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325596 impls, 0 clqs
11.29/11.36 c (round 22) 4978 del vars, 13101 del conss, 2083 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325879 impls, 0 clqs
11.39/11.49 c (round 23) 5036 del vars, 13274 del conss, 2109 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4326795 impls, 0 clqs
11.59/11.61 c (round 24) 5071 del vars, 13411 del conss, 2135 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327427 impls, 0 clqs
11.69/11.74 c (round 25) 5142 del vars, 13554 del conss, 2169 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328126 impls, 0 clqs
11.79/11.87 c (round 26) 5201 del vars, 13737 del conss, 2201 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328702 impls, 0 clqs
11.89/11.99 c (round 27) 5264 del vars, 13935 del conss, 2242 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329446 impls, 0 clqs
12.10/12.12 c (round 28) 5283 del vars, 14033 del conss, 2253 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329650 impls, 0 clqs
12.19/12.24 c (round 29) 5295 del vars, 14079 del conss, 2260 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329990 impls, 0 clqs
12.29/12.36 c (round 30) 5307 del vars, 14115 del conss, 2265 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330402 impls, 0 clqs
12.39/12.48 c (round 31) 5312 del vars, 14146 del conss, 2270 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330404 impls, 0 clqs
12.59/12.67 c (round 32) 5322 del vars, 14194 del conss, 2280 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330470 impls, 0 clqs
12.79/12.80 c (round 33) 5384 del vars, 14238 del conss, 2287 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331344 impls, 0 clqs
12.89/12.92 c (round 34) 5395 del vars, 14370 del conss, 2297 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331626 impls, 0 clqs
12.99/13.04 c (round 35) 5445 del vars, 14434 del conss, 2311 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4332625 impls, 0 clqs
13.10/13.17 c (round 36) 5489 del vars, 14572 del conss, 2327 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333101 impls, 0 clqs
13.20/13.30 c (round 37) 5544 del vars, 14744 del conss, 2360 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333819 impls, 0 clqs
13.39/13.42 c (round 38) 5561 del vars, 14833 del conss, 2369 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333983 impls, 0 clqs
13.49/13.54 c (round 39) 5573 del vars, 14875 del conss, 2376 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334123 impls, 0 clqs
13.59/13.66 c (round 40) 5585 del vars, 14911 del conss, 2381 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334535 impls, 0 clqs
13.69/13.78 c (round 41) 5590 del vars, 14942 del conss, 2386 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334537 impls, 0 clqs
13.89/13.97 c (round 42) 5600 del vars, 14990 del conss, 2396 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334603 impls, 0 clqs
13.99/14.09 c (round 43) 5662 del vars, 15034 del conss, 2403 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335481 impls, 0 clqs
14.20/14.22 c (round 44) 5673 del vars, 15166 del conss, 2413 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335763 impls, 0 clqs
14.30/14.34 c (round 45) 5722 del vars, 15229 del conss, 2427 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4337348 impls, 0 clqs
14.39/14.47 c (round 46) 5767 del vars, 15366 del conss, 2443 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4338388 impls, 0 clqs
14.49/14.59 c (round 47) 5822 del vars, 15540 del conss, 2476 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339314 impls, 0 clqs
14.69/14.72 c (round 48) 5839 del vars, 15629 del conss, 2485 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339570 impls, 0 clqs
14.79/14.84 c (round 49) 5851 del vars, 15671 del conss, 2492 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339716 impls, 0 clqs
14.89/14.96 c (round 50) 5863 del vars, 15707 del conss, 2497 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340128 impls, 0 clqs
14.99/15.08 c (round 51) 5868 del vars, 15738 del conss, 2502 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340130 impls, 0 clqs
15.19/15.26 c (round 52) 5878 del vars, 15786 del conss, 2512 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340196 impls, 0 clqs
15.30/15.39 c (round 53) 5940 del vars, 15830 del conss, 2519 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341070 impls, 0 clqs
15.49/15.51 c (round 54) 5951 del vars, 15962 del conss, 2529 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341352 impls, 0 clqs
15.59/15.63 c (round 55) 5974 del vars, 15999 del conss, 2542 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341396 impls, 0 clqs
15.69/15.76 c (round 56) 6043 del vars, 16107 del conss, 2558 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4344558 impls, 0 clqs
15.79/15.88 c (round 57) 6098 del vars, 16331 del conss, 2591 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4345150 impls, 0 clqs
15.99/16.01 c (round 58) 6116 del vars, 16420 del conss, 2600 chg bounds, 6611 chg sides, 13855 chg coeffs, 0 upgd conss, 4345342 impls, 0 clqs
16.09/16.13 c (round 59) 6131 del vars, 16466 del conss, 2609 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345496 impls, 0 clqs
16.19/16.25 c (round 60) 6140 del vars, 16516 del conss, 2618 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345572 impls, 0 clqs
16.40/16.49 c (round 61) 6148 del vars, 16541 del conss, 2626 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345582 impls, 0 clqs
18.29/18.33 c (round 62) 6154 del vars, 16620 del conss, 2632 chg bounds, 6612 chg sides, 13856 chg coeffs, 202159 upgd conss, 4345666 impls, 0 clqs
18.99/19.02 c presolving (63 rounds):
18.99/19.02 c 6154 deleted vars, 16620 deleted constraints, 2632 tightened bounds, 0 added holes, 6612 changed sides, 13856 changed coefficients
18.99/19.02 c 4345666 implications, 0 cliques
18.99/19.02 c presolved problem has 70952 variables (70952 bin, 0 int, 0 impl, 0 cont) and 202159 constraints
18.99/19.02 c 13220 constraints of type <knapsack>
18.99/19.02 c 126180 constraints of type <setppc>
18.99/19.02 c 62759 constraints of type <logicor>
18.99/19.02 c transformed objective value is always integral (scale: 1)
18.99/19.02 c Presolving Time: 14.94
18.99/19.03 c - non default parameters ----------------------------------------------------------------------
18.99/19.03 c # SCIP version 1.2.1.3
18.99/19.03 c
18.99/19.03 c # frequency for displaying node information lines
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 100]
18.99/19.03 c display/freq = 10000
18.99/19.03 c
18.99/19.03 c # maximal time in seconds to run
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.99/19.03 c limits/time = 1786.63
18.99/19.03 c
18.99/19.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.99/19.03 c limits/memory = 1620
18.99/19.03 c
18.99/19.03 c # solving stops, if the given number of solutions were found (-1: no limit)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: -1]
18.99/19.03 c limits/solutions = 1
18.99/19.03 c
18.99/19.03 c # maximal number of separation rounds per node (-1: unlimited)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 5]
18.99/19.03 c separating/maxrounds = 1
18.99/19.03 c
18.99/19.03 c # maximal number of separation rounds in the root node (-1: unlimited)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: -1]
18.99/19.03 c separating/maxroundsroot = 5
18.99/19.03 c
18.99/19.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
18.99/19.03 c # [type: int, range: [1,2], default: 1]
18.99/19.03 c timing/clocktype = 2
18.99/19.03 c
18.99/19.03 c # should presolving try to simplify inequalities
18.99/19.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.03 c constraints/linear/simplifyinequalities = TRUE
18.99/19.03 c
18.99/19.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
18.99/19.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.03 c constraints/indicator/addCouplingCons = TRUE
18.99/19.03 c
18.99/19.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
18.99/19.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
18.99/19.03 c constraints/knapsack/disaggregation = FALSE
18.99/19.03 c
18.99/19.03 c # should presolving try to simplify knapsacks
18.99/19.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.03 c constraints/knapsack/simplifyinequalities = TRUE
18.99/19.03 c
18.99/19.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: -1]
18.99/19.03 c presolving/probing/maxrounds = 0
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/coefdiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/coefdiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/coefdiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 30]
18.99/19.03 c heuristics/crossover/freq = -1
18.99/19.03 c
18.99/19.03 c # number of nodes added to the contingent of the total nodes
18.99/19.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
18.99/19.03 c heuristics/crossover/nodesofs = 750
18.99/19.03 c
18.99/19.03 c # number of nodes without incumbent change that heuristic should wait
18.99/19.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
18.99/19.03 c heuristics/crossover/nwaitingnodes = 100
18.99/19.03 c
18.99/19.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
18.99/19.03 c # [type: real, range: [0,1], default: 0.1]
18.99/19.03 c heuristics/crossover/nodesquot = 0.15
18.99/19.03 c
18.99/19.03 c # minimum percentage of integer variables that have to be fixed
18.99/19.03 c # [type: real, range: [0,1], default: 0.666]
18.99/19.03 c heuristics/crossover/minfixingrate = 0.5
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 20]
18.99/19.03 c heuristics/feaspump/freq = -1
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/feaspump/maxlpiterofs = 2000
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/fracdiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/fracdiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/fracdiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/guideddiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/guideddiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/guideddiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/intdiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/intshifting/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/linesearchdiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.03 c heuristics/nlp/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 20]
18.99/19.03 c heuristics/objpscostdiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to total iteration number
18.99/19.03 c # [type: real, range: [0,1], default: 0.01]
18.99/19.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.03 c heuristics/oneopt/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/pscostdiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/pscostdiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 0]
18.99/19.03 c heuristics/rens/freq = -1
18.99/19.03 c
18.99/19.03 c # minimum percentage of integer variables that have to be fixable
18.99/19.03 c # [type: real, range: [0,1], default: 0.5]
18.99/19.03 c heuristics/rens/minfixingrate = 0.3
18.99/19.03 c
18.99/19.03 c # number of nodes added to the contingent of the total nodes
18.99/19.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
18.99/19.03 c heuristics/rens/nodesofs = 2000
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 20]
18.99/19.03 c heuristics/rootsoldiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
18.99/19.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.03 c heuristics/rounding/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/shifting/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.03 c heuristics/simplerounding/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 0]
18.99/19.03 c heuristics/trivial/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.03 c heuristics/trysol/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 10]
18.99/19.03 c heuristics/veclendiving/freq = -1
18.99/19.03 c
18.99/19.03 c # maximal fraction of diving LP iterations compared to node LP iterations
18.99/19.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.99/19.03 c heuristics/veclendiving/maxlpiterquot = 0.075
18.99/19.03 c
18.99/19.03 c # additional number of allowed LP iterations
18.99/19.03 c # [type: int, range: [0,2147483647], default: 1000]
18.99/19.03 c heuristics/veclendiving/maxlpiterofs = 1500
18.99/19.03 c
18.99/19.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.03 c heuristics/zirounding/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 0]
18.99/19.03 c separating/cmir/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: 0]
18.99/19.03 c separating/flowcover/freq = -1
18.99/19.03 c
18.99/19.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.99/19.03 c # [type: int, range: [-1,2147483647], default: -1]
18.99/19.03 c separating/rapidlearning/freq = 0
18.99/19.03 c
18.99/19.03 c -----------------------------------------------------------------------------------------------
18.99/19.03 c start solving
18.99/19.10 c
574.43/574.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.43/574.62 c 571s| 1 | 0 | 36025 | - | 529M| 0 | 20k| 70k| 202k| 70k| 202k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.50/1791.01 c 1788s| 1 | 0 | 76407 | - | 529M| 0 | - | 70k| 202k| 70k| 202k| 194 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.60/1791.11 c 1788s| 1 | 2 | 76407 | - | 529M| 0 | - | 70k| 202k| 70k| 202k| 194 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.60/1791.11 c
1790.60/1791.11 c SCIP Status : solving was interrupted [time limit reached]
1790.60/1791.11 c Solving Time (sec) : 1787.73
1790.60/1791.11 c Solving Nodes : 1
1790.60/1791.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.60/1791.11 c Dual Bound : +0.00000000000000e+00
1790.60/1791.11 c Gap : infinite
1790.60/1791.11 s UNKNOWN
1790.60/1791.11 c SCIP Status : solving was interrupted [time limit reached]
1790.60/1791.11 c Solving Time : 1787.73
1790.60/1791.11 c Original Problem :
1790.60/1791.11 c Problem name : HOME/instance-2703576-1278550468.opb
1790.60/1791.11 c Variables : 77106 (77106 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.60/1791.11 c Constraints : 218779 initial, 218779 maximal
1790.60/1791.11 c Presolved Problem :
1790.60/1791.11 c Problem name : t_HOME/instance-2703576-1278550468.opb
1790.60/1791.11 c Variables : 70952 (70952 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.60/1791.11 c Constraints : 202159 initial, 202159 maximal
1790.60/1791.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.60/1791.11 c trivial : 0.84 36 0 0 0 0 0 0 0
1790.60/1791.11 c dualfix : 0.83 0 0 0 0 0 0 0 0
1790.60/1791.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.60/1791.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.60/1791.11 c implics : 2.44 0 3477 0 0 0 0 0 0
1790.60/1791.11 c probing : 0.00 0 0 0 0 0 0 0 0
1790.60/1791.11 c knapsack : 0.18 0 0 0 0 0 0 0 0
1790.60/1791.11 c setppc : 0.35 0 0 0 0 0 0 0 0
1790.60/1791.11 c linear : 9.37 2624 17 0 2632 0 16620 6612 13856
1790.60/1791.11 c logicor : 0.12 0 0 0 0 0 0 0 0
1790.60/1791.11 c root node : - 0 - - 0 - - - -
1790.60/1791.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.60/1791.11 c integral : 0 0 0 0 0 0 0 0 0 0
1790.60/1791.11 c knapsack : 13220 1 1 0 1 0 0 200 0 0
1790.60/1791.11 c setppc : 126180 1 1 0 1 0 0 0 0 0
1790.60/1791.11 c logicor : 62759 1 1 0 1 0 0 0 0 0
1790.60/1791.11 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.60/1791.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.60/1791.11 c integral : 0.00 0.00 0.00 0.00 0.00
1790.60/1791.11 c knapsack : 0.01 0.01 0.00 0.00 0.00
1790.60/1791.11 c setppc : 0.07 0.02 0.01 0.00 0.04
1790.60/1791.11 c logicor : 0.12 0.01 0.08 0.00 0.03
1790.60/1791.11 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.60/1791.11 c Propagators : Time Calls Cutoffs DomReds
1790.60/1791.11 c vbounds : 0.00 1 0 0
1790.60/1791.11 c rootredcost : 0.00 0 0 0
1790.60/1791.11 c pseudoobj : 0.00 0 0 0
1790.60/1791.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.60/1791.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.60/1791.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.60/1791.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.60/1791.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.60/1791.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.60/1791.11 c applied globally : - - - 0 0.0 - - -
1790.60/1791.11 c applied locally : - - - 0 0.0 - - -
1790.60/1791.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.60/1791.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 427)
1790.60/1791.11 c redcost : 0.01 1 0 0 0 0
1790.60/1791.11 c impliedbounds : 0.10 1 0 0 0 0
1790.60/1791.11 c intobj : 0.00 0 0 0 0 0
1790.60/1791.11 c cgmip : 0.00 0 0 0 0 0
1790.60/1791.11 c gomory : 45.18 1 0 0 500 0
1790.60/1791.11 c strongcg : 71.34 1 0 0 500 0
1790.60/1791.11 c cmir : 0.00 0 0 0 0 0
1790.60/1791.11 c flowcover : 0.00 0 0 0 0 0
1790.60/1791.11 c clique : 6.87 1 0 0 7 0
1790.60/1791.11 c zerohalf : 0.00 0 0 0 0 0
1790.60/1791.11 c mcf : 14.74 1 0 0 0 0
1790.60/1791.11 c rapidlearning : 0.00 0 0 0 0 0
1790.60/1791.11 c Pricers : Time Calls Vars
1790.60/1791.11 c problem variables: 0.00 0 0
1790.60/1791.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.60/1791.11 c relpscost : 0.00 0 0 0 0 0 0
1790.60/1791.11 c pscost : 0.00 0 0 0 0 0 0
1790.60/1791.11 c inference : 0.02 1 0 0 0 0 2
1790.60/1791.11 c mostinf : 0.00 0 0 0 0 0 0
1790.60/1791.11 c leastinf : 0.00 0 0 0 0 0 0
1790.60/1791.11 c fullstrong : 0.00 0 0 0 0 0 0
1790.60/1791.11 c allfullstrong : 0.00 0 0 0 0 0 0
1790.60/1791.11 c random : 0.00 0 0 0 0 0 0
1790.60/1791.11 c Primal Heuristics : Time Calls Found
1790.60/1791.11 c LP solutions : 0.00 - 0
1790.60/1791.11 c pseudo solutions : 0.00 - 0
1790.60/1791.11 c trivial : 0.14 1 0
1790.60/1791.11 c simplerounding : 0.00 0 0
1790.60/1791.11 c zirounding : 0.00 0 0
1790.60/1791.11 c rounding : 0.00 0 0
1790.60/1791.11 c shifting : 0.00 0 0
1790.60/1791.11 c intshifting : 0.00 0 0
1790.60/1791.11 c oneopt : 0.00 0 0
1790.60/1791.11 c twoopt : 0.00 0 0
1790.60/1791.11 c fixandinfer : 0.00 0 0
1790.60/1791.11 c feaspump : 0.00 0 0
1790.60/1791.11 c coefdiving : 0.00 0 0
1790.60/1791.11 c pscostdiving : 0.00 0 0
1790.60/1791.11 c fracdiving : 0.00 0 0
1790.60/1791.11 c veclendiving : 0.00 0 0
1790.60/1791.11 c intdiving : 0.00 0 0
1790.60/1791.11 c actconsdiving : 0.00 0 0
1790.60/1791.11 c objpscostdiving : 0.00 0 0
1790.60/1791.11 c rootsoldiving : 0.00 0 0
1790.60/1791.11 c linesearchdiving : 0.00 0 0
1790.60/1791.11 c guideddiving : 0.00 0 0
1790.60/1791.11 c octane : 0.00 0 0
1790.60/1791.11 c rens : 0.00 0 0
1790.60/1791.11 c rins : 0.00 0 0
1790.60/1791.11 c localbranching : 0.00 0 0
1790.60/1791.11 c mutation : 0.00 0 0
1790.60/1791.11 c crossover : 0.00 0 0
1790.60/1791.11 c dins : 0.00 0 0
1790.60/1791.11 c undercover : 0.00 0 0
1790.60/1791.11 c nlp : 0.00 0 0
1790.60/1791.11 c trysol : 0.00 0 0
1790.60/1791.11 c LP : Time Calls Iterations Iter/call Iter/sec
1790.60/1791.11 c primal LP : 0.00 0 0 0.00 -
1790.60/1791.11 c dual LP : 1632.29 2 76407 38203.50 46.81
1790.60/1791.11 c lex dual LP : 0.00 0 0 0.00 -
1790.60/1791.11 c barrier LP : 0.00 0 0 0.00 -
1790.60/1791.11 c diving/probing LP: 0.00 0 0 0.00 -
1790.60/1791.11 c strong branching : 0.00 0 0 0.00 -
1790.60/1791.11 c (at root node) : - 0 0 0.00 -
1790.60/1791.11 c conflict analysis: 0.00 0 0 0.00 -
1790.60/1791.11 c B&B Tree :
1790.60/1791.11 c number of runs : 1
1790.60/1791.11 c nodes : 1
1790.60/1791.11 c nodes (total) : 1
1790.60/1791.11 c nodes left : 2
1790.60/1791.11 c max depth : 0
1790.60/1791.11 c max depth (total): 0
1790.60/1791.11 c backtracks : 0 (0.0%)
1790.60/1791.11 c delayed cutoffs : 0
1790.60/1791.11 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.60/1791.11 c avg switch length: 1.00
1790.60/1791.11 c switching time : 0.00
1790.60/1791.11 c Solution :
1790.60/1791.11 c Solutions found : 0 (0 improvements)
1790.60/1791.11 c Primal Bound : -
1790.60/1791.11 c Dual Bound : +0.00000000000000e+00
1790.60/1791.11 c Gap : infinite
1790.60/1791.11 c Root Dual Bound : +0.00000000000000e+00
1790.60/1791.11 c Root Iterations : 76407
1791.89/1792.47 c Time complete: 1791.97.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703576-1278550468/watcher-2703576-1278550468 -o /tmp/evaluation-result-2703576-1278550468/solver-2703576-1278550468 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703576-1278550468.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.05 1.00 3/105 28047 /proc/meminfo: memFree=1834072/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=7904 CPUtime=0 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 1140 0 0 0 0 0 0 0 22 0 1 0 23255232 8093696 1051 1992294400 4194304 8395647 140734228286288 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 1976 1060 365 1026 0 946 0 [startup+0.0693639 s] /proc/loadavg: 1.06 1.05 1.00 3/105 28047 /proc/meminfo: memFree=1834072/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=13716 CPUtime=0.06 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 2723 0 0 0 6 0 0 0 24 0 1 0 23255232 14045184 2634 1992294400 4194304 8395647 140734228286288 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 3429 2634 390 1026 0 2399 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13716 [startup+0.101367 s] /proc/loadavg: 1.06 1.05 1.00 3/105 28047 /proc/meminfo: memFree=1834072/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=16240 CPUtime=0.09 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 3360 0 0 0 9 0 0 0 24 0 1 0 23255232 16629760 3271 1992294400 4194304 8395647 140734228286288 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 4060 3271 390 1026 0 3030 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16240 [startup+0.30139 s] /proc/loadavg: 1.06 1.05 1.00 3/105 28047 /proc/meminfo: memFree=1834072/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=25264 CPUtime=0.29 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 5586 0 0 0 28 1 0 0 25 0 1 0 23255232 25870336 5497 1992294400 4194304 8395647 140734228286288 18446744073709551615 6345866 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 6316 5497 390 1026 0 5286 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25264 [startup+0.701435 s] /proc/loadavg: 1.06 1.05 1.00 3/105 28047 /proc/meminfo: memFree=1834072/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=42132 CPUtime=0.69 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 9788 0 0 0 66 3 0 0 25 0 1 0 23255232 43143168 9699 1992294400 4194304 8395647 140734228286288 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 10533 9699 390 1026 0 9503 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42132 [startup+1.50153 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28048 /proc/meminfo: memFree=1783596/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=75056 CPUtime=1.49 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 18026 0 0 0 143 6 0 0 25 0 1 0 23255232 76857344 17937 1992294400 4194304 8395647 140734228286288 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 18764 17937 390 1026 0 17734 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75056 [startup+3.10071 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28048 /proc/meminfo: memFree=1739204/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=138032 CPUtime=3.09 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 33764 0 0 0 296 13 0 0 25 0 1 0 23255232 141344768 33675 1992294400 4194304 8395647 140734228286288 18446744073709551615 4424189 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 34508 33675 390 1026 0 33478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 138032 [startup+6.30107 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28048 /proc/meminfo: memFree=1447556/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=431368 CPUtime=6.29 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 105754 0 0 0 592 37 0 0 25 0 1 0 23255232 441720832 105311 1992294400 4194304 8395647 140734228286288 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 107842 105311 475 1026 0 106812 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 431368 [startup+12.7008 s] /proc/loadavg: 1.20 1.08 1.01 2/106 28048 /proc/meminfo: memFree=1344140/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=504256 CPUtime=12.69 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 123028 0 0 0 1226 43 0 0 25 0 1 0 23255232 516358144 122585 1992294400 4194304 8395647 140734228286288 18446744073709551615 5597507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 126064 122585 475 1026 0 125034 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 504256 [startup+25.5013 s] /proc/loadavg: 1.17 1.08 1.01 2/106 28048 /proc/meminfo: memFree=1032404/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=837560 CPUtime=25.49 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 219427 0 0 0 2474 75 0 0 25 0 1 0 23255232 857661440 200821 1992294400 4194304 8395647 140734228286288 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 209390 200821 924 1026 0 208360 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 837560 [startup+51.1012 s] /proc/loadavg: 1.11 1.07 1.01 2/106 28050 /proc/meminfo: memFree=1024592/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=870336 CPUtime=51.08 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 221812 0 0 0 5025 83 0 0 25 0 1 0 23255232 891224064 202885 1992294400 4194304 8395647 140734228286288 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 217584 202885 929 1026 0 216554 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 870336 [startup+102.309 s] /proc/loadavg: 1.04 1.06 1.00 2/106 28050 /proc/meminfo: memFree=1003760/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=882076 CPUtime=102.27 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 227061 0 0 0 10137 90 0 0 25 0 1 0 23255232 903245824 207959 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 220519 207959 925 1026 0 219489 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 882076 [startup+162.301 s] /proc/loadavg: 1.02 1.05 1.00 2/106 28052 /proc/meminfo: memFree=988384/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=890388 CPUtime=162.24 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 231096 0 0 0 16127 97 0 0 25 0 1 0 23255232 911757312 211814 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 222597 211814 932 1026 0 221567 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 890388 [startup+222.302 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28054 /proc/meminfo: memFree=984168/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=891088 CPUtime=222.23 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 232148 0 0 0 22121 102 0 0 25 0 1 0 23255232 912474112 212866 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 222772 212866 932 1026 0 221742 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 891088 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 28056 /proc/meminfo: memFree=981812/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=892164 CPUtime=282.22 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 232797 0 0 0 28115 107 0 0 25 0 1 0 23255232 913575936 213456 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 223041 213456 945 1026 0 222011 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 892164 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 28057 /proc/meminfo: memFree=980448/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=893100 CPUtime=342.2 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 233145 0 0 0 34108 112 0 0 25 0 1 0 23255232 914534400 213804 1992294400 4194304 8395647 140734228286288 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 223275 213804 945 1026 0 222245 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 893100 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28067 /proc/meminfo: memFree=978960/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=893588 CPUtime=402.17 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 233306 0 0 0 40100 117 0 0 25 0 1 0 23255232 915034112 213965 1992294400 4194304 8395647 140734228286288 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 223397 213965 945 1026 0 222367 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 893588 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 28069 /proc/meminfo: memFree=978960/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=894024 CPUtime=462.15 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 233441 0 0 0 46094 121 0 0 25 0 1 0 23255232 915480576 214080 1992294400 4194304 8395647 140734228286288 18446744073709551615 6692843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 223506 214080 925 1026 0 222476 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 894024 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28071 /proc/meminfo: memFree=975736/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=900596 CPUtime=522.14 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 234252 0 0 0 52089 125 0 0 25 0 1 0 23255232 922210304 214891 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 225149 214891 925 1026 0 224119 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 900596 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28073 /proc/meminfo: memFree=967180/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=906164 CPUtime=582.12 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 236483 0 0 0 58083 129 0 0 25 0 1 0 23255232 927911936 217122 1992294400 4194304 8395647 140734228286288 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 226541 217122 1027 1026 0 225511 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 906164 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28074 /proc/meminfo: memFree=967180/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=906164 CPUtime=642.12 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 236484 0 0 0 64078 134 0 0 25 0 1 0 23255232 927911936 217123 1992294400 4194304 8395647 140734228286288 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 226541 217123 1028 1026 0 225511 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 906164 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=932460/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=938508 CPUtime=1121.98 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 245827 0 0 0 112032 166 0 0 25 0 1 0 23255232 961032192 225451 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 234627 225451 640 1026 0 233597 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 938508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28089 /proc/meminfo: memFree=925640/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1181.96 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247499 0 0 0 118025 171 0 0 25 0 1 0 23255232 973983744 227123 1992294400 4194304 8395647 140734228286288 18446744073709551615 7382142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227123 640 1026 0 236759 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 951156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28090 /proc/meminfo: memFree=924896/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1241.95 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247653 0 0 0 124020 175 0 0 25 0 1 0 23255232 973983744 227277 1992294400 4194304 8395647 140734228286288 18446744073709551615 6697723 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227277 640 1026 0 236759 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 951156 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28091 /proc/meminfo: memFree=924524/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1301.94 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247733 0 0 0 130016 178 0 0 25 0 1 0 23255232 973983744 227357 1992294400 4194304 8395647 140734228286288 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227357 640 1026 0 236759 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 951156 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28093 /proc/meminfo: memFree=924276/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1361.92 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247788 0 0 0 136010 182 0 0 25 0 1 0 23255232 973983744 227412 1992294400 4194304 8395647 140734228286288 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227412 640 1026 0 236759 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 951156 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28095 /proc/meminfo: memFree=924028/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1421.9 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247836 0 0 0 142004 186 0 0 25 0 1 0 23255232 973983744 227460 1992294400 4194304 8395647 140734228286288 18446744073709551615 6693721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227460 640 1026 0 236759 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 951156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28097 /proc/meminfo: memFree=923904/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1481.89 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247873 0 0 0 147999 190 0 0 25 0 1 0 23255232 973983744 227497 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227497 640 1026 0 236759 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 951156 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28101 /proc/meminfo: memFree=923532/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1541.86 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247890 0 0 0 153992 194 0 0 25 0 1 0 23255232 973983744 227514 1992294400 4194304 8395647 140734228286288 18446744073709551615 6636369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227514 640 1026 0 236759 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 951156 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28102 /proc/meminfo: memFree=923532/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1601.85 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247903 0 0 0 159987 198 0 0 25 0 1 0 23255232 973983744 227527 1992294400 4194304 8395647 140734228286288 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227527 640 1026 0 236759 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 951156 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28104 /proc/meminfo: memFree=923408/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1661.83 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247923 0 0 0 165981 202 0 0 25 0 1 0 23255232 973983744 227547 1992294400 4194304 8395647 140734228286288 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227547 640 1026 0 236759 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 951156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28106 /proc/meminfo: memFree=923408/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1721.81 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247947 0 0 0 171976 205 0 0 25 0 1 0 23255232 973983744 227571 1992294400 4194304 8395647 140734228286288 18446744073709551615 6696896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227571 640 1026 0 236759 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 951156 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1781.8 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247957 0 0 0 177971 209 0 0 25 0 1 0 23255232 973983744 227581 1992294400 4194304 8395647 140734228286288 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227581 640 1026 0 236759 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 951156 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1785 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247957 0 0 0 178291 209 0 0 25 0 1 0 23255232 973983744 227581 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227581 640 1026 0 236759 0 Current children cumulated CPU time (s) 1785 Current children cumulated vsize (KiB) 951156 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1788.2 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247958 0 0 0 178611 209 0 0 25 0 1 0 23255232 973983744 227582 1992294400 4194304 8395647 140734228286288 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227582 640 1026 0 236759 0 Current children cumulated CPU time (s) 1788.2 Current children cumulated vsize (KiB) 951156 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1789.8 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247958 0 0 0 178770 210 0 0 25 0 1 0 23255232 973983744 227582 1992294400 4194304 8395647 140734228286288 18446744073709551615 6390506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227582 640 1026 0 236759 0 Current children cumulated CPU time (s) 1789.8 Current children cumulated vsize (KiB) 951156 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1790.6 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247960 0 0 0 178850 210 0 0 25 0 1 0 23255232 973983744 227584 1992294400 4194304 8395647 140734228286288 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227584 642 1026 0 236759 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (KiB) 951156 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=951156 CPUtime=1791.41 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247967 0 0 0 178931 210 0 0 25 0 1 0 23255232 973983744 227591 1992294400 4194304 8395647 140734228286288 18446744073709551615 6063840 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 237789 227591 649 1026 0 236759 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 951156 [startup+1792.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=828972 CPUtime=1791.8 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247967 0 0 0 178969 211 0 0 25 0 1 0 23255232 848867328 200639 1992294400 4194304 8395647 140734228286288 18446744073709551615 6345790 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 207243 200639 648 1026 0 206213 0 Current children cumulated CPU time (s) 1791.8 Current children cumulated vsize (KiB) 828972 [startup+1792.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28108 /proc/meminfo: memFree=923284/2059040 swapFree=4097784/4192956 [pid=28047] ppid=28045 vsize=757128 CPUtime=1791.89 /proc/28047/stat : 28047 (pbscip.linux.x8) R 28045 28047 27113 0 -1 4202496 247967 0 0 0 178978 211 0 0 25 0 1 0 23255232 775299072 182707 1992294400 4194304 8395647 140734228286288 18446744073709551615 4751062 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28047/statm: 189282 182707 648 1026 0 188252 0 Current children cumulated CPU time (s) 1791.89 Current children cumulated vsize (KiB) 757128 Child status: 0 Real time (s): 1792.48 CPU time (s): 1791.99 CPU user time (s): 1789.8 CPU system time (s): 2.18667 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 951156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.8 system time used= 2.18667 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247974 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= 3 involuntary context switches= 5453 runsolver used 2.98455 second user time and 8.45471 second system time The end
Begin job on node088 at 2010-07-08 02:54:29 IDJOB=2703576 IDBENCH=1481 IDSOLVER=1213 FILE ID=node088/2703576-1278550468 PBS_JOBID= 11239475 Free space on /tmp= 62496 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703576-1278550468/watcher-2703576-1278550468 -o /tmp/evaluation-result-2703576-1278550468/solver-2703576-1278550468 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703576-1278550468.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8 RANDOM SEED=604645239 node088.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.245 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.49 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.245 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834600 kB Buffers: 6820 kB Cached: 112972 kB SwapCached: 48440 kB Active: 76764 kB Inactive: 93340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834600 kB SwapTotal: 4192956 kB SwapFree: 4097784 kB Dirty: 18112 kB Writeback: 0 kB AnonPages: 10636 kB Mapped: 6844 kB Slab: 32440 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179352 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= 62488 MiB End job on node088 at 2010-07-08 03:24:22