Trace number 2693179

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.65 1800.59

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MD5SUM511a250f181b5f88452d86a600065d28
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1902
Best CPU time to get the best result obtained on this benchmark1800.35
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints20091
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 1014619
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1014618
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693179-1277917249.wbo>
0.19/0.29	c original problem has 49820 variables (29729 bin, 0 int, 0 impl, 20091 cont) and 50312 constraints
0.19/0.29	c problem read
0.19/0.29	c presolving settings loaded
1.39/1.47	c presolving:
1.59/1.60	c (round 1) 303 del vars, 968 del conss, 166 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73241 impls, 0 clqs
1.69/1.70	c (round 2) 973 del vars, 2730 del conss, 257 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73461 impls, 0 clqs
1.79/1.80	c (round 3) 2373 del vars, 4095 del conss, 305 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73541 impls, 0 clqs
1.79/1.85	c (round 4) 3606 del vars, 4569 del conss, 321 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73555 impls, 0 clqs
1.79/1.88	c (round 5) 4049 del vars, 4731 del conss, 332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73560 impls, 0 clqs
1.89/1.90	c (round 6) 4197 del vars, 4825 del conss, 336 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73568 impls, 0 clqs
1.89/1.92	c (round 7) 4280 del vars, 4878 del conss, 339 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73568 impls, 0 clqs
1.89/1.94	c (round 8) 4330 del vars, 4916 del conss, 342 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73578 impls, 0 clqs
1.89/1.96	c (round 9) 4359 del vars, 4935 del conss, 342 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73578 impls, 0 clqs
1.99/2.02	c (round 10) 4374 del vars, 4940 del conss, 18596 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73578 impls, 0 clqs
2.09/2.18	c (round 11) 4379 del vars, 4940 del conss, 18596 chg bounds, 0 chg sides, 0 chg coeffs, 9303 upgd conss, 73578 impls, 0 clqs
8.80/8.88	c    (8.4s) probing: 1000/27187 (3.7%) - 0 fixings, 0 aggregations, 6280 implications, 0 bound changes
14.39/14.43	c    (14.0s) probing: 2000/27187 (7.4%) - 0 fixings, 0 aggregations, 7262 implications, 0 bound changes
14.39/14.44	c    (14.0s) probing: 2001/27187 (7.4%) - 0 fixings, 0 aggregations, 7263 implications, 0 bound changes
14.39/14.44	c    (14.0s) probing aborted: 2000/2000 successive useless probings
14.39/14.44	c presolving (12 rounds):
14.39/14.44	c  4379 deleted vars, 4940 deleted constraints, 18596 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.39/14.44	c  96591 implications, 79 cliques
14.39/14.44	c presolved problem has 45441 variables (27187 bin, 0 int, 0 impl, 18254 cont) and 45372 constraints
14.39/14.44	c   18254 constraints of type <indicator>
14.39/14.44	c     439 constraints of type <varbound>
14.39/14.44	c     103 constraints of type <knapsack>
14.39/14.44	c   17815 constraints of type <linear>
14.39/14.44	c    8761 constraints of type <logicor>
14.39/14.44	c transformed objective value is always integral (scale: 1)
14.39/14.44	c Presolving Time: 13.88
14.39/14.44	c - non default parameters ----------------------------------------------------------------------
14.39/14.44	c # SCIP version 1.2.1.2
14.39/14.44	c 
14.39/14.44	c # frequency for displaying node information lines
14.39/14.44	c # [type: int, range: [-1,2147483647], default: 100]
14.39/14.44	c display/freq = 10000
14.39/14.44	c 
14.39/14.44	c # maximal time in seconds to run
14.39/14.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.39/14.44	c limits/time = 1799.71
14.39/14.44	c 
14.39/14.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.39/14.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.39/14.44	c limits/memory = 3420
14.39/14.44	c 
14.39/14.44	c # should presolving try to simplify inequalities
14.39/14.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.39/14.44	c constraints/linear/simplifyinequalities = TRUE
14.39/14.44	c 
14.39/14.44	c # should presolving try to simplify knapsacks
14.39/14.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.39/14.44	c constraints/knapsack/simplifyinequalities = TRUE
14.39/14.44	c 
14.39/14.44	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.39/14.44	c # [type: int, range: [-1,2147483647], default: -1]
14.39/14.44	c separating/rapidlearning/freq = 0
14.39/14.44	c 
14.39/14.44	c -----------------------------------------------------------------------------------------------
14.39/14.44	c start solving
14.39/14.45	c 
14.59/14.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.59/14.60	c  14.2s|     1 |     0 |     3 |     - | 169M|   0 |   2 |  45k|  45k|  45k|8864 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.99/17.04	c  16.5s|     1 |     0 |   756 |     - | 169M|   0 |  66 |  45k|  45k|  45k|9259 | 395 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.19/19.20	c  18.7s|     1 |     0 |  1216 |     - | 170M|   0 |  43 |  45k|  45k|  45k|9465 | 601 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.29/21.32	c  20.8s|     1 |     0 |  1835 |     - | 171M|   0 | 799 |  45k|  45k|  45k|9679 | 815 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.19/22.20	c  21.7s|     1 |     0 |  2021 |     - | 171M|   0 |   0 |  45k|  45k|  45k|9988 |1124 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.19/22.27	c  21.8s|     1 |     0 |  2346 |     - | 171M|   0 |   5 |  45k|  45k|  45k|  10k|1324 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.39/24.46	c  23.9s|     1 |     0 |  2585 |     - | 171M|   0 |   1 |  45k|  45k|  45k|  10k|1535 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.69/26.70	c  26.2s|     1 |     0 |  2879 |     - | 171M|   0 | 788 |  45k|  45k|  45k|  10k|1737 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
27.59/27.69	c  27.1s|     1 |     0 |  3166 |     - | 171M|   0 | 887 |  45k|  45k|  45k|  10k|1947 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
29.09/29.16	c  28.6s|     1 |     0 |  3513 |     - | 172M|   0 | 955 |  45k|  45k|  45k|  11k|2167 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.49/30.54	c  29.9s|     1 |     2 |  3513 |     - | 173M|   0 | 955 |  45k|  45k|  45k|  11k|2167 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
1059.94/1059.94	c   988s| 10000 | 10001 |392459 |  38.9 | 324M|  87 |  28 |  45k|  45k|  45k|  11k| 115k| 110 |  10k| 0.000000e+00 |      --      |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.02	c 
1800.06/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.02	c Solving Time (sec) : 1685.39
1800.06/1800.02	c Solving Nodes      : 19990
1800.06/1800.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.02	c Gap                : infinite
1800.06/1800.02	s UNKNOWN
1800.06/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.02	c Solving Time       :    1685.39
1800.06/1800.02	c Original Problem   :
1800.06/1800.02	c   Problem name     : HOME/instance-2693179-1277917249.wbo
1800.06/1800.02	c   Variables        : 49820 (29729 binary, 0 integer, 0 implicit integer, 20091 continuous)
1800.06/1800.02	c   Constraints      : 50312 initial, 50312 maximal
1800.06/1800.02	c Presolved Problem  :
1800.06/1800.02	c   Problem name     : t_HOME/instance-2693179-1277917249.wbo
1800.06/1800.02	c   Variables        : 45441 (27187 binary, 0 integer, 0 implicit integer, 18254 continuous)
1800.06/1800.02	c   Constraints      : 45372 initial, 45564 maximal
1800.06/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.02	c   trivial          :       0.02          1          0          0          0          0          0          0          0
1800.06/1800.02	c   dualfix          :       0.02       3850          0          0          0          0          0          0          0
1800.06/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.02	c   probing          :      12.17          0          0          0          0          0          0          0          0
1800.06/1800.02	c   indicator        :       0.16          0          0          0          0          0       1837          0          0
1800.06/1800.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.02	c   linear           :       0.42        341        187          0      18596          0       3103          0          0
1800.06/1800.02	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.02	c   integral         :          0          0          0      20447          0          0          0          0          0      39980
1800.06/1800.02	c   indicator        :      18254          0     141993        457          0          0      11069          0          0          0
1800.06/1800.02	c   varbound         :        439          9     141993        457          0          0       2435        309          0          0
1800.06/1800.02	c   knapsack         :        103          9     141993        457          0          0      25412         31          0          0
1800.06/1800.02	c   linear           :      17815          9     141993        457          0          0       3718     216272          0          0
1800.06/1800.02	c   logicor          :       8761+         9      89310          0          0          0      91548          0          0          0
1800.06/1800.02	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.02	c   integral         :     267.92       0.00       0.00     267.92       0.00
1800.06/1800.02	c   indicator        :      74.41       0.00      72.30       2.11       0.00
1800.06/1800.02	c   varbound         :       2.57       0.00       2.54       0.03       0.00
1800.06/1800.02	c   knapsack         :       0.90       0.00       0.90       0.00       0.00
1800.06/1800.02	c   linear           :      77.90       0.02      74.48       3.40       0.00
1800.06/1800.02	c   logicor          :       1.43       0.04       1.39       0.00       0.00
1800.06/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.02	c   vbounds          :       3.62      18252          0       5012
1800.06/1800.02	c   rootredcost      :       0.05          0          0          0
1800.06/1800.02	c   pseudoobj        :     105.92     135707          0          0
1800.06/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.02	c   infeasible LP    :       0.97        205        205        205        3.6          0        0.0          0
1800.06/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.02	c   applied globally :          -          -          -        205        3.6          -          -          -
1800.06/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.02	c   cut pool         :       0.00          8          -          -         29          -    (maximal pool size: 375)
1800.06/1800.02	c   redcost          :      38.11      20455          0          0          0          0
1800.06/1800.02	c   impliedbounds    :       0.01          8          0          0        115          0
1800.06/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.02	c   gomory           :       0.81          8          0          0        838          0
1800.06/1800.02	c   strongcg         :       0.73          8          0          0         24          0
1800.06/1800.02	c   cmir             :       2.17          8          0          0         13          0
1800.06/1800.02	c   flowcover        :       9.25          8          0          0         55          0
1800.06/1800.02	c   clique           :       0.05          8          0          0          8          0
1800.06/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.02	c   mcf              :       0.01          1          0          0          0          0
1800.06/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.02	c Pricers            :       Time      Calls       Vars
1800.06/1800.02	c   problem variables:       0.00          0          0
1800.06/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.02	c   relpscost        :     267.85      19990          0          0          0          0      39980
1800.06/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   inference        :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.02	c   LP solutions     :       0.00          -          0
1800.06/1800.02	c   pseudo solutions :       0.00          -          0
1800.06/1800.02	c   oneopt           :       0.07          0          0
1800.06/1800.02	c   crossover        :       0.00          0          0
1800.06/1800.02	c   pscostdiving     :     145.71         53          0
1800.06/1800.02	c   linesearchdiving :     112.11        112          0
1800.06/1800.02	c   veclendiving     :      98.12        114          0
1800.06/1800.02	c   feaspump         :      29.22        121          0
1800.06/1800.02	c   trivial          :       1.03          2          0
1800.06/1800.02	c   simplerounding   :       0.03      19642          0
1800.06/1800.02	c   zirounding       :       1.49       1000          0
1800.06/1800.02	c   rounding         :       2.77       1933          0
1800.06/1800.02	c   shifting         :      11.34        570          0
1800.06/1800.02	c   intshifting      :       0.19         40          0
1800.06/1800.02	c   twoopt           :       0.00          0          0
1800.06/1800.02	c   fixandinfer      :       0.00          0          0
1800.06/1800.02	c   coefdiving       :     190.75         24          0
1800.06/1800.02	c   fracdiving       :     158.26         47          0
1800.06/1800.02	c   intdiving        :       0.00          0          0
1800.06/1800.02	c   actconsdiving    :       0.00          0          0
1800.06/1800.02	c   objpscostdiving  :       7.11          8          0
1800.06/1800.02	c   rootsoldiving    :      18.81          4          0
1800.06/1800.02	c   guideddiving     :       0.00          0          0
1800.06/1800.02	c   octane           :       0.00          0          0
1800.06/1800.02	c   rens             :       0.28          1          0
1800.06/1800.02	c   rins             :       0.00          0          0
1800.06/1800.02	c   localbranching   :       0.00          0          0
1800.06/1800.02	c   mutation         :       0.00          0          0
1800.06/1800.02	c   dins             :       0.00          0          0
1800.06/1800.02	c   undercover       :       0.00          0          0
1800.06/1800.02	c   nlp              :       0.01          0          0
1800.06/1800.02	c   trysol           :      17.74       1070          0
1800.06/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.02	c   primal LP        :       0.01          0          0       0.00       0.00
1800.06/1800.02	c   dual LP          :     285.10      20096     512722      25.51    1798.39
1800.06/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.02	c   diving/probing LP:     410.63      37490     221065       5.90     538.36
1800.06/1800.02	c   strong branching :     267.11      13961     255654      18.31     957.11
1800.06/1800.02	c     (at root node) :          -         18       2309     128.28          -
1800.06/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.02	c B&B Tree           :
1800.06/1800.02	c   number of runs   :          1
1800.06/1800.02	c   nodes            :      19990
1800.06/1800.02	c   nodes (total)    :      19990
1800.06/1800.02	c   nodes left       :      19991
1800.06/1800.02	c   max depth        :         87
1800.06/1800.02	c   max depth (total):         87
1800.06/1800.02	c   backtracks       :        475 (2.4%)
1800.06/1800.02	c   delayed cutoffs  :          0
1800.06/1800.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.02	c   avg switch length:       2.18
1800.06/1800.02	c   switching time   :       6.22
1800.06/1800.02	c Solution           :
1800.06/1800.02	c   Solutions found  :          0 (0 improvements)
1800.06/1800.02	c   Primal Bound     :          -
1800.06/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.02	c   Gap              :   infinite
1800.06/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.02	c   Root Iterations  :       3513
1800.55/1800.58	c Time complete: 1800.64.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693179-1277917249/watcher-2693179-1277917249 -o /tmp/evaluation-result-2693179-1277917249/solver-2693179-1277917249 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693179-1277917249.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.02 2.00 4/178 16115
/proc/meminfo: memFree=31085524/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=10972 CPUtime=0
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 1669 0 0 0 0 0 0 0 24 0 1 0 133019202 11235328 1590 4089446400 4194304 9819077 140735470451200 18446744073709551615 4908298 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16115/statm: 2743 1590 392 1374 0 1364 0

[startup+0.0737569 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 16115
/proc/meminfo: memFree=31085524/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=30276 CPUtime=0.06
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 6490 0 0 0 6 0 0 0 24 0 1 0 133019202 31002624 6411 4089446400 4194304 9819077 140735470451200 18446744073709551615 4384918 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16115/statm: 7569 6411 392 1374 0 6190 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30276

[startup+0.100756 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 16115
/proc/meminfo: memFree=31085524/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=35412 CPUtime=0.09
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 7825 0 0 0 9 0 0 0 24 0 1 0 133019202 36261888 7719 4089446400 4194304 9819077 140735470451200 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16115/statm: 8853 7719 392 1374 0 7474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35412

[startup+0.300716 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 16115
/proc/meminfo: memFree=31085524/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=78508 CPUtime=0.29
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 18781 0 0 0 27 2 0 0 25 0 1 0 133019202 80392192 18322 4089446400 4194304 9819077 140735470451200 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 19734 18374 467 1374 0 18355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78508

[startup+0.700632 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 16115
/proc/meminfo: memFree=31085524/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=181260 CPUtime=0.69
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 43345 0 0 0 65 4 0 0 25 0 1 0 133019202 185610240 42807 4089446400 4194304 9819077 140735470451200 18446744073709551615 8679111 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 45315 42807 469 1374 0 43936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 181260

[startup+1.50048 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16116
/proc/meminfo: memFree=30915760/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=186224 CPUtime=1.49
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 44710 0 0 0 144 5 0 0 25 0 1 0 133019202 190693376 44172 4089446400 4194304 9819077 140735470451200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 46556 44172 487 1374 0 45177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186224

[startup+3.10118 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16116
/proc/meminfo: memFree=30906584/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=199400 CPUtime=3.09
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 53819 0 0 0 296 13 0 0 25 0 1 0 133019202 204185600 47355 4089446400 4194304 9819077 140735470451200 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 49850 47355 532 1374 0 48471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199400

[startup+6.30056 s]
/proc/loadavg: 2.01 2.02 2.00 4/179 16116
/proc/meminfo: memFree=30898076/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=200724 CPUtime=6.29
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 54172 0 0 0 615 14 0 0 25 0 1 0 133019202 205541376 47708 4089446400 4194304 9819077 140735470451200 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 50181 47708 532 1374 0 48802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 200724

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16126
/proc/meminfo: memFree=30896184/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=200724 CPUtime=12.69
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 54177 0 0 0 1254 15 0 0 25 0 1 0 133019202 205541376 47713 4089446400 4194304 9819077 140735470451200 18446744073709551615 5500679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 50181 47713 537 1374 0 48802 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 200724

[startup+25.5009 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16126
/proc/meminfo: memFree=30854568/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=253628 CPUtime=25.49
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 98505 0 0 0 2523 26 0 0 25 0 1 0 133019202 259715072 58350 4089446400 4194304 9819077 140735470451200 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 63407 58350 697 1374 0 62028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 253628

[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16127
/proc/meminfo: memFree=30848468/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=265064 CPUtime=51.09
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 2039145 0 0 0 4867 242 0 0 25 0 1 0 133019202 271425536 59323 4089446400 4194304 9819077 140735470451200 18446744073709551615 7334356 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 66266 59327 721 1374 0 64887 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 265064

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16128
/proc/meminfo: memFree=30844720/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=275804 CPUtime=102.3
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 6330596 0 0 0 9488 742 0 0 25 0 1 0 133019202 282423296 61378 4089446400 4194304 9819077 140735470451200 18446744073709551615 6715982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 68951 61398 726 1374 0 67572 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 275804

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16130
/proc/meminfo: memFree=30836616/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=282036 CPUtime=162.3
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 11311926 0 0 0 14918 1312 0 0 25 0 1 0 133019202 288804864 62991 4089446400 4194304 9819077 140735470451200 18446744073709551615 6567625 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 70509 62991 726 1374 0 69130 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 282036

[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16131
/proc/meminfo: memFree=30831008/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=276396 CPUtime=222.3
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 16117422 0 0 0 20350 1880 0 0 25 0 1 0 133019202 283029504 63750 4089446400 4194304 9819077 140735470451200 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 69099 63750 726 1374 0 67720 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 276396

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16133
/proc/meminfo: memFree=30831088/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=279448 CPUtime=282.3
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 20399534 0 0 0 25844 2386 0 0 25 0 1 0 133019202 286154752 64376 4089446400 4194304 9819077 140735470451200 18446744073709551615 6513088 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 69862 64376 741 1374 0 68483 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 279448

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16134
/proc/meminfo: memFree=30816920/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=288292 CPUtime=342.31
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 24587945 0 0 0 31359 2872 0 0 25 0 1 0 133019202 295211008 66627 4089446400 4194304 9819077 140735470451200 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 72073 66627 741 1374 0 70694 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 288292

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16136
/proc/meminfo: memFree=30811808/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=292200 CPUtime=402.3
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 28099095 0 0 0 36938 3292 0 0 25 0 1 0 133019202 299212800 67777 4089446400 4194304 9819077 140735470451200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 73050 67777 741 1374 0 71671 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 292200

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16138
/proc/meminfo: memFree=30798264/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=303472 CPUtime=462.31
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 31335031 0 0 0 42549 3682 0 0 25 0 1 0 133019202 310755328 70553 4089446400 4194304 9819077 140735470451200 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 75868 70556 741 1374 0 74489 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 303472

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16139
/proc/meminfo: memFree=30786084/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=316208 CPUtime=522.31
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 34221295 0 0 0 48197 4034 0 0 25 0 1 0 133019202 323796992 73564 4089446400 4194304 9819077 140735470451200 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 79052 73564 741 1374 0 77673 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 316208

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16141
/proc/meminfo: memFree=30776984/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=327232 CPUtime=582.31
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 36942942 0 0 0 53867 4364 0 0 25 0 1 0 133019202 335085568 76804 4089446400 4194304 9819077 140735470451200 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 81808 76817 741 1374 0 80429 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 327232

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16142
/proc/meminfo: memFree=30768144/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=335380 CPUtime=642.32
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 39630937 0 0 0 59544 4688 0 0 25 0 1 0 133019202 343429120 78456 4089446400 4194304 9819077 140735470451200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 83845 78456 741 1374 0 82466 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 335380

[startup+702.301 s]

################
# More data... #
################

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16152
/proc/meminfo: memFree=30694900/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=407404 CPUtime=1002.33
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 57768388 0 0 0 93347 6886 0 0 25 0 1 0 133019202 417181696 96396 4089446400 4194304 9819077 140735470451200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 101851 96396 741 1374 0 100472 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 407404

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16154
/proc/meminfo: memFree=30683456/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=418432 CPUtime=1062.33
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 60228761 0 0 0 99042 7191 0 0 25 0 1 0 133019202 428474368 99223 4089446400 4194304 9819077 140735470451200 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 104608 99223 741 1374 0 103229 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 418432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16155
/proc/meminfo: memFree=30667176/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=434112 CPUtime=1122.33
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 62718184 0 0 0 104724 7509 0 0 25 0 1 0 133019202 444530688 103224 4089446400 4194304 9819077 140735470451200 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 108528 103224 741 1374 0 107149 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 434112

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16157
/proc/meminfo: memFree=30655360/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=447308 CPUtime=1182.34
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 65362058 0 0 0 110400 7834 0 0 25 0 1 0 133019202 458043392 106379 4089446400 4194304 9819077 140735470451200 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 111827 106379 741 1374 0 110448 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 447308

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16158
/proc/meminfo: memFree=30641056/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=459904 CPUtime=1242.34
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 68242504 0 0 0 116057 8177 0 0 25 0 1 0 133019202 470941696 109469 4089446400 4194304 9819077 140735470451200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 114976 109469 741 1374 0 113597 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 459904

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16160
/proc/meminfo: memFree=30629364/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=470052 CPUtime=1302.35
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 71327995 0 0 0 121700 8535 0 0 25 0 1 0 133019202 481333248 112165 4089446400 4194304 9819077 140735470451200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 117513 112165 741 1374 0 116134 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 470052

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16162
/proc/meminfo: memFree=30615556/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=494948 CPUtime=1362.35
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 74451166 0 0 0 127323 8912 0 0 25 0 1 0 133019202 506826752 116365 4089446400 4194304 9819077 140735470451200 18446744073709551615 6367342 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 123737 116365 741 1374 0 122358 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 494948

[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 16163
/proc/meminfo: memFree=30602360/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=496736 CPUtime=1422.36
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 77639070 0 0 0 132935 9301 0 0 25 0 1 0 133019202 508657664 118819 4089446400 4194304 9819077 140735470451200 18446744073709551615 6670503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 124184 118819 741 1374 0 122805 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 496736

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16165
/proc/meminfo: memFree=30592148/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=507912 CPUtime=1482.36
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 80799310 0 0 0 138563 9673 0 0 25 0 1 0 133019202 520101888 121484 4089446400 4194304 9819077 140735470451200 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 126978 121484 741 1374 0 125599 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 507912

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16166
/proc/meminfo: memFree=30580332/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=519300 CPUtime=1542.35
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 83839082 0 0 0 144192 10043 0 0 25 0 1 0 133019202 531763200 124471 4089446400 4194304 9819077 140735470451200 18446744073709551615 7486794 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 129825 124471 741 1374 0 128446 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 519300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16168
/proc/meminfo: memFree=30564064/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=532588 CPUtime=1602.35
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 86605366 0 0 0 149855 10380 0 0 25 0 1 0 133019202 545370112 127717 4089446400 4194304 9819077 140735470451200 18446744073709551615 6581282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 133147 127717 741 1374 0 131768 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 532588

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16170
/proc/meminfo: memFree=30551384/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=545012 CPUtime=1662.36
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 89422508 0 0 0 155529 10707 0 0 25 0 1 0 133019202 558092288 130857 4089446400 4194304 9819077 140735470451200 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16115/statm: 136253 130857 741 1374 0 134874 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 545012

[startup+1722.3 s]
/proc/loadavg: 2.21 2.08 2.03 3/197 16244
/proc/meminfo: memFree=30486272/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=551760 CPUtime=1722.35
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 91851256 0 0 0 161212 11023 0 0 25 0 1 0 133019202 565002240 132078 4089446400 4194304 9819077 140735470451200 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16115/statm: 137940 132107 741 1374 0 136561 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 551760

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/197 16246
/proc/meminfo: memFree=30444436/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=567748 CPUtime=1782.35
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 94452971 0 0 0 166888 11347 0 0 25 0 1 0 133019202 581373952 136729 4089446400 4194304 9819077 140735470451200 18446744073709551615 6589094 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16115/statm: 141937 136729 741 1374 0 140558 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 567748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.06 2.02 3/197 16246
/proc/meminfo: memFree=30435128/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=568100 CPUtime=1800.06
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 95254357 0 0 0 168564 11442 0 0 25 0 1 0 133019202 581734400 136776 4089446400 4194304 9819077 140735470451200 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16115/statm: 142025 136776 741 1374 0 140646 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 568100

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.06 2.02 3/197 16246
/proc/meminfo: memFree=30435128/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=315532 CPUtime=1800.25
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 95255413 0 0 0 168582 11443 0 0 18 0 1 0 133019202 323104768 74110 4089446400 4194304 9819077 140735470451200 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16115/statm: 78883 74110 744 1374 0 77504 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 315532

[startup+1800.4 s]
/proc/loadavg: 2.06 2.06 2.02 3/197 16246
/proc/meminfo: memFree=30435128/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=309140 CPUtime=1800.45
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 95255413 0 0 0 168602 11443 0 0 18 0 1 0 133019202 316559360 72512 4089446400 4194304 9819077 140735470451200 18446744073709551615 5956512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16115/statm: 77285 72512 744 1374 0 75906 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 309140

[startup+1800.5 s]
/proc/loadavg: 2.06 2.06 2.02 3/197 16246
/proc/meminfo: memFree=30435128/32950928 swapFree=67111528/67111528
[pid=16115] ppid=16113 vsize=294656 CPUtime=1800.55
/proc/16115/stat : 16115 (pbscip.linux.x8) R 16113 16115 15003 0 -1 4202496 95255413 0 0 0 168611 11444 0 0 18 0 1 0 133019202 301727744 68899 4089446400 4194304 9819077 140735470451200 18446744073709551615 4698817 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16115/statm: 73664 68899 744 1374 0 72285 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 294656

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.65
CPU user time (s): 1686.19
CPU system time (s): 114.455
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 579296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1686.19
system time used= 114.455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95255417
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= 1295

runsolver used 2.71759 second user time and 6.10107 second system time

The end

Launcher Data 

Begin job on node148 at 2010-06-30 19:00:49
IDJOB=2693179
IDBENCH=79086
IDSOLVER=1205
FILE ID=node148/2693179-1277917249
PBS_JOBID= 11197282
Free space on /tmp= 74168 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693179-1277917249/watcher-2693179-1277917249 -o /tmp/evaluation-result-2693179-1277917249/solver-2693179-1277917249 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693179-1277917249.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 511a250f181b5f88452d86a600065d28
RANDOM SEED=1027679509

node148.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.836
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.836
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.75
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.836
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	: 5415.14
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.836
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.836
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.78
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.836
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.79
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.836
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.836
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31086052 kB
Buffers:        200520 kB
Cached:        1280296 kB
SwapCached:          0 kB
Active:         720896 kB
Inactive:       997768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31086052 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7028 kB
Writeback:           0 kB
AnonPages:      238736 kB
Mapped:          17040 kB
Slab:            81412 kB
PageTables:       5436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   389980 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= 74164 MiB
End job on node148 at 2010-06-30 19:30:51