Trace number 3741728

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 NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1791.08 1791.36

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-stp3d.opb
MD5SUM1cc8070e576e6483e1f532bdbbfa41dd
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
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: SoPlex 1.4.2]
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-3741728-1338761564.opb>
1.59/1.65	c original problem has 204880 variables (204880 bin, 0 int, 0 impl, 0 cont) and 159488 constraints
1.59/1.65	c problem read
1.59/1.65	c presolving settings loaded
2.78/2.81	c presolving:
3.89/3.91	c (round 1) 62994 del vars, 50882 del conss, 15668 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 258664 impls, 2191 clqs
4.18/4.24	c (round 2) 63070 del vars, 60792 del conss, 15690 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 258886 impls, 2198 clqs
4.29/4.37	c (round 3) 66926 del vars, 61155 del conss, 16143 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 259706 impls, 2001 clqs
4.39/4.47	c (round 4) 67060 del vars, 61403 del conss, 16229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 259760 impls, 1999 clqs
4.58/4.63	c (round 5) 67157 del vars, 61425 del conss, 16232 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 259788 impls, 1994 clqs
4.58/4.67	c (round 6) 67211 del vars, 61484 del conss, 16276 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 259790 impls, 1991 clqs
4.68/4.77	c (round 7) 67216 del vars, 61495 del conss, 16279 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 259792 impls, 1992 clqs
5.50/5.51	c (round 8) 67218 del vars, 61496 del conss, 16279 chg bounds, 0 chg sides, 0 chg coeffs, 73715 upgd conss, 259792 impls, 1992 clqs
37.39/37.49	c    (35.8s) probing: 1000/137661 (0.7%) - 0 fixings, 0 aggregations, 292741 implications, 0 bound changes
58.98/59.06	c (round 9) 67274 del vars, 61496 del conss, 16279 chg bounds, 0 chg sides, 0 chg coeffs, 73715 upgd conss, 5700248 impls, 1992 clqs
59.18/59.23	c (round 10) 67274 del vars, 61556 del conss, 16279 chg bounds, 0 chg sides, 0 chg coeffs, 73715 upgd conss, 5700248 impls, 1992 clqs
73.58/73.67	c    (72.0s) probing: 2000/137661 (1.5%) - 61 fixings, 0 aggregations, 540087 implications, 0 bound changes
108.78/108.88	c    (107.2s) probing: 3000/137661 (2.2%) - 62 fixings, 0 aggregations, 678053 implications, 0 bound changes
144.07/144.12	c    (142.5s) probing: 4000/137661 (2.9%) - 64 fixings, 0 aggregations, 815881 implications, 0 bound changes
179.27/179.37	c    (177.7s) probing: 5000/137661 (3.6%) - 65 fixings, 0 aggregations, 953743 implications, 0 bound changes
214.46/214.59	c    (212.9s) probing: 6000/137661 (4.4%) - 65 fixings, 0 aggregations, 1091847 implications, 0 bound changes
249.75/249.89	c    (248.2s) probing: 7000/137661 (5.1%) - 66 fixings, 0 aggregations, 1229917 implications, 0 bound changes
285.04/285.16	c    (283.5s) probing: 8000/137661 (5.8%) - 66 fixings, 0 aggregations, 1368892 implications, 0 bound changes
289.65/289.79	c    (288.1s) probing: 8131/137661 (5.9%) - 66 fixings, 0 aggregations, 1387363 implications, 0 bound changes
289.65/289.79	c    (288.1s) probing aborted: 2000/2000 successive useless probings
289.75/289.80	c (round 11) 67288 del vars, 61556 del conss, 16279 chg bounds, 0 chg sides, 0 chg coeffs, 73715 upgd conss, 7531610 impls, 1992 clqs
289.95/290.00	c (round 12) 67288 del vars, 61566 del conss, 16279 chg bounds, 0 chg sides, 0 chg coeffs, 73720 upgd conss, 7531610 impls, 1997 clqs
297.25/297.37	c    (295.7s) probing: 8331/137661 (6.1%) - 66 fixings, 0 aggregations, 1415724 implications, 0 bound changes
297.25/297.37	c    (295.7s) probing aborted: 2000/2000 successive useless probings
297.25/297.38	c presolving (13 rounds):
297.25/297.38	c  67290 deleted vars, 61566 deleted constraints, 16279 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
297.25/297.38	c  7588332 implications, 1997 cliques
297.25/297.38	c presolved problem has 137589 variables (137589 bin, 0 int, 0 impl, 0 cont) and 97922 constraints
297.25/297.38	c   73660 constraints of type <setppc>
297.25/297.38	c   24262 constraints of type <linear>
297.25/297.38	c transformed objective value is always integral (scale: 1)
297.25/297.38	c Presolving Time: 295.13
297.25/297.38	c - non default parameters ----------------------------------------------------------------------
297.25/297.38	c # SCIP version 1.2.1.3
297.25/297.38	c 
297.25/297.38	c # frequency for displaying node information lines
297.25/297.38	c # [type: int, range: [-1,2147483647], default: 100]
297.25/297.38	c display/freq = 10000
297.25/297.38	c 
297.25/297.38	c # maximal time in seconds to run
297.25/297.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
297.25/297.38	c limits/time = 1788.36
297.25/297.38	c 
297.25/297.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
297.25/297.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
297.25/297.38	c limits/memory = 13950
297.25/297.38	c 
297.25/297.38	c # default clock type (1: CPU user seconds, 2: wall clock time)
297.25/297.38	c # [type: int, range: [1,2], default: 1]
297.25/297.38	c timing/clocktype = 2
297.25/297.38	c 
297.25/297.38	c # should presolving try to simplify inequalities
297.25/297.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
297.25/297.38	c constraints/linear/simplifyinequalities = TRUE
297.25/297.38	c 
297.25/297.38	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
297.25/297.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
297.25/297.38	c constraints/indicator/addCouplingCons = TRUE
297.25/297.38	c 
297.25/297.38	c # should presolving try to simplify knapsacks
297.25/297.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
297.25/297.38	c constraints/knapsack/simplifyinequalities = TRUE
297.25/297.38	c 
297.25/297.38	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
297.25/297.38	c # [type: int, range: [-1,2147483647], default: -1]
297.25/297.38	c separating/rapidlearning/freq = 0
297.25/297.38	c 
297.25/297.38	c -----------------------------------------------------------------------------------------------
297.25/297.38	c start solving
297.35/297.45	c 
1544.26/1544.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1544.26/1544.50	c  1543s|     1 |     0 |130317 |     - | 781M|   0 |2746 | 137k|  97k| 137k|  97k|   0 |   0 |   0 | 4.818770e+07 |      --      |    Inf 
1790.02/1790.31	c  1789s|     1 |     2 |144342 |     - | 789M|   0 |   - | 137k|  97k| 137k|  97k|   0 |   0 |   0 | 4.818770e+07 |      --      |    Inf 
1790.02/1790.31	c 
1790.02/1790.31	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.31	c Solving Time (sec) : 1788.66
1790.02/1790.31	c Solving Nodes      : 1
1790.02/1790.31	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.02/1790.31	c Dual Bound         : +4.81876999453694e+07
1790.02/1790.31	c Gap                : infinite
1790.02/1790.31	s UNKNOWN
1790.02/1790.31	c SCIP Status        : solving was interrupted [time limit reached]
1790.02/1790.31	c Solving Time       :    1788.66
1790.02/1790.31	c Original Problem   :
1790.02/1790.31	c   Problem name     : HOME/instance-3741728-1338761564.opb
1790.02/1790.31	c   Variables        : 204880 (204880 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.02/1790.31	c   Constraints      : 159488 initial, 159488 maximal
1790.02/1790.31	c Presolved Problem  :
1790.02/1790.31	c   Problem name     : t_HOME/instance-3741728-1338761564.opb
1790.02/1790.31	c   Variables        : 137589 (137589 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.02/1790.31	c   Constraints      : 97922 initial, 97922 maximal
1790.02/1790.31	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.02/1790.31	c   trivial          :       0.19         28          0          0          0          0          0          0          0
1790.02/1790.31	c   dualfix          :       0.15       3496          0          0          0          0          0          0          0
1790.02/1790.31	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.31	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.02/1790.31	c   implics          :       0.14          0          0          0          0          0          0          0          0
1790.02/1790.31	c   probing          :     290.69         66          0          0          0          0          0          0          0
1790.02/1790.31	c   setppc           :       0.67          0          0          0          0          0         60          0          0
1790.02/1790.31	c   linear           :       2.43      16279      47421          0      16279          0      61506          0          0
1790.02/1790.31	c   root node        :          -          0          -          -          0          -          -          -          -
1790.02/1790.31	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.31	c   integral         :          0          0          0          0          0          0          0          0          0          0
1790.02/1790.31	c   setppc           :      73660          0      25216          0          1          9          0          0          0          0
1790.02/1790.31	c   linear           :      24262          0      25207          0          0          7          0          0          0          0
1790.02/1790.31	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1790.02/1790.31	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.02/1790.31	c   integral         :       0.00       0.00       0.00       0.00       0.00
1790.02/1790.31	c   setppc           :     128.44       0.00     128.40       0.00       0.04
1790.02/1790.31	c   linear           :      28.72       0.00      28.72       0.00       0.00
1790.02/1790.31	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.02/1790.31	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.02/1790.31	c   vbounds          :       0.03          2          0          0
1790.02/1790.31	c   rootredcost      :       0.02          0          0          0
1790.02/1790.31	c   pseudoobj        :       0.03          2          0          0
1790.02/1790.31	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.02/1790.31	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.31	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.31	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.31	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.02/1790.31	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.02/1790.31	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.02/1790.31	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.02/1790.31	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.02/1790.31	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1790.02/1790.31	c   redcost          :       0.00          0          0          0          0          0
1790.02/1790.31	c   impliedbounds    :       0.00          0          0          0          0          0
1790.02/1790.31	c   intobj           :       0.00          0          0          0          0          0
1790.02/1790.31	c   cgmip            :       0.00          0          0          0          0          0
1790.02/1790.31	c   gomory           :       0.00          0          0          0          0          0
1790.02/1790.31	c   strongcg         :       0.00          0          0          0          0          0
1790.02/1790.31	c   cmir             :       0.00          0          0          0          0          0
1790.02/1790.31	c   flowcover        :       0.00          0          0          0          0          0
1790.02/1790.31	c   clique           :       0.00          0          0          0          0          0
1790.02/1790.31	c   zerohalf         :       0.00          0          0          0          0          0
1790.02/1790.31	c   mcf              :       0.00          0          0          0          0          0
1790.02/1790.31	c   rapidlearning    :       0.00          0          0          0          0          0
1790.02/1790.31	c Pricers            :       Time      Calls       Vars
1790.02/1790.31	c   problem variables:       0.00          0          0
1790.02/1790.31	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.02/1790.31	c   relpscost        :       0.00          0          0          0          0          0          0
1790.02/1790.31	c   pscost           :       0.00          0          0          0          0          0          0
1790.02/1790.31	c   inference        :       0.04          1          0          0          0          0          2
1790.02/1790.31	c   mostinf          :       0.00          0          0          0          0          0          0
1790.02/1790.31	c   leastinf         :       0.00          0          0          0          0          0          0
1790.02/1790.31	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.02/1790.31	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.02/1790.31	c   random           :       0.00          0          0          0          0          0          0
1790.02/1790.31	c Primal Heuristics  :       Time      Calls      Found
1790.02/1790.31	c   LP solutions     :       0.00          -          0
1790.02/1790.31	c   pseudo solutions :       0.00          -          0
1790.02/1790.31	c   oneopt           :       0.00          0          0
1790.02/1790.31	c   trivial          :       0.31          2          0
1790.02/1790.31	c   simplerounding   :       0.01          0          0
1790.02/1790.31	c   zirounding       :       0.00          0          0
1790.02/1790.31	c   rounding         :       0.01          1          0
1790.02/1790.31	c   shifting         :       0.26          1          0
1790.02/1790.31	c   intshifting      :       0.00          0          0
1790.02/1790.31	c   twoopt           :       0.00          0          0
1790.02/1790.31	c   fixandinfer      :       0.00          0          0
1790.02/1790.31	c   feaspump         :     245.43          1          0
1790.02/1790.31	c   coefdiving       :       0.00          0          0
1790.02/1790.31	c   pscostdiving     :       0.00          0          0
1790.02/1790.31	c   fracdiving       :       0.00          0          0
1790.02/1790.31	c   veclendiving     :       0.00          0          0
1790.02/1790.31	c   intdiving        :       0.00          0          0
1790.02/1790.31	c   actconsdiving    :       0.00          0          0
1790.02/1790.31	c   objpscostdiving  :       0.00          0          0
1790.02/1790.31	c   rootsoldiving    :       0.00          0          0
1790.02/1790.31	c   linesearchdiving :       0.00          0          0
1790.02/1790.31	c   guideddiving     :       0.00          0          0
1790.02/1790.31	c   octane           :       0.00          0          0
1790.02/1790.31	c   rens             :       0.00          0          0
1790.02/1790.31	c   rins             :       0.00          0          0
1790.02/1790.31	c   localbranching   :       0.00          0          0
1790.02/1790.31	c   mutation         :       0.00          0          0
1790.02/1790.31	c   crossover        :       0.00          0          0
1790.02/1790.31	c   dins             :       0.00          0          0
1790.02/1790.31	c   undercover       :       0.00          0          0
1790.02/1790.31	c   nlp              :       0.00          0          0
1790.02/1790.31	c   trysol           :       0.00          0          0
1790.02/1790.31	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.02/1790.31	c   primal LP        :       0.00          0          0       0.00          -
1790.02/1790.31	c   dual LP          :    1246.37          1     130317  130317.00     104.56
1790.02/1790.31	c   lex dual LP      :       0.00          0          0       0.00          -
1790.02/1790.31	c   barrier LP       :       0.00          0          0       0.00          -
1790.02/1790.31	c   diving/probing LP:     245.37          1      14025   14025.00      57.16
1790.02/1790.31	c   strong branching :       0.00          0          0       0.00          -
1790.02/1790.31	c     (at root node) :          -          0          0       0.00          -
1790.02/1790.31	c   conflict analysis:       0.00          0          0       0.00          -
1790.02/1790.31	c B&B Tree           :
1790.02/1790.31	c   number of runs   :          1
1790.02/1790.31	c   nodes            :          1
1790.02/1790.31	c   nodes (total)    :          1
1790.02/1790.31	c   nodes left       :          2
1790.02/1790.31	c   max depth        :          0
1790.02/1790.31	c   max depth (total):          0
1790.02/1790.31	c   backtracks       :          0 (0.0%)
1790.02/1790.31	c   delayed cutoffs  :          0
1790.02/1790.31	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.02/1790.31	c   avg switch length:       1.00
1790.02/1790.31	c   switching time   :       0.00
1790.02/1790.31	c Solution           :
1790.02/1790.31	c   Solutions found  :          0 (0 improvements)
1790.02/1790.31	c   Primal Bound     :          -
1790.02/1790.31	c   Dual Bound       : +4.81876999453694e+07
1790.02/1790.31	c   Gap              :   infinite
1790.02/1790.31	c   Root Dual Bound  : +4.81876999453694e+07
1790.02/1790.31	c   Root Iterations  :     144342
1791.01/1791.35	c Time complete: 1791.07.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741728-1338761564/watcher-3741728-1338761564 -o /tmp/evaluation-result-3741728-1338761564/solver-3741728-1338761564 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741728-1338761564.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19756
/proc/meminfo: memFree=15956252/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 1249 0 0 0 0 0 0 0 20 0 1 0 342282026 8105984 1195 33554432000 4194304 8395647 140733626834912 140737413093960 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 1979 1195 370 1026 0 949 0

[startup+0.089696 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19756
/proc/meminfo: memFree=15956252/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=42908 CPUtime=0.08 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 9925 0 0 0 7 1 0 0 20 0 1 0 342282026 43937792 9865 33554432000 4194304 8395647 140733626834912 140737413093960 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 10727 9865 387 1026 0 9697 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42908

[startup+0.100412 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19756
/proc/meminfo: memFree=15956252/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=46308 CPUtime=0.09 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 10762 0 0 0 8 1 0 0 20 0 1 0 342282026 47419392 10702 33554432000 4194304 8395647 140733626834912 140737413093960 4424487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 11577 10704 387 1026 0 10547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46308

[startup+0.300303 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19756
/proc/meminfo: memFree=15956252/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=71776 CPUtime=0.29 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 16936 0 0 0 26 3 0 0 20 0 1 0 342282026 73498624 16876 33554432000 4194304 8395647 140733626834912 140737413093960 4424487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 17944 16876 394 1026 0 16914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71776

[startup+0.700306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19756
/proc/meminfo: memFree=15956252/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=128760 CPUtime=0.69 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 31195 0 0 0 64 5 0 0 20 0 1 0 342282026 131850240 31135 33554432000 4194304 8395647 140733626834912 140733626700120 4424487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 32190 31135 394 1026 0 31160 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128760

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15792184/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=212032 CPUtime=1.49 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 51931 0 0 0 140 9 0 0 20 0 1 0 342282026 217120768 51871 33554432000 4194304 8395647 140733626834912 140733626700120 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 53008 51871 394 1026 0 51978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 212032

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15506100/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=542060 CPUtime=3.09 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 133321 0 0 0 288 21 0 0 20 0 1 0 342282026 555069440 132907 33554432000 4194304 8395647 140733626834912 140733626832584 6083793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 135515 132907 473 1026 0 134485 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 542060

[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15372908/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=601036 CPUtime=6.29 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 147743 0 0 0 605 24 0 0 20 0 1 0 342282026 615460864 147941 33554432000 4194304 8395647 140733626834912 140733626830664 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 150259 147941 494 1026 0 149229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 601036

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15359272/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=609740 CPUtime=12.69 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 149923 0 0 0 1245 24 0 0 20 0 1 0 342282026 624373760 150121 33554432000 4194304 8395647 140733626834912 140733626830984 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 152435 150121 494 1026 0 151405 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 609740

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15312776/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=654312 CPUtime=25.48 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 161066 0 0 0 2522 26 0 0 20 0 1 0 342282026 670015488 161264 33554432000 4194304 8395647 140733626834912 140733626830776 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 163578 161264 494 1026 0 162548 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 654312

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15234212/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=731988 CPUtime=51.08 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 180486 0 0 0 5079 29 0 0 20 0 1 0 342282026 749555712 180684 33554432000 4194304 8395647 140733626834912 140733626830776 5604430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 182997 180684 500 1026 0 181967 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 731988

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15188368/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=777688 CPUtime=102.28 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 191399 0 0 0 10197 31 0 0 20 0 1 0 342282026 796352512 192108 33554432000 4194304 8395647 140733626834912 140733626830984 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 194422 192108 500 1026 0 193392 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 777688

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19757
/proc/meminfo: memFree=15159132/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=807804 CPUtime=162.27 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 198928 0 0 0 16194 33 0 0 20 0 1 0 342282026 827191296 199637 33554432000 4194304 8395647 140733626834912 140733626830984 6115585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 201951 199637 500 1026 0 200921 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 807804

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19757
/proc/meminfo: memFree=15123076/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=844256 CPUtime=222.25 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 208041 0 0 0 22192 33 0 0 20 0 1 0 342282026 864518144 208750 33554432000 4194304 8395647 140733626834912 140733626830984 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 211064 208750 500 1026 0 210034 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 844256

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19757
/proc/meminfo: memFree=15097436/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=868804 CPUtime=282.24 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 214178 0 0 0 28190 34 0 0 20 0 1 0 342282026 889655296 214887 33554432000 4194304 8395647 140733626834912 140733626830984 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 217201 214887 500 1026 0 216171 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 868804

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19758
/proc/meminfo: memFree=14901732/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1074212 CPUtime=342.24 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 250499 0 0 0 34178 46 0 0 20 0 1 0 342282026 1099993088 263603 33554432000 4194304 8395647 140733626834912 140733626830040 6700532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 268553 263603 573 1026 0 267523 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1074212

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19758
/proc/meminfo: memFree=14897420/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1077840 CPUtime=402.23 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 251624 0 0 0 40172 51 0 0 20 0 1 0 342282026 1103708160 264678 33554432000 4194304 8395647 140733626834912 140733626830376 6502788 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 269460 264678 573 1026 0 268430 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1077840

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19761
/proc/meminfo: memFree=14892912/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1081940 CPUtime=462.22 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252168 0 0 0 46164 58 0 0 20 0 1 0 342282026 1107906560 265733 33554432000 4194304 8395647 140733626834912 140733626830376 6696650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 270485 265733 573 1026 0 269455 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1081940

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19761
/proc/meminfo: memFree=14890528/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1082132 CPUtime=522.21 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252257 0 0 0 52158 63 0 0 20 0 1 0 342282026 1108103168 266333 33554432000 4194304 8395647 140733626834912 140733626830472 6697703 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 270533 266333 573 1026 0 269503 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1082132

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19761
/proc/meminfo: memFree=14889316/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1082424 CPUtime=582.2 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252280 0 0 0 58153 67 0 0 20 0 1 0 342282026 1108402176 266356 33554432000 4194304 8395647 140733626834912 140733626830040 6697711 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 270606 266356 573 1026 0 269576 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1082424

[startup+642.3 s]

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

/proc/meminfo: memFree=14884984/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1086684 CPUtime=1002.14 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252834 0 0 0 100115 99 0 0 20 0 1 0 342282026 1112764416 267421 33554432000 4194304 8395647 140733626834912 140733626830472 6702084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271671 267421 573 1026 0 270641 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1086684

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19766
/proc/meminfo: memFree=14884880/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1086684 CPUtime=1062.13 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252849 0 0 0 106108 105 0 0 20 0 1 0 342282026 1112764416 267436 33554432000 4194304 8395647 140733626834912 140733626830472 6696835 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271671 267436 573 1026 0 270641 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1086684

[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 19766
/proc/meminfo: memFree=14884916/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1086684 CPUtime=1122.12 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252850 0 0 0 112104 108 0 0 20 0 1 0 342282026 1112764416 267437 33554432000 4194304 8395647 140733626834912 140733626830472 6699144 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271671 267437 573 1026 0 270641 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1086684

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19766
/proc/meminfo: memFree=14884572/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1086684 CPUtime=1182.11 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252851 0 0 0 118097 114 0 0 20 0 1 0 342282026 1112764416 267438 33554432000 4194304 8395647 140733626834912 140733626830040 6696896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271671 267438 573 1026 0 270641 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1086684

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19767
/proc/meminfo: memFree=14884476/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1086684 CPUtime=1242.1 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252853 0 0 0 124091 119 0 0 20 0 1 0 342282026 1112764416 267440 33554432000 4194304 8395647 140733626834912 140733626830040 6667494 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271671 267440 574 1026 0 270641 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1086684

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19806
/proc/meminfo: memFree=25711584/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1086684 CPUtime=1302.1 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252855 0 0 0 130085 125 0 0 20 0 1 0 342282026 1112764416 267441 33554432000 4194304 8395647 140733626834912 140733626830472 6702018 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271671 267441 574 1026 0 270641 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1086684

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19806
/proc/meminfo: memFree=25681568/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1087128 CPUtime=1362.09 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252857 0 0 0 136079 130 0 0 20 0 1 0 342282026 1113219072 267443 33554432000 4194304 8395647 140733626834912 140733626830424 6670348 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271782 267443 574 1026 0 270752 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1087128

[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19806
/proc/meminfo: memFree=25698444/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1087128 CPUtime=1422.08 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252858 0 0 0 142074 134 0 0 20 0 1 0 342282026 1113219072 267444 33554432000 4194304 8395647 140733626834912 140733626830472 6670385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271782 267444 574 1026 0 270752 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1087128

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 19806
/proc/meminfo: memFree=25675252/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1087264 CPUtime=1482.07 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252870 0 0 0 148067 140 0 0 20 0 1 0 342282026 1113358336 268823 33554432000 4194304 8395647 140733626834912 140733626830472 6696781 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271816 268823 574 1026 0 270786 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1087264

[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 19807
/proc/meminfo: memFree=25615336/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1087264 CPUtime=1542.06 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 252883 0 0 0 154061 145 0 0 20 0 1 0 342282026 1113358336 268852 33554432000 4194304 8395647 140733626834912 140733626830040 6692853 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 271816 268852 574 1026 0 270786 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1087264

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 19807
/proc/meminfo: memFree=25688864/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1103692 CPUtime=1602.04 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 255499 0 0 0 160056 148 0 0 20 0 1 0 342282026 1130180608 272495 33554432000 4194304 8395647 140733626834912 140733626829432 6696991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 275923 272495 579 1026 0 274893 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1103692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 19810
/proc/meminfo: memFree=25606780/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1110284 CPUtime=1662.04 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257366 0 0 0 166052 152 0 0 20 0 1 0 342282026 1136930816 274363 33554432000 4194304 8395647 140733626834912 140733626829432 6635072 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277571 274363 579 1026 0 276541 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1110284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19810
/proc/meminfo: memFree=25620092/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1110284 CPUtime=1722.03 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257390 0 0 0 172049 154 0 0 20 0 1 0 342282026 1136930816 274434 33554432000 4194304 8395647 140733626834912 140733626829736 6709556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277571 274434 579 1026 0 276541 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1110284

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19810
/proc/meminfo: memFree=25670068/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1110424 CPUtime=1782.02 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257434 0 0 0 178045 157 0 0 20 0 1 0 342282026 1137074176 274881 33554432000 4194304 8395647 140733626834912 140733626829432 6636767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277606 274881 579 1026 0 276576 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1110424

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19810
/proc/meminfo: memFree=25665852/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1110424 CPUtime=1785.22 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257434 0 0 0 178364 158 0 0 20 0 1 0 342282026 1137074176 274881 33554432000 4194304 8395647 140733626834912 140733626829432 6696983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277606 274881 579 1026 0 276576 0
Current children cumulated CPU time (s) 1785.22
Current children cumulated vsize (KiB) 1110424

[startup+1788.7 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19810
/proc/meminfo: memFree=25663792/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1110424 CPUtime=1788.42 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257439 0 0 0 178684 158 0 0 20 0 1 0 342282026 1137074176 275103 33554432000 4194304 8395647 140733626834912 140733626829432 6708238 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277606 275103 579 1026 0 276576 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (KiB) 1110424

[startup+1790.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19810
/proc/meminfo: memFree=25663296/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1110424 CPUtime=1790.02 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257445 0 0 0 178844 158 0 0 20 0 1 0 342282026 1137074176 275109 33554432000 4194304 8395647 140733626834912 140733626829560 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277606 275109 583 1026 0 276576 0
Current children cumulated CPU time (s) 1790.02
Current children cumulated vsize (KiB) 1110424

[startup+1791.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19810
/proc/meminfo: memFree=25663792/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1108820 CPUtime=1790.82 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257452 0 0 0 178924 158 0 0 20 0 1 0 342282026 1135431680 274715 33554432000 4194304 8395647 140733626834912 140733626830744 6345229 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 277205 274715 590 1026 0 276175 0
Current children cumulated CPU time (s) 1790.82
Current children cumulated vsize (KiB) 1108820

[startup+1791.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19810
/proc/meminfo: memFree=25663792/32873844 swapFree=7632/7632
[pid=19756] ppid=19754 vsize=1005816 CPUtime=1791.01 cores=1,3,5,7
/proc/19756/stat : 19756 (pbscip.linux.x8) R 19754 19756 18846 0 -1 4202496 257452 0 0 0 178943 158 0 0 20 0 1 0 342282026 1029955584 249085 33554432000 4194304 8395647 140733626834912 140733626830744 6345173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19756/statm: 251454 249085 590 1026 0 250424 0
Current children cumulated CPU time (s) 1791.01
Current children cumulated vsize (KiB) 1005816

Child status: 0
Real time (s): 1791.36
CPU time (s): 1791.08
CPU user time (s): 1789.48
CPU system time (s): 1.60376
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1110424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.48
system time used= 1.60376
maximum resident set size= 1100456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257460
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= 10
involuntary context switches= 1865

runsolver used 6.02008 second user time and 20.3319 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-04 00:12:44
IDJOB=3741728
IDBENCH=89904
IDSOLVER=2326
FILE ID=node130/3741728-1338761564
RUNJOBID= node130-1338748441-18863
PBS_JOBID= 14636787
Free space on /tmp= 70652 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-stp3d.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741728-1338761564/watcher-3741728-1338761564 -o /tmp/evaluation-result-3741728-1338761564/solver-3741728-1338761564 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741728-1338761564.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1cc8070e576e6483e1f532bdbbfa41dd
RANDOM SEED=642013147

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        15956624 kB
Buffers:         1695516 kB
Cached:          2855804 kB
SwapCached:         4316 kB
Active:         14167740 kB
Inactive:        1850032 kB
Active(anon):   11420188 kB
Inactive(anon):    42936 kB
Active(file):    2747552 kB
Inactive(file):  1807096 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099288 kB
Dirty:             19052 kB
Writeback:             0 kB
AnonPages:      11442436 kB
Mapped:            11692 kB
Shmem:                 4 kB
Slab:             733576 kB
SReclaimable:     175004 kB
SUnreclaim:       558572 kB
KernelStack:        1472 kB
PageTables:        27288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   12550904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2265088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70924 MiB
End job on node130 at 2012-06-04 00:42:36