Trace number 2665644

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.22 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
MD5SUMc19ad978a977652a94fc03b8ce63204a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark78
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables1288
Total number of constraints2431
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 8
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 175
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 802
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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665644-1276620063.opb>
0.09/0.14	c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.09/0.14	c problem read
0.09/0.14	c presolving settings loaded
0.09/0.18	c presolving:
0.19/0.22	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.25	c (round 2) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.19/0.27	c (round 3) 1 del vars, 1183 del conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.59/0.62	c    (0.5s) probing: 151/1287 (11.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.59/0.62	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.62	c presolving (4 rounds):
0.59/0.62	c  1 deleted vars, 1183 deleted constraints, 1 tightened bounds, 0 added holes, 2 changed sides, 37 changed coefficients
0.59/0.62	c  36 implications, 0 cliques
0.59/0.62	c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1248 constraints
0.59/0.62	c      66 constraints of type <knapsack>
0.59/0.62	c    1182 constraints of type <linear>
0.59/0.62	c transformed objective value is always integral (scale: 1)
0.59/0.62	c Presolving Time: 0.43
0.59/0.62	c - non default parameters ----------------------------------------------------------------------
0.59/0.62	c # SCIP version 1.2.1.2
0.59/0.62	c 
0.59/0.62	c # frequency for displaying node information lines
0.59/0.62	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62	c display/freq = 10000
0.59/0.62	c 
0.59/0.62	c # maximal time in seconds to run
0.59/0.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62	c limits/time = 1799.87
0.59/0.62	c 
0.59/0.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62	c limits/memory = 1620
0.59/0.62	c 
0.59/0.63	c # should presolving try to simplify inequalities
0.59/0.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63	c constraints/linear/simplifyinequalities = TRUE
0.59/0.63	c 
0.59/0.63	c # should presolving try to simplify knapsacks
0.59/0.63	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.63	c 
0.59/0.63	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.63	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.63	c separating/rapidlearning/freq = 0
0.59/0.63	c 
0.59/0.63	c -----------------------------------------------------------------------------------------------
0.59/0.63	c start solving
0.59/0.63	c 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c   0.5s|     1 |     0 |   567 |     - |9523k|   0 | 402 |1287 |1248 |1287 |1248 |   0 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
1.10/1.13	c   0.9s|     1 |     0 |   830 |     - |  10M|   0 | 610 |1287 |1248 |1287 |1354 | 106 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
1.49/1.57	c   1.4s|     1 |     0 |  1141 |     - |  10M|   0 | 747 |1287 |1248 |1287 |1496 | 248 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
2.29/2.37	c   2.2s|     1 |     0 |  1409 |     - |  11M|   0 | 753 |1287 |1248 |1287 |1650 | 402 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
3.29/3.39	c   3.2s|     1 |     0 |  1641 |     - |  11M|   0 | 734 |1287 |1248 |1287 |1731 | 483 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
4.40/4.41	c   4.2s|     1 |     0 |  1881 |     - |  11M|   0 | 726 |1287 |1248 |1287 |1800 | 552 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
5.59/5.66	c   5.4s|     1 |     0 |  1998 |     - |  11M|   0 | 769 |1287 |1248 |1287 |1850 | 602 |   0 |   0 | 5.500000e+01 |      --      |    Inf 
14.89/14.97	c  14.6s|     1 |     2 |  1998 |     - |  11M|   0 | 769 |1287 |1248 |1287 |1850 | 602 |   0 |  18 | 5.500000e+01 |      --      |    Inf 
463.58/463.77	c   450s| 10000 |  4259 |954904 |  95.3 |  28M|  97 | 154 |1287 |3695 |1287 |1340 | 602 |  15k|4142 | 5.500000e+01 |      --      |    Inf 
767.69/767.93	c   745s| 20000 |  6161 |  1619k|  80.9 |  39M|  97 |   - |1287 |4242 |1287 |1340 | 602 |  33k|6047 | 5.500000e+01 |      --      |    Inf 
1081.12/1081.47	c  1048s| 30000 |  8008 |  2300k|  76.6 |  49M|  97 | 554 |1287 |4353 |1287 |1340 | 602 |  50k|8275 | 5.500000e+01 |      --      |    Inf 
1327.14/1327.57	c  1287s| 40000 |  9538 |  2852k|  71.3 |  58M|  97 | 234 |1287 |5288 |1287 |1340 | 602 |  67k|9551 | 5.500000e+01 |      --      |    Inf 
1535.80/1536.22	c  1489s| 50000 | 10802 |  3298k|  65.9 |  66M|  97 | 245 |1287 |6252 |1287 |1340 | 602 |  84k|  10k| 5.500000e+01 |      --      |    Inf 
1764.14/1764.67	c  1711s| 60000 | 11846 |  3762k|  62.7 |  73M|  97 | 178 |1287 |5860 |1287 |1340 | 602 | 103k|  12k| 5.500000e+01 |      --      |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1745.38
1800.03/1800.51	c Solving Nodes      : 61474
1800.03/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51	c Dual Bound         : +5.50000000000000e+01
1800.03/1800.51	c Gap                : infinite
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time       :    1745.38
1800.03/1800.51	c Original Problem   :
1800.03/1800.51	c   Problem name     : HOME/instance-2665644-1276620063.opb
1800.03/1800.51	c   Variables        : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 2431 initial, 2431 maximal
1800.03/1800.51	c Presolved Problem  :
1800.03/1800.51	c   Problem name     : t_HOME/instance-2665644-1276620063.opb
1800.03/1800.51	c   Variables        : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 1248 initial, 6995 maximal
1800.03/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   probing          :       0.34          0          0          0          0          0          0          0          0
1800.03/1800.51	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   linear           :       0.09          1          0          0          1          0       1183          2         37
1800.03/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   integral         :          0          0          0      41248          0        113       5714          0          0      79524
1800.03/1800.51	c   knapsack         :         66          6     358468          0          0        859     112251        112          0          0
1800.03/1800.51	c   linear           :       1182          6     357609          0          0      11171    3351878          0          0          0
1800.03/1800.51	c   logicor          :          0+         0     227000          0          0        987     349508          0          0          0
1800.03/1800.51	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.51	c   integral         :     291.91       0.00       0.00     291.91       0.00
1800.03/1800.51	c   knapsack         :      13.37       0.00      13.37       0.00       0.00
1800.03/1800.51	c   linear           :     317.63       0.00     317.63       0.00       0.00
1800.03/1800.51	c   logicor          :      21.71       0.00      21.71       0.00       0.00
1800.03/1800.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.51	c   vbounds          :       0.32          2          0          0
1800.03/1800.51	c   rootredcost      :       0.21          0          0          0
1800.03/1800.51	c   pseudoobj        :       0.59     358164          0          0
1800.03/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.51	c   propagation      :       3.19      13017      13013     138837       37.0        579       22.1          -
1800.03/1800.51	c   infeasible LP    :      17.43      23679      23679      93968       26.0       1801       19.0          0
1800.03/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.51	c   applied globally :          -          -          -     106333       24.8          -          -          -
1800.03/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.51	c   cut pool         :       0.00          5          -          -        431          -    (maximal pool size: 2935)
1800.03/1800.51	c   redcost          :       1.64      41204          0         91          0          0
1800.03/1800.51	c   impliedbounds    :       0.00          6          0          0          2          0
1800.03/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.51	c   gomory           :       0.40          6          0          0          3          0
1800.03/1800.51	c   strongcg         :       0.37          6          0          0          3          0
1800.03/1800.51	c   cmir             :       1.49          6          0          0       2048          0
1800.03/1800.51	c   flowcover        :       1.43          6          0          0       1144          0
1800.03/1800.51	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.51	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.51	c   rapidlearning    :       0.10          1          0          0          0          0
1800.03/1800.51	c Pricers            :       Time      Calls       Vars
1800.03/1800.51	c   problem variables:       0.00          0          0
1800.03/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   relpscost        :     291.81      41248        113       5714          0          0      79524
1800.03/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   inference        :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.51	c   LP solutions     :       0.00          -          0
1800.03/1800.51	c   pseudo solutions :       0.00          -          0
1800.03/1800.51	c   oneopt           :       0.17          0          0
1800.03/1800.51	c   crossover        :       0.11          0          0
1800.03/1800.51	c   guideddiving     :       0.01          0          0
1800.03/1800.51	c   rootsoldiving    :       8.51         55          0
1800.03/1800.51	c   veclendiving     :      28.03        161          0
1800.03/1800.51	c   coefdiving       :      79.05        161          0
1800.03/1800.51	c   objpscostdiving  :       4.13         81          0
1800.03/1800.51	c   feaspump         :       2.54         81          0
1800.03/1800.51	c   pscostdiving     :      38.16        162          0
1800.03/1800.51	c   fracdiving       :      60.37        162          0
1800.03/1800.51	c   linesearchdiving :      16.43        162          0
1800.03/1800.51	c   trivial          :       0.00          2          0
1800.03/1800.51	c   simplerounding   :       0.08          0          0
1800.03/1800.51	c   zirounding       :       0.18       1000          0
1800.03/1800.51	c   rounding         :       1.83       2804          0
1800.03/1800.51	c   shifting         :      13.01        859          0
1800.03/1800.51	c   intshifting      :       0.00          0          0
1800.03/1800.51	c   twoopt           :       0.00          0          0
1800.03/1800.51	c   fixandinfer      :       0.00          0          0
1800.03/1800.51	c   intdiving        :       0.00          0          0
1800.03/1800.51	c   actconsdiving    :       0.00          0          0
1800.03/1800.51	c   octane           :       0.00          0          0
1800.03/1800.51	c   rens             :       0.01          0          0
1800.03/1800.51	c   rins             :       0.00          0          0
1800.03/1800.51	c   localbranching   :       0.00          0          0
1800.03/1800.51	c   mutation         :       0.00          0          0
1800.03/1800.51	c   dins             :       0.00          0          0
1800.03/1800.51	c   undercover       :       0.00          0          0
1800.03/1800.51	c   nlp              :       0.06          0          0
1800.03/1800.51	c   trysol           :       0.08          0          0
1800.03/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.51	c   dual LP          :     749.02      54930    3288330      59.86    4390.18
1800.03/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.51	c   diving/probing LP:     176.22      24060     545808      22.69    3097.31
1800.03/1800.51	c   strong branching :     284.61      12883    1025904      79.63    3604.60
1800.03/1800.51	c     (at root node) :          -         18      14851     825.06          -
1800.03/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.51	c B&B Tree           :
1800.03/1800.51	c   number of runs   :          1
1800.03/1800.51	c   nodes            :      61474
1800.03/1800.51	c   nodes (total)    :      61474
1800.03/1800.51	c   nodes left       :      11988
1800.03/1800.51	c   max depth        :         97
1800.03/1800.51	c   max depth (total):         97
1800.03/1800.51	c   backtracks       :      10232 (16.6%)
1800.03/1800.51	c   delayed cutoffs  :       6063
1800.03/1800.51	c   repropagations   :      88061 (1148999 domain reductions, 3258 cutoffs)
1800.03/1800.51	c   avg switch length:       7.42
1800.03/1800.51	c   switching time   :      74.82
1800.03/1800.51	c Solution           :
1800.03/1800.51	c   Solutions found  :          0 (0 improvements)
1800.03/1800.51	c   Primal Bound     :          -
1800.03/1800.51	c   Dual Bound       : +5.50000000000000e+01
1800.03/1800.51	c   Gap              :   infinite
1800.03/1800.51	c   Root Dual Bound  : +5.50000000000000e+01
1800.03/1800.51	c   Root Iterations  :       1998
1800.14/1800.67	c Time complete: 1800.21.

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=9288 CPUtime=0
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1024 0 0 0 0 0 0 0 18 0 1 0 3297301 9510912 945 1992294400 4194304 9819077 140735604520784 18446744073709551615 8657695 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 2322 954 371 1374 0 943 0

[startup+0.063811 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=12184 CPUtime=0.05
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1967 0 0 0 5 0 0 0 20 0 1 0 3297301 12476416 1888 1992294400 4194304 9819077 140735604520784 18446744073709551615 8638119 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 3046 1888 388 1374 0 1667 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12184

[startup+0.101815 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=13032 CPUtime=0.09
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 2184 0 0 0 9 0 0 0 20 0 1 0 3297301 13344768 2105 1992294400 4194304 9819077 140735604520784 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 3258 2105 388 1374 0 1879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13032

[startup+0.301833 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=32268 CPUtime=0.29
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8655 0 0 0 27 2 0 0 20 0 1 0 3297301 33042432 6680 1992294400 4194304 9819077 140735604520784 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 8067 6680 512 1374 0 6688 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32268

[startup+0.701873 s]
/proc/loadavg: 1.00 1.25 1.42 3/106 12187
/proc/meminfo: memFree=1394560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=40376 CPUtime=0.69
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10566 0 0 0 66 3 0 0 20 0 1 0 3297301 41345024 8344 1992294400 4194304 9819077 140735604520784 18446744073709551615 5435206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 10094 8344 643 1374 0 8715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40376

[startup+1.50195 s]
/proc/loadavg: 1.00 1.25 1.42 2/107 12188
/proc/meminfo: memFree=1346564/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=47008 CPUtime=1.49
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 17337 0 0 0 143 6 0 0 23 0 1 0 3297301 48136192 10271 1992294400 4194304 9819077 140735604520784 18446744073709551615 7296878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 11752 10271 692 1374 0 10373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47008

[startup+3.10111 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 12188
/proc/meminfo: memFree=1354996/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=48452 CPUtime=3.09
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 17649 0 0 0 302 7 0 0 25 0 1 0 3297301 49614848 10316 1992294400 4194304 9819077 140735604520784 18446744073709551615 5734160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12113 10316 694 1374 0 10734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48452

[startup+6.30142 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 12188
/proc/meminfo: memFree=1353384/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=58672 CPUtime=6.29
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 22608 0 0 0 618 11 0 0 25 0 1 0 3297301 60080128 10894 1992294400 4194304 9819077 140735604520784 18446744073709551615 7262296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 14668 10894 700 1374 0 13289 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58672

[startup+12.701 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 12188
/proc/meminfo: memFree=1352764/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=60508 CPUtime=12.68
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 49205 0 0 0 1246 22 0 0 25 0 1 0 3297301 61960192 11051 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 15127 11051 700 1374 0 13748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60508

[startup+25.5013 s]
/proc/loadavg: 1.00 1.23 1.41 2/107 12188
/proc/meminfo: memFree=1353508/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=50076 CPUtime=25.49
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 76653 0 0 0 2509 40 0 0 25 0 1 0 3297301 51277824 10708 1992294400 4194304 9819077 140735604520784 18446744073709551615 7333554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12519 10708 704 1374 0 11140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50076

[startup+51.1018 s]
/proc/loadavg: 1.00 1.21 1.40 2/107 12188
/proc/meminfo: memFree=1353508/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=47864 CPUtime=51.08
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 105844 0 0 0 5042 66 0 0 25 0 1 0 3297301 49012736 10681 1992294400 4194304 9819077 140735604520784 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 11966 10681 710 1374 0 10587 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47864

[startup+102.309 s]
/proc/loadavg: 1.00 1.17 1.37 2/107 12190
/proc/meminfo: memFree=1353136/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=49396 CPUtime=102.27
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 254041 0 0 0 10075 152 0 0 25 0 1 0 3297301 50581504 10811 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12349 10811 710 1374 0 10970 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49396

[startup+162.302 s]
/proc/loadavg: 1.00 1.14 1.35 2/107 12192
/proc/meminfo: memFree=1351276/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=51928 CPUtime=162.25
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 656375 0 0 0 15880 345 0 0 25 0 1 0 3297301 53174272 11231 1992294400 4194304 9819077 140735604520784 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 12982 11231 710 1374 0 11603 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51928

[startup+222.301 s]
/proc/loadavg: 1.00 1.11 1.32 2/107 12194
/proc/meminfo: memFree=1346812/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=57120 CPUtime=222.24
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1124679 0 0 0 21662 562 0 0 25 0 1 0 3297301 58490880 12392 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 14280 12392 725 1374 0 12901 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 57120

[startup+282.301 s]
/proc/loadavg: 1.00 1.09 1.30 2/107 12194
/proc/meminfo: memFree=1343464/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=60440 CPUtime=282.22
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1564030 0 0 0 27460 762 0 0 25 0 1 0 3297301 61890560 13234 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 15110 13234 725 1374 0 13731 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60440

[startup+342.301 s]
/proc/loadavg: 1.00 1.07 1.28 2/107 12196
/proc/meminfo: memFree=1338256/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=65948 CPUtime=342.2
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 1955400 0 0 0 33270 950 0 0 25 0 1 0 3297301 67530752 14545 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 16487 14545 725 1374 0 15108 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 65948

[startup+402.302 s]
/proc/loadavg: 1.00 1.05 1.26 2/107 12198
/proc/meminfo: memFree=1333916/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=69940 CPUtime=402.19
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 2385725 0 0 0 39068 1151 0 0 25 0 1 0 3297301 71618560 15546 1992294400 4194304 9819077 140735604520784 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 17485 15546 725 1374 0 16106 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69940

[startup+462.302 s]
/proc/loadavg: 1.00 1.04 1.24 2/107 12200
/proc/meminfo: memFree=1331932/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=71476 CPUtime=462.17
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 2816714 0 0 0 44876 1341 0 0 25 0 1 0 3297301 73191424 16033 1992294400 4194304 9819077 140735604520784 18446744073709551615 6192292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 17869 16033 725 1374 0 16490 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 71476

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.22 2/107 12202
/proc/meminfo: memFree=1326724/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=77700 CPUtime=522.16
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 3160640 0 0 0 50698 1518 0 0 25 0 1 0 3297301 79564800 17327 1992294400 4194304 9819077 140735604520784 18446744073709551615 6361881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 19425 17327 725 1374 0 18046 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 77700

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 12202
/proc/meminfo: memFree=1323376/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=81452 CPUtime=582.14
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 3536436 0 0 0 56521 1693 0 0 25 0 1 0 3297301 83406848 18215 1992294400 4194304 9819077 140735604520784 18446744073709551615 7309128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 20363 18215 725 1374 0 18984 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 81452

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.19 2/107 12204
/proc/meminfo: memFree=1320524/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=84832 CPUtime=642.14
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 3912852 0 0 0 62332 1882 0 0 25 0 1 0 3297301 86867968 18991 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 21208 18991 725 1374 0 19829 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 84832

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 12210
/proc/meminfo: memFree=1308124/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=97136 CPUtime=882.07
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 5507467 0 0 0 85551 2656 0 0 25 0 1 0 3297301 99467264 21993 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 24284 21993 725 1374 0 22905 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 97136

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 12212
/proc/meminfo: memFree=1305892/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=98896 CPUtime=942.05
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 5895757 0 0 0 91357 2848 0 0 25 0 1 0 3297301 101269504 22511 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 24724 22511 725 1374 0 23345 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 98896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 12214
/proc/meminfo: memFree=1303040/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=101572 CPUtime=1002.04
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 6273358 0 0 0 97167 3037 0 0 25 0 1 0 3297301 104009728 23180 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 25393 23180 725 1374 0 24014 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 101572

[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 1.11 2/107 12216
/proc/meminfo: memFree=1300560/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=107828 CPUtime=1062.02
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 6685846 0 0 0 102967 3235 0 0 25 0 1 0 3297301 110415872 23920 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 26957 23920 725 1374 0 25578 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 107828

[startup+1122.3 s]
/proc/loadavg: 1.05 1.02 1.10 2/107 12218
/proc/meminfo: memFree=1298328/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=106372 CPUtime=1122.01
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 7014233 0 0 0 108802 3399 0 0 25 0 1 0 3297301 108924928 24404 1992294400 4194304 9819077 140735604520784 18446744073709551615 4978178 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 26593 24404 725 1374 0 25214 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 106372

[startup+1182.3 s]
/proc/loadavg: 1.05 1.03 1.10 2/107 12218
/proc/meminfo: memFree=1295228/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=110100 CPUtime=1182
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 7309304 0 0 0 114634 3566 0 0 25 0 1 0 3297301 112742400 25180 1992294400 4194304 9819077 140735604520784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 27525 25180 725 1374 0 26146 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 110100

[startup+1242.3 s]
/proc/loadavg: 1.12 1.05 1.10 2/107 12229
/proc/meminfo: memFree=1291136/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=113516 CPUtime=1241.97
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 7679461 0 0 0 120445 3752 0 0 25 0 1 0 3297301 116240384 26009 1992294400 4194304 9819077 140735604520784 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 28379 26010 725 1374 0 27000 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 113516

[startup+1302.3 s]
/proc/loadavg: 1.15 1.07 1.09 2/107 12231
/proc/meminfo: memFree=1288036/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=116748 CPUtime=1301.96
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8048717 0 0 0 126259 3937 0 0 25 0 1 0 3297301 119549952 26813 1992294400 4194304 9819077 140735604520784 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 29187 26813 725 1374 0 27808 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 116748

[startup+1362.3 s]
/proc/loadavg: 1.17 1.08 1.09 2/107 12233
/proc/meminfo: memFree=1285432/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=118956 CPUtime=1361.94
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8420539 0 0 0 132066 4128 0 0 25 0 1 0 3297301 121810944 27468 1992294400 4194304 9819077 140735604520784 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 29739 27468 725 1374 0 28360 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 118956

[startup+1422.31 s]
/proc/loadavg: 1.06 1.07 1.09 2/107 12235
/proc/meminfo: memFree=1282828/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=124512 CPUtime=1421.93
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 8778460 0 0 0 137880 4313 0 0 25 0 1 0 3297301 127500288 28125 1992294400 4194304 9819077 140735604520784 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 31128 28133 725 1374 0 29749 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 124512

[startup+1482.3 s]
/proc/loadavg: 1.02 1.05 1.08 2/107 12235
/proc/meminfo: memFree=1280348/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=124552 CPUtime=1481.91
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 9077650 0 0 0 143710 4481 0 0 25 0 1 0 3297301 127541248 28750 1992294400 4194304 9819077 140735604520784 18446744073709551615 7316353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 31138 28750 725 1374 0 29759 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 124552

[startup+1542.3 s]
/proc/loadavg: 1.01 1.04 1.08 2/107 12237
/proc/meminfo: memFree=1277372/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=128404 CPUtime=1541.89
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 9343645 0 0 0 149554 4635 0 0 25 0 1 0 3297301 131485696 29534 1992294400 4194304 9819077 140735604520784 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 32101 29534 725 1374 0 30722 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 128404

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.07 2/107 12239
/proc/meminfo: memFree=1274892/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=130604 CPUtime=1601.87
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 9678268 0 0 0 155379 4808 0 0 25 0 1 0 3297301 133738496 30111 1992294400 4194304 9819077 140735604520784 18446744073709551615 7292224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 32651 30111 725 1374 0 31272 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 130604

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 12241
/proc/meminfo: memFree=1273032/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=132428 CPUtime=1661.86
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10056044 0 0 0 161182 5004 0 0 25 0 1 0 3297301 135606272 30567 1992294400 4194304 9819077 140735604520784 18446744073709551615 4978109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 33107 30567 725 1374 0 31728 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 132428

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 12243
/proc/meminfo: memFree=1269808/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=135640 CPUtime=1721.85
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10415747 0 0 0 166991 5194 0 0 25 0 1 0 3297301 138895360 31352 1992294400 4194304 9819077 140735604520784 18446744073709551615 6023058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 33910 31352 725 1374 0 32531 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 135640

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 12243
/proc/meminfo: memFree=1267576/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=137500 CPUtime=1781.83
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10790667 0 0 0 172791 5392 0 0 25 0 1 0 3297301 140800000 31833 1992294400 4194304 9819077 140735604520784 18446744073709551615 6372771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 34375 31833 725 1374 0 32996 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 137500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 12245
/proc/meminfo: memFree=1267328/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=138268 CPUtime=1800.03
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10910582 0 0 0 174550 5453 0 0 25 0 1 0 3297301 141586432 31944 1992294400 4194304 9819077 140735604520784 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12187/statm: 34567 31944 725 1374 0 33188 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 138268

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 1.05 2/108 12246
/proc/meminfo: memFree=1267320/2059040 swapFree=4192956/4192956
[pid=12187] ppid=12185 vsize=138180 CPUtime=1800.14
/proc/12187/stat : 12187 (pbscip.linux.x8) R 12185 12187 11923 0 -1 4202496 10910662 0 0 0 174561 5453 0 0 25 0 1 0 3297301 141496320 31948 1992294400 4194304 9819077 140735604520784 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12187/statm: 34545 31948 728 1374 0 33166 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 138180

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.22
CPU user time (s): 1745.66
CPU system time (s): 54.5517
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 143068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.66
system time used= 54.5517
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10910666
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= 5823

runsolver used 2.99554 second user time and 8.48571 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-15 18:41:03
IDJOB=2665644
IDBENCH=2940
IDSOLVER=1168
FILE ID=node056/2665644-1276620063
PBS_JOBID= 11172325
Free space on /tmp= 98636 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665644-1276620063/watcher-2665644-1276620063 -o /tmp/evaluation-result-2665644-1276620063/solver-2665644-1276620063 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665644-1276620063.opb -t 1800 -m 1800

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

MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a
RANDOM SEED=765711739

node056.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.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1395088 kB
Buffers:         78824 kB
Cached:         443784 kB
SwapCached:          0 kB
Active:         227812 kB
Inactive:       354140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1395088 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6704 kB
Writeback:           0 kB
AnonPages:       59376 kB
Mapped:          15432 kB
Slab:            60128 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179824 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= 98632 MiB
End job on node056 at 2010-06-15 19:11:06