Trace number 2664254

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.69 1801.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM840eda79f99ca12a0c705eefe22c37b7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark157
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 144
Optimality of the best value was proved NO
Number of variables3296
Total number of constraints6384
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 constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664254-1276620359.opb>
0.29/0.38	c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.29/0.38	c problem read
0.29/0.39	c presolving settings loaded
0.29/0.39	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.51	c presolving:
0.59/0.61	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.67	c (round 2) 1 del vars, 2879 del conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.69/0.75	c (round 3) 1 del vars, 2879 del conss, 1 chg bounds, 131 chg sides, 797 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.69/0.78	c (round 4) 1 del vars, 2879 del conss, 1 chg bounds, 181 chg sides, 861 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
3.49/3.52	c    (3.0s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 50 implications, 0 bound changes
3.49/3.52	c    (3.0s) probing aborted: 100/100 successive totally useless probings
3.49/3.52	c presolving (5 rounds):
3.49/3.52	c  1 deleted vars, 2879 deleted constraints, 1 tightened bounds, 0 added holes, 181 changed sides, 863 changed coefficients
3.49/3.52	c  410 implications, 6 cliques
3.49/3.52	c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3505 constraints
3.49/3.52	c     627 constraints of type <knapsack>
3.49/3.52	c    2878 constraints of type <linear>
3.49/3.52	c transformed objective value is always integral (scale: 1)
3.49/3.52	c Presolving Time: 2.99
3.49/3.52	c - non default parameters ----------------------------------------------------------------------
3.49/3.52	c # SCIP version 1.2.1.2
3.49/3.52	c 
3.49/3.52	c # frequency for displaying node information lines
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.52	c display/freq = 10000
3.49/3.52	c 
3.49/3.52	c # maximal time in seconds to run
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52	c limits/time = 1799.62
3.49/3.52	c 
3.49/3.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52	c limits/memory = 1620
3.49/3.52	c 
3.49/3.52	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c lp/solvefreq = -1
3.49/3.52	c 
3.49/3.52	c # should presolving try to simplify inequalities
3.49/3.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52	c constraints/linear/simplifyinequalities = TRUE
3.49/3.52	c 
3.49/3.52	c # should presolving try to simplify knapsacks
3.49/3.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52	c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.52	c 
3.49/3.52	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52	c separating/rapidlearning/freq = 0
3.49/3.52	c 
3.49/3.52	c -----------------------------------------------------------------------------------------------
3.49/3.52	c start solving
3.49/3.52	c 
3.49/3.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.49/3.53	c   3.1s|     1 |     2 |     0 |     - |  21M|   0 |   - |3295 |3505 |   0 |   0 |   0 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
205.31/205.45	c   204s| 10000 |  5880 |     0 |   0.0 |  42M|3147 |   - |3295 |8316 |   0 |   0 |   0 |5985 |   0 | 9.100000e+01 |      --      |    Inf 
399.83/400.03	c   398s| 20000 |  9338 |     0 |   0.0 |  79M|3147 |   - |3295 |6036 |   0 |   0 |   0 |  12k|   0 | 9.100000e+01 |      --      |    Inf 
694.23/694.57	c   692s| 30000 | 12578 |     0 |   0.0 | 110M|3147 |   - |3295 |4985 |   0 |   0 |   0 |  22k|   0 | 9.100000e+01 |      --      |    Inf 
818.38/818.73	c   816s| 40000 | 19756 |     0 |   0.0 | 155M|3147 |   - |3295 |5313 |   0 |   0 |   0 |  26k|   0 | 9.100000e+01 |      --      |    Inf 
928.12/928.59	c   926s| 50000 | 26507 |     0 |   0.0 | 195M|3147 |   - |3295 |5391 |   0 |   0 |   0 |  31k|   0 | 9.100000e+01 |      --      |    Inf 
1054.28/1054.79	c  1051s| 60000 | 31761 |     0 |   0.0 | 230M|3147 |   - |3295 |5196 |   0 |   0 |   0 |  39k|   0 | 9.100000e+01 |      --      |    Inf 
1337.67/1338.21	c  1334s| 70000 | 34281 |     0 |   0.0 | 268M|3147 |   - |3295 |9009 |   0 |   0 |   0 |  50k|   0 | 9.100000e+01 |      --      |    Inf 
1574.08/1574.78	c  1570s| 80000 | 38323 |     0 |   0.0 | 299M|3147 |   - |3295 |5116 |   0 |   0 |   0 |  59k|   0 | 9.100000e+01 |      --      |    Inf 
1701.44/1702.17	c  1697s| 90000 | 45200 |     0 |   0.0 | 345M|3147 |   - |3295 |5271 |   0 |   0 |   0 |  64k|   0 | 9.100000e+01 |      --      |    Inf 
1800.01/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71	c 
1800.01/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.71	c Solving Time (sec) : 1795.16
1800.01/1800.71	c Solving Nodes      : 98145
1800.01/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.71	c Dual Bound         : +9.10000000000000e+01
1800.01/1800.71	c Gap                : infinite
1800.01/1800.71	s UNKNOWN
1800.01/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.71	c Solving Time       :    1795.16
1800.01/1800.71	c Original Problem   :
1800.01/1800.71	c   Problem name     : HOME/instance-2664254-1276620359.opb
1800.01/1800.71	c   Variables        : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71	c   Constraints      : 6384 initial, 6384 maximal
1800.01/1800.71	c Presolved Problem  :
1800.01/1800.71	c   Problem name     : t_HOME/instance-2664254-1276620359.opb
1800.01/1800.71	c   Variables        : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71	c   Constraints      : 3505 initial, 11922 maximal
1800.01/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.71	c   probing          :       2.71          0          0          0          0          0          0          0          0
1800.01/1800.71	c   knapsack         :       0.04          0          0          0          0          0          0         90        393
1800.01/1800.71	c   linear           :       0.19          1          0          0          1          0       2879         91        470
1800.01/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.71	c   knapsack         :        627          0     314431          0      81290       5016    1571045          0          0          0
1800.01/1800.71	c   linear           :       2878          0     309415          0      81290      18494   10174549          0          0          0
1800.01/1800.71	c   logicor          :          0+         0     142411          0          0       2205     144777          0          0          0
1800.01/1800.71	c   countsols        :          0          0          0          0      81290          0          0          0          0          0
1800.01/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.71	c   knapsack         :     154.12       0.00     149.84       0.00       4.28
1800.01/1800.71	c   linear           :    1222.28       0.00    1222.12       0.00       0.16
1800.01/1800.71	c   logicor          :      46.04       0.00      46.04       0.00       0.00
1800.01/1800.71	c   countsols        :       0.02       0.00       0.00       0.00       0.02
1800.01/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.71	c   vbounds          :       0.22          2          0          0
1800.01/1800.71	c   rootredcost      :       0.34          0          0          0
1800.01/1800.71	c   pseudoobj        :       0.86     313982          0          0
1800.01/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.71	c   propagation      :       4.34      25715      25654     202632       35.2       1636       23.1          -
1800.01/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.71	c   applied globally :          -          -          -      67946       29.7          -          -          -
1800.01/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.71	c Pricers            :       Time      Calls       Vars
1800.01/1800.71	c   problem variables:       0.00          0          0
1800.01/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   inference        :      89.70      81290          0          0          0          0     162580
1800.01/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.71	c   LP solutions     :       0.00          -          0
1800.01/1800.71	c   pseudo solutions :       0.00          -          0
1800.01/1800.71	c   oneopt           :       0.07          0          0
1800.01/1800.71	c   trivial          :       0.00          2          0
1800.01/1800.71	c   simplerounding   :       0.00          0          0
1800.01/1800.71	c   zirounding       :       0.00          0          0
1800.01/1800.71	c   rounding         :       0.00          0          0
1800.01/1800.71	c   shifting         :       0.00          0          0
1800.01/1800.71	c   intshifting      :       0.00          0          0
1800.01/1800.71	c   twoopt           :       0.00          0          0
1800.01/1800.71	c   fixandinfer      :       0.00          0          0
1800.01/1800.71	c   feaspump         :       0.00          0          0
1800.01/1800.71	c   coefdiving       :       0.00          0          0
1800.01/1800.71	c   pscostdiving     :       0.00          0          0
1800.01/1800.71	c   fracdiving       :       0.00          0          0
1800.01/1800.71	c   veclendiving     :       0.00          0          0
1800.01/1800.71	c   intdiving        :       0.00          0          0
1800.01/1800.71	c   actconsdiving    :       0.00          0          0
1800.01/1800.71	c   objpscostdiving  :       0.00          0          0
1800.01/1800.71	c   rootsoldiving    :       0.00          0          0
1800.01/1800.71	c   linesearchdiving :       0.00          0          0
1800.01/1800.71	c   guideddiving     :       0.00          0          0
1800.01/1800.71	c   octane           :       0.00          0          0
1800.01/1800.71	c   rens             :       0.00          0          0
1800.01/1800.71	c   rins             :       0.00          0          0
1800.01/1800.71	c   localbranching   :       0.00          0          0
1800.01/1800.71	c   mutation         :       0.00          0          0
1800.01/1800.71	c   crossover        :       0.00          0          0
1800.01/1800.71	c   dins             :       0.00          0          0
1800.01/1800.71	c   undercover       :       0.00          0          0
1800.01/1800.71	c   nlp              :       0.10          0          0
1800.01/1800.71	c   trysol           :       0.05          0          0
1800.01/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.71	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.71	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.71	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.71	c B&B Tree           :
1800.01/1800.71	c   number of runs   :          1
1800.01/1800.71	c   nodes            :      98145
1800.01/1800.71	c   nodes (total)    :      98145
1800.01/1800.71	c   nodes left       :      50475
1800.01/1800.71	c   max depth        :       3147
1800.01/1800.71	c   max depth (total):       3147
1800.01/1800.71	c   backtracks       :      10665 (10.9%)
1800.01/1800.71	c   delayed cutoffs  :      13961
1800.01/1800.71	c   repropagations   :      48423 (2294777 domain reductions, 8860 cutoffs)
1800.01/1800.71	c   avg switch length:       5.49
1800.01/1800.71	c   switching time   :     267.09
1800.01/1800.71	c Solution           :
1800.01/1800.71	c   Solutions found  :          0 (0 improvements)
1800.01/1800.71	c   Primal Bound     :          -
1800.01/1800.71	c   Dual Bound       : +9.10000000000000e+01
1800.01/1800.71	c   Gap              :   infinite
1800.01/1800.71	c   Root Dual Bound  : +9.10000000000000e+01
1800.01/1800.71	c   Root Iterations  :          0
1800.59/1801.38	c Time complete: 1800.67.

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-2664254-1276620359/watcher-2664254-1276620359 -o /tmp/evaluation-result-2664254-1276620359/solver-2664254-1276620359 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664254-1276620359.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.04 1.03 1.01 3/106 5584
/proc/meminfo: memFree=1774760/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=6584 CPUtime=0
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 37639357 6742016 912 1992294400 4194304 7136930 140736563816752 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 1646 920 254 719 0 925 0

[startup+0.0796611 s]
/proc/loadavg: 1.04 1.03 1.01 3/106 5584
/proc/meminfo: memFree=1774760/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=9748 CPUtime=0.07
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 1926 0 0 0 7 0 0 0 20 0 1 0 37639357 9981952 1848 1992294400 4194304 7136930 140736563816752 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 2437 1848 271 719 0 1716 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9748

[startup+0.101666 s]
/proc/loadavg: 1.04 1.03 1.01 3/106 5584
/proc/meminfo: memFree=1774760/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=10396 CPUtime=0.09
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 2080 0 0 0 9 0 0 0 20 0 1 0 37639357 10645504 2002 1992294400 4194304 7136930 140736563816752 18446744073709551615 5649141 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 2599 2002 271 719 0 1878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10396

[startup+0.300702 s]
/proc/loadavg: 1.04 1.03 1.01 3/106 5584
/proc/meminfo: memFree=1774760/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=16696 CPUtime=0.29
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 3652 0 0 0 28 1 0 0 20 0 1 0 37639357 17096704 3574 1992294400 4194304 7136930 140736563816752 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 4174 3574 271 719 0 3453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16696

[startup+0.700776 s]
/proc/loadavg: 1.04 1.03 1.01 3/106 5584
/proc/meminfo: memFree=1774760/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=66212 CPUtime=0.69
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 16547 0 0 0 62 7 0 0 21 0 1 0 37639357 67801088 15344 1992294400 4194304 7136930 140736563816752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 16553 15344 360 719 0 15832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66212

[startup+1.50092 s]
/proc/loadavg: 1.04 1.03 1.01 2/107 5585
/proc/meminfo: memFree=1713496/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=66624 CPUtime=1.49
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 18251 0 0 0 140 9 0 0 23 0 1 0 37639357 68222976 15506 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979420 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 16656 15506 368 719 0 15935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66624

[startup+3.10022 s]
/proc/loadavg: 1.04 1.03 1.01 2/107 5585
/proc/meminfo: memFree=1713372/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=66624 CPUtime=3.09
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 18251 0 0 0 300 9 0 0 25 0 1 0 37639357 68222976 15506 1992294400 4194304 7136930 140736563816752 18446744073709551615 4977973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 16656 15506 368 719 0 15935 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66624

[startup+6.30081 s]
/proc/loadavg: 1.04 1.03 1.01 2/107 5585
/proc/meminfo: memFree=1712132/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=68244 CPUtime=6.29
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 18663 0 0 0 616 13 0 0 25 0 1 0 37639357 69881856 15918 1992294400 4194304 7136930 140736563816752 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 17061 15918 388 719 0 16340 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68244

[startup+12.702 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 5585
/proc/meminfo: memFree=1708660/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=71920 CPUtime=12.69
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 19584 0 0 0 1252 17 0 0 25 0 1 0 37639357 73646080 16839 1992294400 4194304 7136930 140736563816752 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 17980 16839 395 719 0 17259 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71920

[startup+25.5014 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 5587
/proc/meminfo: memFree=1704444/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=76288 CPUtime=25.48
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 20599 0 0 0 2528 20 0 0 25 0 1 0 37639357 78118912 17854 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 19072 17854 395 719 0 18351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76288

[startup+51.1011 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 5587
/proc/meminfo: memFree=1699608/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=81428 CPUtime=51.08
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 21795 0 0 0 5083 25 0 0 25 0 1 0 37639357 83382272 19050 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 20357 19050 395 719 0 19636 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81428

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 5589
/proc/meminfo: memFree=1692168/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=89288 CPUtime=102.25
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 23601 0 0 0 10191 34 0 0 25 0 1 0 37639357 91430912 20856 1992294400 4194304 7136930 140736563816752 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 22322 20856 395 719 0 21601 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 89288

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 5589
/proc/meminfo: memFree=1682744/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=99236 CPUtime=162.23
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 25906 0 0 0 16178 45 0 0 25 0 1 0 37639357 101617664 23161 1992294400 4194304 7136930 140736563816752 18446744073709551615 4924907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 24809 23161 395 719 0 24088 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 99236

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 5591
/proc/meminfo: memFree=1675180/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=107596 CPUtime=222.2
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 27792 0 0 0 22164 56 0 0 25 0 1 0 37639357 110178304 25047 1992294400 4194304 7136930 140736563816752 18446744073709551615 4854955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 26899 25047 395 719 0 26178 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 107596

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5593
/proc/meminfo: memFree=1657572/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=127632 CPUtime=282.18
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 32259 0 0 0 28141 77 0 0 25 0 1 0 37639357 130695168 29514 1992294400 4194304 7136930 140736563816752 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 31908 29514 395 719 0 31187 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 127632

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5595
/proc/meminfo: memFree=1643064/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=144616 CPUtime=342.16
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 35817 0 0 0 34127 89 0 0 25 0 1 0 37639357 148086784 33072 1992294400 4194304 7136930 140736563816752 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 36154 33072 395 719 0 35433 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 144616

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5597
/proc/meminfo: memFree=1630044/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=159508 CPUtime=402.14
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 39073 0 0 0 40112 102 0 0 25 0 1 0 37639357 163336192 36328 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 39877 36328 395 719 0 39156 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 159508

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5597
/proc/meminfo: memFree=1620744/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=170360 CPUtime=462.11
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 41363 0 0 0 46098 113 0 0 25 0 1 0 37639357 174448640 38618 1992294400 4194304 7136930 140736563816752 18446744073709551615 4978074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 42590 38618 395 719 0 41869 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 170360

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5599
/proc/meminfo: memFree=1611320/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=181372 CPUtime=522.09
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 43702 0 0 0 52086 123 0 0 25 0 1 0 37639357 185724928 40957 1992294400 4194304 7136930 140736563816752 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 45343 40957 395 719 0 44622 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 181372

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5601
/proc/meminfo: memFree=1603880/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=189888 CPUtime=582.07
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 45533 0 0 0 58074 133 0 0 25 0 1 0 37639357 194445312 42788 1992294400 4194304 7136930 140736563816752 18446744073709551615 4947744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 47472 42788 395 719 0 46751 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 189888

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5603
/proc/meminfo: memFree=1596316/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=198988 CPUtime=642.06
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 47416 0 0 0 64063 143 0 0 25 0 1 0 37639357 203763712 44671 1992294400 4194304 7136930 140736563816752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 49747 44671 395 719 0 49026 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 198988

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5622
/proc/meminfo: memFree=1466364/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=346956 CPUtime=1001.9
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 79739 0 0 0 99933 257 0 0 25 0 1 0 37639357 355282944 76994 1992294400 4194304 7136930 140736563816752 18446744073709551615 4980169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 86739 76994 395 719 0 86018 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 346956

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5622
/proc/meminfo: memFree=1449376/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=365812 CPUtime=1061.87
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 83977 0 0 0 105914 273 0 0 25 0 1 0 37639357 374591488 81232 1992294400 4194304 7136930 140736563816752 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 91453 81232 395 719 0 90732 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 365812

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5624
/proc/meminfo: memFree=1438092/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=379740 CPUtime=1121.85
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 86800 0 0 0 111900 285 0 0 25 0 1 0 37639357 388853760 84055 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 94935 84055 395 719 0 94214 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 379740

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5626
/proc/meminfo: memFree=1425320/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=395636 CPUtime=1181.83
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 89960 0 0 0 117884 299 0 0 25 0 1 0 37639357 405131264 87215 1992294400 4194304 7136930 140736563816752 18446744073709551615 4981223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 98909 87215 395 719 0 98188 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 395636

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5628
/proc/meminfo: memFree=1417632/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=404912 CPUtime=1241.81
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 91877 0 0 0 123870 311 0 0 25 0 1 0 37639357 414629888 89132 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 101228 89132 395 719 0 100507 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 404912

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5630
/proc/meminfo: memFree=1405356/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=420548 CPUtime=1301.79
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 94879 0 0 0 129860 319 0 0 25 0 1 0 37639357 430641152 92134 1992294400 4194304 7136930 140736563816752 18446744073709551615 4855386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 105137 92134 395 719 0 104416 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 420548

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5630
/proc/meminfo: memFree=1396924/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=430284 CPUtime=1361.76
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 96993 0 0 0 135846 330 0 0 25 0 1 0 37639357 440610816 94248 1992294400 4194304 7136930 140736563816752 18446744073709551615 4978095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 107571 94248 395 719 0 106850 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 430284

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5632
/proc/meminfo: memFree=1386136/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=443412 CPUtime=1421.75
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 99651 0 0 0 141832 343 0 0 25 0 1 0 37639357 454053888 96906 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 110853 96906 395 719 0 110132 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 443412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5634
/proc/meminfo: memFree=1374604/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=457412 CPUtime=1481.72
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 102552 0 0 0 147817 355 0 0 25 0 1 0 37639357 468389888 99807 1992294400 4194304 7136930 140736563816752 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 114353 99807 395 719 0 113632 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 457412

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5636
/proc/meminfo: memFree=1367288/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=466220 CPUtime=1541.69
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 104343 0 0 0 153803 366 0 0 25 0 1 0 37639357 477409280 101598 1992294400 4194304 7136930 140736563816752 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 116555 101598 395 719 0 115834 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 466220

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5638
/proc/meminfo: memFree=1349804/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=486184 CPUtime=1601.68
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 108715 0 0 0 159781 387 0 0 25 0 1 0 37639357 497852416 105970 1992294400 4194304 7136930 140736563816752 18446744073709551615 4947139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 121546 105970 395 719 0 120825 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 486184

[startup+1662.3 s]
/proc/loadavg: 1.08 1.02 1.01 3/108 5641
/proc/meminfo: memFree=1297840/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=513812 CPUtime=1661.64
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 115048 0 0 0 165758 406 0 0 25 0 1 0 37639357 526143488 112303 1992294400 4194304 7136930 140736563816752 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 128453 112303 395 719 0 127732 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 513812

[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 5643
/proc/meminfo: memFree=1301320/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=538388 CPUtime=1721.62
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 120725 0 0 0 171738 424 0 0 25 0 1 0 37639357 551309312 117980 1992294400 4194304 7136930 140736563816752 18446744073709551615 4977973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 134597 117980 395 719 0 133876 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 538388

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5645
/proc/meminfo: memFree=1277884/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=565060 CPUtime=1781.61
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 126552 0 0 0 177719 442 0 0 25 0 1 0 37639357 578621440 123807 1992294400 4194304 7136930 140736563816752 18446744073709551615 4983364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 141265 123807 395 719 0 140544 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 565060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5645
/proc/meminfo: memFree=1269700/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=575400 CPUtime=1800.01
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 128566 0 0 0 179554 447 0 0 25 0 1 0 37639357 589209600 125821 1992294400 4194304 7136930 140736563816752 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5584/statm: 143850 125821 395 719 0 143129 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 575400

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

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

[startup+1801 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5645
/proc/meminfo: memFree=1269700/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=575400 CPUtime=1800.29
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 128572 0 0 0 179582 447 0 0 25 0 1 0 37639357 589209600 125827 1992294400 4194304 7136930 140736563816752 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 143850 125827 401 719 0 143129 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 575400

[startup+1801.2 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5645
/proc/meminfo: memFree=1269700/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=575400 CPUtime=1800.49
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 128572 0 0 0 179602 447 0 0 25 0 1 0 37639357 589209600 125827 1992294400 4194304 7136930 140736563816752 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 143850 125827 401 719 0 143129 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 575400

[startup+1801.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5645
/proc/meminfo: memFree=1269700/2059040 swapFree=4140360/4192956
[pid=5584] ppid=5582 vsize=570900 CPUtime=1800.59
/proc/5584/stat : 5584 (pbscip.linux.x8) R 5582 5584 4839 0 -1 4202496 128607 0 0 0 179612 447 0 0 25 0 1 0 37639357 584601600 124717 1992294400 4194304 7136930 140736563816752 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5584/statm: 142692 124684 401 719 0 141971 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 570900

Child status: 0
Real time (s): 1801.38
CPU time (s): 1800.69
CPU user time (s): 1796.15
CPU system time (s): 4.53731
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 575400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.15
system time used= 4.53731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128614
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= 5
involuntary context switches= 1802

runsolver used 2.92855 second user time and 8.5537 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-15 18:45:59
IDJOB=2664254
IDBENCH=2942
IDSOLVER=1167
FILE ID=node007/2664254-1276620359
PBS_JOBID= 11172286
Free space on /tmp= 62484 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664254-1276620359/watcher-2664254-1276620359 -o /tmp/evaluation-result-2664254-1276620359/solver-2664254-1276620359 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664254-1276620359.opb -t 1800 -m 1800

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

MD5SUM BENCH= 840eda79f99ca12a0c705eefe22c37b7
RANDOM SEED=2071145957

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1775164 kB
Buffers:         67372 kB
Cached:         123160 kB
SwapCached:       6820 kB
Active:         104104 kB
Inactive:       100664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1775164 kB
SwapTotal:     4192956 kB
SwapFree:      4140360 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:       12216 kB
Mapped:          13156 kB
Slab:            57220 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181976 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= 62484 MiB
End job on node007 at 2010-06-15 19:16:02