Trace number 2666265

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.31 1800.86

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
MD5SUM22116bd56344f7c7bb7157cc5841f631
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666265-1276689372.opb>
0.19/0.27	c original problem has 8424 variables (8424 bin, 0 int, 0 impl, 0 cont) and 9089 constraints
0.19/0.27	c problem read
0.19/0.27	c presolving settings loaded
0.29/0.39	c presolving:
0.39/0.48	c (round 1) 9 del vars, 1 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.49/0.51	c (round 2) 9 del vars, 8416 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16830 impls, 97 clqs
0.49/0.59	c (round 3) 9 del vars, 8416 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 16830 impls, 97 clqs
2.59/2.63	c    (2.3s) probing: 101/8415 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.59/2.63	c    (2.3s) probing aborted: 100/100 successive totally useless probings
2.59/2.63	c presolving (4 rounds):
2.59/2.63	c  9 deleted vars, 8416 deleted constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.59/2.63	c  16830 implications, 2293 cliques
2.59/2.63	c presolved problem has 8415 variables (8415 bin, 0 int, 0 impl, 0 cont) and 673 constraints
2.59/2.63	c     576 constraints of type <knapsack>
2.59/2.63	c      97 constraints of type <setppc>
2.59/2.63	c transformed objective value is always integral (scale: 1)
2.59/2.63	c Presolving Time: 2.23
2.59/2.63	c - non default parameters ----------------------------------------------------------------------
2.59/2.63	c # SCIP version 1.2.1.2
2.59/2.63	c 
2.59/2.63	c # frequency for displaying node information lines
2.59/2.63	c # [type: int, range: [-1,2147483647], default: 100]
2.59/2.63	c display/freq = 10000
2.59/2.63	c 
2.59/2.63	c # maximal time in seconds to run
2.59/2.63	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.63	c limits/time = 1799.74
2.59/2.63	c 
2.59/2.63	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.59/2.63	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.63	c limits/memory = 1620
2.59/2.63	c 
2.59/2.63	c # should presolving try to simplify inequalities
2.59/2.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.63	c constraints/linear/simplifyinequalities = TRUE
2.59/2.63	c 
2.59/2.63	c # should presolving try to simplify knapsacks
2.59/2.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.63	c constraints/knapsack/simplifyinequalities = TRUE
2.59/2.63	c 
2.59/2.63	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.59/2.63	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.63	c separating/rapidlearning/freq = 0
2.59/2.63	c 
2.59/2.63	c -----------------------------------------------------------------------------------------------
2.59/2.63	c start solving
2.59/2.63	c 
2.79/2.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.79/2.86	c   2.5s|     1 |     0 |  1179 |     - |  37M|   0 |  77 |8415 | 673 |8415 | 673 |   0 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
9.29/9.31	c   8.8s|     1 |     0 |  4570 |     - |  39M|   0 | 138 |8415 | 673 |8415 | 710 |  37 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
10.59/10.60	c  10.1s|     1 |     0 |  5020 |     - |  40M|   0 | 160 |8415 | 673 |8415 | 748 |  75 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
12.78/12.87	c  12.4s|     1 |     0 |  6348 |     - |  41M|   0 | 245 |8415 | 673 |8415 | 788 | 115 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
15.58/15.60	c  15.1s|     1 |     0 |  7827 |     - |  42M|   0 | 285 |8415 | 673 |8415 | 830 | 157 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
18.89/18.96	c  18.4s|     1 |     0 |  9551 |     - |  43M|   0 | 308 |8415 | 673 |8415 | 870 | 197 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
22.29/22.33	c  21.8s|     1 |     0 | 11068 |     - |  44M|   0 | 314 |8415 | 673 |8415 | 908 | 235 |   0 |   0 | 9.000000e+00 |      --      |    Inf 
30.88/30.90	c  30.2s|     1 |     2 | 11068 |     - |  44M|   0 | 314 |8415 | 673 |8415 | 908 | 235 |   0 |  10 | 9.000000e+00 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71	c 
1800.05/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.71	c Solving Time (sec) : 1785.88
1800.05/1800.71	c Solving Nodes      : 4570
1800.05/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71	c Dual Bound         : +9.00000000000000e+00
1800.05/1800.71	c Gap                : infinite
1800.05/1800.71	s UNKNOWN
1800.05/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.71	c Solving Time       :    1785.88
1800.05/1800.71	c Original Problem   :
1800.05/1800.71	c   Problem name     : HOME/instance-2666265-1276689372.opb
1800.05/1800.71	c   Variables        : 8424 (8424 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71	c   Constraints      : 9089 initial, 9089 maximal
1800.05/1800.71	c Presolved Problem  :
1800.05/1800.71	c   Problem name     : t_HOME/instance-2666265-1276689372.opb
1800.05/1800.71	c   Variables        : 8415 (8415 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71	c   Constraints      : 673 initial, 2558 maximal
1800.05/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.71	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.71	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.71	c   probing          :       0.56          0          0          0          0          0          0          0          0
1800.05/1800.71	c   knapsack         :       1.41          0          0          0          0          0          0          0          0
1800.05/1800.71	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.71	c   linear           :       0.13          9          0          0          9          0       8416          0          0
1800.05/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.71	c   integral         :          0          0          0       3105          0         14        737          0          0       5738
1800.05/1800.71	c   knapsack         :        576          6      30441          0          0          3     288691       1205          0          0
1800.05/1800.71	c   setppc           :         97          6      30438          0          0          0     100036          0          0          0
1800.05/1800.71	c   logicor          :          0+         0       8064          0          0        531       3999          0          0          0
1800.05/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.71	c   integral         :     641.21       0.00       0.00     641.21       0.00
1800.05/1800.71	c   knapsack         :      57.45       0.06      57.39       0.00       0.00
1800.05/1800.71	c   setppc           :       0.45       0.00       0.45       0.00       0.00
1800.05/1800.71	c   logicor          :       1.43       0.00       1.43       0.00       0.00
1800.05/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.71	c   vbounds          :       0.02          2          0          0
1800.05/1800.71	c   rootredcost      :       0.01          0          0          0
1800.05/1800.71	c   pseudoobj        :       0.03          0          0          0
1800.05/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.71	c   propagation      :       0.91        534        534       4286      227.9          3      254.7          -
1800.05/1800.71	c   infeasible LP    :      32.17       1394       1237      38305      520.2         20      137.2          0
1800.05/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.71	c   applied globally :          -          -          -       7444      265.6          -          -          -
1800.05/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.71	c   cut pool         :       0.02          5          -          -       1600          -    (maximal pool size: 2732)
1800.05/1800.71	c   redcost          :       3.22       3110          0          0          0          0
1800.05/1800.71	c   impliedbounds    :       0.00          6          0          0          0          0
1800.05/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.71	c   gomory           :       0.13          6          0          0         74          0
1800.05/1800.71	c   strongcg         :       0.19          6          0          0         31          0
1800.05/1800.71	c   cmir             :       4.31          6          0          0       2914          0
1800.05/1800.71	c   flowcover        :       1.69          6          0          0       1201          0
1800.05/1800.71	c   clique           :       0.04          6          0          0         18          0
1800.05/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.71	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.71	c   rapidlearning    :       3.50          1          0          0          0          0
1800.05/1800.71	c Pricers            :       Time      Calls       Vars
1800.05/1800.71	c   problem variables:       0.00          0          0
1800.05/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.71	c   relpscost        :     641.21       3105         14        737          0          0       5738
1800.05/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.05/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.71	c   LP solutions     :       0.00          -          0
1800.05/1800.71	c   pseudo solutions :       0.00          -          0
1800.05/1800.71	c   oneopt           :       0.01          0          0
1800.05/1800.71	c   crossover        :       0.00          0          0
1800.05/1800.71	c   guideddiving     :       0.00          0          0
1800.05/1800.71	c   intshifting      :       0.00          0          0
1800.05/1800.71	c   feaspump         :       4.56          2          0
1800.05/1800.71	c   objpscostdiving  :       0.48          2          0
1800.05/1800.71	c   rootsoldiving    :      10.21          2          0
1800.05/1800.71	c   coefdiving       :       9.62          4          0
1800.05/1800.71	c   pscostdiving     :      12.45          4          0
1800.05/1800.71	c   fracdiving       :      36.63          4          0
1800.05/1800.71	c   veclendiving     :      16.25          4          0
1800.05/1800.71	c   linesearchdiving :       9.26          4          0
1800.05/1800.71	c   trivial          :       0.03          2          0
1800.05/1800.71	c   simplerounding   :       0.00          0          0
1800.05/1800.71	c   zirounding       :       0.08       1000          0
1800.05/1800.71	c   rounding         :       0.63        728          0
1800.05/1800.71	c   shifting         :       2.92        190          0
1800.05/1800.71	c   twoopt           :       0.00          0          0
1800.05/1800.71	c   fixandinfer      :       0.00          0          0
1800.05/1800.71	c   intdiving        :       0.00          0          0
1800.05/1800.71	c   actconsdiving    :       0.00          0          0
1800.05/1800.71	c   octane           :       0.00          0          0
1800.05/1800.71	c   rens             :       0.29          1          0
1800.05/1800.71	c   rins             :       0.00          0          0
1800.05/1800.71	c   localbranching   :       0.00          0          0
1800.05/1800.71	c   mutation         :       0.00          0          0
1800.05/1800.71	c   dins             :       0.00          0          0
1800.05/1800.71	c   undercover       :       0.00          0          0
1800.05/1800.71	c   nlp              :       0.01          0          0
1800.05/1800.71	c   trysol           :       0.02          0          0
1800.05/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.71	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.71	c   dual LP          :     924.27       4286     998328     232.93    1080.13
1800.05/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.71	c   diving/probing LP:      77.94       4104      89265      21.75    1145.30
1800.05/1800.71	c   strong branching :     640.80       2447     607977     248.46     948.78
1800.05/1800.71	c     (at root node) :          -         10       5932     593.20          -
1800.05/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.71	c B&B Tree           :
1800.05/1800.71	c   number of runs   :          1
1800.05/1800.71	c   nodes            :       4570
1800.05/1800.71	c   nodes (total)    :       4570
1800.05/1800.71	c   nodes left       :       1033
1800.05/1800.71	c   max depth        :        182
1800.05/1800.71	c   max depth (total):        182
1800.05/1800.71	c   backtracks       :        251 (5.5%)
1800.05/1800.71	c   delayed cutoffs  :        136
1800.05/1800.71	c   repropagations   :      17451 (13258 domain reductions, 15 cutoffs)
1800.05/1800.71	c   avg switch length:      11.02
1800.05/1800.71	c   switching time   :       4.22
1800.05/1800.71	c Solution           :
1800.05/1800.71	c   Solutions found  :          0 (0 improvements)
1800.05/1800.71	c   Primal Bound     :          -
1800.05/1800.71	c   Dual Bound       : +9.00000000000000e+00
1800.05/1800.71	c   Gap              :   infinite
1800.05/1800.71	c   Root Dual Bound  : +9.00000000000000e+00
1800.05/1800.71	c   Root Iterations  :      11068
1800.25/1800.85	c Time complete: 1800.3.

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-2666265-1276689372/watcher-2666265-1276689372 -o /tmp/evaluation-result-2666265-1276689372/solver-2666265-1276689372 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666265-1276689372.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/105 15490
/proc/meminfo: memFree=1736372/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=7724 CPUtime=0
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1099 0 0 0 0 0 0 0 25 0 1 0 10231320 7909376 1019 1992294400 4194304 8223781 140736719152144 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15490/statm: 1931 1030 348 984 0 944 0

[startup+0.0459759 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 15490
/proc/meminfo: memFree=1736372/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=11664 CPUtime=0.03
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 2229 0 0 0 3 0 0 0 25 0 1 0 10231320 11943936 2149 1992294400 4194304 8223781 140736719152144 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15490/statm: 2916 2149 365 984 0 1929 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11664

[startup+0.101984 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 15490
/proc/meminfo: memFree=1736372/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=16076 CPUtime=0.09
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 3317 0 0 0 8 1 0 0 25 0 1 0 10231320 16461824 3237 1992294400 4194304 8223781 140736719152144 18446744073709551615 7250784 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15490/statm: 4019 3237 365 984 0 3032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16076

[startup+0.301004 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 15490
/proc/meminfo: memFree=1736372/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=31936 CPUtime=0.29
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 7578 0 0 0 27 2 0 0 25 0 1 0 10231320 32702464 7134 1992294400 4194304 8223781 140736719152144 18446744073709551615 4668106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 7984 7134 381 984 0 6997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31936

[startup+0.701045 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 15490
/proc/meminfo: memFree=1736372/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=53360 CPUtime=0.69
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 13461 0 0 0 62 7 0 0 25 0 1 0 10231320 54640640 12239 1992294400 4194304 8223781 140736719152144 18446744073709551615 4893002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 13340 12239 458 984 0 12353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53360

[startup+1.50113 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15491
/proc/meminfo: memFree=1686516/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=59080 CPUtime=1.49
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 14880 0 0 0 141 8 0 0 25 0 1 0 10231320 60497920 13658 1992294400 4194304 8223781 140736719152144 18446744073709551615 4856397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 14770 13658 458 984 0 13783 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59080

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15491
/proc/meminfo: memFree=1680688/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=77288 CPUtime=3.09
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 20576 0 0 0 299 10 0 0 25 0 1 0 10231320 79142912 17972 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 19322 17972 547 984 0 18335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77288

[startup+6.30164 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15491
/proc/meminfo: memFree=1663576/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=123608 CPUtime=6.29
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 32730 0 0 0 611 18 0 0 25 0 1 0 10231320 126574592 29062 1992294400 4194304 8223781 140736719152144 18446744073709551615 4890981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 30902 29062 577 984 0 29915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123608

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15491
/proc/meminfo: memFree=1654276/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=89816 CPUtime=12.69
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 37215 0 0 0 1247 22 0 0 25 0 1 0 10231320 91971584 21019 1992294400 4194304 8223781 140736719152144 18446744073709551615 6570017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 22454 21019 587 984 0 21467 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89816

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15491
/proc/meminfo: memFree=1650680/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=93260 CPUtime=25.48
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 57927 0 0 0 2513 35 0 0 25 0 1 0 10231320 95498240 21857 1992294400 4194304 8223781 140736719152144 18446744073709551615 6532641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 23315 21857 593 984 0 22328 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93260

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15491
/proc/meminfo: memFree=1650804/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=92820 CPUtime=51.08
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 76189 0 0 0 5052 56 0 0 25 0 1 0 10231320 95047680 21813 1992294400 4194304 8223781 140736719152144 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 23205 21813 593 984 0 22218 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92820

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15493
/proc/meminfo: memFree=1650680/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=92524 CPUtime=102.27
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 108455 0 0 0 10140 87 0 0 25 0 1 0 10231320 94744576 21777 1992294400 4194304 8223781 140736719152144 18446744073709551615 6532664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 23131 21777 593 984 0 22144 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 92524

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15495
/proc/meminfo: memFree=1650680/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=92532 CPUtime=162.24
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 143382 0 0 0 16099 125 0 0 25 0 1 0 10231320 94752768 21736 1992294400 4194304 8223781 140736719152144 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 23133 21736 593 984 0 22146 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 92532

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15497
/proc/meminfo: memFree=1649688/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=93448 CPUtime=222.23
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 180367 0 0 0 22053 170 0 0 25 0 1 0 10231320 95690752 21976 1992294400 4194304 8223781 140736719152144 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 23362 21976 597 984 0 22375 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93448

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15497
/proc/meminfo: memFree=1645348/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=97264 CPUtime=282.21
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 218461 0 0 0 28005 216 0 0 25 0 1 0 10231320 99598336 22947 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 24316 22947 598 984 0 23329 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 97264

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15508
/proc/meminfo: memFree=1642000/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=100720 CPUtime=342.18
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 250438 0 0 0 33961 257 0 0 25 0 1 0 10231320 103137280 23741 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 25180 23741 597 984 0 24193 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 100720

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15510
/proc/meminfo: memFree=1640636/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=102184 CPUtime=402.17
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 281982 0 0 0 39915 302 0 0 25 0 1 0 10231320 104636416 24042 1992294400 4194304 8223781 140736719152144 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 25546 24042 597 984 0 24559 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 102184

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15512
/proc/meminfo: memFree=1635180/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=107160 CPUtime=462.15
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 319606 0 0 0 45870 345 0 0 25 0 1 0 10231320 109731840 25325 1992294400 4194304 8223781 140736719152144 18446744073709551615 6595280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 26790 25325 597 984 0 25803 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 107160

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15514
/proc/meminfo: memFree=1631212/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=111720 CPUtime=522.12
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 364274 0 0 0 51817 395 0 0 25 0 1 0 10231320 114401280 26547 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 27930 26547 598 984 0 26943 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 111720

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15514
/proc/meminfo: memFree=1626376/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=116716 CPUtime=582.11
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 413583 0 0 0 57768 443 0 0 25 0 1 0 10231320 119517184 27744 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 29179 27744 598 984 0 28192 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 116716

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15516
/proc/meminfo: memFree=1623400/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=119896 CPUtime=642.1
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 455241 0 0 0 63717 493 0 0 25 0 1 0 10231320 122773504 28396 1992294400 4194304 8223781 140736719152144 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 29974 28396 598 984 0 28987 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 119896

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15522
/proc/meminfo: memFree=1620176/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=122436 CPUtime=882.02
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 629379 0 0 0 87518 684 0 0 25 0 1 0 10231320 125374464 29249 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 30609 29249 598 984 0 29622 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 122436

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15524
/proc/meminfo: memFree=1619308/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=123232 CPUtime=942
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 672387 0 0 0 93467 733 0 0 25 0 1 0 10231320 126189568 29419 1992294400 4194304 8223781 140736719152144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 30808 29419 598 984 0 29821 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 123232

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15526
/proc/meminfo: memFree=1617944/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=124704 CPUtime=1001.99
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 711887 0 0 0 99420 779 0 0 25 0 1 0 10231320 127696896 29743 1992294400 4194304 8223781 140736719152144 18446744073709551615 5908131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31176 29743 598 984 0 30189 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 124704

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15528
/proc/meminfo: memFree=1617324/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=124932 CPUtime=1061.96
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 755698 0 0 0 105371 825 0 0 25 0 1 0 10231320 127930368 29849 1992294400 4194304 8223781 140736719152144 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31233 29849 598 984 0 30246 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 124932

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15530
/proc/meminfo: memFree=1616704/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=125668 CPUtime=1121.94
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 790440 0 0 0 111326 868 0 0 25 0 1 0 10231320 128684032 30066 1992294400 4194304 8223781 140736719152144 18446744073709551615 6359052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31417 30066 598 984 0 30430 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 125668

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15530
/proc/meminfo: memFree=1615836/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=126812 CPUtime=1181.93
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 829152 0 0 0 117275 918 0 0 25 0 1 0 10231320 129855488 30316 1992294400 4194304 8223781 140736719152144 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31703 30316 598 984 0 30716 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 126812

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15532
/proc/meminfo: memFree=1615216/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=127072 CPUtime=1241.91
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 871684 0 0 0 123223 968 0 0 25 0 1 0 10231320 130121728 30369 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31768 30369 598 984 0 30781 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 127072

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15534
/proc/meminfo: memFree=1614596/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=127556 CPUtime=1301.9
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 910920 0 0 0 129177 1013 0 0 25 0 1 0 10231320 130617344 30483 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31889 30483 598 984 0 30902 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 127556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15536
/proc/meminfo: memFree=1614224/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=127576 CPUtime=1361.88
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 949430 0 0 0 135130 1058 0 0 25 0 1 0 10231320 130637824 30524 1992294400 4194304 8223781 140736719152144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 31894 30524 598 984 0 30907 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 127576

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15538
/proc/meminfo: memFree=1613232/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=128068 CPUtime=1421.86
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 992933 0 0 0 141083 1103 0 0 25 0 1 0 10231320 131141632 30623 1992294400 4194304 8223781 140736719152144 18446744073709551615 6359597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 32017 30623 598 984 0 31030 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 128068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15538
/proc/meminfo: memFree=1613480/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=128748 CPUtime=1481.84
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1031499 0 0 0 147038 1146 0 0 25 0 1 0 10231320 131837952 30715 1992294400 4194304 8223781 140736719152144 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 32187 30715 598 984 0 31200 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 128748

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15540
/proc/meminfo: memFree=1612488/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=129620 CPUtime=1541.82
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1070984 0 0 0 152989 1193 0 0 25 0 1 0 10231320 132730880 30970 1992294400 4194304 8223781 140736719152144 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 32405 30970 598 984 0 31418 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 129620

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15542
/proc/meminfo: memFree=1608892/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=133304 CPUtime=1601.8
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1114612 0 0 0 158938 1242 0 0 25 0 1 0 10231320 136503296 31848 1992294400 4194304 8223781 140736719152144 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 33326 31848 598 984 0 32339 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 133304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15544
/proc/meminfo: memFree=1608520/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=133852 CPUtime=1661.79
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1160660 0 0 0 164887 1292 0 0 25 0 1 0 10231320 137064448 32002 1992294400 4194304 8223781 140736719152144 18446744073709551615 6559794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 33463 32002 598 984 0 32476 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 133852

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15546
/proc/meminfo: memFree=1607776/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=134128 CPUtime=1721.77
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1199494 0 0 0 170838 1339 0 0 25 0 1 0 10231320 137347072 32080 1992294400 4194304 8223781 140736719152144 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 33532 32080 598 984 0 32545 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 134128

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15546
/proc/meminfo: memFree=1606908/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=135360 CPUtime=1781.75
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1241653 0 0 0 176789 1386 0 0 25 0 1 0 10231320 138608640 32369 1992294400 4194304 8223781 140736719152144 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 33840 32369 598 984 0 32853 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 135360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15548
/proc/meminfo: memFree=1607032/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=134936 CPUtime=1800.05
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1254816 0 0 0 178604 1401 0 0 25 0 1 0 10231320 138174464 32344 1992294400 4194304 8223781 140736719152144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15490/statm: 33734 32344 598 984 0 32747 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 134936

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15548
/proc/meminfo: memFree=1607032/2059040 swapFree=4192956/4192956
[pid=15490] ppid=15488 vsize=127316 CPUtime=1800.25
/proc/15490/stat : 15490 (pbscip.linux.x8) R 15488 15490 14905 0 -1 4202496 1254896 0 0 0 178623 1402 0 0 25 0 1 0 10231320 130371584 30436 1992294400 4194304 8223781 140736719152144 18446744073709551615 4698615 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15490/statm: 31829 30436 599 984 0 30842 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 127316

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.31
CPU user time (s): 1786.28
CPU system time (s): 14.0359
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 136628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.28
system time used= 14.0359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1254900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3101

runsolver used 2.92455 second user time and 8.5597 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-16 13:56:12
IDJOB=2666265
IDBENCH=71849
IDSOLVER=1169
FILE ID=node081/2666265-1276689372
PBS_JOBID= 11172576
Free space on /tmp= 121808 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666265-1276689372/watcher-2666265-1276689372 -o /tmp/evaluation-result-2666265-1276689372/solver-2666265-1276689372 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666265-1276689372.opb -t 1800 -m 1800

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

MD5SUM BENCH= 22116bd56344f7c7bb7157cc5841f631
RANDOM SEED=1367169372

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1736776 kB
Buffers:         52844 kB
Cached:         143580 kB
SwapCached:          0 kB
Active:         122552 kB
Inactive:       133452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1736776 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5380 kB
Writeback:           0 kB
AnonPages:       59564 kB
Mapped:          15464 kB
Slab:            44448 kB
PageTables:       3868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181512 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= 121804 MiB
End job on node081 at 2010-06-16 14:26:15