Trace number 2667080

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1801.36 1801.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
MD5SUM76cbd1f5f345389511b95f4555e7fed1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark178
Best CPU time to get the best result obtained on this benchmark1798.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 179
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8415
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8414
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 105
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 232
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 329
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1558
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2667080-1276619100.opb>
0.49/0.54	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.69/0.72	c presolving:
0.79/0.85	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 4 chg sides, 305 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.92	c (round 2) 1 del vars, 3982 del conss, 1 chg bounds, 4 chg sides, 305 chg coeffs, 233 upgd conss, 0 impls, 0 clqs
1.00/1.01	c (round 3) 1 del vars, 3982 del conss, 1 chg bounds, 4 chg sides, 307 chg coeffs, 452 upgd conss, 212 impls, 7 clqs
1.00/1.04	c (round 4) 1 del vars, 3982 del conss, 1 chg bounds, 52 chg sides, 407 chg coeffs, 452 upgd conss, 214 impls, 7 clqs
4.09/4.11	c    (3.5s) probing: 227/4319 (5.3%) - 0 fixings, 0 aggregations, 35 implications, 0 bound changes
4.09/4.11	c    (3.5s) probing aborted: 100/100 successive totally useless probings
4.09/4.11	c presolving (5 rounds):
4.09/4.11	c  1 deleted vars, 3982 deleted constraints, 1 tightened bounds, 0 added holes, 52 changed sides, 407 changed coefficients
4.09/4.11	c  284 implications, 7 cliques
4.09/4.11	c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4434 constraints
4.09/4.11	c     452 constraints of type <knapsack>
4.09/4.11	c       1 constraints of type <setppc>
4.09/4.11	c    3981 constraints of type <linear>
4.09/4.11	c transformed objective value is always integral (scale: 1)
4.09/4.11	c Presolving Time: 3.39
4.09/4.11	c - non default parameters ----------------------------------------------------------------------
4.09/4.11	c # SCIP version 1.2.1.2
4.09/4.11	c 
4.09/4.11	c # frequency for displaying node information lines
4.09/4.11	c # [type: int, range: [-1,2147483647], default: 100]
4.09/4.11	c display/freq = 10000
4.09/4.11	c 
4.09/4.11	c # maximal time in seconds to run
4.09/4.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.09/4.11	c limits/time = 1799.46
4.09/4.11	c 
4.09/4.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.09/4.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.09/4.11	c limits/memory = 1620
4.09/4.11	c 
4.09/4.11	c # should presolving try to simplify inequalities
4.09/4.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.09/4.11	c constraints/linear/simplifyinequalities = TRUE
4.09/4.11	c 
4.09/4.11	c # should presolving try to simplify knapsacks
4.09/4.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.09/4.11	c constraints/knapsack/simplifyinequalities = TRUE
4.09/4.11	c 
4.09/4.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.09/4.11	c # [type: int, range: [-1,2147483647], default: -1]
4.09/4.11	c separating/rapidlearning/freq = 0
4.09/4.11	c 
4.09/4.11	c -----------------------------------------------------------------------------------------------
4.09/4.11	c start solving
4.09/4.12	c 
4.30/4.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.30/4.34	c   3.7s|     1 |     0 |   803 |     - |  36M|   0 | 755 |4319 |4434 |4319 |4434 |   0 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
11.89/11.96	c  11.2s|     1 |     0 |  5142 |     - |  37M|   0 |1144 |4319 |4434 |4319 |4574 | 140 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
20.58/20.68	c  19.8s|     1 |     0 | 10707 |     - |  37M|   0 |2409 |4319 |4434 |4319 |4829 | 395 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
30.69/30.74	c  29.7s|     1 |     0 | 16274 |     - |  38M|   0 |2527 |4319 |4434 |4319 |5024 | 590 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
40.08/40.19	c  39.1s|     1 |     0 | 21194 |     - |  38M|   0 |2447 |4319 |4434 |4319 |5220 | 786 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
51.07/51.12	c  49.9s|     1 |     0 | 26215 |     - |  39M|   0 |2770 |4319 |4434 |4319 |5384 | 950 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
61.97/62.02	c  60.7s|     1 |     0 | 30762 |     - |  40M|   0 |2336 |4319 |4434 |4319 |5551 |1117 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
129.45/129.58	c   127s|     1 |     2 | 30762 |     - |  40M|   0 |2336 |4319 |4434 |4319 |5551 |1117 |   0 |  33 | 1.050000e+02 |      --      |    Inf 
1800.08/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1801.16/1801.74	c 
1801.16/1801.74	c SCIP Status        : solving was interrupted [user interrupt]
1801.16/1801.74	c Solving Time (sec) : 1775.26
1801.16/1801.74	c Solving Nodes      : 1918
1801.16/1801.74	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.16/1801.74	c Dual Bound         : +1.05000000000000e+02
1801.16/1801.74	c Gap                : infinite
1801.16/1801.74	s UNKNOWN
1801.16/1801.74	c SCIP Status        : solving was interrupted [user interrupt]
1801.16/1801.74	c Solving Time       :    1775.26
1801.16/1801.74	c Original Problem   :
1801.16/1801.74	c   Problem name     : HOME/instance-2667080-1276619100.opb
1801.16/1801.74	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.16/1801.74	c   Constraints      : 8415 initial, 8415 maximal
1801.16/1801.74	c Presolved Problem  :
1801.16/1801.74	c   Problem name     : t_HOME/instance-2667080-1276619100.opb
1801.16/1801.74	c   Variables        : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.16/1801.74	c   Constraints      : 4434 initial, 7916 maximal
1801.16/1801.74	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1801.16/1801.74	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1801.16/1801.74	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1801.16/1801.74	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1801.16/1801.74	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1801.16/1801.74	c   implics          :       0.00          0          0          0          0          0          0          0          0
1801.16/1801.74	c   probing          :       3.05          0          0          0          0          0          0          0          0
1801.16/1801.74	c   knapsack         :       0.02          0          0          0          0          0          0         48        102
1801.16/1801.74	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1801.16/1801.74	c   linear           :       0.25          1          0          0          1          0       3982          4        305
1801.16/1801.74	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1801.16/1801.74	c   root node        :          -          0          -          -          0          -          -          -          -
1801.16/1801.74	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1801.16/1801.74	c   integral         :          0          0          0       1558          0          9        443          0          0       2890
1801.16/1801.74	c   knapsack         :        452          6      14032          0          0         91      21696       1126          0          0
1801.16/1801.74	c   setppc           :          1          6       2021          0          0          0          0          0          0          0
1801.16/1801.74	c   linear           :       3981          6      13941          0          0        355     277317          0          0          0
1801.16/1801.74	c   logicor          :          0+         0       6506          0          0         48       2815          0          0          0
1801.16/1801.74	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1801.16/1801.74	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1801.16/1801.74	c   integral         :     572.23       0.00       0.00     572.23       0.00
1801.16/1801.74	c   knapsack         :       4.59       0.08       4.51       0.00       0.00
1801.16/1801.74	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1801.16/1801.74	c   linear           :      47.55       0.00      47.55       0.00       0.00
1801.16/1801.74	c   logicor          :       1.05       0.00       1.05       0.00       0.00
1801.16/1801.74	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1801.16/1801.74	c Propagators        :       Time      Calls    Cutoffs    DomReds
1801.16/1801.74	c   vbounds          :       0.00          2          0          0
1801.16/1801.74	c   rootredcost      :       0.02          0          0          0
1801.16/1801.74	c   pseudoobj        :       0.05      13567          0          0
1801.16/1801.74	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.16/1801.74	c   propagation      :       0.14        494        493       3665       34.9         47       18.1          -
1801.16/1801.74	c   infeasible LP    :       3.66       2006       2006       2868       12.4         44       17.1          0
1801.16/1801.74	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.16/1801.74	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.16/1801.74	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.16/1801.74	c   applied globally :          -          -          -       4060       17.2          -          -          -
1801.16/1801.74	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.16/1801.74	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.16/1801.74	c   cut pool         :       0.00          5          -          -        892          -    (maximal pool size: 4168)
1801.16/1801.74	c   redcost          :       0.88       1580          0         18          0          0
1801.16/1801.74	c   impliedbounds    :       0.00          6          0          0         12          0
1801.16/1801.74	c   intobj           :       0.00          0          0          0          0          0
1801.16/1801.74	c   cgmip            :       0.00          0          0          0          0          0
1801.16/1801.74	c   gomory           :       3.25          6          0          0          6          0
1801.16/1801.74	c   strongcg         :       3.15          6          0          0          2          0
1801.16/1801.74	c   cmir             :       2.67          6          0          0       3000          0
1801.16/1801.74	c   flowcover        :       2.36          6          0          0       1200          0
1801.16/1801.74	c   clique           :       0.00          6          0          0          3          0
1801.16/1801.74	c   zerohalf         :       0.00          0          0          0          0          0
1801.16/1801.74	c   mcf              :       0.00          1          0          0          0          0
1801.16/1801.74	c   rapidlearning    :       1.50          1          0          0          0          0
1801.16/1801.74	c Pricers            :       Time      Calls       Vars
1801.16/1801.74	c   problem variables:       0.00          0          0
1801.16/1801.74	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.16/1801.74	c   relpscost        :     572.23       1558          9        443          0          0       2890
1801.16/1801.74	c   pscost           :       0.00          0          0          0          0          0          0
1801.16/1801.74	c   inference        :       0.00          0          0          0          0          0          0
1801.16/1801.74	c   mostinf          :       0.00          0          0          0          0          0          0
1801.16/1801.74	c   leastinf         :       0.00          0          0          0          0          0          0
1801.16/1801.74	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.16/1801.74	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.16/1801.74	c   random           :       0.00          0          0          0          0          0          0
1801.16/1801.74	c Primal Heuristics  :       Time      Calls      Found
1801.16/1801.74	c   LP solutions     :       0.00          -          0
1801.16/1801.74	c   pseudo solutions :       0.00          -          0
1801.16/1801.74	c   oneopt           :       0.01          0          0
1801.16/1801.74	c   crossover        :       0.00          0          0
1801.16/1801.74	c   fracdiving       :      95.99          6          0
1801.16/1801.74	c   veclendiving     :      46.02         12          0
1801.16/1801.74	c   pscostdiving     :      25.69         13          0
1801.16/1801.74	c   objpscostdiving  :       7.28          7          0
1801.16/1801.74	c   feaspump         :      21.53          7          0
1801.16/1801.74	c   rootsoldiving    :       8.90          7          0
1801.16/1801.74	c   trivial          :       0.01          2          0
1801.16/1801.74	c   simplerounding   :       0.00          0          0
1801.16/1801.74	c   zirounding       :       0.83       1000          0
1801.16/1801.74	c   rounding         :       1.67        515          0
1801.16/1801.74	c   shifting         :       8.41        124          0
1801.16/1801.74	c   intshifting      :       0.00          0          0
1801.16/1801.74	c   twoopt           :       0.00          0          0
1801.16/1801.74	c   fixandinfer      :       0.00          0          0
1801.16/1801.74	c   coefdiving       :     247.01          4          0
1801.16/1801.74	c   intdiving        :       0.00          0          0
1801.16/1801.74	c   actconsdiving    :       0.00          0          0
1801.16/1801.74	c   linesearchdiving :      14.06         13          0
1801.16/1801.74	c   guideddiving     :       0.00          0          0
1801.16/1801.74	c   octane           :       0.00          0          0
1801.16/1801.74	c   rens             :       0.01          0          0
1801.16/1801.74	c   rins             :       0.00          0          0
1801.16/1801.74	c   localbranching   :       0.00          0          0
1801.16/1801.74	c   mutation         :       0.00          0          0
1801.16/1801.74	c   dins             :       0.00          0          0
1801.16/1801.74	c   undercover       :       0.00          0          0
1801.16/1801.74	c   nlp              :       0.01          0          0
1801.16/1801.74	c   trysol           :       0.00          0          0
1801.16/1801.74	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1801.16/1801.74	c   primal LP        :       0.04          0          0       0.00       0.00
1801.16/1801.74	c   dual LP          :     655.99       1812    1072053     591.64    1634.25
1801.16/1801.74	c   lex dual LP      :       0.00          0          0       0.00          -
1801.16/1801.74	c   barrier LP       :       0.00          0          0       0.00          -
1801.16/1801.74	c   diving/probing LP:     433.95       4965     624592     125.80    1439.32
1801.16/1801.74	c   strong branching :     571.00       1351     674989     499.62    1182.12
1801.16/1801.74	c     (at root node) :          -         33      28899     875.73          -
1801.16/1801.74	c   conflict analysis:       0.00          0          0       0.00          -
1801.16/1801.74	c B&B Tree           :
1801.16/1801.74	c   number of runs   :          1
1801.16/1801.74	c   nodes            :       1918
1801.16/1801.74	c   nodes (total)    :       1918
1801.16/1801.74	c   nodes left       :        801
1801.16/1801.74	c   max depth        :         71
1801.16/1801.74	c   max depth (total):         71
1801.16/1801.74	c   backtracks       :        299 (15.6%)
1801.16/1801.74	c   delayed cutoffs  :        172
1801.16/1801.74	c   repropagations   :       2612 (72258 domain reductions, 98 cutoffs)
1801.16/1801.74	c   avg switch length:       5.11
1801.16/1801.74	c   switching time   :       7.75
1801.16/1801.74	c Solution           :
1801.16/1801.74	c   Solutions found  :          0 (0 improvements)
1801.16/1801.74	c   Primal Bound     :          -
1801.16/1801.74	c   Dual Bound       : +1.05000000000000e+02
1801.16/1801.74	c   Gap              :   infinite
1801.16/1801.74	c   Root Dual Bound  : +1.05000000000000e+02
1801.16/1801.74	c   Root Iterations  :      30762
1801.27/1801.89	c Time complete: 1801.36.

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-2667080-1276619100/watcher-2667080-1276619100 -o /tmp/evaluation-result-2667080-1276619100/solver-2667080-1276619100 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667080-1276619100.opb -t 1800 -m 1800 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 3382
/proc/meminfo: memFree=1763960/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=7724 CPUtime=0
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 1055 0 0 0 0 0 0 0 18 0 1 0 35565749 7909376 974 1992294400 4194304 8223781 140736147361040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3382/statm: 1931 984 348 984 0 944 0

[startup+0.0272469 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 3382
/proc/meminfo: memFree=1763960/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=9400 CPUtime=0.02
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 1659 0 0 0 2 0 0 0 20 0 1 0 35565749 9625600 1578 1992294400 4194304 8223781 140736147361040 18446744073709551615 5649588 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3382/statm: 2350 1578 365 984 0 1363 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9400

[startup+0.101253 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 3382
/proc/meminfo: memFree=1763960/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=11200 CPUtime=0.09
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2095 0 0 0 9 0 0 0 20 0 1 0 35565749 11468800 2014 1992294400 4194304 8223781 140736147361040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3382/statm: 2800 2014 365 984 0 1813 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11200

[startup+0.301272 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 3382
/proc/meminfo: memFree=1763960/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=16156 CPUtime=0.3
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3325 0 0 0 29 1 0 0 20 0 1 0 35565749 16543744 3244 1992294400 4194304 8223781 140736147361040 18446744073709551615 4240584 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3382/statm: 4039 3244 365 984 0 3052 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16156

[startup+0.701307 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 3382
/proc/meminfo: memFree=1763960/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=86192 CPUtime=0.69
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 20354 0 0 0 63 6 0 0 20 0 1 0 35565749 88260608 19909 1992294400 4194304 8223781 140736147361040 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 21548 19909 402 984 0 20561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86192

[startup+1.50138 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3383
/proc/meminfo: memFree=1683104/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=89804 CPUtime=1.49
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 23703 0 0 0 139 10 0 0 23 0 1 0 35565749 91959296 20592 1992294400 4194304 8223781 140736147361040 18446744073709551615 4983110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 22451 20592 469 984 0 21464 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89804

[startup+3.10152 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3383
/proc/meminfo: memFree=1682608/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=89804 CPUtime=3.09
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 23703 0 0 0 299 10 0 0 25 0 1 0 35565749 91959296 20592 1992294400 4194304 8223781 140736147361040 18446744073709551615 4983283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 22451 20592 469 984 0 21464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89804

[startup+6.30081 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3383
/proc/meminfo: memFree=1664752/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=111104 CPUtime=6.29
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 30834 0 0 0 616 13 0 0 25 0 1 0 35565749 113770496 25097 1992294400 4194304 8223781 140736147361040 18446744073709551615 6563479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 27776 25097 547 984 0 26789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 111104

[startup+12.7004 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3383
/proc/meminfo: memFree=1659668/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=119132 CPUtime=12.69
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 49544 0 0 0 1242 27 0 0 25 0 1 0 35565749 121991168 26449 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 29783 26449 591 984 0 28796 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119132

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3385
/proc/meminfo: memFree=1649624/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=134068 CPUtime=25.48
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 69598 0 0 0 2507 41 0 0 25 0 1 0 35565749 137285632 28981 1992294400 4194304 8223781 140736147361040 18446744073709551615 6571358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 33517 28981 591 984 0 32530 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 134068

[startup+51.1008 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3385
/proc/meminfo: memFree=1642432/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=144588 CPUtime=51.07
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 105237 0 0 0 5039 68 0 0 25 0 1 0 35565749 148058112 30764 1992294400 4194304 8223781 140736147361040 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 36147 30764 591 984 0 35160 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144588

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3387
/proc/meminfo: memFree=1639704/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=144696 CPUtime=102.27
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 217291 0 0 0 10095 132 0 0 25 0 1 0 35565749 148168704 31452 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 36174 31452 591 984 0 35187 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 144696

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3387
/proc/meminfo: memFree=1644292/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=137228 CPUtime=162.24
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 380183 0 0 0 15996 228 0 0 25 0 1 0 35565749 140521472 30246 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34307 30246 591 984 0 33320 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 137228

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3389
/proc/meminfo: memFree=1644168/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=136544 CPUtime=222.22
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 545912 0 0 0 21893 329 0 0 25 0 1 0 35565749 139821056 30184 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34136 30184 591 984 0 33149 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 136544

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3391
/proc/meminfo: memFree=1644416/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=138512 CPUtime=282.21
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 706090 0 0 0 27803 418 0 0 25 0 1 0 35565749 141836288 30536 1992294400 4194304 8223781 140736147361040 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34628 30536 594 984 0 33641 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 138512

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3393
/proc/meminfo: memFree=1642308/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=138236 CPUtime=342.19
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 817504 0 0 0 33727 492 0 0 25 0 1 0 35565749 141553664 30788 1992294400 4194304 8223781 140736147361040 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34559 30788 596 984 0 33572 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 138236

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3395
/proc/meminfo: memFree=1643424/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=137944 CPUtime=402.17
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 934110 0 0 0 39648 569 0 0 25 0 1 0 35565749 141254656 30573 1992294400 4194304 8223781 140736147361040 18446744073709551615 6251381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34486 30573 596 984 0 33499 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 137944

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3395
/proc/meminfo: memFree=1642804/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=138068 CPUtime=462.15
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 1032592 0 0 0 45574 641 0 0 25 0 1 0 35565749 141381632 30526 1992294400 4194304 8223781 140736147361040 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34517 30526 596 984 0 33530 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 138068

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3397
/proc/meminfo: memFree=1641688/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=137004 CPUtime=522.13
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 1152148 0 0 0 51492 721 0 0 25 0 1 0 35565749 140292096 30637 1992294400 4194304 8223781 140736147361040 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34251 30637 596 984 0 33264 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 137004

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3399
/proc/meminfo: memFree=1641688/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=138448 CPUtime=582.11
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 1289210 0 0 0 57398 813 0 0 25 0 1 0 35565749 141770752 31075 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 34612 31075 600 984 0 33625 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 138448

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3401
/proc/meminfo: memFree=1638216/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=142864 CPUtime=642.1
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 1407101 0 0 0 63313 897 0 0 25 0 1 0 35565749 146292736 31689 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 35716 31689 597 984 0 34729 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 142864

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3412
/proc/meminfo: memFree=1635612/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=143656 CPUtime=942
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2066629 0 0 0 92876 1324 0 0 25 0 1 0 35565749 147103744 32213 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 35914 32213 596 984 0 34927 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 143656

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3414
/proc/meminfo: memFree=1635240/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=145936 CPUtime=1001.98
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2248724 0 0 0 98766 1432 0 0 25 0 1 0 35565749 149438464 32507 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 36484 32507 607 984 0 35497 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 145936

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3414
/proc/meminfo: memFree=1633628/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=146932 CPUtime=1061.97
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2354561 0 0 0 104684 1513 0 0 25 0 1 0 35565749 150458368 32717 1992294400 4194304 8223781 140736147361040 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 36733 32717 604 984 0 35746 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 146932

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3416
/proc/meminfo: memFree=1631768/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=148980 CPUtime=1121.96
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2452319 0 0 0 110617 1579 0 0 25 0 1 0 35565749 152555520 33228 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 37245 33228 604 984 0 36258 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 148980

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3418
/proc/meminfo: memFree=1630900/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=149852 CPUtime=1181.94
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2537922 0 0 0 116552 1642 0 0 25 0 1 0 35565749 153448448 33416 1992294400 4194304 8223781 140736147361040 18446744073709551615 6569748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 37463 33416 596 984 0 36476 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 149852

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3420
/proc/meminfo: memFree=1632140/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=143512 CPUtime=1241.93
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2636071 0 0 0 122475 1718 0 0 25 0 1 0 35565749 146956288 33010 1992294400 4194304 8223781 140736147361040 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 35878 33010 596 984 0 34891 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 143512

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3422
/proc/meminfo: memFree=1626064/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=153336 CPUtime=1301.91
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2769849 0 0 0 128374 1817 0 0 25 0 1 0 35565749 157016064 34623 1992294400 4194304 8223781 140736147361040 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 38334 34623 603 984 0 37347 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 153336

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3422
/proc/meminfo: memFree=1627924/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=149000 CPUtime=1361.89
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 2900366 0 0 0 134278 1911 0 0 25 0 1 0 35565749 152576000 34129 1992294400 4194304 8223781 140736147361040 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 37250 34129 602 984 0 36263 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 149000

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3424
/proc/meminfo: memFree=1625072/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=151156 CPUtime=1421.89
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3023951 0 0 0 140191 1998 0 0 25 0 1 0 35565749 154783744 34752 1992294400 4194304 8223781 140736147361040 18446744073709551615 4609505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 37789 34752 602 984 0 36802 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 151156

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3426
/proc/meminfo: memFree=1624576/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=154304 CPUtime=1481.86
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3147378 0 0 0 146104 2082 0 0 25 0 1 0 35565749 158007296 35064 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 38576 35064 602 984 0 37589 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 154304

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3428
/proc/meminfo: memFree=1623212/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=156920 CPUtime=1541.84
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3274218 0 0 0 152018 2166 0 0 25 0 1 0 35565749 160686080 35326 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 39230 35326 602 984 0 38243 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 156920

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3430
/proc/meminfo: memFree=1622344/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=157424 CPUtime=1601.82
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3402849 0 0 0 157927 2255 0 0 25 0 1 0 35565749 161202176 35603 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 39356 35603 603 984 0 38369 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 157424

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3430
/proc/meminfo: memFree=1622344/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=156700 CPUtime=1661.8
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3515284 0 0 0 163832 2348 0 0 25 0 1 0 35565749 160460800 35429 1992294400 4194304 8223781 140736147361040 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 39175 35429 602 984 0 38188 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 156700

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3432
/proc/meminfo: memFree=1621972/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=154884 CPUtime=1721.79
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3634061 0 0 0 169745 2434 0 0 25 0 1 0 35565749 158601216 35401 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 38721 35401 602 984 0 37734 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 154884

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3434
/proc/meminfo: memFree=1620732/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=159444 CPUtime=1781.77
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3747008 0 0 0 175664 2513 0 0 25 0 1 0 35565749 163270656 35842 1992294400 4194304 8223781 140736147361040 18446744073709551615 6568387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 39861 35842 602 984 0 38874 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 159444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3434
/proc/meminfo: memFree=1619740/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=160532 CPUtime=1800.08
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3787207 0 0 0 177468 2540 0 0 25 0 1 0 35565749 164384768 36123 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 40133 36123 602 984 0 39146 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 160532

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 3434
/proc/meminfo: memFree=1619740/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=160532 CPUtime=1800.86
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3788205 0 0 0 177545 2541 0 0 25 0 1 0 35565749 164384768 36181 1992294400 4194304 8223781 140736147361040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3382/statm: 40133 36181 602 984 0 39146 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 160532

[startup+1801.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/109 3435
/proc/meminfo: memFree=1619484/2059040 swapFree=4140108/4192956
[pid=3382] ppid=3380 vsize=157380 CPUtime=1801.27
/proc/3382/stat : 3382 (pbscip.linux.x8) R 3380 3382 3162 0 -1 4202496 3788808 0 0 0 177585 2542 0 0 25 0 1 0 35565749 161157120 35396 1992294400 4194304 8223781 140736147361040 18446744073709551615 4903340 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3382/statm: 39345 35396 604 984 0 38358 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 157380

Child status: 0
Real time (s): 1801.89
CPU time (s): 1801.36
CPU user time (s): 1775.92
CPU system time (s): 25.4401
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 165156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.92
system time used= 25.4401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3788812
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= 1
involuntary context switches= 2885

runsolver used 2.94155 second user time and 8.5577 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-15 18:25:00
IDJOB=2667080
IDBENCH=2935
IDSOLVER=1169
FILE ID=node025/2667080-1276619100
PBS_JOBID= 11172301
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.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-2667080-1276619100/watcher-2667080-1276619100 -o /tmp/evaluation-result-2667080-1276619100/solver-2667080-1276619100 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667080-1276619100.opb -t 1800 -m 1800

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

MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1
RANDOM SEED=1267766203

node025.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1764364 kB
Buffers:         79376 kB
Cached:         124908 kB
SwapCached:       7076 kB
Active:         113764 kB
Inactive:       104784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1764364 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            6484 kB
Writeback:           0 kB
AnonPages:       11816 kB
Mapped:          13048 kB
Slab:            54188 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183912 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node025 at 2010-06-15 18:55:03