Trace number 2664243

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.4 1801.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
MD5SUM6e5141f298d85d1f18641c02d22506a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark226
Best CPU time to get the best result obtained on this benchmark1800.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 222
Optimality of the best value was proved NO
Number of variables5570
Total number of constraints10896
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 constraints10895
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 9
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 375
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1908
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: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664243-1276619386.opb>
0.59/0.66	c original problem has 5570 variables (5570 bin, 0 int, 0 impl, 0 cont) and 10896 constraints
0.59/0.66	c problem read
0.59/0.67	c presolving settings loaded
0.59/0.67	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.79/0.89	c presolving:
0.99/1.07	c (round 1) 2 del vars, 1 del conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.10/1.18	c (round 2) 2 del vars, 5209 del conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 247 upgd conss, 0 impls, 0 clqs
1.19/1.28	c (round 3) 2 del vars, 5209 del conss, 2 chg bounds, 148 chg sides, 588 chg coeffs, 479 upgd conss, 62 impls, 0 clqs
4.09/4.11	c    (3.3s) probing: 180/5568 (3.2%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
4.09/4.11	c    (3.3s) probing aborted: 100/100 successive totally useless probings
4.09/4.11	c presolving (4 rounds):
4.09/4.11	c  2 deleted vars, 5209 deleted constraints, 2 tightened bounds, 0 added holes, 148 changed sides, 588 changed coefficients
4.09/4.11	c  72 implications, 0 cliques
4.09/4.11	c presolved problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 5687 constraints
4.09/4.11	c     479 constraints of type <knapsack>
4.09/4.11	c    5208 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.21
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.34
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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.09/4.11	c # [type: int, range: [-1,2147483647], default: 1]
4.09/4.11	c lp/solvefreq = -1
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.09/4.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.09/4.13	c   3.4s|     1 |     2 |     0 |     - |  35M|   0 |   - |5568 |5687 |   0 |   0 |   0 |   0 |   0 | 1.200000e+02 |      --      |    Inf 
188.21/188.36	c   187s| 10000 |  7838 |     0 |   0.0 |  54M|5442 |   - |5568 |8602 |   0 |   0 |   0 |3151 |   0 | 1.200000e+02 |      --      |    Inf 
656.54/656.84	c   655s| 20000 | 12074 |     0 |   0.0 |  86M|5442 |   - |5568 |  16k|   0 |   0 |   0 |  11k|   0 | 1.200000e+02 |      --      |    Inf 
1251.91/1252.40	c  1250s| 30000 | 16120 |     0 |   0.0 | 104M|5442 |   - |5568 |  14k|   0 |   0 |   0 |  22k|   0 | 1.200000e+02 |      --      |    Inf 
1550.30/1550.99	c  1548s| 40000 | 20644 |     0 |   0.0 | 138M|5442 |   - |5568 |6405 |   0 |   0 |   0 |  28k|   0 | 1.200000e+02 |      --      |    Inf 
1800.02/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.72	c 
1800.02/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.72	c Solving Time (sec) : 1797.04
1800.02/1800.72	c Solving Nodes      : 47092
1800.02/1800.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.72	c Dual Bound         : +1.20000000000000e+02
1800.02/1800.72	c Gap                : infinite
1800.02/1800.72	s UNKNOWN
1800.02/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.72	c Solving Time       :    1797.04
1800.02/1800.72	c Original Problem   :
1800.02/1800.72	c   Problem name     : HOME/instance-2664243-1276619386.opb
1800.02/1800.72	c   Variables        : 5570 (5570 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72	c   Constraints      : 10896 initial, 10896 maximal
1800.02/1800.72	c Presolved Problem  :
1800.02/1800.72	c   Problem name     : t_HOME/instance-2664243-1276619386.opb
1800.02/1800.72	c   Variables        : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72	c   Constraints      : 5687 initial, 21201 maximal
1800.02/1800.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.72	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.72	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.72	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.72	c   probing          :       2.80          0          0          0          0          0          0          0          0
1800.02/1800.72	c   knapsack         :       0.01          0          0          0          0          0          0         28        238
1800.02/1800.72	c   linear           :       0.32          2          0          0          2          0       5209        120        350
1800.02/1800.72	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.72	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.72	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.72	c   knapsack         :        479          0     137501          0      39297       3459     529295          0          0          0
1800.02/1800.72	c   linear           :       5208          0     134042          0      39297       7689    4425437          0          0          0
1800.02/1800.72	c   logicor          :          0+         0      64090          0          0       1293      59691          0          0          0
1800.02/1800.72	c   countsols        :          0          0          0          0      39297          0          0          0          0          0
1800.02/1800.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.72	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.72	c   knapsack         :     116.03       0.00     111.50       0.00       4.53
1800.02/1800.72	c   linear           :    1317.49       0.00    1317.39       0.00       0.10
1800.02/1800.72	c   logicor          :      39.09       0.00      39.09       0.00       0.00
1800.02/1800.72	c   countsols        :       0.01       0.00       0.00       0.00       0.01
1800.02/1800.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.72	c   vbounds          :       0.14          2          0          0
1800.02/1800.72	c   rootredcost      :       0.12          0          0          0
1800.02/1800.72	c   pseudoobj        :       0.48     137139          0          0
1800.02/1800.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.72	c   propagation      :       2.54      12441      12438      60151       60.5        673       21.7          -
1800.02/1800.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.72	c   applied globally :          -          -          -      33875       44.5          -          -          -
1800.02/1800.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.72	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.72	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.72	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.72	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.72	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.72	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.72	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.72	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.72	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.72	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.72	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.72	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.72	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.72	c Pricers            :       Time      Calls       Vars
1800.02/1800.72	c   problem variables:       0.00          0          0
1800.02/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.72	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.72	c   inference        :      77.22      39297          0          0          0          0      78594
1800.02/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.72	c   LP solutions     :       0.00          -          0
1800.02/1800.72	c   pseudo solutions :       0.00          -          0
1800.02/1800.72	c   oneopt           :       0.04          0          0
1800.02/1800.72	c   trivial          :       0.02          2          0
1800.02/1800.72	c   simplerounding   :       0.00          0          0
1800.02/1800.72	c   zirounding       :       0.00          0          0
1800.02/1800.72	c   rounding         :       0.00          0          0
1800.02/1800.72	c   shifting         :       0.00          0          0
1800.02/1800.72	c   intshifting      :       0.00          0          0
1800.02/1800.72	c   twoopt           :       0.00          0          0
1800.02/1800.72	c   fixandinfer      :       0.00          0          0
1800.02/1800.72	c   feaspump         :       0.00          0          0
1800.02/1800.72	c   coefdiving       :       0.00          0          0
1800.02/1800.72	c   pscostdiving     :       0.00          0          0
1800.02/1800.72	c   fracdiving       :       0.00          0          0
1800.02/1800.72	c   veclendiving     :       0.00          0          0
1800.02/1800.72	c   intdiving        :       0.00          0          0
1800.02/1800.72	c   actconsdiving    :       0.00          0          0
1800.02/1800.72	c   objpscostdiving  :       0.00          0          0
1800.02/1800.72	c   rootsoldiving    :       0.00          0          0
1800.02/1800.72	c   linesearchdiving :       0.00          0          0
1800.02/1800.72	c   guideddiving     :       0.00          0          0
1800.02/1800.72	c   octane           :       0.00          0          0
1800.02/1800.72	c   rens             :       0.00          0          0
1800.02/1800.72	c   rins             :       0.00          0          0
1800.02/1800.72	c   localbranching   :       0.00          0          0
1800.02/1800.72	c   mutation         :       0.00          0          0
1800.02/1800.72	c   crossover        :       0.00          0          0
1800.02/1800.72	c   dins             :       0.00          0          0
1800.02/1800.72	c   undercover       :       0.00          0          0
1800.02/1800.72	c   nlp              :       0.06          0          0
1800.02/1800.72	c   trysol           :       0.02          0          0
1800.02/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.72	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.72	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.72	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.72	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.72	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.72	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.72	c B&B Tree           :
1800.02/1800.72	c   number of runs   :          1
1800.02/1800.72	c   nodes            :      47092
1800.02/1800.72	c   nodes (total)    :      47092
1800.02/1800.72	c   nodes left       :      23824
1800.02/1800.72	c   max depth        :       5442
1800.02/1800.72	c   max depth (total):       5442
1800.02/1800.72	c   backtracks       :       4756 (10.1%)
1800.02/1800.72	c   delayed cutoffs  :       7679
1800.02/1800.72	c   repropagations   :      16150 (1203680 domain reductions, 4646 cutoffs)
1800.02/1800.72	c   avg switch length:      10.14
1800.02/1800.72	c   switching time   :     237.42
1800.02/1800.72	c Solution           :
1800.02/1800.72	c   Solutions found  :          0 (0 improvements)
1800.02/1800.72	c   Primal Bound     :          -
1800.02/1800.72	c   Dual Bound       : +1.20000000000000e+02
1800.02/1800.72	c   Gap              :   infinite
1800.02/1800.72	c   Root Dual Bound  : +1.20000000000000e+02
1800.02/1800.72	c   Root Iterations  :          0
1800.31/1801.08	c Time complete: 1800.39.

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-2664243-1276619386/watcher-2664243-1276619386 -o /tmp/evaluation-result-2664243-1276619386/solver-2664243-1276619386 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664243-1276619386.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: 1.00 1.00 1.00 3/106 4594
/proc/meminfo: memFree=1807244/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=6584 CPUtime=0
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 979 0 0 0 0 0 0 0 22 0 1 0 37540000 6742016 901 1992294400 4194304 7136930 140734029080752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4594/statm: 1646 910 254 719 0 925 0

[startup+0.0271 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4594
/proc/meminfo: memFree=1807244/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=8252 CPUtime=0.02
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 1545 0 0 0 2 0 0 0 24 0 1 0 37540000 8450048 1467 1992294400 4194304 7136930 140734029080752 18446744073709551615 6303907 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4594/statm: 2063 1467 271 719 0 1342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8252

[startup+0.101113 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4594
/proc/meminfo: memFree=1807244/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=10204 CPUtime=0.09
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 2031 0 0 0 9 0 0 0 24 0 1 0 37540000 10448896 1953 1992294400 4194304 7136930 140734029080752 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4594/statm: 2551 1953 271 719 0 1830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10204

[startup+0.301147 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4594
/proc/meminfo: memFree=1807244/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=15684 CPUtime=0.29
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 3400 0 0 0 28 1 0 0 25 0 1 0 37540000 16060416 3322 1992294400 4194304 7136930 140734029080752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4594/statm: 3921 3322 271 719 0 3200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15684

[startup+0.701216 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4594
/proc/meminfo: memFree=1807244/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=36404 CPUtime=0.69
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 8782 0 0 0 66 3 0 0 25 0 1 0 37540000 37277696 8350 1992294400 4194304 7136930 140734029080752 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 9101 8362 283 719 0 8380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36404

[startup+1.50035 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4595
/proc/meminfo: memFree=1706920/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=110144 CPUtime=1.49
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 27672 0 0 0 137 12 0 0 25 0 1 0 37540000 112787456 25602 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 27536 25602 367 719 0 26815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110144

[startup+3.10063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4595
/proc/meminfo: memFree=1705556/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=110276 CPUtime=3.08
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 27684 0 0 0 296 12 0 0 25 0 1 0 37540000 112922624 25614 1992294400 4194304 7136930 140734029080752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 27569 25614 367 719 0 26848 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 110276

[startup+6.30018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4595
/proc/meminfo: memFree=1704316/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=111888 CPUtime=6.28
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 28102 0 0 0 613 15 0 0 25 0 1 0 37540000 114573312 26032 1992294400 4194304 7136930 140734029080752 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 27972 26032 387 719 0 27251 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 111888

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4597
/proc/meminfo: memFree=1702580/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=114488 CPUtime=12.69
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 28752 0 0 0 1247 22 0 0 25 0 1 0 37540000 117235712 26682 1992294400 4194304 7136930 140734029080752 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 28622 26682 387 719 0 27901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114488

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4597
/proc/meminfo: memFree=1696132/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=119988 CPUtime=25.48
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 30112 0 0 0 2521 27 0 0 25 0 1 0 37540000 122867712 28035 1992294400 4194304 7136930 140734029080752 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 29997 28035 395 719 0 29276 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 119988

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4597
/proc/meminfo: memFree=1691172/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=125220 CPUtime=51.06
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 31343 0 0 0 5075 31 0 0 25 0 1 0 37540000 128225280 29266 1992294400 4194304 7136930 140734029080752 18446744073709551615 4923070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 31305 29266 395 719 0 30584 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 125220

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4599
/proc/meminfo: memFree=1685840/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=130864 CPUtime=102.25
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 32638 0 0 0 10187 38 0 0 25 0 1 0 37540000 134004736 30561 1992294400 4194304 7136930 140734029080752 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 32716 30561 395 719 0 31995 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 130864

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4599
/proc/meminfo: memFree=1680880/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=136096 CPUtime=162.22
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 33845 0 0 0 16177 45 0 0 25 0 1 0 37540000 139362304 31768 1992294400 4194304 7136930 140734029080752 18446744073709551615 4392926 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 34024 31768 395 719 0 33303 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 136096

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4601
/proc/meminfo: memFree=1675548/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=141496 CPUtime=222.2
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 35170 0 0 0 22169 51 0 0 25 0 1 0 37540000 144891904 33093 1992294400 4194304 7136930 140734029080752 18446744073709551615 4978955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 35374 33093 395 719 0 34653 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 141496

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4603
/proc/meminfo: memFree=1670588/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=146824 CPUtime=282.17
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 36410 0 0 0 28160 57 0 0 25 0 1 0 37540000 150347776 34333 1992294400 4194304 7136930 140734029080752 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 36706 34333 395 719 0 35985 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 146824

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4605
/proc/meminfo: memFree=1666248/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=151484 CPUtime=342.16
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 37489 0 0 0 34150 66 0 0 25 0 1 0 37540000 155119616 35412 1992294400 4194304 7136930 140734029080752 18446744073709551615 4947139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 37871 35412 395 719 0 37150 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 151484

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4607
/proc/meminfo: memFree=1661288/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=156972 CPUtime=402.13
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 38709 0 0 0 40140 73 0 0 25 0 1 0 37540000 160739328 36632 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 39243 36632 395 719 0 38522 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 156972

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4607
/proc/meminfo: memFree=1654344/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=164244 CPUtime=462.11
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 40404 0 0 0 46131 80 0 0 25 0 1 0 37540000 168185856 38327 1992294400 4194304 7136930 140734029080752 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 41061 38327 395 719 0 40340 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 164244

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4609
/proc/meminfo: memFree=1647028/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=172560 CPUtime=522.09
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 42296 0 0 0 52121 88 0 0 25 0 1 0 37540000 176701440 40219 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 43140 40219 395 719 0 42419 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 172560

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4611
/proc/meminfo: memFree=1642316/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=177576 CPUtime=582.06
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 43408 0 0 0 58112 94 0 0 25 0 1 0 37540000 181837824 41331 1992294400 4194304 7136930 140734029080752 18446744073709551615 4947722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 44394 41331 395 719 0 43673 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 177576

[startup+642.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 4613
/proc/meminfo: memFree=1636860/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=183480 CPUtime=642.05
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 44757 0 0 0 64105 100 0 0 25 0 1 0 37540000 187883520 42680 1992294400 4194304 7136930 140734029080752 18446744073709551615 4431895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 45870 42680 395 719 0 45149 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 183480

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4619
/proc/meminfo: memFree=1625700/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=195408 CPUtime=881.95
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 47454 0 0 0 88074 121 0 0 25 0 1 0 37540000 200097792 45377 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 48852 45377 395 719 0 48131 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 195408

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4621
/proc/meminfo: memFree=1624336/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=196868 CPUtime=941.93
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 47800 0 0 0 94067 126 0 0 25 0 1 0 37540000 201592832 45723 1992294400 4194304 7136930 140734029080752 18446744073709551615 4923095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 49217 45723 395 719 0 48496 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 196868

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4623
/proc/meminfo: memFree=1619996/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=201348 CPUtime=1001.9
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 48880 0 0 0 100058 132 0 0 25 0 1 0 37540000 206180352 46803 1992294400 4194304 7136930 140734029080752 18446744073709551615 4978278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 50337 46803 395 719 0 49616 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 201348

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4623
/proc/meminfo: memFree=1616648/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=204768 CPUtime=1061.89
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 49705 0 0 0 106050 139 0 0 25 0 1 0 37540000 209682432 47628 1992294400 4194304 7136930 140734029080752 18446744073709551615 4978016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 51192 47628 395 719 0 50471 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 204768

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4625
/proc/meminfo: memFree=1613920/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=207696 CPUtime=1121.86
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 50389 0 0 0 112042 144 0 0 25 0 1 0 37540000 212680704 48312 1992294400 4194304 7136930 140734029080752 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 51924 48312 395 719 0 51203 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 207696

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4627
/proc/meminfo: memFree=1611440/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=210372 CPUtime=1181.84
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 50982 0 0 0 118033 151 0 0 25 0 1 0 37540000 215420928 48905 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 52593 48905 395 719 0 51872 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 210372

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4629
/proc/meminfo: memFree=1609704/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=211816 CPUtime=1241.81
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 51373 0 0 0 124025 156 0 0 25 0 1 0 37540000 216899584 49296 1992294400 4194304 7136930 140734029080752 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 52954 49296 395 719 0 52233 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 211816

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 4631
/proc/meminfo: memFree=1606604/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=215040 CPUtime=1301.8
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 52129 0 0 0 130018 162 0 0 25 0 1 0 37540000 220200960 50052 1992294400 4194304 7136930 140734029080752 18446744073709551615 4983799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 53760 50052 395 719 0 53039 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 215040

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 4631
/proc/meminfo: memFree=1605736/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=215836 CPUtime=1361.77
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 52360 0 0 0 136009 168 0 0 25 0 1 0 37540000 221016064 50283 1992294400 4194304 7136930 140734029080752 18446744073709551615 4947545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 53959 50283 395 719 0 53238 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 215836

[startup+1422.31 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 4633
/proc/meminfo: memFree=1599660/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=222760 CPUtime=1421.75
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 53863 0 0 0 141997 178 0 0 25 0 1 0 37540000 228106240 51786 1992294400 4194304 7136930 140734029080752 18446744073709551615 4978345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 55690 51786 395 719 0 54969 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 222760

[startup+1482.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 4635
/proc/meminfo: memFree=1589120/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=234748 CPUtime=1481.73
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 56522 0 0 0 147985 188 0 0 25 0 1 0 37540000 240381952 54445 1992294400 4194304 7136930 140734029080752 18446744073709551615 4977982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 58687 54445 395 719 0 57966 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 234748

[startup+1542.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 4637
/proc/meminfo: memFree=1574488/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=251940 CPUtime=1541.7
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 60136 0 0 0 153972 198 0 0 25 0 1 0 37540000 257986560 58059 1992294400 4194304 7136930 140734029080752 18446744073709551615 4947417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 62985 58059 395 719 0 62264 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 251940

[startup+1602.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 4639
/proc/meminfo: memFree=1559236/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=270144 CPUtime=1601.68
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 63962 0 0 0 159960 208 0 0 25 0 1 0 37540000 276627456 61885 1992294400 4194304 7136930 140734029080752 18446744073709551615 4980280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 67536 61885 395 719 0 66815 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 270144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 4639
/proc/meminfo: memFree=1549936/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=280704 CPUtime=1661.65
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 66326 0 0 0 165948 217 0 0 25 0 1 0 37540000 287440896 64249 1992294400 4194304 7136930 140734029080752 18446744073709551615 4978306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 70176 64249 395 719 0 69455 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 280704

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 4641
/proc/meminfo: memFree=1542372/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=288840 CPUtime=1721.63
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 68114 0 0 0 171940 223 0 0 25 0 1 0 37540000 295772160 66037 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 72210 66037 395 719 0 71489 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 288840

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4643
/proc/meminfo: memFree=1537536/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=293416 CPUtime=1781.61
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 69276 0 0 0 177929 232 0 0 25 0 1 0 37540000 300457984 67199 1992294400 4194304 7136930 140734029080752 18446744073709551615 4979592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 73354 67199 395 719 0 72633 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 293416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4643
/proc/meminfo: memFree=1536420/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=294544 CPUtime=1800.02
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 69542 0 0 0 179767 235 0 0 25 0 1 0 37540000 301613056 67465 1992294400 4194304 7136930 140734029080752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4594/statm: 73636 67465 395 719 0 72915 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 294544

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4643
/proc/meminfo: memFree=1536420/2059040 swapFree=4136120/4192956
[pid=4594] ppid=4592 vsize=292504 CPUtime=1800.31
/proc/4594/stat : 4594 (pbscip.linux.x8) R 4592 4594 4405 0 -1 4202496 69566 0 0 0 179796 235 0 0 25 0 1 0 37540000 299524096 66976 1992294400 4194304 7136930 140734029080752 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4594/statm: 73126 66976 401 719 0 72405 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 292504

Child status: 0
Real time (s): 1801.09
CPU time (s): 1800.4
CPU user time (s): 1798.02
CPU system time (s): 2.37864
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 294544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.37864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 24943

runsolver used 2.81057 second user time and 8.67468 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-15 18:29:46
IDJOB=2664243
IDBENCH=2937
IDSOLVER=1167
FILE ID=node014/2664243-1276619386
PBS_JOBID= 11172308
Free space on /tmp= 62568 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664243-1276619386/watcher-2664243-1276619386 -o /tmp/evaluation-result-2664243-1276619386/solver-2664243-1276619386 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664243-1276619386.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6e5141f298d85d1f18641c02d22506a9
RANDOM SEED=938162276

node014.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.258
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.51
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.258
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1807772 kB
Buffers:         59748 kB
Cached:         103448 kB
SwapCached:      11120 kB
Active:          98076 kB
Inactive:        79800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1807772 kB
SwapTotal:     4192956 kB
SwapFree:      4136120 kB
Dirty:            5860 kB
Writeback:           0 kB
AnonPages:       12608 kB
Mapped:           9448 kB
Slab:            51544 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182248 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= 62564 MiB
End job on node014 at 2010-06-15 18:59:49