Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1802.14 | 1802.8 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb |
MD5SUM | ef8e8b075ca1490a3beab796ebfb3e9f |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.89971 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 76091 |
Total number of constraints | 218262 |
Number of constraints which are clauses | 207610 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10652 |
Minimum length of a constraint | 2 |
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 | 131 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 513 |
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: SoPlex 1.4.2] [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-2667423-1276335859.opb> 4.19/4.28 c original problem has 76091 variables (76091 bin, 0 int, 0 impl, 0 cont) and 218262 constraints 4.19/4.28 c problem read 4.19/4.28 c No objective function, only one solution is needed. 4.19/4.29 c presolving settings loaded 5.40/5.50 c presolving: 9.99/10.08 c (round 1) 5248 del vars, 7994 del conss, 2494 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255519 impls, 0 clqs 10.39/10.47 c (round 2) 5346 del vars, 13989 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs 10.69/10.71 c (round 3) 5346 del vars, 14043 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs 13.10/13.20 c (round 4) 5346 del vars, 14189 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 202269 upgd conss, 4255717 impls, 0 clqs 13.79/13.88 c (round 5) 5346 del vars, 14189 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 204073 upgd conss, 4255717 impls, 0 clqs 14.38/14.41 c presolving (6 rounds): 14.38/14.41 c 5346 deleted vars, 14189 deleted constraints, 2509 tightened bounds, 0 added holes, 5326 changed sides, 11276 changed coefficients 14.38/14.41 c 4255717 implications, 0 cliques 14.38/14.41 c presolved problem has 70745 variables (70745 bin, 0 int, 0 impl, 0 cont) and 204073 constraints 14.38/14.41 c 10652 constraints of type <knapsack> 14.38/14.41 c 193421 constraints of type <logicor> 14.38/14.41 c transformed objective value is always integral (scale: 1) 14.38/14.41 c Presolving Time: 8.10 14.38/14.41 c - non default parameters ---------------------------------------------------------------------- 14.38/14.41 c # SCIP version 1.2.1.2 14.38/14.41 c 14.38/14.41 c # frequency for displaying node information lines 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 100] 14.38/14.41 c display/freq = 10000 14.38/14.41 c 14.38/14.41 c # maximal time in seconds to run 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 14.38/14.41 c limits/time = 1795.72 14.38/14.41 c 14.38/14.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 14.38/14.41 c limits/memory = 1620 14.38/14.41 c 14.38/14.41 c # solving stops, if the given number of solutions were found (-1: no limit) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: -1] 14.38/14.41 c limits/solutions = 1 14.38/14.41 c 14.38/14.41 c # maximal number of separation rounds per node (-1: unlimited) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 5] 14.38/14.41 c separating/maxrounds = 1 14.38/14.41 c 14.38/14.41 c # maximal number of separation rounds in the root node (-1: unlimited) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: -1] 14.38/14.41 c separating/maxroundsroot = 5 14.38/14.41 c 14.38/14.41 c # should presolving try to simplify inequalities 14.38/14.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 14.38/14.41 c constraints/linear/simplifyinequalities = TRUE 14.38/14.41 c 14.38/14.41 c # should disaggregation of knapsack constraints be allowed in preprocessing? 14.38/14.41 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 14.38/14.41 c constraints/knapsack/disaggregation = FALSE 14.38/14.41 c 14.38/14.41 c # should presolving try to simplify knapsacks 14.38/14.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 14.38/14.41 c constraints/knapsack/simplifyinequalities = TRUE 14.38/14.41 c 14.38/14.41 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: -1] 14.38/14.41 c presolving/probing/maxrounds = 0 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/coefdiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/coefdiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/coefdiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 30] 14.38/14.41 c heuristics/crossover/freq = -1 14.38/14.41 c 14.38/14.41 c # number of nodes added to the contingent of the total nodes 14.38/14.41 c # [type: longint, range: [0,9223372036854775807], default: 500] 14.38/14.41 c heuristics/crossover/nodesofs = 750 14.38/14.41 c 14.38/14.41 c # number of nodes without incumbent change that heuristic should wait 14.38/14.41 c # [type: longint, range: [0,9223372036854775807], default: 200] 14.38/14.41 c heuristics/crossover/nwaitingnodes = 100 14.38/14.41 c 14.38/14.41 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 14.38/14.41 c # [type: real, range: [0,1], default: 0.1] 14.38/14.41 c heuristics/crossover/nodesquot = 0.15 14.38/14.41 c 14.38/14.41 c # minimum percentage of integer variables that have to be fixed 14.38/14.41 c # [type: real, range: [0,1], default: 0.666] 14.38/14.41 c heuristics/crossover/minfixingrate = 0.5 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 20] 14.38/14.41 c heuristics/feaspump/freq = -1 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/feaspump/maxlpiterofs = 2000 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/fracdiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/fracdiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/fracdiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/guideddiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/guideddiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/guideddiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/intdiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/intshifting/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/linesearchdiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/linesearchdiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/linesearchdiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 1] 14.38/14.41 c heuristics/nlp/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 20] 14.38/14.41 c heuristics/objpscostdiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to total iteration number 14.38/14.41 c # [type: real, range: [0,1], default: 0.01] 14.38/14.41 c heuristics/objpscostdiving/maxlpiterquot = 0.015 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/objpscostdiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 1] 14.38/14.41 c heuristics/oneopt/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/pscostdiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/pscostdiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/pscostdiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 0] 14.38/14.41 c heuristics/rens/freq = -1 14.38/14.41 c 14.38/14.41 c # minimum percentage of integer variables that have to be fixable 14.38/14.41 c # [type: real, range: [0,1], default: 0.5] 14.38/14.41 c heuristics/rens/minfixingrate = 0.3 14.38/14.41 c 14.38/14.41 c # number of nodes added to the contingent of the total nodes 14.38/14.41 c # [type: longint, range: [0,9223372036854775807], default: 500] 14.38/14.41 c heuristics/rens/nodesofs = 2000 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 20] 14.38/14.41 c heuristics/rootsoldiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 14.38/14.41 c heuristics/rootsoldiving/maxlpiterquot = 0.015 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/rootsoldiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 1] 14.38/14.41 c heuristics/rounding/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/shifting/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 1] 14.38/14.41 c heuristics/simplerounding/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 0] 14.38/14.41 c heuristics/trivial/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 1] 14.38/14.41 c heuristics/trysol/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 10] 14.38/14.41 c heuristics/veclendiving/freq = -1 14.38/14.41 c 14.38/14.41 c # maximal fraction of diving LP iterations compared to node LP iterations 14.38/14.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 14.38/14.41 c heuristics/veclendiving/maxlpiterquot = 0.075 14.38/14.41 c 14.38/14.41 c # additional number of allowed LP iterations 14.38/14.41 c # [type: int, range: [0,2147483647], default: 1000] 14.38/14.41 c heuristics/veclendiving/maxlpiterofs = 1500 14.38/14.41 c 14.38/14.41 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 1] 14.38/14.41 c heuristics/zirounding/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 0] 14.38/14.41 c separating/cmir/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: 0] 14.38/14.41 c separating/flowcover/freq = -1 14.38/14.41 c 14.38/14.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 14.38/14.41 c # [type: int, range: [-1,2147483647], default: -1] 14.38/14.41 c separating/rapidlearning/freq = 0 14.38/14.41 c 14.38/14.41 c ----------------------------------------------------------------------------------------------- 14.38/14.41 c start solving 14.38/14.48 c 462.32/462.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 462.32/462.52 c 455s| 1 | 0 | 29231 | - | 540M| 0 | 21k| 70k| 204k| 70k| 204k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1698.97/1699.60 c 1619s| 1 | 0 | 58686 | - | 541M| 0 | 21k| 70k| 204k| 70k| 204k| 232 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
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-2667423-1276335859/watcher-2667423-1276335859 -o /tmp/evaluation-result-2667423-1276335859/solver-2667423-1276335859 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667423-1276335859.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.00 1.00 1.00 2/106 14233 /proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=7724 CPUtime=0 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 1007 0 0 0 0 0 0 0 17 0 1 0 9187522 7909376 926 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 1931 934 348 984 0 944 0 [startup+0.015488 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14233 /proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=9268 CPUtime=0 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 1605 0 0 0 0 0 0 0 17 0 1 0 9187522 9490432 1524 1992294400 4194304 8223781 140734307717328 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 2317 1524 363 984 0 1330 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9268 [startup+0.101504 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14233 /proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=13120 CPUtime=0.09 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 2597 0 0 0 9 0 0 0 17 0 1 0 9187522 13434880 2516 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 3280 2516 363 984 0 2293 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13120 [startup+0.301543 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14233 /proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=20644 CPUtime=0.29 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 4421 0 0 0 28 1 0 0 17 0 1 0 9187522 21139456 4340 1992294400 4194304 8223781 140734307717328 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 5161 4350 363 984 0 4174 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20644 [startup+0.70162 s] /proc/loadavg: 1.00 1.00 1.00 2/106 14233 /proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=32792 CPUtime=0.69 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 7484 0 0 0 67 2 0 0 17 0 1 0 9187522 33579008 7403 1992294400 4194304 8223781 140734307717328 18446744073709551615 7246920 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 8198 7403 363 984 0 7211 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32792 [startup+1.50178 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14234 /proc/meminfo: memFree=1821056/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=58468 CPUtime=1.49 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 13873 0 0 0 144 5 0 0 18 0 1 0 9187522 59871232 13792 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 14617 13792 363 984 0 13630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58468 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14234 /proc/meminfo: memFree=1785344/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=109076 CPUtime=3.09 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 26521 0 0 0 298 11 0 0 21 0 1 0 9187522 111693824 26440 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14233/statm: 27269 26440 363 984 0 26282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 109076 [startup+6.30171 s] /proc/loadavg: 1.08 1.02 1.01 2/107 14234 /proc/meminfo: memFree=1517008/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=390336 CPUtime=6.29 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 95458 0 0 0 590 39 0 0 25 0 1 0 9187522 399704064 94957 1992294400 4194304 8223781 140734307717328 18446744073709551615 4689610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 97584 94957 444 984 0 96597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 390336 [startup+12.701 s] /proc/loadavg: 1.07 1.02 1.00 2/107 14234 /proc/meminfo: memFree=1295668/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=575808 CPUtime=12.69 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 157428 0 0 0 1145 124 0 0 25 0 1 0 9187522 589627392 140253 1992294400 4194304 8223781 140734307717328 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 143952 140253 455 984 0 142965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 575808 [startup+25.5015 s] /proc/loadavg: 1.06 1.01 1.00 2/107 14234 /proc/meminfo: memFree=1061804/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=847004 CPUtime=25.48 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 257567 0 0 0 2360 188 0 0 25 0 1 0 9187522 867332096 199275 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 211751 199275 542 984 0 210764 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 847004 [startup+51.1015 s] /proc/loadavg: 1.04 1.01 1.00 2/107 14234 /proc/meminfo: memFree=1060564/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=852100 CPUtime=51.07 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 272232 0 0 0 4905 202 0 0 25 0 1 0 9187522 872550400 199602 1992294400 4194304 8223781 140734307717328 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 213025 199602 542 984 0 212038 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 852100 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 14236 /proc/meminfo: memFree=1058208/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=858076 CPUtime=102.25 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 292835 0 0 0 10009 216 0 0 25 0 1 0 9187522 878669824 200180 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 214519 200180 542 984 0 213532 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 858076 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14238 /proc/meminfo: memFree=1056472/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=862388 CPUtime=162.22 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 318027 0 0 0 15988 234 0 0 25 0 1 0 9187522 883085312 200636 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 215597 200636 542 984 0 214610 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 862388 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14240 /proc/meminfo: memFree=1055232/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=865272 CPUtime=222.2 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 351057 0 0 0 21967 253 0 0 25 0 1 0 9187522 886038528 200913 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 216318 200913 542 984 0 215331 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 865272 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14240 /proc/meminfo: memFree=1054612/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=867532 CPUtime=282.18 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 382871 0 0 0 27946 272 0 0 25 0 1 0 9187522 888352768 201085 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 216883 201085 542 984 0 215896 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 867532 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14242 /proc/meminfo: memFree=1053620/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=869452 CPUtime=342.16 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 414381 0 0 0 33927 289 0 0 25 0 1 0 9187522 890318848 201324 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 217363 201324 542 984 0 216376 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 869452 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14244 /proc/meminfo: memFree=1053496/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=870836 CPUtime=402.14 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 443063 0 0 0 39905 309 0 0 25 0 1 0 9187522 891736064 201329 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568130 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 217709 201329 542 984 0 216722 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 870836 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14246 /proc/meminfo: memFree=1053000/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=871388 CPUtime=462.11 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 475029 0 0 0 45883 328 0 0 25 0 1 0 9187522 892301312 201401 1992294400 4194304 8223781 140734307717328 18446744073709551615 6296693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 217847 201401 542 984 0 216860 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 871388 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14248 /proc/meminfo: memFree=1054240/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=871012 CPUtime=522.1 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 3305424 0 0 0 50825 1385 0 0 25 0 1 0 9187522 891916288 201145 1992294400 4194304 8223781 140734307717328 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 217753 201145 557 984 0 216766 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 871012 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14248 /proc/meminfo: memFree=1053248/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=872040 CPUtime=582.08 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 6145364 0 0 0 55775 2433 0 0 25 0 1 0 9187522 892968960 201402 1992294400 4194304 8223781 140734307717328 18446744073709551615 6300092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 218010 201402 557 984 0 217023 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 872040 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14250 /proc/meminfo: memFree=1053124/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=872040 CPUtime=642.06 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 8960526 0 0 0 60733 3473 0 0 25 0 1 0 9187522 892968960 201220 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 218010 201230 557 984 0 217023 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 872040 [startup+702.302 s] ################ # More data... # ################ /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19409858 0 0 0 98782 7408 0 0 25 0 1 0 9187522 921022464 205234 1992294400 4194304 8223781 140734307717328 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 224859 205234 565 984 0 223872 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 899436 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14273 /proc/meminfo: memFree=1037624/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=899508 CPUtime=1121.87 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19436566 0 0 0 104763 7424 0 0 25 0 1 0 9187522 921096192 205248 1992294400 4194304 8223781 140734307717328 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 224877 205248 565 984 0 223890 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 899508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14273 /proc/meminfo: memFree=1037624/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=899788 CPUtime=1181.85 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19462621 0 0 0 110747 7438 0 0 25 0 1 0 9187522 921382912 205238 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 224947 205238 565 984 0 223960 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 899788 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14275 /proc/meminfo: memFree=1037376/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=899988 CPUtime=1241.84 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19486521 0 0 0 116732 7452 0 0 25 0 1 0 9187522 921587712 205252 1992294400 4194304 8223781 140734307717328 18446744073709551615 6567505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 224997 205252 565 984 0 224010 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 899988 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14277 /proc/meminfo: memFree=1037376/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=900196 CPUtime=1301.82 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19513243 0 0 0 122715 7467 0 0 25 0 1 0 9187522 921800704 205251 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225049 205251 565 984 0 224062 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 900196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14279 /proc/meminfo: memFree=1036632/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=900724 CPUtime=1361.79 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19542773 0 0 0 128697 7482 0 0 25 0 1 0 9187522 922341376 205422 1992294400 4194304 8223781 140734307717328 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225181 205422 565 984 0 224194 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 900724 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14281 /proc/meminfo: memFree=1036384/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=901284 CPUtime=1421.78 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19573569 0 0 0 134678 7500 0 0 25 0 1 0 9187522 922914816 205477 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225321 205477 565 984 0 224334 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 901284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14281 /proc/meminfo: memFree=1036508/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=901540 CPUtime=1481.75 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19602200 0 0 0 140660 7515 0 0 25 0 1 0 9187522 923176960 205467 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225385 205467 565 984 0 224398 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 901540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14283 /proc/meminfo: memFree=1036260/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=902124 CPUtime=1541.73 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19630413 0 0 0 146643 7530 0 0 25 0 1 0 9187522 923774976 205498 1992294400 4194304 8223781 140734307717328 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225531 205498 565 984 0 224544 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 902124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14285 /proc/meminfo: memFree=1036384/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=902524 CPUtime=1601.71 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19659919 0 0 0 152626 7545 0 0 25 0 1 0 9187522 924184576 205485 1992294400 4194304 8223781 140734307717328 18446744073709551615 6591927 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225631 205485 565 984 0 224644 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 902524 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14287 /proc/meminfo: memFree=1036756/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=902940 CPUtime=1661.69 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19691657 0 0 0 158607 7562 0 0 25 0 1 0 9187522 924610560 205393 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225735 205393 565 984 0 224748 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 902940 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14289 /proc/meminfo: memFree=1036012/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=904256 CPUtime=1721.67 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 20777723 0 0 0 164218 7949 0 0 25 0 1 0 9187522 925958144 205378 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 226064 205389 565 984 0 225077 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 904256 [startup+1782.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 14292 /proc/meminfo: memFree=1035144/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=904256 CPUtime=1781.65 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 23552510 0 0 0 169215 8950 0 0 25 0 1 0 9187522 925958144 205365 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 226064 205375 565 984 0 225077 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 904256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.06 1.01 1.00 2/107 14294 /proc/meminfo: memFree=1035392/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=904256 CPUtime=1800.05 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24403925 0 0 0 170745 9260 0 0 25 0 1 0 9187522 925958144 205580 1992294400 4194304 8223781 140734307717328 18446744073709551615 7257278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 226064 205580 565 984 0 225077 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 904256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14233 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.06 1.01 1.00 2/107 14294 /proc/meminfo: memFree=1035392/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=903460 CPUtime=1800.74 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410016 0 0 0 170811 9263 0 0 25 0 1 0 9187522 925143040 205511 1992294400 4194304 8223781 140734307717328 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225865 205511 565 984 0 224878 0 Current children cumulated CPU time (s) 1800.74 Current children cumulated vsize (KiB) 903460 [startup+1802.2 s] /proc/loadavg: 1.06 1.01 1.00 2/108 14295 /proc/meminfo: memFree=1035632/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=903460 CPUtime=1801.54 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410052 0 0 0 170891 9263 0 0 25 0 1 0 9187522 925143040 205547 1992294400 4194304 8223781 140734307717328 18446744073709551615 6503928 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225865 205547 565 984 0 224878 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 903460 [startup+1802.6 s] /proc/loadavg: 1.06 1.01 1.00 2/108 14295 /proc/meminfo: memFree=1035632/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=903460 CPUtime=1801.94 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410068 0 0 0 170931 9263 0 0 25 0 1 0 9187522 925143040 205563 1992294400 4194304 8223781 140734307717328 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225865 205563 565 984 0 224878 0 Current children cumulated CPU time (s) 1801.94 Current children cumulated vsize (KiB) 903460 [startup+1802.7 s] /proc/loadavg: 1.06 1.01 1.00 2/108 14295 /proc/meminfo: memFree=1035632/2059040 swapFree=4136160/4192956 [pid=14233] ppid=14231 vsize=903460 CPUtime=1802.04 /proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410069 0 0 0 170941 9263 0 0 25 0 1 0 9187522 925143040 205564 1992294400 4194304 8223781 140734307717328 18446744073709551615 6536642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14233/statm: 225865 205564 565 984 0 224878 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 903460 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.8 CPU time (s): 1802.14 CPU user time (s): 1709.43 CPU system time (s): 92.7159 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 928060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.43 system time used= 92.7159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24410069 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= 3844 runsolver used 2.98455 second user time and 8.5187 second system time The end
Begin job on node011 at 2010-06-12 11:44:20 IDJOB=2667423 IDBENCH=1473 IDSOLVER=1169 FILE ID=node011/2667423-1276335859 PBS_JOBID= 11173172 Free space on /tmp= 62256 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-cache-ibm-q-unbounded.Ih2arity.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-2667423-1276335859/watcher-2667423-1276335859 -o /tmp/evaluation-result-2667423-1276335859/solver-2667423-1276335859 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667423-1276335859.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ef8e8b075ca1490a3beab796ebfb3e9f RANDOM SEED=874245227 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1859660 kB Buffers: 19912 kB Cached: 118252 kB SwapCached: 11008 kB Active: 107188 kB Inactive: 44496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1859660 kB SwapTotal: 4192956 kB SwapFree: 4136160 kB Dirty: 12084 kB Writeback: 0 kB AnonPages: 10676 kB Mapped: 9208 kB Slab: 25908 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182036 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= 62252 MiB End job on node011 at 2010-06-12 12:14:22