Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.14 | 1802.74 |
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: NONE] [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-2684758-1278433511.opb> 3.59/3.64 c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 201250 constraints 3.59/3.64 c problem read 3.59/3.65 c No objective function, only one solution is needed. 3.59/3.65 c presolving settings loaded 3.59/3.65 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 4.69/4.70 c presolving: 15.09/15.14 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.48 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.29/21.33 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.98/25.02 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.18/28.24 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.99/30.04 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.38/31.40 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.98/32.01 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.28/32.32 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.48/32.54 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.69/32.72 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.88/33.94 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.87/35.99 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.17/37.26 c presolving (14 rounds): 37.17/37.26 c 21124 deleted vars, 81626 deleted constraints, 16712 tightened bounds, 0 added holes, 100 changed sides, 354 changed coefficients 37.17/37.26 c 12753544 implications, 5248 cliques 37.17/37.26 c presolved problem has 36230 variables (36230 bin, 0 int, 0 impl, 0 cont) and 119624 constraints 37.17/37.26 c 928 constraints of type <knapsack> 37.17/37.26 c 118696 constraints of type <logicor> 37.17/37.26 c transformed objective value is always integral (scale: 1) 37.17/37.26 c Presolving Time: 31.29 37.17/37.26 c - non default parameters ---------------------------------------------------------------------- 37.17/37.26 c # SCIP version 1.2.1.2 37.17/37.26 c 37.17/37.26 c # frequency for displaying node information lines 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 100] 37.17/37.26 c display/freq = 10000 37.17/37.26 c 37.17/37.26 c # maximal time in seconds to run 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 37.17/37.26 c limits/time = 1796.35 37.17/37.26 c 37.17/37.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 37.17/37.26 c limits/memory = 1620 37.17/37.26 c 37.17/37.26 c # solving stops, if the given number of solutions were found (-1: no limit) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: -1] 37.17/37.26 c limits/solutions = 1 37.17/37.26 c 37.17/37.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c lp/solvefreq = -1 37.17/37.26 c 37.17/37.26 c # maximal number of separation rounds per node (-1: unlimited) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 5] 37.17/37.26 c separating/maxrounds = 1 37.17/37.26 c 37.17/37.26 c # maximal number of separation rounds in the root node (-1: unlimited) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: -1] 37.17/37.26 c separating/maxroundsroot = 5 37.17/37.26 c 37.17/37.26 c # should presolving try to simplify inequalities 37.17/37.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.17/37.26 c constraints/linear/simplifyinequalities = TRUE 37.17/37.26 c 37.17/37.26 c # should disaggregation of knapsack constraints be allowed in preprocessing? 37.17/37.26 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 37.17/37.26 c constraints/knapsack/disaggregation = FALSE 37.17/37.26 c 37.17/37.26 c # should presolving try to simplify knapsacks 37.17/37.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 37.17/37.26 c constraints/knapsack/simplifyinequalities = TRUE 37.17/37.26 c 37.17/37.26 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: -1] 37.17/37.26 c presolving/probing/maxrounds = 0 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/coefdiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/coefdiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/coefdiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 30] 37.17/37.26 c heuristics/crossover/freq = -1 37.17/37.26 c 37.17/37.26 c # number of nodes added to the contingent of the total nodes 37.17/37.26 c # [type: longint, range: [0,9223372036854775807], default: 500] 37.17/37.26 c heuristics/crossover/nodesofs = 750 37.17/37.26 c 37.17/37.26 c # number of nodes without incumbent change that heuristic should wait 37.17/37.26 c # [type: longint, range: [0,9223372036854775807], default: 200] 37.17/37.26 c heuristics/crossover/nwaitingnodes = 100 37.17/37.26 c 37.17/37.26 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 37.17/37.26 c # [type: real, range: [0,1], default: 0.1] 37.17/37.26 c heuristics/crossover/nodesquot = 0.15 37.17/37.26 c 37.17/37.26 c # minimum percentage of integer variables that have to be fixed 37.17/37.26 c # [type: real, range: [0,1], default: 0.666] 37.17/37.26 c heuristics/crossover/minfixingrate = 0.5 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 20] 37.17/37.26 c heuristics/feaspump/freq = -1 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/feaspump/maxlpiterofs = 2000 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/fracdiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/fracdiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/fracdiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/guideddiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/guideddiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/guideddiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/intdiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/intshifting/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/linesearchdiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/linesearchdiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/linesearchdiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c heuristics/nlp/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 20] 37.17/37.26 c heuristics/objpscostdiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to total iteration number 37.17/37.26 c # [type: real, range: [0,1], default: 0.01] 37.17/37.26 c heuristics/objpscostdiving/maxlpiterquot = 0.015 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/objpscostdiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c heuristics/oneopt/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/pscostdiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/pscostdiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/pscostdiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 0] 37.17/37.26 c heuristics/rens/freq = -1 37.17/37.26 c 37.17/37.26 c # minimum percentage of integer variables that have to be fixable 37.17/37.26 c # [type: real, range: [0,1], default: 0.5] 37.17/37.26 c heuristics/rens/minfixingrate = 0.3 37.17/37.26 c 37.17/37.26 c # number of nodes added to the contingent of the total nodes 37.17/37.26 c # [type: longint, range: [0,9223372036854775807], default: 500] 37.17/37.26 c heuristics/rens/nodesofs = 2000 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 20] 37.17/37.26 c heuristics/rootsoldiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 37.17/37.26 c heuristics/rootsoldiving/maxlpiterquot = 0.015 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/rootsoldiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c heuristics/rounding/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/shifting/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c heuristics/simplerounding/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 0] 37.17/37.26 c heuristics/trivial/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c heuristics/trysol/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 10] 37.17/37.26 c heuristics/veclendiving/freq = -1 37.17/37.26 c 37.17/37.26 c # maximal fraction of diving LP iterations compared to node LP iterations 37.17/37.26 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 37.17/37.26 c heuristics/veclendiving/maxlpiterquot = 0.075 37.17/37.26 c 37.17/37.26 c # additional number of allowed LP iterations 37.17/37.26 c # [type: int, range: [0,2147483647], default: 1000] 37.17/37.26 c heuristics/veclendiving/maxlpiterofs = 1500 37.17/37.26 c 37.17/37.26 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 1] 37.17/37.26 c heuristics/zirounding/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 0] 37.17/37.26 c separating/cmir/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: 0] 37.17/37.26 c separating/flowcover/freq = -1 37.17/37.26 c 37.17/37.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 37.17/37.26 c # [type: int, range: [-1,2147483647], default: -1] 37.17/37.26 c separating/rapidlearning/freq = 0 37.17/37.26 c 37.17/37.26 c ----------------------------------------------------------------------------------------------- 37.17/37.26 c start solving 37.27/37.30 c 37.38/37.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 37.38/37.49 c 32.1s| 1 | 2 | 0 | - | 459M| 0 | - | 36k| 119k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 743.84/744.14 c 737s| 10000 | 4781 | 0 | 0.0 | 610M| 374 | - | 36k| 117k| 0 | 0 | 0 |6575 | 0 | 0.000000e+00 | -- | Inf 1445.01/1445.54 c 1436s| 20000 | 9382 | 0 | 0.0 | 728M| 374 | - | 36k| 119k| 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf 1800.02/1800.61 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-2684758-1278433511/watcher-2684758-1278433511 -o /tmp/evaluation-result-2684758-1278433511/solver-2684758-1278433511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684758-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.01 2.01 3/105 21409 /proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=6584 CPUtime=0 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 1106 0 0 0 0 0 0 0 17 0 1 0 11557794 6742016 1029 1992294400 4194304 7136930 140736307596272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 1646 1040 254 719 0 925 0 [startup+0.0144309 s] /proc/loadavg: 1.84 2.01 2.01 3/105 21409 /proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=8124 CPUtime=0 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 1502 0 0 0 0 0 0 0 17 0 1 0 11557794 8318976 1425 1992294400 4194304 7136930 140736307596272 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 2031 1425 268 719 0 1310 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8124 [startup+0.10042 s] /proc/loadavg: 1.84 2.01 2.01 3/105 21409 /proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=14908 CPUtime=0.09 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 3203 0 0 0 8 1 0 0 19 0 1 0 11557794 15265792 3126 1992294400 4194304 7136930 140736307596272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 3727 3126 268 719 0 3006 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14908 [startup+0.300446 s] /proc/loadavg: 1.84 2.01 2.01 3/105 21409 /proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=26868 CPUtime=0.29 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 6221 0 0 0 27 2 0 0 19 0 1 0 11557794 27512832 6135 1992294400 4194304 7136930 140736307596272 18446744073709551615 5647852 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 6717 6135 268 719 0 5996 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26868 [startup+0.700495 s] /proc/loadavg: 1.84 2.01 2.01 3/105 21409 /proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=42148 CPUtime=0.69 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 10029 0 0 0 66 3 0 0 19 0 1 0 11557794 43159552 9943 1992294400 4194304 7136930 140736307596272 18446744073709551615 5650975 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 10537 9943 268 719 0 9816 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42148 [startup+1.5006 s] /proc/loadavg: 1.84 2.01 2.01 2/106 21410 /proc/meminfo: memFree=1433412/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=58744 CPUtime=1.49 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 14180 0 0 0 144 5 0 0 21 0 1 0 11557794 60153856 14094 1992294400 4194304 7136930 140736307596272 18446744073709551615 6178282 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 14686 14094 268 719 0 13965 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58744 [startup+3.1008 s] /proc/loadavg: 1.84 2.01 2.01 2/106 21410 /proc/meminfo: memFree=1405884/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=108284 CPUtime=3.09 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 26550 0 0 0 300 9 0 0 25 0 1 0 11557794 110882816 26464 1992294400 4194304 7136930 140736307596272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21409/statm: 27071 26464 268 719 0 26350 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 108284 [startup+6.3012 s] /proc/loadavg: 1.77 2.00 2.00 2/106 21410 /proc/meminfo: memFree=1147964/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=390184 CPUtime=6.29 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 95934 0 0 0 590 39 0 0 25 0 1 0 11557794 399548416 95475 1992294400 4194304 7136930 140736307596272 18446744073709551615 4988184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 97546 95475 341 719 0 96825 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 390184 [startup+12.701 s] /proc/loadavg: 1.71 1.98 2.00 2/106 21410 /proc/meminfo: memFree=896500/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=614792 CPUtime=12.68 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 149613 0 0 0 1201 67 0 0 25 0 1 0 11557794 629547008 149154 1992294400 4194304 7136930 140736307596272 18446744073709551615 4690488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 153698 149154 341 719 0 152977 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 614792 [startup+25.5006 s] /proc/loadavg: 1.55 1.93 1.98 2/106 21410 /proc/meminfo: memFree=835492/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=662868 CPUtime=25.48 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 161878 0 0 0 2436 112 0 0 25 0 1 0 11557794 678776832 160391 1992294400 4194304 7136930 140736307596272 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 165717 160391 346 719 0 164996 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 662868 [startup+51.1008 s] /proc/loadavg: 1.36 1.86 1.95 2/106 21412 /proc/meminfo: memFree=812924/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=690036 CPUtime=51.06 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 190368 0 0 0 4918 188 0 0 25 0 1 0 11557794 706596864 166254 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 172509 166254 389 719 0 171788 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 690036 [startup+102.308 s] /proc/loadavg: 1.16 1.72 1.90 2/106 21412 /proc/meminfo: memFree=748444/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=755040 CPUtime=102.25 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 206450 0 0 0 10016 209 0 0 25 0 1 0 11557794 773160960 182307 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 188760 182307 393 719 0 188039 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 755040 [startup+162.301 s] /proc/loadavg: 1.06 1.59 1.84 2/106 21414 /proc/meminfo: memFree=728108/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=776552 CPUtime=162.23 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 211553 0 0 0 16002 221 0 0 25 0 1 0 11557794 795189248 187410 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 194138 187410 393 719 0 193417 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 776552 [startup+222.3 s] /proc/loadavg: 1.02 1.48 1.79 2/106 21416 /proc/meminfo: memFree=713352/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=792012 CPUtime=222.2 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 215273 0 0 0 21987 233 0 0 25 0 1 0 11557794 811020288 191130 1992294400 4194304 7136930 140736307596272 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 198003 191130 393 719 0 197282 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 792012 [startup+282.301 s] /proc/loadavg: 1.00 1.39 1.73 2/106 21418 /proc/meminfo: memFree=672804/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=834184 CPUtime=282.19 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 225500 0 0 0 27970 249 0 0 25 0 1 0 11557794 854204416 201227 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 208546 201227 393 719 0 207825 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 834184 [startup+342.301 s] /proc/loadavg: 1.00 1.32 1.68 2/106 21420 /proc/meminfo: memFree=636348/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=872272 CPUtime=342.17 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 234592 0 0 0 33952 265 0 0 25 0 1 0 11557794 893206528 210319 1992294400 4194304 7136930 140736307596272 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 218068 210319 393 719 0 217347 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 872272 [startup+402.301 s] /proc/loadavg: 1.00 1.26 1.64 2/106 21420 /proc/meminfo: memFree=604604/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=906692 CPUtime=402.16 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 242692 0 0 0 39938 278 0 0 25 0 1 0 11557794 928452608 218289 1992294400 4194304 7136930 140736307596272 18446744073709551615 5957339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 226673 218289 393 719 0 225952 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 906692 [startup+462.301 s] /proc/loadavg: 1.00 1.21 1.60 2/106 21422 /proc/meminfo: memFree=578564/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=935136 CPUtime=462.13 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 249055 0 0 0 45920 293 0 0 25 0 1 0 11557794 957579264 224652 1992294400 4194304 7136930 140736307596272 18446744073709551615 4855352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 233784 224652 393 719 0 233063 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 935136 [startup+522.3 s] /proc/loadavg: 1.00 1.17 1.56 2/106 21424 /proc/meminfo: memFree=552276/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=964628 CPUtime=522.11 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 255693 0 0 0 51905 306 0 0 25 0 1 0 11557794 987779072 231290 1992294400 4194304 7136930 140736307596272 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 241157 231290 393 719 0 240436 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 964628 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.52 2/106 21426 /proc/meminfo: memFree=524128/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=994268 CPUtime=582.09 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 262635 0 0 0 57888 321 0 0 25 0 1 0 11557794 1018130432 238232 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 248567 238232 393 719 0 247846 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 994268 [startup+642.3 s] /proc/loadavg: 1.00 1.11 1.48 2/106 21428 /proc/meminfo: memFree=503420/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1018108 CPUtime=642.08 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 267783 0 0 0 63874 334 0 0 25 0 1 0 11557794 1042542592 243380 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 254527 243380 393 719 0 253806 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1018108 [startup+702.301 s] ################ # More data... # ################ /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 297748 0 0 0 105762 432 0 0 25 0 1 0 11557794 1187180544 273345 1992294400 4194304 7136930 140736307596272 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 289839 273345 393 719 0 289118 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1159356 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.27 2/106 21440 /proc/meminfo: memFree=367516/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1180216 CPUtime=1121.92 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 301840 0 0 0 111749 443 0 0 25 0 1 0 11557794 1208541184 277437 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 295054 277437 393 719 0 294333 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1180216 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.25 2/106 21442 /proc/meminfo: memFree=350032/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1200592 CPUtime=1181.9 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 306028 0 0 0 117734 456 0 0 25 0 1 0 11557794 1229406208 281625 1992294400 4194304 7136930 140736307596272 18446744073709551615 4677933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 300148 281625 393 719 0 299427 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1200592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.23 2/106 21444 /proc/meminfo: memFree=331308/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1223408 CPUtime=1241.88 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 310645 0 0 0 123720 468 0 0 25 0 1 0 11557794 1252769792 286242 1992294400 4194304 7136930 140736307596272 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 305852 286242 393 719 0 305131 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1223408 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.22 2/106 21444 /proc/meminfo: memFree=317916/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1239208 CPUtime=1301.87 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 313966 0 0 0 129705 482 0 0 25 0 1 0 11557794 1268948992 289563 1992294400 4194304 7136930 140736307596272 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 309802 289563 393 719 0 309081 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1239208 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.20 2/106 21446 /proc/meminfo: memFree=302416/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1257740 CPUtime=1361.84 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 317855 0 0 0 135689 495 0 0 25 0 1 0 11557794 1287925760 293452 1992294400 4194304 7136930 140736307596272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 314435 293452 393 719 0 313714 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1257740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.18 2/106 21448 /proc/meminfo: memFree=287164/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1275628 CPUtime=1421.83 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 321719 0 0 0 141674 509 0 0 25 0 1 0 11557794 1306243072 297316 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 318907 297316 393 719 0 318186 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1275628 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.17 2/106 21450 /proc/meminfo: memFree=272656/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1292596 CPUtime=1481.8 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 325301 0 0 0 147659 521 0 0 25 0 1 0 11557794 1323618304 300898 1992294400 4194304 7136930 140736307596272 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 323149 300898 393 719 0 322428 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1292596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.16 2/106 21452 /proc/meminfo: memFree=258644/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1310052 CPUtime=1541.78 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 328780 0 0 0 153645 533 0 0 25 0 1 0 11557794 1341493248 304377 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 327513 304377 393 719 0 326792 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1310052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.15 2/106 21452 /proc/meminfo: memFree=245376/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1327292 CPUtime=1601.76 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 332131 0 0 0 159630 546 0 0 25 0 1 0 11557794 1359147008 307728 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 331823 307728 393 719 0 331102 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1327292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.13 2/106 21454 /proc/meminfo: memFree=227272/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1352032 CPUtime=1661.75 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 336610 0 0 0 165617 558 0 0 25 0 1 0 11557794 1384480768 312207 1992294400 4194304 7136930 140736307596272 18446744073709551615 4665287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 338008 312207 393 719 0 337287 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1352032 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.12 2/106 21456 /proc/meminfo: memFree=211276/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1370836 CPUtime=1721.72 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 340547 0 0 0 171603 569 0 0 25 0 1 0 11557794 1403736064 316144 1992294400 4194304 7136930 140736307596272 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 342709 316144 393 719 0 341988 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1370836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.11 2/106 21458 /proc/meminfo: memFree=192180/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1395032 CPUtime=1781.7 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 345349 0 0 0 177589 581 0 0 25 0 1 0 11557794 1428512768 320946 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 348758 320946 393 719 0 348037 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1395032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.11 2/106 21458 /proc/meminfo: memFree=186848/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1401764 CPUtime=1800.02 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346639 0 0 0 179417 585 0 0 25 0 1 0 11557794 1435406336 322236 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 350441 322236 393 719 0 349720 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1401764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21409 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.11 2/106 21458 /proc/meminfo: memFree=186848/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1401764 CPUtime=1800.8 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346651 0 0 0 179495 585 0 0 25 0 1 0 11557794 1435406336 322248 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 350441 322248 393 719 0 349720 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 1401764 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.11 2/107 21459 /proc/meminfo: memFree=186716/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1401764 CPUtime=1801.6 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346651 0 0 0 179575 585 0 0 25 0 1 0 11557794 1435406336 322248 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 350441 322248 393 719 0 349720 0 Current children cumulated CPU time (s) 1801.6 Current children cumulated vsize (KiB) 1401764 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.11 2/107 21459 /proc/meminfo: memFree=186716/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=1401764 CPUtime=1802 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346651 0 0 0 179615 585 0 0 25 0 1 0 11557794 1435406336 322248 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21409/statm: 350441 322248 393 719 0 349720 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 1401764 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.11 2/107 21459 /proc/meminfo: memFree=186716/2059040 swapFree=4192956/4192956 [pid=21409] ppid=21407 vsize=0 CPUtime=1802.1 /proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4203524 346651 0 0 0 179617 593 0 0 25 0 1 0 11557794 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/21409/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.74 CPU time (s): 1802.14 CPU user time (s): 1796.17 CPU system time (s): 5.97309 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 1401764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.17 system time used= 5.97309 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 346651 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= 13458 runsolver used 2.95055 second user time and 8.5507 second system time The end
Begin job on node054 at 2010-07-06 18:25:11 IDJOB=2684758 IDBENCH=73545 IDSOLVER=1167 FILE ID=node054/2684758-1278433511 PBS_JOBID= 11233485 Free space on /tmp= 62432 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any 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.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684758-1278433511/watcher-2684758-1278433511 -o /tmp/evaluation-result-2684758-1278433511/solver-2684758-1278433511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684758-1278433511.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9569f42797128c8734a8cda484f54275 RANDOM SEED=1774827545 node054.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.239 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.47 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.239 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: 1479068 kB Buffers: 103208 kB Cached: 344528 kB SwapCached: 0 kB Active: 179636 kB Inactive: 327912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1479068 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9872 kB Writeback: 0 kB AnonPages: 59744 kB Mapped: 14432 kB Slab: 50668 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179952 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62428 MiB End job on node054 at 2010-07-06 18:55:14