Trace number 2664209

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.83 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
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 constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664209-1276588121.opb>
0.19/0.29	c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.19/0.29	c problem read
0.19/0.29	c presolving settings loaded
0.19/0.29	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.38	c presolving:
0.39/0.49	c (round 1) 0 del vars, 2366 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
1.59/1.64	c    (1.3s) probing: 113/2470 (4.6%) - 0 fixings, 0 aggregations, 745 implications, 0 bound changes
1.59/1.64	c    (1.3s) probing aborted: 100/100 successive totally useless probings
1.59/1.64	c presolving (2 rounds):
1.59/1.64	c  0 deleted vars, 2366 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.64	c  4888 implications, 0 cliques
1.59/1.64	c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
1.59/1.64	c      12 constraints of type <knapsack>
1.59/1.64	c    2366 constraints of type <linear>
1.59/1.64	c transformed objective value is always integral (scale: 1)
1.59/1.64	c Presolving Time: 1.26
1.59/1.64	c - non default parameters ----------------------------------------------------------------------
1.59/1.64	c # SCIP version 1.2.1.2
1.59/1.64	c 
1.59/1.64	c # frequency for displaying node information lines
1.59/1.64	c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.64	c display/freq = 10000
1.59/1.64	c 
1.59/1.64	c # maximal time in seconds to run
1.59/1.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.64	c limits/time = 1799.71
1.59/1.64	c 
1.59/1.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.64	c limits/memory = 1620
1.59/1.64	c 
1.59/1.64	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.59/1.64	c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.64	c lp/solvefreq = -1
1.59/1.64	c 
1.59/1.64	c # should presolving try to simplify inequalities
1.59/1.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64	c constraints/linear/simplifyinequalities = TRUE
1.59/1.64	c 
1.59/1.64	c # should presolving try to simplify knapsacks
1.59/1.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64	c constraints/knapsack/simplifyinequalities = TRUE
1.59/1.64	c 
1.59/1.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.59/1.64	c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.64	c separating/rapidlearning/freq = 0
1.59/1.64	c 
1.59/1.64	c -----------------------------------------------------------------------------------------------
1.59/1.64	c start solving
1.59/1.65	c 
1.59/1.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.59/1.65	c   1.3s|     1 |     2 |     0 |     - |  15M|   0 |   - |2470 |2378 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
142.26/142.39	c   142s| 10000 |  6943 |     0 |   0.0 |  39M|2393 |   - |2470 |4130 |   0 |   0 |   0 |4982 |   0 | 0.000000e+00 |      --      |    Inf 
347.31/347.42	c   346s| 20000 |  7999 |     0 |   0.0 |  68M|2393 |   - |2470 |2984 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
462.57/462.75	c   461s| 30000 | 14043 |     0 |   0.0 | 100M|2393 |   - |2470 |3073 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
582.23/582.48	c   580s| 40000 | 20294 |     0 |   0.0 | 139M|2393 |   - |2470 |3090 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
680.61/680.84	c   678s| 50000 | 26605 |     0 |   0.0 | 168M|2393 |   - |2470 |3598 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
781.08/781.31	c   779s| 60000 | 32116 |     0 |   0.0 | 192M|2393 |   - |2470 |3823 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
878.96/879.22	c   876s| 70000 | 37238 |     0 |   0.0 | 214M|2393 |   - |2470 |3904 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
982.63/982.91	c   979s| 80000 | 42154 |     0 |   0.0 | 235M|2393 |   - |2470 |4009 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
1085.00/1085.34	c  1082s| 90000 | 47687 |     0 |   0.0 | 260M|2393 |   - |2470 |3562 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1182.88/1183.24	c  1179s|100000 | 53852 |     0 |   0.0 | 290M|2393 |   - |2470 |3580 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1298.75/1299.17	c  1295s|110000 | 59504 |     0 |   0.0 | 327M|2393 |   - |2470 |3619 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
1393.81/1394.28	c  1389s|120000 | 65840 |     0 |   0.0 | 352M|2393 |   - |2470 |3635 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1483.40/1483.83	c  1479s|130000 | 71853 |     0 |   0.0 | 375M|2393 |   - |2470 |3971 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
1571.17/1571.64	c  1566s|140000 | 77506 |     0 |   0.0 | 396M|2393 |   - |2470 |4282 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
1659.85/1660.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1659.85/1660.30	c  1654s|150000 | 83078 |     0 |   0.0 | 416M|2393 |   - |2470 |4464 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
1750.23/1750.72	c  1744s|160000 | 88558 |     0 |   0.0 | 437M|2393 |   - |2470 |4436 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51	c 
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time (sec) : 1794.06
1800.02/1800.51	c Solving Nodes      : 165641
1800.02/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.51	c Gap                : infinite
1800.02/1800.51	s UNKNOWN
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time       :    1794.06
1800.02/1800.51	c Original Problem   :
1800.02/1800.51	c   Problem name     : HOME/instance-2664209-1276588121.opb
1800.02/1800.51	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51	c   Constraints      : 4744 initial, 4744 maximal
1800.02/1800.51	c Presolved Problem  :
1800.02/1800.51	c   Problem name     : t_HOME/instance-2664209-1276588121.opb
1800.02/1800.51	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51	c   Constraints      : 2378 initial, 4728 maximal
1800.02/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.51	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   probing          :       1.10          0          0          0          0          0          0          0          0
1800.02/1800.51	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   linear           :       0.13          0          0          0          0          0       2366          0          0
1800.02/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.51	c   knapsack         :         12          0     438423          0     138677       3066     189540          0          0          0
1800.02/1800.51	c   linear           :       2366          0     435357          0     138677      36399   10620895          0          0          0
1800.02/1800.51	c   logicor          :          0+         0     202107          0          0       1516      81390          0          0          0
1800.02/1800.51	c   countsols        :          0          0          0          0     138677          0          0          0          0          0
1800.02/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.51	c   knapsack         :      44.62       0.00      44.05       0.00       0.57
1800.02/1800.51	c   linear           :    1294.03       0.00    1293.38       0.00       0.65
1800.02/1800.51	c   logicor          :      34.26       0.00      34.26       0.00       0.00
1800.02/1800.51	c   countsols        :       0.10       0.00       0.00       0.00       0.10
1800.02/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.51	c   vbounds          :       0.29          2          0          0
1800.02/1800.51	c   rootredcost      :       0.33          0          0          0
1800.02/1800.51	c   pseudoobj        :       1.03     438187          0          0
1800.02/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.51	c   propagation      :       6.13      40981      40763     342951       37.4       1131       28.7          -
1800.02/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.51	c   applied globally :          -          -          -      97535       34.0          -          -          -
1800.02/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.51	c Pricers            :       Time      Calls       Vars
1800.02/1800.51	c   problem variables:       0.00          0          0
1800.02/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   inference        :     119.99     138677          0          0          0          0     277354
1800.02/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.51	c   LP solutions     :       0.00          -          0
1800.02/1800.51	c   pseudo solutions :       0.00          -          0
1800.02/1800.51	c   oneopt           :       0.16          0          0
1800.02/1800.51	c   trivial          :       0.00          2          0
1800.02/1800.51	c   simplerounding   :       0.00          0          0
1800.02/1800.51	c   zirounding       :       0.00          0          0
1800.02/1800.51	c   rounding         :       0.00          0          0
1800.02/1800.51	c   shifting         :       0.00          0          0
1800.02/1800.51	c   intshifting      :       0.00          0          0
1800.02/1800.51	c   twoopt           :       0.00          0          0
1800.02/1800.51	c   fixandinfer      :       0.00          0          0
1800.02/1800.51	c   feaspump         :       0.00          0          0
1800.02/1800.51	c   coefdiving       :       0.00          0          0
1800.02/1800.51	c   pscostdiving     :       0.00          0          0
1800.02/1800.51	c   fracdiving       :       0.00          0          0
1800.02/1800.51	c   veclendiving     :       0.00          0          0
1800.02/1800.51	c   intdiving        :       0.00          0          0
1800.02/1800.51	c   actconsdiving    :       0.00          0          0
1800.02/1800.51	c   objpscostdiving  :       0.00          0          0
1800.02/1800.51	c   rootsoldiving    :       0.00          0          0
1800.02/1800.51	c   linesearchdiving :       0.00          0          0
1800.02/1800.51	c   guideddiving     :       0.00          0          0
1800.02/1800.51	c   octane           :       0.00          0          0
1800.02/1800.51	c   rens             :       0.00          0          0
1800.02/1800.51	c   rins             :       0.00          0          0
1800.02/1800.51	c   localbranching   :       0.00          0          0
1800.02/1800.51	c   mutation         :       0.00          0          0
1800.02/1800.51	c   crossover        :       0.00          0          0
1800.02/1800.51	c   dins             :       0.00          0          0
1800.02/1800.51	c   undercover       :       0.00          0          0
1800.02/1800.51	c   nlp              :       0.17          0          0
1800.02/1800.51	c   trysol           :       0.08          0          0
1800.02/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.51	c B&B Tree           :
1800.02/1800.51	c   number of runs   :          1
1800.02/1800.51	c   nodes            :     165641
1800.02/1800.51	c   nodes (total)    :     165641
1800.02/1800.51	c   nodes left       :      91537
1800.02/1800.51	c   max depth        :       2393
1800.02/1800.51	c   max depth (total):       2393
1800.02/1800.51	c   backtracks       :      15591 (9.4%)
1800.02/1800.51	c   delayed cutoffs  :      20177
1800.02/1800.51	c   repropagations   :      51134 (1464377 domain reductions, 14017 cutoffs)
1800.02/1800.51	c   avg switch length:       5.37
1800.02/1800.51	c   switching time   :     282.38
1800.02/1800.51	c Solution           :
1800.02/1800.51	c   Solutions found  :          0 (0 improvements)
1800.02/1800.51	c   Primal Bound     :          -
1800.02/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.51	c   Gap              :   infinite
1800.02/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.51	c   Root Iterations  :          0
1800.82/1801.30	c Time complete: 1800.82.

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-2664209-1276588121/watcher-2664209-1276588121 -o /tmp/evaluation-result-2664209-1276588121/solver-2664209-1276588121 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664209-1276588121.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.53 0.14 0.04 3/107 2413
/proc/meminfo: memFree=1802344/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=6584 CPUtime=0
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 1006 0 0 0 0 0 0 0 18 0 1 0 104538 6742016 929 1992294400 4194304 7136930 140734223376064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 1646 939 254 719 0 925 0

[startup+0.0463081 s]
/proc/loadavg: 0.53 0.14 0.04 3/107 2413
/proc/meminfo: memFree=1802344/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=8916 CPUtime=0.04
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 1702 0 0 0 4 0 0 0 18 0 1 0 104538 9129984 1625 1992294400 4194304 7136930 140734223376064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 2229 1625 271 719 0 1508 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8916

[startup+0.101312 s]
/proc/loadavg: 0.53 0.14 0.04 3/107 2413
/proc/meminfo: memFree=1802344/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=10200 CPUtime=0.09
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 2030 0 0 0 9 0 0 0 18 0 1 0 104538 10444800 1953 1992294400 4194304 7136930 140734223376064 18446744073709551615 6163972 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 2550 1953 271 719 0 1829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10200

[startup+0.300332 s]
/proc/loadavg: 0.53 0.14 0.04 3/107 2413
/proc/meminfo: memFree=1802344/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=17264 CPUtime=0.29
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 4090 0 0 0 28 1 0 0 18 0 1 0 104538 17678336 3660 1992294400 4194304 7136930 140734223376064 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 4316 3671 282 719 0 3595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17264

[startup+0.700369 s]
/proc/loadavg: 0.53 0.14 0.04 3/107 2413
/proc/meminfo: memFree=1802344/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=52612 CPUtime=0.69
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 13367 0 0 0 64 5 0 0 18 0 1 0 104538 53874688 12165 1992294400 4194304 7136930 140734223376064 18446744073709551615 4977999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 13153 12165 366 719 0 12432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52612

[startup+1.50144 s]
/proc/loadavg: 0.53 0.14 0.04 2/108 2414
/proc/meminfo: memFree=1754348/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=53136 CPUtime=1.49
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 13496 0 0 0 144 5 0 0 19 0 1 0 104538 54411264 12294 1992294400 4194304 7136930 140734223376064 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 13284 12294 366 719 0 12563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53136

[startup+3.10159 s]
/proc/loadavg: 0.53 0.14 0.04 2/108 2414
/proc/meminfo: memFree=1752860/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=55560 CPUtime=3.09
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 14132 0 0 0 301 8 0 0 23 0 1 0 104538 56893440 12930 1992294400 4194304 7136930 140734223376064 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 13890 12930 394 719 0 13169 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55560

[startup+6.30189 s]
/proc/loadavg: 0.57 0.15 0.05 2/108 2414
/proc/meminfo: memFree=1751000/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=56796 CPUtime=6.29
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 14436 0 0 0 620 9 0 0 25 0 1 0 104538 58159104 13234 1992294400 4194304 7136930 140734223376064 18446744073709551615 4981612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 14199 13234 394 719 0 13478 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56796

[startup+12.7015 s]
/proc/loadavg: 0.60 0.17 0.05 2/108 2414
/proc/meminfo: memFree=1748908/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=58604 CPUtime=12.69
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 14866 0 0 0 1258 11 0 0 25 0 1 0 104538 60010496 13664 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 14651 13664 394 719 0 13930 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58604

[startup+25.5006 s]
/proc/loadavg: 0.69 0.21 0.07 2/108 2416
/proc/meminfo: memFree=1744816/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=62960 CPUtime=25.48
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 15861 0 0 0 2534 14 0 0 25 0 1 0 104538 64471040 14659 1992294400 4194304 7136930 140734223376064 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 15740 14659 394 719 0 15019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62960

[startup+51.1007 s]
/proc/loadavg: 0.79 0.27 0.09 2/108 2416
/proc/meminfo: memFree=1736384/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=72220 CPUtime=51.08
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 18000 0 0 0 5087 21 0 0 25 0 1 0 104538 73953280 16798 1992294400 4194304 7136930 140734223376064 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 18055 16798 394 719 0 17334 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72220

[startup+102.308 s]
/proc/loadavg: 0.91 0.38 0.14 2/108 2418
/proc/meminfo: memFree=1724480/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=85508 CPUtime=102.27
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 20893 0 0 0 10196 31 0 0 25 0 1 0 104538 87560192 19691 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 21377 19691 394 719 0 20656 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85508

[startup+162.3 s]
/proc/loadavg: 0.96 0.49 0.19 2/108 2418
/proc/meminfo: memFree=1714064/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=97292 CPUtime=162.25
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 23476 0 0 0 16180 45 0 0 25 0 1 0 104538 99627008 22274 1992294400 4194304 7136930 140734223376064 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 24323 22274 394 719 0 23602 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97292

[startup+222.301 s]
/proc/loadavg: 0.98 0.58 0.24 2/108 2420
/proc/meminfo: memFree=1704764/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=107528 CPUtime=222.24
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 25771 0 0 0 22162 62 0 0 25 0 1 0 104538 110108672 24569 1992294400 4194304 7136930 140734223376064 18446744073709551615 4983294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 26882 24569 394 719 0 26161 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 107528

[startup+282.301 s]
/proc/loadavg: 0.99 0.65 0.28 2/108 2422
/proc/meminfo: memFree=1693852/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=119872 CPUtime=282.23
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 28539 0 0 0 28150 73 0 0 25 0 1 0 104538 122748928 27337 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 29968 27337 394 719 0 29247 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 119872

[startup+342.301 s]
/proc/loadavg: 0.99 0.71 0.32 2/108 2424
/proc/meminfo: memFree=1680708/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=135336 CPUtime=342.21
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 31767 0 0 0 34133 88 0 0 25 0 1 0 104538 138584064 30565 1992294400 4194304 7136930 140734223376064 18446744073709551615 4947796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 33834 30565 394 719 0 33113 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 135336

[startup+402.301 s]
/proc/loadavg: 0.99 0.76 0.36 2/108 2426
/proc/meminfo: memFree=1664092/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=154256 CPUtime=402.19
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 35960 0 0 0 40115 104 0 0 25 0 1 0 104538 157958144 34758 1992294400 4194304 7136930 140734223376064 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 38564 34758 394 719 0 37843 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 154256

[startup+462.301 s]
/proc/loadavg: 0.99 0.80 0.40 2/108 2426
/proc/meminfo: memFree=1643632/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=177192 CPUtime=462.17
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 41009 0 0 0 46097 120 0 0 25 0 1 0 104538 181444608 39807 1992294400 4194304 7136930 140734223376064 18446744073709551615 4979733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 44298 39807 394 719 0 43577 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 177192

[startup+522.301 s]
/proc/loadavg: 0.99 0.84 0.43 2/108 2428
/proc/meminfo: memFree=1622304/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=202748 CPUtime=522.15
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 46510 0 0 0 52077 138 0 0 25 0 1 0 104538 207613952 45308 1992294400 4194304 7136930 140734223376064 18446744073709551615 4923914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 50687 45308 394 719 0 49966 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 202748

[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.47 2/108 2430
/proc/meminfo: memFree=1599984/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=227916 CPUtime=582.13
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 51952 0 0 0 58056 157 0 0 25 0 1 0 104538 233385984 50750 1992294400 4194304 7136930 140734223376064 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 56979 50750 394 719 0 56258 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 227916

[startup+642.301 s]
/proc/loadavg: 0.99 0.89 0.50 2/108 2432
/proc/meminfo: memFree=1577540/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=253368 CPUtime=642.13
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 57485 0 0 0 64034 179 0 0 25 0 1 0 104538 259448832 56283 1992294400 4194304 7136930 140734223376064 18446744073709551615 4978306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 63342 56283 394 719 0 62621 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 253368

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.67 3/108 2451
/proc/meminfo: memFree=1457580/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=386492 CPUtime=1062.01
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 87173 0 0 0 105888 313 0 0 25 0 1 0 104538 395767808 85971 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 96623 85971 394 719 0 95902 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 386492

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.69 2/108 2453
/proc/meminfo: memFree=1438732/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=406940 CPUtime=1121.99
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 91883 0 0 0 111867 332 0 0 25 0 1 0 104538 416706560 90681 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 101735 90681 394 719 0 101014 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 406940

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.71 2/108 2455
/proc/meminfo: memFree=1416660/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=432452 CPUtime=1181.98
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 97360 0 0 0 117846 352 0 0 25 0 1 0 104538 442830848 96158 1992294400 4194304 7136930 140734223376064 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 108113 96158 394 719 0 107392 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 432452

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/108 2457
/proc/meminfo: memFree=1394836/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=456848 CPUtime=1241.96
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 102798 0 0 0 123821 375 0 0 25 0 1 0 104538 467812352 101596 1992294400 4194304 7136930 140734223376064 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 114212 101596 394 719 0 113491 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 456848

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/108 2459
/proc/meminfo: memFree=1371400/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=485064 CPUtime=1301.95
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 108607 0 0 0 129805 390 0 0 25 0 1 0 104538 496705536 107405 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 121266 107405 394 719 0 120545 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 485064

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/108 2459
/proc/meminfo: memFree=1354288/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=504176 CPUtime=1361.92
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 112881 0 0 0 135784 408 0 0 25 0 1 0 104538 516276224 111679 1992294400 4194304 7136930 140734223376064 18446744073709551615 4979757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 126044 111679 394 719 0 125323 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 504176

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.76 2/108 2461
/proc/meminfo: memFree=1338044/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=523960 CPUtime=1421.91
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 117029 0 0 0 141761 430 0 0 25 0 1 0 104538 536535040 115827 1992294400 4194304 7136930 140734223376064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 130990 115827 394 719 0 130269 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 523960

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/108 2463
/proc/meminfo: memFree=1319568/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=545260 CPUtime=1481.89
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 121533 0 0 0 147737 452 0 0 25 0 1 0 104538 558346240 120331 1992294400 4194304 7136930 140734223376064 18446744073709551615 4948245 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 136315 120331 394 719 0 135594 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 545260

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/108 2465
/proc/meminfo: memFree=1295884/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=571888 CPUtime=1541.88
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 127421 0 0 0 153715 473 0 0 25 0 1 0 104538 585613312 126219 1992294400 4194304 7136930 140734223376064 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 142972 126219 394 719 0 142251 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 571888

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/108 2467
/proc/meminfo: memFree=1284724/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=583748 CPUtime=1601.86
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 130283 0 0 0 159692 494 0 0 25 0 1 0 104538 597757952 129081 1992294400 4194304 7136930 140734223376064 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 145937 129081 394 719 0 145216 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 583748

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/108 2467
/proc/meminfo: memFree=1273936/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=594480 CPUtime=1661.85
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 132895 0 0 0 165668 517 0 0 25 0 1 0 104538 608747520 131693 1992294400 4194304 7136930 140734223376064 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 148620 131693 394 719 0 147899 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 594480

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 2469
/proc/meminfo: memFree=1254592/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=614792 CPUtime=1721.84
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 137713 0 0 0 171644 540 0 0 25 0 1 0 104538 629547008 136511 1992294400 4194304 7136930 140734223376064 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 153698 136511 394 719 0 152977 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 614792

[startup+1782.3 s]
/proc/loadavg: 1.04 0.99 0.83 2/108 2471
/proc/meminfo: memFree=1238348/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=632120 CPUtime=1781.83
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 141689 0 0 0 177620 563 0 0 25 0 1 0 104538 647290880 140487 1992294400 4194304 7136930 140734223376064 18446744073709551615 4980218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 158030 140487 394 719 0 157309 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 632120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.11 1.00 0.84 2/108 2471
/proc/meminfo: memFree=1230908/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=640668 CPUtime=1800.02
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 143558 0 0 0 179433 569 0 0 25 0 1 0 104538 656044032 142356 1992294400 4194304 7136930 140734223376064 18446744073709551615 4926007 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2413/statm: 160167 142356 394 719 0 159446 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 640668

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

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

[startup+1800.61 s]
/proc/loadavg: 1.11 1.00 0.84 2/109 2472
/proc/meminfo: memFree=1230900/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=640668 CPUtime=1800.14
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 143564 0 0 0 179444 570 0 0 25 0 1 0 104538 656044032 142362 1992294400 4194304 7136930 140734223376064 18446744073709551615 4670081 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 160167 142362 400 719 0 159446 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 640668

[startup+1801 s]
/proc/loadavg: 1.11 1.00 0.84 2/109 2472
/proc/meminfo: memFree=1230900/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=640668 CPUtime=1800.53
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 143564 0 0 0 179483 570 0 0 25 0 1 0 104538 656044032 142362 1992294400 4194304 7136930 140734223376064 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 160167 142362 400 719 0 159446 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 640668

[startup+1801.2 s]
/proc/loadavg: 1.11 1.00 0.84 2/109 2472
/proc/meminfo: memFree=1230900/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=637200 CPUtime=1800.73
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 143572 0 0 0 179503 570 0 0 25 0 1 0 104538 652492800 141504 1992294400 4194304 7136930 140734223376064 18446744073709551615 4383992 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 159300 141504 400 719 0 158579 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 637200

[startup+1801.3 s]
/proc/loadavg: 1.11 1.00 0.84 2/109 2472
/proc/meminfo: memFree=1230900/2059040 swapFree=4192956/4192956
[pid=2413] ppid=2411 vsize=52348 CPUtime=1800.82
/proc/2413/stat : 2413 (pbscip.linux.x8) R 2411 2413 2331 0 -1 4202496 143574 0 0 0 179506 576 0 0 25 0 1 0 104538 53604352 6535 1992294400 4194304 7136930 140734223376064 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2413/statm: 13087 6457 402 719 0 12366 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 52348

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.83
CPU user time (s): 1795.07
CPU system time (s): 5.76712
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 640668

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

runsolver used 3.19951 second user time and 8.28474 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-15 09:48:41
IDJOB=2664209
IDBENCH=2640
IDSOLVER=1167
FILE ID=node043/2664209-1276588121
PBS_JOBID= 11173568
Free space on /tmp= 62076 MiB

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

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=1605058824

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802748 kB
Buffers:          8460 kB
Cached:         142928 kB
SwapCached:          0 kB
Active:          48844 kB
Inactive:       161736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802748 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4336 kB
Writeback:           0 kB
AnonPages:       59252 kB
Mapped:          15348 kB
Slab:            23832 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181872 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= 62072 MiB
End job on node043 at 2010-06-15 10:18:44