Trace number 1870819

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1800.21 1800.83

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx84.opb
MD5SUM13a1c43c96eef592ca49f745f65e3ff1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1.59976
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6088
Total number of constraints6677
Number of constraints which are clauses6080
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints512
Minimum length of a constraint2
Maximum length of a constraint512
Number of terms in the objective function 8
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 8
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 1039
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.09/0.17	c SCIP version 1.1.0.7
0.09/0.17	c LP-Solver Clp 1.8.2
0.09/0.17	c user parameter file <scip.set> not found - using default parameters
0.09/0.17	c read problem <HOME/instance-1870819-1245220792.opb>
0.09/0.17	c original problem has 6088 variables (6088 bin, 0 int, 0 impl, 0 cont) and 6677 constraints
0.19/0.24	c start presolving problem
0.19/0.24	c presolving:
0.29/0.30	c (round 1) 8 del vars, 1 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12160 impls, 84 clqs
0.29/0.32	c (round 2) 8 del vars, 6081 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12160 impls, 84 clqs
0.29/0.39	c (round 3) 8 del vars, 6081 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 596 upgd conss, 12160 impls, 84 clqs
1.29/1.32	c    (1.1s) probing: 101/6080 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.32	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.29/1.32	c presolving (4 rounds):
1.29/1.32	c  8 deleted vars, 6081 deleted constraints, 8 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.32	c  12160 implications, 1364 cliques
1.29/1.32	c presolved problem has 6080 variables (6080 bin, 0 int, 0 impl, 0 cont) and 596 constraints
1.29/1.32	c     512 constraints of type <knapsack>
1.29/1.32	c      84 constraints of type <setppc>
1.29/1.32	c transformed objective value is always integral (scale: 1)
1.29/1.32	c Presolving Time: 1.08
1.29/1.32	c OPT-LIN
1.29/1.32	c -----------------------------------------------------------------------------------------------
1.29/1.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.32	c limits/memory = c 1620
1.29/1.32	c # maximal time in seconds to run
1.29/1.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.32	c limits/time = c 1791
1.29/1.32	c # frequency for displaying node information lines
1.29/1.32	c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.32	c display/freq = c 10000
1.29/1.32	c -----------------------------------------------------------------------------------------------
1.29/1.32	c start solving problem
1.29/1.32	c 
1.39/1.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.43	c   1.2s|     1 |     0 |   323 |  22M|   0 |  45 |6080 | 596 | 596 |6080 | 596 |   0 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
2.29/2.39	c   2.2s|     1 |     0 |   869 |  25M|   0 |  99 |6080 | 596 | 596 |6080 | 632 |  36 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
3.08/3.13	c   2.9s|     1 |     0 |  1034 |  26M|   0 | 108 |6080 | 596 | 596 |6080 | 662 |  66 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
3.99/4.02	c   3.8s|     1 |     0 |  1387 |  27M|   0 | 128 |6080 | 596 | 596 |6080 | 692 |  96 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
5.09/5.10	c   4.9s|     1 |     0 |  2072 |  27M|   0 | 144 |6080 | 596 | 596 |6080 | 717 | 121 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
6.18/6.23	c   6.0s|     1 |     0 |  2680 |  28M|   0 | 165 |6080 | 596 | 596 |6080 | 742 | 146 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
7.49/7.57	c   7.3s|     1 |     0 |  3512 |  28M|   0 | 165 |6080 | 596 | 596 |6080 | 760 | 164 |   0 |   0 | 8.000000e+00 |      --      |    Inf 
11.48/11.52	c  11.2s|     1 |     2 |  3512 |  28M|   0 | 165 |6080 | 596 | 596 |6080 | 760 | 164 |   0 |  33 | 8.000000e+00 |      --      |    Inf 
322.78/322.98	c   322s| 10000 |   181 |193391 |  32M| 179 |  35 |6080 |1750 | 589 |6080 | 719 | 164 |1539 |5192 | 8.000000e+00 |      --      |    Inf 
573.20/573.48	c   570s| 20000 |   346 |407989 |  33M| 179 |   - |6080 |2586 | 690 |6080 | 719 | 164 |4050 |9250 | 8.000000e+00 |      --      |    Inf 
768.83/769.18	c   765s| 30000 |   573 |553610 |  37M| 179 |  50 |6080 |5152 | 649 |6080 | 719 | 164 |  14k|  10k| 8.000000e+00 |      --      |    Inf 
956.67/957.00	c   952s| 40000 |   626 |687797 |  37M| 179 |  32 |6080 |3808 | 679 |6080 | 719 | 164 |  23k|  12k| 8.000000e+00 |      --      |    Inf 
1139.50/1139.98	c  1134s| 50000 |   636 |806063 |  37M| 179 |   - |6080 |3824 | 580 |6080 | 719 | 164 |  23k|  14k| 8.000000e+00 |      --      |    Inf 
1298.74/1299.28	c  1292s| 60000 |   664 |913878 |  37M| 217 |   - |6080 |3963 | 590 |6080 | 719 | 164 |  24k|  15k| 8.000000e+00 |      --      |    Inf 
1472.18/1472.71	c  1465s| 70000 |   614 |  1019k|  37M| 218 |  41 |6080 |3931 | 666 |6080 | 719 | 164 |  24k|  17k| 8.000000e+00 |      --      |    Inf 
1674.61/1675.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1674.61/1675.24	c  1666s| 80000 |   683 |  1147k|  37M| 218 |  40 |6080 |4401 |1002 |6080 | 719 | 164 |  28k|  19k| 8.000000e+00 |      --      |    Inf 
1800.08/1800.72	c 
1800.08/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.72	c Solving Time (sec) : 1790.85
1800.08/1800.72	c Solving Nodes      : 87312
1800.08/1800.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.72	c Dual Bound         : +8.00000000000000e+00
1800.08/1800.72	c Gap                : infinite
1800.08/1800.72	c NODE         87312
1800.08/1800.72	c DUAL BOUND   8
1800.08/1800.72	c PRIMAL BOUND 1e+20
1800.08/1800.72	c GAP          1e+20
1800.08/1800.72	s UNKNOWN
1800.08/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.72	c Solving Time       :    1790.85
1800.08/1800.72	c Original Problem   :
1800.08/1800.72	c   Problem name     : HOME/instance-1870819-1245220792.opb
1800.08/1800.72	c   Variables        : 6088 (6088 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72	c   Constraints      : 6677 initial, 6677 maximal
1800.08/1800.72	c Presolved Problem  :
1800.08/1800.72	c   Problem name     : t_HOME/instance-1870819-1245220792.opb
1800.08/1800.72	c   Variables        : 6080 (6080 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72	c   Constraints      : 596 initial, 5338 maximal
1800.08/1800.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.72	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.72	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.72	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.72	c   probing          :       0.10          0          0          0          0          0          0          0          0
1800.08/1800.72	c   knapsack         :       0.80          0          0          0          0          0          0          0          0
1800.08/1800.72	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.72	c   linear           :       0.11          8          0          0          8          0       6081          0          0
1800.08/1800.72	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.72	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.72	c   integral         :          0          0          0      53131          0        392      13178          0          0      89238
1800.08/1800.72	c   knapsack         :        512          6     203741          0          0       3273    2050552       1076          0          0
1800.08/1800.72	c   setppc           :         84          6     200468          0          0        868     936564          0          0          0
1800.08/1800.72	c   logicor          :          0+         0      58852          0          0       1111      38607          0          0          0
1800.08/1800.72	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.72	c   integral         :     248.95       0.00       0.00     248.95       0.00
1800.08/1800.72	c   knapsack         :      22.53       0.06      22.47       0.00       0.00
1800.08/1800.72	c   setppc           :       3.67       0.00       3.67       0.00       0.00
1800.08/1800.72	c   logicor          :       3.43       0.00       3.43       0.00       0.00
1800.08/1800.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.72	c   rootredcost      :       0.21          0          0          0
1800.08/1800.72	c   pseudoobj        :       0.12          0          0          0
1800.08/1800.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.72	c   propagation      :       3.92       5252       5250     103335      101.0         86       82.4          -
1800.08/1800.72	c   infeasible LP    :      58.74      38806          0          0        0.0          0        0.0          0
1800.08/1800.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.72	c   applied globally :          -          -          -      28752       72.9          -          -          -
1800.08/1800.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.72	c   cut pool         :       0.01          5          -          -       1262          -    (maximal pool size: 2224)
1800.08/1800.72	c   redcost          :      37.84      52979          0          0          0          0
1800.08/1800.72	c   impliedbounds    :       0.00          6          0          0          0          0
1800.08/1800.72	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.72	c   gomory           :       0.12          6          0          0         90          0
1800.08/1800.72	c   strongcg         :       0.12          6          0          0         56          0
1800.08/1800.72	c   cmir             :       2.10          6          0          0       1574          0
1800.08/1800.72	c   flowcover        :       1.43          6          0          0       1203          0
1800.08/1800.72	c   clique           :       0.02          6          0          0         16          0
1800.08/1800.72	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.72	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.72	c Pricers            :       Time      Calls       Vars
1800.08/1800.72	c   problem variables:       0.00          0          0
1800.08/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.72	c   relpscost        :     248.81      53131        392      13178          0          0      89238
1800.08/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.72	c   inference        :       0.00          0          0          0          0          0          0
1800.08/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.72	c   LP solutions     :       0.00          -          0
1800.08/1800.72	c   pseudo solutions :       0.00          -          0
1800.08/1800.72	c   oneopt           :       0.10          0          0
1800.08/1800.72	c   crossover        :       0.05          0          0
1800.08/1800.72	c   guideddiving     :       0.00          0          0
1800.08/1800.72	c   veclendiving     :       4.41         43          0
1800.08/1800.72	c   coefdiving       :      33.56         43          0
1800.08/1800.72	c   linesearchdiving :       6.93         43          0
1800.08/1800.72	c   feaspump         :       7.60         22          0
1800.08/1800.72	c   objpscostdiving  :       3.75         22          0
1800.08/1800.72	c   rootsoldiving    :       3.11         22          0
1800.08/1800.72	c   pscostdiving     :      14.00         44          0
1800.08/1800.72	c   fracdiving       :      15.93         44          0
1800.08/1800.72	c   simplerounding   :       0.08          0          0
1800.08/1800.72	c   rounding         :       0.76       3217          0
1800.08/1800.72	c   shifting         :       9.62        960          0
1800.08/1800.72	c   intshifting      :       0.00          0          0
1800.08/1800.72	c   fixandinfer      :       0.00          0          0
1800.08/1800.72	c   intdiving        :       0.00          0          0
1800.08/1800.72	c   actconsdiving    :       0.00          0          0
1800.08/1800.72	c   octane           :       0.00          0          0
1800.08/1800.72	c   rens             :       0.16          1          0
1800.08/1800.72	c   rins             :       0.00          0          0
1800.08/1800.72	c   localbranching   :       0.00          0          0
1800.08/1800.72	c   mutation         :       0.00          0          0
1800.08/1800.72	c   dins             :       0.00          0          0
1800.08/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.72	c   primal LP        :       0.36          0          0       0.00       0.00
1800.08/1800.72	c   dual LP          :    1159.63      99331    1182830      11.91    1020.01
1800.08/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.72	c   diving/probing LP:      69.31       7831      43446       5.55     626.84
1800.08/1800.72	c   strong branching :     245.93      20470     521460      25.47    2120.36
1800.08/1800.72	c     (at root node) :          -         33       5416     164.12          -
1800.08/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.72	c B&B Tree           :
1800.08/1800.72	c   number of runs   :          1
1800.08/1800.72	c   nodes            :      87312
1800.08/1800.72	c   nodes (total)    :      87312
1800.08/1800.72	c   nodes left       :        807
1800.08/1800.72	c   max depth        :        218
1800.08/1800.72	c   max depth (total):        218
1800.08/1800.72	c   backtracks       :      11270 (12.9%)
1800.08/1800.72	c   delayed cutoffs  :       1120
1800.08/1800.72	c   repropagations   :      31014 (101927 domain reductions, 1048 cutoffs)
1800.08/1800.72	c   avg switch length:       3.93
1800.08/1800.72	c   switching time   :      19.67
1800.08/1800.72	c Solution           :
1800.08/1800.72	c   Solutions found  :          0 (0 improvements)
1800.08/1800.72	c   Primal Bound     :          -
1800.08/1800.72	c   Dual Bound       : +8.00000000000000e+00
1800.08/1800.72	c   Gap              :   infinite
1800.08/1800.72	c   Root Dual Bound  : +8.00000000000000e+00
1800.18/1800.82	c Time complete: 1800.2.

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

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/65 16547
/proc/meminfo: memFree=1840048/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=7616 CPUtime=0
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 596 0 0 0 0 0 0 0 20 0 1 0 189677091 7798784 580 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/16547/statm: 1904 590 353 1256 0 643 0

[startup+0.086104 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16547
/proc/meminfo: memFree=1840048/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=17000 CPUtime=0.08
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 3223 0 0 0 7 1 0 0 20 0 1 0 189677091 17408000 3207 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/16547/statm: 4250 3207 378 1256 0 2989 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17000

[startup+0.102106 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16547
/proc/meminfo: memFree=1840048/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=18096 CPUtime=0.09
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 3499 0 0 0 8 1 0 0 20 0 1 0 189677091 18530304 3483 1992294400 4194304 9342243 548682068736 18446744073709551615 8193836 0 0 4096 0 0 0 0 17 1 0 0
/proc/16547/statm: 4524 3483 378 1256 0 3263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18096

[startup+0.302143 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16547
/proc/meminfo: memFree=1840048/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=39240 CPUtime=0.29
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 8964 0 0 0 26 3 0 0 22 0 1 0 189677091 40181760 8594 1992294400 4194304 9342243 548682068736 18446744073709551615 4849674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 9810 8594 470 1256 0 8549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39240

[startup+0.701219 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16547
/proc/meminfo: memFree=1840048/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=43952 CPUtime=0.69
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 10173 0 0 0 65 4 0 0 25 0 1 0 189677091 45006848 9803 1992294400 4194304 9342243 548682068736 18446744073709551615 8247785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 10988 9803 482 1256 0 9727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43952

[startup+1.50137 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1801320/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=58064 CPUtime=1.49
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 13554 0 0 0 144 5 0 0 25 0 1 0 189677091 59457536 13172 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 14516 13172 646 1256 0 13255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58064

[startup+3.10168 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1787304/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=66440 CPUtime=3.08
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 15649 0 0 0 302 6 0 0 25 0 1 0 189677091 68034560 15267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 16610 15267 677 1256 0 15349 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66440

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1778856/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=69428 CPUtime=6.28
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 16470 0 0 0 620 8 0 0 25 0 1 0 189677091 71094272 16063 1992294400 4194304 9342243 548682068736 18446744073709551615 5573017 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 17357 16063 678 1256 0 16096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69428

[startup+12.7015 s]
/proc/loadavg: 1.23 1.05 1.02 2/66 16548
/proc/meminfo: memFree=1776376/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=71940 CPUtime=12.69
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 23019 0 0 0 1257 12 0 0 25 0 1 0 189677091 73666560 16470 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 17985 16470 698 1256 0 16724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71940

[startup+25.502 s]
/proc/loadavg: 1.20 1.05 1.01 2/66 16548
/proc/meminfo: memFree=1776568/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=71940 CPUtime=25.48
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 23029 0 0 0 2534 14 0 0 25 0 1 0 189677091 73666560 16480 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 17985 16480 698 1256 0 16724 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71940

[startup+51.1028 s]
/proc/loadavg: 1.13 1.04 1.01 2/66 16548
/proc/meminfo: memFree=1776376/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=71940 CPUtime=51.07
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 23072 0 0 0 5089 18 0 0 25 0 1 0 189677091 73666560 16523 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 17985 16523 698 1256 0 16724 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71940

[startup+102.306 s]
/proc/loadavg: 1.05 1.03 1.01 2/66 16548
/proc/meminfo: memFree=1774968/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=73128 CPUtime=102.26
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 23902 0 0 0 10200 26 0 0 25 0 1 0 189677091 74883072 16869 1992294400 4194304 9342243 548682068736 18446744073709551615 4686193 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 18282 16869 706 1256 0 17021 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73128

[startup+162.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 16548
/proc/meminfo: memFree=1773880/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=75740 CPUtime=162.23
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 33157 0 0 0 16180 43 0 0 25 0 1 0 189677091 77557760 17159 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 18935 17159 706 1256 0 17674 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 75740

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 16548
/proc/meminfo: memFree=1773944/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=74996 CPUtime=222.22
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 43411 0 0 0 22157 65 0 0 25 0 1 0 189677091 76795904 17131 1992294400 4194304 9342243 548682068736 18446744073709551615 6063376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 18749 17131 706 1256 0 17488 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74996

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16548
/proc/meminfo: memFree=1772600/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=77584 CPUtime=282.2
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 56870 0 0 0 28130 90 0 0 25 0 1 0 189677091 79446016 17481 1992294400 4194304 9342243 548682068736 18446744073709551615 5837694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 19396 17481 706 1256 0 18135 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 77584

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 16548
/proc/meminfo: memFree=1772472/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=76188 CPUtime=342.18
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 87230 0 0 0 34099 119 0 0 25 0 1 0 189677091 78016512 17457 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 19047 17457 706 1256 0 17786 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 76188

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1771832/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=77824 CPUtime=402.15
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 136948 0 0 0 40053 162 0 0 25 0 1 0 189677091 79691776 17625 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 19456 17625 706 1256 0 18195 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 77824

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1770872/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=77500 CPUtime=462.13
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 200601 0 0 0 46002 211 0 0 25 0 1 0 189677091 79360000 17871 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 19375 17871 706 1256 0 18114 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 77500

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1770872/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=77752 CPUtime=522.11
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 264629 0 0 0 51951 260 0 0 25 0 1 0 189677091 79618048 17826 1992294400 4194304 9342243 548682068736 18446744073709551615 6038320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 19438 17826 706 1256 0 18177 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 77752

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1769592/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=79240 CPUtime=582.09
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 319334 0 0 0 57908 301 0 0 25 0 1 0 189677091 81141760 18260 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 19810 18260 706 1256 0 18549 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 79240

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1767224/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=82712 CPUtime=642.08
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 349310 0 0 0 63874 334 0 0 25 0 1 0 189677091 84697088 18780 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 20678 18780 706 1256 0 19417 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 82712

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1762040/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86208 CPUtime=881.99
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 434922 0 0 0 87755 444 0 0 25 0 1 0 189677091 88276992 19984 1992294400 4194304 9342243 548682068736 18446744073709551615 8222563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21552 19984 706 1256 0 20291 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 86208

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1761016/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86376 CPUtime=941.97
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 458966 0 0 0 93725 472 0 0 25 0 1 0 189677091 88449024 20155 1992294400 4194304 9342243 548682068736 18446744073709551615 7289228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21594 20155 706 1256 0 20333 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 86376

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1761080/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86856 CPUtime=1001.94
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 486041 0 0 0 99694 500 0 0 25 0 1 0 189677091 88940544 20196 1992294400 4194304 9342243 548682068736 18446744073709551615 6974272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21714 20196 706 1256 0 20453 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 86856

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16548
/proc/meminfo: memFree=1761080/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86716 CPUtime=1061.93
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 520304 0 0 0 105660 533 0 0 25 0 1 0 189677091 88797184 20228 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21679 20228 706 1256 0 20418 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 86716

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16549
/proc/meminfo: memFree=1760824/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86496 CPUtime=1121.91
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 562090 0 0 0 111619 572 0 0 25 0 1 0 189677091 88571904 20276 1992294400 4194304 9342243 548682068736 18446744073709551615 6039531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21624 20276 706 1256 0 20363 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 86496

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16549
/proc/meminfo: memFree=1760824/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87084 CPUtime=1181.89
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 590568 0 0 0 117589 600 0 0 25 0 1 0 189677091 89174016 20301 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21771 20301 706 1256 0 20510 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 87084

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16550
/proc/meminfo: memFree=1760824/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86844 CPUtime=1241.87
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 625988 0 0 0 123554 633 0 0 25 0 1 0 189677091 88928256 20262 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21711 20262 706 1256 0 20450 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 86844

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760568/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=86568 CPUtime=1301.85
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 653541 0 0 0 129523 662 0 0 25 0 1 0 189677091 88645632 20236 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21642 20236 706 1256 0 20381 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 86568

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760568/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87372 CPUtime=1361.82
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 673751 0 0 0 135493 689 0 0 25 0 1 0 189677091 89468928 20273 1992294400 4194304 9342243 548682068736 18446744073709551615 6039424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21843 20273 706 1256 0 20582 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 87372

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760696/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87084 CPUtime=1421.8
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 690923 0 0 0 141467 713 0 0 25 0 1 0 189677091 89174016 20233 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21771 20233 706 1256 0 20510 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 87084

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760632/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87240 CPUtime=1481.78
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 713292 0 0 0 147436 742 0 0 25 0 1 0 189677091 89333760 20231 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21810 20231 706 1256 0 20549 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 87240

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760568/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87392 CPUtime=1541.76
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 742941 0 0 0 153403 773 0 0 25 0 1 0 189677091 89489408 20315 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21848 20315 706 1256 0 20587 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 87392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760632/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87356 CPUtime=1601.74
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 774765 0 0 0 159368 806 0 0 25 0 1 0 189677091 89452544 20260 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21839 20260 706 1256 0 20578 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 87356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1760568/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=88964 CPUtime=1661.72
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 817383 0 0 0 165333 839 0 0 25 0 1 0 189677091 91099136 20349 1992294400 4194304 9342243 548682068736 18446744073709551615 7289248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 22241 20349 706 1256 0 20980 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 88964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1759608/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=87920 CPUtime=1721.7
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 853038 0 0 0 171296 874 0 0 25 0 1 0 189677091 90030080 20484 1992294400 4194304 9342243 548682068736 18446744073709551615 7006237 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 21980 20484 706 1256 0 20719 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 87920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1759160/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=88172 CPUtime=1781.68
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 874457 0 0 0 177265 903 0 0 25 0 1 0 189677091 90288128 20536 1992294400 4194304 9342243 548682068736 18446744073709551615 4253496 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 22043 20536 706 1256 0 20782 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 88172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1758200/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=90084 CPUtime=1800.08
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 878032 0 0 0 179099 909 0 0 25 0 1 0 189677091 92246016 20830 1992294400 4194304 9342243 548682068736 18446744073709551615 6242879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16547/statm: 22521 20830 706 1256 0 21260 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 90084

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16556
/proc/meminfo: memFree=1758200/2055920 swapFree=4178232/4192956
[pid=16547] ppid=16545 vsize=90084 CPUtime=1800.18
/proc/16547/stat : 16547 (pbscip.linux.x8) R 16545 16547 16483 0 -1 4194304 878033 0 0 0 179109 909 0 0 25 0 1 0 189677091 92246016 20831 1992294400 4194304 9342243 548682068736 18446744073709551615 5855024 0 0 4096 0 0 0 0 17 1 0 0
/proc/16547/statm: 22521 20831 707 1256 0 21260 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 90084

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.21
CPU user time (s): 1791.1
CPU system time (s): 9.10662
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 94368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.1
system time used= 9.10661
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 878036
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= 3
involuntary context switches= 1701

runsolver used 2.03669 second user time and 4.50432 second system time

The end

Launcher Data 

Begin job on node91 at 2009-06-17 08:39:52
IDJOB=1870819
IDBENCH=71845
IDSOLVER=684
FILE ID=node91/1870819-1245220792
PBS_JOBID= 9368440
Free space on /tmp= 66444 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870819-1245220792/watcher-1870819-1245220792 -o /tmp/evaluation-result-1870819-1245220792/solver-1870819-1245220792 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870819-1245220792.opb

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

MD5SUM BENCH= 13a1c43c96eef592ca49f745f65e3ff1
RANDOM SEED=407864432

node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.261
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.261
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1840464 kB
Buffers:         28300 kB
Cached:         118136 kB
SwapCached:       8264 kB
Active:          74032 kB
Inactive:        82188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840464 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:           12304 kB
Writeback:           0 kB
Mapped:          15460 kB
Slab:            45096 kB
Committed_AS:    97456 kB
PageTables:       1364 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66432 MiB
End job on node91 at 2009-06-17 09:09:55