Trace number 2666259

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.32 1800.89

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
MD5SUM899c8865b8ac9a45eaa204f923cbd9e8
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 variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
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-2666259-1276688119.opb>
0.09/0.17	c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.09/0.17	c problem read
0.09/0.17	c presolving settings loaded
0.19/0.24	c presolving:
0.29/0.30	c (round 1) 7 del vars, 1 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.32	c (round 2) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.37	c (round 3) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
1.19/1.25	c    (1.0s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.25	c    (1.0s) probing aborted: 100/100 successive totally useless probings
1.19/1.25	c presolving (4 rounds):
1.19/1.25	c  7 deleted vars, 4971 deleted constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.25	c  9940 implications, 1111 cliques
1.19/1.25	c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
1.19/1.25	c     448 constraints of type <knapsack>
1.19/1.25	c      75 constraints of type <setppc>
1.19/1.25	c transformed objective value is always integral (scale: 1)
1.19/1.25	c Presolving Time: 1.00
1.19/1.25	c - non default parameters ----------------------------------------------------------------------
1.19/1.25	c # SCIP version 1.2.1.2
1.19/1.25	c 
1.19/1.25	c # frequency for displaying node information lines
1.19/1.25	c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.25	c display/freq = 10000
1.19/1.25	c 
1.19/1.25	c # maximal time in seconds to run
1.19/1.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.25	c limits/time = 1799.84
1.19/1.25	c 
1.19/1.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.25	c limits/memory = 1620
1.19/1.25	c 
1.19/1.25	c # should presolving try to simplify inequalities
1.19/1.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.25	c constraints/linear/simplifyinequalities = TRUE
1.19/1.25	c 
1.19/1.25	c # should presolving try to simplify knapsacks
1.19/1.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.25	c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.25	c 
1.19/1.25	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.25	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.25	c separating/rapidlearning/freq = 0
1.19/1.25	c 
1.19/1.25	c -----------------------------------------------------------------------------------------------
1.19/1.25	c start solving
1.19/1.26	c 
1.39/1.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.40	c   1.2s|     1 |     0 |  1058 |     - |  22M|   0 |  57 |4970 | 523 |4970 | 523 |   0 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
3.69/3.76	c   3.5s|     1 |     0 |  2301 |     - |  23M|   0 |  95 |4970 | 523 |4970 | 556 |  33 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
4.29/4.32	c   4.0s|     1 |     0 |  2421 |     - |  24M|   0 | 130 |4970 | 523 |4970 | 586 |  63 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
4.99/5.04	c   4.8s|     1 |     0 |  2595 |     - |  24M|   0 | 172 |4970 | 523 |4970 | 618 |  95 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
5.89/5.94	c   5.6s|     1 |     0 |  2959 |     - |  25M|   0 | 163 |4970 | 523 |4970 | 648 | 125 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
6.89/6.97	c   6.7s|     1 |     0 |  3578 |     - |  26M|   0 | 201 |4970 | 523 |4970 | 678 | 155 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
8.19/8.21	c   7.9s|     1 |     0 |  4337 |     - |  26M|   0 | 207 |4970 | 523 |4970 | 706 | 183 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
14.09/14.19	c  13.7s|     1 |     2 |  4337 |     - |  26M|   0 | 207 |4970 | 523 |4970 | 706 | 183 |   0 |  12 | 7.000000e+00 |      --      |    Inf 
946.10/946.47	c   936s| 10000 |  1423 |878232 |  87.4 |  41M| 140 |  38 |4970 |1834 |4970 | 634 | 183 |  17k|4187 | 7.000000e+00 |      --      |    Inf 
1676.06/1676.65	c  1657s| 20000 |  3837 |  1659k|  82.7 |  57M| 268 |  51 |4970 |3132 |4970 | 634 | 183 |  33k|7685 | 7.000000e+00 |      --      |    Inf 
1800.04/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.14/1800.75	c 
1800.14/1800.75	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.75	c Solving Time (sec) : 1780.02
1800.14/1800.75	c Solving Nodes      : 22473
1800.14/1800.75	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.14/1800.75	c Dual Bound         : +7.00000000000000e+00
1800.14/1800.75	c Gap                : infinite
1800.14/1800.75	s UNKNOWN
1800.14/1800.75	c SCIP Status        : solving was interrupted [user interrupt]
1800.14/1800.75	c Solving Time       :    1780.02
1800.14/1800.75	c Original Problem   :
1800.14/1800.75	c   Problem name     : HOME/instance-2666259-1276688119.opb
1800.14/1800.75	c   Variables        : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.75	c   Constraints      : 5494 initial, 5494 maximal
1800.14/1800.75	c Presolved Problem  :
1800.14/1800.75	c   Problem name     : t_HOME/instance-2666259-1276688119.opb
1800.14/1800.75	c   Variables        : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.75	c   Constraints      : 523 initial, 4245 maximal
1800.14/1800.75	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.14/1800.75	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   probing          :       0.29          0          0          0          0          0          0          0          0
1800.14/1800.75	c   knapsack         :       0.55          0          0          0          0          0          0          0          0
1800.14/1800.75	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   linear           :       0.11          7          0          0          7          0       4971          0          0
1800.14/1800.75	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.14/1800.75	c   root node        :          -          0          -          -          0          -          -          -          -
1800.14/1800.75	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.75	c   integral         :          0          0          0      15540          0        100       3837          0          0      27940
1800.14/1800.75	c   knapsack         :        448          6     159181          0          0       1109    1540120       1202          0          0
1800.14/1800.75	c   setppc           :         75          6     158072          0          0        399     626321          0          0          0
1800.14/1800.75	c   logicor          :          0+         0      36513          0          0       1467      13653          0          0          0
1800.14/1800.75	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.14/1800.75	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.14/1800.75	c   integral         :     503.18       0.00       0.00     503.18       0.00
1800.14/1800.75	c   knapsack         :     147.67       0.05     147.62       0.00       0.00
1800.14/1800.75	c   setppc           :       2.21       0.00       2.21       0.00       0.00
1800.14/1800.75	c   logicor          :       4.28       0.00       4.28       0.00       0.00
1800.14/1800.75	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.14/1800.75	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.14/1800.75	c   vbounds          :       0.13          2          0          0
1800.14/1800.75	c   rootredcost      :       0.08          0          0          0
1800.14/1800.75	c   pseudoobj        :       0.07          0          0          0
1800.14/1800.75	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.75	c   propagation      :       2.90       2975       2972      42988      123.2         64      118.2          -
1800.14/1800.75	c   infeasible LP    :      53.23       6153       5206     137396      263.7         78      141.2          0
1800.14/1800.75	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.75	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.75	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.75	c   applied globally :          -          -          -      37468      123.4          -          -          -
1800.14/1800.75	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.14/1800.75	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.14/1800.75	c   cut pool         :       0.01          5          -          -        872          -    (maximal pool size: 2204)
1800.14/1800.75	c   redcost          :       8.57      15501          0          0          0          0
1800.14/1800.75	c   impliedbounds    :       0.01          6          0          0          0          0
1800.14/1800.75	c   intobj           :       0.00          0          0          0          0          0
1800.14/1800.75	c   cgmip            :       0.00          0          0          0          0          0
1800.14/1800.75	c   gomory           :       0.06          6          0          0         38          0
1800.14/1800.75	c   strongcg         :       0.12          6          0          0         30          0
1800.14/1800.75	c   cmir             :       2.00          6          0          0       2378          0
1800.14/1800.75	c   flowcover        :       1.23          6          0          0       1203          0
1800.14/1800.75	c   clique           :       0.01          6          0          0          8          0
1800.14/1800.75	c   zerohalf         :       0.00          0          0          0          0          0
1800.14/1800.75	c   mcf              :       0.00          1          0          0          0          0
1800.14/1800.75	c   rapidlearning    :       1.33          1          0          0          0          0
1800.14/1800.75	c Pricers            :       Time      Calls       Vars
1800.14/1800.75	c   problem variables:       0.00          0          0
1800.14/1800.75	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.75	c   relpscost        :     503.12      15540        100       3837          0          0      27940
1800.14/1800.75	c   pscost           :       0.00          0          0          0          0          0          0
1800.14/1800.75	c   inference        :       0.00          0          0          0          0          0          0
1800.14/1800.75	c   mostinf          :       0.00          0          0          0          0          0          0
1800.14/1800.75	c   leastinf         :       0.00          0          0          0          0          0          0
1800.14/1800.75	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.14/1800.75	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.14/1800.75	c   random           :       0.00          0          0          0          0          0          0
1800.14/1800.75	c Primal Heuristics  :       Time      Calls      Found
1800.14/1800.75	c   LP solutions     :       0.00          -          0
1800.14/1800.75	c   pseudo solutions :       0.00          -          0
1800.14/1800.75	c   oneopt           :       0.04          0          0
1800.14/1800.75	c   crossover        :       0.02          0          0
1800.14/1800.75	c   pscostdiving     :      13.91         15          0
1800.14/1800.75	c   fracdiving       :      27.02         15          0
1800.14/1800.75	c   veclendiving     :       4.31         15          0
1800.14/1800.75	c   linesearchdiving :       8.57         15          0
1800.14/1800.75	c   feaspump         :       6.30          8          0
1800.14/1800.75	c   objpscostdiving  :       0.85          8          0
1800.14/1800.75	c   rootsoldiving    :       4.16          8          0
1800.14/1800.75	c   trivial          :       0.01          2          0
1800.14/1800.75	c   simplerounding   :       0.01          0          0
1800.14/1800.75	c   zirounding       :       0.07       1000          0
1800.14/1800.75	c   rounding         :       0.51       1721          0
1800.14/1800.75	c   shifting         :       3.60        504          0
1800.14/1800.75	c   intshifting      :       0.00          0          0
1800.14/1800.75	c   twoopt           :       0.00          0          0
1800.14/1800.75	c   fixandinfer      :       0.00          0          0
1800.14/1800.75	c   coefdiving       :      36.46         16          0
1800.14/1800.75	c   intdiving        :       0.00          0          0
1800.14/1800.75	c   actconsdiving    :       0.00          0          0
1800.14/1800.75	c   guideddiving     :       0.00          0          0
1800.14/1800.75	c   octane           :       0.00          0          0
1800.14/1800.75	c   rens             :       0.19          1          0
1800.14/1800.75	c   rins             :       0.00          0          0
1800.14/1800.75	c   localbranching   :       0.00          0          0
1800.14/1800.75	c   mutation         :       0.00          0          0
1800.14/1800.75	c   dins             :       0.00          0          0
1800.14/1800.75	c   undercover       :       0.00          0          0
1800.14/1800.75	c   nlp              :       0.03          0          0
1800.14/1800.75	c   trysol           :       0.01          0          0
1800.14/1800.75	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.14/1800.75	c   primal LP        :       0.00          0          0       0.00          -
1800.14/1800.75	c   dual LP          :     897.13      21349    1689688      79.15    1883.44
1800.14/1800.75	c   lex dual LP      :       0.00          0          0       0.00          -
1800.14/1800.75	c   barrier LP       :       0.00          0          0       0.00          -
1800.14/1800.75	c   diving/probing LP:      78.22       8722     123127      14.12    1574.11
1800.14/1800.75	c   strong branching :     501.85       8091     835069     103.21    1663.98
1800.14/1800.75	c     (at root node) :          -         12       7588     632.33          -
1800.14/1800.75	c   conflict analysis:       0.00          0          0       0.00          -
1800.14/1800.75	c B&B Tree           :
1800.14/1800.75	c   number of runs   :          1
1800.14/1800.75	c   nodes            :      22473
1800.14/1800.75	c   nodes (total)    :      22473
1800.14/1800.75	c   nodes left       :       4056
1800.14/1800.75	c   max depth        :        268
1800.14/1800.75	c   max depth (total):        268
1800.14/1800.75	c   backtracks       :       2082 (9.3%)
1800.14/1800.75	c   delayed cutoffs  :       1412
1800.14/1800.75	c   repropagations   :     103798 (272849 domain reductions, 379 cutoffs)
1800.14/1800.75	c   avg switch length:      12.80
1800.14/1800.75	c   switching time   :      21.26
1800.14/1800.75	c Solution           :
1800.14/1800.75	c   Solutions found  :          0 (0 improvements)
1800.14/1800.75	c   Primal Bound     :          -
1800.14/1800.75	c   Dual Bound       : +7.00000000000000e+00
1800.14/1800.75	c   Gap              :   infinite
1800.14/1800.75	c   Root Dual Bound  : +7.00000000000000e+00
1800.14/1800.75	c   Root Iterations  :       4337
1800.22/1800.88	c Time complete: 1800.31.

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-2666259-1276688119/watcher-2666259-1276688119 -o /tmp/evaluation-result-2666259-1276688119/solver-2666259-1276688119 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666259-1276688119.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 0.99 0.99 3/106 15655
/proc/meminfo: memFree=1720172/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=7724 CPUtime=0
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 44415916 7909376 926 1992294400 4194304 8223781 140734574981424 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15655/statm: 1931 935 348 984 0 944 0

[startup+0.084729 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15655
/proc/meminfo: memFree=1720172/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=14396 CPUtime=0.08
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 2910 0 0 0 7 1 0 0 20 0 1 0 44415916 14741504 2830 1992294400 4194304 8223781 140734574981424 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15655/statm: 3599 2830 365 984 0 2612 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14396

[startup+0.10173 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15655
/proc/meminfo: memFree=1720172/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=16072 CPUtime=0.09
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 3327 0 0 0 8 1 0 0 20 0 1 0 44415916 16457728 3247 1992294400 4194304 8223781 140734574981424 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15655/statm: 4018 3247 365 984 0 3031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16072

[startup+0.301752 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15655
/proc/meminfo: memFree=1720172/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=35944 CPUtime=0.29
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 8389 0 0 0 26 3 0 0 20 0 1 0 44415916 36806656 7945 1992294400 4194304 8223781 140734574981424 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 8986 7946 442 984 0 7999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35944

[startup+0.701792 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15655
/proc/meminfo: memFree=1720172/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=41644 CPUtime=0.69
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 10412 0 0 0 65 4 0 0 20 0 1 0 44415916 42643456 9355 1992294400 4194304 8223781 140734574981424 18446744073709551615 4856481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 10411 9355 458 984 0 9424 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41644

[startup+1.50087 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15656
/proc/meminfo: memFree=1681724/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=53532 CPUtime=1.49
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 14423 0 0 0 143 6 0 0 22 0 1 0 44415916 54816768 12333 1992294400 4194304 8223781 140734574981424 18446744073709551615 5325818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 13383 12333 550 984 0 12396 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53532

[startup+3.10104 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15656
/proc/meminfo: memFree=1671308/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=89380 CPUtime=3.09
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 24306 0 0 0 298 11 0 0 25 0 1 0 44415916 91525120 20865 1992294400 4194304 8223781 140734574981424 18446744073709551615 4656542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 22345 20865 578 984 0 21358 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89380

[startup+6.30136 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15656
/proc/meminfo: memFree=1665604/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=63136 CPUtime=6.29
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 26361 0 0 0 614 15 0 0 25 0 1 0 44415916 64651264 14475 1992294400 4194304 8223781 140734574981424 18446744073709551615 4310898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 15784 14475 588 984 0 14797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63136

[startup+12.701 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15656
/proc/meminfo: memFree=1660892/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=65440 CPUtime=12.69
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 47218 0 0 0 1242 27 0 0 25 0 1 0 44415916 67010560 15148 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 16360 15148 594 984 0 15373 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65440

[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15656
/proc/meminfo: memFree=1661016/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=65380 CPUtime=25.49
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 64224 0 0 0 2507 42 0 0 25 0 1 0 44415916 66949120 15147 1992294400 4194304 8223781 140734574981424 18446744073709551615 6567552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 16345 15147 594 984 0 15358 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65380

[startup+51.1009 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15656
/proc/meminfo: memFree=1661016/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=65904 CPUtime=51.08
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 91866 0 0 0 5040 68 0 0 25 0 1 0 44415916 67485696 15190 1992294400 4194304 8223781 140734574981424 18446744073709551615 6532641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 16476 15190 594 984 0 15489 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65904

[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15658
/proc/meminfo: memFree=1660272/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=66264 CPUtime=102.27
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 142257 0 0 0 10106 121 0 0 25 0 1 0 44415916 67854336 15288 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 16566 15288 594 984 0 15579 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66264

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15660
/proc/meminfo: memFree=1657172/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=68984 CPUtime=162.23
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 198490 0 0 0 16041 182 0 0 25 0 1 0 44415916 70639616 16060 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 17246 16060 598 984 0 16259 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 68984

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15662
/proc/meminfo: memFree=1648988/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=76428 CPUtime=222.21
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 259846 0 0 0 21976 245 0 0 25 0 1 0 44415916 78262272 17887 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 19107 17887 600 984 0 18120 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 76428

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15664
/proc/meminfo: memFree=1643780/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=82008 CPUtime=282.2
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 310149 0 0 0 27912 308 0 0 25 0 1 0 44415916 83976192 19314 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 20502 19314 600 984 0 19515 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 82008

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15664
/proc/meminfo: memFree=1635596/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=90252 CPUtime=342.17
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 358402 0 0 0 33836 381 0 0 25 0 1 0 44415916 92418048 21403 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 22563 21403 600 984 0 21576 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 90252

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15666
/proc/meminfo: memFree=1629892/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=95784 CPUtime=402.16
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 405111 0 0 0 39768 448 0 0 25 0 1 0 44415916 98082816 22716 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 23946 22716 600 984 0 22959 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 95784

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15668
/proc/meminfo: memFree=1627412/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=98484 CPUtime=462.14
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 453475 0 0 0 45700 514 0 0 25 0 1 0 44415916 100847616 23417 1992294400 4194304 8223781 140734574981424 18446744073709551615 6562447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 24621 23417 600 984 0 23634 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 98484

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15670
/proc/meminfo: memFree=1624684/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=101156 CPUtime=522.12
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 501572 0 0 0 51631 581 0 0 25 0 1 0 44415916 103583744 24103 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 25289 24103 600 984 0 24302 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 101156

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15672
/proc/meminfo: memFree=1622576/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=103492 CPUtime=582.11
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 544622 0 0 0 57570 641 0 0 25 0 1 0 44415916 105975808 24619 1992294400 4194304 8223781 140734574981424 18446744073709551615 6567536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 25873 24619 600 984 0 24886 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 103492

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15672
/proc/meminfo: memFree=1621088/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=104948 CPUtime=642.09
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 597052 0 0 0 63503 706 0 0 25 0 1 0 44415916 107466752 25016 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 26237 25016 600 984 0 25250 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 104948

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15680
/proc/meminfo: memFree=1613276/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=112072 CPUtime=882.02
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 796826 0 0 0 87240 962 0 0 25 0 1 0 44415916 114761728 26838 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 28018 26838 600 984 0 27031 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 112072

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15680
/proc/meminfo: memFree=1612284/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=113568 CPUtime=941.99
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 844894 0 0 0 93174 1025 0 0 25 0 1 0 44415916 116293632 27179 1992294400 4194304 8223781 140734574981424 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 28392 27179 600 984 0 27405 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 113568

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15682
/proc/meminfo: memFree=1609432/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=116464 CPUtime=1001.98
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 893597 0 0 0 99109 1089 0 0 25 0 1 0 44415916 119259136 27856 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 29116 27856 600 984 0 28129 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 116464

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15684
/proc/meminfo: memFree=1606704/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=118796 CPUtime=1061.96
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 933799 0 0 0 105041 1155 0 0 25 0 1 0 44415916 121647104 28470 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 29699 28470 600 984 0 28712 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 118796

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15686
/proc/meminfo: memFree=1605464/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=119888 CPUtime=1121.95
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 984355 0 0 0 110975 1220 0 0 25 0 1 0 44415916 122765312 28761 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 29972 28761 600 984 0 28985 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 119888

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15688
/proc/meminfo: memFree=1604472/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=121064 CPUtime=1181.93
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1037905 0 0 0 116904 1289 0 0 25 0 1 0 44415916 123969536 29063 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 30266 29063 600 984 0 29279 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 121064

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15688
/proc/meminfo: memFree=1601992/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=123352 CPUtime=1241.91
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1091064 0 0 0 122835 1356 0 0 25 0 1 0 44415916 126312448 29630 1992294400 4194304 8223781 140734574981424 18446744073709551615 6570387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 30838 29630 607 984 0 29851 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 123352

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15690
/proc/meminfo: memFree=1599760/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=125956 CPUtime=1301.9
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1153537 0 0 0 128760 1430 0 0 25 0 1 0 44415916 128978944 30196 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 31489 30196 607 984 0 30502 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 125956

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15692
/proc/meminfo: memFree=1596908/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=128492 CPUtime=1361.87
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1209085 0 0 0 134687 1500 0 0 25 0 1 0 44415916 131575808 30852 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 32123 30852 607 984 0 31136 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 128492

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15694
/proc/meminfo: memFree=1593932/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=131336 CPUtime=1421.86
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1264615 0 0 0 140613 1573 0 0 25 0 1 0 44415916 134488064 31600 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 32834 31600 607 984 0 31847 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 131336

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15696
/proc/meminfo: memFree=1591328/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=134072 CPUtime=1481.83
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1311873 0 0 0 146542 1641 0 0 25 0 1 0 44415916 137289728 32245 1992294400 4194304 8223781 140734574981424 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 33518 32245 607 984 0 32531 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 134072

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15705
/proc/meminfo: memFree=1589220/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=136100 CPUtime=1541.8
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1356758 0 0 0 152474 1706 0 0 25 0 1 0 44415916 139366400 32718 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 34025 32718 607 984 0 33038 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 136100

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15707
/proc/meminfo: memFree=1586864/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=138888 CPUtime=1601.79
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1409597 0 0 0 158399 1780 0 0 25 0 1 0 44415916 142221312 33413 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 34722 33413 611 984 0 33735 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 138888

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15709
/proc/meminfo: memFree=1583268/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=142628 CPUtime=1661.76
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1444145 0 0 0 164331 1845 0 0 25 0 1 0 44415916 146051072 34309 1992294400 4194304 8223781 140734574981424 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 35657 34309 611 984 0 34670 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 142628

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15711
/proc/meminfo: memFree=1580292/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=145708 CPUtime=1721.75
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1474479 0 0 0 170261 1914 0 0 25 0 1 0 44415916 149204992 35045 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 36427 35045 611 984 0 35440 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 145708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15713
/proc/meminfo: memFree=1578308/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=147412 CPUtime=1781.73
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1527925 0 0 0 176191 1982 0 0 25 0 1 0 44415916 150949888 35395 1992294400 4194304 8223781 140734574981424 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 36853 35395 611 984 0 35866 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 147412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15713
/proc/meminfo: memFree=1577812/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=147976 CPUtime=1800.04
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1543416 0 0 0 178003 2001 0 0 25 0 1 0 44415916 151527424 35527 1992294400 4194304 8223781 140734574981424 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15655/statm: 36994 35527 611 984 0 36007 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 147976

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/107 15713
/proc/meminfo: memFree=1577812/2059040 swapFree=4135684/4192956
[pid=15655] ppid=15653 vsize=147976 CPUtime=1800.22
/proc/15655/stat : 15655 (pbscip.linux.x8) R 15653 15655 14966 0 -1 4202496 1543578 0 0 0 178021 2001 0 0 25 0 1 0 44415916 151527424 35535 1992294400 4194304 8223781 140734574981424 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15655/statm: 36994 35535 612 984 0 36007 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 147976

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.32
CPU user time (s): 1780.28
CPU system time (s): 20.038
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 148432

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

runsolver used 2.73158 second user time and 8.74967 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-16 13:35:20
IDJOB=2666259
IDBENCH=71843
IDSOLVER=1169
FILE ID=node002/2666259-1276688119
PBS_JOBID= 11172560
Free space on /tmp= 62572 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-fx75.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-2666259-1276688119/watcher-2666259-1276688119 -o /tmp/evaluation-result-2666259-1276688119/solver-2666259-1276688119 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666259-1276688119.opb -t 1800 -m 1800

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

MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8
RANDOM SEED=208199452

node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1720700 kB
Buffers:        113492 kB
Cached:         130052 kB
SwapCached:      10940 kB
Active:         110912 kB
Inactive:       146168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1720700 kB
SwapTotal:     4192956 kB
SwapFree:      4135684 kB
Dirty:            4996 kB
Writeback:           0 kB
AnonPages:       11564 kB
Mapped:           9348 kB
Slab:            59512 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node002 at 2010-06-16 14:05:22