Trace number 2665650

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.4 1800.92

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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665650-1276619096.opb>
0.49/0.51	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.49/0.51	c problem read
0.49/0.51	c presolving settings loaded
0.59/0.68	c presolving:
0.79/0.81	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.79/0.88	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
0.89/0.97	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
0.99/1.00	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
3.99/4.06	c    (3.5s) probing: 227/4319 (5.3%) - 0 fixings, 0 aggregations, 35 implications, 0 bound changes
3.99/4.06	c    (3.5s) probing aborted: 100/100 successive totally useless probings
3.99/4.07	c presolving (5 rounds):
3.99/4.07	c  1 deleted vars, 3982 deleted constraints, 1 tightened bounds, 0 added holes, 52 changed sides, 407 changed coefficients
3.99/4.07	c  284 implications, 7 cliques
3.99/4.07	c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4434 constraints
3.99/4.07	c     452 constraints of type <knapsack>
3.99/4.07	c       1 constraints of type <setppc>
3.99/4.07	c    3981 constraints of type <linear>
3.99/4.07	c transformed objective value is always integral (scale: 1)
3.99/4.07	c Presolving Time: 3.37
3.99/4.07	c - non default parameters ----------------------------------------------------------------------
3.99/4.07	c # SCIP version 1.2.1.2
3.99/4.07	c 
3.99/4.07	c # frequency for displaying node information lines
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 100]
3.99/4.07	c display/freq = 10000
3.99/4.07	c 
3.99/4.07	c # maximal time in seconds to run
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.99/4.07	c limits/time = 1799.5
3.99/4.07	c 
3.99/4.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.99/4.07	c limits/memory = 1620
3.99/4.07	c 
3.99/4.07	c # should presolving try to simplify inequalities
3.99/4.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.99/4.07	c constraints/linear/simplifyinequalities = TRUE
3.99/4.07	c 
3.99/4.07	c # should presolving try to simplify knapsacks
3.99/4.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.99/4.07	c constraints/knapsack/simplifyinequalities = TRUE
3.99/4.07	c 
3.99/4.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: -1]
3.99/4.07	c separating/rapidlearning/freq = 0
3.99/4.07	c 
3.99/4.07	c -----------------------------------------------------------------------------------------------
3.99/4.07	c start solving
3.99/4.07	c 
4.69/4.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.69/4.72	c   4.1s|     1 |     0 |  2846 |     - |  36M|   0 |2768 |4319 |4434 |4319 |4434 |   0 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
7.18/7.27	c   6.5s|     1 |     0 |  3105 |     - |  37M|   0 |2852 |4319 |4434 |4319 |4533 |  99 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
9.99/10.08	c   9.3s|     1 |     0 |  4771 |     - |  37M|   0 |2850 |4319 |4434 |4319 |4660 | 226 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
11.78/11.86	c  11.0s|     1 |     0 |  5265 |     - |  38M|   0 |2834 |4319 |4434 |4319 |4857 | 423 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
20.98/21.02	c  20.0s|     1 |     0 |  9163 |     - |  38M|   0 |2779 |4319 |4434 |4319 |5062 | 628 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
26.98/27.01	c  25.9s|     1 |     0 | 10416 |     - |  39M|   0 |2861 |4319 |4434 |4319 |5297 | 863 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
40.48/40.58	c  39.4s|     1 |     0 | 14822 |     - |  40M|   0 |2748 |4319 |4434 |4319 |5420 | 986 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
73.46/73.56	c  71.7s|     1 |     2 | 14822 |     - |  40M|   0 |2748 |4319 |4434 |4319 |5420 | 986 |   0 |  17 | 1.050000e+02 |      --      |    Inf 
1800.08/1800.60	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.19/1800.76	c 
1800.19/1800.76	c SCIP Status        : solving was interrupted [user interrupt]
1800.19/1800.76	c Solving Time (sec) : 1744.79
1800.19/1800.76	c Solving Nodes      : 2705
1800.19/1800.76	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.19/1800.76	c Dual Bound         : +1.05000000000000e+02
1800.19/1800.76	c Gap                : infinite
1800.19/1800.76	s UNKNOWN
1800.19/1800.76	c SCIP Status        : solving was interrupted [user interrupt]
1800.19/1800.76	c Solving Time       :    1744.79
1800.19/1800.76	c Original Problem   :
1800.19/1800.77	c   Problem name     : HOME/instance-2665650-1276619096.opb
1800.19/1800.77	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1800.77	c   Constraints      : 8415 initial, 8415 maximal
1800.19/1800.77	c Presolved Problem  :
1800.19/1800.77	c   Problem name     : t_HOME/instance-2665650-1276619096.opb
1800.19/1800.77	c   Variables        : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.19/1800.77	c   Constraints      : 4434 initial, 9855 maximal
1800.19/1800.77	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.19/1800.77	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.19/1800.77	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.19/1800.77	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.19/1800.77	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.19/1800.77	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.19/1800.77	c   probing          :       3.04          0          0          0          0          0          0          0          0
1800.19/1800.77	c   knapsack         :       0.02          0          0          0          0          0          0         48        102
1800.19/1800.77	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.19/1800.77	c   linear           :       0.24          1          0          0          1          0       3982          4        305
1800.19/1800.77	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.19/1800.77	c   root node        :          -          0          -          -          0          -          -          -          -
1800.19/1800.77	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.19/1800.77	c   integral         :          0          0          0       2332          0         13        516          0          0       4394
1800.19/1800.77	c   knapsack         :        452          6      23584          0          0        134      18071        869          0          0
1800.19/1800.77	c   setppc           :          1          6      12165          0          0          0          0          0          0          0
1800.19/1800.77	c   linear           :       3981          6      23450          0          0        528     266478          0          0          0
1800.19/1800.77	c   logicor          :          0+         0      12520          0          0         17       4403          0          0          0
1800.19/1800.77	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.19/1800.77	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.19/1800.77	c   integral         :     586.35       0.00       0.00     586.35       0.00
1800.19/1800.77	c   knapsack         :       5.60       0.09       5.51       0.00       0.00
1800.19/1800.77	c   setppc           :       0.02       0.00       0.02       0.00       0.00
1800.19/1800.77	c   linear           :      55.86       0.00      55.86       0.00       0.00
1800.19/1800.77	c   logicor          :       1.04       0.00       1.04       0.00       0.00
1800.19/1800.77	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.19/1800.77	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.19/1800.77	c   vbounds          :       0.01          2          0          0
1800.19/1800.77	c   rootredcost      :       0.03          0          0          0
1800.19/1800.77	c   pseudoobj        :       0.06      23119          0          0
1800.19/1800.77	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.19/1800.77	c   propagation      :       0.16        679        679       6584       39.6         62       15.8          -
1800.19/1800.77	c   infeasible LP    :       7.89       4071       4071       5531       16.3         66       14.8          0
1800.19/1800.77	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.19/1800.77	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.19/1800.77	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.19/1800.77	c   applied globally :          -          -          -       7895       21.1          -          -          -
1800.19/1800.77	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.19/1800.77	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.19/1800.77	c   cut pool         :       0.00          5          -          -        706          -    (maximal pool size: 4216)
1800.19/1800.77	c   redcost          :       1.16       2354          0         22          0          0
1800.19/1800.77	c   impliedbounds    :       0.01          6          0          0          6          0
1800.19/1800.77	c   intobj           :       0.00          0          0          0          0          0
1800.19/1800.77	c   cgmip            :       0.00          0          0          0          0          0
1800.19/1800.77	c   gomory           :       2.11          6          0          0         40          0
1800.19/1800.77	c   strongcg         :       2.08          6          0          0          4          0
1800.19/1800.77	c   cmir             :       3.51          6          0          0       3000          0
1800.19/1800.77	c   flowcover        :       4.61          6          0          0       1200          0
1800.19/1800.77	c   clique           :       0.01          6          0          0          2          0
1800.19/1800.77	c   zerohalf         :       0.00          0          0          0          0          0
1800.19/1800.77	c   mcf              :       0.00          1          0          0          0          0
1800.19/1800.77	c   rapidlearning    :       1.24          1          0          0          0          0
1800.19/1800.77	c Pricers            :       Time      Calls       Vars
1800.19/1800.77	c   problem variables:       0.00          0          0
1800.19/1800.77	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.19/1800.77	c   relpscost        :     586.34       2332         13        516          0          0       4394
1800.19/1800.77	c   pscost           :       0.00          0          0          0          0          0          0
1800.19/1800.77	c   inference        :       0.00          0          0          0          0          0          0
1800.19/1800.77	c   mostinf          :       0.00          0          0          0          0          0          0
1800.19/1800.77	c   leastinf         :       0.00          0          0          0          0          0          0
1800.19/1800.77	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.19/1800.77	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.19/1800.77	c   random           :       0.00          0          0          0          0          0          0
1800.19/1800.77	c Primal Heuristics  :       Time      Calls      Found
1800.19/1800.77	c   LP solutions     :       0.00          -          0
1800.19/1800.77	c   pseudo solutions :       0.00          -          0
1800.19/1800.77	c   oneopt           :       0.00          0          0
1800.19/1800.77	c   crossover        :       0.00          0          0
1800.19/1800.77	c   guideddiving     :       0.00          0          0
1800.19/1800.77	c   intshifting      :       0.00          0          0
1800.19/1800.77	c   coefdiving       :     170.90          4          0
1800.19/1800.77	c   fracdiving       :     110.81          6          0
1800.19/1800.77	c   veclendiving     :      35.09         13          0
1800.19/1800.77	c   rootsoldiving    :       9.33          7          0
1800.19/1800.77	c   objpscostdiving  :      11.04          7          0
1800.19/1800.77	c   pscostdiving     :      31.46         19          0
1800.19/1800.77	c   linesearchdiving :      31.21         19          0
1800.19/1800.77	c   feaspump         :       1.63         10          0
1800.19/1800.77	c   trivial          :       0.02          2          0
1800.19/1800.77	c   simplerounding   :       0.00          0          0
1800.19/1800.77	c   zirounding       :       0.80       1000          0
1800.19/1800.77	c   rounding         :       2.99        640          0
1800.19/1800.77	c   shifting         :      11.90        179          0
1800.19/1800.77	c   twoopt           :       0.00          0          0
1800.19/1800.77	c   fixandinfer      :       0.00          0          0
1800.19/1800.77	c   intdiving        :       0.00          0          0
1800.19/1800.77	c   actconsdiving    :       0.00          0          0
1800.19/1800.77	c   octane           :       0.00          0          0
1800.19/1800.77	c   rens             :       0.01          0          0
1800.19/1800.77	c   rins             :       0.00          0          0
1800.19/1800.77	c   localbranching   :       0.00          0          0
1800.19/1800.77	c   mutation         :       0.00          0          0
1800.19/1800.77	c   dins             :       0.00          0          0
1800.19/1800.77	c   undercover       :       0.00          0          0
1800.19/1800.77	c   nlp              :       0.00          0          0
1800.19/1800.77	c   trysol           :       0.00          0          0
1800.19/1800.77	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.19/1800.77	c   primal LP        :       0.03          0          0       0.00       0.00
1800.19/1800.77	c   dual LP          :     666.46       2659     760778     286.11    1141.52
1800.19/1800.77	c   lex dual LP      :       0.00          0          0       0.00          -
1800.19/1800.77	c   barrier LP       :       0.00          0          0       0.00          -
1800.19/1800.77	c   diving/probing LP:     349.84       8905     399133      44.82    1140.90
1800.19/1800.77	c   strong branching :     584.33       1910     496834     260.12     850.26
1800.19/1800.77	c     (at root node) :          -         17      16542     973.06          -
1800.19/1800.77	c   conflict analysis:       0.00          0          0       0.00          -
1800.19/1800.77	c B&B Tree           :
1800.19/1800.77	c   number of runs   :          1
1800.19/1800.77	c   nodes            :       2705
1800.19/1800.77	c   nodes (total)    :       2705
1800.19/1800.77	c   nodes left       :       1554
1800.19/1800.77	c   max depth        :         85
1800.19/1800.77	c   max depth (total):         85
1800.19/1800.77	c   backtracks       :        309 (11.4%)
1800.19/1800.77	c   delayed cutoffs  :        136
1800.19/1800.77	c   repropagations   :       2784 (78230 domain reductions, 84 cutoffs)
1800.19/1800.77	c   avg switch length:       5.09
1800.19/1800.77	c   switching time   :       8.12
1800.19/1800.77	c Solution           :
1800.19/1800.77	c   Solutions found  :          0 (0 improvements)
1800.19/1800.77	c   Primal Bound     :          -
1800.19/1800.77	c   Dual Bound       : +1.05000000000000e+02
1800.19/1800.77	c   Gap              :   infinite
1800.19/1800.77	c   Root Dual Bound  : +1.05000000000000e+02
1800.19/1800.77	c   Root Iterations  :      14822
1800.37/1800.91	c Time complete: 1800.38.

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-2665650-1276619096/watcher-2665650-1276619096 -o /tmp/evaluation-result-2665650-1276619096/solver-2665650-1276619096 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665650-1276619096.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.92 0.98 0.99 3/106 12840
/proc/meminfo: memFree=1388596/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=9288 CPUtime=0
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 1037 0 0 0 0 0 0 0 18 0 1 0 3204056 9510912 957 1992294400 4194304 9819077 140737241755552 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12840/statm: 2322 966 371 1374 0 943 0

[startup+0.105762 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12840
/proc/meminfo: memFree=1388596/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=13164 CPUtime=0.09
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 2218 0 0 0 9 0 0 0 20 0 1 0 3204056 13479936 2138 1992294400 4194304 9819077 140737241755552 18446744073709551615 6181120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12840/statm: 3291 2138 388 1374 0 1912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13164

[startup+0.201771 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12840
/proc/meminfo: memFree=1388596/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=15776 CPUtime=0.19
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 2881 0 0 0 19 0 0 0 20 0 1 0 3204056 16154624 2801 1992294400 4194304 9819077 140737241755552 18446744073709551615 8080895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12840/statm: 3944 2801 388 1374 0 2565 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15776

[startup+0.301779 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12840
/proc/meminfo: memFree=1388596/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=18188 CPUtime=0.29
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 3462 0 0 0 29 0 0 0 20 0 1 0 3204056 18624512 3382 1992294400 4194304 9819077 140737241755552 18446744073709551615 4525437 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12840/statm: 4547 3382 388 1374 0 3168 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18188

[startup+0.701812 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12840
/proc/meminfo: memFree=1388596/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=89196 CPUtime=0.7
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 20576 0 0 0 63 7 0 0 20 0 1 0 3204056 91336704 20142 1992294400 4194304 9819077 140737241755552 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 22299 20142 479 1374 0 20920 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 89196

[startup+1.50088 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 12841
/proc/meminfo: memFree=1307368/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=91040 CPUtime=1.49
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 23736 0 0 0 138 11 0 0 23 0 1 0 3204056 93224960 20636 1992294400 4194304 9819077 140737241755552 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 22760 20636 515 1374 0 21381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91040

[startup+3.10102 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 12841
/proc/meminfo: memFree=1307120/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=91040 CPUtime=3.09
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 23736 0 0 0 298 11 0 0 25 0 1 0 3204056 93224960 20636 1992294400 4194304 9819077 140737241755552 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 22760 20636 515 1374 0 21381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91040

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12841
/proc/meminfo: memFree=1290876/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=165764 CPUtime=6.29
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 51644 0 0 0 605 24 0 0 25 0 1 0 3204056 169742336 37666 1992294400 4194304 9819077 140737241755552 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 41441 37666 688 1374 0 40062 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165764

[startup+12.7008 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12841
/proc/meminfo: memFree=1286040/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=128520 CPUtime=12.68
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 64847 0 0 0 1233 35 0 0 25 0 1 0 3204056 131604480 26155 1992294400 4194304 9819077 140737241755552 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 32130 26155 702 1374 0 30751 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 128520

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 12841
/proc/meminfo: memFree=1280336/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=138276 CPUtime=25.48
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 99454 0 0 0 2495 53 0 0 25 0 1 0 3204056 141594624 27410 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 34569 27410 702 1374 0 33190 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 138276

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 12843
/proc/meminfo: memFree=1281824/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=155632 CPUtime=51.07
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 192739 0 0 0 5013 94 0 0 25 0 1 0 3204056 159367168 28053 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 38908 28053 706 1374 0 37529 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 155632

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 12843
/proc/meminfo: memFree=1281576/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=146708 CPUtime=102.26
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 508012 0 0 0 10004 222 0 0 25 0 1 0 3204056 150228992 27347 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36677 27347 710 1374 0 35298 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146708

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12845
/proc/meminfo: memFree=1282816/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=146296 CPUtime=162.25
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 789609 0 0 0 15883 342 0 0 25 0 1 0 3204056 149807104 27414 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36574 27414 710 1374 0 35195 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 146296

[startup+222.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12847
/proc/meminfo: memFree=1280584/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=149680 CPUtime=222.23
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 1085580 0 0 0 21754 469 0 0 25 0 1 0 3204056 153272320 27529 1992294400 4194304 9819077 140737241755552 18446744073709551615 7311974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 37420 27529 710 1374 0 36041 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 149680

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12849
/proc/meminfo: memFree=1282816/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=130228 CPUtime=282.21
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 1360513 0 0 0 27632 589 0 0 25 0 1 0 3204056 133353472 26917 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291840 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 32557 26917 710 1374 0 31178 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 130228

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12849
/proc/meminfo: memFree=1283064/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=122364 CPUtime=342.2
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 2124001 0 0 0 33369 851 0 0 25 0 1 0 3204056 125300736 27102 1992294400 4194304 9819077 140737241755552 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 30591 27102 714 1374 0 29212 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 122364

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 12851
/proc/meminfo: memFree=1283312/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=122240 CPUtime=402.18
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 3207362 0 0 0 39008 1210 0 0 25 0 1 0 3204056 125173760 26952 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 30560 26952 714 1374 0 29181 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 122240

[startup+462.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 12856
/proc/meminfo: memFree=1276492/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=148964 CPUtime=462.16
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 3778278 0 0 0 44797 1419 0 0 25 0 1 0 3204056 152539136 28458 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 37241 28458 715 1374 0 35862 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 148964

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12858
/proc/meminfo: memFree=1275128/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=149368 CPUtime=522.15
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 4152058 0 0 0 50646 1569 0 0 25 0 1 0 3204056 152952832 28419 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 37342 28419 715 1374 0 35963 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 149368

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12860
/proc/meminfo: memFree=1277856/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=131116 CPUtime=582.13
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 4577079 0 0 0 56478 1735 0 0 25 0 1 0 3204056 134262784 27962 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 32779 27962 715 1374 0 31400 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 131116

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12860
/proc/meminfo: memFree=1276492/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=132224 CPUtime=642.12
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 5028667 0 0 0 62298 1914 0 0 25 0 1 0 3204056 135397376 28203 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 33056 28203 715 1374 0 31677 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 132224

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12868
/proc/meminfo: memFree=1272152/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=133752 CPUtime=942.03
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 7542652 0 0 0 91316 2887 0 0 25 0 1 0 3204056 136962048 29567 1992294400 4194304 9819077 140737241755552 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 33438 29567 730 1374 0 32059 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 133752

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12870
/proc/meminfo: memFree=1271656/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=133556 CPUtime=1002.01
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 8138295 0 0 0 97091 3110 0 0 25 0 1 0 3204056 136761344 29590 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 33389 29590 730 1374 0 32010 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 133556

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12872
/proc/meminfo: memFree=1271532/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=133004 CPUtime=1062
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 8535594 0 0 0 102929 3271 0 0 25 0 1 0 3204056 136196096 29626 1992294400 4194304 9819077 140737241755552 18446744073709551615 4947413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 33251 29626 730 1374 0 31872 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 133004

[startup+1122.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 12874
/proc/meminfo: memFree=1269052/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=157132 CPUtime=1121.99
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 8954370 0 0 0 108756 3443 0 0 25 0 1 0 3204056 160903168 30569 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 39283 30569 730 1374 0 37904 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 157132

[startup+1182.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 12876
/proc/meminfo: memFree=1264712/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=156360 CPUtime=1181.96
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 9527249 0 0 0 114535 3661 0 0 25 0 1 0 3204056 160112640 31388 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 39090 31388 730 1374 0 37711 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 156360

[startup+1242.3 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 12876
/proc/meminfo: memFree=1265208/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=158792 CPUtime=1241.95
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 9908714 0 0 0 120375 3820 0 0 25 0 1 0 3204056 162603008 31481 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 39698 31481 730 1374 0 38319 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 158792

[startup+1302.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 12878
/proc/meminfo: memFree=1263720/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=146340 CPUtime=1301.93
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 10354068 0 0 0 126197 3996 0 0 25 0 1 0 3204056 149852160 31241 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36585 31241 730 1374 0 35206 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 146340

[startup+1362.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 12880
/proc/meminfo: memFree=1264092/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=144840 CPUtime=1361.91
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 10747277 0 0 0 132040 4151 0 0 25 0 1 0 3204056 148316160 31420 1992294400 4194304 9819077 140737241755552 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36210 31420 730 1374 0 34831 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 144840

[startup+1422.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 12882
/proc/meminfo: memFree=1263844/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=146676 CPUtime=1421.9
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 11111979 0 0 0 137893 4297 0 0 25 0 1 0 3204056 150196224 31460 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36669 31460 730 1374 0 35290 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 146676

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12884
/proc/meminfo: memFree=1262976/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=156828 CPUtime=1481.87
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 11464074 0 0 0 143747 4440 0 0 25 0 1 0 3204056 160591872 31521 1992294400 4194304 9819077 140737241755552 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 39207 31521 730 1374 0 37828 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 156828

[startup+1542.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12884
/proc/meminfo: memFree=1263472/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=145768 CPUtime=1541.85
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 12192318 0 0 0 149465 4720 0 0 25 0 1 0 3204056 149266432 31560 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36442 31560 730 1374 0 35063 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 145768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12886
/proc/meminfo: memFree=1263720/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=145272 CPUtime=1601.84
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 12632153 0 0 0 155287 4897 0 0 25 0 1 0 3204056 148758528 31642 1992294400 4194304 9819077 140737241755552 18446744073709551615 6198260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 36318 31642 730 1374 0 34939 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 145272

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12888
/proc/meminfo: memFree=1260868/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=151276 CPUtime=1661.81
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 13042811 0 0 0 161117 5064 0 0 25 0 1 0 3204056 154906624 32379 1992294400 4194304 9819077 140737241755552 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 37819 32379 730 1374 0 36440 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 151276

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12890
/proc/meminfo: memFree=1260248/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=142556 CPUtime=1721.8
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 13495523 0 0 0 166936 5244 0 0 25 0 1 0 3204056 145977344 32066 1992294400 4194304 9819077 140737241755552 18446744073709551615 7816521 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 35639 32066 730 1374 0 34260 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 142556

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12892
/proc/meminfo: memFree=1257396/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=151968 CPUtime=1781.78
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 14003862 0 0 0 172727 5451 0 0 25 0 1 0 3204056 155615232 33070 1992294400 4194304 9819077 140737241755552 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 37992 33070 730 1374 0 36613 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 151968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12892
/proc/meminfo: memFree=1256652/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=152320 CPUtime=1800.08
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 14116906 0 0 0 174513 5495 0 0 25 0 1 0 3204056 155975680 33150 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 38080 33150 730 1374 0 36701 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152320

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12893
/proc/meminfo: memFree=1256396/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=152124 CPUtime=1800.19
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 14117534 0 0 0 174523 5496 0 0 25 0 1 0 3204056 155774976 33216 1992294400 4194304 9819077 140737241755552 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12840/statm: 38031 33216 730 1374 0 36652 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 152124

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12893
/proc/meminfo: memFree=1256396/2059040 swapFree=4192956/4192956
[pid=12840] ppid=12838 vsize=65032 CPUtime=1800.37
/proc/12840/stat : 12840 (pbscip.linux.x8) R 12838 12840 12730 0 -1 4202496 14117964 0 0 0 174540 5497 0 0 25 0 1 0 3204056 66592768 15271 1992294400 4194304 9819077 140737241755552 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12840/statm: 16200 15153 733 1374 0 14821 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 65032

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.4
CPU user time (s): 1745.42
CPU system time (s): 54.9786
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 170780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.42
system time used= 54.9786
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14117968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1540

runsolver used 2.87856 second user time and 8.60369 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-15 18:24:56
IDJOB=2665650
IDBENCH=2935
IDSOLVER=1168
FILE ID=node031/2665650-1276619096
PBS_JOBID= 11172331
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665650-1276619096/watcher-2665650-1276619096 -o /tmp/evaluation-result-2665650-1276619096/solver-2665650-1276619096 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665650-1276619096.opb -t 1800 -m 1800

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

MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1
RANDOM SEED=1939738011

node031.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.219
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.43
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.219
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1389000 kB
Buffers:         81452 kB
Cached:         445480 kB
SwapCached:          0 kB
Active:         222176 kB
Inactive:       364416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1389000 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8236 kB
Writeback:           8 kB
AnonPages:       59640 kB
Mapped:          15416 kB
Slab:            61468 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 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 node031 at 2010-06-15 18:54:59