Trace number 2664149

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.39 1801.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark336
Best CPU time to get the best result obtained on this benchmark1800.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
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: 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-2664149-1276400850.opb>
1.00/1.09	c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
1.00/1.09	c problem read
1.00/1.09	c presolving settings loaded
1.00/1.10	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
1.19/1.29	c presolving:
1.99/2.02	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
3.99/4.00	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 6660 impls, 630 clqs
19.09/19.10	c    (17.7s) probing: 1000/2700 (37.0%) - 0 fixings, 0 aggregations, 9281 implications, 0 bound changes
25.19/25.21	c    (23.8s) probing: 1721/2700 (63.7%) - 0 fixings, 0 aggregations, 15210 implications, 0 bound changes
25.19/25.21	c    (23.8s) probing aborted: 100/100 successive totally useless probings
25.19/25.21	c presolving (3 rounds):
25.19/25.21	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
25.19/25.21	c  37080 implications, 630 cliques
25.19/25.21	c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
25.19/25.21	c   21770 constraints of type <knapsack>
25.19/25.21	c     630 constraints of type <setppc>
25.19/25.21	c   20220 constraints of type <logicor>
25.19/25.21	c transformed objective value is always integral (scale: 1)
25.19/25.21	c Presolving Time: 23.62
25.19/25.21	c - non default parameters ----------------------------------------------------------------------
25.19/25.21	c # SCIP version 1.2.1.2
25.19/25.21	c 
25.19/25.21	c # frequency for displaying node information lines
25.19/25.21	c # [type: int, range: [-1,2147483647], default: 100]
25.19/25.21	c display/freq = 10000
25.19/25.21	c 
25.19/25.21	c # maximal time in seconds to run
25.19/25.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.19/25.21	c limits/time = 1798.91
25.19/25.21	c 
25.19/25.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.19/25.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.19/25.21	c limits/memory = 1620
25.19/25.21	c 
25.19/25.21	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
25.19/25.21	c # [type: int, range: [-1,2147483647], default: 1]
25.19/25.21	c lp/solvefreq = -1
25.19/25.21	c 
25.19/25.21	c # should presolving try to simplify inequalities
25.19/25.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.19/25.21	c constraints/linear/simplifyinequalities = TRUE
25.19/25.21	c 
25.19/25.21	c # should presolving try to simplify knapsacks
25.19/25.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.19/25.21	c constraints/knapsack/simplifyinequalities = TRUE
25.19/25.21	c 
25.19/25.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.19/25.21	c # [type: int, range: [-1,2147483647], default: -1]
25.19/25.21	c separating/rapidlearning/freq = 0
25.19/25.21	c 
25.19/25.21	c -----------------------------------------------------------------------------------------------
25.19/25.21	c start solving
25.19/25.22	c 
25.19/25.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.19/25.25	c  23.8s|     1 |     2 |     0 |     - |  67M|   0 |   - |2700 |  42k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
190.62/190.73	c   189s| 10000 |  9741 |     0 |   0.0 |  72M| 179 |   - |2700 |  42k|   0 |   0 |   0 | 458 |   0 | 0.000000e+00 |      --      |    Inf 
355.76/355.99	c   354s| 20000 | 19592 |     0 |   0.0 |  77M| 189 |   - |2700 |  42k|   0 |   0 |   0 |1011 |   0 | 0.000000e+00 |      --      |    Inf 
520.50/520.77	c   518s| 30000 | 29577 |     0 |   0.0 |  81M| 195 |   - |2700 |  42k|   0 |   0 |   0 |1023 |   0 | 0.000000e+00 |      --      |    Inf 
685.35/685.63	c   683s| 40000 | 39528 |     0 |   0.0 |  86M| 217 |   - |2700 |  42k|   0 |   0 |   0 |1131 |   0 | 0.000000e+00 |      --      |    Inf 
849.37/849.76	c   846s| 50000 | 49391 |     0 |   0.0 |  92M| 249 |   - |2700 |  42k|   0 |   0 |   0 |1489 |   0 | 0.000000e+00 |      --      |    Inf 
1014.40/1014.87	c  1011s| 60000 | 59350 |     0 |   0.0 |  97M| 249 |   - |2700 |  42k|   0 |   0 |   0 |1577 |   0 | 0.000000e+00 |      --      |    Inf 
1180.65/1181.13	c  1177s| 70000 | 69298 |     0 |   0.0 | 102M| 249 |   - |2700 |  42k|   0 |   0 |   0 |1724 |   0 | 0.000000e+00 |      --      |    Inf 
1346.39/1346.98	c  1343s| 80000 | 79269 |     0 |   0.0 | 107M| 249 |   - |2700 |  42k|   0 |   0 |   0 |1789 |   0 | 0.000000e+00 |      --      |    Inf 
1510.73/1511.39	c  1507s| 90000 | 89235 |     0 |   0.0 | 112M| 249 |   - |2700 |  42k|   0 |   0 |   0 |1883 |   0 | 0.000000e+00 |      --      |    Inf 
1677.97/1678.62	c  1673s|100000 | 99113 |     0 |   0.0 | 118M| 249 |   - |2700 |  43k|   0 |   0 |   0 |2317 |   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.71	c 
1800.03/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.71	c Solving Time (sec) : 1795.24
1800.03/1800.71	c Solving Nodes      : 106931
1800.03/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.71	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.71	c Gap                : infinite
1800.03/1800.71	s UNKNOWN
1800.03/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.71	c Solving Time       :    1795.24
1800.03/1800.71	c Original Problem   :
1800.03/1800.71	c   Problem name     : HOME/instance-2664149-1276400850.opb
1800.03/1800.71	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71	c   Constraints      : 42620 initial, 42620 maximal
1800.03/1800.71	c Presolved Problem  :
1800.03/1800.71	c   Problem name     : t_HOME/instance-2664149-1276400850.opb
1800.03/1800.71	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71	c   Constraints      : 42620 initial, 43412 maximal
1800.03/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.71	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.71	c   probing          :      19.51          0          0          0          0          0          0          0          0
1800.03/1800.71	c   knapsack         :       3.43          0          0          0          0          0          0      43200      64800
1800.03/1800.71	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   logicor          :       0.09          0          0          0          0          0          0          0          0
1800.03/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.71	c   knapsack         :      21770          0     155583          0     106519          1      35555          0          0          0
1800.03/1800.71	c   setppc           :        630          0     155582          0     106519        528     344182          0          0          0
1800.03/1800.71	c   logicor          :      20220+         0      48403          0     106519         46     168595          0          0          0
1800.03/1800.71	c   countsols        :          0          0          0          0     106519          0          0          0          0          0
1800.03/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.71	c   knapsack         :     362.35       0.00     316.32       0.00      46.03
1800.03/1800.71	c   setppc           :      61.67       0.00      12.73       0.00      48.94
1800.03/1800.71	c   logicor          :    1188.96       0.00       5.73       0.00    1183.23
1800.03/1800.71	c   countsols        :       0.13       0.00       0.00       0.00       0.13
1800.03/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.71	c   vbounds          :       0.16          2          0          0
1800.03/1800.71	c   rootredcost      :       0.23          0          0          0
1800.03/1800.71	c   pseudoobj        :      15.86     150599          0          0
1800.03/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.71	c   propagation      :       0.11        575        575       5361       40.5         26       21.4          -
1800.03/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.71	c   applied globally :          -          -          -       3211       35.5          -          -          -
1800.03/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.71	c Pricers            :       Time      Calls       Vars
1800.03/1800.71	c   problem variables:       0.00          0          0
1800.03/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   inference        :     127.67     106519          0          0          0          0     213038
1800.03/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.71	c   LP solutions     :       0.00          -          0
1800.03/1800.71	c   pseudo solutions :       0.00          -          0
1800.03/1800.71	c   oneopt           :       0.08          0          0
1800.03/1800.71	c   trivial          :       0.02          2          0
1800.03/1800.71	c   simplerounding   :       0.00          0          0
1800.03/1800.71	c   zirounding       :       0.00          0          0
1800.03/1800.71	c   rounding         :       0.00          0          0
1800.03/1800.71	c   shifting         :       0.00          0          0
1800.03/1800.71	c   intshifting      :       0.00          0          0
1800.03/1800.71	c   twoopt           :       0.00          0          0
1800.03/1800.71	c   fixandinfer      :       0.00          0          0
1800.03/1800.71	c   feaspump         :       0.00          0          0
1800.03/1800.71	c   coefdiving       :       0.00          0          0
1800.03/1800.71	c   pscostdiving     :       0.00          0          0
1800.03/1800.71	c   fracdiving       :       0.00          0          0
1800.03/1800.71	c   veclendiving     :       0.00          0          0
1800.03/1800.71	c   intdiving        :       0.00          0          0
1800.03/1800.71	c   actconsdiving    :       0.00          0          0
1800.03/1800.71	c   objpscostdiving  :       0.00          0          0
1800.03/1800.71	c   rootsoldiving    :       0.00          0          0
1800.03/1800.71	c   linesearchdiving :       0.00          0          0
1800.03/1800.71	c   guideddiving     :       0.00          0          0
1800.03/1800.71	c   octane           :       0.00          0          0
1800.03/1800.71	c   rens             :       0.00          0          0
1800.03/1800.71	c   rins             :       0.00          0          0
1800.03/1800.71	c   localbranching   :       0.00          0          0
1800.03/1800.71	c   mutation         :       0.00          0          0
1800.03/1800.71	c   crossover        :       0.00          0          0
1800.03/1800.71	c   dins             :       0.00          0          0
1800.03/1800.71	c   undercover       :       0.00          0          0
1800.03/1800.71	c   nlp              :       0.12          0          0
1800.03/1800.71	c   trysol           :       0.05          0          0
1800.03/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.71	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.71	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.71	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.71	c B&B Tree           :
1800.03/1800.71	c   number of runs   :          1
1800.03/1800.71	c   nodes            :     106931
1800.03/1800.71	c   nodes (total)    :     106931
1800.03/1800.71	c   nodes left       :     105727
1800.03/1800.71	c   max depth        :        249
1800.03/1800.71	c   max depth (total):        249
1800.03/1800.71	c   backtracks       :        806 (0.8%)
1800.03/1800.71	c   delayed cutoffs  :        381
1800.03/1800.71	c   repropagations   :       1362 (11361 domain reductions, 163 cutoffs)
1800.03/1800.71	c   avg switch length:       2.40
1800.03/1800.71	c   switching time   :      20.69
1800.03/1800.71	c Solution           :
1800.03/1800.71	c   Solutions found  :          0 (0 improvements)
1800.03/1800.71	c   Primal Bound     :          -
1800.03/1800.71	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.71	c   Gap              :   infinite
1800.03/1800.71	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.71	c   Root Iterations  :          0
1800.32/1801.06	c Time complete: 1800.37.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664149-1276400850/watcher-2664149-1276400850 -o /tmp/evaluation-result-2664149-1276400850/solver-2664149-1276400850 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664149-1276400850.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.99 0.98 0.99 3/106 21681
/proc/meminfo: memFree=1789272/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=6584 CPUtime=0
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 962 0 0 0 0 0 0 0 18 0 1 0 15686366 6742016 885 1992294400 4194304 7136930 140736077779280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21681/statm: 1646 895 254 719 0 925 0

[startup+0.093826 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 21681
/proc/meminfo: memFree=1789272/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=12344 CPUtime=0.08
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 2568 0 0 0 8 0 0 0 20 0 1 0 15686366 12640256 2491 1992294400 4194304 7136930 140736077779280 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21681/statm: 3086 2491 271 719 0 2365 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12344

[startup+0.101827 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 21681
/proc/meminfo: memFree=1789272/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=12344 CPUtime=0.09
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 2584 0 0 0 9 0 0 0 20 0 1 0 15686366 12640256 2507 1992294400 4194304 7136930 140736077779280 18446744073709551615 4433316 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21681/statm: 3086 2507 271 719 0 2365 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12344

[startup+0.301861 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 21681
/proc/meminfo: memFree=1789272/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=16620 CPUtime=0.29
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 3651 0 0 0 28 1 0 0 20 0 1 0 15686366 17018880 3574 1992294400 4194304 7136930 140736077779280 18446744073709551615 6334898 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21681/statm: 4155 3574 271 719 0 3434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16620

[startup+0.701929 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 21681
/proc/meminfo: memFree=1789272/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=23904 CPUtime=0.69
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 5457 0 0 0 68 1 0 0 20 0 1 0 15686366 24477696 5380 1992294400 4194304 7136930 140736077779280 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21681/statm: 5976 5384 271 719 0 5255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23904

[startup+1.50107 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21682
/proc/meminfo: memFree=1762232/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=83952 CPUtime=1.49
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 20553 0 0 0 137 12 0 0 23 0 1 0 15686366 85966848 20122 1992294400 4194304 7136930 140736077779280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 20988 20122 340 719 0 20267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83952

[startup+3.10134 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21682
/proc/meminfo: memFree=1675432/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=119892 CPUtime=3.09
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 34824 0 0 0 286 23 0 0 25 0 1 0 15686366 122769408 29112 1992294400 4194304 7136930 140736077779280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 29973 29112 360 719 0 29252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119892

[startup+6.30089 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21682
/proc/meminfo: memFree=1673076/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=122340 CPUtime=6.29
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 39465 0 0 0 599 30 0 0 25 0 1 0 15686366 125276160 29757 1992294400 4194304 7136930 140736077779280 18446744073709551615 4862096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 30585 29757 374 719 0 29864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122340

[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21682
/proc/meminfo: memFree=1670348/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=122856 CPUtime=12.69
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 39593 0 0 0 1236 33 0 0 25 0 1 0 15686366 125804544 29885 1992294400 4194304 7136930 140736077779280 18446744073709551615 4862096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 30714 29885 374 719 0 29993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122856

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21682
/proc/meminfo: memFree=1668612/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=125748 CPUtime=25.48
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 40334 0 0 0 2511 37 0 0 25 0 1 0 15686366 128765952 30626 1992294400 4194304 7136930 140736077779280 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 31437 30626 393 719 0 30716 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125748

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21684
/proc/meminfo: memFree=1667496/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=125748 CPUtime=51.07
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 40343 0 0 0 5065 42 0 0 25 0 1 0 15686366 128765952 30635 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 31437 30635 397 719 0 30716 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 125748

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21684
/proc/meminfo: memFree=1666876/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=126264 CPUtime=102.26
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 40484 0 0 0 10174 52 0 0 25 0 1 0 15686366 129294336 30776 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 31566 30776 397 719 0 30845 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 126264

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21686
/proc/meminfo: memFree=1666752/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=126264 CPUtime=162.24
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 40497 0 0 0 16161 63 0 0 25 0 1 0 15686366 129294336 30789 1992294400 4194304 7136930 140736077779280 18446744073709551615 4858896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 31566 30789 397 719 0 30845 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 126264

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21688
/proc/meminfo: memFree=1665140/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=127732 CPUtime=222.21
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 40892 0 0 0 22147 74 0 0 25 0 1 0 15686366 130797568 31184 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 31933 31184 397 719 0 31212 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 127732

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21690
/proc/meminfo: memFree=1663156/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=129684 CPUtime=282.19
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 41374 0 0 0 28132 87 0 0 25 0 1 0 15686366 132796416 31666 1992294400 4194304 7136930 140736077779280 18446744073709551615 4696964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 32421 31666 397 719 0 31700 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 129684

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21692
/proc/meminfo: memFree=1660924/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=131868 CPUtime=342.16
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 41944 0 0 0 34119 97 0 0 25 0 1 0 15686366 135032832 32236 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 32967 32236 397 719 0 32246 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 131868

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21692
/proc/meminfo: memFree=1659064/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=133620 CPUtime=402.15
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 42404 0 0 0 40107 108 0 0 25 0 1 0 15686366 136826880 32696 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 33405 32696 397 719 0 32684 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 133620

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21694
/proc/meminfo: memFree=1656832/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=135792 CPUtime=462.13
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 42963 0 0 0 46093 120 0 0 25 0 1 0 15686366 139051008 33255 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 33948 33255 397 719 0 33227 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 135792

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21696
/proc/meminfo: memFree=1654476/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=138144 CPUtime=522.1
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 43538 0 0 0 52079 131 0 0 25 0 1 0 15686366 141459456 33830 1992294400 4194304 7136930 140736077779280 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 34536 33830 397 719 0 33815 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 138144

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21698
/proc/meminfo: memFree=1651996/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=140428 CPUtime=582.08
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 44117 0 0 0 58064 144 0 0 25 0 1 0 15686366 143798272 34409 1992294400 4194304 7136930 140736077779280 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 35107 34409 397 719 0 34386 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 140428

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21700
/proc/meminfo: memFree=1650136/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=142204 CPUtime=642.06
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 44581 0 0 0 64050 156 0 0 25 0 1 0 15686366 145616896 34873 1992294400 4194304 7136930 140736077779280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 35551 34873 397 719 0 34830 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 142204

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21715
/proc/meminfo: memFree=1642076/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=149552 CPUtime=881.96
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 46455 0 0 0 87996 200 0 0 25 0 1 0 15686366 153141248 36747 1992294400 4194304 7136930 140736077779280 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 37388 36747 397 719 0 36667 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 149552

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21715
/proc/meminfo: memFree=1639224/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=152264 CPUtime=941.94
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 47159 0 0 0 93983 211 0 0 25 0 1 0 15686366 155918336 37451 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 38066 37451 397 719 0 37345 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 152264

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21717
/proc/meminfo: memFree=1637364/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=154144 CPUtime=1001.91
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 47627 0 0 0 99969 222 0 0 25 0 1 0 15686366 157843456 37919 1992294400 4194304 7136930 140736077779280 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 38536 37919 397 719 0 37815 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 154144

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21719
/proc/meminfo: memFree=1635380/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=156032 CPUtime=1061.89
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 48110 0 0 0 105958 231 0 0 25 0 1 0 15686366 159776768 38402 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 39008 38402 397 719 0 38287 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 156032

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21721
/proc/meminfo: memFree=1633396/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=159968 CPUtime=1121.86
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 48625 0 0 0 111945 241 0 0 25 0 1 0 15686366 163807232 38917 1992294400 4194304 7136930 140736077779280 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 39992 38917 397 719 0 39271 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 159968

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21723
/proc/meminfo: memFree=1631536/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=161760 CPUtime=1181.84
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 49059 0 0 0 117932 252 0 0 25 0 1 0 15686366 165642240 39351 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 40440 39351 397 719 0 39719 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 161760

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21725
/proc/meminfo: memFree=1630296/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=163040 CPUtime=1241.82
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 49383 0 0 0 123918 264 0 0 25 0 1 0 15686366 166952960 39675 1992294400 4194304 7136930 140736077779280 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 40760 39675 397 719 0 40039 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 163040

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21725
/proc/meminfo: memFree=1628808/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=164384 CPUtime=1301.8
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 49756 0 0 0 129904 276 0 0 25 0 1 0 15686366 168329216 40048 1992294400 4194304 7136930 140736077779280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 41096 40048 397 719 0 40375 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 164384

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21727
/proc/meminfo: memFree=1626204/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=166952 CPUtime=1361.77
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 50387 0 0 0 135891 286 0 0 25 0 1 0 15686366 170958848 40679 1992294400 4194304 7136930 140736077779280 18446744073709551615 4854151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 41738 40679 397 719 0 41017 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 166952

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21729
/proc/meminfo: memFree=1624220/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=168840 CPUtime=1421.77
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 50884 0 0 0 141880 297 0 0 25 0 1 0 15686366 172892160 41176 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 42210 41176 397 719 0 41489 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 168840

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21731
/proc/meminfo: memFree=1620748/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=172312 CPUtime=1481.74
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 51749 0 0 0 147866 308 0 0 25 0 1 0 15686366 176447488 42041 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 43078 42041 397 719 0 42357 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 172312

[startup+1542.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 21733
/proc/meminfo: memFree=1618888/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=174024 CPUtime=1541.71
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 52208 0 0 0 153853 318 0 0 25 0 1 0 15686366 178200576 42500 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 43506 42500 397 719 0 42785 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 174024

[startup+1602.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 21736
/proc/meminfo: memFree=1614548/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=177952 CPUtime=1601.69
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 53213 0 0 0 159839 330 0 0 25 0 1 0 15686366 182222848 43505 1992294400 4194304 7136930 140736077779280 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 44488 43505 397 719 0 43767 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 177952

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21738
/proc/meminfo: memFree=1612440/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=180100 CPUtime=1661.66
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 53760 0 0 0 165824 342 0 0 25 0 1 0 15686366 184422400 44052 1992294400 4194304 7136930 140736077779280 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 45025 44052 397 719 0 44304 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 180100

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21740
/proc/meminfo: memFree=1608472/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=184108 CPUtime=1721.65
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 54750 0 0 0 171810 355 0 0 25 0 1 0 15686366 188526592 45042 1992294400 4194304 7136930 140736077779280 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 46027 45042 397 719 0 45306 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 184108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21742
/proc/meminfo: memFree=1606240/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=186212 CPUtime=1781.63
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 55294 0 0 0 177795 368 0 0 25 0 1 0 15686366 190681088 45586 1992294400 4194304 7136930 140736077779280 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 46553 45586 397 719 0 45832 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 186212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21742
/proc/meminfo: memFree=1605744/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=186816 CPUtime=1800.03
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 55428 0 0 0 179631 372 0 0 25 0 1 0 15686366 191299584 45720 1992294400 4194304 7136930 140736077779280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21681/statm: 46704 45720 397 719 0 45983 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 186816

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21742
/proc/meminfo: memFree=1605744/2059040 swapFree=4165864/4192956
[pid=21681] ppid=21679 vsize=149020 CPUtime=1800.32
/proc/21681/stat : 21681 (pbscip.linux.x8) R 21679 21681 15035 0 -1 4202496 55433 0 0 0 179659 373 0 0 25 0 1 0 15686366 152596480 36282 1992294400 4194304 7136930 140736077779280 18446744073709551615 5953359 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21681/statm: 37255 36282 402 719 0 36534 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 149020

Child status: 0
Real time (s): 1801.06
CPU time (s): 1800.39
CPU user time (s): 1796.64
CPU system time (s): 3.75043
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 186816

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

runsolver used 2.84357 second user time and 8.64768 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-13 05:47:30
IDJOB=2664149
IDBENCH=2013
IDSOLVER=1167
FILE ID=node014/2664149-1276400850
PBS_JOBID= 11173259
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.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-2664149-1276400850/watcher-2664149-1276400850 -o /tmp/evaluation-result-2664149-1276400850/solver-2664149-1276400850 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664149-1276400850.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=2071973065

node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1789800 kB
Buffers:         19788 kB
Cached:         138312 kB
SwapCached:       1640 kB
Active:         110204 kB
Inactive:        82392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1789800 kB
SwapTotal:     4192956 kB
SwapFree:      4165864 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:       32784 kB
Mapped:          15136 kB
Slab:            54892 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182508 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= 62456 MiB
End job on node014 at 2010-06-13 06:17:33