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.12 | 1802.75 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12026_5-unsat.opb |
MD5SUM | db859a15c3accfca5f41bc17f134e06b |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 604.363 |
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 | 32912 |
Total number of constraints | 109848 |
Number of constraints which are clauses | 109308 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 540 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 66 |
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 | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 428 |
Number of bits of the biggest sum of numbers | 9 |
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-2685011-1278438016.opb> 1.89/1.94 c original problem has 32912 variables (32912 bin, 0 int, 0 impl, 0 cont) and 109848 constraints 1.89/1.94 c problem read 1.89/1.94 c No objective function, only one solution is needed. 1.89/1.94 c presolving settings loaded 2.49/2.51 c presolving: 7.49/7.52 c (round 1) 7044 del vars, 20263 del conss, 5475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6167726 impls, 0 clqs 10.38/10.47 c (round 2) 12857 del vars, 44039 del conss, 10823 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6207637 impls, 0 clqs 11.39/11.46 c (round 3) 15115 del vars, 54047 del conss, 12184 chg bounds, 39 chg sides, 48 chg coeffs, 0 upgd conss, 6221858 impls, 0 clqs 11.79/11.81 c (round 4) 16096 del vars, 58227 del conss, 12821 chg bounds, 58 chg sides, 67 chg coeffs, 0 upgd conss, 6231297 impls, 0 clqs 12.00/12.08 c (round 5) 16655 del vars, 60512 del conss, 13170 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6237544 impls, 0 clqs 12.19/12.26 c (round 6) 16969 del vars, 61784 del conss, 13348 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6241429 impls, 0 clqs 12.28/12.37 c (round 7) 17121 del vars, 62397 del conss, 13424 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6242905 impls, 0 clqs 12.39/12.46 c (round 8) 17191 del vars, 62695 del conss, 13455 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6243963 impls, 0 clqs 12.49/12.54 c (round 9) 17232 del vars, 62862 del conss, 13476 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244522 impls, 0 clqs 12.58/12.62 c (round 10) 17255 del vars, 62955 del conss, 13487 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244717 impls, 0 clqs 12.58/12.69 c (round 11) 17268 del vars, 63007 del conss, 13491 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244802 impls, 0 clqs 12.69/12.75 c (round 12) 17271 del vars, 63021 del conss, 13492 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244823 impls, 0 clqs 13.19/13.22 c (round 13) 17271 del vars, 63022 del conss, 13492 chg bounds, 59 chg sides, 68 chg coeffs, 46826 upgd conss, 6244823 impls, 0 clqs 13.59/13.68 c (round 14) 17271 del vars, 63022 del conss, 13492 chg bounds, 74 chg sides, 209 chg coeffs, 46826 upgd conss, 6245981 impls, 1879 clqs 13.98/14.03 c presolving (15 rounds): 13.98/14.03 c 17271 deleted vars, 63022 deleted constraints, 13492 tightened bounds, 0 added holes, 76 changed sides, 240 changed coefficients 13.98/14.03 c 6245981 implications, 1986 cliques 13.98/14.03 c presolved problem has 15641 variables (15641 bin, 0 int, 0 impl, 0 cont) and 46826 constraints 13.98/14.03 c 494 constraints of type <knapsack> 13.98/14.03 c 46332 constraints of type <logicor> 13.98/14.03 c transformed objective value is always integral (scale: 1) 13.98/14.03 c Presolving Time: 10.97 13.98/14.03 c - non default parameters ---------------------------------------------------------------------- 13.98/14.03 c # SCIP version 1.2.1.2 13.98/14.03 c 13.98/14.03 c # frequency for displaying node information lines 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 100] 13.98/14.03 c display/freq = 10000 13.98/14.03 c 13.98/14.03 c # maximal time in seconds to run 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 13.98/14.03 c limits/time = 1798.07 13.98/14.03 c 13.98/14.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 13.98/14.03 c limits/memory = 1620 13.98/14.03 c 13.98/14.03 c # solving stops, if the given number of solutions were found (-1: no limit) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: -1] 13.98/14.03 c limits/solutions = 1 13.98/14.03 c 13.98/14.03 c # maximal number of separation rounds per node (-1: unlimited) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 5] 13.98/14.03 c separating/maxrounds = 1 13.98/14.03 c 13.98/14.03 c # maximal number of separation rounds in the root node (-1: unlimited) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: -1] 13.98/14.03 c separating/maxroundsroot = 5 13.98/14.03 c 13.98/14.03 c # should presolving try to simplify inequalities 13.98/14.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 13.98/14.03 c constraints/linear/simplifyinequalities = TRUE 13.98/14.03 c 13.98/14.03 c # should disaggregation of knapsack constraints be allowed in preprocessing? 13.98/14.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 13.98/14.03 c constraints/knapsack/disaggregation = FALSE 13.98/14.03 c 13.98/14.03 c # should presolving try to simplify knapsacks 13.98/14.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 13.98/14.03 c constraints/knapsack/simplifyinequalities = TRUE 13.98/14.03 c 13.98/14.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: -1] 13.98/14.03 c presolving/probing/maxrounds = 0 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/coefdiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/coefdiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/coefdiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 30] 13.98/14.03 c heuristics/crossover/freq = -1 13.98/14.03 c 13.98/14.03 c # number of nodes added to the contingent of the total nodes 13.98/14.03 c # [type: longint, range: [0,9223372036854775807], default: 500] 13.98/14.03 c heuristics/crossover/nodesofs = 750 13.98/14.03 c 13.98/14.03 c # number of nodes without incumbent change that heuristic should wait 13.98/14.03 c # [type: longint, range: [0,9223372036854775807], default: 200] 13.98/14.03 c heuristics/crossover/nwaitingnodes = 100 13.98/14.03 c 13.98/14.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 13.98/14.03 c # [type: real, range: [0,1], default: 0.1] 13.98/14.03 c heuristics/crossover/nodesquot = 0.15 13.98/14.03 c 13.98/14.03 c # minimum percentage of integer variables that have to be fixed 13.98/14.03 c # [type: real, range: [0,1], default: 0.666] 13.98/14.03 c heuristics/crossover/minfixingrate = 0.5 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 20] 13.98/14.03 c heuristics/feaspump/freq = -1 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/feaspump/maxlpiterofs = 2000 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/fracdiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/fracdiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/fracdiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/guideddiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/guideddiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/guideddiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/intdiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/intshifting/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/linesearchdiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/linesearchdiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 1] 13.98/14.03 c heuristics/nlp/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 20] 13.98/14.03 c heuristics/objpscostdiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to total iteration number 13.98/14.03 c # [type: real, range: [0,1], default: 0.01] 13.98/14.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/objpscostdiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 1] 13.98/14.03 c heuristics/oneopt/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/pscostdiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/pscostdiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/pscostdiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 0] 13.98/14.03 c heuristics/rens/freq = -1 13.98/14.03 c 13.98/14.03 c # minimum percentage of integer variables that have to be fixable 13.98/14.03 c # [type: real, range: [0,1], default: 0.5] 13.98/14.03 c heuristics/rens/minfixingrate = 0.3 13.98/14.03 c 13.98/14.03 c # number of nodes added to the contingent of the total nodes 13.98/14.03 c # [type: longint, range: [0,9223372036854775807], default: 500] 13.98/14.03 c heuristics/rens/nodesofs = 2000 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 20] 13.98/14.03 c heuristics/rootsoldiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 13.98/14.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/rootsoldiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 1] 13.98/14.03 c heuristics/rounding/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/shifting/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 1] 13.98/14.03 c heuristics/simplerounding/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 0] 13.98/14.03 c heuristics/trivial/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 1] 13.98/14.03 c heuristics/trysol/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 10] 13.98/14.03 c heuristics/veclendiving/freq = -1 13.98/14.03 c 13.98/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations 13.98/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 13.98/14.03 c heuristics/veclendiving/maxlpiterquot = 0.075 13.98/14.03 c 13.98/14.03 c # additional number of allowed LP iterations 13.98/14.03 c # [type: int, range: [0,2147483647], default: 1000] 13.98/14.03 c heuristics/veclendiving/maxlpiterofs = 1500 13.98/14.03 c 13.98/14.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 1] 13.98/14.03 c heuristics/zirounding/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 0] 13.98/14.03 c separating/cmir/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: 0] 13.98/14.03 c separating/flowcover/freq = -1 13.98/14.03 c 13.98/14.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 13.98/14.03 c # [type: int, range: [-1,2147483647], default: -1] 13.98/14.03 c separating/rapidlearning/freq = 0 13.98/14.03 c 13.98/14.03 c ----------------------------------------------------------------------------------------------- 13.98/14.03 c start solving 13.98/14.05 c 704.05/704.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 704.05/704.39 c 699s| 1 | 0 | 50526 | - | 222M| 0 | 10k| 15k| 46k| 15k| 46k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.08/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-2685011-1278438016/watcher-2685011-1278438016 -o /tmp/evaluation-result-2685011-1278438016/solver-2685011-1278438016 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685011-1278438016.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.01 1.01 0.93 3/106 18677 /proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=9288 CPUtime=0 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1065 0 0 0 0 0 0 0 18 0 1 0 12014860 9510912 986 1992294400 4194304 9819077 140735341270912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18677/statm: 2322 996 371 1374 0 943 0 [startup+0.067888 s] /proc/loadavg: 1.01 1.01 0.93 3/106 18677 /proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=14952 CPUtime=0.05 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 2659 0 0 0 5 0 0 0 20 0 1 0 12014860 15310848 2579 1992294400 4194304 9819077 140735341270912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18677/statm: 3738 2579 386 1374 0 2359 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14952 [startup+0.100893 s] /proc/loadavg: 1.01 1.01 0.93 3/106 18677 /proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=17616 CPUtime=0.09 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 3329 0 0 0 8 1 0 0 20 0 1 0 12014860 18038784 3249 1992294400 4194304 9819077 140735341270912 18446744073709551615 8610840 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18677/statm: 4404 3249 386 1374 0 3025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17616 [startup+0.300931 s] /proc/loadavg: 1.01 1.01 0.93 3/106 18677 /proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=29580 CPUtime=0.29 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 6347 0 0 0 27 2 0 0 20 0 1 0 12014860 30289920 6258 1992294400 4194304 9819077 140735341270912 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18677/statm: 7395 6258 386 1374 0 6016 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29580 [startup+0.701007 s] /proc/loadavg: 1.01 1.01 0.93 3/106 18677 /proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=37396 CPUtime=0.69 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 8262 0 0 0 67 2 0 0 21 0 1 0 12014860 38293504 8173 1992294400 4194304 9819077 140735341270912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18677/statm: 9349 8173 386 1374 0 7970 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37396 [startup+1.50116 s] /proc/loadavg: 1.01 1.01 0.93 2/107 18678 /proc/meminfo: memFree=1401668/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=60552 CPUtime=1.49 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 14051 0 0 0 144 5 0 0 23 0 1 0 12014860 62005248 13962 1992294400 4194304 9819077 140735341270912 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/18677/statm: 15138 13962 386 1374 0 13759 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60552 [startup+3.10047 s] /proc/loadavg: 1.01 1.01 0.93 2/107 18678 /proc/meminfo: memFree=1321688/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=209564 CPUtime=3.09 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 51163 0 0 0 289 20 0 0 25 0 1 0 12014860 214593536 50701 1992294400 4194304 9819077 140735341270912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 52391 50701 486 1374 0 51012 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 209564 [startup+6.30108 s] /proc/loadavg: 1.01 1.01 0.93 2/107 18678 /proc/meminfo: memFree=1149948/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=312768 CPUtime=6.29 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 76221 0 0 0 594 35 0 0 25 0 1 0 12014860 320274432 75759 1992294400 4194304 9819077 140735341270912 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 78192 75759 486 1374 0 76813 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 312768 [startup+12.7003 s] /proc/loadavg: 1.01 1.00 0.93 2/107 18678 /proc/meminfo: memFree=1113376/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=336916 CPUtime=12.69 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 85086 0 0 0 1196 73 0 0 25 0 1 0 12014860 345001984 81797 1992294400 4194304 9819077 140735341270912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 84229 81797 490 1374 0 82850 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 336916 [startup+25.5007 s] /proc/loadavg: 1.01 1.00 0.93 2/107 18678 /proc/meminfo: memFree=1060188/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=416768 CPUtime=25.48 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 127327 0 0 0 2444 104 0 0 25 0 1 0 12014860 426770432 95464 1992294400 4194304 9819077 140735341270912 18446744073709551615 7294720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 104192 95464 666 1374 0 102813 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 416768 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18678 /proc/meminfo: memFree=1059196/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=422616 CPUtime=51.07 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 150337 0 0 0 4990 117 0 0 25 0 1 0 12014860 432758784 95753 1992294400 4194304 9819077 140735341270912 18446744073709551615 7300540 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 105654 95753 666 1374 0 104275 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 422616 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18680 /proc/meminfo: memFree=1054112/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=425116 CPUtime=102.26 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 183676 0 0 0 10090 136 0 0 25 0 1 0 12014860 435318784 96971 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106279 96971 666 1374 0 104900 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 425116 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18682 /proc/meminfo: memFree=1056096/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=425816 CPUtime=162.24 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 220080 0 0 0 16066 158 0 0 25 0 1 0 12014860 436035584 96538 1992294400 4194304 9819077 140735341270912 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106454 96538 666 1374 0 105075 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 425816 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18684 /proc/meminfo: memFree=1055228/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426072 CPUtime=222.22 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 255464 0 0 0 22043 179 0 0 25 0 1 0 12014860 436297728 96675 1992294400 4194304 9819077 140735341270912 18446744073709551615 6697188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106518 96675 666 1374 0 105139 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 426072 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18684 /proc/meminfo: memFree=1050268/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426200 CPUtime=282.19 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 292020 0 0 0 28020 199 0 0 25 0 1 0 12014860 436428800 96639 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106550 96639 666 1374 0 105171 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 426200 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18686 /proc/meminfo: memFree=1050020/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426264 CPUtime=342.17 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 326194 0 0 0 33998 219 0 0 25 0 1 0 12014860 436494336 97982 1992294400 4194304 9819077 140735341270912 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106566 97982 666 1374 0 105187 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 426264 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18688 /proc/meminfo: memFree=1052376/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426368 CPUtime=402.15 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 363830 0 0 0 39975 240 0 0 25 0 1 0 12014860 436600832 97768 1992294400 4194304 9819077 140735341270912 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106592 97768 666 1374 0 105213 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 426368 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18690 /proc/meminfo: memFree=1054484/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426332 CPUtime=462.14 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 401447 0 0 0 45952 262 0 0 25 0 1 0 12014860 436563968 96832 1992294400 4194304 9819077 140735341270912 18446744073709551615 7290866 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106583 96832 666 1374 0 105204 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 426332 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18692 /proc/meminfo: memFree=1049028/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426368 CPUtime=522.11 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 436242 0 0 0 51930 281 0 0 25 0 1 0 12014860 436600832 98309 1992294400 4194304 9819077 140735341270912 18446744073709551615 7298083 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106592 98309 666 1374 0 105213 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 426368 [startup+582.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18692 /proc/meminfo: memFree=1049028/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426496 CPUtime=582.09 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 474029 0 0 0 57906 303 0 0 25 0 1 0 12014860 436731904 98200 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106624 98200 666 1374 0 105245 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 426496 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18694 /proc/meminfo: memFree=1050020/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=426584 CPUtime=642.08 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 511673 0 0 0 63882 326 0 0 25 0 1 0 12014860 436822016 97895 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 106646 97895 666 1374 0 105267 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 426584 [startup+702.301 s] ################ # More data... # ################ /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 623836 0 0 0 105735 457 0 0 25 0 1 0 12014860 449499136 99573 1992294400 4194304 9819077 140735341270912 18446744073709551615 6391459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109741 99573 692 1374 0 108362 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 438964 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18708 /proc/meminfo: memFree=1043448/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438836 CPUtime=1121.9 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 659378 0 0 0 111711 479 0 0 25 0 1 0 12014860 449368064 99619 1992294400 4194304 9819077 140735341270912 18446744073709551615 7301610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109709 99619 692 1374 0 108330 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 438836 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18708 /proc/meminfo: memFree=1043200/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438768 CPUtime=1181.89 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 695689 0 0 0 117687 502 0 0 25 0 1 0 12014860 449298432 99791 1992294400 4194304 9819077 140735341270912 18446744073709551615 7311128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109692 99791 692 1374 0 108313 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 438768 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18710 /proc/meminfo: memFree=1041712/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438768 CPUtime=1241.87 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 731542 0 0 0 123662 525 0 0 25 0 1 0 12014860 449298432 100037 1992294400 4194304 9819077 140735341270912 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109692 100037 692 1374 0 108313 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 438768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18721 /proc/meminfo: memFree=1039604/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438808 CPUtime=1301.84 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 767872 0 0 0 129638 546 0 0 25 0 1 0 12014860 449339392 100367 1992294400 4194304 9819077 140735341270912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109702 100367 692 1374 0 108323 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 438808 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18723 /proc/meminfo: memFree=1038116/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438832 CPUtime=1361.81 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 805513 0 0 0 135614 567 0 0 25 0 1 0 12014860 449363968 100839 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109708 100839 692 1374 0 108329 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 438832 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18725 /proc/meminfo: memFree=1039976/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438744 CPUtime=1421.8 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 846847 0 0 0 141591 589 0 0 25 0 1 0 12014860 449273856 100364 1992294400 4194304 9819077 140735341270912 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109686 100364 692 1374 0 108307 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 438744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18725 /proc/meminfo: memFree=1039604/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438768 CPUtime=1481.77 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 884690 0 0 0 147565 612 0 0 25 0 1 0 12014860 449298432 100609 1992294400 4194304 9819077 140735341270912 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109692 100609 692 1374 0 108313 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 438768 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18727 /proc/meminfo: memFree=1039728/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438768 CPUtime=1541.75 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 922545 0 0 0 153540 635 0 0 25 0 1 0 12014860 449298432 100362 1992294400 4194304 9819077 140735341270912 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109692 100362 692 1374 0 108313 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 438768 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18729 /proc/meminfo: memFree=1038984/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438740 CPUtime=1601.73 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 959690 0 0 0 159516 657 0 0 25 0 1 0 12014860 449269760 100613 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109685 100613 692 1374 0 108306 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 438740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18731 /proc/meminfo: memFree=1043696/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438708 CPUtime=1661.71 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1000741 0 0 0 165491 680 0 0 25 0 1 0 12014860 449236992 99354 1992294400 4194304 9819077 140735341270912 18446744073709551615 6674395 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109677 99354 692 1374 0 108298 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 438708 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18733 /proc/meminfo: memFree=1040720/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438644 CPUtime=1721.68 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1039984 0 0 0 171465 703 0 0 25 0 1 0 12014860 449171456 100393 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109661 100393 692 1374 0 108282 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 438644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18733 /proc/meminfo: memFree=1039108/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438680 CPUtime=1781.67 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1075630 0 0 0 177444 723 0 0 25 0 1 0 12014860 449208320 100484 1992294400 4194304 9819077 140735341270912 18446744073709551615 7309040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109670 100484 692 1374 0 108291 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 438680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18735 /proc/meminfo: memFree=1044936/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438704 CPUtime=1800.08 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089086 0 0 0 179278 730 0 0 25 0 1 0 12014860 449232896 98980 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198716 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109676 98980 692 1374 0 108297 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 438704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18677 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18735 /proc/meminfo: memFree=1044936/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438704 CPUtime=1800.76 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089183 0 0 0 179346 730 0 0 25 0 1 0 12014860 449232896 99077 1992294400 4194304 9819077 140735341270912 18446744073709551615 6391602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109676 99077 692 1374 0 108297 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 438704 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.93 2/108 18736 /proc/meminfo: memFree=1044184/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438704 CPUtime=1801.56 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089395 0 0 0 179426 730 0 0 25 0 1 0 12014860 449232896 99289 1992294400 4194304 9819077 140735341270912 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109676 99289 692 1374 0 108297 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 438704 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.93 2/108 18736 /proc/meminfo: memFree=1044184/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438704 CPUtime=1801.96 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089541 0 0 0 179466 730 0 0 25 0 1 0 12014860 449232896 99435 1992294400 4194304 9819077 140735341270912 18446744073709551615 7296198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109676 99435 692 1374 0 108297 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 438704 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 0.93 2/108 18736 /proc/meminfo: memFree=1044184/2059040 swapFree=4192956/4192956 [pid=18677] ppid=18675 vsize=438704 CPUtime=1802.06 /proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089572 0 0 0 179476 730 0 0 25 0 1 0 12014860 449232896 99466 1992294400 4194304 9819077 140735341270912 18446744073709551615 7309073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18677/statm: 109676 99466 692 1374 0 108297 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 438704 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.12 CPU user time (s): 1794.78 CPU system time (s): 7.34688 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 438996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.78 system time used= 7.34688 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1089581 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= 21454 runsolver used 2.95055 second user time and 8.5507 second system time The end
Begin job on node009 at 2010-07-06 19:40:16 IDJOB=2685011 IDBENCH=74273 IDSOLVER=1168 FILE ID=node009/2685011-1278438016 PBS_JOBID= 11233462 Free space on /tmp= 62496 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-j12026_5-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-2685011-1278438016/watcher-2685011-1278438016 -o /tmp/evaluation-result-2685011-1278438016/solver-2685011-1278438016 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685011-1278438016.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= db859a15c3accfca5f41bc17f134e06b RANDOM SEED=633362465 node009.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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1441140 kB Buffers: 107816 kB Cached: 377976 kB SwapCached: 0 kB Active: 200932 kB Inactive: 345116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1441140 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9468 kB Writeback: 0 kB AnonPages: 60192 kB Mapped: 14420 kB Slab: 50068 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184540 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= 62492 MiB End job on node009 at 2010-07-06 20:10:19