Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.48 | 1800.43 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo |
MD5SUM | 94a4b61e4b099e692126d009e42b1552 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 45.862 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4960 |
Total number of constraints | 16157 |
Number of soft constraints | 10743 |
Number of constraints which are clauses | 15841 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 316 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Top cost | 536531 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 536530 |
Biggest number in a constraint | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 201 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2693771-1277916436.wbo> 0.09/0.16 c original problem has 26446 variables (15703 bin, 0 int, 0 impl, 10743 cont) and 26901 constraints 0.09/0.16 c problem read 0.09/0.16 c presolving settings loaded 0.09/0.17 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 0.49/0.51 c presolving: 0.49/0.58 c (round 1) 209 del vars, 554 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39511 impls, 0 clqs 0.59/0.61 c (round 2) 599 del vars, 1649 del conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39731 impls, 0 clqs 0.59/0.65 c (round 3) 1417 del vars, 2456 del conss, 215 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39753 impls, 0 clqs 0.59/0.67 c (round 4) 2155 del vars, 2741 del conss, 228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs 0.59/0.69 c (round 5) 2400 del vars, 2827 del conss, 229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs 0.69/0.70 c (round 6) 2482 del vars, 2847 del conss, 229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs 0.69/0.73 c (round 7) 2502 del vars, 2849 del conss, 9952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs 0.79/0.81 c (round 8) 2504 del vars, 2849 del conss, 9952 chg bounds, 0 chg sides, 0 chg coeffs, 4898 upgd conss, 39759 impls, 0 clqs 2.99/3.08 c (2.8s) probing: 1000/14219 (7.0%) - 0 fixings, 0 aggregations, 3201 implications, 0 bound changes 4.90/4.95 c (4.6s) probing: 2000/14219 (14.1%) - 0 fixings, 0 aggregations, 3591 implications, 0 bound changes 4.90/4.95 c (4.6s) probing: 2001/14219 (14.1%) - 0 fixings, 0 aggregations, 3591 implications, 0 bound changes 4.90/4.95 c (4.6s) probing aborted: 2000/2000 successive useless probings 4.90/4.96 c presolving (9 rounds): 4.90/4.96 c 2504 deleted vars, 2849 deleted constraints, 9952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 4.90/4.96 c 49706 implications, 156 cliques 4.90/4.96 c presolved problem has 23942 variables (14219 bin, 0 int, 0 impl, 9723 cont) and 24052 constraints 4.90/4.96 c 9723 constraints of type <indicator> 4.90/4.96 c 292 constraints of type <varbound> 4.90/4.96 c 113 constraints of type <knapsack> 4.90/4.96 c 9431 constraints of type <linear> 4.90/4.96 c 4493 constraints of type <logicor> 4.90/4.96 c transformed objective value is always integral (scale: 1) 4.90/4.96 c Presolving Time: 4.54 4.90/4.96 c - non default parameters ---------------------------------------------------------------------- 4.90/4.96 c # SCIP version 1.2.1.2 4.90/4.96 c 4.90/4.96 c # frequency for displaying node information lines 4.90/4.96 c # [type: int, range: [-1,2147483647], default: 100] 4.90/4.96 c display/freq = 10000 4.90/4.96 c 4.90/4.96 c # maximal time in seconds to run 4.90/4.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.90/4.96 c limits/time = 1799.84 4.90/4.96 c 4.90/4.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 4.90/4.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 4.90/4.96 c limits/memory = 3420 4.90/4.96 c 4.90/4.96 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 4.90/4.96 c # [type: int, range: [-1,2147483647], default: 1] 4.90/4.96 c lp/solvefreq = -1 4.90/4.96 c 4.90/4.96 c # should presolving try to simplify inequalities 4.90/4.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.90/4.96 c constraints/linear/simplifyinequalities = TRUE 4.90/4.96 c 4.90/4.96 c # should presolving try to simplify knapsacks 4.90/4.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 4.90/4.96 c constraints/knapsack/simplifyinequalities = TRUE 4.90/4.96 c 4.90/4.96 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 4.90/4.96 c # [type: int, range: [-1,2147483647], default: -1] 4.90/4.96 c separating/rapidlearning/freq = 0 4.90/4.96 c 4.90/4.96 c ----------------------------------------------------------------------------------------------- 4.90/4.96 c start solving 4.90/4.96 c 4.99/5.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.99/5.01 c 4.7s| 1 | 2 | 0 | - | 82M| 0 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 76.29/76.30 c 75.3s| 10000 | 10001 | 0 | 0.0 | 91M| 137 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 149.30/149.39 c 148s| 20000 | 20001 | 0 | 0.0 | 100M| 137 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 221.30/221.36 c 219s| 30000 | 30001 | 0 | 0.0 | 108M| 139 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 294.10/294.13 c 291s| 40000 | 40001 | 0 | 0.0 | 116M| 139 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 366.60/366.64 c 363s| 50000 | 50001 | 0 | 0.0 | 124M| 139 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 438.21/438.25 c 434s| 60000 | 60001 | 0 | 0.0 | 133M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 511.01/511.06 c 506s| 70000 | 70001 | 0 | 0.0 | 141M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 583.71/583.76 c 578s| 80000 | 80001 | 0 | 0.0 | 149M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 656.21/656.23 c 650s| 90000 | 90001 | 0 | 0.0 | 157M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 728.71/728.77 c 722s|100000 |100001 | 0 | 0.0 | 166M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 801.11/801.12 c 794s|110000 |110001 | 0 | 0.0 | 174M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 873.42/873.42 c 865s|120000 |120001 | 0 | 0.0 | 182M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 945.72/945.78 c 937s|130000 |130001 | 0 | 0.0 | 190M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1017.82/1017.81 c 1008s|140000 |140001 | 0 | 0.0 | 198M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1089.31/1089.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1089.31/1089.35 c 1079s|150000 |150001 | 0 | 0.0 | 206M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1160.72/1160.74 c 1150s|160000 |160001 | 0 | 0.0 | 214M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1231.83/1231.88 c 1220s|170000 |170001 | 0 | 0.0 | 222M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1303.02/1303.03 c 1291s|180000 |180001 | 0 | 0.0 | 229M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1374.33/1374.39 c 1361s|190000 |190001 | 0 | 0.0 | 237M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1445.52/1445.55 c 1432s|200000 |200001 | 0 | 0.0 | 245M| 143 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1514.93/1514.92 c 1501s|210000 |210001 | 0 | 0.0 | 252M| 149 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1587.24/1587.22 c 1572s|220000 |220001 | 0 | 0.0 | 260M| 149 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1659.43/1659.50 c 1644s|230000 |230001 | 0 | 0.0 | 268M| 149 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1731.64/1731.67 c 1715s|240000 |240001 | 0 | 0.0 | 276M| 149 | - | 23k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.01 c 1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.01 c Solving Time (sec) : 1782.85 1800.04/1800.01 c Solving Nodes : 249479 1800.04/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.01 c Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Gap : infinite 1800.04/1800.01 s UNKNOWN 1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.01 c Solving Time : 1782.85 1800.04/1800.01 c Original Problem : 1800.04/1800.01 c Problem name : HOME/instance-2693771-1277916436.wbo 1800.04/1800.01 c Variables : 26446 (15703 binary, 0 integer, 0 implicit integer, 10743 continuous) 1800.04/1800.01 c Constraints : 26901 initial, 26901 maximal 1800.04/1800.01 c Presolved Problem : 1800.04/1800.01 c Problem name : t_HOME/instance-2693771-1277916436.wbo 1800.04/1800.01 c Variables : 23942 (14219 binary, 0 integer, 0 implicit integer, 9723 continuous) 1800.04/1800.01 c Constraints : 24052 initial, 24052 maximal 1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.01 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.01 c dualfix : 0.01 2149 0 0 0 0 0 0 0 1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c probing : 4.05 0 0 0 0 0 0 0 0 1800.04/1800.01 c indicator : 0.05 0 0 0 0 0 1020 0 0 1800.04/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.01 c linear : 0.13 229 126 0 9952 0 1829 0 0 1800.04/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.01 c root node : - 0 - - 0 - - - - 1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.01 c indicator : 9723 0 919728 0 249479 0 214902 0 0 0 1800.04/1800.01 c varbound : 292 0 919728 0 249479 0 117130 0 0 0 1800.04/1800.01 c knapsack : 113 0 919728 0 249479 0 18936 0 0 0 1800.04/1800.01 c linear : 9431 0 919728 0 249479 0 63457 0 0 0 1800.04/1800.01 c logicor : 4493 0 713331 0 249479 0 1208374 0 0 0 1800.04/1800.01 c countsols : 0 0 0 0 249479 0 0 0 0 0 1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.01 c indicator : 466.33 0.00 156.55 0.00 309.78 1800.04/1800.01 c varbound : 6.08 0.00 5.97 0.00 0.11 1800.04/1800.01 c knapsack : 12.84 0.00 2.74 0.00 10.10 1800.04/1800.01 c linear : 160.25 0.00 159.09 0.00 1.16 1800.04/1800.01 c logicor : 250.06 0.00 6.73 0.00 243.33 1800.04/1800.01 c countsols : 0.01 0.00 0.00 0.00 0.01 1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.01 c vbounds : 28.01 331191 0 34110 1800.04/1800.01 c rootredcost : 0.01 0 0 0 1800.04/1800.01 c pseudoobj : 254.08 914511 0 0 1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.01 c applied globally : - - - 0 0.0 - - - 1800.04/1800.01 c applied locally : - - - 0 0.0 - - - 1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.04/1800.01 c redcost : 0.00 0 0 0 0 0 1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0 1800.04/1800.01 c intobj : 0.00 0 0 0 0 0 1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.01 c gomory : 0.00 0 0 0 0 0 1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0 1800.04/1800.01 c cmir : 0.00 0 0 0 0 0 1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.01 c clique : 0.00 0 0 0 0 0 1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.01 c mcf : 0.00 0 0 0 0 0 1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.01 c Pricers : Time Calls Vars 1800.04/1800.01 c problem variables: 0.00 0 0 1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0 1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.01 c inference : 585.85 249479 0 0 0 0 498958 1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.01 c random : 0.00 0 0 0 0 0 0 1800.04/1800.01 c Primal Heuristics : Time Calls Found 1800.04/1800.01 c LP solutions : 0.00 - 0 1800.04/1800.01 c pseudo solutions : 0.00 - 0 1800.04/1800.01 c oneopt : 0.01 0 0 1800.04/1800.01 c trivial : 0.27 2 0 1800.04/1800.01 c simplerounding : 0.00 0 0 1800.04/1800.01 c zirounding : 0.00 0 0 1800.04/1800.01 c rounding : 0.00 0 0 1800.04/1800.01 c shifting : 0.00 0 0 1800.04/1800.01 c intshifting : 0.00 0 0 1800.04/1800.01 c twoopt : 0.00 0 0 1800.04/1800.01 c fixandinfer : 0.00 0 0 1800.04/1800.01 c feaspump : 0.00 0 0 1800.04/1800.01 c coefdiving : 0.00 0 0 1800.04/1800.01 c pscostdiving : 0.00 0 0 1800.04/1800.01 c fracdiving : 0.00 0 0 1800.04/1800.01 c veclendiving : 0.00 0 0 1800.04/1800.01 c intdiving : 0.00 0 0 1800.04/1800.01 c actconsdiving : 0.00 0 0 1800.04/1800.01 c objpscostdiving : 0.00 0 0 1800.04/1800.01 c rootsoldiving : 0.00 0 0 1800.04/1800.01 c linesearchdiving : 0.00 0 0 1800.04/1800.01 c guideddiving : 0.00 0 0 1800.04/1800.01 c octane : 0.00 0 0 1800.04/1800.01 c rens : 0.00 0 0 1800.04/1800.01 c rins : 0.00 0 0 1800.04/1800.01 c localbranching : 0.00 0 0 1800.04/1800.01 c mutation : 0.00 0 0 1800.04/1800.01 c crossover : 0.00 0 0 1800.04/1800.01 c dins : 0.00 0 0 1800.04/1800.01 c undercover : 0.00 0 0 1800.04/1800.01 c nlp : 0.03 0 0 1800.04/1800.01 c trysol : 0.01 1 0 1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.01 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.01 c dual LP : 0.00 0 0 0.00 - 1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.01 c strong branching : 0.00 0 0 0.00 - 1800.04/1800.01 c (at root node) : - 0 0 0.00 - 1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.01 c B&B Tree : 1800.04/1800.01 c number of runs : 1 1800.04/1800.01 c nodes : 249479 1800.04/1800.01 c nodes (total) : 249479 1800.04/1800.01 c nodes left : 249480 1800.04/1800.01 c max depth : 149 1800.04/1800.01 c max depth (total): 149 1800.04/1800.01 c backtracks : 3208 (1.3%) 1800.04/1800.01 c delayed cutoffs : 0 1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.04/1800.01 c avg switch length: 2.34 1800.04/1800.01 c switching time : 9.46 1800.04/1800.01 c Solution : 1800.04/1800.01 c Solutions found : 0 (0 improvements) 1800.04/1800.01 c Primal Bound : - 1800.04/1800.01 c Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Gap : infinite 1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.01 c Root Iterations : 0 1800.44/1800.42 c Time complete: 1800.46.
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-2693771-1277916436/watcher-2693771-1277916436 -o /tmp/evaluation-result-2693771-1277916436/solver-2693771-1277916436 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693771-1277916436.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14778 /proc/meminfo: memFree=29891648/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=8604 CPUtime=0 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 1615 0 0 0 0 0 0 0 25 0 1 0 132941530 8810496 1538 4089446400 4194304 7136930 140735889023664 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14778/statm: 2151 1557 275 719 0 1430 0 [startup+0.0813821 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14778 /proc/meminfo: memFree=29891648/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=28028 CPUtime=0.07 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 6478 0 0 0 7 0 0 0 25 0 1 0 132941530 28700672 6401 4089446400 4194304 7136930 140735889023664 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14778/statm: 7007 6401 275 719 0 6286 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 28028 [startup+0.100378 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14778 /proc/meminfo: memFree=29891648/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=30668 CPUtime=0.09 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 7172 0 0 0 9 0 0 0 25 0 1 0 132941530 31404032 7095 4089446400 4194304 7136930 140735889023664 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14778/statm: 7667 7095 275 719 0 6946 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30668 [startup+0.300364 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14778 /proc/meminfo: memFree=29891648/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=103088 CPUtime=0.29 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 24684 0 0 0 27 2 0 0 25 0 1 0 132941530 105562112 24217 4089446400 4194304 7136930 140735889023664 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 25772 24217 323 719 0 25051 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 103088 [startup+0.700303 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14778 /proc/meminfo: memFree=29891648/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=106636 CPUtime=0.69 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 27000 0 0 0 61 8 0 0 25 0 1 0 132941530 109195264 25248 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 26659 25248 351 719 0 25938 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 106636 [startup+1.50015 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14779 /proc/meminfo: memFree=29784256/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=114240 CPUtime=1.49 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 31811 0 0 0 135 14 0 0 25 0 1 0 132941530 116981760 27183 4089446400 4194304 7136930 140735889023664 18446744073709551615 5502780 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 28560 27183 395 719 0 27839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 114240 [startup+3.10086 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14779 /proc/meminfo: memFree=29780040/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=115268 CPUtime=3.09 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 32072 0 0 0 293 16 0 0 25 0 1 0 132941530 118034432 27444 4089446400 4194304 7136930 140735889023664 18446744073709551615 5497083 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 28817 27444 400 719 0 28096 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 115268 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14779 /proc/meminfo: memFree=29769656/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=118020 CPUtime=6.29 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 32799 0 0 0 609 20 0 0 19 0 1 0 132941530 120852480 27965 4089446400 4194304 7136930 140735889023664 18446744073709551615 4834641 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 29505 27965 406 719 0 28784 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118020 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14780 /proc/meminfo: memFree=29754184/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=119000 CPUtime=12.69 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 33048 0 0 0 1244 25 0 0 25 0 1 0 132941530 121856000 28214 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 29750 28214 406 719 0 29029 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 119000 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14780 /proc/meminfo: memFree=29720904/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=120400 CPUtime=25.49 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 33419 0 0 0 2515 34 0 0 25 0 1 0 132941530 123289600 28585 4089446400 4194304 7136930 140735889023664 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 30100 28585 406 719 0 29379 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 120400 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14781 /proc/meminfo: memFree=29657620/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=124424 CPUtime=51.09 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 34445 0 0 0 5052 57 0 0 25 0 1 0 132941530 127410176 29611 4089446400 4194304 7136930 140735889023664 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 31106 29611 406 719 0 30385 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 124424 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14782 /proc/meminfo: memFree=29529348/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=131816 CPUtime=102.3 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 36305 0 0 0 10127 103 0 0 25 0 1 0 132941530 134979584 31471 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 32954 31471 406 719 0 32233 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 131816 [startup+162.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 14784 /proc/meminfo: memFree=29378860/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=140164 CPUtime=162.29 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 38426 0 0 0 16072 157 0 0 25 0 1 0 132941530 143527936 33592 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 35041 33592 406 719 0 34320 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 140164 [startup+222.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14785 /proc/meminfo: memFree=29228388/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=148012 CPUtime=222.3 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 40392 0 0 0 22021 209 0 0 25 0 1 0 132941530 151564288 35558 4089446400 4194304 7136930 140735889023664 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 37003 35558 406 719 0 36282 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 148012 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 14787 /proc/meminfo: memFree=29074680/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=158264 CPUtime=282.29 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 42995 0 0 0 27968 261 0 0 25 0 1 0 132941530 162062336 38161 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 39566 38161 406 719 0 38845 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 158264 [startup+342.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14789 /proc/meminfo: memFree=28927680/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=161792 CPUtime=342.3 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 43922 0 0 0 33916 314 0 0 25 0 1 0 132941530 165675008 39088 4089446400 4194304 7136930 140735889023664 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 40448 39088 406 719 0 39727 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 161792 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14790 /proc/meminfo: memFree=28781544/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=168316 CPUtime=402.31 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 45565 0 0 0 39863 368 0 0 25 0 1 0 132941530 172355584 40731 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 42079 40731 406 719 0 41358 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 168316 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14819 /proc/meminfo: memFree=31460588/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=179068 CPUtime=462.3 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 48297 0 0 0 45805 425 0 0 25 0 1 0 132941530 183365632 43463 4089446400 4194304 7136930 140735889023664 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 44767 43463 406 719 0 44046 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 179068 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14820 /proc/meminfo: memFree=31424172/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=185264 CPUtime=522.31 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 49375 0 0 0 51752 479 0 0 25 0 1 0 132941530 189710336 44541 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 46316 44541 406 719 0 45595 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 185264 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14822 /proc/meminfo: memFree=31409032/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=196260 CPUtime=582.31 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 52162 0 0 0 57698 533 0 0 25 0 1 0 132941530 200970240 47328 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 49065 47328 406 719 0 48344 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 196260 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 14824 /proc/meminfo: memFree=31391644/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=200944 CPUtime=642.31 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 53344 0 0 0 63637 594 0 0 25 0 1 0 132941530 205766656 48510 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 50236 48510 406 719 0 49515 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 200944 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14841 /proc/meminfo: memFree=31259048/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=236108 CPUtime=942.31 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 62309 0 0 0 93345 886 0 0 25 0 1 0 132941530 241774592 57475 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 59027 57475 406 719 0 58306 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 236108 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14842 /proc/meminfo: memFree=31231612/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=243388 CPUtime=1002.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 64168 0 0 0 99286 946 0 0 25 0 1 0 132941530 249229312 59334 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 60847 59334 406 719 0 60126 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 243388 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14844 /proc/meminfo: memFree=31199700/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=249368 CPUtime=1062.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 65698 0 0 0 105227 1005 0 0 25 0 1 0 132941530 255352832 60864 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 62342 60864 406 719 0 61621 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 249368 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14845 /proc/meminfo: memFree=31175720/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=255732 CPUtime=1122.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 67299 0 0 0 111168 1064 0 0 25 0 1 0 132941530 261869568 62465 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 63933 62465 406 719 0 63212 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 255732 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14847 /proc/meminfo: memFree=31150268/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=258372 CPUtime=1182.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 67993 0 0 0 117118 1114 0 0 25 0 1 0 132941530 264572928 63159 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 64593 63159 406 719 0 63872 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 258372 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14849 /proc/meminfo: memFree=31117748/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=267560 CPUtime=1242.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 70322 0 0 0 123062 1170 0 0 25 0 1 0 132941530 273981440 65488 4089446400 4194304 7136930 140735889023664 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 66890 65488 406 719 0 66169 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 267560 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14850 /proc/meminfo: memFree=31086476/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=274796 CPUtime=1302.33 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 72165 0 0 0 129004 1229 0 0 25 0 1 0 132941530 281391104 67331 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 68699 67331 406 719 0 67978 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 274796 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14852 /proc/meminfo: memFree=31058288/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=280880 CPUtime=1362.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 73749 0 0 0 134948 1284 0 0 25 0 1 0 132941530 287621120 68915 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 70220 68915 406 719 0 69499 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 280880 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14853 /proc/meminfo: memFree=31028368/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=291508 CPUtime=1422.34 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 75391 0 0 0 140890 1344 0 0 25 0 1 0 132941530 298504192 70557 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 72877 70557 406 719 0 72156 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 291508 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14855 /proc/meminfo: memFree=30996332/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=299776 CPUtime=1482.32 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 77512 0 0 0 146832 1400 0 0 25 0 1 0 132941530 306970624 72678 4089446400 4194304 7136930 140735889023664 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 74944 72678 406 719 0 74223 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 299776 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14857 /proc/meminfo: memFree=30967156/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=304240 CPUtime=1542.33 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 78633 0 0 0 152776 1457 0 0 25 0 1 0 132941530 311541760 73799 4089446400 4194304 7136930 140735889023664 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 76060 73799 406 719 0 75339 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 304240 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14858 /proc/meminfo: memFree=30941332/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=311296 CPUtime=1602.33 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 80432 0 0 0 158718 1515 0 0 25 0 1 0 132941530 318767104 75598 4089446400 4194304 7136930 140735889023664 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 77824 75598 406 719 0 77103 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 311296 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14860 /proc/meminfo: memFree=30911664/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=317336 CPUtime=1662.33 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 81984 0 0 0 164660 1573 0 0 25 0 1 0 132941530 324952064 77150 4089446400 4194304 7136930 140735889023664 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 79334 77150 406 719 0 78613 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 317336 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14861 /proc/meminfo: memFree=30880860/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=322868 CPUtime=1722.34 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 83413 0 0 0 170605 1629 0 0 25 0 1 0 132941530 330616832 78579 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 80717 78579 406 719 0 79996 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 322868 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14863 /proc/meminfo: memFree=30852304/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=327888 CPUtime=1782.33 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 84703 0 0 0 176545 1688 0 0 25 0 1 0 132941530 335757312 79869 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 81972 79869 406 719 0 81251 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 327888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14863 /proc/meminfo: memFree=30842248/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=331292 CPUtime=1800.04 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 85562 0 0 0 178300 1704 0 0 25 0 1 0 132941530 339243008 80728 4089446400 4194304 7136930 140735889023664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14778/statm: 82823 80728 406 719 0 82102 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 331292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14863 /proc/meminfo: memFree=30842248/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=322188 CPUtime=1800.24 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 85569 0 0 0 178320 1704 0 0 18 0 1 0 132941530 329920512 78459 4089446400 4194304 7136930 140735889023664 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14778/statm: 80547 78459 413 719 0 79826 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 322188 [startup+1800.4 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14863 /proc/meminfo: memFree=30842248/32951124 swapFree=67111528/67111528 [pid=14778] ppid=14776 vsize=172496 CPUtime=1800.44 /proc/14778/stat : 14778 (pbscip.linux.x8) R 14776 14778 13427 0 -1 4202496 85569 0 0 0 178339 1705 0 0 18 0 1 0 132941530 176635904 41065 4089446400 4194304 7136930 140735889023664 18446744073709551615 6166240 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14778/statm: 43124 41065 413 719 0 42403 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 172496 Child status: 0 Real time (s): 1800.43 CPU time (s): 1800.48 CPU user time (s): 1783.42 CPU system time (s): 17.0594 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 331292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.42 system time used= 17.0594 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85576 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= 3 involuntary context switches= 2192 runsolver used 3.03554 second user time and 6.79497 second system time The end
Begin job on node101 at 2010-06-30 18:47:16 IDJOB=2693771 IDBENCH=79070 IDSOLVER=1206 FILE ID=node101/2693771-1277916436 PBS_JOBID= 11197302 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-33-100-0.wbo 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-2693771-1277916436/watcher-2693771-1277916436 -o /tmp/evaluation-result-2693771-1277916436/solver-2693771-1277916436 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693771-1277916436.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 94a4b61e4b099e692126d009e42b1552 RANDOM SEED=1628493032 node101.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29891556 kB Buffers: 204936 kB Cached: 743892 kB SwapCached: 0 kB Active: 2379864 kB Inactive: 532688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29891556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3620 kB Writeback: 0 kB AnonPages: 1963464 kB Mapped: 17424 kB Slab: 79012 kB PageTables: 8436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2130360 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node101 at 2010-06-30 19:17:18