Trace number 2665549

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.38 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUM642c38c9f16ba47e1145e44f5259b53a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark268
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262
Optimality of the best value was proved NO
Number of variables7089
Total number of constraints13888
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 constraints13888
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 2621
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-2665549-1276587696.opb>
0.89/0.93	c original problem has 7089 variables (7089 bin, 0 int, 0 impl, 0 cont) and 13888 constraints
0.89/0.93	c problem read
0.89/0.93	c presolving settings loaded
1.19/1.24	c presolving:
1.48/1.57	c (round 1) 0 del vars, 6936 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16 upgd conss, 0 impls, 0 clqs
5.68/5.73	c    (4.7s) probing: 118/7089 (1.7%) - 0 fixings, 0 aggregations, 1663 implications, 0 bound changes
5.68/5.73	c    (4.7s) probing aborted: 100/100 successive totally useless probings
5.68/5.73	c presolving (2 rounds):
5.68/5.73	c  0 deleted vars, 6936 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.68/5.73	c  14144 implications, 0 cliques
5.68/5.73	c presolved problem has 7089 variables (7089 bin, 0 int, 0 impl, 0 cont) and 6952 constraints
5.68/5.73	c      16 constraints of type <knapsack>
5.68/5.73	c    6936 constraints of type <linear>
5.68/5.73	c transformed objective value is always integral (scale: 1)
5.68/5.73	c Presolving Time: 4.50
5.68/5.73	c - non default parameters ----------------------------------------------------------------------
5.68/5.73	c # SCIP version 1.2.1.2
5.68/5.73	c 
5.68/5.73	c # frequency for displaying node information lines
5.68/5.73	c # [type: int, range: [-1,2147483647], default: 100]
5.68/5.73	c display/freq = 10000
5.68/5.73	c 
5.68/5.73	c # maximal time in seconds to run
5.68/5.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.68/5.73	c limits/time = 1799.07
5.68/5.73	c 
5.68/5.73	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.68/5.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.68/5.73	c limits/memory = 1620
5.68/5.73	c 
5.68/5.73	c # should presolving try to simplify inequalities
5.68/5.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.68/5.73	c constraints/linear/simplifyinequalities = TRUE
5.68/5.73	c 
5.68/5.73	c # should presolving try to simplify knapsacks
5.68/5.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.68/5.73	c constraints/knapsack/simplifyinequalities = TRUE
5.68/5.73	c 
5.68/5.73	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.68/5.73	c # [type: int, range: [-1,2147483647], default: -1]
5.68/5.73	c separating/rapidlearning/freq = 0
5.68/5.73	c 
5.68/5.73	c -----------------------------------------------------------------------------------------------
5.68/5.73	c start solving
5.68/5.74	c 
8.08/8.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.08/8.12	c   7.0s|     1 |     0 |  6448 |     - |  64M|   0 |4008 |7089 |6952 |7089 |6952 |   0 |   0 |   0 | 1.600000e+01 |      --      |    Inf 
12.38/12.48	c  11.2s|     1 |     0 |  6491 |     - |  65M|   0 |4030 |7089 |6952 |7089 |7012 |  60 |   0 |   0 | 1.600000e+01 |      --      |    Inf 
14.19/14.30	c  13.0s|     1 |     0 |  6732 |     - |  66M|   0 |4025 |7089 |6952 |7089 |7072 | 120 |   0 |   0 | 1.600000e+01 |      --      |    Inf 
16.08/16.10	c  14.8s|     1 |     0 |  6954 |     - |  66M|   0 |4034 |7089 |6952 |7089 |7122 | 170 |   0 |   0 | 1.600000e+01 |      --      |    Inf 
18.97/19.04	c  17.6s|     1 |     0 |  7394 |     - |  67M|   0 |4042 |7089 |6952 |7089 |7176 | 224 |   0 |   0 | 1.600011e+01 |      --      |    Inf 
26.18/26.20	c  24.8s|     1 |     0 | 10935 |     - |  67M|   0 |4044 |7089 |6952 |7089 |7238 | 286 |   0 |   0 | 1.602128e+01 |      --      |    Inf 
32.68/32.72	c  31.2s|     1 |     0 | 13445 |     - |  68M|   0 |4048 |7089 |6952 |7089 |7307 | 355 |   0 |   0 | 1.650000e+01 |      --      |    Inf 
37.98/38.04	c  36.5s|     1 |     0 | 14400 |     - |  68M|   0 |4045 |7089 |6952 |7089 |7364 | 412 |   0 |   0 | 1.650000e+01 |      --      |    Inf 
44.37/44.41	c  42.8s|     1 |     0 | 16448 |     - |  69M|   0 |4046 |7089 |6952 |7089 |7419 | 467 |   0 |   0 | 1.650000e+01 |      --      |    Inf 
54.98/55.05	c  53.3s|     1 |     0 | 20765 |     - |  69M|   0 |4040 |7089 |6952 |7089 |7488 | 536 |   0 |   0 | 1.650000e+01 |      --      |    Inf 
64.57/64.68	c  62.8s|     1 |     0 | 23245 |     - |  70M|   0 |4040 |7089 |6952 |7089 |7539 | 587 |   0 |   0 | 1.650000e+01 |      --      |    Inf 
70.27/70.40	c  68.5s|     1 |     0 | 25360 |     - |  70M|   0 |4033 |7089 |6952 |7089 |7522 | 626 |   0 |   0 | 1.650000e+01 |      --      |    Inf 
170.23/170.33	c   167s|     1 |     2 | 25360 |     - |  70M|   0 |4033 |7089 |6952 |7089 |7522 | 626 |   0 |  60 | 1.650000e+01 |      --      |    Inf 
1800.00/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.75	c 
1800.10/1800.75	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.75	c Solving Time (sec) : 1773.04
1800.10/1800.75	c Solving Nodes      : 1040
1800.10/1800.75	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.10/1800.75	c Dual Bound         : +3.10000000000000e+01
1800.10/1800.75	c Gap                : infinite
1800.10/1800.75	s UNKNOWN
1800.10/1800.75	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.75	c Solving Time       :    1773.04
1800.10/1800.75	c Original Problem   :
1800.10/1800.75	c   Problem name     : HOME/instance-2665549-1276587696.opb
1800.10/1800.75	c   Variables        : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.75	c   Constraints      : 13888 initial, 13888 maximal
1800.10/1800.75	c Presolved Problem  :
1800.10/1800.75	c   Problem name     : t_HOME/instance-2665549-1276587696.opb
1800.10/1800.75	c   Variables        : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.75	c   Constraints      : 6952 initial, 11969 maximal
1800.10/1800.75	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.75	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.75	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.75	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.75	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.75	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.75	c   probing          :       4.03          0          0          0          0          0          0          0          0
1800.10/1800.75	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.75	c   linear           :       0.37          0          0          0          0          0       6936          0          0
1800.10/1800.75	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.75	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.75	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.75	c   integral         :          0          0          0       1006          0          0        163          0          0       1898
1800.10/1800.75	c   knapsack         :         16         11      15662          0          0         14        987        263          0          0
1800.10/1800.75	c   linear           :       6936         11      15648          0          0         82      19531          2          0          0
1800.10/1800.75	c   logicor          :          0+         0       7725          0          0          3        665          0          0          0
1800.10/1800.75	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.75	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.75	c   integral         :     461.46       0.00       0.00     461.46       0.00
1800.10/1800.75	c   knapsack         :       1.85       0.00       1.85       0.00       0.00
1800.10/1800.75	c   linear           :      67.68       0.01      67.67       0.00       0.00
1800.10/1800.75	c   logicor          :       0.20       0.00       0.20       0.00       0.00
1800.10/1800.75	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.75	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.75	c   vbounds          :       0.00          2          0          0
1800.10/1800.75	c   rootredcost      :       0.03          0          0          0
1800.10/1800.75	c   pseudoobj        :       0.07      15416          0          0
1800.10/1800.75	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.75	c   propagation      :       0.02         99         99        506       25.7          2       14.0          -
1800.10/1800.75	c   infeasible LP    :      13.82       4667       4667       4815       10.6         12        9.2          0
1800.10/1800.75	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.75	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.75	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.75	c   applied globally :          -          -          -       5017       11.2          -          -          -
1800.10/1800.75	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.10/1800.75	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.75	c   cut pool         :       0.02         10          -          -       7844          -    (maximal pool size: 6273)
1800.10/1800.75	c   redcost          :       0.95       1014          0          0          0          0
1800.10/1800.75	c   impliedbounds    :       0.01         11          0          0         24          0
1800.10/1800.75	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.75	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.75	c   gomory           :       0.78         11          0          0         46          0
1800.10/1800.75	c   strongcg         :       0.78         11          0          0         16          0
1800.10/1800.75	c   cmir             :       7.91         10          0          0       5000          0
1800.10/1800.75	c   flowcover        :      10.08         10          0          0       2000          0
1800.10/1800.75	c   clique           :       0.02          1          0          0          0          0
1800.10/1800.75	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.75	c   mcf              :       0.00          1          0          0          0          0
1800.10/1800.75	c   rapidlearning    :       2.78          1          0          0          0          0
1800.10/1800.75	c Pricers            :       Time      Calls       Vars
1800.10/1800.75	c   problem variables:       0.00          0          0
1800.10/1800.75	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.75	c   relpscost        :     461.44       1006          0        163          0          0       1898
1800.10/1800.75	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.75	c   inference        :       0.00          0          0          0          0          0          0
1800.10/1800.75	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.75	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.75	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.75	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.75	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.75	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.75	c   LP solutions     :       0.00          -          0
1800.10/1800.75	c   pseudo solutions :       0.00          -          0
1800.10/1800.75	c   oneopt           :       0.01          0          0
1800.10/1800.75	c   crossover        :       0.00          0          0
1800.10/1800.75	c   fracdiving       :     135.05          1          0
1800.10/1800.75	c   veclendiving     :      39.98          6          0
1800.10/1800.75	c   linesearchdiving :      52.30         18          0
1800.10/1800.75	c   trivial          :       0.03          2          0
1800.10/1800.75	c   simplerounding   :       0.00          0          0
1800.10/1800.75	c   zirounding       :       0.99        949          0
1800.10/1800.75	c   rounding         :       2.49        401          0
1800.10/1800.75	c   shifting         :      11.84        103          0
1800.10/1800.75	c   intshifting      :       0.00          0          0
1800.10/1800.75	c   twoopt           :       0.00          0          0
1800.10/1800.75	c   fixandinfer      :       0.00          0          0
1800.10/1800.75	c   feaspump         :      11.84         25          0
1800.10/1800.75	c   coefdiving       :     560.45          2          0
1800.10/1800.75	c   pscostdiving     :      43.77         13          0
1800.10/1800.75	c   intdiving        :       0.00          0          0
1800.10/1800.75	c   actconsdiving    :       0.00          0          0
1800.10/1800.75	c   objpscostdiving  :       6.98          6          0
1800.10/1800.75	c   rootsoldiving    :      11.64          2          0
1800.10/1800.75	c   guideddiving     :       0.00          0          0
1800.10/1800.75	c   octane           :       0.00          0          0
1800.10/1800.75	c   rens             :       0.02          0          0
1800.10/1800.75	c   rins             :       0.00          0          0
1800.10/1800.75	c   localbranching   :       0.00          0          0
1800.10/1800.75	c   mutation         :       0.00          0          0
1800.10/1800.75	c   dins             :       0.00          0          0
1800.10/1800.75	c   undercover       :       0.00          0          0
1800.10/1800.75	c   nlp              :       0.00          0          0
1800.10/1800.75	c   trysol           :       0.00          0          0
1800.10/1800.75	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.75	c   primal LP        :       0.14          0          0       0.00       0.00
1800.10/1800.75	c   dual LP          :     379.74       1088     425161     390.77    1119.61
1800.10/1800.75	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.75	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.75	c   diving/probing LP:     762.61       8687     811226      93.38    1063.75
1800.10/1800.75	c   strong branching :     459.85       1391     369332     265.52     803.16
1800.10/1800.75	c     (at root node) :          -         60      53762     896.03          -
1800.10/1800.75	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.75	c B&B Tree           :
1800.10/1800.75	c   number of runs   :          1
1800.10/1800.75	c   nodes            :       1040
1800.10/1800.75	c   nodes (total)    :       1040
1800.10/1800.75	c   nodes left       :        858
1800.10/1800.75	c   max depth        :         42
1800.10/1800.75	c   max depth (total):         42
1800.10/1800.75	c   backtracks       :        170 (16.3%)
1800.10/1800.75	c   delayed cutoffs  :          1
1800.10/1800.75	c   repropagations   :        554 (366 domain reductions, 0 cutoffs)
1800.10/1800.75	c   avg switch length:       4.86
1800.10/1800.75	c   switching time   :       1.81
1800.10/1800.75	c Solution           :
1800.10/1800.75	c   Solutions found  :          0 (0 improvements)
1800.10/1800.75	c   Primal Bound     :          -
1800.10/1800.75	c   Dual Bound       : +3.10000000000000e+01
1800.10/1800.75	c   Gap              :   infinite
1800.10/1800.75	c   Root Dual Bound  : +1.65000000000000e+01
1800.10/1800.75	c   Root Iterations  :      25360
1800.29/1800.97	c Time complete: 1800.37.

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-2665549-1276587696/watcher-2665549-1276587696 -o /tmp/evaluation-result-2665549-1276587696/solver-2665549-1276587696 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665549-1276587696.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.01 1.09 3/106 2404
/proc/meminfo: memFree=1724716/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=9288 CPUtime=0
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1227 0 0 0 0 0 0 0 20 0 1 0 34371041 9510912 1147 1992294400 4194304 9819077 140734650252976 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2404/statm: 2322 1156 371 1374 0 943 0

[startup+0.042629 s]
/proc/loadavg: 1.00 1.01 1.09 3/106 2404
/proc/meminfo: memFree=1724716/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=11356 CPUtime=0.03
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1761 0 0 0 3 0 0 0 20 0 1 0 34371041 11628544 1681 1992294400 4194304 9819077 140734650252976 18446744073709551615 8652402 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2404/statm: 2839 1681 388 1374 0 1460 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11356

[startup+0.100638 s]
/proc/loadavg: 1.00 1.01 1.09 3/106 2404
/proc/meminfo: memFree=1724716/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=12880 CPUtime=0.09
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 2139 0 0 0 9 0 0 0 20 0 1 0 34371041 13189120 2059 1992294400 4194304 9819077 140734650252976 18446744073709551615 8667787 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2404/statm: 3220 2059 388 1374 0 1841 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12880

[startup+0.300673 s]
/proc/loadavg: 1.00 1.01 1.09 3/106 2404
/proc/meminfo: memFree=1724716/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=18040 CPUtime=0.29
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 3427 0 0 0 28 1 0 0 20 0 1 0 34371041 18472960 3347 1992294400 4194304 9819077 140734650252976 18446744073709551615 8082247 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2404/statm: 4510 3347 388 1374 0 3131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18040

[startup+0.700754 s]
/proc/loadavg: 1.00 1.01 1.09 3/106 2404
/proc/meminfo: memFree=1724716/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=26196 CPUtime=0.68
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5466 0 0 0 66 2 0 0 21 0 1 0 34371041 26824704 5386 1992294400 4194304 9819077 140734650252976 18446744073709551615 8654899 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2404/statm: 6549 5386 388 1374 0 5170 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26196

[startup+1.50088 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 2405
/proc/meminfo: memFree=1680936/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=129576 CPUtime=1.48
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 32685 0 0 0 134 14 0 0 23 0 1 0 34371041 132685824 29904 1992294400 4194304 9819077 140734650252976 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 32394 29904 481 1374 0 31015 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 129576

[startup+3.10115 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 2405
/proc/meminfo: memFree=1605916/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=130700 CPUtime=3.08
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 33890 0 0 0 292 16 0 0 25 0 1 0 34371041 133836800 30242 1992294400 4194304 9819077 140734650252976 18446744073709551615 4947564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 32675 30242 511 1374 0 31296 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 130700

[startup+6.3007 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 2405
/proc/meminfo: memFree=1604924/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=163972 CPUtime=6.29
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 42347 0 0 0 610 19 0 0 25 0 1 0 34371041 167907328 37489 1992294400 4194304 9819077 140734650252976 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 40993 37489 635 1374 0 39614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 163972

[startup+12.7018 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 2405
/proc/meminfo: memFree=1499648/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=176724 CPUtime=12.68
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 79643 0 0 0 1228 40 0 0 25 0 1 0 34371041 180965376 39619 1992294400 4194304 9819077 140734650252976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 44181 39619 692 1374 0 42802 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 176724

[startup+25.501 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 2405
/proc/meminfo: memFree=1564252/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=192352 CPUtime=25.48
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 98415 0 0 0 2496 52 0 0 25 0 1 0 34371041 196968448 41315 1992294400 4194304 9819077 140734650252976 18446744073709551615 7293496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 48088 41315 692 1374 0 46709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 192352

[startup+51.1014 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 2407
/proc/meminfo: memFree=1555820/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=202756 CPUtime=51.07
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 143908 0 0 0 5030 77 0 0 25 0 1 0 34371041 207622144 42677 1992294400 4194304 9819077 140734650252976 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 50689 42677 692 1374 0 49310 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 202756

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 2407
/proc/meminfo: memFree=1557060/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=218324 CPUtime=102.26
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 302253 0 0 0 10070 156 0 0 25 0 1 0 34371041 223563776 42394 1992294400 4194304 9819077 140734650252976 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 54581 42394 702 1374 0 53202 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 218324

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 2409
/proc/meminfo: memFree=1559168/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=216400 CPUtime=162.24
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 525967 0 0 0 15957 267 0 0 25 0 1 0 34371041 221593600 41909 1992294400 4194304 9819077 140734650252976 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 54100 41909 702 1374 0 52721 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 216400

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2411
/proc/meminfo: memFree=1560284/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=202084 CPUtime=222.21
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 732075 0 0 0 21859 362 0 0 25 0 1 0 34371041 206934016 41542 1992294400 4194304 9819077 140734650252976 18446744073709551615 7289236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 50521 41542 702 1374 0 49142 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 202084

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2413
/proc/meminfo: memFree=1560780/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=202004 CPUtime=282.19
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 965449 0 0 0 27750 469 0 0 25 0 1 0 34371041 206852096 41514 1992294400 4194304 9819077 140734650252976 18446744073709551615 7298596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 50501 41514 702 1374 0 49122 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 202004

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 2413
/proc/meminfo: memFree=1562516/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=182456 CPUtime=342.18
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1198556 0 0 0 33638 580 0 0 25 0 1 0 34371041 186834944 40869 1992294400 4194304 9819077 140734650252976 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 45614 40869 707 1374 0 44235 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 182456

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 2415
/proc/meminfo: memFree=1562392/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=176112 CPUtime=402.15
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1302856 0 0 0 39573 642 0 0 25 0 1 0 34371041 180338688 40879 1992294400 4194304 9819077 140734650252976 18446744073709551615 7263420 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 44028 40879 707 1374 0 42649 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 176112

[startup+462.301 s]
/proc/loadavg: 1.08 1.02 1.05 2/107 2417
/proc/meminfo: memFree=1558548/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=183248 CPUtime=462.13
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1370013 0 0 0 45520 693 0 0 25 0 1 0 34371041 187645952 41972 1992294400 4194304 9819077 140734650252976 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 45812 41972 707 1374 0 44433 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 183248

[startup+522.3 s]
/proc/loadavg: 1.10 1.03 1.05 2/107 2419
/proc/meminfo: memFree=1554208/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=186996 CPUtime=522.11
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1457407 0 0 0 51461 750 0 0 25 0 1 0 34371041 191483904 42947 1992294400 4194304 9819077 140734650252976 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46749 42947 707 1374 0 45370 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 186996

[startup+582.302 s]
/proc/loadavg: 1.10 1.04 1.05 2/107 2421
/proc/meminfo: memFree=1551108/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=189744 CPUtime=582.1
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1518672 0 0 0 57418 792 0 0 25 0 1 0 34371041 194297856 43710 1992294400 4194304 9819077 140734650252976 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 47436 43710 708 1374 0 46057 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 189744

[startup+642.301 s]
/proc/loadavg: 1.10 1.04 1.04 2/107 2421
/proc/meminfo: memFree=1559044/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=184748 CPUtime=642.08
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 1637966 0 0 0 63353 855 0 0 25 0 1 0 34371041 189181952 41803 1992294400 4194304 9819077 140734650252976 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46187 41803 708 1374 0 44808 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 184748

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 2429
/proc/meminfo: memFree=1555944/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=191604 CPUtime=941.98
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 2547288 0 0 0 92905 1293 0 0 25 0 1 0 34371041 196202496 42472 1992294400 4194304 9819077 140734650252976 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 47901 42472 708 1374 0 46522 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 191604

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 2431
/proc/meminfo: memFree=1555944/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=191132 CPUtime=1001.96
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 2782566 0 0 0 98800 1396 0 0 25 0 1 0 34371041 195719168 42477 1992294400 4194304 9819077 140734650252976 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 47783 42477 708 1374 0 46404 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 191132

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 2433
/proc/meminfo: memFree=1555820/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=200248 CPUtime=1061.94
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 3058570 0 0 0 104676 1518 0 0 25 0 1 0 34371041 205053952 42726 1992294400 4194304 9819077 140734650252976 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 50062 42726 708 1374 0 48683 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 200248

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2435
/proc/meminfo: memFree=1555076/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=187004 CPUtime=1121.92
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 3286494 0 0 0 110570 1622 0 0 25 0 1 0 34371041 191492096 42357 1992294400 4194304 9819077 140734650252976 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46751 42357 708 1374 0 45372 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 187004

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2446
/proc/meminfo: memFree=1554456/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=190144 CPUtime=1181.89
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 3498073 0 0 0 116471 1718 0 0 25 0 1 0 34371041 194707456 42437 1992294400 4194304 9819077 140734650252976 18446744073709551615 4947088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 47536 42437 708 1374 0 46157 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 190144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2446
/proc/meminfo: memFree=1555944/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=186300 CPUtime=1241.86
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 3690294 0 0 0 122378 1808 0 0 25 0 1 0 34371041 190771200 42374 1992294400 4194304 9819077 140734650252976 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46575 42374 708 1374 0 45196 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 186300

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2448
/proc/meminfo: memFree=1550736/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=218992 CPUtime=1301.85
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 3884103 0 0 0 128282 1903 0 0 25 0 1 0 34371041 224247808 43635 1992294400 4194304 9819077 140734650252976 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 54748 43635 708 1374 0 53369 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 218992

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2450
/proc/meminfo: memFree=1554704/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=196488 CPUtime=1361.83
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 4049138 0 0 0 134198 1985 0 0 25 0 1 0 34371041 201203712 42753 1992294400 4194304 9819077 140734650252976 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 49122 42753 723 1374 0 47743 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 196488

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2452
/proc/meminfo: memFree=1554084/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=203620 CPUtime=1421.82
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 4246168 0 0 0 140105 2077 0 0 25 0 1 0 34371041 208506880 42719 1992294400 4194304 9819077 140734650252976 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 50109 42673 723 1374 0 48730 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 203620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2454
/proc/meminfo: memFree=1555448/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=190172 CPUtime=1481.79
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 4469574 0 0 0 145998 2181 0 0 25 0 1 0 34371041 194736128 42538 1992294400 4194304 9819077 140734650252976 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 47543 42538 723 1374 0 46164 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 190172

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2454
/proc/meminfo: memFree=1554828/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=187952 CPUtime=1541.77
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 4656190 0 0 0 151909 2268 0 0 25 0 1 0 34371041 192462848 42782 1992294400 4194304 9819077 140734650252976 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46988 42782 723 1374 0 45609 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 187952

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2456
/proc/meminfo: memFree=1554828/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=184924 CPUtime=1601.76
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 4832259 0 0 0 157822 2354 0 0 25 0 1 0 34371041 189362176 42594 1992294400 4194304 9819077 140734650252976 18446744073709551615 7234276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46231 42594 723 1374 0 44852 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 184924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2458
/proc/meminfo: memFree=1554456/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=186944 CPUtime=1661.73
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5004363 0 0 0 163732 2441 0 0 25 0 1 0 34371041 191430656 42723 1992294400 4194304 9819077 140734650252976 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 46736 42723 723 1374 0 45357 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 186944

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2460
/proc/meminfo: memFree=1552596/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=189240 CPUtime=1721.72
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5162713 0 0 0 169649 2523 0 0 25 0 1 0 34371041 193781760 43119 1992294400 4194304 9819077 140734650252976 18446744073709551615 6361872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 47310 43119 723 1374 0 45931 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 189240

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2462
/proc/meminfo: memFree=1550612/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=192312 CPUtime=1781.69
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5288475 0 0 0 175579 2590 0 0 25 0 1 0 34371041 196927488 43889 1992294400 4194304 9819077 140734650252976 18446744073709551615 6364953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 48078 43889 723 1374 0 46699 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 192312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2462
/proc/meminfo: memFree=1552720/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=204120 CPUtime=1800
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5350424 0 0 0 177380 2620 0 0 25 0 1 0 34371041 209018880 43028 1992294400 4194304 9819077 140734650252976 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2404/statm: 51030 43028 723 1374 0 49651 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 204120

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2462
/proc/meminfo: memFree=1552720/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=187268 CPUtime=1800.19
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5351388 0 0 0 177399 2620 0 0 25 0 1 0 34371041 191762432 41773 1992294400 4194304 9819077 140734650252976 18446744073709551615 6027618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2404/statm: 46817 41773 726 1374 0 45438 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 187268

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2462
/proc/meminfo: memFree=1552720/2059040 swapFree=4136088/4192956
[pid=2404] ppid=2402 vsize=179784 CPUtime=1800.29
/proc/2404/stat : 2404 (pbscip.linux.x8) R 2402 2404 1500 0 -1 4202496 5351388 0 0 0 177409 2620 0 0 25 0 1 0 34371041 184098816 39902 1992294400 4194304 9819077 140734650252976 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2404/statm: 44946 39902 726 1374 0 43567 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 179784

Child status: 0
Real time (s): 1800.98
CPU time (s): 1800.38
CPU user time (s): 1774.15
CPU system time (s): 26.225
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 248028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.15
system time used= 26.225
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5351392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 21588

runsolver used 2.88956 second user time and 8.59769 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-15 09:41:37
IDJOB=2665549
IDBENCH=2635
IDSOLVER=1168
FILE ID=node014/2665549-1276587696
PBS_JOBID= 11173531
Free space on /tmp= 62568 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_17.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-2665549-1276587696/watcher-2665549-1276587696 -o /tmp/evaluation-result-2665549-1276587696/solver-2665549-1276587696 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665549-1276587696.opb -t 1800 -m 1800

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

MD5SUM BENCH= 642c38c9f16ba47e1145e44f5259b53a
RANDOM SEED=2110255507

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1725120 kB
Buffers:         84064 kB
Cached:         157740 kB
SwapCached:      11764 kB
Active:         109116 kB
Inactive:       147920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1725120 kB
SwapTotal:     4192956 kB
SwapFree:      4136088 kB
Dirty:           10096 kB
Writeback:           0 kB
AnonPages:       12388 kB
Mapped:           9380 kB
Slab:            54960 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183248 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= 62560 MiB
End job on node014 at 2010-06-15 10:11:39