Trace number 2665433

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.14 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUMfad56081e554a0467e4020315c4dfc76
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
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-2665433-1276468498.opb>
0.19/0.21	c original problem has 4000 variables (4000 bin, 0 int, 0 impl, 0 cont) and 10500 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
0.19/0.29	c presolving:
0.29/0.34	c (round 1) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3990 impls, 0 clqs
0.39/0.46	c (round 2) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10437 upgd conss, 3990 impls, 0 clqs
0.39/0.49	c (round 3) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10495 upgd conss, 3990 impls, 0 clqs
0.49/0.57	c    (0.3s) probing: 101/3995 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.57	c presolving (4 rounds):
0.49/0.57	c  5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57	c  3990 implications, 0 cliques
0.49/0.57	c presolved problem has 3995 variables (3995 bin, 0 int, 0 impl, 0 cont) and 10495 constraints
0.49/0.57	c   10495 constraints of type <logicor>
0.49/0.57	c transformed objective value is always integral (scale: 1)
0.49/0.57	c Presolving Time: 0.26
0.49/0.57	c - non default parameters ----------------------------------------------------------------------
0.49/0.57	c # SCIP version 1.2.1.2
0.49/0.57	c 
0.49/0.57	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.57	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57	c conflict/interconss = 0
0.49/0.57	c 
0.49/0.57	c # should binary conflicts be preferred?
0.49/0.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57	c conflict/preferbinary = TRUE
0.49/0.57	c 
0.49/0.57	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.57	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.57	c constraints/agelimit = 1
0.49/0.57	c 
0.49/0.57	c # should enforcement of pseudo solution be disabled?
0.49/0.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57	c constraints/disableenfops = TRUE
0.49/0.57	c 
0.49/0.57	c # frequency for displaying node information lines
0.49/0.57	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57	c display/freq = 10000
0.49/0.57	c 
0.49/0.57	c # maximal time in seconds to run
0.49/0.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57	c limits/time = 1799.79
0.49/0.57	c 
0.49/0.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57	c limits/memory = 1620
0.49/0.57	c 
0.49/0.57	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.57	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.57	c lp/solvefreq = 0
0.49/0.57	c 
0.49/0.57	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.49/0.57	c # [type: char, range: {lafpsqd}, default: l]
0.49/0.57	c lp/pricing = a
0.49/0.57	c 
0.49/0.57	c # should presolving try to simplify inequalities
0.49/0.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57	c constraints/linear/simplifyinequalities = TRUE
0.49/0.57	c 
0.49/0.57	c # should presolving try to simplify knapsacks
0.49/0.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57	c 
0.49/0.57	c # priority of node selection rule <dfs> in standard mode
0.49/0.57	c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.57	c nodeselection/dfs/stdpriority = 1000000
0.49/0.57	c 
0.49/0.57	c -----------------------------------------------------------------------------------------------
0.49/0.57	c start solving
0.49/0.58	c 
295.62/295.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
295.62/295.79	c   294s|     1 |     0 | 41954 |     - |  22M|   0 |3930 |3995 |  10k|3995 |  10k|   0 |   0 |   0 | 1.331000e+03 |      --      |    Inf 
431.69/431.84	c   429s|     1 |     2 | 41954 |     - |  22M|   0 |3930 |3995 |  10k|3995 |  10k|   0 |   0 |  17 | 1.331000e+03 |      --      |    Inf 
568.56/568.72	c   564s| 10000 |   155 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |6388 |  17 | 1.331099e+03 |      --      |    Inf 
708.61/708.84	c   702s| 20000 |   151 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  13k|  17 | 1.331099e+03 |      --      |    Inf 
853.29/853.54	c   845s| 30000 |   148 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  19k|  17 | 1.331099e+03 |      --      |    Inf 
995.34/995.63	c   985s| 40000 |   152 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  26k|  17 | 1.331099e+03 |      --      |    Inf 
1139.21/1139.53	c  1127s| 50000 |   155 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  33k|  17 | 1.331099e+03 |      --      |    Inf 
1286.07/1286.43	c  1272s| 60000 |   147 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  39k|  17 | 1.331099e+03 |      --      |    Inf 
1431.03/1431.43	c  1415s| 70000 |   147 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  46k|  17 | 1.331099e+03 |      --      |    Inf 
1569.48/1569.93	c  1552s| 80000 |   146 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  53k|  17 | 1.331099e+03 |      --      |    Inf 
1709.95/1710.48	c  1690s| 90000 |   148 | 41954 |   0.0 |  24M| 193 |   - |3995 |  10k|   0 |   0 |   0 |  59k|  17 | 1.331099e+03 |      --      |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1779.42
1800.03/1800.51	c Solving Nodes      : 96391
1800.03/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51	c Dual Bound         : +1.33109863282327e+03
1800.03/1800.51	c Gap                : infinite
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time       :    1779.42
1800.03/1800.51	c Original Problem   :
1800.03/1800.51	c   Problem name     : HOME/instance-2665433-1276468498.opb
1800.03/1800.51	c   Variables        : 4000 (4000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 10500 initial, 10500 maximal
1800.03/1800.51	c Presolved Problem  :
1800.03/1800.51	c   Problem name     : t_HOME/instance-2665433-1276468498.opb
1800.03/1800.51	c   Variables        : 3995 (3995 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 10495 initial, 10792 maximal
1800.03/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   dualfix          :       0.00          5          0          0          0          0          0          0          0
1800.03/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.03/1800.51	c   linear           :       0.08          0          0          0          0          0          5          0          0
1800.03/1800.51	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1800.03/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.03/1800.51	c   logicor          :      10495+         1    2736257          0          0      56329   22620619          0          0          0
1800.03/1800.51	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.51	c   integral         :     106.97       0.00       0.00     106.97       0.00
1800.03/1800.51	c   logicor          :     205.94       0.00     205.94       0.00       0.00
1800.03/1800.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.51	c   vbounds          :       1.67          2          0          0
1800.03/1800.51	c   rootredcost      :       1.35          0          0          0
1800.03/1800.51	c   pseudoobj        :     908.87    2823654          0          0
1800.03/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.51	c   propagation      :      30.82      56329      56329      56329      105.9       7747       31.9          -
1800.03/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.51	c   applied globally :          -          -          -      64076       97.0          -          -          -
1800.03/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.51	c   redcost          :       0.01          1          0          0          0          0
1800.03/1800.51	c   impliedbounds    :       0.00          1          0          0          0          0
1800.03/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.51	c   gomory           :      13.67          1          0          0          0          0
1800.03/1800.51	c   strongcg         :      13.73          1          0          0          0          0
1800.03/1800.51	c   cmir             :       0.13          1          0          0          0          0
1800.03/1800.51	c   flowcover        :       0.11          1          0          0          0          0
1800.03/1800.51	c   clique           :       0.01          1          0          0          0          0
1800.03/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.51	c   mcf              :       0.02          1          0          0          0          0
1800.03/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.51	c Pricers            :       Time      Calls       Vars
1800.03/1800.51	c   problem variables:       0.00          0          0
1800.03/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   relpscost        :     106.97          1          0          0          0          0          2
1800.03/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   inference        :     109.59      63243          0          0          0          0     126486
1800.03/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.51	c   LP solutions     :       0.00          -          0
1800.03/1800.51	c   pseudo solutions :       0.00          -          0
1800.03/1800.51	c   oneopt           :       0.10          0          0
1800.03/1800.51	c   crossover        :       0.00          0          0
1800.03/1800.51	c   trivial          :       0.02          2          0
1800.03/1800.51	c   simplerounding   :       0.00          0          0
1800.03/1800.51	c   zirounding       :       0.00          1          0
1800.03/1800.51	c   rounding         :       0.01          1          0
1800.03/1800.51	c   shifting         :       0.06          1          0
1800.03/1800.51	c   intshifting      :       0.00          0          0
1800.03/1800.51	c   twoopt           :       0.00          0          0
1800.03/1800.51	c   fixandinfer      :       0.00          0          0
1800.03/1800.51	c   feaspump         :       0.45          1          0
1800.03/1800.51	c   coefdiving       :       0.00          0          0
1800.03/1800.51	c   pscostdiving     :       0.00          0          0
1800.03/1800.51	c   fracdiving       :       0.00          0          0
1800.03/1800.51	c   veclendiving     :       0.00          0          0
1800.03/1800.51	c   intdiving        :       0.00          0          0
1800.03/1800.51	c   actconsdiving    :       0.00          0          0
1800.03/1800.51	c   objpscostdiving  :       0.00          0          0
1800.03/1800.51	c   rootsoldiving    :       0.00          0          0
1800.03/1800.51	c   linesearchdiving :       0.00          0          0
1800.03/1800.51	c   guideddiving     :       0.00          0          0
1800.03/1800.51	c   octane           :       0.00          0          0
1800.03/1800.51	c   rens             :       0.01          0          0
1800.03/1800.51	c   rins             :       0.00          0          0
1800.03/1800.51	c   localbranching   :       0.00          0          0
1800.03/1800.51	c   mutation         :       0.00          0          0
1800.03/1800.51	c   dins             :       0.00          0          0
1800.03/1800.51	c   undercover       :       0.00          0          0
1800.03/1800.51	c   nlp              :       0.10          0          0
1800.03/1800.51	c   trysol           :       0.04          0          0
1800.03/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.51	c   dual LP          :     293.21          1      41954   41954.00     143.09
1800.03/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.51	c   diving/probing LP:       0.36          0          0       0.00       0.00
1800.03/1800.51	c   strong branching :     106.96         17      16501     970.65     154.27
1800.03/1800.51	c     (at root node) :          -         17      16501     970.65          -
1800.03/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.51	c B&B Tree           :
1800.03/1800.51	c   number of runs   :          1
1800.03/1800.51	c   nodes            :      96391
1800.03/1800.51	c   nodes (total)    :      96391
1800.03/1800.51	c   nodes left       :        143
1800.03/1800.51	c   max depth        :        193
1800.03/1800.51	c   max depth (total):        193
1800.03/1800.51	c   backtracks       :      24400 (25.3%)
1800.03/1800.51	c   delayed cutoffs  :      29955
1800.03/1800.51	c   repropagations   :      97293 (9512529 domain reductions, 23182 cutoffs)
1800.03/1800.51	c   avg switch length:       2.91
1800.03/1800.51	c   switching time   :      76.03
1800.03/1800.51	c Solution           :
1800.03/1800.51	c   Solutions found  :          0 (0 improvements)
1800.03/1800.51	c   Primal Bound     :          -
1800.03/1800.51	c   Dual Bound       : +1.33109863282327e+03
1800.03/1800.51	c   Gap              :   infinite
1800.03/1800.51	c   Root Dual Bound  : +1.33100000000000e+03
1800.03/1800.51	c   Root Iterations  :      41954
1800.03/1800.60	c Time complete: 1800.13.

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-2665433-1276468498/watcher-2665433-1276468498 -o /tmp/evaluation-result-2665433-1276468498/solver-2665433-1276468498 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665433-1276468498.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.92 0.98 0.99 3/106 25668
/proc/meminfo: memFree=1770740/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=8260 CPUtime=0
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 22453669 8458240 928 1992294400 4194304 9819077 140735878189920 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25668/statm: 2065 929 366 1374 0 686 0

[startup+0.0353671 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25668
/proc/meminfo: memFree=1770740/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=14400 CPUtime=0.02
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 2555 0 0 0 2 0 0 0 20 0 1 0 22453669 14745600 2474 1992294400 4194304 9819077 140735878189920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25668/statm: 3600 2474 388 1374 0 2221 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14400

[startup+0.101373 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25668
/proc/meminfo: memFree=1770740/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=16008 CPUtime=0.09
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 2959 0 0 0 9 0 0 0 20 0 1 0 22453669 16392192 2878 1992294400 4194304 9819077 140735878189920 18446744073709551615 8668224 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25668/statm: 4002 2878 388 1374 0 2623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16008

[startup+0.301391 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25668
/proc/meminfo: memFree=1770740/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=34616 CPUtime=0.29
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 7761 0 0 0 27 2 0 0 20 0 1 0 22453669 35446784 7326 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 8654 7326 486 1374 0 7275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34616

[startup+0.70143 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 25668
/proc/meminfo: memFree=1770740/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=56980 CPUtime=0.69
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 15259 0 0 0 60 9 0 0 21 0 1 0 22453669 58347520 11989 1992294400 4194304 9819077 140735878189920 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 14245 11997 627 1374 0 12866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56980

[startup+1.50151 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 25669
/proc/meminfo: memFree=1723860/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=60372 CPUtime=1.49
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 17102 0 0 0 138 11 0 0 23 0 1 0 22453669 61820928 12280 1992294400 4194304 9819077 140735878189920 18446744073709551615 7480984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 15093 12280 630 1374 0 13714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60372

[startup+3.10166 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 25669
/proc/meminfo: memFree=1723736/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=61316 CPUtime=3.09
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 19183 0 0 0 296 13 0 0 25 0 1 0 22453669 62787584 12341 1992294400 4194304 9819077 140735878189920 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 15329 12341 630 1374 0 13950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61316

[startup+6.30096 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 25669
/proc/meminfo: memFree=1722992/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=61660 CPUtime=6.29
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 22441 0 0 0 613 16 0 0 25 0 1 0 22453669 63139840 12570 1992294400 4194304 9819077 140735878189920 18446744073709551615 6191119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 15415 12570 630 1374 0 14036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61660

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 25669
/proc/meminfo: memFree=1722000/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=61812 CPUtime=12.69
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 27661 0 0 0 1248 21 0 0 25 0 1 0 22453669 63295488 12646 1992294400 4194304 9819077 140735878189920 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 15453 12646 630 1374 0 14074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61812

[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 25669
/proc/meminfo: memFree=1721256/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=65104 CPUtime=25.49
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 38574 0 0 0 2520 29 0 0 25 0 1 0 22453669 66666496 12934 1992294400 4194304 9819077 140735878189920 18446744073709551615 6198583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 16276 12934 630 1374 0 14897 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65104

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 25671
/proc/meminfo: memFree=1721132/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=69688 CPUtime=51.08
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 62065 0 0 0 5065 43 0 0 25 0 1 0 22453669 71360512 13235 1992294400 4194304 9819077 140735878189920 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 17422 13235 630 1374 0 16043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69688

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 25671
/proc/meminfo: memFree=1719768/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=71764 CPUtime=102.27
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 116279 0 0 0 10151 76 0 0 25 0 1 0 22453669 73486336 13318 1992294400 4194304 9819077 140735878189920 18446744073709551615 7309294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 17941 13318 630 1374 0 16562 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71764

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25673
/proc/meminfo: memFree=1716172/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=76028 CPUtime=162.25
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 178658 0 0 0 16113 112 0 0 25 0 1 0 22453669 77852672 13389 1992294400 4194304 9819077 140735878189920 18446744073709551615 7289502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 19007 13389 630 1374 0 17628 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 76028

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25675
/proc/meminfo: memFree=1717164/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=78580 CPUtime=222.23
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 243615 0 0 0 22075 148 0 0 25 0 1 0 22453669 80465920 14173 1992294400 4194304 9819077 140735878189920 18446744073709551615 6656777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 19645 14173 630 1374 0 18266 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 78580

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25677
/proc/meminfo: memFree=1714808/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=72284 CPUtime=282.22
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 311325 0 0 0 28037 185 0 0 25 0 1 0 22453669 74018816 13103 1992294400 4194304 9819077 140735878189920 18446744073709551615 7284064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 18071 13103 630 1374 0 16692 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 72284

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25679
/proc/meminfo: memFree=1711336/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=112224 CPUtime=342.2
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 355884 0 0 0 34006 214 0 0 25 0 1 0 22453669 114917376 15599 1992294400 4194304 9819077 140735878189920 18446744073709551615 6198395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28056 15599 681 1374 0 26677 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 112224

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25679
/proc/meminfo: memFree=1716420/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=112188 CPUtime=402.19
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 434582 0 0 0 39960 259 0 0 25 0 1 0 22453669 114880512 14374 1992294400 4194304 9819077 140735878189920 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28047 14374 681 1374 0 26668 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 112188

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25681
/proc/meminfo: memFree=1708236/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=94964 CPUtime=462.18
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 477907 0 0 0 45899 319 0 0 25 0 1 0 22453669 97243136 16118 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 23741 16118 687 1374 0 22362 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 94964

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25683
/proc/meminfo: memFree=1701416/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=101836 CPUtime=522.16
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 479614 0 0 0 51820 396 0 0 25 0 1 0 22453669 104280064 17825 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 25459 17825 687 1374 0 24080 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 101836

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25685
/proc/meminfo: memFree=1698936/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=104168 CPUtime=582.15
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 480196 0 0 0 57741 474 0 0 25 0 1 0 22453669 106668032 18407 1992294400 4194304 9819077 140735878189920 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 26042 18407 687 1374 0 24663 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 104168

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25687
/proc/meminfo: memFree=1697448/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=105440 CPUtime=642.14
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 480528 0 0 0 63660 554 0 0 25 0 1 0 22453669 107970560 18739 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 26360 18739 687 1374 0 24981 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 105440

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25693
/proc/meminfo: memFree=1692860/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=110072 CPUtime=882.07
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 481649 0 0 0 87342 865 0 0 25 0 1 0 22453669 112713728 19860 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 27518 19860 687 1374 0 26139 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 110072

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 25695
/proc/meminfo: memFree=1692240/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=110660 CPUtime=942.06
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 481788 0 0 0 93266 940 0 0 25 0 1 0 22453669 113315840 19999 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 27665 19999 687 1374 0 26286 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 110660

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25695
/proc/meminfo: memFree=1691868/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=110960 CPUtime=1002.04
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 481863 0 0 0 99190 1014 0 0 25 0 1 0 22453669 113623040 20074 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 27740 20074 687 1374 0 26361 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 110960

[startup+1062.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 25697
/proc/meminfo: memFree=1691620/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=111240 CPUtime=1062.02
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 481915 0 0 0 105110 1092 0 0 25 0 1 0 22453669 113909760 20126 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 27810 20126 687 1374 0 26431 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 111240

[startup+1122.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 25699
/proc/meminfo: memFree=1691248/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=111556 CPUtime=1122.01
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482016 0 0 0 111033 1168 0 0 25 0 1 0 22453669 114233344 20227 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 27889 20227 687 1374 0 26510 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 111556

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 25701
/proc/meminfo: memFree=1690752/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=111992 CPUtime=1182
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482107 0 0 0 116946 1254 0 0 25 0 1 0 22453669 114679808 20318 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 27998 20318 687 1374 0 26619 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 111992

[startup+1242.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 25703
/proc/meminfo: memFree=1690380/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=112316 CPUtime=1241.98
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482200 0 0 0 122871 1327 0 0 25 0 1 0 22453669 115011584 20411 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28079 20411 687 1374 0 26700 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 112316

[startup+1302.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 25703
/proc/meminfo: memFree=1689760/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=112764 CPUtime=1301.97
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482309 0 0 0 128790 1407 0 0 25 0 1 0 22453669 115470336 20520 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28191 20520 687 1374 0 26812 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 112764

[startup+1362.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 25705
/proc/meminfo: memFree=1689512/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=113084 CPUtime=1361.95
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482387 0 0 0 134706 1489 0 0 25 0 1 0 22453669 115798016 20598 1992294400 4194304 9819077 140735878189920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28271 20598 687 1374 0 26892 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 113084

[startup+1422.31 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 25707
/proc/meminfo: memFree=1689388/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=113380 CPUtime=1421.94
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482429 0 0 0 140631 1563 0 0 25 0 1 0 22453669 116101120 20640 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28345 20640 687 1374 0 26966 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 113380

[startup+1482.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 25709
/proc/meminfo: memFree=1689016/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=113524 CPUtime=1481.92
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482492 0 0 0 146552 1640 0 0 25 0 1 0 22453669 116248576 20703 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28381 20703 687 1374 0 27002 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 113524

[startup+1542.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 25711
/proc/meminfo: memFree=1688644/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=113836 CPUtime=1541.91
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482557 0 0 0 152471 1720 0 0 25 0 1 0 22453669 116568064 20768 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28459 20768 687 1374 0 27080 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 113836

[startup+1602.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 25720
/proc/meminfo: memFree=1687652/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=114132 CPUtime=1601.87
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482628 0 0 0 158391 1796 0 0 25 0 1 0 22453669 116871168 20839 1992294400 4194304 9819077 140735878189920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28533 20839 687 1374 0 27154 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 114132

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25722
/proc/meminfo: memFree=1687652/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=114292 CPUtime=1661.87
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482683 0 0 0 164317 1870 0 0 25 0 1 0 22453669 117035008 20894 1992294400 4194304 9819077 140735878189920 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28573 20894 687 1374 0 27194 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 114292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25724
/proc/meminfo: memFree=1687652/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=114608 CPUtime=1721.85
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482739 0 0 0 170237 1948 0 0 25 0 1 0 22453669 117358592 20950 1992294400 4194304 9819077 140735878189920 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28652 20950 687 1374 0 27273 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 114608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25726
/proc/meminfo: memFree=1687404/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=114792 CPUtime=1781.83
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482788 0 0 0 176162 2021 0 0 25 0 1 0 22453669 117547008 20999 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28698 20999 687 1374 0 27319 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 114792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25726
/proc/meminfo: memFree=1687404/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=114792 CPUtime=1800.03
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482788 0 0 0 177961 2042 0 0 25 0 1 0 22453669 117547008 20999 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28698 20999 687 1374 0 27319 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 114792

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25726
/proc/meminfo: memFree=1687404/2059040 swapFree=4140388/4192956
[pid=25668] ppid=25666 vsize=114792 CPUtime=1800.03
/proc/25668/stat : 25668 (pbscip.linux.x8) R 25666 25668 24584 0 -1 4202496 482788 0 0 0 177961 2042 0 0 25 0 1 0 22453669 117547008 20999 1992294400 4194304 9819077 140735878189920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25668/statm: 28698 20999 687 1374 0 27319 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 114792

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.14
CPU user time (s): 1779.7
CPU system time (s): 20.4359
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 114792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.7
system time used= 20.4359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482822
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= 2
involuntary context switches= 3289

runsolver used 2.81257 second user time and 8.66968 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-14 00:34:58
IDJOB=2665433
IDBENCH=2191
IDSOLVER=1168
FILE ID=node004/2665433-1276468498
PBS_JOBID= 11173363
Free space on /tmp= 62536 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-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.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-2665433-1276468498/watcher-2665433-1276468498 -o /tmp/evaluation-result-2665433-1276468498/solver-2665433-1276468498 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665433-1276468498.opb -t 1800 -m 1800

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

MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76
RANDOM SEED=684049707

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1771392 kB
Buffers:         68896 kB
Cached:         137956 kB
SwapCached:       6652 kB
Active:         101692 kB
Inactive:       118832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1771392 kB
SwapTotal:     4192956 kB
SwapFree:      4140388 kB
Dirty:            6628 kB
Writeback:           0 kB
AnonPages:       11472 kB
Mapped:          13004 kB
Slab:            45348 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181852 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= 62532 MiB
End job on node004 at 2010-06-14 01:05:01