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.13 | 1802.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb |
MD5SUM | 6d44efaff34237725f88a3d0685c8f91 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 30.4184 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 20605 |
Total number of constraints | 59851 |
Number of constraints which are clauses | 58675 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
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 | 41 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 134 |
Number of bits of the biggest sum of numbers | 8 |
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-2665972-1276331971.opb> 1.00/1.03 c original problem has 20605 variables (20605 bin, 0 int, 0 impl, 0 cont) and 59851 constraints 1.00/1.03 c problem read 1.00/1.03 c No objective function, only one solution is needed. 1.00/1.03 c presolving settings loaded 1.29/1.35 c presolving: 2.39/2.45 c (round 1) 899 del vars, 505 del conss, 166 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988596 impls, 0 clqs 2.49/2.56 c (round 2) 901 del vars, 1977 del conss, 168 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988596 impls, 0 clqs 2.59/2.62 c (round 3) 907 del vars, 1990 del conss, 173 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988883 impls, 0 clqs 2.59/2.69 c (round 4) 907 del vars, 1996 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988930 impls, 0 clqs 2.69/2.76 c (round 5) 909 del vars, 1999 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 989028 impls, 0 clqs 3.19/3.27 c (round 6) 909 del vars, 2001 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 57850 upgd conss, 989028 impls, 0 clqs 3.39/3.46 c presolving (7 rounds): 3.39/3.46 c 909 deleted vars, 2001 deleted constraints, 174 tightened bounds, 0 added holes, 588 changed sides, 1190 changed coefficients 3.39/3.46 c 989028 implications, 0 cliques 3.39/3.46 c presolved problem has 19696 variables (19696 bin, 0 int, 0 impl, 0 cont) and 57850 constraints 3.39/3.46 c 1176 constraints of type <knapsack> 3.39/3.46 c 56674 constraints of type <logicor> 3.39/3.46 c transformed objective value is always integral (scale: 1) 3.39/3.46 c Presolving Time: 1.89 3.39/3.46 c - non default parameters ---------------------------------------------------------------------- 3.39/3.46 c # SCIP version 1.2.1.2 3.39/3.46 c 3.39/3.46 c # frequency for displaying node information lines 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 100] 3.39/3.46 c display/freq = 10000 3.39/3.46 c 3.39/3.46 c # maximal time in seconds to run 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.39/3.46 c limits/time = 1798.97 3.39/3.46 c 3.39/3.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.39/3.46 c limits/memory = 1620 3.39/3.46 c 3.39/3.46 c # solving stops, if the given number of solutions were found (-1: no limit) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.46 c limits/solutions = 1 3.39/3.46 c 3.39/3.46 c # maximal number of separation rounds per node (-1: unlimited) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 5] 3.39/3.46 c separating/maxrounds = 1 3.39/3.46 c 3.39/3.46 c # maximal number of separation rounds in the root node (-1: unlimited) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.46 c separating/maxroundsroot = 5 3.39/3.46 c 3.39/3.46 c # should presolving try to simplify inequalities 3.39/3.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.39/3.46 c constraints/linear/simplifyinequalities = TRUE 3.39/3.46 c 3.39/3.46 c # should disaggregation of knapsack constraints be allowed in preprocessing? 3.39/3.46 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 3.39/3.46 c constraints/knapsack/disaggregation = FALSE 3.39/3.46 c 3.39/3.46 c # should presolving try to simplify knapsacks 3.39/3.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.39/3.46 c constraints/knapsack/simplifyinequalities = TRUE 3.39/3.46 c 3.39/3.46 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.46 c presolving/probing/maxrounds = 0 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.46 c heuristics/coefdiving/freq = -1 3.39/3.46 c 3.39/3.46 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.46 c heuristics/coefdiving/maxlpiterquot = 0.075 3.39/3.46 c 3.39/3.46 c # additional number of allowed LP iterations 3.39/3.46 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.46 c heuristics/coefdiving/maxlpiterofs = 1500 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 30] 3.39/3.46 c heuristics/crossover/freq = -1 3.39/3.46 c 3.39/3.46 c # number of nodes added to the contingent of the total nodes 3.39/3.46 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.39/3.46 c heuristics/crossover/nodesofs = 750 3.39/3.46 c 3.39/3.46 c # number of nodes without incumbent change that heuristic should wait 3.39/3.46 c # [type: longint, range: [0,9223372036854775807], default: 200] 3.39/3.46 c heuristics/crossover/nwaitingnodes = 100 3.39/3.46 c 3.39/3.46 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 3.39/3.46 c # [type: real, range: [0,1], default: 0.1] 3.39/3.46 c heuristics/crossover/nodesquot = 0.15 3.39/3.46 c 3.39/3.46 c # minimum percentage of integer variables that have to be fixed 3.39/3.46 c # [type: real, range: [0,1], default: 0.666] 3.39/3.46 c heuristics/crossover/minfixingrate = 0.5 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 20] 3.39/3.46 c heuristics/feaspump/freq = -1 3.39/3.46 c 3.39/3.46 c # additional number of allowed LP iterations 3.39/3.46 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.46 c heuristics/feaspump/maxlpiterofs = 2000 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.46 c heuristics/fracdiving/freq = -1 3.39/3.46 c 3.39/3.46 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.46 c heuristics/fracdiving/maxlpiterquot = 0.075 3.39/3.46 c 3.39/3.46 c # additional number of allowed LP iterations 3.39/3.46 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.46 c heuristics/fracdiving/maxlpiterofs = 1500 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.46 c heuristics/guideddiving/freq = -1 3.39/3.46 c 3.39/3.46 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.46 c heuristics/guideddiving/maxlpiterquot = 0.075 3.39/3.46 c 3.39/3.46 c # additional number of allowed LP iterations 3.39/3.46 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.46 c heuristics/guideddiving/maxlpiterofs = 1500 3.39/3.46 c 3.39/3.46 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.46 c heuristics/intdiving/maxlpiterquot = 0.075 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.46 c heuristics/intshifting/freq = -1 3.39/3.46 c 3.39/3.46 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 3.39/3.46 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.46 c heuristics/linesearchdiving/freq = -1 3.39/3.46 c 3.39/3.46 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.46 c heuristics/linesearchdiving/maxlpiterquot = 0.075 3.39/3.46 c 3.39/3.46 c # additional number of allowed LP iterations 3.39/3.47 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.47 c heuristics/linesearchdiving/maxlpiterofs = 1500 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.47 c heuristics/nlp/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 20] 3.39/3.47 c heuristics/objpscostdiving/freq = -1 3.39/3.47 c 3.39/3.47 c # maximal fraction of diving LP iterations compared to total iteration number 3.39/3.47 c # [type: real, range: [0,1], default: 0.01] 3.39/3.47 c heuristics/objpscostdiving/maxlpiterquot = 0.015 3.39/3.47 c 3.39/3.47 c # additional number of allowed LP iterations 3.39/3.47 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.47 c heuristics/objpscostdiving/maxlpiterofs = 1500 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.47 c heuristics/oneopt/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.47 c heuristics/pscostdiving/freq = -1 3.39/3.47 c 3.39/3.47 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.47 c heuristics/pscostdiving/maxlpiterquot = 0.075 3.39/3.47 c 3.39/3.47 c # additional number of allowed LP iterations 3.39/3.47 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.47 c heuristics/pscostdiving/maxlpiterofs = 1500 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.47 c heuristics/rens/freq = -1 3.39/3.47 c 3.39/3.47 c # minimum percentage of integer variables that have to be fixable 3.39/3.47 c # [type: real, range: [0,1], default: 0.5] 3.39/3.47 c heuristics/rens/minfixingrate = 0.3 3.39/3.47 c 3.39/3.47 c # number of nodes added to the contingent of the total nodes 3.39/3.47 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.39/3.47 c heuristics/rens/nodesofs = 2000 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 20] 3.39/3.47 c heuristics/rootsoldiving/freq = -1 3.39/3.47 c 3.39/3.47 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 3.39/3.47 c heuristics/rootsoldiving/maxlpiterquot = 0.015 3.39/3.47 c 3.39/3.47 c # additional number of allowed LP iterations 3.39/3.47 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.47 c heuristics/rootsoldiving/maxlpiterofs = 1500 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.47 c heuristics/rounding/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.47 c heuristics/shifting/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.47 c heuristics/simplerounding/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.47 c heuristics/trivial/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.47 c heuristics/trysol/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 10] 3.39/3.47 c heuristics/veclendiving/freq = -1 3.39/3.47 c 3.39/3.47 c # maximal fraction of diving LP iterations compared to node LP iterations 3.39/3.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.39/3.47 c heuristics/veclendiving/maxlpiterquot = 0.075 3.39/3.47 c 3.39/3.47 c # additional number of allowed LP iterations 3.39/3.47 c # [type: int, range: [0,2147483647], default: 1000] 3.39/3.47 c heuristics/veclendiving/maxlpiterofs = 1500 3.39/3.47 c 3.39/3.47 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 1] 3.39/3.47 c heuristics/zirounding/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.47 c separating/cmir/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: 0] 3.39/3.47 c separating/flowcover/freq = -1 3.39/3.47 c 3.39/3.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 3.39/3.47 c # [type: int, range: [-1,2147483647], default: -1] 3.39/3.47 c separating/rapidlearning/freq = 0 3.39/3.47 c 3.39/3.47 c ----------------------------------------------------------------------------------------------- 3.39/3.47 c start solving 3.39/3.49 c 4.30/4.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.30/4.37 c 2.8s| 1 | 0 | 1817 | - | 140M| 0 |1368 | 19k| 57k| 19k| 57k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 10.08/10.12 c 8.2s| 1 | 0 | 3471 | - | 141M| 0 |2204 | 19k| 57k| 19k| 57k| 107 | 0 | 0 | 0.000000e+00 | -- | Inf 32.68/32.73 c 30.6s| 1 | 0 | 9072 | - | 141M| 0 |5163 | 19k| 57k| 19k| 58k| 221 | 0 | 0 | 0.000000e+00 | -- | Inf 110.05/110.15 c 108s| 1 | 0 | 17910 | - | 141M| 0 |7217 | 19k| 57k| 19k| 58k| 364 | 0 | 0 | 0.000000e+00 | -- | Inf 296.39/296.50 c 293s| 1 | 0 | 32585 | - | 141M| 0 |9154 | 19k| 57k| 19k| 58k| 520 | 0 | 0 | 0.000000e+00 | -- | Inf 440.54/440.79 c 437s| 1 | 0 | 46429 | - | 142M| 0 | 11k| 19k| 57k| 19k| 58k| 662 | 0 | 0 | 0.000000e+00 | -- | Inf 871.90/872.27 c 866s| 1 | 2 | 46429 | - | 142M| 0 | 11k| 19k| 57k| 19k| 58k| 662 | 0 | 33 | 0.000000e+00 | -- | Inf 1800.10/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-2665972-1276331971/watcher-2665972-1276331971 -o /tmp/evaluation-result-2665972-1276331971/solver-2665972-1276331971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665972-1276331971.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 3/106 9935 /proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=9288 CPUtime=0 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1178 0 0 0 0 0 0 0 24 0 1 0 6849018 9510912 1098 1992294400 4194304 9819077 140737192003104 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9935/statm: 2322 1109 371 1374 0 943 0 [startup+0.0177611 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9935 /proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=10836 CPUtime=0.01 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1652 0 0 0 1 0 0 0 24 0 1 0 6849018 11096064 1572 1992294400 4194304 9819077 140737192003104 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9935/statm: 2709 1572 386 1374 0 1330 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10836 [startup+0.100775 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9935 /proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=15828 CPUtime=0.09 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 2870 0 0 0 9 0 0 0 24 0 1 0 6849018 16207872 2790 1992294400 4194304 9819077 140737192003104 18446744073709551615 8610789 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9935/statm: 3957 2790 386 1374 0 2578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15828 [startup+0.300812 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9935 /proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=22408 CPUtime=0.29 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 4526 0 0 0 28 1 0 0 25 0 1 0 6849018 22945792 4446 1992294400 4194304 9819077 140737192003104 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9935/statm: 5602 4446 386 1374 0 4223 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22408 [startup+0.700884 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9935 /proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=35476 CPUtime=0.69 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 7808 0 0 0 67 2 0 0 25 0 1 0 6849018 36327424 7728 1992294400 4194304 9819077 140737192003104 18446744073709551615 5650579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9935/statm: 8869 7728 386 1374 0 7490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35476 [startup+1.50103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9936 /proc/meminfo: memFree=1715076/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=115440 CPUtime=1.49 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 27571 0 0 0 140 9 0 0 25 0 1 0 6849018 118210560 27074 1992294400 4194304 9819077 140737192003104 18446744073709551615 5968577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 28860 27074 490 1374 0 27481 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 115440 [startup+3.10132 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9936 /proc/meminfo: memFree=1619720/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=172476 CPUtime=3.09 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 43914 0 0 0 271 38 0 0 25 0 1 0 6849018 176615424 40747 1992294400 4194304 9819077 140737192003104 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 43119 40761 500 1374 0 41740 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 172476 [startup+6.30091 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9936 /proc/meminfo: memFree=1526224/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=269276 CPUtime=6.29 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 73606 0 0 0 562 67 0 0 25 0 1 0 6849018 275738624 57718 1992294400 4194304 9819077 140737192003104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 67319 57718 656 1374 0 65940 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 269276 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9936 /proc/meminfo: memFree=1522256/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=275792 CPUtime=12.68 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 89611 0 0 0 1178 90 0 0 25 0 1 0 6849018 282411008 58704 1992294400 4194304 9819077 140737192003104 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 68948 58704 671 1374 0 67569 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 275792 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9936 /proc/meminfo: memFree=1521512/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=278860 CPUtime=25.48 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 111469 0 0 0 2445 103 0 0 25 0 1 0 6849018 285552640 59045 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 69715 59045 671 1374 0 68336 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 278860 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9936 /proc/meminfo: memFree=1521388/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=280880 CPUtime=51.07 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 124304 0 0 0 4994 113 0 0 25 0 1 0 6849018 287621120 58921 1992294400 4194304 9819077 140737192003104 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 70220 58921 671 1374 0 68841 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 280880 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9938 /proc/meminfo: memFree=1520520/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=284308 CPUtime=102.26 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 177693 0 0 0 10080 146 0 0 25 0 1 0 6849018 291131392 59197 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 71077 59197 671 1374 0 69698 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 284308 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9940 /proc/meminfo: memFree=1520396/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=284912 CPUtime=162.23 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 189710 0 0 0 16058 165 0 0 25 0 1 0 6849018 291749888 59166 1992294400 4194304 9819077 140737192003104 18446744073709551615 6055166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 71228 59166 671 1374 0 69849 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 284912 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9942 /proc/meminfo: memFree=1518040/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=286432 CPUtime=222.21 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 226021 0 0 0 22030 191 0 0 25 0 1 0 6849018 293306368 59919 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 71608 59919 671 1374 0 70229 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 286432 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9944 /proc/meminfo: memFree=1519900/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=287520 CPUtime=282.2 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 284369 0 0 0 27994 226 0 0 25 0 1 0 6849018 294420480 59512 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 71880 59512 671 1374 0 70501 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 287520 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9944 /proc/meminfo: memFree=1514196/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=289092 CPUtime=342.17 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 329059 0 0 0 33962 255 0 0 25 0 1 0 6849018 296030208 60776 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 72273 60776 671 1374 0 70894 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 289092 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9946 /proc/meminfo: memFree=1518908/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=289892 CPUtime=402.15 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 379511 0 0 0 39928 287 0 0 25 0 1 0 6849018 296849408 59835 1992294400 4194304 9819077 140737192003104 18446744073709551615 6190573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 72473 59835 671 1374 0 71094 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 289892 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9948 /proc/meminfo: memFree=1511220/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=340648 CPUtime=462.13 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 434562 0 0 0 45896 317 0 0 25 0 1 0 6849018 348823552 61527 1992294400 4194304 9819077 140737192003104 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85162 61527 680 1374 0 83783 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 340648 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9950 /proc/meminfo: memFree=1511096/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=340648 CPUtime=522.11 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 480294 0 0 0 51870 341 0 0 25 0 1 0 6849018 348823552 61586 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85162 61586 680 1374 0 83783 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 340648 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9952 /proc/meminfo: memFree=1510724/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=340648 CPUtime=582.1 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 524318 0 0 0 57845 365 0 0 25 0 1 0 6849018 348823552 61611 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85162 61611 680 1374 0 83783 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 340648 [startup+642.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9952 /proc/meminfo: memFree=1510104/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=340648 CPUtime=642.08 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 575331 0 0 0 63818 390 0 0 25 0 1 0 6849018 348823552 61733 1992294400 4194304 9819077 140737192003104 18446744073709551615 7304830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85162 61733 680 1374 0 83783 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 340648 [startup+702.301 s] ################ # More data... # ################ /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 910279 0 0 0 105613 581 0 0 25 0 1 0 6849018 350740480 62031 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 62031 689 1374 0 84251 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 342520 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9966 /proc/meminfo: memFree=1508740/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=342520 CPUtime=1121.92 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 953912 0 0 0 111589 603 0 0 25 0 1 0 6849018 350740480 62039 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 62039 689 1374 0 84251 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 342520 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9968 /proc/meminfo: memFree=1508368/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=342520 CPUtime=1181.9 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 993486 0 0 0 117566 624 0 0 25 0 1 0 6849018 350740480 62177 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 62177 689 1374 0 84251 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 342520 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9968 /proc/meminfo: memFree=1508864/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=342520 CPUtime=1241.87 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1037277 0 0 0 123540 647 0 0 25 0 1 0 6849018 350740480 61983 1992294400 4194304 9819077 140737192003104 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 61983 689 1374 0 84251 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 342520 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9979 /proc/meminfo: memFree=1507996/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=342520 CPUtime=1301.86 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1076910 0 0 0 129517 669 0 0 25 0 1 0 6849018 350740480 62025 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 62025 689 1374 0 84251 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 342520 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9981 /proc/meminfo: memFree=1508120/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=342520 CPUtime=1361.82 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1120643 0 0 0 135490 692 0 0 25 0 1 0 6849018 350740480 62060 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 62060 689 1374 0 84251 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 342520 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9983 /proc/meminfo: memFree=1508368/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=342520 CPUtime=1421.81 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1160142 0 0 0 141465 716 0 0 25 0 1 0 6849018 350740480 61945 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 85630 61945 689 1374 0 84251 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 342520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9985 /proc/meminfo: memFree=1516676/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=294432 CPUtime=1481.78 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1202067 0 0 0 147443 735 0 0 25 0 1 0 6849018 301498368 59857 1992294400 4194304 9819077 140737192003104 18446744073709551615 7302709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 73608 59857 693 1374 0 72229 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 294432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9985 /proc/meminfo: memFree=1506880/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1541.76 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1242846 0 0 0 153419 757 0 0 25 0 1 0 6849018 353918976 62388 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62388 703 1374 0 85027 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 345624 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9987 /proc/meminfo: memFree=1506012/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1601.75 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1287463 0 0 0 159393 782 0 0 25 0 1 0 6849018 353918976 62668 1992294400 4194304 9819077 140737192003104 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62668 703 1374 0 85027 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 345624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 9989 /proc/meminfo: memFree=1507376/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1661.73 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1328002 0 0 0 165369 804 0 0 25 0 1 0 6849018 353918976 62261 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62261 703 1374 0 85027 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 345624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9991 /proc/meminfo: memFree=1506260/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1721.71 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1366627 0 0 0 171344 827 0 0 25 0 1 0 6849018 353918976 62609 1992294400 4194304 9819077 140737192003104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62609 703 1374 0 85027 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 345624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9993 /proc/meminfo: memFree=1510972/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1781.68 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1411346 0 0 0 177319 849 0 0 25 0 1 0 6849018 353918976 62212 1992294400 4194304 9819077 140737192003104 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62212 703 1374 0 85027 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 345624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9993 /proc/meminfo: memFree=1505640/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1800.1 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421306 0 0 0 179154 856 0 0 25 0 1 0 6849018 353918976 62659 1992294400 4194304 9819077 140737192003104 18446744073709551615 7312750 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62659 703 1374 0 85027 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 345624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9935 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 9993 /proc/meminfo: memFree=1505640/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1800.78 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421398 0 0 0 179222 856 0 0 25 0 1 0 6849018 353918976 62751 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62751 703 1374 0 85027 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 345624 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9994 /proc/meminfo: memFree=1505136/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1801.58 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421492 0 0 0 179302 856 0 0 25 0 1 0 6849018 353918976 62845 1992294400 4194304 9819077 140737192003104 18446744073709551615 6192366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62845 703 1374 0 85027 0 Current children cumulated CPU time (s) 1801.58 Current children cumulated vsize (KiB) 345624 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9994 /proc/meminfo: memFree=1505136/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1801.98 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421534 0 0 0 179342 856 0 0 25 0 1 0 6849018 353918976 62887 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62887 703 1374 0 85027 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 345624 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9994 /proc/meminfo: memFree=1505136/2059040 swapFree=4192956/4192956 [pid=9935] ppid=9933 vsize=345624 CPUtime=1802.08 /proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421547 0 0 0 179352 856 0 0 25 0 1 0 6849018 353918976 62900 1992294400 4194304 9819077 140737192003104 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9935/statm: 86406 62900 703 1374 0 85027 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 345624 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.13 CPU user time (s): 1793.54 CPU system time (s): 8.59169 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 346320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.54 system time used= 8.59169 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1421547 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= 3051 runsolver used 3.20951 second user time and 9.92649 second system time The end
Begin job on node027 at 2010-06-12 10:39:32 IDJOB=2665972 IDBENCH=1450 IDSOLVER=1168 FILE ID=node027/2665972-1276331971 PBS_JOBID= 11173168 Free space on /tmp= 62444 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-ooo.tag12.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-2665972-1276331971/watcher-2665972-1276331971 -o /tmp/evaluation-result-2665972-1276331971/solver-2665972-1276331971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665972-1276331971.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d44efaff34237725f88a3d0685c8f91 RANDOM SEED=181044613 node027.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 : 2800.261 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 : 5600.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 : 2800.261 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: 1756036 kB Buffers: 31680 kB Cached: 141628 kB SwapCached: 0 kB Active: 154304 kB Inactive: 78412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1756036 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7916 kB Writeback: 108 kB AnonPages: 59360 kB Mapped: 15448 kB Slab: 48292 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62440 MiB End job on node027 at 2010-06-12 11:09:35