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.1 | 1802.59 |
Name | /DEC-SMALLINT-LIN/oliveras/ j120/normalized-j12056_10-unsat.opb |
MD5SUM | 9569f42797128c8734a8cda484f54275 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 57354 |
Total number of constraints | 201250 |
Number of constraints which are clauses | 200306 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 944 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
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 | 17 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 677 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2684759-1278433511.opb> 3.49/3.54 c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 201250 constraints 3.49/3.54 c problem read 3.49/3.54 c No objective function, only one solution is needed. 3.49/3.55 c presolving settings loaded 4.49/4.59 c presolving: 14.99/15.07 c (round 1) 8160 del vars, 23881 del conss, 6491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12640714 impls, 0 clqs 18.39/18.41 c (round 2) 14505 del vars, 52664 del conss, 12407 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12684438 impls, 0 clqs 21.19/21.26 c (round 3) 17139 del vars, 64606 del conss, 14055 chg bounds, 24 chg sides, 36 chg coeffs, 0 upgd conss, 12709116 impls, 0 clqs 24.88/24.96 c (round 4) 18752 del vars, 71250 del conss, 15218 chg bounds, 39 chg sides, 54 chg coeffs, 0 upgd conss, 12727730 impls, 0 clqs 28.08/28.18 c (round 5) 19956 del vars, 76274 del conss, 16028 chg bounds, 41 chg sides, 56 chg coeffs, 0 upgd conss, 12740654 impls, 0 clqs 29.89/29.99 c (round 6) 20488 del vars, 78707 del conss, 16339 chg bounds, 43 chg sides, 58 chg coeffs, 0 upgd conss, 12747563 impls, 0 clqs 31.29/31.35 c (round 7) 20883 del vars, 80423 del conss, 16586 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12751151 impls, 0 clqs 31.89/31.96 c (round 8) 21052 del vars, 81237 del conss, 16679 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752206 impls, 0 clqs 32.18/32.28 c (round 9) 21112 del vars, 81530 del conss, 16706 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752564 impls, 0 clqs 32.38/32.49 c (round 10) 21122 del vars, 81604 del conss, 16711 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752642 impls, 0 clqs 32.58/32.68 c (round 11) 21124 del vars, 81623 del conss, 16712 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752660 impls, 0 clqs 33.78/33.89 c (round 12) 21124 del vars, 81626 del conss, 16712 chg bounds, 47 chg sides, 62 chg coeffs, 119624 upgd conss, 12752660 impls, 0 clqs 35.88/35.93 c (round 13) 21124 del vars, 81626 del conss, 16712 chg bounds, 92 chg sides, 287 chg coeffs, 119624 upgd conss, 12753544 impls, 4911 clqs 37.08/37.19 c presolving (14 rounds): 37.08/37.19 c 21124 deleted vars, 81626 deleted constraints, 16712 tightened bounds, 0 added holes, 100 changed sides, 354 changed coefficients 37.08/37.19 c 12753544 implications, 5248 cliques 37.08/37.19 c presolved problem has 36230 variables (36230 bin, 0 int, 0 impl, 0 cont) and 119624 constraints 37.08/37.19 c 928 constraints of type <knapsack> 37.08/37.19 c 118696 constraints of type <logicor> 37.08/37.19 c transformed objective value is always integral (scale: 1) 37.08/37.19 c Presolving Time: 31.41 37.08/37.19 c - non default parameters ---------------------------------------------------------------------- 37.08/37.19 c # SCIP version 1.2.1.2 37.08/37.19 c 37.08/37.19 c # frequency for displaying node information lines 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 100] 37.08/37.19 c display/freq = 10000 37.08/37.19 c 37.08/37.19 c # maximal time in seconds to run 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 37.08/37.19 c limits/time = 1796.47 37.08/37.19 c 37.08/37.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 37.08/37.19 c limits/memory = 1620 37.08/37.19 c 37.08/37.19 c # solving stops, if the given number of solutions were found (-1: no limit) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: -1] 37.08/37.19 c limits/solutions = 1 37.08/37.19 c 37.08/37.19 c # maximal number of separation rounds per node (-1: unlimited) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 5] 37.08/37.19 c separating/maxrounds = 1 37.08/37.19 c 37.08/37.19 c # maximal number of separation rounds in the root node (-1: unlimited) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: -1] 37.08/37.19 c separating/maxroundsroot = 5 37.08/37.19 c 37.08/37.19 c # should presolving try to simplify inequalities 37.08/37.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.08/37.19 c constraints/linear/simplifyinequalities = TRUE 37.08/37.19 c 37.08/37.19 c # should disaggregation of knapsack constraints be allowed in preprocessing? 37.08/37.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 37.08/37.19 c constraints/knapsack/disaggregation = FALSE 37.08/37.19 c 37.08/37.19 c # should presolving try to simplify knapsacks 37.08/37.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.08/37.19 c constraints/knapsack/simplifyinequalities = TRUE 37.08/37.19 c 37.08/37.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: -1] 37.08/37.19 c presolving/probing/maxrounds = 0 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/coefdiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/coefdiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/coefdiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 30] 37.08/37.19 c heuristics/crossover/freq = -1 37.08/37.19 c 37.08/37.19 c # number of nodes added to the contingent of the total nodes 37.08/37.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 37.08/37.19 c heuristics/crossover/nodesofs = 750 37.08/37.19 c 37.08/37.19 c # number of nodes without incumbent change that heuristic should wait 37.08/37.19 c # [type: longint, range: [0,9223372036854775807], default: 200] 37.08/37.19 c heuristics/crossover/nwaitingnodes = 100 37.08/37.19 c 37.08/37.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 37.08/37.19 c # [type: real, range: [0,1], default: 0.1] 37.08/37.19 c heuristics/crossover/nodesquot = 0.15 37.08/37.19 c 37.08/37.19 c # minimum percentage of integer variables that have to be fixed 37.08/37.19 c # [type: real, range: [0,1], default: 0.666] 37.08/37.19 c heuristics/crossover/minfixingrate = 0.5 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 20] 37.08/37.19 c heuristics/feaspump/freq = -1 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/feaspump/maxlpiterofs = 2000 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/fracdiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/fracdiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/fracdiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/guideddiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/guideddiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/guideddiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/intdiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/intshifting/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/linesearchdiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/linesearchdiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/linesearchdiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 1] 37.08/37.19 c heuristics/nlp/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 20] 37.08/37.19 c heuristics/objpscostdiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to total iteration number 37.08/37.19 c # [type: real, range: [0,1], default: 0.01] 37.08/37.19 c heuristics/objpscostdiving/maxlpiterquot = 0.015 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/objpscostdiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 1] 37.08/37.19 c heuristics/oneopt/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/pscostdiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/pscostdiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/pscostdiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 0] 37.08/37.19 c heuristics/rens/freq = -1 37.08/37.19 c 37.08/37.19 c # minimum percentage of integer variables that have to be fixable 37.08/37.19 c # [type: real, range: [0,1], default: 0.5] 37.08/37.19 c heuristics/rens/minfixingrate = 0.3 37.08/37.19 c 37.08/37.19 c # number of nodes added to the contingent of the total nodes 37.08/37.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 37.08/37.19 c heuristics/rens/nodesofs = 2000 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 20] 37.08/37.19 c heuristics/rootsoldiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 37.08/37.19 c heuristics/rootsoldiving/maxlpiterquot = 0.015 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/rootsoldiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 1] 37.08/37.19 c heuristics/rounding/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/shifting/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 1] 37.08/37.19 c heuristics/simplerounding/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 0] 37.08/37.19 c heuristics/trivial/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 1] 37.08/37.19 c heuristics/trysol/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 10] 37.08/37.19 c heuristics/veclendiving/freq = -1 37.08/37.19 c 37.08/37.19 c # maximal fraction of diving LP iterations compared to node LP iterations 37.08/37.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.08/37.19 c heuristics/veclendiving/maxlpiterquot = 0.075 37.08/37.19 c 37.08/37.19 c # additional number of allowed LP iterations 37.08/37.19 c # [type: int, range: [0,2147483647], default: 1000] 37.08/37.19 c heuristics/veclendiving/maxlpiterofs = 1500 37.08/37.19 c 37.08/37.19 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 1] 37.08/37.19 c heuristics/zirounding/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 0] 37.08/37.19 c separating/cmir/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: 0] 37.08/37.19 c separating/flowcover/freq = -1 37.08/37.19 c 37.08/37.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 37.08/37.19 c # [type: int, range: [-1,2147483647], default: -1] 37.08/37.19 c separating/rapidlearning/freq = 0 37.08/37.19 c 37.08/37.19 c ----------------------------------------------------------------------------------------------- 37.08/37.19 c start solving 37.18/37.23 c 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-2684759-1278433511/watcher-2684759-1278433511 -o /tmp/evaluation-result-2684759-1278433511/solver-2684759-1278433511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684759-1278433511.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.84 2.00 2.00 3/106 20260 /proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=9288 CPUtime=0 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 1189 0 0 0 0 0 0 0 17 0 1 0 11562108 9510912 1111 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 2322 1120 371 1374 0 943 0 [startup+0.0357211 s] /proc/loadavg: 1.84 2.00 2.00 3/106 20260 /proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=12700 CPUtime=0.02 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 2113 0 0 0 2 0 0 0 19 0 1 0 11562108 13004800 2034 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 3175 2034 386 1374 0 1796 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12700 [startup+0.100729 s] /proc/loadavg: 1.84 2.00 2.00 3/106 20260 /proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=18580 CPUtime=0.09 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 3569 0 0 0 8 1 0 0 19 0 1 0 11562108 19025920 3490 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 4645 3490 386 1374 0 3266 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18580 [startup+0.30075 s] /proc/loadavg: 1.84 2.00 2.00 3/106 20260 /proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=29580 CPUtime=0.29 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 6348 0 0 0 27 2 0 0 19 0 1 0 11562108 30289920 6260 1992294400 4194304 9819077 140736325810672 18446744073709551615 4240587 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 7395 6260 386 1374 0 6016 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29580 [startup+0.700795 s] /proc/loadavg: 1.84 2.00 2.00 3/106 20260 /proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=44860 CPUtime=0.69 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 10158 0 0 0 66 3 0 0 19 0 1 0 11562108 45936640 10070 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 11215 10070 386 1374 0 9836 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44860 [startup+1.50089 s] /proc/loadavg: 1.84 2.00 2.00 2/107 20261 /proc/meminfo: memFree=1437596/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=63508 CPUtime=1.49 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 14825 0 0 0 144 5 0 0 21 0 1 0 11562108 65032192 14737 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 15877 14737 386 1374 0 14498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63508 [startup+3.10106 s] /proc/loadavg: 1.84 2.00 2.00 2/107 20261 /proc/meminfo: memFree=1410812/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=113052 CPUtime=3.09 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 27207 0 0 0 299 10 0 0 25 0 1 0 11562108 115765248 27119 1992294400 4194304 9819077 140736325810672 18446744073709551615 6180950 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20260/statm: 28263 27119 386 1374 0 26884 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 113052 [startup+6.30043 s] /proc/loadavg: 1.77 1.98 1.99 2/107 20261 /proc/meminfo: memFree=1151528/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=395672 CPUtime=6.29 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 96778 0 0 0 590 39 0 0 25 0 1 0 11562108 405168128 96305 1992294400 4194304 9819077 140736325810672 18446744073709551615 6180700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 98918 96305 486 1374 0 97539 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 395672 [startup+12.7011 s] /proc/loadavg: 1.71 1.97 1.99 2/107 20262 /proc/meminfo: memFree=900304/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=619468 CPUtime=12.69 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 150038 0 0 0 1202 67 0 0 25 0 1 0 11562108 634335232 149565 1992294400 4194304 9819077 140736325810672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 154867 149565 486 1374 0 153488 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 619468 [startup+25.5006 s] /proc/loadavg: 1.55 1.92 1.97 2/107 20262 /proc/meminfo: memFree=841528/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=665592 CPUtime=25.49 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 162045 0 0 0 2446 103 0 0 25 0 1 0 11562108 681566208 160544 1992294400 4194304 9819077 140736325810672 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 166398 160544 490 1374 0 165019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 665592 [startup+51.1005 s] /proc/loadavg: 1.36 1.84 1.94 2/107 20262 /proc/meminfo: memFree=714180/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=848892 CPUtime=51.07 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 241349 0 0 0 4905 202 0 0 25 0 1 0 11562108 869265408 192816 1992294400 4194304 9819077 140736325810672 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 212223 192816 640 1374 0 210844 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 848892 [startup+102.308 s] /proc/loadavg: 1.16 1.71 1.89 2/107 20264 /proc/meminfo: memFree=713312/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=862108 CPUtime=102.26 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 287942 0 0 0 10000 226 0 0 25 0 1 0 11562108 882798592 192891 1992294400 4194304 9819077 140736325810672 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 215527 192891 640 1374 0 214148 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 862108 [startup+162.301 s] /proc/loadavg: 1.06 1.58 1.83 2/107 20266 /proc/meminfo: memFree=708972/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=873468 CPUtime=162.24 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 339800 0 0 0 15970 254 0 0 25 0 1 0 11562108 894431232 193077 1992294400 4194304 9819077 140736325810672 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 218367 193077 640 1374 0 216988 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 873468 [startup+222.301 s] /proc/loadavg: 1.02 1.47 1.78 2/107 20267 /proc/meminfo: memFree=710584/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=877628 CPUtime=222.22 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 377909 0 0 0 21946 276 0 0 25 0 1 0 11562108 898691072 193546 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 219407 193546 640 1374 0 218028 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 877628 [startup+282.301 s] /proc/loadavg: 1.00 1.38 1.73 2/107 20269 /proc/meminfo: memFree=703888/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=879744 CPUtime=282.2 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 402418 0 0 0 27932 288 0 0 25 0 1 0 11562108 900857856 195183 1992294400 4194304 9819077 140736325810672 18446744073709551615 6697308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 219936 195183 640 1374 0 218557 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 879744 [startup+342.301 s] /proc/loadavg: 1.00 1.31 1.68 2/107 20270 /proc/meminfo: memFree=703888/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=881536 CPUtime=342.19 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 428685 0 0 0 33917 302 0 0 25 0 1 0 11562108 902692864 195211 1992294400 4194304 9819077 140736325810672 18446744073709551615 6697210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 220384 195211 640 1374 0 219005 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 881536 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.63 2/107 20272 /proc/meminfo: memFree=701036/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=883260 CPUtime=402.18 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 455404 0 0 0 39902 316 0 0 25 0 1 0 11562108 904458240 196094 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 220815 196094 640 1374 0 219436 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 883260 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.59 2/107 20274 /proc/meminfo: memFree=701780/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=884316 CPUtime=462.16 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 483845 0 0 0 45885 331 0 0 25 0 1 0 11562108 905539584 195690 1992294400 4194304 9819077 140736325810672 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 221079 195690 640 1374 0 219700 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 884316 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.55 2/107 20275 /proc/meminfo: memFree=696448/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=885820 CPUtime=522.15 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 505349 0 0 0 51871 344 0 0 25 0 1 0 11562108 907079680 197214 1992294400 4194304 9819077 140736325810672 18446744073709551615 7295868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 221455 197214 640 1374 0 220076 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 885820 [startup+582.301 s] /proc/loadavg: 1.04 1.14 1.52 2/107 20277 /proc/meminfo: memFree=695704/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=886424 CPUtime=582.13 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 527576 0 0 0 57859 354 0 0 25 0 1 0 11562108 907698176 197282 1992294400 4194304 9819077 140736325810672 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 221606 197282 640 1374 0 220227 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 886424 [startup+642.301 s] /proc/loadavg: 1.01 1.12 1.48 2/107 20278 /proc/meminfo: memFree=696448/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=886748 CPUtime=642.12 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 550241 0 0 0 63846 366 0 0 25 0 1 0 11562108 908029952 196961 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 221687 196961 640 1374 0 220308 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 886748 [startup+702.301 s] ################ # More data... # ################ /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 695756 0 0 0 105756 444 0 0 25 0 1 0 11562108 909864960 197120 1992294400 4194304 9819077 140736325810672 18446744073709551615 7294708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222135 197120 640 1374 0 220756 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 888540 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.27 2/107 20291 /proc/meminfo: memFree=683800/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888472 CPUtime=1121.98 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 711325 0 0 0 111746 452 0 0 25 0 1 0 11562108 909795328 200074 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222118 200074 640 1374 0 220739 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 888472 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.25 2/107 20293 /proc/meminfo: memFree=687024/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=868744 CPUtime=1181.97 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 741035 0 0 0 117730 467 0 0 25 0 1 0 11562108 889593856 194870 1992294400 4194304 9819077 140736325810672 18446744073709551615 7235141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 217186 194870 640 1374 0 215807 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 868744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.23 2/107 20294 /proc/meminfo: memFree=693844/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888572 CPUtime=1241.95 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 775773 0 0 0 123711 484 0 0 25 0 1 0 11562108 909897728 197659 1992294400 4194304 9819077 140736325810672 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222143 197659 640 1374 0 220764 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 888572 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.22 2/107 20296 /proc/meminfo: memFree=684916/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888512 CPUtime=1301.94 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 800308 0 0 0 129698 496 0 0 25 0 1 0 11562108 909836288 199717 1992294400 4194304 9819077 140736325810672 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222128 199717 640 1374 0 220749 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 888512 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.20 2/107 20298 /proc/meminfo: memFree=688884/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888412 CPUtime=1361.92 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 823484 0 0 0 135684 508 0 0 25 0 1 0 11562108 909733888 198941 1992294400 4194304 9819077 140736325810672 18446744073709551615 7300326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222103 198941 640 1374 0 220724 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 888412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.18 2/107 20299 /proc/meminfo: memFree=694092/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888472 CPUtime=1421.91 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 847044 0 0 0 141671 520 0 0 25 0 1 0 11562108 909795328 197401 1992294400 4194304 9819077 140736325810672 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222118 197401 640 1374 0 220739 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 888472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 20301 /proc/meminfo: memFree=684916/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888540 CPUtime=1481.88 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 862499 0 0 0 147660 528 0 0 25 0 1 0 11562108 909864960 199731 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222135 199731 640 1374 0 220756 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 888540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 20302 /proc/meminfo: memFree=693100/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888764 CPUtime=1541.87 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 884812 0 0 0 153648 539 0 0 25 0 1 0 11562108 910094336 197745 1992294400 4194304 9819077 140736325810672 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222191 197745 640 1374 0 220812 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 888764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 20304 /proc/meminfo: memFree=684048/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=888960 CPUtime=1601.86 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 899021 0 0 0 159639 547 0 0 25 0 1 0 11562108 910295040 199998 1992294400 4194304 9819077 140736325810672 18446744073709551615 7293672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222240 199998 640 1374 0 220861 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 888960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 20306 /proc/meminfo: memFree=695704/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889048 CPUtime=1661.84 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 930758 0 0 0 165622 562 0 0 25 0 1 0 11562108 910385152 197020 1992294400 4194304 9819077 140736325810672 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222262 197020 640 1374 0 220883 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 889048 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 20307 /proc/meminfo: memFree=684668/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889148 CPUtime=1721.83 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 956718 0 0 0 171608 575 0 0 25 0 1 0 11562108 910487552 199803 1992294400 4194304 9819077 140736325810672 18446744073709551615 7318413 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222287 199803 640 1374 0 220908 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 889148 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 20309 /proc/meminfo: memFree=692480/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889240 CPUtime=1781.81 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 989586 0 0 0 177592 589 0 0 25 0 1 0 11562108 910581760 197867 1992294400 4194304 9819077 140736325810672 18446744073709551615 6656800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222310 197867 640 1374 0 220931 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 889240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.11 2/107 20309 /proc/meminfo: memFree=682808/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889240 CPUtime=1800.01 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 991931 0 0 0 179410 591 0 0 25 0 1 0 11562108 910581760 200212 1992294400 4194304 9819077 140736325810672 18446744073709551615 7298106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222310 200212 640 1374 0 220931 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 889240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -20260 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.11 2/108 20310 /proc/meminfo: memFree=682800/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889240 CPUtime=1800.9 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 991999 0 0 0 179499 591 0 0 25 0 1 0 11562108 910581760 200280 1992294400 4194304 9819077 140736325810672 18446744073709551615 7318505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222310 200280 640 1374 0 220931 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 889240 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.11 2/108 20310 /proc/meminfo: memFree=682428/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889240 CPUtime=1801.7 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 992072 0 0 0 179579 591 0 0 25 0 1 0 11562108 910581760 200353 1992294400 4194304 9819077 140736325810672 18446744073709551615 7299232 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222310 200353 640 1374 0 220931 0 Current children cumulated CPU time (s) 1801.7 Current children cumulated vsize (KiB) 889240 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.11 2/108 20310 /proc/meminfo: memFree=682428/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889240 CPUtime=1801.9 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 992087 0 0 0 179599 591 0 0 25 0 1 0 11562108 910581760 200368 1992294400 4194304 9819077 140736325810672 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222310 200368 640 1374 0 220931 0 Current children cumulated CPU time (s) 1801.9 Current children cumulated vsize (KiB) 889240 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.11 2/108 20310 /proc/meminfo: memFree=682428/2059040 swapFree=4192956/4192956 [pid=20260] ppid=20258 vsize=889240 CPUtime=1802 /proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 992092 0 0 0 179609 591 0 0 25 0 1 0 11562108 910581760 200373 1992294400 4194304 9819077 140736325810672 18446744073709551615 7291028 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20260/statm: 222310 200373 640 1374 0 220931 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 889240 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.59 CPU time (s): 1802.1 CPU user time (s): 1796.11 CPU system time (s): 5.99009 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 889308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.11 system time used= 5.99009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 992092 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= 5916 runsolver used 2.95155 second user time and 8.5397 second system time The end
Begin job on node035 at 2010-07-06 18:25:12 IDJOB=2684759 IDBENCH=73545 IDSOLVER=1168 FILE ID=node035/2684759-1278433511 PBS_JOBID= 11233486 Free space on /tmp= 62484 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.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-2684759-1278433511/watcher-2684759-1278433511 -o /tmp/evaluation-result-2684759-1278433511/solver-2684759-1278433511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684759-1278433511.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9569f42797128c8734a8cda484f54275 RANDOM SEED=1774827545 node035.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.212 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.42 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.212 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: 1485236 kB Buffers: 100612 kB Cached: 341332 kB SwapCached: 0 kB Active: 171876 kB Inactive: 329980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1485236 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 12964 kB Writeback: 0 kB AnonPages: 59828 kB Mapped: 14424 kB Slab: 50096 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179408 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= 62480 MiB End job on node035 at 2010-07-06 18:55:14