Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.49 | 1800.43 |
Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-33-100-0.wbo |
MD5SUM | 3e214ab59e31a9fef07b9bb8ae7e84f2 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.12398 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4836 |
Total number of constraints | 16649 |
Number of soft constraints | 11188 |
Number of constraints which are clauses | 16341 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 308 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Top cost | 570726 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 570725 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 166 |
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-2693776-1277916510.wbo> 0.09/0.16 c original problem has 27212 variables (16024 bin, 0 int, 0 impl, 11188 cont) and 27838 constraints 0.09/0.16 c problem read 0.09/0.16 c presolving settings loaded 0.09/0.16 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.53 c presolving: 0.49/0.59 c (round 1) 191 del vars, 510 del conss, 113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45372 impls, 0 clqs 0.59/0.63 c (round 2) 535 del vars, 1571 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45392 impls, 0 clqs 0.59/0.67 c (round 3) 1369 del vars, 2355 del conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45400 impls, 0 clqs 0.59/0.69 c (round 4) 2098 del vars, 2638 del conss, 194 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45418 impls, 0 clqs 0.69/0.71 c (round 5) 2348 del vars, 2825 del conss, 204 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45442 impls, 0 clqs 0.69/0.72 c (round 6) 2506 del vars, 2928 del conss, 205 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45444 impls, 0 clqs 0.69/0.73 c (round 7) 2597 del vars, 2961 del conss, 205 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45444 impls, 0 clqs 0.69/0.77 c (round 8) 2630 del vars, 2963 del conss, 10289 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 45444 impls, 0 clqs 0.79/0.85 c (round 9) 2632 del vars, 2963 del conss, 10289 chg bounds, 0 chg sides, 0 chg coeffs, 4987 upgd conss, 45444 impls, 0 clqs 3.49/3.53 c (3.2s) probing: 1000/14496 (6.9%) - 0 fixings, 0 aggregations, 4751 implications, 0 bound changes 5.69/5.74 c (5.4s) probing: 2000/14496 (13.8%) - 0 fixings, 0 aggregations, 5909 implications, 0 bound changes 5.69/5.74 c (5.4s) probing: 2001/14496 (13.8%) - 0 fixings, 0 aggregations, 5910 implications, 0 bound changes 5.69/5.74 c (5.4s) probing aborted: 2000/2000 successive useless probings 5.69/5.74 c presolving (10 rounds): 5.69/5.74 c 2632 deleted vars, 2963 deleted constraints, 10289 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 5.69/5.74 c 63519 implications, 155 cliques 5.69/5.74 c presolved problem has 24580 variables (14496 bin, 0 int, 0 impl, 10084 cont) and 24875 constraints 5.69/5.74 c 10084 constraints of type <indicator> 5.69/5.74 c 280 constraints of type <varbound> 5.69/5.74 c 105 constraints of type <knapsack> 5.69/5.74 c 9804 constraints of type <linear> 5.69/5.74 c 4602 constraints of type <logicor> 5.69/5.74 c transformed objective value is always integral (scale: 1) 5.69/5.74 c Presolving Time: 5.31 5.69/5.74 c - non default parameters ---------------------------------------------------------------------- 5.69/5.74 c # SCIP version 1.2.1.2 5.69/5.74 c 5.69/5.74 c # frequency for displaying node information lines 5.69/5.74 c # [type: int, range: [-1,2147483647], default: 100] 5.69/5.74 c display/freq = 10000 5.69/5.74 c 5.69/5.74 c # maximal time in seconds to run 5.69/5.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.69/5.74 c limits/time = 1799.85 5.69/5.74 c 5.69/5.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 5.69/5.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.69/5.74 c limits/memory = 3420 5.69/5.74 c 5.69/5.74 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 5.69/5.74 c # [type: int, range: [-1,2147483647], default: 1] 5.69/5.74 c lp/solvefreq = -1 5.69/5.74 c 5.69/5.74 c # should presolving try to simplify inequalities 5.69/5.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.74 c constraints/linear/simplifyinequalities = TRUE 5.69/5.74 c 5.69/5.74 c # should presolving try to simplify knapsacks 5.69/5.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.74 c constraints/knapsack/simplifyinequalities = TRUE 5.69/5.74 c 5.69/5.74 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 5.69/5.74 c # [type: int, range: [-1,2147483647], default: -1] 5.69/5.74 c separating/rapidlearning/freq = 0 5.69/5.74 c 5.69/5.74 c ----------------------------------------------------------------------------------------------- 5.69/5.74 c start solving 5.69/5.75 c 5.80/5.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.80/5.80 c 5.4s| 1 | 2 | 0 | - | 85M| 0 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 90.39/90.48 c 89.1s| 10000 | 10001 | 0 | 0.0 | 96M| 63 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 172.29/172.40 c 170s| 20000 | 20001 | 0 | 0.0 | 106M| 97 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 251.60/251.65 c 249s| 30000 | 30001 | 0 | 0.0 | 116M| 97 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 328.50/328.54 c 325s| 40000 | 40001 | 0 | 0.0 | 125M| 97 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 409.21/409.24 c 404s| 50000 | 50001 | 0 | 0.0 | 135M| 107 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 487.01/487.05 c 482s| 60000 | 60001 | 0 | 0.0 | 144M| 109 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 564.22/564.24 c 558s| 70000 | 70001 | 0 | 0.0 | 153M| 111 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 643.31/643.35 c 636s| 80000 | 80001 | 0 | 0.0 | 162M| 111 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 720.71/720.71 c 713s| 90000 | 90001 | 0 | 0.0 | 171M| 115 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 799.21/799.23 c 791s|100000 |100001 | 0 | 0.0 | 181M| 117 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 877.62/877.66 c 868s|110000 |110001 | 0 | 0.0 | 190M| 117 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 954.22/954.27 c 944s|120000 |120001 | 0 | 0.0 | 199M| 117 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1031.02/1031.05 c 1020s|130000 |130001 | 0 | 0.0 | 208M| 117 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1104.03/1104.04 c 1092s|140000 |140001 | 0 | 0.0 | 217M| 117 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1175.63/1175.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1175.63/1175.68 c 1163s|150000 |150001 | 0 | 0.0 | 225M| 117 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1250.33/1250.39 c 1237s|160000 |160001 | 0 | 0.0 | 233M| 119 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1325.73/1325.79 c 1312s|170000 |170001 | 0 | 0.0 | 242M| 119 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1402.34/1402.34 c 1388s|180000 |180001 | 0 | 0.0 | 250M| 119 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1478.64/1478.67 c 1464s|190000 |190001 | 0 | 0.0 | 259M| 121 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1556.34/1556.40 c 1541s|200000 |200001 | 0 | 0.0 | 268M| 121 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1633.24/1633.27 c 1617s|210000 |210001 | 0 | 0.0 | 276M| 121 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1710.45/1710.48 c 1693s|220000 |220001 | 0 | 0.0 | 285M| 121 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1787.15/1787.18 c 1769s|230000 |230001 | 0 | 0.0 | 294M| 121 | - | 24k| 24k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.00 c 1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.00 c Solving Time (sec) : 1782.20 1800.06/1800.00 c Solving Nodes : 231686 1800.06/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.00 c Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Gap : infinite 1800.06/1800.00 s UNKNOWN 1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.00 c Solving Time : 1782.20 1800.06/1800.00 c Original Problem : 1800.06/1800.00 c Problem name : HOME/instance-2693776-1277916510.wbo 1800.06/1800.00 c Variables : 27212 (16024 binary, 0 integer, 0 implicit integer, 11188 continuous) 1800.06/1800.00 c Constraints : 27838 initial, 27838 maximal 1800.06/1800.00 c Presolved Problem : 1800.06/1800.00 c Problem name : t_HOME/instance-2693776-1277916510.wbo 1800.06/1800.00 c Variables : 24580 (14496 binary, 0 integer, 0 implicit integer, 10084 continuous) 1800.06/1800.00 c Constraints : 24875 initial, 24875 maximal 1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c dualfix : 0.01 2332 0 0 0 0 0 0 0 1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c implics : 0.02 0 0 0 0 0 0 0 0 1800.06/1800.00 c probing : 4.78 0 0 0 0 0 0 0 0 1800.06/1800.00 c indicator : 0.06 0 0 0 0 0 1104 0 0 1800.06/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.00 c linear : 0.14 205 95 0 10289 0 1859 0 0 1800.06/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.00 c root node : - 0 - - 0 - - - - 1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.00 c indicator : 10084 0 977894 0 231686 0 184746 0 0 0 1800.06/1800.00 c varbound : 280 0 977894 0 231686 0 87106 0 0 0 1800.06/1800.00 c knapsack : 105 0 977894 0 231686 0 69046 0 0 0 1800.06/1800.00 c linear : 9804 0 977894 0 231686 0 77298 0 0 0 1800.06/1800.00 c logicor : 4602 0 760125 0 231686 0 1453824 0 0 0 1800.06/1800.00 c countsols : 0 0 0 0 231686 0 0 0 0 0 1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.00 c indicator : 476.65 0.00 174.55 0.00 302.10 1800.06/1800.00 c varbound : 6.82 0.00 6.57 0.00 0.25 1800.06/1800.00 c knapsack : 4.38 0.00 3.84 0.00 0.54 1800.06/1800.00 c linear : 170.37 0.00 169.62 0.00 0.75 1800.06/1800.00 c logicor : 237.14 0.00 9.42 0.00 227.72 1800.06/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.00 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.00 c vbounds : 27.47 306459 0 19074 1800.06/1800.00 c rootredcost : 0.04 0 0 0 1800.06/1800.00 c pseudoobj : 283.97 971891 0 0 1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.00 c applied globally : - - - 0 0.0 - - - 1800.06/1800.00 c applied locally : - - - 0 0.0 - - - 1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.06/1800.00 c redcost : 0.00 0 0 0 0 0 1800.06/1800.00 c impliedbounds : 0.00 0 0 0 0 0 1800.06/1800.00 c intobj : 0.00 0 0 0 0 0 1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.00 c gomory : 0.00 0 0 0 0 0 1800.06/1800.00 c strongcg : 0.00 0 0 0 0 0 1800.06/1800.00 c cmir : 0.00 0 0 0 0 0 1800.06/1800.00 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.00 c clique : 0.00 0 0 0 0 0 1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.00 c mcf : 0.00 0 0 0 0 0 1800.06/1800.00 c rapidlearning : 0.00 0 0 0 0 0 1800.06/1800.00 c Pricers : Time Calls Vars 1800.06/1800.00 c problem variables: 0.00 0 0 1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.00 c relpscost : 0.00 0 0 0 0 0 0 1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.00 c inference : 550.47 231686 0 0 0 0 463372 1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.00 c random : 0.00 0 0 0 0 0 0 1800.06/1800.00 c Primal Heuristics : Time Calls Found 1800.06/1800.00 c LP solutions : 0.00 - 0 1800.06/1800.00 c pseudo solutions : 0.00 - 0 1800.06/1800.00 c oneopt : 0.02 0 0 1800.06/1800.00 c trivial : 0.29 2 0 1800.06/1800.00 c simplerounding : 0.00 0 0 1800.06/1800.00 c zirounding : 0.00 0 0 1800.06/1800.00 c rounding : 0.00 0 0 1800.06/1800.00 c shifting : 0.00 0 0 1800.06/1800.00 c intshifting : 0.00 0 0 1800.06/1800.00 c twoopt : 0.00 0 0 1800.06/1800.00 c fixandinfer : 0.00 0 0 1800.06/1800.00 c feaspump : 0.00 0 0 1800.06/1800.00 c coefdiving : 0.00 0 0 1800.06/1800.00 c pscostdiving : 0.00 0 0 1800.06/1800.00 c fracdiving : 0.00 0 0 1800.06/1800.00 c veclendiving : 0.00 0 0 1800.06/1800.00 c intdiving : 0.00 0 0 1800.06/1800.00 c actconsdiving : 0.00 0 0 1800.06/1800.00 c objpscostdiving : 0.00 0 0 1800.06/1800.00 c rootsoldiving : 0.00 0 0 1800.06/1800.00 c linesearchdiving : 0.00 0 0 1800.06/1800.00 c guideddiving : 0.00 0 0 1800.06/1800.00 c octane : 0.00 0 0 1800.06/1800.00 c rens : 0.00 0 0 1800.06/1800.00 c rins : 0.00 0 0 1800.06/1800.00 c localbranching : 0.00 0 0 1800.06/1800.00 c mutation : 0.00 0 0 1800.06/1800.00 c crossover : 0.00 0 0 1800.06/1800.00 c dins : 0.00 0 0 1800.06/1800.00 c undercover : 0.00 0 0 1800.06/1800.00 c nlp : 0.12 0 0 1800.06/1800.00 c trysol : 0.01 1 0 1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.00 c primal LP : 0.00 0 0 0.00 - 1800.06/1800.00 c dual LP : 0.00 0 0 0.00 - 1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.00 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.00 c strong branching : 0.00 0 0 0.00 - 1800.06/1800.00 c (at root node) : - 0 0 0.00 - 1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.00 c B&B Tree : 1800.06/1800.00 c number of runs : 1 1800.06/1800.00 c nodes : 231686 1800.06/1800.00 c nodes (total) : 231686 1800.06/1800.00 c nodes left : 231687 1800.06/1800.00 c max depth : 121 1800.06/1800.00 c max depth (total): 121 1800.06/1800.00 c backtracks : 3873 (1.7%) 1800.06/1800.00 c delayed cutoffs : 0 1800.06/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1800.06/1800.00 c avg switch length: 2.43 1800.06/1800.00 c switching time : 12.11 1800.06/1800.00 c Solution : 1800.06/1800.00 c Solutions found : 0 (0 improvements) 1800.06/1800.00 c Primal Bound : - 1800.06/1800.00 c Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Gap : infinite 1800.06/1800.00 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.00 c Root Iterations : 0 1800.45/1800.43 c Time complete: 1800.48.
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-2693776-1277916510/watcher-2693776-1277916510 -o /tmp/evaluation-result-2693776-1277916510/solver-2693776-1277916510 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693776-1277916510.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.01 2.01 2.00 3/178 25451 /proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=8272 CPUtime=0 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 1548 0 0 0 0 0 0 0 21 0 1 0 167254473 8470528 1470 4089446400 4194304 7136930 140735000198032 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25451/statm: 2068 1470 275 719 0 1347 0 [startup+0.05658 s] /proc/loadavg: 2.01 2.01 2.00 3/178 25451 /proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=23428 CPUtime=0.04 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 5332 0 0 0 4 0 0 0 21 0 1 0 167254473 23990272 5254 4089446400 4194304 7136930 140735000198032 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25451/statm: 5857 5254 275 719 0 5136 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 23428 [startup+0.100579 s] /proc/loadavg: 2.01 2.01 2.00 3/178 25451 /proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=33576 CPUtime=0.09 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 7882 0 0 0 8 1 0 0 21 0 1 0 167254473 34381824 7804 4089446400 4194304 7136930 140735000198032 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25451/statm: 8394 7804 275 719 0 7673 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33576 [startup+0.300544 s] /proc/loadavg: 2.01 2.01 2.00 3/178 25451 /proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=105200 CPUtime=0.29 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 25291 0 0 0 26 3 0 0 21 0 1 0 167254473 107724800 24823 4089446400 4194304 7136930 140735000198032 18446744073709551615 6350452 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 26300 24849 319 719 0 25579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 105200 [startup+0.700453 s] /proc/loadavg: 2.01 2.01 2.00 3/178 25451 /proc/meminfo: memFree=31154976/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=110176 CPUtime=0.69 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 27646 0 0 0 61 8 0 0 22 0 1 0 167254473 112820224 26150 4089446400 4194304 7136930 140735000198032 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 27544 26150 351 719 0 26823 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 110176 [startup+1.50032 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25452 /proc/meminfo: memFree=31045476/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=116720 CPUtime=1.49 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 32698 0 0 0 134 15 0 0 25 0 1 0 167254473 119521280 27786 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 29180 27786 389 719 0 28459 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 116720 [startup+3.10102 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25452 /proc/meminfo: memFree=31045272/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=117748 CPUtime=3.1 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 32967 0 0 0 292 18 0 0 25 0 1 0 167254473 120573952 28055 4089446400 4194304 7136930 140735000198032 18446744073709551615 5500400 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 29437 28055 389 719 0 28716 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 117748 [startup+6.30042 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25452 /proc/meminfo: memFree=31041924/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=120752 CPUtime=6.29 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 33759 0 0 0 607 22 0 0 25 0 1 0 167254473 123650048 28645 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 30188 28645 406 719 0 29467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120752 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25452 /proc/meminfo: memFree=31036136/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=122764 CPUtime=12.69 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 34249 0 0 0 1239 30 0 0 25 0 1 0 167254473 125710336 29135 4089446400 4194304 7136930 140735000198032 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 30691 29135 406 719 0 29970 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 122764 [startup+25.5009 s] /proc/loadavg: 2.01 2.00 2.00 3/179 25452 /proc/meminfo: memFree=31044724/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=124820 CPUtime=25.49 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 34770 0 0 0 2503 46 0 0 25 0 1 0 167254473 127815680 29656 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 31205 29656 406 719 0 30484 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 124820 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25453 /proc/meminfo: memFree=31038300/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=128800 CPUtime=51.1 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 35796 0 0 0 5035 75 0 0 25 0 1 0 167254473 131891200 30682 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 32200 30682 406 719 0 31479 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 128800 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25454 /proc/meminfo: memFree=31031572/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=136984 CPUtime=102.3 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 37845 0 0 0 10098 132 0 0 25 0 1 0 167254473 140271616 32731 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 34246 32731 406 719 0 33525 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 136984 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25456 /proc/meminfo: memFree=31014420/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=147592 CPUtime=162.29 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 40529 0 0 0 16035 194 0 0 25 0 1 0 167254473 151134208 35415 4089446400 4194304 7136930 140735000198032 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 36898 35415 406 719 0 36177 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 147592 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25458 /proc/meminfo: memFree=31009140/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=153488 CPUtime=222.3 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 42015 0 0 0 21969 261 0 0 25 0 1 0 167254473 157171712 36901 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 38372 36901 406 719 0 37651 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 153488 [startup+282.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 25459 /proc/meminfo: memFree=30995856/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=165540 CPUtime=282.3 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 45056 0 0 0 27907 323 0 0 25 0 1 0 167254473 169512960 39942 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 41385 39942 406 719 0 40664 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 165540 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 25461 /proc/meminfo: memFree=30977812/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=172764 CPUtime=342.3 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 46906 0 0 0 33840 390 0 0 25 0 1 0 167254473 176910336 41792 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 43191 41792 406 719 0 42470 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 172764 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25462 /proc/meminfo: memFree=30979764/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=178412 CPUtime=402.3 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 48360 0 0 0 39776 454 0 0 25 0 1 0 167254473 182693888 43246 4089446400 4194304 7136930 140735000198032 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 44603 43246 406 719 0 43882 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 178412 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25464 /proc/meminfo: memFree=30971900/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=184592 CPUtime=462.31 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 49904 0 0 0 45714 517 0 0 25 0 1 0 167254473 189022208 44790 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 46148 44790 406 719 0 45427 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 184592 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25466 /proc/meminfo: memFree=30955352/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=191604 CPUtime=522.31 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 51715 0 0 0 51652 579 0 0 25 0 1 0 167254473 196202496 46601 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 47901 46601 406 719 0 47180 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 191604 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25467 /proc/meminfo: memFree=30954952/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=204508 CPUtime=582.31 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 54434 0 0 0 57595 636 0 0 25 0 1 0 167254473 209416192 49320 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 51127 49320 406 719 0 50406 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 204508 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25469 /proc/meminfo: memFree=30941512/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=209472 CPUtime=642.32 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 55702 0 0 0 63535 697 0 0 25 0 1 0 167254473 214499328 50588 4089446400 4194304 7136930 140735000198032 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 52368 50588 406 719 0 51647 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 209472 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25486 /proc/meminfo: memFree=30901740/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=245888 CPUtime=942.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 64957 0 0 0 93221 1012 0 0 25 0 1 0 167254473 251789312 59843 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 61472 59843 406 719 0 60751 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 245888 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25487 /proc/meminfo: memFree=30894876/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=253116 CPUtime=1002.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 66798 0 0 0 99162 1071 0 0 25 0 1 0 167254473 259190784 61684 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 63279 61684 406 719 0 62558 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 253116 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25489 /proc/meminfo: memFree=30886280/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=258500 CPUtime=1062.32 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 68175 0 0 0 105100 1132 0 0 25 0 1 0 167254473 264704000 63061 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 64625 63061 406 719 0 63904 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 258500 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25491 /proc/meminfo: memFree=30881868/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=265932 CPUtime=1122.32 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 70067 0 0 0 111040 1192 0 0 25 0 1 0 167254473 272314368 64953 4089446400 4194304 7136930 140735000198032 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 66483 64953 406 719 0 65762 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 265932 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 2/174 25586 /proc/meminfo: memFree=31241148/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=274092 CPUtime=1182.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 72127 0 0 0 116981 1252 0 0 25 0 1 0 167254473 280670208 67013 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25451/statm: 68523 67013 406 719 0 67802 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 274092 [startup+1242.3 s] /proc/loadavg: 1.97 1.98 1.99 3/179 25742 /proc/meminfo: memFree=31049388/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=282228 CPUtime=1242.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 74224 0 0 0 122930 1303 0 0 25 0 1 0 167254473 289001472 69110 4089446400 4194304 7136930 140735000198032 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 70557 69110 406 719 0 69836 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 282228 [startup+1302.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 25743 /proc/meminfo: memFree=31036332/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=289536 CPUtime=1302.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 76081 0 0 0 128879 1354 0 0 25 0 1 0 167254473 296484864 70967 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 72384 70967 406 719 0 71663 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 289536 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25745 /proc/meminfo: memFree=31019044/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=296476 CPUtime=1362.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 77847 0 0 0 134831 1402 0 0 25 0 1 0 167254473 303591424 72733 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 74119 72733 406 719 0 73398 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 296476 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25747 /proc/meminfo: memFree=31006692/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=303836 CPUtime=1422.34 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 79707 0 0 0 140781 1453 0 0 25 0 1 0 167254473 311128064 74593 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 75959 74593 406 719 0 75238 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 303836 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25748 /proc/meminfo: memFree=30993756/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=308896 CPUtime=1482.34 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 80976 0 0 0 146733 1501 0 0 25 0 1 0 167254473 316309504 75862 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 77224 75862 406 719 0 76503 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 308896 [startup+1542.3 s] /proc/loadavg: 2.08 2.03 2.01 3/179 25753 /proc/meminfo: memFree=30982888/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=318012 CPUtime=1542.33 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 82271 0 0 0 152684 1549 0 0 25 0 1 0 167254473 325644288 77157 4089446400 4194304 7136930 140735000198032 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 79503 77157 406 719 0 78782 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 318012 [startup+1602.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 25754 /proc/meminfo: memFree=30973916/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=322004 CPUtime=1602.34 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 83320 0 0 0 158630 1604 0 0 25 0 1 0 167254473 329732096 78206 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 80501 78206 406 719 0 79780 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 322004 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 25756 /proc/meminfo: memFree=30952184/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=331604 CPUtime=1662.34 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 85748 0 0 0 164580 1654 0 0 25 0 1 0 167254473 339562496 80634 4089446400 4194304 7136930 140735000198032 18446744073709551615 4827474 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 82901 80634 406 719 0 82180 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 331604 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 25758 /proc/meminfo: memFree=30939472/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=336564 CPUtime=1722.35 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 87020 0 0 0 170528 1707 0 0 25 0 1 0 167254473 344641536 81906 4089446400 4194304 7136930 140735000198032 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 84141 81906 406 719 0 83420 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 336564 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25759 /proc/meminfo: memFree=30920716/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=346632 CPUtime=1782.35 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89569 0 0 0 176479 1756 0 0 25 0 1 0 167254473 354951168 84455 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 86658 84455 406 719 0 85937 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 346632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25760 /proc/meminfo: memFree=30913644/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=347656 CPUtime=1800.06 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89836 0 0 0 178234 1772 0 0 25 0 1 0 167254473 355999744 84722 4089446400 4194304 7136930 140735000198032 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25451/statm: 86914 84722 406 719 0 86193 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 347656 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.00 2.00 2.00 3/179 25760 /proc/meminfo: memFree=30913644/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=342956 CPUtime=1800.25 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89843 0 0 0 178253 1772 0 0 25 0 1 0 167254473 351186944 83554 4089446400 4194304 7136930 140735000198032 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25451/statm: 85739 83554 413 719 0 85018 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 342956 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25760 /proc/meminfo: memFree=30913644/32950928 swapFree=67111528/67111528 [pid=25451] ppid=25449 vsize=203780 CPUtime=1800.45 /proc/25451/stat : 25451 (pbscip.linux.x8) R 25449 25451 24710 0 -1 4202496 89843 0 0 0 178273 1772 0 0 25 0 1 0 167254473 208670720 48787 4089446400 4194304 7136930 140735000198032 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25451/statm: 50945 48787 413 719 0 50224 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 203780 Child status: 0 Real time (s): 1800.43 CPU time (s): 1800.49 CPU user time (s): 1782.75 CPU system time (s): 17.7333 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 347656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.75 system time used= 17.7333 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89850 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= 2347 runsolver used 3.39148 second user time and 6.15406 second system time The end
Begin job on node113 at 2010-06-30 18:48:30 IDJOB=2693776 IDBENCH=79072 IDSOLVER=1206 FILE ID=node113/2693776-1277916510 PBS_JOBID= 11197255 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-j3041_4-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-2693776-1277916510/watcher-2693776-1277916510 -o /tmp/evaluation-result-2693776-1277916510/solver-2693776-1277916510 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693776-1277916510.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3e214ab59e31a9fef07b9bb8ae7e84f2 RANDOM SEED=734690860 node113.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.812 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.62 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.812 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 : 5332.83 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.812 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.812 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.812 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.812 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.75 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.812 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.812 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: 32950928 kB MemFree: 31156000 kB Buffers: 199152 kB Cached: 1041228 kB SwapCached: 0 kB Active: 958892 kB Inactive: 691860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31156000 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3552 kB Writeback: 0 kB AnonPages: 410468 kB Mapped: 17464 kB Slab: 78848 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 591224 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= 74204 MiB End job on node113 at 2010-06-30 19:18:32