Trace number 2665464

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) 1801 1801.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
MD5SUM5a1b3155d98b6c4d8f9ab1b869fece67
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 355
Optimality of the best value was proved NO
Number of variables11001
Total number of constraints21678
Number of constraints which are clauses0
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 constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2765
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-2665464-1276586138.opb>
1.39/1.48	c original problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 21678 constraints
1.39/1.48	c problem read
1.39/1.48	c presolving settings loaded
1.89/1.96	c presolving:
2.38/2.47	c (round 1) 0 del vars, 10830 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 0 clqs
8.98/9.10	c    (7.4s) probing: 119/11001 (1.1%) - 0 fixings, 0 aggregations, 2979 implications, 0 bound changes
8.98/9.10	c    (7.4s) probing aborted: 100/100 successive totally useless probings
9.08/9.10	c presolving (2 rounds):
9.08/9.10	c  0 deleted vars, 10830 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
9.08/9.10	c  22002 implications, 0 cliques
9.08/9.10	c presolved problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 10848 constraints
9.08/9.10	c      18 constraints of type <knapsack>
9.08/9.10	c   10830 constraints of type <linear>
9.08/9.10	c transformed objective value is always integral (scale: 1)
9.08/9.10	c Presolving Time: 7.13
9.08/9.10	c - non default parameters ----------------------------------------------------------------------
9.08/9.10	c # SCIP version 1.2.1.2
9.08/9.10	c 
9.08/9.10	c # frequency for displaying node information lines
9.08/9.10	c # [type: int, range: [-1,2147483647], default: 100]
9.08/9.10	c display/freq = 10000
9.08/9.10	c 
9.08/9.10	c # maximal time in seconds to run
9.08/9.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.08/9.10	c limits/time = 1798.52
9.08/9.10	c 
9.08/9.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.08/9.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.08/9.10	c limits/memory = 1620
9.08/9.10	c 
9.08/9.10	c # should presolving try to simplify inequalities
9.08/9.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.08/9.10	c constraints/linear/simplifyinequalities = TRUE
9.08/9.10	c 
9.08/9.10	c # should presolving try to simplify knapsacks
9.08/9.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.08/9.10	c constraints/knapsack/simplifyinequalities = TRUE
9.08/9.10	c 
9.08/9.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.08/9.10	c # [type: int, range: [-1,2147483647], default: -1]
9.08/9.10	c separating/rapidlearning/freq = 0
9.08/9.10	c 
9.08/9.10	c -----------------------------------------------------------------------------------------------
9.08/9.10	c start solving
9.08/9.11	c 
13.48/13.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.48/13.52	c  11.7s|     1 |     0 |  7851 |     - | 102M|   0 |6152 |  11k|  10k|  11k|  10k|   0 |   0 |   0 | 1.800000e+01 |      --      |    Inf 
16.18/16.20	c  14.3s|     1 |     0 |  7926 |     - | 103M|   0 |6163 |  11k|  10k|  11k|  10k|  76 |   0 |   0 | 1.800000e+01 |      --      |    Inf 
18.88/18.99	c  17.0s|     1 |     0 |  8156 |     - | 103M|   0 |6166 |  11k|  10k|  11k|  11k| 162 |   0 |   0 | 1.800000e+01 |      --      |    Inf 
23.17/23.24	c  21.2s|     1 |     0 |  8615 |     - | 104M|   0 |6193 |  11k|  10k|  11k|  11k| 265 |   0 |   0 | 1.800261e+01 |      --      |    Inf 
35.67/35.75	c  33.6s|     1 |     0 | 12354 |     - | 104M|   0 |6197 |  11k|  10k|  11k|  11k| 338 |   0 |   0 | 1.850000e+01 |      --      |    Inf 
42.55/42.67	c  40.4s|     1 |     0 | 13677 |     - | 105M|   0 |6199 |  11k|  10k|  11k|  11k| 396 |   0 |   0 | 1.850000e+01 |      --      |    Inf 
53.05/53.19	c  50.8s|     1 |     0 | 15394 |     - | 106M|   0 |6201 |  11k|  10k|  11k|  11k| 449 |   0 |   0 | 1.850000e+01 |      --      |    Inf 
67.44/67.55	c  65.1s|     1 |     0 | 18548 |     - | 106M|   0 |6204 |  11k|  10k|  11k|  11k| 511 |   0 |   0 | 1.850000e+01 |      --      |    Inf 
88.24/88.30	c  85.6s|     1 |     0 | 23790 |     - | 106M|   0 |6187 |  11k|  10k|  11k|  11k| 567 |   0 |   0 | 1.850000e+01 |      --      |    Inf 
107.83/107.93	c   105s|     1 |     0 | 28548 |     - | 107M|   0 |6187 |  11k|  10k|  11k|  11k| 624 |   0 |   0 | 1.850000e+01 |      --      |    Inf 
201.69/201.87	c   197s|     1 |     2 | 28548 |     - | 107M|   0 |6187 |  11k|  10k|  11k|  11k| 624 |   0 |  29 | 1.850000e+01 |      --      |    Inf 
1800.06/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.66/1801.41	c 
1800.66/1801.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.66/1801.41	c Solving Time (sec) : 1759.86
1800.66/1801.41	c Solving Nodes      : 113
1800.66/1801.41	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.66/1801.41	c Dual Bound         : +2.99999999999994e+01
1800.66/1801.41	c Gap                : infinite
1800.66/1801.41	s UNKNOWN
1800.66/1801.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.66/1801.41	c Solving Time       :    1759.86
1800.66/1801.41	c Original Problem   :
1800.66/1801.41	c   Problem name     : HOME/instance-2665464-1276586138.opb
1800.66/1801.41	c   Variables        : 11001 (11001 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.66/1801.41	c   Constraints      : 21678 initial, 21678 maximal
1800.66/1801.41	c Presolved Problem  :
1800.66/1801.41	c   Problem name     : t_HOME/instance-2665464-1276586138.opb
1800.66/1801.41	c   Variables        : 11001 (11001 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.66/1801.41	c   Constraints      : 10848 initial, 11640 maximal
1800.66/1801.41	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.66/1801.41	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.66/1801.41	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.66/1801.41	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.66/1801.41	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.66/1801.41	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.66/1801.41	c   probing          :       6.45          0          0          0          0          0          0          0          0
1800.66/1801.41	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.66/1801.41	c   linear           :       0.53          0          0          0          0          0      10830          0          0
1800.66/1801.41	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.66/1801.41	c   root node        :          -          0          -          -          0          -          -          -          -
1800.66/1801.41	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.66/1801.41	c   integral         :          0          0          0        111          0          0          6          0          0        218
1800.66/1801.41	c   knapsack         :         18          9       2530          0          0          2        103        260          0          0
1800.66/1801.41	c   linear           :      10830          9       2528          0          0          8       1429          2          0          0
1800.66/1801.41	c   logicor          :          0+         0        915          0          0          0         16          0          0          0
1800.66/1801.41	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.66/1801.41	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.66/1801.41	c   integral         :     379.78       0.00       0.00     379.78       0.00
1800.66/1801.41	c   knapsack         :       0.32       0.01       0.31       0.00       0.00
1800.66/1801.41	c   linear           :      13.67       0.03      13.64       0.00       0.00
1800.66/1801.41	c   logicor          :       0.06       0.00       0.06       0.00       0.00
1800.66/1801.41	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.66/1801.41	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.66/1801.41	c   vbounds          :       0.00          2          0          0
1800.66/1801.41	c   rootredcost      :       0.00          0          0          0
1800.66/1801.41	c   pseudoobj        :       0.01       2279          0          0
1800.66/1801.41	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.66/1801.41	c   propagation      :       0.00         10         10         54       25.6          0        0.0          -
1800.66/1801.41	c   infeasible LP    :       2.84        771        771        776        5.9          1       10.0          0
1800.66/1801.41	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.66/1801.41	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.66/1801.41	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.66/1801.41	c   applied globally :          -          -          -        792        6.2          -          -          -
1800.66/1801.41	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.66/1801.41	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.66/1801.41	c   cut pool         :       0.02          8          -          -       6114          -    (maximal pool size: 5713)
1800.66/1801.42	c   redcost          :       0.18        119          0          0          0          0
1800.66/1801.42	c   impliedbounds    :       0.00          9          0          0         27          0
1800.66/1801.42	c   intobj           :       0.00          0          0          0          0          0
1800.66/1801.42	c   cgmip            :       0.00          0          0          0          0          0
1800.66/1801.42	c   gomory           :       1.07          9          0          0         28          0
1800.66/1801.42	c   strongcg         :       1.08          9          0          0         15          0
1800.66/1801.42	c   cmir             :      12.30          9          0          0       4500          0
1800.66/1801.42	c   flowcover        :      12.24          9          0          0       1800          0
1800.66/1801.42	c   clique           :       0.03          1          0          0          0          0
1800.66/1801.42	c   zerohalf         :       0.00          0          0          0          0          0
1800.66/1801.42	c   mcf              :       0.00          1          0          0          0          0
1800.66/1801.42	c   rapidlearning    :       0.00          0          0          0          0          0
1800.66/1801.42	c Pricers            :       Time      Calls       Vars
1800.66/1801.42	c   problem variables:       0.00          0          0
1800.66/1801.42	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.66/1801.42	c   relpscost        :     379.78        111          0          6          0          0        218
1800.66/1801.42	c   pscost           :       0.00          0          0          0          0          0          0
1800.66/1801.42	c   inference        :       0.00          0          0          0          0          0          0
1800.66/1801.42	c   mostinf          :       0.00          0          0          0          0          0          0
1800.66/1801.42	c   leastinf         :       0.00          0          0          0          0          0          0
1800.66/1801.42	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.66/1801.42	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.66/1801.42	c   random           :       0.00          0          0          0          0          0          0
1800.66/1801.42	c Primal Heuristics  :       Time      Calls      Found
1800.66/1801.42	c   LP solutions     :       0.00          -          0
1800.66/1801.42	c   pseudo solutions :       0.00          -          0
1800.66/1801.42	c   oneopt           :       0.00          0          0
1800.66/1801.42	c   crossover        :       0.00          0          0
1800.66/1801.42	c   pscostdiving     :       6.85          2          0
1800.66/1801.42	c   veclendiving     :      48.21          2          0
1800.66/1801.42	c   linesearchdiving :      44.46          3          0
1800.66/1801.42	c   trivial          :       0.03          2          0
1800.66/1801.42	c   simplerounding   :       0.00          0          0
1800.66/1801.42	c   zirounding       :       0.12        109          0
1800.66/1801.42	c   rounding         :       1.34        112          0
1800.66/1801.42	c   shifting         :       5.24         18          0
1800.66/1801.42	c   intshifting      :       0.00          0          0
1800.66/1801.42	c   twoopt           :       0.00          0          0
1800.66/1801.42	c   fixandinfer      :       0.00          0          0
1800.66/1801.42	c   feaspump         :       0.54          1          0
1800.66/1801.42	c   coefdiving       :     803.56          3          0
1800.66/1801.42	c   fracdiving       :     189.25          1          0
1800.66/1801.42	c   intdiving        :       0.00          0          0
1800.66/1801.42	c   actconsdiving    :       0.00          0          0
1800.66/1801.42	c   objpscostdiving  :      17.99          2          0
1800.66/1801.42	c   rootsoldiving    :      17.55          1          0
1800.66/1801.42	c   guideddiving     :       0.00          0          0
1800.66/1801.42	c   octane           :       0.00          0          0
1800.66/1801.42	c   rens             :       0.03          0          0
1800.66/1801.42	c   rins             :       0.00          0          0
1800.66/1801.42	c   localbranching   :       0.00          0          0
1800.66/1801.42	c   mutation         :       0.00          0          0
1800.66/1801.42	c   dins             :       0.00          0          0
1800.66/1801.42	c   undercover       :       0.00          0          0
1800.66/1801.42	c   nlp              :       0.00          0          0
1800.66/1801.42	c   trysol           :       0.00          0          0
1800.66/1801.42	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.66/1801.42	c   primal LP        :       0.11          0          0       0.00       0.00
1800.66/1801.42	c   dual LP          :     205.86        124     118073     952.20     573.56
1800.66/1801.42	c   lex dual LP      :       0.00          0          0       0.00          -
1800.66/1801.42	c   barrier LP       :       0.00          0          0       0.00          -
1800.66/1801.42	c   diving/probing LP:    1110.83       1866    1065114     570.80     958.85
1800.66/1801.42	c   strong branching :     379.42        336     183443     545.96     483.48
1800.66/1801.42	c     (at root node) :          -         29      22996     792.97          -
1800.66/1801.42	c   conflict analysis:       0.00          0          0       0.00          -
1800.66/1801.42	c B&B Tree           :
1800.66/1801.42	c   number of runs   :          1
1800.66/1801.42	c   nodes            :        113
1800.66/1801.42	c   nodes (total)    :        113
1800.66/1801.42	c   nodes left       :        106
1800.66/1801.42	c   max depth        :         19
1800.66/1801.42	c   max depth (total):         19
1800.66/1801.42	c   backtracks       :         17 (15.0%)
1800.66/1801.42	c   delayed cutoffs  :          0
1800.66/1801.42	c   repropagations   :          1 (1 domain reductions, 0 cutoffs)
1800.66/1801.42	c   avg switch length:       2.30
1800.66/1801.42	c   switching time   :       0.44
1800.66/1801.42	c Solution           :
1800.66/1801.42	c   Solutions found  :          0 (0 improvements)
1800.66/1801.42	c   Primal Bound     :          -
1800.66/1801.42	c   Dual Bound       : +2.99999999999994e+01
1800.66/1801.42	c   Gap              :   infinite
1800.66/1801.42	c   Root Dual Bound  : +1.85000000000000e+01
1800.66/1801.42	c   Root Iterations  :      28548
1800.96/1801.74	c Time complete: 1801.

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-2665464-1276586138/watcher-2665464-1276586138 -o /tmp/evaluation-result-2665464-1276586138/solver-2665464-1276586138 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665464-1276586138.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: 0.93 1.01 0.99 3/106 3617
/proc/meminfo: memFree=1820456/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=9288 CPUtime=0
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 1044 0 0 0 0 0 0 0 21 0 1 0 34217343 9510912 965 1992294400 4194304 9819077 140737279837728 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 2322 973 371 1374 0 943 0

[startup+0.045904 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 3617
/proc/meminfo: memFree=1820456/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=11360 CPUtime=0.03
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 1775 0 0 0 3 0 0 0 21 0 1 0 34217343 11632640 1696 1992294400 4194304 9819077 140737279837728 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 2840 1696 388 1374 0 1461 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11360

[startup+0.101913 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 3617
/proc/meminfo: memFree=1820456/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=13128 CPUtime=0.09
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 2199 0 0 0 9 0 0 0 21 0 1 0 34217343 13443072 2120 1992294400 4194304 9819077 140737279837728 18446744073709551615 4361581 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 3282 2120 388 1374 0 1903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13128

[startup+0.30195 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 3617
/proc/meminfo: memFree=1820456/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=18044 CPUtime=0.29
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 3427 0 0 0 28 1 0 0 21 0 1 0 34217343 18477056 3348 1992294400 4194304 9819077 140737279837728 18446744073709551615 8605972 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 4511 3348 388 1374 0 3132 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18044

[startup+0.702024 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 3617
/proc/meminfo: memFree=1820456/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=26200 CPUtime=0.69
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 5466 0 0 0 67 2 0 0 22 0 1 0 34217343 26828800 5387 1992294400 4194304 9819077 140737279837728 18446744073709551615 5651209 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 6550 5387 388 1374 0 5171 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26200

[startup+1.50117 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 3618
/proc/meminfo: memFree=1794904/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=46848 CPUtime=1.49
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 11047 0 0 0 144 5 0 0 25 0 1 0 34217343 47972352 10614 1992294400 4194304 9819077 140737279837728 18446744073709551615 8857127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 11712 10614 427 1374 0 10333 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46848

[startup+3.10148 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 3618
/proc/meminfo: memFree=1651932/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=184052 CPUtime=3.08
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 51268 0 0 0 285 23 0 0 25 0 1 0 34217343 188469248 42867 1992294400 4194304 9819077 140737279837728 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3617/statm: 46013 42867 530 1374 0 44634 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 184052

[startup+6.30106 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 3618
/proc/meminfo: memFree=1649328/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=185616 CPUtime=6.29
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 51699 0 0 0 605 24 0 0 25 0 1 0 34217343 190070784 43281 1992294400 4194304 9819077 140737279837728 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 46404 43281 513 1374 0 45025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 185616

[startup+12.7012 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 3618
/proc/meminfo: memFree=1604316/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=241024 CPUtime=12.68
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 74193 0 0 0 1235 33 0 0 25 0 1 0 34217343 246808576 54425 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 60256 54425 635 1374 0 58877 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 241024

[startup+25.5016 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 3618
/proc/meminfo: memFree=1598736/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=260648 CPUtime=25.47
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 116740 0 0 0 2490 57 0 0 25 0 1 0 34217343 266903552 55934 1992294400 4194304 9819077 140737279837728 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65162 55934 674 1374 0 63783 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 260648

[startup+51.1013 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 3620
/proc/meminfo: memFree=1588940/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=286624 CPUtime=51.05
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 173134 0 0 0 5022 83 0 0 25 0 1 0 34217343 293502976 58436 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 71656 58436 674 1374 0 70277 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 286624

[startup+102.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3620
/proc/meminfo: memFree=1588940/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=286384 CPUtime=102.24
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 282001 0 0 0 10086 138 0 0 25 0 1 0 34217343 293257216 58717 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 71596 58717 687 1374 0 70217 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 286384

[startup+162.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 3622
/proc/meminfo: memFree=1585096/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=310076 CPUtime=162.21
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 510155 0 0 0 15985 236 0 0 25 0 1 0 34217343 317517824 59439 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 77519 59439 696 1374 0 76140 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 310076

[startup+222.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 3624
/proc/meminfo: memFree=1587824/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=314316 CPUtime=222.18
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 829420 0 0 0 21848 370 0 0 25 0 1 0 34217343 321859584 58932 1992294400 4194304 9819077 140737279837728 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 78579 58932 698 1374 0 77200 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 314316

[startup+282.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 3626
/proc/meminfo: memFree=1595264/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=260960 CPUtime=282.16
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 1071427 0 0 0 27738 478 0 0 25 0 1 0 34217343 267223040 56726 1992294400 4194304 9819077 140737279837728 18446744073709551615 7220452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65240 56726 698 1374 0 63861 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 260960

[startup+342.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 3628
/proc/meminfo: memFree=1586964/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=309900 CPUtime=342.14
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 1479922 0 0 0 33566 648 0 0 25 0 1 0 34217343 317337600 58756 1992294400 4194304 9819077 140737279837728 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 77475 58756 698 1374 0 76096 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 309900

[startup+402.3 s]
/proc/loadavg: 1.01 1.02 1.00 3/107 3628
/proc/meminfo: memFree=1592296/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=284536 CPUtime=402.12
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 1785687 0 0 0 39432 780 0 0 25 0 1 0 34217343 291364864 57605 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 71134 57605 698 1374 0 69755 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 284536

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 3630
/proc/meminfo: memFree=1592420/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=284924 CPUtime=462.09
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 2249845 0 0 0 45230 979 0 0 25 0 1 0 34217343 291762176 57651 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 71231 57651 698 1374 0 69852 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 284924

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3632
/proc/meminfo: memFree=1595272/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=252108 CPUtime=522.07
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 2687118 0 0 0 51037 1170 0 0 25 0 1 0 34217343 258158592 56605 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 63027 56605 703 1374 0 61648 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 252108

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3634
/proc/meminfo: memFree=1594528/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=253216 CPUtime=582.03
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 3111577 0 0 0 56851 1352 0 0 25 0 1 0 34217343 259293184 56928 1992294400 4194304 9819077 140737279837728 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 63304 56928 703 1374 0 61925 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 253216

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3636
/proc/meminfo: memFree=1592296/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=255316 CPUtime=642.02
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 3685472 0 0 0 62610 1592 0 0 25 0 1 0 34217343 261443584 57427 1992294400 4194304 9819077 140737279837728 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 63829 57427 703 1374 0 62450 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 255316

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3644
/proc/meminfo: memFree=1587956/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=269328 CPUtime=1001.88
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 5498498 0 0 0 97789 2399 0 0 25 0 1 0 34217343 275791872 58603 1992294400 4194304 9819077 140737279837728 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 67332 58603 704 1374 0 65953 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 269328

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3646
/proc/meminfo: memFree=1587708/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=260284 CPUtime=1061.85
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 5730213 0 0 0 103676 2509 0 0 25 0 1 0 34217343 266530816 58111 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65071 58111 704 1374 0 63692 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 260284

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3648
/proc/meminfo: memFree=1589072/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=258684 CPUtime=1121.83
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 5936652 0 0 0 109575 2608 0 0 25 0 1 0 34217343 264892416 58322 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 64671 58322 704 1374 0 63292 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 258684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3650
/proc/meminfo: memFree=1588948/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=262656 CPUtime=1181.8
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 6178174 0 0 0 115458 2722 0 0 25 0 1 0 34217343 268959744 58282 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65664 58282 704 1374 0 64285 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 262656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3652
/proc/meminfo: memFree=1588452/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=258276 CPUtime=1241.78
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 6408290 0 0 0 121344 2834 0 0 25 0 1 0 34217343 264474624 58068 1992294400 4194304 9819077 140737279837728 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 64569 58068 704 1374 0 63190 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 258276

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3652
/proc/meminfo: memFree=1588948/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=260672 CPUtime=1301.76
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 6640394 0 0 0 127230 2946 0 0 25 0 1 0 34217343 266928128 58004 1992294400 4194304 9819077 140737279837728 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65168 58004 704 1374 0 63789 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 260672

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3654
/proc/meminfo: memFree=1589444/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=257888 CPUtime=1361.74
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 6860282 0 0 0 133125 3049 0 0 25 0 1 0 34217343 264077312 57911 1992294400 4194304 9819077 140737279837728 18446744073709551615 6192366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 64472 57911 704 1374 0 63093 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 257888

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3656
/proc/meminfo: memFree=1587212/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=258416 CPUtime=1421.71
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 7070349 0 0 0 139019 3152 0 0 25 0 1 0 34217343 264617984 58159 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 64604 58159 704 1374 0 63225 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 258416

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3658
/proc/meminfo: memFree=1587336/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=260100 CPUtime=1481.68
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 7274931 0 0 0 144914 3254 0 0 25 0 1 0 34217343 266342400 58211 1992294400 4194304 9819077 140737279837728 18446744073709551615 7293527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65025 58211 704 1374 0 63646 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 260100

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3660
/proc/meminfo: memFree=1587832/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=262504 CPUtime=1541.66
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 7515041 0 0 0 150801 3365 0 0 25 0 1 0 34217343 268804096 58281 1992294400 4194304 9819077 140737279837728 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65626 58281 704 1374 0 64247 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 262504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3660
/proc/meminfo: memFree=1586964/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=261616 CPUtime=1601.64
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 7762344 0 0 0 156685 3479 0 0 25 0 1 0 34217343 267894784 58431 1992294400 4194304 9819077 140737279837728 18446744073709551615 7306231 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65404 58437 704 1374 0 64025 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 261616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3662
/proc/meminfo: memFree=1586096/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=261700 CPUtime=1661.61
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8062380 0 0 0 162545 3616 0 0 25 0 1 0 34217343 267980800 58580 1992294400 4194304 9819077 140737279837728 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65425 58586 704 1374 0 64046 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 261700

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 3664
/proc/meminfo: memFree=1587088/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=259220 CPUtime=1721.58
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8352556 0 0 0 168407 3751 0 0 25 0 1 0 34217343 265441280 58196 1992294400 4194304 9819077 140737279837728 18446744073709551615 7291721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 64805 58196 704 1374 0 63426 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 259220

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 3666
/proc/meminfo: memFree=1587212/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=262340 CPUtime=1781.56
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8662012 0 0 0 174265 3891 0 0 25 0 1 0 34217343 268636160 58469 1992294400 4194304 9819077 140737279837728 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 65585 58469 704 1374 0 64206 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 262340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 3666
/proc/meminfo: memFree=1587088/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=259560 CPUtime=1800.06
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8760504 0 0 0 176070 3936 0 0 25 0 1 0 34217343 265789440 58394 1992294400 4194304 9819077 140737279837728 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 64890 58394 704 1374 0 63511 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 259560

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

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 3666
/proc/meminfo: memFree=1587088/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=270196 CPUtime=1800.66
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8763781 0 0 0 176128 3938 0 0 25 0 1 0 34217343 276680704 58707 1992294400 4194304 9819077 140737279837728 18446744073709551615 6667822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3617/statm: 67549 58707 704 1374 0 66170 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 270196

[startup+1801.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 3666
/proc/meminfo: memFree=1587088/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=257180 CPUtime=1800.86
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8763803 0 0 0 176148 3938 0 0 25 0 1 0 34217343 263352320 55457 1992294400 4194304 9819077 140737279837728 18446744073709551615 5950417 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 64295 55457 708 1374 0 62916 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 257180

[startup+1801.7 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 3667
/proc/meminfo: memFree=1718644/2059040 swapFree=4140328/4192956
[pid=3617] ppid=3615 vsize=67288 CPUtime=1800.96
/proc/3617/stat : 3617 (pbscip.linux.x8) R 3615 3617 3049 0 -1 4202496 8763805 0 0 0 176156 3940 0 0 25 0 1 0 34217343 68902912 15800 1992294400 4194304 9819077 140737279837728 18446744073709551615 8494951 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3617/statm: 16822 15800 710 1374 0 15443 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 67288

Child status: 0
Real time (s): 1801.74
CPU time (s): 1801
CPU user time (s): 1761.59
CPU system time (s): 39.413
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 325228

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

runsolver used 2.98555 second user time and 8.50371 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-15 09:15:39
IDJOB=2665464
IDBENCH=2633
IDSOLVER=1168
FILE ID=node007/2665464-1276586138
PBS_JOBID= 11173533
Free space on /tmp= 62480 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/golomb-rulers/normalized-OGR_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-2665464-1276586138/watcher-2665464-1276586138 -o /tmp/evaluation-result-2665464-1276586138/solver-2665464-1276586138 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665464-1276586138.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67
RANDOM SEED=1737947451

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:       1820860 kB
Buffers:         23008 kB
Cached:         123096 kB
SwapCached:       6060 kB
Active:         104252 kB
Inactive:        54816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820860 kB
SwapTotal:     4192956 kB
SwapFree:      4140328 kB
Dirty:           12320 kB
Writeback:          36 kB
AnonPages:       11336 kB
Mapped:          13092 kB
Slab:            57264 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182336 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= 62476 MiB
End job on node007 at 2010-06-15 09:45:42