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.1 | 1802.58 |
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: 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-2666848-1276337680.opb> 3.49/3.52 c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints 3.49/3.52 c problem read 3.49/3.52 c No objective function, only one solution is needed. 3.49/3.53 c presolving settings loaded 4.40/4.47 c presolving: 9.49/9.53 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 10.08/10.19 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.39/10.42 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.59/12.63 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 13.10/13.10 c presolving (5 rounds): 13.10/13.10 c 1531 deleted vars, 3882 deleted constraints, 737 tightened bounds, 0 added holes, 252 changed sides, 876 changed coefficients 13.10/13.10 c 5494539 implications, 0 cliques 13.10/13.10 c presolved problem has 61173 variables (61173 bin, 0 int, 0 impl, 0 cont) and 183225 constraints 13.10/13.10 c 504 constraints of type <knapsack> 13.10/13.10 c 182721 constraints of type <logicor> 13.10/13.10 c transformed objective value is always integral (scale: 1) 13.10/13.10 c Presolving Time: 7.89 13.10/13.10 c - non default parameters ---------------------------------------------------------------------- 13.10/13.10 c # SCIP version 1.2.1.2 13.10/13.10 c 13.10/13.10 c # frequency for displaying node information lines 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 100] 13.10/13.10 c display/freq = 10000 13.10/13.10 c 13.10/13.10 c # maximal time in seconds to run 13.10/13.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 13.10/13.10 c limits/time = 1796.47 13.10/13.10 c 13.10/13.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 13.10/13.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 13.10/13.10 c limits/memory = 1620 13.10/13.10 c 13.10/13.10 c # solving stops, if the given number of solutions were found (-1: no limit) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: -1] 13.10/13.10 c limits/solutions = 1 13.10/13.10 c 13.10/13.10 c # maximal number of separation rounds per node (-1: unlimited) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 5] 13.10/13.10 c separating/maxrounds = 1 13.10/13.10 c 13.10/13.10 c # maximal number of separation rounds in the root node (-1: unlimited) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: -1] 13.10/13.10 c separating/maxroundsroot = 5 13.10/13.10 c 13.10/13.10 c # should presolving try to simplify inequalities 13.10/13.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 13.10/13.10 c constraints/linear/simplifyinequalities = TRUE 13.10/13.10 c 13.10/13.10 c # should disaggregation of knapsack constraints be allowed in preprocessing? 13.10/13.10 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 13.10/13.10 c constraints/knapsack/disaggregation = FALSE 13.10/13.10 c 13.10/13.10 c # should presolving try to simplify knapsacks 13.10/13.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 13.10/13.10 c constraints/knapsack/simplifyinequalities = TRUE 13.10/13.10 c 13.10/13.10 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: -1] 13.10/13.10 c presolving/probing/maxrounds = 0 13.10/13.10 c 13.10/13.10 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.10 c heuristics/coefdiving/freq = -1 13.10/13.10 c 13.10/13.10 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.10 c heuristics/coefdiving/maxlpiterquot = 0.075 13.10/13.10 c 13.10/13.10 c # additional number of allowed LP iterations 13.10/13.10 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.10 c heuristics/coefdiving/maxlpiterofs = 1500 13.10/13.10 c 13.10/13.10 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 30] 13.10/13.10 c heuristics/crossover/freq = -1 13.10/13.10 c 13.10/13.10 c # number of nodes added to the contingent of the total nodes 13.10/13.10 c # [type: longint, range: [0,9223372036854775807], default: 500] 13.10/13.10 c heuristics/crossover/nodesofs = 750 13.10/13.10 c 13.10/13.10 c # number of nodes without incumbent change that heuristic should wait 13.10/13.10 c # [type: longint, range: [0,9223372036854775807], default: 200] 13.10/13.10 c heuristics/crossover/nwaitingnodes = 100 13.10/13.10 c 13.10/13.10 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 13.10/13.10 c # [type: real, range: [0,1], default: 0.1] 13.10/13.10 c heuristics/crossover/nodesquot = 0.15 13.10/13.10 c 13.10/13.10 c # minimum percentage of integer variables that have to be fixed 13.10/13.10 c # [type: real, range: [0,1], default: 0.666] 13.10/13.10 c heuristics/crossover/minfixingrate = 0.5 13.10/13.10 c 13.10/13.10 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 20] 13.10/13.10 c heuristics/feaspump/freq = -1 13.10/13.10 c 13.10/13.10 c # additional number of allowed LP iterations 13.10/13.10 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.10 c heuristics/feaspump/maxlpiterofs = 2000 13.10/13.10 c 13.10/13.10 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.10 c heuristics/fracdiving/freq = -1 13.10/13.10 c 13.10/13.10 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.10 c heuristics/fracdiving/maxlpiterquot = 0.075 13.10/13.10 c 13.10/13.10 c # additional number of allowed LP iterations 13.10/13.10 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.10 c heuristics/fracdiving/maxlpiterofs = 1500 13.10/13.10 c 13.10/13.10 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 13.10/13.10 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.10 c heuristics/guideddiving/freq = -1 13.10/13.10 c 13.10/13.10 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.10 c heuristics/guideddiving/maxlpiterquot = 0.075 13.10/13.10 c 13.10/13.10 c # additional number of allowed LP iterations 13.10/13.10 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.10 c heuristics/guideddiving/maxlpiterofs = 1500 13.10/13.10 c 13.10/13.10 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.10 c heuristics/intdiving/maxlpiterquot = 0.075 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.11 c heuristics/intshifting/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.11 c heuristics/linesearchdiving/freq = -1 13.10/13.11 c 13.10/13.11 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.11 c heuristics/linesearchdiving/maxlpiterquot = 0.075 13.10/13.11 c 13.10/13.11 c # additional number of allowed LP iterations 13.10/13.11 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.11 c heuristics/linesearchdiving/maxlpiterofs = 1500 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 1] 13.10/13.11 c heuristics/nlp/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 20] 13.10/13.11 c heuristics/objpscostdiving/freq = -1 13.10/13.11 c 13.10/13.11 c # maximal fraction of diving LP iterations compared to total iteration number 13.10/13.11 c # [type: real, range: [0,1], default: 0.01] 13.10/13.11 c heuristics/objpscostdiving/maxlpiterquot = 0.015 13.10/13.11 c 13.10/13.11 c # additional number of allowed LP iterations 13.10/13.11 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.11 c heuristics/objpscostdiving/maxlpiterofs = 1500 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 1] 13.10/13.11 c heuristics/oneopt/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.11 c heuristics/pscostdiving/freq = -1 13.10/13.11 c 13.10/13.11 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.11 c heuristics/pscostdiving/maxlpiterquot = 0.075 13.10/13.11 c 13.10/13.11 c # additional number of allowed LP iterations 13.10/13.11 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.11 c heuristics/pscostdiving/maxlpiterofs = 1500 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 0] 13.10/13.11 c heuristics/rens/freq = -1 13.10/13.11 c 13.10/13.11 c # minimum percentage of integer variables that have to be fixable 13.10/13.11 c # [type: real, range: [0,1], default: 0.5] 13.10/13.11 c heuristics/rens/minfixingrate = 0.3 13.10/13.11 c 13.10/13.11 c # number of nodes added to the contingent of the total nodes 13.10/13.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 13.10/13.11 c heuristics/rens/nodesofs = 2000 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 20] 13.10/13.11 c heuristics/rootsoldiving/freq = -1 13.10/13.11 c 13.10/13.11 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 13.10/13.11 c heuristics/rootsoldiving/maxlpiterquot = 0.015 13.10/13.11 c 13.10/13.11 c # additional number of allowed LP iterations 13.10/13.11 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.11 c heuristics/rootsoldiving/maxlpiterofs = 1500 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 1] 13.10/13.11 c heuristics/rounding/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.11 c heuristics/shifting/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 1] 13.10/13.11 c heuristics/simplerounding/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 0] 13.10/13.11 c heuristics/trivial/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 1] 13.10/13.11 c heuristics/trysol/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 10] 13.10/13.11 c heuristics/veclendiving/freq = -1 13.10/13.11 c 13.10/13.11 c # maximal fraction of diving LP iterations compared to node LP iterations 13.10/13.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.10/13.11 c heuristics/veclendiving/maxlpiterquot = 0.075 13.10/13.11 c 13.10/13.11 c # additional number of allowed LP iterations 13.10/13.11 c # [type: int, range: [0,2147483647], default: 1000] 13.10/13.11 c heuristics/veclendiving/maxlpiterofs = 1500 13.10/13.11 c 13.10/13.11 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 1] 13.10/13.11 c heuristics/zirounding/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 0] 13.10/13.11 c separating/cmir/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: 0] 13.10/13.11 c separating/flowcover/freq = -1 13.10/13.11 c 13.10/13.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 13.10/13.11 c # [type: int, range: [-1,2147483647], default: -1] 13.10/13.11 c separating/rapidlearning/freq = 0 13.10/13.11 c 13.10/13.11 c ----------------------------------------------------------------------------------------------- 13.10/13.11 c start solving 13.10/13.17 c 87.57/87.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 87.57/87.61 c 82.3s| 1 | 0 | 6657 | - | 497M| 0 |4178 | 61k| 183k| 61k| 183k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 379.09/379.28 c 368s| 1 | 0 | 19194 | - | 497M| 0 |4776 | 61k| 183k| 61k| 183k| 47 | 0 | 0 | 0.000000e+00 | -- | Inf 761.19/761.43 c 709s| 1 | 0 | 26336 | - | 498M| 0 |5211 | 61k| 183k| 61k| 183k| 91 | 0 | 0 | 0.000000e+00 | -- | Inf 1088.60/1088.97 c 1008s| 1 | 0 | 35391 | - | 498M| 0 |6098 | 61k| 183k| 61k| 183k| 192 | 0 | 0 | 0.000000e+00 | -- | Inf 1282.85/1283.26 c 1199s| 1 | 0 | 44318 | - | 498M| 0 |6514 | 61k| 183k| 61k| 183k| 263 | 0 | 0 | 0.000000e+00 | -- | Inf 1637.55/1638.08 c 1531s| 1 | 0 | 55214 | - | 499M| 0 |6407 | 61k| 183k| 61k| 183k| 299 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.01/1800.50 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-2666848-1276337680/watcher-2666848-1276337680 -o /tmp/evaluation-result-2666848-1276337680/solver-2666848-1276337680 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666848-1276337680.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.03 1.01 1.00 3/106 11167 /proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=7724 CPUtime=0 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1196 0 0 0 0 0 0 0 20 0 1 0 9371679 7909376 1115 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 1931 1125 348 984 0 944 0 [startup+0.073886 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11167 /proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=12004 CPUtime=0.06 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 2302 0 0 0 6 0 0 0 20 0 1 0 9371679 12292096 2221 1992294400 4194304 8223781 140736546816032 18446744073709551615 4213924 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 3001 2221 363 984 0 2014 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12004 [startup+0.10089 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11167 /proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=12644 CPUtime=0.09 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 2478 0 0 0 9 0 0 0 20 0 1 0 9371679 12947456 2397 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 3161 2397 363 984 0 2174 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12644 [startup+0.300912 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11167 /proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=19648 CPUtime=0.29 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 4205 0 0 0 28 1 0 0 20 0 1 0 9371679 20119552 4124 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 4912 4124 363 984 0 3925 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19648 [startup+0.700958 s] /proc/loadavg: 1.03 1.01 1.00 3/106 11167 /proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=32728 CPUtime=0.69 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 7494 0 0 0 66 3 0 0 20 0 1 0 9371679 33513472 7413 1992294400 4194304 8223781 140736546816032 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 8182 7413 363 984 0 7195 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32728 [startup+1.50105 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11168 /proc/meminfo: memFree=1758376/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=57492 CPUtime=1.49 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 13623 0 0 0 143 6 0 0 22 0 1 0 9371679 58871808 13542 1992294400 4194304 8223781 140736546816032 18446744073709551615 7241426 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 14373 13542 363 984 0 13386 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57492 [startup+3.10123 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11168 /proc/meminfo: memFree=1724028/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=106884 CPUtime=3.09 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 25963 0 0 0 299 10 0 0 25 0 1 0 9371679 109449216 25882 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11167/statm: 26721 25882 363 984 0 25734 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106884 [startup+6.30161 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11168 /proc/meminfo: memFree=1466232/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=378748 CPUtime=6.29 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 92133 0 0 0 586 43 0 0 25 0 1 0 9371679 387837952 91629 1992294400 4194304 8223781 140736546816032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 94687 91629 440 984 0 93700 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 378748 [startup+12.7013 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11168 /proc/meminfo: memFree=1243528/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=549676 CPUtime=12.68 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 158092 0 0 0 1140 128 0 0 25 0 1 0 9371679 562868224 132223 1992294400 4194304 8223781 140736546816032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 137419 132223 532 984 0 136432 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 549676 [startup+25.5008 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11168 /proc/meminfo: memFree=1064720/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=779048 CPUtime=25.48 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 232673 0 0 0 2386 162 0 0 25 0 1 0 9371679 797745152 182460 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 194762 182460 538 984 0 193775 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 779048 [startup+51.1008 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11170 /proc/meminfo: memFree=1063356/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=783624 CPUtime=51.07 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 243346 0 0 0 4936 171 0 0 25 0 1 0 9371679 802430976 182838 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 195906 182838 538 984 0 194919 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 783624 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11170 /proc/meminfo: memFree=1063356/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=787620 CPUtime=102.28 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 965398 0 0 0 9792 436 0 0 25 0 1 0 9371679 806522880 182488 1992294400 4194304 8223781 140736546816032 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 196547 182488 553 984 0 195560 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 787620 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11172 /proc/meminfo: memFree=1041532/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=811916 CPUtime=162.25 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1133442 0 0 0 15558 667 0 0 25 0 1 0 9371679 831401984 188274 1992294400 4194304 8223781 140736546816032 18446744073709551615 5786432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 202979 188274 563 984 0 201992 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 811916 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11174 /proc/meminfo: memFree=1044260/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=815048 CPUtime=222.23 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1152928 0 0 0 21544 679 0 0 25 0 1 0 9371679 834609152 187582 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 203762 187582 565 984 0 202775 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 815048 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11176 /proc/meminfo: memFree=1044012/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=815824 CPUtime=282.22 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1177505 0 0 0 27525 697 0 0 25 0 1 0 9371679 835403776 187664 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 203956 187664 565 984 0 202969 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 815824 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11176 /proc/meminfo: memFree=1043888/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=816304 CPUtime=342.2 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1203993 0 0 0 33505 715 0 0 25 0 1 0 9371679 835895296 187661 1992294400 4194304 8223781 140736546816032 18446744073709551615 6567839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 204076 187661 565 984 0 203089 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 816304 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11178 /proc/meminfo: memFree=1043268/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=816876 CPUtime=402.18 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 2306149 0 0 0 39114 1104 0 0 25 0 1 0 9371679 836481024 187836 1992294400 4194304 8223781 140736546816032 18446744073709551615 6299966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 204219 187836 565 984 0 203232 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 816876 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11180 /proc/meminfo: memFree=1043144/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=816876 CPUtime=462.16 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 5133646 0 0 0 44118 2098 0 0 25 0 1 0 9371679 836481024 187849 1992294400 4194304 8223781 140736546816032 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 204219 187849 565 984 0 203232 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 816876 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11182 /proc/meminfo: memFree=1043764/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=815444 CPUtime=522.15 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 7938950 0 0 0 49130 3085 0 0 25 0 1 0 9371679 835014656 187507 1992294400 4194304 8223781 140736546816032 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 203861 187507 565 984 0 202874 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 815444 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11184 /proc/meminfo: memFree=1043020/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=816876 CPUtime=582.13 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 10781112 0 0 0 54143 4070 0 0 25 0 1 0 9371679 836481024 187865 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 204219 187865 565 984 0 203232 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 816876 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11184 /proc/meminfo: memFree=1042400/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=816684 CPUtime=642.12 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 13001937 0 0 0 59374 4838 0 0 25 0 1 0 9371679 836284416 187996 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 204171 187996 565 984 0 203184 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 816684 [startup+702.301 s] ################ # More data... # ################ /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 20885534 0 0 0 98487 7713 0 0 25 0 1 0 9371679 837734400 188197 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 204525 188197 565 984 0 203538 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 818100 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11198 /proc/meminfo: memFree=1040044/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=820700 CPUtime=1121.99 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 21766459 0 0 0 104163 8036 0 0 25 0 1 0 9371679 840396800 188521 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205175 188521 565 984 0 204188 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 820700 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11200 /proc/meminfo: memFree=1040416/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=820740 CPUtime=1181.97 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 21789063 0 0 0 110148 8049 0 0 25 0 1 0 9371679 840437760 188402 1992294400 4194304 8223781 140736546816032 18446744073709551615 6537908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205185 188402 565 984 0 204198 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 820740 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11200 /proc/meminfo: memFree=1039920/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=820812 CPUtime=1241.96 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 21815848 0 0 0 116129 8067 0 0 25 0 1 0 9371679 840511488 188480 1992294400 4194304 8223781 140736546816032 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205203 188480 565 984 0 204216 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 820812 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11202 /proc/meminfo: memFree=1039424/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=821196 CPUtime=1301.95 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 22687326 0 0 0 121807 8388 0 0 25 0 1 0 9371679 840904704 188561 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205299 188570 565 984 0 204312 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 821196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11204 /proc/meminfo: memFree=1039548/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=821196 CPUtime=1361.92 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 25421133 0 0 0 126823 9369 0 0 25 0 1 0 9371679 840904704 188583 1992294400 4194304 8223781 140736546816032 18446744073709551615 7257368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205299 188583 565 984 0 204312 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 821196 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11206 /proc/meminfo: memFree=1039796/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=821712 CPUtime=1421.92 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28052278 0 0 0 131891 10301 0 0 25 0 1 0 9371679 841433088 188523 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205428 188523 565 984 0 204441 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 821712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11208 /proc/meminfo: memFree=1038432/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=821712 CPUtime=1481.89 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28076753 0 0 0 137872 10317 0 0 25 0 1 0 9371679 841433088 188862 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205428 188862 565 984 0 204441 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 821712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11208 /proc/meminfo: memFree=1038556/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=821912 CPUtime=1541.87 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28103855 0 0 0 143852 10335 0 0 25 0 1 0 9371679 841637888 188808 1992294400 4194304 8223781 140736546816032 18446744073709551615 6615822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205478 188808 565 984 0 204491 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 821912 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11210 /proc/meminfo: memFree=1038556/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=821984 CPUtime=1601.85 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28129787 0 0 0 149836 10349 0 0 25 0 1 0 9371679 841711616 188839 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205496 188839 565 984 0 204509 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 821984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11212 /proc/meminfo: memFree=1037192/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1661.84 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28158892 0 0 0 155818 10366 0 0 25 0 1 0 9371679 842719232 189170 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 189170 568 984 0 204755 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 822968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11214 /proc/meminfo: memFree=1036820/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1721.83 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28191781 0 0 0 161795 10388 0 0 25 0 1 0 9371679 842719232 189166 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 189166 568 984 0 204755 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 822968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11216 /proc/meminfo: memFree=1037068/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1781.81 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28222601 0 0 0 167775 10406 0 0 25 0 1 0 9371679 842719232 189117 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 189117 568 984 0 204755 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 822968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11216 /proc/meminfo: memFree=1038184/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1800.01 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233179 0 0 0 169589 10412 0 0 25 0 1 0 9371679 842719232 188837 1992294400 4194304 8223781 140736546816032 18446744073709551615 6450714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 188837 568 984 0 204755 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 822968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11167 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11217 /proc/meminfo: memFree=1038176/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1800.9 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233232 0 0 0 169678 10412 0 0 25 0 1 0 9371679 842719232 188890 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 188890 568 984 0 204755 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 822968 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11217 /proc/meminfo: memFree=1037804/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1801.71 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233274 0 0 0 169758 10413 0 0 25 0 1 0 9371679 842719232 188932 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 188932 568 984 0 204755 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 822968 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11217 /proc/meminfo: memFree=1037804/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1801.9 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233298 0 0 0 169777 10413 0 0 25 0 1 0 9371679 842719232 188956 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 188956 568 984 0 204755 0 Current children cumulated CPU time (s) 1801.9 Current children cumulated vsize (KiB) 822968 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11217 /proc/meminfo: memFree=1037804/2059040 swapFree=4192956/4192956 [pid=11167] ppid=11165 vsize=822968 CPUtime=1802 /proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233298 0 0 0 169787 10413 0 0 25 0 1 0 9371679 842719232 188956 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11167/statm: 205742 188956 568 984 0 204755 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 822968 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.58 CPU time (s): 1802.1 CPU user time (s): 1697.89 CPU system time (s): 104.206 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 845912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1697.89 system time used= 104.206 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28233298 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= 1 involuntary context switches= 3534 runsolver used 2.97255 second user time and 8.5187 second system time The end
Begin job on node006 at 2010-06-12 12:14:40 IDJOB=2666848 IDBENCH=1479 IDSOLVER=1169 FILE ID=node006/2666848-1276337680 PBS_JOBID= 11173174 Free space on /tmp= 62468 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.inv14.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-2666848-1276337680/watcher-2666848-1276337680 -o /tmp/evaluation-result-2666848-1276337680/solver-2666848-1276337680 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666848-1276337680.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62 RANDOM SEED=491472943 node006.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.204 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.40 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.204 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: 1795120 kB Buffers: 23192 kB Cached: 115884 kB SwapCached: 0 kB Active: 133460 kB Inactive: 65544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795120 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9988 kB Writeback: 0 kB AnonPages: 59868 kB Mapped: 15448 kB Slab: 43164 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182624 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= 62464 MiB End job on node006 at 2010-06-12 12:44:43