Trace number 2705027

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.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.26 1790.22

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
MD5SUM24165b373ac62bb316922f56a500ddfe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.099984
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5072
Total number of constraints12829
Number of soft constraints8490
Number of constraints which are clauses11721
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1108
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 429589
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 429588
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705027-1278574752.wbo>
0.09/0.14	c original problem has 22052 variables (13562 bin, 0 int, 8490 impl, 0 cont) and 21320 constraints
0.09/0.14	c problem read
0.09/0.14	c presolving settings loaded
0.19/0.27	c presolving:
0.29/0.30	c (round 1) 29 del vars, 3 del conss, 0 chg bounds, 554 chg sides, 1108 chg coeffs, 0 upgd conss, 10356 impls, 0 clqs
0.29/0.31	c (round 2) 30 del vars, 60 del conss, 0 chg bounds, 554 chg sides, 1108 chg coeffs, 0 upgd conss, 10356 impls, 0 clqs
0.29/0.33	c (round 3) 31 del vars, 60 del conss, 8489 chg bounds, 554 chg sides, 1108 chg coeffs, 0 upgd conss, 10356 impls, 0 clqs
0.29/0.39	c (round 4) 31 del vars, 60 del conss, 8489 chg bounds, 554 chg sides, 1108 chg coeffs, 4283 upgd conss, 26612 impls, 0 clqs
0.79/0.82	c    (0.7s) probing: 188/13532 (1.4%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.79/0.82	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.82	c presolving (5 rounds):
0.79/0.82	c  31 deleted vars, 60 deleted constraints, 8489 tightened bounds, 0 added holes, 554 changed sides, 1108 changed coefficients
0.79/0.82	c  26620 implications, 0 cliques
0.79/0.82	c presolved problem has 22021 variables (13532 bin, 0 int, 8489 impl, 0 cont) and 21260 constraints
0.79/0.82	c       1 constraints of type <varbound>
0.79/0.82	c     386 constraints of type <knapsack>
0.79/0.82	c    2623 constraints of type <setppc>
0.79/0.82	c    8488 constraints of type <linear>
0.79/0.82	c    8489 constraints of type <indicator>
0.79/0.82	c    1273 constraints of type <logicor>
0.79/0.82	c transformed objective value is always integral (scale: 1)
0.79/0.82	c Presolving Time: 0.61
0.79/0.82	c - non default parameters ----------------------------------------------------------------------
0.79/0.82	c # SCIP version 1.2.1.3
0.79/0.82	c 
0.79/0.82	c # frequency for displaying node information lines
0.79/0.82	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.82	c display/freq = 10000
0.79/0.82	c 
0.79/0.82	c # maximal time in seconds to run
0.79/0.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82	c limits/time = 1789.87
0.79/0.82	c 
0.79/0.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82	c limits/memory = 3420
0.79/0.82	c 
0.79/0.82	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.82	c # [type: int, range: [1,2], default: 1]
0.79/0.82	c timing/clocktype = 2
0.79/0.82	c 
0.79/0.82	c # should presolving try to simplify inequalities
0.79/0.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82	c constraints/linear/simplifyinequalities = TRUE
0.79/0.82	c 
0.79/0.82	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82	c constraints/indicator/addCouplingCons = TRUE
0.79/0.82	c 
0.79/0.82	c # should presolving try to simplify knapsacks
0.79/0.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82	c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.82	c 
0.79/0.82	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.82	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.82	c separating/rapidlearning/freq = 0
0.79/0.82	c 
0.79/0.82	c -----------------------------------------------------------------------------------------------
0.79/0.82	c start solving
0.79/0.83	c 
0.79/0.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.87	c   0.7s|     1 |     0 |   303 |     - |  76M|   0 | 191 |  22k|  21k|  22k|4282 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.38	c   1.2s|     1 |     0 |   652 |     - |  77M|   0 | 340 |  22k|  21k|  22k|4613 | 331 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.11	c   2.0s|     1 |     0 |  1283 |     - |  78M|   0 | 541 |  22k|  21k|  22k|5098 | 816 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.39/3.40	c   3.3s|     1 |     0 |  2261 |     - |  78M|   0 | 879 |  22k|  21k|  22k|5714 |1432 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.99/5.00	c   4.9s|     1 |     0 |  3653 |     - |  79M|   0 |1131 |  22k|  21k|  22k|6183 |1901 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.89/6.95	c   6.8s|     1 |     0 |  5064 |     - |  79M|   0 |1344 |  22k|  21k|  22k|6552 |2270 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.79/9.87	c   9.7s|     1 |     0 |  7039 |     - |  79M|   0 |1441 |  22k|  21k|  22k|6884 |2602 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.00/11.03	c  10.9s|     1 |     2 |  7039 |     - |  79M|   0 |1441 |  22k|  21k|  22k|6884 |2602 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
533.70/533.79	c   534s| 10000 |  9978 |406212 |  39.9 | 156M| 283 | 207 |  22k|  21k|  22k|6019 |2602 | 291 |5097 | 0.000000e+00 |      --      |    Inf 
808.00/808.07	c   808s| 20000 | 19964 |546711 |  27.0 | 230M| 283 | 381 |  22k|  21k|  22k|6019 |2602 | 367 |6626 | 0.000000e+00 |      --      |    Inf 
1089.51/1089.53	c  1089s| 30000 | 29948 |715022 |  23.6 | 305M| 283 | 742 |  22k|  21k|  22k|6019 |2602 | 405 |8513 | 0.000000e+00 |      --      |    Inf 
1386.11/1386.12	c  1386s| 40000 | 39931 |941441 |  23.4 | 380M| 283 | 361 |  22k|  21k|  22k|6019 |2602 | 454 |  10k| 0.000000e+00 |      --      |    Inf 
1682.63/1682.68	c  1683s| 50000 | 49907 |  1171k|  23.3 | 455M| 283 | 353 |  22k|  21k|  22k|6019 |2602 | 508 |  12k| 0.000000e+00 |      --      |    Inf 
1790.02/1790.02	c 
1790.02/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.02	c Solving Time (sec) : 1789.87
1790.02/1790.02	c Solving Nodes      : 53522
1790.02/1790.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.02/1790.02	c Dual Bound         : +0.00000000000000e+00
1790.02/1790.02	c Gap                : infinite
1790.02/1790.02	s UNKNOWN
1790.02/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.02	c Solving Time       :    1789.87
1790.02/1790.02	c Original Problem   :
1790.02/1790.02	c   Problem name     : HOME/instance-2705027-1278574752.wbo
1790.02/1790.02	c   Variables        : 22052 (13562 binary, 0 integer, 8490 implicit integer, 0 continuous)
1790.02/1790.02	c   Constraints      : 21320 initial, 21320 maximal
1790.02/1790.02	c Presolved Problem  :
1790.02/1790.02	c   Problem name     : t_HOME/instance-2705027-1278574752.wbo
1790.02/1790.02	c   Variables        : 22021 (13532 binary, 0 integer, 8489 implicit integer, 0 continuous)
1790.02/1790.02	c   Constraints      : 21260 initial, 21648 maximal
1790.02/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.02/1790.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.02	c   dualfix          :       0.00          2          0          0          0          0          0          0          0
1790.02/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.02	c   implics          :       0.00          0         28          0          0          0          0          0          0
1790.02/1790.02	c   probing          :       0.40          0          0          0          0          0          0          0          0
1790.02/1790.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.02	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.02	c   linear           :       0.10          0          1          0       8489          0         59        554       1108
1790.02/1790.02	c   indicator        :       0.01          0          0          0          0          0          1          0          0
1790.02/1790.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.02/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1790.02/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.02	c   integral         :          0          0          0      53509          0          0         37          0          0     106948
1790.02/1790.02	c   varbound         :          1          6     204531          0          0          0          0          1          0          0
1790.02/1790.02	c   knapsack         :        386          6     204531          0          0        173      53061        785          0          0
1790.02/1790.02	c   setppc           :       2623          6     204358          0          0          0      42245          0          0          0
1790.02/1790.02	c   linear           :       8488          6     204358          0          0          0      13257       1104          0          0
1790.02/1790.02	c   indicator        :       8489          0     204358          0          0          0      10054          0          0          0
1790.02/1790.02	c   logicor          :       1273+         6      30809          0          0          5       3043          0          0          0
1790.02/1790.02	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1790.02/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.02/1790.02	c   integral         :     185.77       0.00       0.00     185.77       0.00
1790.02/1790.02	c   varbound         :       0.21       0.00       0.21       0.00       0.00
1790.02/1790.02	c   knapsack         :       5.00       0.02       4.98       0.00       0.00
1790.02/1790.02	c   setppc           :      29.22       0.00      29.22       0.00       0.00
1790.02/1790.02	c   linear           :      54.60       0.02      54.58       0.00       0.00
1790.02/1790.02	c   indicator        :      89.45       0.00      89.44       0.00       0.00
1790.02/1790.02	c   logicor          :       0.15       0.00       0.15       0.00       0.00
1790.02/1790.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.02/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.02/1790.02	c   vbounds          :       4.36      26027          0          0
1790.02/1790.02	c   rootredcost      :       0.13          0          0          0
1790.02/1790.02	c   pseudoobj        :      82.00     204156          0          0
1790.02/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.02/1790.02	c   propagation      :       0.00        178        178        416       13.3          6       11.5          -
1790.02/1790.02	c   infeasible LP    :       0.58        241        241        248        5.0          3        6.7          0
1790.02/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.02	c   applied globally :          -          -          -        521        8.8          -          -          -
1790.02/1790.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.02/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.02/1790.02	c   cut pool         :       0.00          5          -          -        321          -    (maximal pool size: 2273)
1790.02/1790.02	c   redcost          :      73.73      53514          0          0          0          0
1790.02/1790.02	c   impliedbounds    :       0.01          6          0          0          0          0
1790.02/1790.02	c   intobj           :       0.00          0          0          0          0          0
1790.02/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1790.02/1790.02	c   gomory           :       1.57          6          0          0       1025          0
1790.02/1790.02	c   strongcg         :       1.30          6          0          0        950          0
1790.02/1790.02	c   cmir             :       1.47          6          0          0       1071          0
1790.02/1790.02	c   flowcover        :       1.64          6          0          0       1201          0
1790.02/1790.02	c   clique           :       0.01          6          0          0          0          0
1790.02/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1790.02/1790.02	c   mcf              :       0.01          1          0          0          0          0
1790.02/1790.02	c   rapidlearning    :       0.00          0          0          0          0          0
1790.02/1790.02	c Pricers            :       Time      Calls       Vars
1790.02/1790.02	c   problem variables:       0.00          0          0
1790.02/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.02	c   relpscost        :     185.63      53509          0         37          0          0     106948
1790.02/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1790.02/1790.02	c   inference        :       0.00          0          0          0          0          0          0
1790.02/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1790.02/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1790.02/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.02/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.02/1790.02	c   random           :       0.00          0          0          0          0          0          0
1790.02/1790.02	c Primal Heuristics  :       Time      Calls      Found
1790.02/1790.02	c   LP solutions     :       0.00          -          0
1790.02/1790.02	c   pseudo solutions :       0.00          -          0
1790.02/1790.02	c   oneopt           :       0.08          0          0
1790.02/1790.02	c   crossover        :       0.03          0          0
1790.02/1790.02	c   guideddiving     :       0.00          0          0
1790.02/1790.02	c   intshifting      :       0.00          0          0
1790.02/1790.02	c   objpscostdiving  :      14.10          2          0
1790.02/1790.02	c   rootsoldiving    :       8.49         14          0
1790.02/1790.02	c   veclendiving     :     146.69         75          0
1790.02/1790.02	c   coefdiving       :     157.49         75          0
1790.02/1790.02	c   fracdiving       :     163.81         75          0
1790.02/1790.02	c   feaspump         :       4.75         38          0
1790.02/1790.02	c   linesearchdiving :     153.72         76          0
1790.02/1790.02	c   pscostdiving     :     161.23         76          0
1790.02/1790.02	c   trivial          :       0.03          2          0
1790.02/1790.02	c   simplerounding   :       0.23      52495          0
1790.02/1790.02	c   zirounding       :       0.39       1000          0
1790.02/1790.02	c   rounding         :       1.68       3195          0
1790.02/1790.02	c   shifting         :       6.72        957          0
1790.02/1790.02	c   twoopt           :       0.00          0          0
1790.02/1790.02	c   fixandinfer      :       0.00          0          0
1790.02/1790.02	c   intdiving        :       0.00          0          0
1790.02/1790.02	c   actconsdiving    :       0.00          0          0
1790.02/1790.02	c   octane           :       0.00          0          0
1790.02/1790.02	c   rens             :       0.19          1          0
1790.02/1790.02	c   rins             :       0.00          0          0
1790.02/1790.02	c   localbranching   :       0.00          0          0
1790.02/1790.02	c   mutation         :       0.00          0          0
1790.02/1790.02	c   dins             :       0.00          0          0
1790.02/1790.02	c   undercover       :       0.00          0          0
1790.02/1790.02	c   nlp              :       0.02          0          0
1790.02/1790.02	c   trysol           :       0.04          0          0
1790.02/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.02/1790.02	c   primal LP        :       0.01          0          0       0.00          -
1790.02/1790.02	c   dual LP          :     387.83      52499     975192      18.58    2514.47
1790.02/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1790.02/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1790.02/1790.02	c   diving/probing LP:     402.20      76415     276669       3.62     687.90
1790.02/1790.02	c   strong branching :     174.45      13202     317414      24.04    1819.47
1790.02/1790.02	c     (at root node) :          -         17       1718     101.06          -
1790.02/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1790.02/1790.02	c B&B Tree           :
1790.02/1790.02	c   number of runs   :          1
1790.02/1790.02	c   nodes            :      53522
1790.02/1790.02	c   nodes (total)    :      53522
1790.02/1790.02	c   nodes left       :      53425
1790.02/1790.02	c   max depth        :        283
1790.02/1790.02	c   max depth (total):        283
1790.02/1790.02	c   backtracks       :        399 (0.7%)
1790.02/1790.02	c   delayed cutoffs  :          2
1790.02/1790.02	c   repropagations   :       1067 (93 domain reductions, 2 cutoffs)
1790.02/1790.02	c   avg switch length:       2.58
1790.02/1790.02	c   switching time   :      10.34
1790.02/1790.02	c Solution           :
1790.02/1790.02	c   Solutions found  :          0 (0 improvements)
1790.02/1790.02	c   Primal Bound     :          -
1790.02/1790.02	c   Dual Bound       : +0.00000000000000e+00
1790.02/1790.02	c   Gap              :   infinite
1790.02/1790.02	c   Root Dual Bound  : +0.00000000000000e+00
1790.02/1790.02	c   Root Iterations  :       7039
1790.23/1790.22	c Time complete: 1790.25.

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-2705027-1278574752/watcher-2705027-1278574752 -o /tmp/evaluation-result-2705027-1278574752/solver-2705027-1278574752 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705027-1278574752.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: 1.84 1.97 1.67 2/173 20993
/proc/meminfo: memFree=30346732/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=12344 CPUtime=0
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 1922 0 0 0 0 0 0 0 21 0 1 0 25687767 12640256 1840 4089446400 4194304 10345943 140736413813968 18446744073709551615 4245996 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20993/statm: 3086 1840 429 1502 0 1579 0

[startup+0.0609519 s]
/proc/loadavg: 1.84 1.97 1.67 2/173 20993
/proc/meminfo: memFree=30346732/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=26752 CPUtime=0.05
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 5542 0 0 0 5 0 0 0 21 0 1 0 25687767 27394048 5460 4089446400 4194304 10345943 140736413813968 18446744073709551615 9134658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20993/statm: 6897 5501 430 1502 0 5390 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26752

[startup+0.100945 s]
/proc/loadavg: 1.84 1.97 1.67 2/173 20993
/proc/meminfo: memFree=30346732/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=34616 CPUtime=0.09
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 7492 0 0 0 9 0 0 0 21 0 1 0 25687767 35446784 7410 4089446400 4194304 10345943 140736413813968 18446744073709551615 9134608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20993/statm: 8654 7410 430 1502 0 7147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34616

[startup+0.300908 s]
/proc/loadavg: 1.84 1.97 1.67 2/173 20993
/proc/meminfo: memFree=30346732/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=92928 CPUtime=0.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 21848 0 0 0 27 2 0 0 21 0 1 0 25687767 95158272 21376 4089446400 4194304 10345943 140736413813968 18446744073709551615 4305240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20993/statm: 23232 21376 538 1502 0 21725 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92928

[startup+0.700834 s]
/proc/loadavg: 1.84 1.97 1.67 2/173 20993
/proc/meminfo: memFree=30346732/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=102864 CPUtime=0.69
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 24485 0 0 0 67 2 0 0 22 0 1 0 25687767 105332736 23996 4089446400 4194304 10345943 140736413813968 18446744073709551615 5211829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20993/statm: 25716 23996 602 1502 0 24209 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102864

[startup+1.50069 s]
/proc/loadavg: 1.78 1.95 1.67 2/174 20994
/proc/meminfo: memFree=30234504/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=130160 CPUtime=1.49
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 30097 0 0 0 146 3 0 0 25 0 1 0 25687767 133283840 29569 4089446400 4194304 10345943 140736413813968 18446744073709551615 6197330 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20993/statm: 32540 29569 757 1502 0 31033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130160

[startup+3.10039 s]
/proc/loadavg: 1.78 1.95 1.67 3/179 21004
/proc/meminfo: memFree=30174572/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=131728 CPUtime=3.09
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 30791 0 0 0 306 3 0 0 25 0 1 0 25687767 134889472 29844 4089446400 4194304 10345943 140736413813968 18446744073709551615 6149753 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20993/statm: 32932 29844 760 1502 0 31425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131728

[startup+6.30082 s]
/proc/loadavg: 1.78 1.95 1.67 3/179 21004
/proc/meminfo: memFree=30150040/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=137804 CPUtime=6.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 32396 0 0 0 626 3 0 0 25 0 1 0 25687767 141111296 31440 4089446400 4194304 10345943 140736413813968 18446744073709551615 6149708 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20993/statm: 34451 31440 761 1502 0 32944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137804

[startup+12.7007 s]
/proc/loadavg: 1.81 1.95 1.67 3/179 21004
/proc/meminfo: memFree=30142156/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=145804 CPUtime=12.68
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 55726 0 0 0 1260 8 0 0 25 0 1 0 25687767 149303296 32469 4089446400 4194304 10345943 140736413813968 18446744073709551615 7570096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20993/statm: 36451 32469 787 1502 0 34944 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145804

[startup+25.5004 s]
/proc/loadavg: 1.84 1.95 1.67 3/179 21005
/proc/meminfo: memFree=30141208/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=147280 CPUtime=25.49
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 59654 0 0 0 2538 11 0 0 25 0 1 0 25687767 150814720 33441 4089446400 4194304 10345943 140736413813968 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20993/statm: 36820 33441 791 1502 0 35313 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 147280

[startup+51.1007 s]
/proc/loadavg: 1.89 1.95 1.68 3/179 21005
/proc/meminfo: memFree=30129232/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=142660 CPUtime=51.09
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 103891 0 0 0 5086 23 0 0 25 0 1 0 25687767 146083840 33245 4089446400 4194304 10345943 140736413813968 18446744073709551615 7524308 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20993/statm: 35665 33245 791 1502 0 34158 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142660

[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.70 3/179 21007
/proc/meminfo: memFree=30087608/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=153476 CPUtime=102.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 159372 0 0 0 10188 41 0 0 25 0 1 0 25687767 157159424 34139 4089446400 4194304 10345943 140736413813968 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 38369 34139 803 1502 0 36862 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 153476

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.72 3/179 21008
/proc/meminfo: memFree=30049116/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=144628 CPUtime=162.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 235800 0 0 0 16169 60 0 0 25 0 1 0 25687767 148099072 33871 4089446400 4194304 10345943 140736413813968 18446744073709551615 5926370 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 36157 33871 804 1502 0 34650 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 144628

[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.73 3/179 21010
/proc/meminfo: memFree=30003932/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=153032 CPUtime=222.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 330040 0 0 0 22147 82 0 0 25 0 1 0 25687767 156704768 36079 4089446400 4194304 10345943 140736413813968 18446744073709551615 6804110 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 38258 36079 804 1502 0 36751 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 153032

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.75 3/179 21011
/proc/meminfo: memFree=29954868/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=161760 CPUtime=282.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 420708 0 0 0 28127 102 0 0 25 0 1 0 25687767 165642240 38293 4089446400 4194304 10345943 140736413813968 18446744073709551615 6520119 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 40440 38293 804 1502 0 38933 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 161760

[startup+342.3 s]
/proc/loadavg: 2.05 1.99 1.76 3/179 21013
/proc/meminfo: memFree=29912536/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=169504 CPUtime=342.3
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 478379 0 0 0 34112 118 0 0 25 0 1 0 25687767 173572096 40280 4089446400 4194304 10345943 140736413813968 18446744073709551615 6785446 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 42376 40280 804 1502 0 40869 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 169504

[startup+402.3 s]
/proc/loadavg: 2.02 1.99 1.77 3/179 21015
/proc/meminfo: memFree=29864512/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=186440 CPUtime=402.29
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 557353 0 0 0 40094 135 0 0 25 0 1 0 25687767 190914560 43099 4089446400 4194304 10345943 140736413813968 18446744073709551615 9107408 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 46610 43099 804 1502 0 45103 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 186440

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 21016
/proc/meminfo: memFree=29809664/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=198200 CPUtime=462.3
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 603235 0 0 0 46081 149 0 0 25 0 1 0 25687767 202956800 46662 4089446400 4194304 10345943 140736413813968 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 49550 46662 804 1502 0 48043 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 198200

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 21018
/proc/meminfo: memFree=29762624/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=212624 CPUtime=522.3
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 625069 0 0 0 52070 160 0 0 25 0 1 0 25687767 217726976 50613 4089446400 4194304 10345943 140736413813968 18446744073709551615 5926374 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 53156 50613 804 1502 0 51649 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 212624

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 21019
/proc/meminfo: memFree=29706164/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=230460 CPUtime=582.31
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 645018 0 0 0 58061 170 0 0 25 0 1 0 25687767 235991040 54932 4089446400 4194304 10345943 140736413813968 18446744073709551615 8160400 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 57615 54932 804 1502 0 56108 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 230460

[startup+642.3 s]
/proc/loadavg: 2.06 2.01 1.83 3/179 21021
/proc/meminfo: memFree=29649712/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=247196 CPUtime=642.31
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 651749 0 0 0 64054 177 0 0 25 0 1 0 25687767 253128704 59056 4089446400 4194304 10345943 140736413813968 18446744073709551615 6528201 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 61799 59056 804 1502 0 60292 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 247196

[startup+702.3 s]

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

/proc/meminfo: memFree=29267332/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=357928 CPUtime=1062.31
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 778614 0 0 0 105985 246 0 0 25 0 1 0 25687767 366518272 87076 4089446400 4194304 10345943 140736413813968 18446744073709551615 6777395 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 89482 87076 804 1502 0 87975 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 357928

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21034
/proc/meminfo: memFree=29210992/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=371308 CPUtime=1122.32
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 793535 0 0 0 111977 255 0 0 25 0 1 0 25687767 380219392 90595 4089446400 4194304 10345943 140736413813968 18446744073709551615 6003051 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 92827 90595 804 1502 0 91320 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 371308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21035
/proc/meminfo: memFree=29152684/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=390060 CPUtime=1182.32
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 804314 0 0 0 117969 263 0 0 25 0 1 0 25687767 399421440 94970 4089446400 4194304 10345943 140736413813968 18446744073709551615 8160845 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 97515 94970 804 1502 0 96008 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 390060

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/179 21037
/proc/meminfo: memFree=29098816/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=401396 CPUtime=1242.33
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 820358 0 0 0 123960 273 0 0 25 0 1 0 25687767 411029504 98083 4089446400 4194304 10345943 140736413813968 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 100349 98083 804 1502 0 98842 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 401396

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/179 21039
/proc/meminfo: memFree=29052364/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=415832 CPUtime=1302.33
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 845783 0 0 0 129946 287 0 0 25 0 1 0 25687767 425811968 101723 4089446400 4194304 10345943 140736413813968 18446744073709551615 6847612 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 103958 101723 804 1502 0 102451 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 415832

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21049
/proc/meminfo: memFree=29003012/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=431212 CPUtime=1362.32
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 865765 0 0 0 135933 299 0 0 25 0 1 0 25687767 441561088 105235 4089446400 4194304 10345943 140736413813968 18446744073709551615 6003101 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 107803 105235 804 1502 0 106296 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 431212

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21051
/proc/meminfo: memFree=28941936/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=446888 CPUtime=1422.32
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 874452 0 0 0 141924 308 0 0 25 0 1 0 25687767 457613312 109379 4089446400 4194304 10345943 140736413813968 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 111722 109379 804 1502 0 110215 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 446888

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21052
/proc/meminfo: memFree=28888944/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=458348 CPUtime=1482.31
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 899260 0 0 0 147912 319 0 0 25 0 1 0 25687767 469348352 112223 4089446400 4194304 10345943 140736413813968 18446744073709551615 6518612 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 114587 112223 804 1502 0 113080 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 458348

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 21054
/proc/meminfo: memFree=28832340/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=473128 CPUtime=1542.32
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 924940 0 0 0 153901 331 0 0 25 0 1 0 25687767 484483072 115945 4089446400 4194304 10345943 140736413813968 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 118282 115945 804 1502 0 116775 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 473128

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21056
/proc/meminfo: memFree=28785160/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=488908 CPUtime=1602.32
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 943749 0 0 0 159890 342 0 0 25 0 1 0 25687767 500641792 119556 4089446400 4194304 10345943 140736413813968 18446744073709551615 7569574 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 122227 119556 804 1502 0 120720 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 488908

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21057
/proc/meminfo: memFree=28724480/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=504372 CPUtime=1662.33
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 950596 0 0 0 165882 351 0 0 25 0 1 0 25687767 516476928 123975 4089446400 4194304 10345943 140736413813968 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 126093 123975 804 1502 0 124586 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 504372

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21059
/proc/meminfo: memFree=28667888/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=519916 CPUtime=1722.33
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 967095 0 0 0 171869 364 0 0 25 0 1 0 25687767 532393984 127686 4089446400 4194304 10345943 140736413813968 18446744073709551615 6864695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 129979 127686 804 1502 0 128472 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 519916

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28607324/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=533708 CPUtime=1782.33
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 990346 0 0 0 177858 375 0 0 25 0 1 0 25687767 546516992 131409 4089446400 4194304 10345943 140736413813968 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 133427 131409 804 1502 0 131920 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 533708

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28605572/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=536736 CPUtime=1785.53
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 991232 0 0 0 178177 376 0 0 25 0 1 0 25687767 549617664 131711 4089446400 4194304 10345943 140736413813968 18446744073709551615 6323058 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 134184 131711 804 1502 0 132677 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 536736

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28601104/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=536328 CPUtime=1788.73
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 991982 0 0 0 178496 377 0 0 25 0 1 0 25687767 549199872 131891 4089446400 4194304 10345943 140736413813968 18446744073709551615 8160361 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 134082 131891 804 1502 0 132575 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 536328

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28601104/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=537720 CPUtime=1789.53
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 992444 0 0 0 178576 377 0 0 25 0 1 0 25687767 550625280 132011 4089446400 4194304 10345943 140736413813968 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 134430 132011 804 1502 0 132923 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 537720

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28600856/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=537648 CPUtime=1789.93
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 992747 0 0 0 178616 377 0 0 25 0 1 0 25687767 550551552 132058 4089446400 4194304 10345943 140736413813968 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20993/statm: 134412 132058 804 1502 0 132905 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 537648

[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28600856/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=537664 CPUtime=1790.12
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 992899 0 0 0 178635 377 0 0 25 0 1 0 25687767 550567936 132065 4089446400 4194304 10345943 140736413813968 18446744073709551615 4969456 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20993/statm: 134416 132065 805 1502 0 132909 0
Current children cumulated CPU time (s) 1790.12
Current children cumulated vsize (KiB) 537664

[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21060
/proc/meminfo: memFree=28600856/32951124 swapFree=67111528/67111528
[pid=20993] ppid=20991 vsize=133896 CPUtime=1790.23
/proc/20993/stat : 20993 (pbscip.linux.x8) R 20991 20993 20723 0 -1 4202496 992899 0 0 0 178644 379 0 0 25 0 1 0 25687767 137109504 31721 4089446400 4194304 10345943 140736413813968 18446744073709551615 4894077 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20993/statm: 33474 31721 805 1502 0 31967 0
Current children cumulated CPU time (s) 1790.23
Current children cumulated vsize (KiB) 133896

Child status: 0
Real time (s): 1790.22
CPU time (s): 1790.26
CPU user time (s): 1786.46
CPU system time (s): 3.79942
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 542056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.46
system time used= 3.79942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 992902
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= 4
involuntary context switches= 21911

runsolver used 2.87756 second user time and 6.83396 second system time

The end

Launcher Data 

Begin job on node137 at 2010-07-08 09:39:12
IDJOB=2705027
IDBENCH=79001
IDSOLVER=1214
FILE ID=node137/2705027-1278574752
PBS_JOBID= 11240181
Free space on /tmp= 73608 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-25s.smv--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-2705027-1278574752/watcher-2705027-1278574752 -o /tmp/evaluation-result-2705027-1278574752/solver-2705027-1278574752 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705027-1278574752.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 24165b373ac62bb316922f56a500ddfe
RANDOM SEED=982638039

node137.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.829
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.65
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.829
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.829
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.829
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.829
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.76
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.829
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.83
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.829
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.829
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	: 5246.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30347012 kB
Buffers:        160340 kB
Cached:        2228860 kB
SwapCached:          0 kB
Active:        1173348 kB
Inactive:      1278964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30347012 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13388 kB
Writeback:           0 kB
AnonPages:       63312 kB
Mapped:          14412 kB
Slab:            87572 kB
PageTables:       4532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182196 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= 73584 MiB
End job on node137 at 2010-07-08 10:09:03