Trace number 2665453

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.61 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
MD5SUM691db1c1df60c391acb60afdfcce171f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark354
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10998
Total number of constraints21679
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 constraints21678
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 171
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 426
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 531
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2868
Number of bits of the biggest sum of numbers12
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-2665453-1276618814.opb>
1.39/1.49	c original problem has 10998 variables (10998 bin, 0 int, 0 impl, 0 cont) and 21679 constraints
1.39/1.49	c problem read
1.39/1.49	c presolving settings loaded
1.89/1.97	c presolving:
2.29/2.34	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 22 chg sides, 1193 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.49/2.53	c (round 2) 1 del vars, 9946 del conss, 1 chg bounds, 22 chg sides, 1193 chg coeffs, 903 upgd conss, 0 impls, 0 clqs
2.69/2.78	c (round 3) 1 del vars, 9946 del conss, 1 chg bounds, 22 chg sides, 1194 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
2.79/2.86	c (round 4) 1 del vars, 9946 del conss, 1 chg bounds, 66 chg sides, 1356 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
7.78/7.84	c    (6.1s) probing: 120/10997 (1.1%) - 0 fixings, 0 aggregations, 133 implications, 0 bound changes
7.78/7.84	c    (6.1s) probing aborted: 100/100 successive totally useless probings
7.78/7.84	c presolving (5 rounds):
7.78/7.84	c  1 deleted vars, 9946 deleted constraints, 1 tightened bounds, 0 added holes, 66 changed sides, 1364 changed coefficients
7.78/7.84	c  1014 implications, 12 cliques
7.78/7.84	c presolved problem has 10997 variables (10997 bin, 0 int, 0 impl, 0 cont) and 11733 constraints
7.78/7.84	c    1788 constraints of type <knapsack>
7.78/7.84	c    9945 constraints of type <linear>
7.78/7.84	c transformed objective value is always integral (scale: 1)
7.78/7.84	c Presolving Time: 5.86
7.78/7.84	c - non default parameters ----------------------------------------------------------------------
7.78/7.84	c # SCIP version 1.2.1.2
7.78/7.84	c 
7.78/7.84	c # frequency for displaying node information lines
7.78/7.84	c # [type: int, range: [-1,2147483647], default: 100]
7.78/7.84	c display/freq = 10000
7.78/7.84	c 
7.78/7.84	c # maximal time in seconds to run
7.78/7.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.78/7.84	c limits/time = 1798.52
7.78/7.84	c 
7.78/7.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.78/7.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.78/7.84	c limits/memory = 1620
7.78/7.84	c 
7.78/7.84	c # should presolving try to simplify inequalities
7.78/7.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.78/7.84	c constraints/linear/simplifyinequalities = TRUE
7.78/7.84	c 
7.78/7.84	c # should presolving try to simplify knapsacks
7.78/7.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.78/7.84	c constraints/knapsack/simplifyinequalities = TRUE
7.78/7.84	c 
7.78/7.84	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.78/7.84	c # [type: int, range: [-1,2147483647], default: -1]
7.78/7.84	c separating/rapidlearning/freq = 0
7.78/7.84	c 
7.78/7.84	c -----------------------------------------------------------------------------------------------
7.78/7.84	c start solving
7.78/7.85	c 
11.38/11.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.38/11.47	c   9.7s|     1 |     0 |  8040 |     - | 103M|   0 |7774 |  10k|  11k|  10k|  11k|   0 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
24.98/25.04	c  23.0s|     1 |     0 | 14572 |     - | 104M|   0 |7666 |  10k|  11k|  10k|  11k|  88 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
36.88/36.90	c  34.7s|     1 |     0 | 17682 |     - | 105M|   0 |8077 |  10k|  11k|  10k|  11k| 173 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
51.97/52.07	c  49.7s|     1 |     0 | 21208 |     - | 105M|   0 |7725 |  10k|  11k|  10k|  12k| 269 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
83.96/84.02	c  81.3s|     1 |     0 | 28837 |     - | 106M|   0 |7534 |  10k|  11k|  10k|  12k| 358 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
105.16/105.21	c   102s|     1 |     0 | 32510 |     - | 106M|   0 |7765 |  10k|  11k|  10k|  12k| 466 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
144.34/144.41	c   141s|     1 |     0 | 40115 |     - | 107M|   0 |7882 |  10k|  11k|  10k|  12k| 580 |   0 |   0 | 1.710000e+02 |      --      |    Inf 
225.71/225.85	c   221s|     1 |     2 | 40115 |     - | 107M|   0 |7882 |  10k|  11k|  10k|  12k| 580 |   0 |  25 | 1.710000e+02 |      --      |    Inf 
1800.08/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.17/1800.89	c 
1800.17/1800.89	c SCIP Status        : solving was interrupted [user interrupt]
1800.17/1800.89	c Solving Time (sec) : 1754.37
1800.17/1800.89	c Solving Nodes      : 17
1800.17/1800.89	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.17/1800.89	c Dual Bound         : +1.71000000000000e+02
1800.17/1800.89	c Gap                : infinite
1800.17/1800.89	s UNKNOWN
1800.17/1800.89	c SCIP Status        : solving was interrupted [user interrupt]
1800.17/1800.89	c Solving Time       :    1754.37
1800.17/1800.89	c Original Problem   :
1800.17/1800.89	c   Problem name     : HOME/instance-2665453-1276618814.opb
1800.17/1800.89	c   Variables        : 10998 (10998 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.89	c   Constraints      : 21679 initial, 21679 maximal
1800.17/1800.89	c Presolved Problem  :
1800.17/1800.89	c   Problem name     : t_HOME/instance-2665453-1276618814.opb
1800.17/1800.89	c   Variables        : 10997 (10997 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.89	c   Constraints      : 11733 initial, 12716 maximal
1800.17/1800.89	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.17/1800.89	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.17/1800.89	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.17/1800.89	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.17/1800.89	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.17/1800.89	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.17/1800.89	c   probing          :       4.92          0          0          0          0          0          0          0          0
1800.17/1800.89	c   knapsack         :       0.12          0          0          0          0          0          0         44        171
1800.17/1800.89	c   linear           :       0.63          1          0          0          1          0       9946         22       1193
1800.17/1800.89	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.17/1800.89	c   root node        :          -          0          -          -          0          -          -          -          -
1800.17/1800.89	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.17/1800.89	c   integral         :          0          0          0         21          0          0         13          0          0         34
1800.17/1800.89	c   knapsack         :       1788          6       3564          0          0          0         31       1204          0          0
1800.17/1800.89	c   linear           :       9945          6       3564          0          0          0         11          0          0          0
1800.17/1800.90	c   logicor          :          0+         0       1060          0          0          0          0          0          0          0
1800.17/1800.90	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.17/1800.90	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.17/1800.90	c   integral         :     317.59       0.00       0.00     317.59       0.00
1800.17/1800.90	c   knapsack         :       0.89       0.17       0.72       0.00       0.00
1800.17/1800.90	c   linear           :       7.32       0.01       7.31       0.00       0.00
1800.17/1800.90	c   logicor          :       0.01       0.00       0.01       0.00       0.00
1800.17/1800.90	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.17/1800.90	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.17/1800.90	c   vbounds          :       0.03          2          0          0
1800.17/1800.90	c   rootredcost      :       0.00          0          0          0
1800.17/1800.90	c   pseudoobj        :       0.01       3313          0          0
1800.17/1800.90	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.17/1800.90	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.17/1800.90	c   infeasible LP    :       3.97        983        983        983        5.1          0        0.0          0
1800.17/1800.90	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.17/1800.90	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.17/1800.90	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.17/1800.90	c   applied globally :          -          -          -        983        5.1          -          -          -
1800.17/1800.90	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.17/1800.90	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.17/1800.90	c   cut pool         :       0.00          5          -          -       1353          -    (maximal pool size: 4299)
1800.17/1800.90	c   redcost          :       0.04         27          0          1          0          0
1800.17/1800.90	c   impliedbounds    :       0.01          6          0          0         29          0
1800.17/1800.90	c   intobj           :       0.00          0          0          0          0          0
1800.17/1800.90	c   cgmip            :       0.00          0          0          0          0          0
1800.17/1800.90	c   gomory           :       7.79          6          0          0        101          0
1800.17/1800.90	c   strongcg         :       7.70          6          0          0          9          0
1800.17/1800.90	c   cmir             :       8.88          6          0          0       3000          0
1800.17/1800.90	c   flowcover        :       5.14          6          0          0       1200          0
1800.17/1800.90	c   clique           :       0.02          6          0          0          3          0
1800.17/1800.90	c   zerohalf         :       0.00          0          0          0          0          0
1800.17/1800.90	c   mcf              :       0.00          1          0          0          0          0
1800.17/1800.90	c   rapidlearning    :       0.00          0          0          0          0          0
1800.17/1800.90	c Pricers            :       Time      Calls       Vars
1800.17/1800.90	c   problem variables:       0.00          0          0
1800.17/1800.90	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.17/1800.90	c   relpscost        :     317.59         21          0         13          0          0         34
1800.17/1800.90	c   pscost           :       0.00          0          0          0          0          0          0
1800.17/1800.90	c   inference        :       0.00          0          0          0          0          0          0
1800.17/1800.90	c   mostinf          :       0.00          0          0          0          0          0          0
1800.17/1800.90	c   leastinf         :       0.00          0          0          0          0          0          0
1800.17/1800.90	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.17/1800.90	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.17/1800.90	c   random           :       0.00          0          0          0          0          0          0
1800.17/1800.90	c Primal Heuristics  :       Time      Calls      Found
1800.17/1800.90	c   LP solutions     :       0.00          -          0
1800.17/1800.90	c   pseudo solutions :       0.00          -          0
1800.17/1800.90	c   oneopt           :       0.00          0          0
1800.17/1800.90	c   crossover        :       0.00          0          0
1800.17/1800.90	c   veclendiving     :       0.00          0          0
1800.17/1800.90	c   objpscostdiving  :       0.00          0          0
1800.17/1800.90	c   rootsoldiving    :       0.00          0          0
1800.17/1800.90	c   linesearchdiving :       0.00          0          0
1800.17/1800.90	c   guideddiving     :       0.00          0          0
1800.17/1800.90	c   coefdiving       :     903.80          1          0
1800.17/1800.90	c   pscostdiving     :       0.95          1          0
1800.17/1800.90	c   trivial          :       0.02          2          0
1800.17/1800.90	c   simplerounding   :       0.00          0          0
1800.17/1800.90	c   zirounding       :       0.05         17          0
1800.17/1800.90	c   rounding         :       0.34         27          0
1800.17/1800.90	c   shifting         :       2.84          8          0
1800.17/1800.90	c   intshifting      :       0.00          0          0
1800.17/1800.90	c   twoopt           :       0.00          0          0
1800.17/1800.90	c   fixandinfer      :       0.00          0          0
1800.17/1800.90	c   feaspump         :       0.56          1          0
1800.17/1800.90	c   fracdiving       :     350.97          1          0
1800.17/1800.90	c   intdiving        :       0.00          0          0
1800.17/1800.90	c   actconsdiving    :       0.00          0          0
1800.17/1800.90	c   octane           :       0.00          0          0
1800.17/1800.90	c   rens             :       0.03          0          0
1800.17/1800.90	c   rins             :       0.00          0          0
1800.17/1800.90	c   localbranching   :       0.00          0          0
1800.17/1800.90	c   mutation         :       0.00          0          0
1800.17/1800.90	c   dins             :       0.00          0          0
1800.17/1800.90	c   undercover       :       0.00          0          0
1800.17/1800.90	c   nlp              :       0.00          0          0
1800.17/1800.90	c   trysol           :       0.00          0          0
1800.17/1800.90	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.17/1800.90	c   primal LP        :       0.16          0          0       0.00       0.00
1800.17/1800.90	c   dual LP          :     140.36         27      57281    2121.52     408.10
1800.17/1800.90	c   lex dual LP      :       0.00          0          0       0.00          -
1800.17/1800.90	c   barrier LP       :       0.00          0          0       0.00          -
1800.17/1800.90	c   diving/probing LP:    1237.69       3193     955572     299.27     772.06
1800.17/1800.90	c   strong branching :     317.54        286     151528     529.82     477.19
1800.17/1800.90	c     (at root node) :          -         25      22103     884.12          -
1800.17/1800.90	c   conflict analysis:       0.00          0          0       0.00          -
1800.17/1800.90	c B&B Tree           :
1800.17/1800.90	c   number of runs   :          1
1800.17/1800.90	c   nodes            :         17
1800.17/1800.90	c   nodes (total)    :         17
1800.17/1800.90	c   nodes left       :         18
1800.17/1800.90	c   max depth        :         14
1800.17/1800.90	c   max depth (total):         14
1800.17/1800.90	c   backtracks       :          2 (11.8%)
1800.17/1800.90	c   delayed cutoffs  :          0
1800.17/1800.90	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.17/1800.90	c   avg switch length:       1.24
1800.17/1800.90	c   switching time   :       0.19
1800.17/1800.90	c Solution           :
1800.17/1800.90	c   Solutions found  :          0 (0 improvements)
1800.17/1800.90	c   Primal Bound     :          -
1800.17/1800.90	c   Dual Bound       : +1.71000000000000e+02
1800.17/1800.90	c   Gap              :   infinite
1800.17/1800.90	c   Root Dual Bound  : +1.71000000000000e+02
1800.17/1800.90	c   Root Iterations  :      40115
1800.57/1801.23	c Time complete: 1800.59.

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5997
/proc/meminfo: memFree=1679820/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=9288 CPUtime=0
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 1040 0 0 0 0 0 0 0 15 0 1 0 37483012 9510912 960 1992294400 4194304 9819077 140735300059872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 2322 971 371 1374 0 943 0

[startup+0.0232991 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5997
/proc/meminfo: memFree=1679820/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=10848 CPUtime=0.01
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 1664 0 0 0 1 0 0 0 17 0 1 0 37483012 11108352 1584 1992294400 4194304 9819077 140735300059872 18446744073709551615 4325415 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 2712 1584 388 1374 0 1333 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10848

[startup+0.101314 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5997
/proc/meminfo: memFree=1679820/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=13144 CPUtime=0.09
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 2224 0 0 0 9 0 0 0 17 0 1 0 37483012 13459456 2144 1992294400 4194304 9819077 140735300059872 18446744073709551615 5648913 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 3286 2144 388 1374 0 1907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13144

[startup+0.301352 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5997
/proc/meminfo: memFree=1679820/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=18368 CPUtime=0.29
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 3508 0 0 0 28 1 0 0 17 0 1 0 37483012 18808832 3428 1992294400 4194304 9819077 140735300059872 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 4592 3428 388 1374 0 3213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18368

[startup+0.700431 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5997
/proc/meminfo: memFree=1679820/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=26708 CPUtime=0.69
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 5612 0 0 0 67 2 0 0 17 0 1 0 37483012 27348992 5532 1992294400 4194304 9819077 140735300059872 18446744073709551615 5649661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 6677 5532 388 1374 0 5298 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26708

[startup+1.50059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1654640/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=43424 CPUtime=1.49
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 10164 0 0 0 144 5 0 0 18 0 1 0 37483012 44466176 9730 1992294400 4194304 9819077 140735300059872 18446744073709551615 4384918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 10856 9731 427 1374 0 9477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43424

[startup+3.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1511544/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=187656 CPUtime=3.09
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 54158 0 0 0 283 26 0 0 21 0 1 0 37483012 192159744 43773 1992294400 4194304 9819077 140735300059872 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 46914 43773 537 1374 0 45535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187656

[startup+6.30053 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5998
/proc/meminfo: memFree=1505592/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=187656 CPUtime=6.29
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 54173 0 0 0 603 26 0 0 25 0 1 0 37483012 192159744 43773 1992294400 4194304 9819077 140735300059872 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 46914 43773 522 1374 0 45535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 187656

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1458968/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=247128 CPUtime=12.69
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 99350 0 0 0 1225 44 0 0 25 0 1 0 37483012 253059072 55794 1992294400 4194304 9819077 140735300059872 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 61782 55794 661 1374 0 60403 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 247128

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1456116/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=255748 CPUtime=25.48
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 121684 0 0 0 2490 58 0 0 25 0 1 0 37483012 261885952 56305 1992294400 4194304 9819077 140735300059872 18446744073709551615 5437592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 63937 56305 679 1374 0 62558 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 255748

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1451652/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262680 CPUtime=51.08
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 166262 0 0 0 5023 85 0 0 25 0 1 0 37483012 268984320 56901 1992294400 4194304 9819077 140735300059872 18446744073709551615 7220882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65670 56901 678 1374 0 64291 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 262680

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6000
/proc/meminfo: memFree=1445080/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=289700 CPUtime=102.26
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 264975 0 0 0 10091 135 0 0 25 0 1 0 37483012 296652800 59092 1992294400 4194304 9819077 140735300059872 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 72425 59092 678 1374 0 71046 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 289700

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6002
/proc/meminfo: memFree=1440988/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=330048 CPUtime=162.23
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 413936 0 0 0 16021 202 0 0 25 0 1 0 37483012 337969152 60354 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 82512 60354 695 1374 0 81133 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 330048

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6004
/proc/meminfo: memFree=1439252/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=328916 CPUtime=222.22
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 616557 0 0 0 21929 293 0 0 25 0 1 0 37483012 336809984 59972 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 82229 59972 695 1374 0 80850 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 328916

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6004
/proc/meminfo: memFree=1448552/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=278760 CPUtime=282.19
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 840530 0 0 0 27829 390 0 0 25 0 1 0 37483012 285450240 58217 1992294400 4194304 9819077 140735300059872 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 69690 58217 699 1374 0 68311 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 278760

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6006
/proc/meminfo: memFree=1441732/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=325808 CPUtime=342.17
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 1254757 0 0 0 33653 564 0 0 25 0 1 0 37483012 333627392 60080 1992294400 4194304 9819077 140735300059872 18446744073709551615 6656884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 81452 60080 699 1374 0 80073 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 325808

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6008
/proc/meminfo: memFree=1444708/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=325716 CPUtime=402.15
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 1470147 0 0 0 39557 658 0 0 25 0 1 0 37483012 333533184 59886 1992294400 4194304 9819077 140735300059872 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 81429 59886 699 1374 0 80050 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 325716

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6010
/proc/meminfo: memFree=1447064/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=282192 CPUtime=462.13
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 1668243 0 0 0 45464 749 0 0 25 0 1 0 37483012 288964608 58721 1992294400 4194304 9819077 140735300059872 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 70548 58721 699 1374 0 69169 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 282192

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6012
/proc/meminfo: memFree=1450412/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=261796 CPUtime=522.11
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 1893478 0 0 0 51360 851 0 0 25 0 1 0 37483012 268079104 57985 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65449 57985 704 1374 0 64070 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 261796

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6012
/proc/meminfo: memFree=1450908/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=260988 CPUtime=582.09
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 2170981 0 0 0 57229 980 0 0 25 0 1 0 37483012 267251712 57999 1992294400 4194304 9819077 140735300059872 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65247 57999 704 1374 0 63868 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 260988

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6014
/proc/meminfo: memFree=1449916/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262132 CPUtime=642.08
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 2438217 0 0 0 63102 1106 0 0 25 0 1 0 37483012 268423168 57890 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65533 57890 704 1374 0 64154 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 262132

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6022
/proc/meminfo: memFree=1448676/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=261040 CPUtime=941.96
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 4005432 0 0 0 92376 1820 0 0 25 0 1 0 37483012 267304960 58569 1992294400 4194304 9819077 140735300059872 18446744073709551615 7292341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65260 58569 704 1374 0 63881 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 261040

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6024
/proc/meminfo: memFree=1446444/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262584 CPUtime=1001.94
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 4388167 0 0 0 98206 1988 0 0 25 0 1 0 37483012 268886016 58777 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65646 58777 704 1374 0 64267 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 262584

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6026
/proc/meminfo: memFree=1445576/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=263292 CPUtime=1061.92
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 4790710 0 0 0 104025 2167 0 0 25 0 1 0 37483012 269611008 58744 1992294400 4194304 9819077 140735300059872 18446744073709551615 7816437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65823 58744 704 1374 0 64444 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 263292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6028
/proc/meminfo: memFree=1446320/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=263292 CPUtime=1121.9
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 5357334 0 0 0 109782 2408 0 0 25 0 1 0 37483012 269611008 58735 1992294400 4194304 9819077 140735300059872 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65823 58735 704 1374 0 64444 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 263292

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6028
/proc/meminfo: memFree=1444956/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=267004 CPUtime=1181.89
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 5791474 0 0 0 115594 2595 0 0 25 0 1 0 37483012 273412096 58843 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 66751 58843 704 1374 0 65372 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 267004

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6030
/proc/meminfo: memFree=1443592/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=268644 CPUtime=1241.86
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 6458241 0 0 0 121316 2870 0 0 25 0 1 0 37483012 275091456 59441 1992294400 4194304 9819077 140735300059872 18446744073709551615 7293550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 67161 59441 704 1374 0 65782 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 268644

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6032
/proc/meminfo: memFree=1441608/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=266784 CPUtime=1301.84
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 7234563 0 0 0 126994 3190 0 0 25 0 1 0 37483012 273186816 59885 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 66696 59885 704 1374 0 65317 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 266784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6034
/proc/meminfo: memFree=1441608/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=266984 CPUtime=1361.82
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 7816962 0 0 0 132745 3437 0 0 25 0 1 0 37483012 273391616 59198 1992294400 4194304 9819077 140735300059872 18446744073709551615 7816449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 66746 59210 704 1374 0 65367 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 266984

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6036
/proc/meminfo: memFree=1443592/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=287720 CPUtime=1421.8
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 8332445 0 0 0 138527 3653 0 0 25 0 1 0 37483012 294625280 58691 1992294400 4194304 9819077 140735300059872 18446744073709551615 7331115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 71930 58691 704 1374 0 70551 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 287720

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6036
/proc/meminfo: memFree=1447808/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=263324 CPUtime=1481.78
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 8677528 0 0 0 144374 3804 0 0 25 0 1 0 37483012 269643776 58377 1992294400 4194304 9819077 140735300059872 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65831 58377 704 1374 0 64452 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 263324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6038
/proc/meminfo: memFree=1448924/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262876 CPUtime=1541.76
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 8916750 0 0 0 150255 3921 0 0 25 0 1 0 37483012 269185024 58438 1992294400 4194304 9819077 140735300059872 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65719 58438 704 1374 0 64340 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 262876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6040
/proc/meminfo: memFree=1448924/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=263320 CPUtime=1601.73
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 9145166 0 0 0 156136 4037 0 0 25 0 1 0 37483012 269639680 58325 1992294400 4194304 9819077 140735300059872 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65830 58325 704 1374 0 64451 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 263320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6042
/proc/meminfo: memFree=1447808/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262040 CPUtime=1661.71
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 9384039 0 0 0 162019 4152 0 0 25 0 1 0 37483012 268328960 58264 1992294400 4194304 9819077 140735300059872 18446744073709551615 6190459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65510 58264 704 1374 0 64131 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 262040

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6044
/proc/meminfo: memFree=1447808/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=263320 CPUtime=1721.7
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 9613684 0 0 0 167904 4266 0 0 25 0 1 0 37483012 269639680 58505 1992294400 4194304 9819077 140735300059872 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65830 58505 704 1374 0 64451 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 263320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6044
/proc/meminfo: memFree=1446940/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262452 CPUtime=1781.67
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 9938906 0 0 0 173757 4410 0 0 25 0 1 0 37483012 268750848 58348 1992294400 4194304 9819077 140735300059872 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65613 58348 704 1374 0 64234 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 262452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6046
/proc/meminfo: memFree=1447436/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=262488 CPUtime=1800.08
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 10008198 0 0 0 175564 4444 0 0 25 0 1 0 37483012 268787712 58388 1992294400 4194304 9819077 140735300059872 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5997/statm: 65622 58388 704 1374 0 64243 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 262488

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.00 1.00 1.00 2/107 6046
/proc/meminfo: memFree=1447436/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=260012 CPUtime=1800.37
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 10010682 0 0 0 175591 4446 0 0 25 0 1 0 37483012 266252288 56612 1992294400 4194304 9819077 140735300059872 18446744073709551615 6027059 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 65003 56612 708 1374 0 63624 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 260012

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6046
/proc/meminfo: memFree=1447436/2059040 swapFree=4136232/4192956
[pid=5997] ppid=5995 vsize=73952 CPUtime=1800.57
/proc/5997/stat : 5997 (pbscip.linux.x8) R 5995 5997 5318 0 -1 4202496 10010684 0 0 0 175609 4448 0 0 25 0 1 0 37483012 75726848 17267 1992294400 4194304 9819077 140735300059872 18446744073709551615 6180700 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5997/statm: 18488 17267 710 1374 0 17109 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 73952

Child status: 0
Real time (s): 1801.23
CPU time (s): 1800.61
CPU user time (s): 1756.12
CPU system time (s): 44.4882
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 333852

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

runsolver used 2.99654 second user time and 8.48571 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-15 18:20:14
IDJOB=2665453
IDBENCH=2934
IDSOLVER=1168
FILE ID=node011/2665453-1276618814
PBS_JOBID= 11172285
Free space on /tmp= 62356 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_19.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-2665453-1276618814/watcher-2665453-1276618814 -o /tmp/evaluation-result-2665453-1276618814/solver-2665453-1276618814 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665453-1276618814.opb -t 1800 -m 1800

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

MD5SUM BENCH= 691db1c1df60c391acb60afdfcce171f
RANDOM SEED=1250829379

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1680224 kB
Buffers:        139124 kB
Cached:         159796 kB
SwapCached:      10072 kB
Active:         123496 kB
Inactive:       188740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1680224 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:           12192 kB
Writeback:           0 kB
AnonPages:       11664 kB
Mapped:           9372 kB
Slab:            44704 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180840 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= 62348 MiB
End job on node011 at 2010-06-15 18:50:17