Trace number 2693634

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.51 1800.46

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
MD5SUM51de4f9a349da19d6e38b7104085cf7d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark38.1792
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables20605
Total number of constraints59851
Number of soft constraints20266
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1021972
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1021971
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
Number of bits of the biggest sum of numbers8
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-2693634-1277913629.wbo>
0.49/0.56	c original problem has 61137 variables (40871 bin, 0 int, 0 impl, 20266 cont) and 80118 constraints
0.49/0.56	c problem read
0.49/0.56	c presolving settings loaded
0.49/0.56	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.89/0.91	c presolving:
1.19/1.23	c (round 1) 361 del vars, 196 del conss, 47 chg bounds, 588 chg sides, 1178 chg coeffs, 0 upgd conss, 451283 impls, 0 clqs
1.19/1.27	c (round 2) 400 del vars, 859 del conss, 47 chg bounds, 588 chg sides, 1178 chg coeffs, 0 upgd conss, 451283 impls, 0 clqs
1.29/1.37	c (round 3) 440 del vars, 860 del conss, 20273 chg bounds, 588 chg sides, 1178 chg coeffs, 0 upgd conss, 451283 impls, 0 clqs
1.59/1.68	c (round 4) 441 del vars, 860 del conss, 20273 chg bounds, 588 chg sides, 1178 chg coeffs, 38833 upgd conss, 451283 impls, 0 clqs
13.79/13.80	c    (13.1s) probing: 1000/40470 (2.5%) - 0 fixings, 21 aggregations, 74114 implications, 0 bound changes
24.69/24.78	c    (24.0s) probing: 2000/40470 (4.9%) - 0 fixings, 21 aggregations, 142557 implications, 0 bound changes
35.59/35.64	c    (34.9s) probing: 3000/40470 (7.4%) - 0 fixings, 22 aggregations, 205069 implications, 0 bound changes
44.79/44.87	c    (44.1s) probing: 4000/40470 (9.9%) - 0 fixings, 22 aggregations, 236866 implications, 0 bound changes
46.20/46.25	c    (45.5s) probing: 4131/40470 (10.2%) - 0 fixings, 22 aggregations, 244456 implications, 0 bound changes
46.20/46.25	c    (45.5s) probing aborted: 2000/2000 successive useless probings
46.20/46.25	c (round 5) 463 del vars, 860 del conss, 20273 chg bounds, 588 chg sides, 1178 chg coeffs, 38833 upgd conss, 1576241 impls, 0 clqs
49.99/50.01	c    (49.2s) probing: 4331/40470 (10.7%) - 0 fixings, 22 aggregations, 265101 implications, 0 bound changes
49.99/50.01	c    (49.2s) probing aborted: 2000/2000 successive useless probings
49.99/50.01	c presolving (6 rounds):
49.99/50.01	c  463 deleted vars, 860 deleted constraints, 20273 tightened bounds, 0 added holes, 588 changed sides, 1178 changed coefficients
49.99/50.01	c  1628283 implications, 0 cliques
49.99/50.01	c presolved problem has 60674 variables (40448 bin, 0 int, 0 impl, 20226 cont) and 79258 constraints
49.99/50.01	c   20226 constraints of type <indicator>
49.99/50.01	c      27 constraints of type <varbound>
49.99/50.01	c     782 constraints of type <knapsack>
49.99/50.01	c   20199 constraints of type <linear>
49.99/50.01	c   38024 constraints of type <logicor>
49.99/50.01	c transformed objective value is always integral (scale: 1)
49.99/50.01	c Presolving Time: 49.01
49.99/50.01	c - non default parameters ----------------------------------------------------------------------
49.99/50.01	c # SCIP version 1.2.1.2
49.99/50.01	c 
49.99/50.01	c # frequency for displaying node information lines
49.99/50.01	c # [type: int, range: [-1,2147483647], default: 100]
49.99/50.01	c display/freq = 10000
49.99/50.01	c 
49.99/50.01	c # maximal time in seconds to run
49.99/50.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
49.99/50.01	c limits/time = 1799.44
49.99/50.01	c 
49.99/50.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
49.99/50.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
49.99/50.01	c limits/memory = 3420
49.99/50.01	c 
49.99/50.01	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
49.99/50.01	c # [type: int, range: [-1,2147483647], default: 1]
49.99/50.01	c lp/solvefreq = -1
49.99/50.01	c 
49.99/50.01	c # should presolving try to simplify inequalities
49.99/50.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
49.99/50.01	c constraints/linear/simplifyinequalities = TRUE
49.99/50.01	c 
49.99/50.01	c # should presolving try to simplify knapsacks
49.99/50.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
49.99/50.01	c constraints/knapsack/simplifyinequalities = TRUE
49.99/50.01	c 
49.99/50.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
49.99/50.01	c # [type: int, range: [-1,2147483647], default: -1]
49.99/50.01	c separating/rapidlearning/freq = 0
49.99/50.01	c 
49.99/50.01	c -----------------------------------------------------------------------------------------------
49.99/50.01	c start solving
49.99/50.03	c 
50.09/50.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.09/50.17	c  49.3s|     1 |     2 |     0 |     - | 244M|   0 |   - |  60k|  79k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
328.39/328.40	c   327s| 10000 | 10001 |     0 |   0.0 | 261M| 751 |   - |  60k|  79k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
726.11/726.14	c   724s| 20000 | 20001 |     0 |   0.0 | 273M| 751 |   - |  60k|  79k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1127.42/1127.44	c  1124s| 30000 | 29999 |     0 |   0.0 | 286M| 751 |   - |  60k|  79k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1529.73/1529.74	c  1526s| 40000 | 39999 |     0 |   0.0 | 298M| 751 |   - |  60k|  79k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1795.42
1800.04/1800.01	c Solving Nodes      : 46730
1800.04/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.04/1800.01	s UNKNOWN
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1795.42
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693634-1277913629.wbo
1800.04/1800.01	c   Variables        : 61137 (40871 binary, 0 integer, 0 implicit integer, 20266 continuous)
1800.04/1800.01	c   Constraints      : 80118 initial, 80118 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693634-1277913629.wbo
1800.04/1800.01	c   Variables        : 60674 (40448 binary, 0 integer, 0 implicit integer, 20226 continuous)
1800.04/1800.01	c   Constraints      : 79258 initial, 79259 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.03         80          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.03          0        311          0          0          0          0          0          0
1800.04/1800.01	c   probing          :      48.03          0         22          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.01          0          0          0          0          0         40          0          0
1800.04/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.58         47          3          0      20273          0        820        588       1178
1800.04/1800.01	c   logicor          :       0.11          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :      20226          0     258331          0      46729          0       1443          0          0          0
1800.04/1800.01	c   varbound         :         27          0     258331          0      46729          0          0          0          0          0
1800.04/1800.01	c   knapsack         :        782          0     258331          0      46729          0          2          0          0          0
1800.04/1800.01	c   linear           :      20199          0     258331          0      46729          0       1442          0          0          0
1800.04/1800.01	c   logicor          :      38024+         0     248736          0      46729          1     831429          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0          0      46729          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c   indicator        :     378.51       0.00     188.51       0.00     190.00
1800.04/1800.01	c   varbound         :       1.05       0.00       0.63       0.00       0.42
1800.04/1800.01	c   knapsack         :      11.44       0.00      11.22       0.00       0.22
1800.04/1800.01	c   linear           :     168.05       0.00     167.96       0.00       0.09
1800.04/1800.01	c   logicor          :     470.68       0.00       7.61       0.00     463.07
1800.04/1800.01	c   countsols        :       0.03       0.00       0.00       0.00       0.03
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.13       2980          0          0
1800.04/1800.01	c   rootredcost      :       0.07          0          0          0
1800.04/1800.01	c   pseudoobj        :     300.31     242010          0          0
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       0.00          1          1          2        3.5          0        0.0          -
1800.04/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.01	c   applied globally :          -          -          -          1        3.0          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :     430.68      46729          0          0          0          0      93458
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -          0
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.01          0          0
1800.04/1800.01	c   trivial          :       0.15          2          0
1800.04/1800.01	c   simplerounding   :       0.00          0          0
1800.04/1800.01	c   zirounding       :       0.00          0          0
1800.04/1800.01	c   rounding         :       0.00          0          0
1800.04/1800.01	c   shifting         :       0.00          0          0
1800.04/1800.01	c   intshifting      :       0.00          0          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   feaspump         :       0.00          0          0
1800.04/1800.01	c   coefdiving       :       0.00          0          0
1800.04/1800.01	c   pscostdiving     :       0.00          0          0
1800.04/1800.01	c   fracdiving       :       0.00          0          0
1800.04/1800.01	c   veclendiving     :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   objpscostdiving  :       0.00          0          0
1800.04/1800.01	c   rootsoldiving    :       0.00          0          0
1800.04/1800.01	c   linesearchdiving :       0.00          0          0
1800.04/1800.01	c   guideddiving     :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.00          0          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   crossover        :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.05          0          0
1800.04/1800.01	c   trysol           :       0.02          1          0
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :      46730
1800.04/1800.01	c   nodes (total)    :      46730
1800.04/1800.01	c   nodes left       :      46729
1800.04/1800.01	c   max depth        :        751
1800.04/1800.01	c   max depth (total):        751
1800.04/1800.01	c   backtracks       :        140 (0.3%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :         36 (1 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.05
1800.04/1800.01	c   switching time   :       3.61
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :          0 (0 improvements)
1800.04/1800.01	c   Primal Bound     :          -
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :          0
1800.44/1800.46	c Time complete: 1800.49.

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-2693634-1277913629/watcher-2693634-1277913629 -o /tmp/evaluation-result-2693634-1277913629/solver-2693634-1277913629 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693634-1277913629.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.95 1.97 2.05 4/178 13532
/proc/meminfo: memFree=29404928/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=8164 CPUtime=0
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 1519 0 0 0 0 0 0 0 25 0 1 0 132659563 8359936 1442 4089446400 4194304 7136930 140733453021616 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13532/statm: 2041 1442 275 719 0 1320 0

[startup+0.068855 s]
/proc/loadavg: 1.95 1.97 2.05 4/178 13532
/proc/meminfo: memFree=29404928/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=20840 CPUtime=0.06
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 4684 0 0 0 6 0 0 0 25 0 1 0 132659563 21340160 4607 4089446400 4194304 7136930 140733453021616 18446744073709551615 4467032 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13532/statm: 5210 4607 275 719 0 4489 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20840

[startup+0.100849 s]
/proc/loadavg: 1.95 1.97 2.05 4/178 13532
/proc/meminfo: memFree=29404928/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=25548 CPUtime=0.09
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 5892 0 0 0 9 0 0 0 25 0 1 0 132659563 26161152 5815 4089446400 4194304 7136930 140733453021616 18446744073709551615 4680852 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13532/statm: 6436 5818 275 719 0 5715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25548

[startup+0.300826 s]
/proc/loadavg: 1.95 1.97 2.05 4/178 13532
/proc/meminfo: memFree=29404928/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=55828 CPUtime=0.29
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 13420 0 0 0 28 1 0 0 25 0 1 0 132659563 57167872 13343 4089446400 4194304 7136930 140733453021616 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13532/statm: 13957 13343 275 719 0 13236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55828

[startup+0.700872 s]
/proc/loadavg: 1.95 1.97 2.05 4/178 13532
/proc/meminfo: memFree=29404928/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=178700 CPUtime=0.69
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 44079 0 0 0 65 4 0 0 25 0 1 0 132659563 182988800 43587 4089446400 4194304 7136930 140733453021616 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 44675 43607 289 719 0 43954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 178700

[startup+1.50052 s]
/proc/loadavg: 1.96 1.97 2.05 3/179 13533
/proc/meminfo: memFree=29178988/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=255004 CPUtime=1.49
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 66035 0 0 0 136 13 0 0 25 0 1 0 132659563 261124096 61497 4089446400 4194304 7136930 140733453021616 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 63751 61497 367 719 0 63030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 255004

[startup+3.10024 s]
/proc/loadavg: 1.96 1.97 2.05 3/179 13533
/proc/meminfo: memFree=29127032/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=295028 CPUtime=3.09
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 78148 0 0 0 292 17 0 0 25 0 1 0 132659563 302108672 70799 4089446400 4194304 7136930 140733453021616 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 73757 70799 390 719 0 73036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 295028

[startup+6.30068 s]
/proc/loadavg: 1.96 1.97 2.05 3/179 13533
/proc/meminfo: memFree=29107240/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=306832 CPUtime=6.29
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 81089 0 0 0 611 18 0 0 25 0 1 0 132659563 314195968 73740 4089446400 4194304 7136930 140733453021616 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 76708 73740 390 719 0 75987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 306832

[startup+12.7005 s]
/proc/loadavg: 1.96 1.97 2.05 3/179 13533
/proc/meminfo: memFree=29089132/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=311132 CPUtime=12.69
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 82162 0 0 0 1250 19 0 0 25 0 1 0 132659563 318599168 74813 4089446400 4194304 7136930 140733453021616 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 77783 74813 390 719 0 77062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 311132

[startup+25.5003 s]
/proc/loadavg: 1.97 1.97 2.05 3/179 13534
/proc/meminfo: memFree=29066320/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=321188 CPUtime=25.49
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 84782 0 0 0 2527 22 0 0 25 0 1 0 132659563 328896512 77433 4089446400 4194304 7136930 140733453021616 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 80297 77433 396 719 0 79576 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 321188

[startup+51.1008 s]
/proc/loadavg: 1.98 1.97 2.04 3/179 13543
/proc/meminfo: memFree=29036848/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=340056 CPUtime=51.09
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 91538 0 0 0 5080 29 0 0 25 0 1 0 132659563 348217344 81318 4089446400 4194304 7136930 140733453021616 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 85014 81318 406 719 0 84293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 340056

[startup+102.307 s]
/proc/loadavg: 1.99 1.97 2.04 3/179 13545
/proc/meminfo: memFree=28984228/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=346032 CPUtime=102.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 92939 0 0 0 10197 33 0 0 25 0 1 0 132659563 354336768 82719 4089446400 4194304 7136930 140733453021616 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 86508 82719 406 719 0 85787 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 346032

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 2.03 3/179 13546
/proc/meminfo: memFree=28932964/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=350304 CPUtime=162.29
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 94001 0 0 0 16189 40 0 0 25 0 1 0 132659563 358711296 83781 4089446400 4194304 7136930 140733453021616 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 87576 83781 406 719 0 86855 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 350304

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 2.03 3/179 13547
/proc/meminfo: memFree=28887788/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=353304 CPUtime=222.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 94746 0 0 0 22180 50 0 0 25 0 1 0 132659563 361783296 84526 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 88326 84526 406 719 0 87605 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 353304

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 2.02 3/179 13549
/proc/meminfo: memFree=28841360/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=356600 CPUtime=282.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 95553 0 0 0 28172 58 0 0 25 0 1 0 132659563 365158400 85333 4089446400 4194304 7136930 140733453021616 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13532/statm: 89150 85333 406 719 0 88429 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 356600

[startup+342.3 s]
/proc/loadavg: 2.13 2.00 2.03 3/197 13597
/proc/meminfo: memFree=31209264/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=359988 CPUtime=342.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 96385 0 0 0 34163 67 0 0 25 0 1 0 132659563 368627712 86165 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 89997 86165 406 719 0 89276 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 359988

[startup+402.301 s]
/proc/loadavg: 2.05 2.00 2.02 3/197 13599
/proc/meminfo: memFree=31171844/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=363240 CPUtime=402.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 97177 0 0 0 40153 77 0 0 25 0 1 0 132659563 371957760 86957 4089446400 4194304 7136930 140733453021616 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 90810 86957 406 719 0 90089 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 363240

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.01 3/197 13600
/proc/meminfo: memFree=31125420/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=366444 CPUtime=462.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 97944 0 0 0 46140 90 0 0 25 0 1 0 132659563 375238656 87724 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 91611 87724 406 719 0 90890 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 366444

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/197 13601
/proc/meminfo: memFree=31090284/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=367440 CPUtime=522.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 98235 0 0 0 52128 102 0 0 25 0 1 0 132659563 376258560 88015 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 91860 88015 406 719 0 91139 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 367440

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13603
/proc/meminfo: memFree=31064208/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=369672 CPUtime=582.3
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 98790 0 0 0 58115 115 0 0 25 0 1 0 132659563 378544128 88570 4089446400 4194304 7136930 140733453021616 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 92418 88570 406 719 0 91697 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 369672

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13605
/proc/meminfo: memFree=31053992/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=371872 CPUtime=642.31
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 99309 0 0 0 64104 127 0 0 25 0 1 0 132659563 380796928 89089 4089446400 4194304 7136930 140733453021616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 92968 89089 406 719 0 92247 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 371872

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.07 2.08 2.03 3/197 13613
/proc/meminfo: memFree=30979520/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=382532 CPUtime=942.32
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 101955 0 0 0 94034 198 0 0 25 0 1 0 132659563 391712768 91735 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 95633 91735 410 719 0 94912 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 382532

[startup+1002.3 s]
/proc/loadavg: 2.34 2.17 2.06 3/197 13615
/proc/meminfo: memFree=30961988/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=384204 CPUtime=1002.31
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 102400 0 0 0 100020 211 0 0 25 0 1 0 132659563 393424896 92180 4089446400 4194304 7136930 140733453021616 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 96051 92180 410 719 0 95330 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 384204

[startup+1062.3 s]
/proc/loadavg: 2.12 2.13 2.06 3/197 13616
/proc/meminfo: memFree=30945956/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=385556 CPUtime=1062.32
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 102709 0 0 0 106005 227 0 0 25 0 1 0 132659563 394809344 92489 4089446400 4194304 7136930 140733453021616 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 96389 92489 410 719 0 95668 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 385556

[startup+1122.3 s]
/proc/loadavg: 2.04 2.11 2.05 3/197 13617
/proc/meminfo: memFree=30930896/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=387668 CPUtime=1122.32
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 103216 0 0 0 111991 241 0 0 25 0 1 0 132659563 396972032 92996 4089446400 4194304 7136930 140733453021616 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 96917 92996 410 719 0 96196 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 387668

[startup+1182.3 s]
/proc/loadavg: 2.01 2.08 2.04 3/197 13619
/proc/meminfo: memFree=30916852/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=390480 CPUtime=1182.32
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 103942 0 0 0 117976 256 0 0 25 0 1 0 132659563 399851520 93722 4089446400 4194304 7136930 140733453021616 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 97620 93722 410 719 0 96899 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 390480

[startup+1242.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/197 13621
/proc/meminfo: memFree=30903428/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=392768 CPUtime=1242.32
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 104527 0 0 0 123960 272 0 0 25 0 1 0 132659563 402194432 94307 4089446400 4194304 7136930 140733453021616 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 98192 94307 410 719 0 97471 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 392768

[startup+1302.3 s]
/proc/loadavg: 2.22 2.15 2.07 3/197 13623
/proc/meminfo: memFree=30901044/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=394720 CPUtime=1302.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 105000 0 0 0 129945 288 0 0 25 0 1 0 132659563 404193280 94780 4089446400 4194304 7136930 140733453021616 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 98680 94780 410 719 0 97959 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 394720

[startup+1362.3 s]
/proc/loadavg: 2.08 2.12 2.06 4/197 13624
/proc/meminfo: memFree=30897044/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=398680 CPUtime=1362.32
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 105995 0 0 0 135931 301 0 0 25 0 1 0 132659563 408248320 95775 4089446400 4194304 7136930 140733453021616 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 99670 95775 410 719 0 98949 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 398680

[startup+1422.31 s]
/proc/loadavg: 2.07 2.11 2.06 3/197 13625
/proc/meminfo: memFree=30893052/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=402476 CPUtime=1422.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 106893 0 0 0 141917 316 0 0 25 0 1 0 132659563 412135424 96673 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 100619 96673 410 719 0 99898 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 402476

[startup+1482.3 s]
/proc/loadavg: 2.02 2.09 2.06 3/197 13627
/proc/meminfo: memFree=30892264/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=403212 CPUtime=1482.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 107083 0 0 0 147902 331 0 0 25 0 1 0 132659563 412889088 96863 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 100803 96863 410 719 0 100082 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 403212

[startup+1542.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/197 13629
/proc/meminfo: memFree=30890492/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=404396 CPUtime=1542.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 107373 0 0 0 153887 346 0 0 25 0 1 0 132659563 414101504 97153 4089446400 4194304 7136930 140733453021616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 101099 97153 410 719 0 100378 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 404396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/197 13631
/proc/meminfo: memFree=30889480/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=404848 CPUtime=1602.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 107500 0 0 0 159874 359 0 0 25 0 1 0 132659563 414564352 97280 4089446400 4194304 7136930 140733453021616 18446744073709551615 5507181 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 101212 97280 410 719 0 100491 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 404848

[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/197 13632
/proc/meminfo: memFree=30880276/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=405532 CPUtime=1662.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 107691 0 0 0 165859 374 0 0 25 0 1 0 132659563 415264768 97471 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 101383 97471 410 719 0 100662 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 405532

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/197 13633
/proc/meminfo: memFree=30867368/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=409292 CPUtime=1722.33
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 108641 0 0 0 171843 390 0 0 25 0 1 0 132659563 419115008 98421 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 102323 98421 410 719 0 101602 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 409292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/197 13635
/proc/meminfo: memFree=30856680/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=410952 CPUtime=1782.34
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 109012 0 0 0 177829 405 0 0 25 0 1 0 132659563 420814848 98792 4089446400 4194304 7136930 140733453021616 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 102738 98792 410 719 0 102017 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 410952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.03 3/197 13636
/proc/meminfo: memFree=30853732/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=412304 CPUtime=1800.04
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 109340 0 0 0 179595 409 0 0 25 0 1 0 132659563 422199296 99120 4089446400 4194304 7136930 140733453021616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13532/statm: 103076 99120 410 719 0 102355 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 412304

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.03 2.03 3/197 13636
/proc/meminfo: memFree=30853732/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=396600 CPUtime=1800.24
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 109346 0 0 0 179615 409 0 0 25 0 1 0 132659563 406118400 95554 4089446400 4194304 7136930 140733453021616 18446744073709551615 5956512 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13532/statm: 99150 95554 416 719 0 98429 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 396600

[startup+1800.4 s]
/proc/loadavg: 2.00 2.03 2.03 3/197 13636
/proc/meminfo: memFree=30853732/32950928 swapFree=67111528/67111528
[pid=13532] ppid=13530 vsize=119936 CPUtime=1800.44
/proc/13532/stat : 13532 (pbscip.linux.x8) R 13530 13532 13477 0 -1 4202496 109346 0 0 0 179634 410 0 0 25 0 1 0 132659563 122814464 28764 4089446400 4194304 7136930 140733453021616 18446744073709551615 6166159 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13532/statm: 29984 28764 416 719 0 29263 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 119936

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800.51
CPU user time (s): 1796.4
CPU system time (s): 4.10837
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 412304

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

runsolver used 2.54261 second user time and 5.82311 second system time

The end

Launcher Data 

Begin job on node125 at 2010-06-30 18:00:29
IDJOB=2693634
IDBENCH=79019
IDSOLVER=1206
FILE ID=node125/2693634-1277913629
PBS_JOBID= 11197320
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl--soft-66-100-0.wbo
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-2693634-1277913629/watcher-2693634-1277913629 -o /tmp/evaluation-result-2693634-1277913629/solver-2693634-1277913629 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693634-1277913629.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 51de4f9a349da19d6e38b7104085cf7d
RANDOM SEED=54385826

node125.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29405580 kB
Buffers:        198296 kB
Cached:         797824 kB
SwapCached:          0 kB
Active:        2840956 kB
Inactive:       559176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29405580 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5080 kB
Writeback:           0 kB
AnonPages:     2404044 kB
Mapped:          16176 kB
Slab:            77944 kB
PageTables:       9356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2674724 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node125 at 2010-06-30 18:30:31