Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1802.15 | 1802.79 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 939f54a73a83900b8b6d857af47a0b62 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2665418-1276337663.opb> 3.29/3.32 c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints 3.29/3.32 c problem read 3.29/3.33 c No objective function, only one solution is needed. 3.29/3.33 c presolving settings loaded 4.19/4.26 c presolving: 9.28/9.33 c (round 1) 1178 del vars, 1155 del conss, 501 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5489521 impls, 0 clqs 9.99/10.01 c (round 2) 1531 del vars, 3559 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5493683 impls, 0 clqs 10.19/10.24 c (round 3) 1531 del vars, 3869 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5494539 impls, 0 clqs 12.18/12.22 c (round 4) 1531 del vars, 3882 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 183225 upgd conss, 5494539 impls, 0 clqs 12.59/12.69 c presolving (5 rounds): 12.59/12.69 c 1531 deleted vars, 3882 deleted constraints, 737 tightened bounds, 0 added holes, 252 changed sides, 876 changed coefficients 12.59/12.69 c 5494539 implications, 0 cliques 12.59/12.69 c presolved problem has 61173 variables (61173 bin, 0 int, 0 impl, 0 cont) and 183225 constraints 12.59/12.69 c 504 constraints of type <knapsack> 12.59/12.69 c 182721 constraints of type <logicor> 12.59/12.69 c transformed objective value is always integral (scale: 1) 12.59/12.69 c Presolving Time: 7.76 12.59/12.69 c - non default parameters ---------------------------------------------------------------------- 12.59/12.69 c # SCIP version 1.2.1.2 12.59/12.69 c 12.59/12.69 c # frequency for displaying node information lines 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 100] 12.59/12.69 c display/freq = 10000 12.59/12.69 c 12.59/12.69 c # maximal time in seconds to run 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 12.59/12.69 c limits/time = 1796.68 12.59/12.69 c 12.59/12.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 12.59/12.69 c limits/memory = 1620 12.59/12.69 c 12.59/12.69 c # solving stops, if the given number of solutions were found (-1: no limit) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: -1] 12.59/12.69 c limits/solutions = 1 12.59/12.69 c 12.59/12.69 c # maximal number of separation rounds per node (-1: unlimited) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 5] 12.59/12.69 c separating/maxrounds = 1 12.59/12.69 c 12.59/12.69 c # maximal number of separation rounds in the root node (-1: unlimited) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: -1] 12.59/12.69 c separating/maxroundsroot = 5 12.59/12.69 c 12.59/12.69 c # should presolving try to simplify inequalities 12.59/12.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.59/12.69 c constraints/linear/simplifyinequalities = TRUE 12.59/12.69 c 12.59/12.69 c # should disaggregation of knapsack constraints be allowed in preprocessing? 12.59/12.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 12.59/12.69 c constraints/knapsack/disaggregation = FALSE 12.59/12.69 c 12.59/12.69 c # should presolving try to simplify knapsacks 12.59/12.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 12.59/12.69 c constraints/knapsack/simplifyinequalities = TRUE 12.59/12.69 c 12.59/12.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: -1] 12.59/12.69 c presolving/probing/maxrounds = 0 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/coefdiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/coefdiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/coefdiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 30] 12.59/12.69 c heuristics/crossover/freq = -1 12.59/12.69 c 12.59/12.69 c # number of nodes added to the contingent of the total nodes 12.59/12.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 12.59/12.69 c heuristics/crossover/nodesofs = 750 12.59/12.69 c 12.59/12.69 c # number of nodes without incumbent change that heuristic should wait 12.59/12.69 c # [type: longint, range: [0,9223372036854775807], default: 200] 12.59/12.69 c heuristics/crossover/nwaitingnodes = 100 12.59/12.69 c 12.59/12.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 12.59/12.69 c # [type: real, range: [0,1], default: 0.1] 12.59/12.69 c heuristics/crossover/nodesquot = 0.15 12.59/12.69 c 12.59/12.69 c # minimum percentage of integer variables that have to be fixed 12.59/12.69 c # [type: real, range: [0,1], default: 0.666] 12.59/12.69 c heuristics/crossover/minfixingrate = 0.5 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 20] 12.59/12.69 c heuristics/feaspump/freq = -1 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/feaspump/maxlpiterofs = 2000 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/fracdiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/fracdiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/fracdiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/guideddiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/guideddiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/guideddiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/intdiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/intshifting/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/linesearchdiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/linesearchdiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/linesearchdiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 1] 12.59/12.69 c heuristics/nlp/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 20] 12.59/12.69 c heuristics/objpscostdiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to total iteration number 12.59/12.69 c # [type: real, range: [0,1], default: 0.01] 12.59/12.69 c heuristics/objpscostdiving/maxlpiterquot = 0.015 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/objpscostdiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 1] 12.59/12.69 c heuristics/oneopt/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/pscostdiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/pscostdiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/pscostdiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 0] 12.59/12.69 c heuristics/rens/freq = -1 12.59/12.69 c 12.59/12.69 c # minimum percentage of integer variables that have to be fixable 12.59/12.69 c # [type: real, range: [0,1], default: 0.5] 12.59/12.69 c heuristics/rens/minfixingrate = 0.3 12.59/12.69 c 12.59/12.69 c # number of nodes added to the contingent of the total nodes 12.59/12.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 12.59/12.69 c heuristics/rens/nodesofs = 2000 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 20] 12.59/12.69 c heuristics/rootsoldiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 12.59/12.69 c heuristics/rootsoldiving/maxlpiterquot = 0.015 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/rootsoldiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 1] 12.59/12.69 c heuristics/rounding/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/shifting/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 1] 12.59/12.69 c heuristics/simplerounding/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 0] 12.59/12.69 c heuristics/trivial/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 1] 12.59/12.69 c heuristics/trysol/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 10] 12.59/12.69 c heuristics/veclendiving/freq = -1 12.59/12.69 c 12.59/12.69 c # maximal fraction of diving LP iterations compared to node LP iterations 12.59/12.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 12.59/12.69 c heuristics/veclendiving/maxlpiterquot = 0.075 12.59/12.69 c 12.59/12.69 c # additional number of allowed LP iterations 12.59/12.69 c # [type: int, range: [0,2147483647], default: 1000] 12.59/12.69 c heuristics/veclendiving/maxlpiterofs = 1500 12.59/12.69 c 12.59/12.69 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 1] 12.59/12.69 c heuristics/zirounding/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 0] 12.59/12.69 c separating/cmir/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: 0] 12.59/12.69 c separating/flowcover/freq = -1 12.59/12.69 c 12.59/12.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 12.59/12.69 c # [type: int, range: [-1,2147483647], default: -1] 12.59/12.69 c separating/rapidlearning/freq = 0 12.59/12.69 c 12.59/12.69 c ----------------------------------------------------------------------------------------------- 12.59/12.69 c start solving 12.68/12.76 c 17.18/17.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 17.18/17.24 c 12.5s| 1 | 0 | 1682 | - | 497M| 0 |1416 | 61k| 183k| 61k| 183k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 147.63/147.71 c 141s| 1 | 0 | 8269 | - | 497M| 0 |4831 | 61k| 183k| 61k| 183k| 36 | 0 | 0 | 0.000000e+00 | -- | Inf 378.05/378.26 c 370s| 1 | 0 | 21991 | - | 498M| 0 |7970 | 61k| 183k| 61k| 183k| 86 | 0 | 0 | 0.000000e+00 | -- | Inf 571.58/571.86 c 563s| 1 | 0 | 34701 | - | 498M| 0 | 11k| 61k| 183k| 61k| 183k| 156 | 0 | 0 | 0.000000e+00 | -- | Inf 909.27/909.63 c 900s| 1 | 0 | 53321 | - | 499M| 0 | 15k| 61k| 183k| 61k| 183k| 233 | 0 | 0 | 0.000000e+00 | -- | Inf 1544.95/1545.52 c 1533s| 1 | 0 | 81198 | - | 499M| 0 | 19k| 61k| 183k| 61k| 183k| 294 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.06/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-2665418-1276337663/watcher-2665418-1276337663 -o /tmp/evaluation-result-2665418-1276337663/solver-2665418-1276337663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665418-1276337663.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.01 1.00 3/106 14321 /proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=9288 CPUtime=0 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1075 0 0 0 0 0 0 0 21 0 1 0 9367909 9510912 995 1992294400 4194304 9819077 140736289072560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 2322 1006 371 1374 0 943 0 [startup+0.0920591 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14321 /proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=14208 CPUtime=0.08 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 2498 0 0 0 8 0 0 0 21 0 1 0 9367909 14548992 2418 1992294400 4194304 9819077 140736289072560 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 3552 2418 386 1374 0 2173 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14208 [startup+0.101061 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14321 /proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=15856 CPUtime=0.09 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 2878 0 0 0 9 0 0 0 21 0 1 0 9367909 16236544 2798 1992294400 4194304 9819077 140736289072560 18446744073709551615 8678218 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 3964 2798 386 1374 0 2585 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15856 [startup+0.3011 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14321 /proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=22436 CPUtime=0.29 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 4534 0 0 0 28 1 0 0 21 0 1 0 9367909 22974464 4454 1992294400 4194304 9819077 140736289072560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 5609 4454 386 1374 0 4230 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22436 [startup+0.701178 s] /proc/loadavg: 1.06 1.01 1.00 3/106 14321 /proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=35512 CPUtime=0.69 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 7810 0 0 0 66 3 0 0 22 0 1 0 9367909 36364288 7730 1992294400 4194304 9819077 140736289072560 18446744073709551615 8678218 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 8878 7730 386 1374 0 7499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35512 [startup+1.50133 s] /proc/loadavg: 1.05 1.01 1.00 2/107 14322 /proc/meminfo: memFree=1817672/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=60920 CPUtime=1.49 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 14154 0 0 0 144 5 0 0 25 0 1 0 9367909 62382080 14074 1992294400 4194304 9819077 140736289072560 18446744073709551615 5652129 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 15230 14074 386 1374 0 13851 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60920 [startup+3.10065 s] /proc/loadavg: 1.05 1.01 1.00 2/107 14322 /proc/meminfo: memFree=1782828/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=113904 CPUtime=3.09 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 27340 0 0 0 298 11 0 0 25 0 1 0 9367909 116637696 27260 1992294400 4194304 9819077 140736289072560 18446744073709551615 8668923 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14321/statm: 28476 27260 386 1374 0 27097 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 113904 [startup+6.30127 s] /proc/loadavg: 1.05 1.01 1.00 2/107 14322 /proc/meminfo: memFree=1522180/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=392492 CPUtime=6.29 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 95292 0 0 0 584 45 0 0 25 0 1 0 9367909 401911808 94830 1992294400 4194304 9819077 140736289072560 18446744073709551615 5957869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 98123 94830 486 1374 0 96744 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 392492 [startup+12.7005 s] /proc/loadavg: 1.04 1.01 1.00 2/107 14322 /proc/meminfo: memFree=1303568/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=549408 CPUtime=12.68 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 165630 0 0 0 1137 131 0 0 25 0 1 0 9367909 562593792 131918 1992294400 4194304 9819077 140736289072560 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 137352 131918 588 1374 0 135973 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 549408 [startup+25.501 s] /proc/loadavg: 1.04 1.01 1.00 2/107 14322 /proc/meminfo: memFree=1149684/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=819580 CPUtime=25.48 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 232662 0 0 0 2311 237 0 0 25 0 1 0 9367909 839249920 177000 1992294400 4194304 9819077 140736289072560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 204895 177000 659 1374 0 203516 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 819580 [startup+51.101 s] /proc/loadavg: 1.02 1.01 1.00 2/107 14322 /proc/meminfo: memFree=1128108/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=841900 CPUtime=51.06 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 238165 0 0 0 4789 317 0 0 25 0 1 0 9367909 862105600 182368 1992294400 4194304 9819077 140736289072560 18446744073709551615 5786322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 210475 182368 668 1374 0 209096 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 841900 [startup+102.309 s] /proc/loadavg: 1.01 1.00 1.00 2/107 14324 /proc/meminfo: memFree=1139888/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=840456 CPUtime=102.25 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 266078 0 0 0 9895 330 0 0 25 0 1 0 9367909 860626944 181075 1992294400 4194304 9819077 140736289072560 18446744073709551615 6367313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 210114 181075 672 1374 0 208735 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 840456 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14326 /proc/meminfo: memFree=1130092/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=849440 CPUtime=162.21 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 318835 0 0 0 15860 361 0 0 25 0 1 0 9367909 869826560 181805 1992294400 4194304 9819077 140736289072560 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 212360 181805 672 1374 0 210981 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 849440 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14328 /proc/meminfo: memFree=1128232/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=851836 CPUtime=222.19 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 339747 0 0 0 21843 376 0 0 25 0 1 0 9367909 872280064 182386 1992294400 4194304 9819077 140736289072560 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 212959 182386 672 1374 0 211580 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 851836 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 14328 /proc/meminfo: memFree=1124884/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=853860 CPUtime=282.18 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 378117 0 0 0 27819 399 0 0 25 0 1 0 9367909 874352640 183388 1992294400 4194304 9819077 140736289072560 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 213465 183388 672 1374 0 212086 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 853860 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14330 /proc/meminfo: memFree=1124512/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=856636 CPUtime=342.16 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 431899 0 0 0 33788 428 0 0 25 0 1 0 9367909 877195264 183384 1992294400 4194304 9819077 140736289072560 18446744073709551615 7300277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 214159 183384 672 1374 0 212780 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 856636 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14332 /proc/meminfo: memFree=1116452/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=858944 CPUtime=402.14 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 497047 0 0 0 39754 460 0 0 25 0 1 0 9367909 879558656 185395 1992294400 4194304 9819077 140736289072560 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 214736 185395 672 1374 0 213357 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 858944 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14334 /proc/meminfo: memFree=1125256/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=860516 CPUtime=462.12 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 534563 0 0 0 45730 482 0 0 25 0 1 0 9367909 881168384 183165 1992294400 4194304 9819077 140736289072560 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 215129 183165 672 1374 0 213750 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 860516 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14336 /proc/meminfo: memFree=1113600/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=861920 CPUtime=522.09 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 582975 0 0 0 51701 508 0 0 25 0 1 0 9367909 882606080 182859 1992294400 4194304 9819077 140736289072560 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 215480 182859 672 1374 0 214101 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 861920 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14336 /proc/meminfo: memFree=1125628/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=863484 CPUtime=582.07 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 628845 0 0 0 57672 535 0 0 25 0 1 0 9367909 884207616 182896 1992294400 4194304 9819077 140736289072560 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 215871 182896 672 1374 0 214492 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 863484 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14338 /proc/meminfo: memFree=1131084/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=832152 CPUtime=642.06 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 668105 0 0 0 63649 557 0 0 25 0 1 0 9367909 852123648 181966 1992294400 4194304 9819077 140736289072560 18446744073709551615 7259257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 208038 181967 672 1374 0 206659 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 832152 [startup+702.301 s] ################ # More data... # ################ /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 935253 0 0 0 105492 698 0 0 25 0 1 0 9367909 890970112 186755 1992294400 4194304 9819077 140736289072560 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 217522 186755 672 1374 0 216143 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 870088 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14352 /proc/meminfo: memFree=1121908/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=870604 CPUtime=1121.89 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 965192 0 0 0 111476 713 0 0 25 0 1 0 9367909 891498496 183875 1992294400 4194304 9819077 140736289072560 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 217651 183875 672 1374 0 216272 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 870604 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14352 /proc/meminfo: memFree=1109012/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=870932 CPUtime=1181.87 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 990246 0 0 0 117460 727 0 0 25 0 1 0 9367909 891834368 187121 1992294400 4194304 9819077 140736289072560 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 217733 187121 672 1374 0 216354 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 870932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14354 /proc/meminfo: memFree=1110376/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=871472 CPUtime=1241.84 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1022491 0 0 0 123440 744 0 0 25 0 1 0 9367909 892387328 186699 1992294400 4194304 9819077 140736289072560 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 217868 186699 672 1374 0 216489 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 871472 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14356 /proc/meminfo: memFree=1110996/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=871756 CPUtime=1301.83 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1054656 0 0 0 129422 761 0 0 25 0 1 0 9367909 892678144 186516 1992294400 4194304 9819077 140736289072560 18446744073709551615 6192272 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 217939 186516 672 1374 0 216560 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 871756 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14358 /proc/meminfo: memFree=1121536/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=872200 CPUtime=1361.8 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1094078 0 0 0 135397 783 0 0 25 0 1 0 9367909 893132800 184012 1992294400 4194304 9819077 140736289072560 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 218050 184012 672 1374 0 216671 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 872200 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14360 /proc/meminfo: memFree=1115832/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=872520 CPUtime=1421.79 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1127306 0 0 0 141375 804 0 0 25 0 1 0 9367909 893460480 185334 1992294400 4194304 9819077 140736289072560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 218130 185334 672 1374 0 216751 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 872520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14360 /proc/meminfo: memFree=1121164/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=873324 CPUtime=1481.76 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1168229 0 0 0 147350 826 0 0 25 0 1 0 9367909 894283776 184131 1992294400 4194304 9819077 140736289072560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 218331 184131 672 1374 0 216952 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 873324 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 14362 /proc/meminfo: memFree=1110128/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=873712 CPUtime=1541.74 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1203010 0 0 0 153328 846 0 0 25 0 1 0 9367909 894681088 186765 1992294400 4194304 9819077 140736289072560 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 218428 186765 672 1374 0 217049 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 873712 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 14364 /proc/meminfo: memFree=1099464/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1601.71 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1277869 0 0 0 159293 878 0 0 25 0 1 0 9367909 1035874304 188755 1992294400 4194304 9819077 140736289072560 18446744073709551615 6199024 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188755 681 1374 0 251520 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1011596 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 14366 /proc/meminfo: memFree=1101572/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1661.7 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1328117 0 0 0 165270 900 0 0 25 0 1 0 9367909 1035874304 188840 1992294400 4194304 9819077 140736289072560 18446744073709551615 6192298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188840 681 1374 0 251520 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1011596 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14368 /proc/meminfo: memFree=1100952/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1721.67 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1378503 0 0 0 171246 921 0 0 25 0 1 0 9367909 1035874304 189031 1992294400 4194304 9819077 140736289072560 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 189031 681 1374 0 251520 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 1011596 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14368 /proc/meminfo: memFree=1100084/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1781.65 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1428976 0 0 0 177223 942 0 0 25 0 1 0 9367909 1035874304 189144 1992294400 4194304 9819077 140736289072560 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 189144 681 1374 0 251520 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 1011596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14370 /proc/meminfo: memFree=1101448/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1800.06 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453770 0 0 0 179055 951 0 0 25 0 1 0 9367909 1035874304 188804 1992294400 4194304 9819077 140736289072560 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188804 681 1374 0 251520 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1011596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14321 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14370 /proc/meminfo: memFree=1101448/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1800.75 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453792 0 0 0 179123 952 0 0 25 0 1 0 9367909 1035874304 188826 1992294400 4194304 9819077 140736289072560 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188826 681 1374 0 251520 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 1011596 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14371 /proc/meminfo: memFree=1101316/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1801.55 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453820 0 0 0 179203 952 0 0 25 0 1 0 9367909 1035874304 188854 1992294400 4194304 9819077 140736289072560 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188854 681 1374 0 251520 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 1011596 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14371 /proc/meminfo: memFree=1101316/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1801.95 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453832 0 0 0 179243 952 0 0 25 0 1 0 9367909 1035874304 188866 1992294400 4194304 9819077 140736289072560 18446744073709551615 6697332 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188866 681 1374 0 251520 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 1011596 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14371 /proc/meminfo: memFree=1101316/2059040 swapFree=4136160/4192956 [pid=14321] ppid=14319 vsize=1011596 CPUtime=1802.05 /proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453835 0 0 0 179253 952 0 0 25 0 1 0 9367909 1035874304 188869 1992294400 4194304 9819077 140736289072560 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14321/statm: 252899 188869 681 1374 0 251520 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1011596 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.79 CPU time (s): 1802.15 CPU user time (s): 1792.55 CPU system time (s): 9.59354 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 1013776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.55 system time used= 9.59354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1453835 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= 3385 runsolver used 3.04754 second user time and 8.45671 second system time The end
Begin job on node011 at 2010-06-12 12:14:23 IDJOB=2665418 IDBENCH=1479 IDSOLVER=1168 FILE ID=node011/2665418-1276337663 PBS_JOBID= 11173172 Free space on /tmp= 62256 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665418-1276337663/watcher-2665418-1276337663 -o /tmp/evaluation-result-2665418-1276337663/solver-2665418-1276337663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665418-1276337663.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62 RANDOM SEED=774237484 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: 1857888 kB Buffers: 21276 kB Cached: 118816 kB SwapCached: 11008 kB Active: 106920 kB Inactive: 46616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1857888 kB SwapTotal: 4192956 kB SwapFree: 4136160 kB Dirty: 13016 kB Writeback: 56 kB AnonPages: 10752 kB Mapped: 9156 kB Slab: 25920 kB PageTables: 4044 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:44:26