Trace number 2693660

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.37 1800.33

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo
MD5SUM6d82afa4a3cb51b65db40c85a755382b
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 benchmark0.254961
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7578
Total number of constraints21401
Number of soft constraints14255
Number of constraints which are clauses20501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 718356
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 718355
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-2693660-1277914478.wbo>
0.19/0.22	c original problem has 36088 variables (21833 bin, 0 int, 0 impl, 14255 cont) and 35657 constraints
0.19/0.22	c problem read
0.19/0.22	c presolving settings loaded
0.19/0.22	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.39/0.42	c presolving:
0.39/0.49	c (round 1) 40 del vars, 3 del conss, 0 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 35611 impls, 0 clqs
0.49/0.51	c (round 2) 40 del vars, 81 del conss, 0 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 35611 impls, 0 clqs
0.49/0.55	c (round 3) 40 del vars, 81 del conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 35611 impls, 0 clqs
0.60/0.64	c (round 4) 40 del vars, 81 del conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 7067 upgd conss, 35611 impls, 0 clqs
1.09/1.14	c    (0.9s) probing: 125/21793 (0.6%) - 0 fixings, 1 aggregations, 1 implications, 0 bound changes
1.09/1.14	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.09/1.14	c presolving (5 rounds):
1.09/1.14	c  41 deleted vars, 81 deleted constraints, 14255 tightened bounds, 0 added holes, 450 changed sides, 900 changed coefficients
1.09/1.14	c  35676 implications, 0 cliques
1.09/1.14	c presolved problem has 36047 variables (21792 bin, 0 int, 0 impl, 14255 cont) and 35576 constraints
1.09/1.14	c   14255 constraints of type <indicator>
1.09/1.14	c       1 constraints of type <varbound>
1.09/1.14	c     314 constraints of type <knapsack>
1.09/1.14	c   14254 constraints of type <linear>
1.09/1.14	c    6752 constraints of type <logicor>
1.09/1.14	c transformed objective value is always integral (scale: 1)
1.09/1.14	c Presolving Time: 0.78
1.09/1.14	c - non default parameters ----------------------------------------------------------------------
1.09/1.14	c # SCIP version 1.2.1.2
1.09/1.14	c 
1.09/1.14	c # frequency for displaying node information lines
1.09/1.14	c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.14	c display/freq = 10000
1.09/1.14	c 
1.09/1.14	c # maximal time in seconds to run
1.09/1.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.14	c limits/time = 1799.78
1.09/1.14	c 
1.09/1.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.14	c limits/memory = 3420
1.09/1.14	c 
1.09/1.14	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.09/1.14	c # [type: int, range: [-1,2147483647], default: 1]
1.09/1.14	c lp/solvefreq = -1
1.09/1.14	c 
1.09/1.14	c # should presolving try to simplify inequalities
1.09/1.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.14	c constraints/linear/simplifyinequalities = TRUE
1.09/1.14	c 
1.09/1.14	c # should presolving try to simplify knapsacks
1.09/1.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.14	c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.14	c 
1.09/1.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.09/1.14	c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.14	c separating/rapidlearning/freq = 0
1.09/1.14	c 
1.09/1.14	c -----------------------------------------------------------------------------------------------
1.09/1.14	c start solving
1.09/1.15	c 
1.19/1.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.22	c   0.9s|     1 |     2 |     0 |     - | 110M|   0 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
97.49/97.57	c  97.1s| 10000 | 10001 |     0 |   0.0 | 120M|  65 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
204.30/204.33	c   204s| 20000 | 20001 |     0 |   0.0 | 130M|  77 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
315.00/315.04	c   314s| 30000 | 30001 |     0 |   0.0 | 139M|  77 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
426.60/426.61	c   425s| 40000 | 40001 |     0 |   0.0 | 149M|  77 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
536.81/536.88	c   535s| 50000 | 50001 |     0 |   0.0 | 158M|  81 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
647.11/647.10	c   645s| 60000 | 60001 |     0 |   0.0 | 167M|  91 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
757.91/757.95	c   756s| 70000 | 70001 |     0 |   0.0 | 176M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
869.21/869.27	c   867s| 80000 | 80001 |     0 |   0.0 | 185M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
980.51/980.56	c   978s| 90000 | 90001 |     0 |   0.0 | 194M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1091.91/1091.91	c  1089s|100000 |100001 |     0 |   0.0 | 203M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1203.32/1203.39	c  1201s|110000 |110001 |     0 |   0.0 | 212M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1314.93/1314.95	c  1312s|120000 |120001 |     0 |   0.0 | 221M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1426.52/1426.54	c  1423s|130000 |130001 |     0 |   0.0 | 230M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1538.12/1538.13	c  1535s|140000 |140001 |     0 |   0.0 | 239M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1649.73/1649.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1649.73/1649.73	c  1646s|150000 |150001 |     0 |   0.0 | 248M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1759.73/1759.74	c  1756s|160000 |160001 |     0 |   0.0 | 256M|  93 |   - |  36k|  35k|   0 |   0 |   0 |   0 |   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.85
1800.04/1800.01	c Solving Nodes      : 163684
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.85
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693660-1277914478.wbo
1800.04/1800.01	c   Variables        : 36088 (21833 binary, 0 integer, 0 implicit integer, 14255 continuous)
1800.04/1800.01	c   Constraints      : 35657 initial, 35657 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693660-1277914478.wbo
1800.04/1800.01	c   Variables        : 36047 (21792 binary, 0 integer, 0 implicit integer, 14255 continuous)
1800.04/1800.01	c   Constraints      : 35576 initial, 35576 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00          0          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.01          0         39          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.46          0          1          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.01          0          0          0          0          0          0          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.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.18          0          1          0      14255          0         81        450        900
1800.04/1800.01	c   logicor          :       0.01          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        :      14255          0     592647          0     163684          0      23156          0          0          0
1800.04/1800.01	c   varbound         :          1          0     592647          0     163684          0          0          0          0          0
1800.04/1800.01	c   knapsack         :        314          0     592647          0     163684          0         17          0          0          0
1800.04/1800.01	c   linear           :      14254          0     592647          0     163684          0      23156          0          0          0
1800.04/1800.01	c   logicor          :       6752          0     488629          0     163684          0    1381829          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0          0     163684          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        :     502.16       0.00     194.04       0.00     308.12
1800.04/1800.01	c   varbound         :       0.76       0.00       0.50       0.00       0.26
1800.04/1800.01	c   knapsack         :       6.84       0.00       6.52       0.00       0.32
1800.04/1800.01	c   linear           :     202.08       0.00     201.77       0.00       0.31
1800.04/1800.01	c   logicor          :     217.32       0.00       8.00       0.00     209.32
1800.04/1800.01	c   countsols        :       0.07       0.00       0.00       0.00       0.07
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.28          2          0          0
1800.04/1800.01	c   rootredcost      :       0.31          0          0          0
1800.04/1800.01	c   pseudoobj        :     348.16     592397          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          0          0          0        0.0          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 :          -          -          -          0        0.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        :     497.22     163684          0          0          0          0     327368
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.06          0          0
1800.04/1800.01	c   trivial          :       0.09          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.14          0          0
1800.04/1800.01	c   trysol           :       0.08          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            :     163684
1800.04/1800.01	c   nodes (total)    :     163684
1800.04/1800.01	c   nodes left       :     163685
1800.04/1800.01	c   max depth        :         93
1800.04/1800.01	c   max depth (total):         93
1800.04/1800.01	c   backtracks       :       3309 (2.0%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.56
1800.04/1800.01	c   switching time   :       7.89
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.34/1800.32	c Time complete: 1800.36.

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-2693660-1277914478/watcher-2693660-1277914478 -o /tmp/evaluation-result-2693660-1277914478/solver-2693660-1277914478 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693660-1277914478.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 2.00 2.06 3/178 11920
/proc/meminfo: memFree=30736172/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=8168 CPUtime=0
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 132745343 8364032 1466 4089446400 4194304 7136930 140736267806224 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11920/statm: 2042 1466 275 719 0 1321 0

[startup+0.0731401 s]
/proc/loadavg: 1.95 2.00 2.06 3/178 11920
/proc/meminfo: memFree=30736172/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=25416 CPUtime=0.06
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 5851 0 0 0 6 0 0 0 25 0 1 0 132745343 26025984 5773 4089446400 4194304 7136930 140736267806224 18446744073709551615 5649720 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11920/statm: 6387 5799 275 719 0 5666 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25416

[startup+0.10113 s]
/proc/loadavg: 1.95 2.00 2.06 3/178 11920
/proc/meminfo: memFree=30736172/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=30460 CPUtime=0.09
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 7089 0 0 0 9 0 0 0 25 0 1 0 132745343 31191040 7011 4089446400 4194304 7136930 140736267806224 18446744073709551615 4384992 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11920/statm: 7615 7011 275 719 0 6894 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30460

[startup+0.301078 s]
/proc/loadavg: 1.95 2.00 2.06 3/178 11920
/proc/meminfo: memFree=30736172/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=104800 CPUtime=0.29
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 25987 0 0 0 27 2 0 0 25 0 1 0 132745343 107315200 25481 4089446400 4194304 7136930 140736267806224 18446744073709551615 4209476 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 26200 25482 289 719 0 25479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104800

[startup+0.701041 s]
/proc/loadavg: 1.95 2.00 2.06 3/178 11920
/proc/meminfo: memFree=30736172/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=147048 CPUtime=0.69
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 38589 0 0 0 64 5 0 0 25 0 1 0 132745343 150577152 35171 4089446400 4194304 7136930 140736267806224 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 36762 35171 395 719 0 36041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 147048

[startup+1.50091 s]
/proc/loadavg: 1.95 2.00 2.06 3/179 11921
/proc/meminfo: memFree=30595548/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=150188 CPUtime=1.5
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 39681 0 0 0 144 6 0 0 25 0 1 0 132745343 153792512 35689 4089446400 4194304 7136930 140736267806224 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 37547 35689 405 719 0 36826 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 150188

[startup+3.10063 s]
/proc/loadavg: 1.95 2.00 2.06 3/179 11921
/proc/meminfo: memFree=30593192/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=150448 CPUtime=3.09
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 39745 0 0 0 303 6 0 0 25 0 1 0 132745343 154058752 35753 4089446400 4194304 7136930 140736267806224 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 37612 35753 405 719 0 36891 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 150448

[startup+6.30104 s]
/proc/loadavg: 1.95 2.00 2.06 3/179 11921
/proc/meminfo: memFree=30590448/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=150580 CPUtime=6.29
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 39778 0 0 0 622 7 0 0 25 0 1 0 132745343 154193920 35786 4089446400 4194304 7136930 140736267806224 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 37645 35786 405 719 0 36924 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150580

[startup+12.7009 s]
/proc/loadavg: 1.95 2.00 2.06 3/179 11921
/proc/meminfo: memFree=30586420/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=151588 CPUtime=12.69
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 40027 0 0 0 1260 9 0 0 25 0 1 0 132745343 155226112 36035 4089446400 4194304 7136930 140736267806224 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 37897 36035 405 719 0 37176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151588

[startup+25.5007 s]
/proc/loadavg: 1.96 2.00 2.05 3/179 11921
/proc/meminfo: memFree=30577080/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=153268 CPUtime=25.49
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 40434 0 0 0 2537 12 0 0 25 0 1 0 132745343 156946432 36442 4089446400 4194304 7136930 140736267806224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 38317 36442 405 719 0 37596 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153268

[startup+51.1012 s]
/proc/loadavg: 1.97 2.00 2.05 3/179 11923
/proc/meminfo: memFree=30560068/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=157380 CPUtime=51.1
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 41464 0 0 0 5092 18 0 0 25 0 1 0 132745343 161157120 37472 4089446400 4194304 7136930 140736267806224 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 39345 37472 405 719 0 38624 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 157380

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 2.05 3/179 11924
/proc/meminfo: memFree=30528908/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=163784 CPUtime=102.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 43108 0 0 0 10200 30 0 0 25 0 1 0 132745343 167714816 39116 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 40946 39116 405 719 0 40225 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 163784

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 11925
/proc/meminfo: memFree=30492040/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=169184 CPUtime=162.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 44453 0 0 0 16189 41 0 0 25 0 1 0 132745343 173244416 40461 4089446400 4194304 7136930 140736267806224 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 42296 40461 405 719 0 41575 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 169184

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.04 3/179 11927
/proc/meminfo: memFree=30448852/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=177168 CPUtime=222.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 46499 0 0 0 22178 52 0 0 25 0 1 0 132745343 181420032 42507 4089446400 4194304 7136930 140736267806224 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 44292 42507 405 719 0 43571 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 177168

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 11929
/proc/meminfo: memFree=30409760/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=182844 CPUtime=282.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 47935 0 0 0 28165 65 0 0 25 0 1 0 132745343 187232256 43943 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 45711 43943 405 719 0 44990 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 182844

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11931
/proc/meminfo: memFree=30376496/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=186112 CPUtime=342.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 48774 0 0 0 34152 78 0 0 25 0 1 0 132745343 190578688 44782 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 46528 44782 405 719 0 45807 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 186112

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 11932
/proc/meminfo: memFree=30338276/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=193932 CPUtime=402.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 50719 0 0 0 40138 92 0 0 25 0 1 0 132745343 198586368 46727 4089446400 4194304 7136930 140736267806224 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 48483 46727 405 719 0 47762 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 193932

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.02 3/179 11933
/proc/meminfo: memFree=30299672/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=198144 CPUtime=462.3
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 51828 0 0 0 46124 106 0 0 25 0 1 0 132745343 202899456 47836 4089446400 4194304 7136930 140736267806224 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 49536 47836 405 719 0 48815 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 198144

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.02 3/179 11935
/proc/meminfo: memFree=30263572/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=202864 CPUtime=522.31
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 53029 0 0 0 52111 120 0 0 25 0 1 0 132745343 207732736 49037 4089446400 4194304 7136930 140736267806224 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 50716 49037 405 719 0 49995 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 202864

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.01 3/179 11937
/proc/meminfo: memFree=30230440/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=208752 CPUtime=582.31
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 54521 0 0 0 58097 134 0 0 25 0 1 0 132745343 213762048 50529 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 52188 50529 405 719 0 51467 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 208752

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11939
/proc/meminfo: memFree=30194936/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=212328 CPUtime=642.31
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 55438 0 0 0 64083 148 0 0 25 0 1 0 132745343 217423872 51446 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 53082 51446 405 719 0 52361 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 212328

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11974
/proc/meminfo: memFree=30821028/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=238728 CPUtime=942.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 61604 0 0 0 94020 212 0 0 25 0 1 0 132745343 244457472 57612 4089446400 4194304 7136930 140736267806224 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 59682 57612 405 719 0 58961 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 238728

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11979
/proc/meminfo: memFree=30781804/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=245008 CPUtime=1002.31
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 63193 0 0 0 100009 222 0 0 25 0 1 0 132745343 250888192 59201 4089446400 4194304 7136930 140736267806224 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 61252 59201 405 719 0 60531 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 245008

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11980
/proc/meminfo: memFree=30746104/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=250232 CPUtime=1062.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 64522 0 0 0 105997 235 0 0 25 0 1 0 132745343 256237568 60530 4089446400 4194304 7136930 140736267806224 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 62558 60530 405 719 0 61837 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 250232

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11982
/proc/meminfo: memFree=30711112/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=257156 CPUtime=1122.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 66276 0 0 0 111984 248 0 0 25 0 1 0 132745343 263327744 62284 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 64289 62284 405 719 0 63568 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 257156

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11984
/proc/meminfo: memFree=30673264/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=261396 CPUtime=1182.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 67357 0 0 0 117971 261 0 0 25 0 1 0 132745343 267669504 63365 4089446400 4194304 7136930 140736267806224 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 65349 63365 405 719 0 64628 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 261396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11986
/proc/meminfo: memFree=30636532/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=266508 CPUtime=1242.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 68655 0 0 0 123958 274 0 0 25 0 1 0 132745343 272904192 64663 4089446400 4194304 7136930 140736267806224 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 66627 64663 405 719 0 65906 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 266508

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11987
/proc/meminfo: memFree=30599916/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=271236 CPUtime=1302.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 69860 0 0 0 129943 289 0 0 25 0 1 0 132745343 277745664 65868 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 67809 65868 405 719 0 67088 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 271236

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11988
/proc/meminfo: memFree=30563436/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=277640 CPUtime=1362.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 71479 0 0 0 135929 303 0 0 25 0 1 0 132745343 284303360 67487 4089446400 4194304 7136930 140736267806224 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 69410 67487 405 719 0 68689 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 277640

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11990
/proc/meminfo: memFree=30529784/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=280732 CPUtime=1422.33
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 72272 0 0 0 141916 317 0 0 25 0 1 0 132745343 287469568 68280 4089446400 4194304 7136930 140736267806224 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 70183 68280 405 719 0 69462 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 280732

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11992
/proc/meminfo: memFree=30493656/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=283568 CPUtime=1482.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 73001 0 0 0 147901 331 0 0 25 0 1 0 132745343 290373632 69009 4089446400 4194304 7136930 140736267806224 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 70892 69009 405 719 0 70171 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 283568

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11994
/proc/meminfo: memFree=30457908/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=288700 CPUtime=1542.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 74307 0 0 0 153889 343 0 0 25 0 1 0 132745343 295628800 70315 4089446400 4194304 7136930 140736267806224 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 72175 70315 405 719 0 71454 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 288700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11995
/proc/meminfo: memFree=30425768/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=292816 CPUtime=1602.32
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 75355 0 0 0 159875 357 0 0 25 0 1 0 132745343 299843584 71363 4089446400 4194304 7136930 140736267806224 18446744073709551615 5005187 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 73204 71363 405 719 0 72483 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 292816

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11996
/proc/meminfo: memFree=30385564/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=298728 CPUtime=1662.33
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 76854 0 0 0 165864 369 0 0 25 0 1 0 132745343 305897472 72862 4089446400 4194304 7136930 140736267806224 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 74682 72862 405 719 0 73961 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 298728

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11998
/proc/meminfo: memFree=30355644/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=299764 CPUtime=1722.33
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 77133 0 0 0 171851 382 0 0 25 0 1 0 132745343 306958336 73141 4089446400 4194304 7136930 140736267806224 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 74941 73141 405 719 0 74220 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 299764

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12000
/proc/meminfo: memFree=30321128/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=304264 CPUtime=1782.34
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 78281 0 0 0 177839 395 0 0 25 0 1 0 132745343 311566336 74289 4089446400 4194304 7136930 140736267806224 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 76066 74289 405 719 0 75345 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 304264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12000
/proc/meminfo: memFree=30305248/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=305804 CPUtime=1800.04
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 78671 0 0 0 179605 399 0 0 25 0 1 0 132745343 313143296 74679 4089446400 4194304 7136930 140736267806224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11920/statm: 76451 74679 405 719 0 75730 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 305804

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.00 2.00 3/179 12000
/proc/meminfo: memFree=30305248/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=259180 CPUtime=1800.23
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 78678 0 0 0 179624 399 0 0 18 0 1 0 132745343 265400320 63173 4089446400 4194304 7136930 140736267806224 18446744073709551615 4408811 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11920/statm: 64795 63173 412 719 0 64074 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 259180

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12000
/proc/meminfo: memFree=30305248/32951124 swapFree=67111528/67111528
[pid=11920] ppid=11918 vsize=69588 CPUtime=1800.34
/proc/11920/stat : 11920 (pbscip.linux.x8) R 11918 11920 11428 0 -1 4202496 78678 0 0 0 179634 400 0 0 18 0 1 0 132745343 71258112 16606 4089446400 4194304 7136930 140736267806224 18446744073709551615 4904151 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11920/statm: 17397 16606 412 719 0 16676 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 69588

Child status: 0
Real time (s): 1800.33
CPU time (s): 1800.37
CPU user time (s): 1796.36
CPU system time (s): 4.00739
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 305804

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

runsolver used 3.06553 second user time and 5.53116 second system time

The end

Launcher Data 

Begin job on node107 at 2010-06-30 18:14:38
IDJOB=2693660
IDBENCH=79032
IDSOLVER=1206
FILE ID=node107/2693660-1277914478
PBS_JOBID= 11197274
Free space on /tmp= 74204 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-dlx1c.rwmem1.ucl--soft-33-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-2693660-1277914478/watcher-2693660-1277914478 -o /tmp/evaluation-result-2693660-1277914478/solver-2693660-1277914478 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693660-1277914478.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6d82afa4a3cb51b65db40c85a755382b
RANDOM SEED=641676663

node107.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.849
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.69
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.849
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	: 5332.75
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.849
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.82
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.849
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.75
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.849
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.81
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.849
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.75
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.849
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.82
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.849
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30736708 kB
Buffers:        197736 kB
Cached:        1275148 kB
SwapCached:          0 kB
Active:         963676 kB
Inactive:      1107924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30736708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:      598592 kB
Mapped:          16936 kB
Slab:            79016 kB
PageTables:       6284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   752080 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 node107 at 2010-06-30 18:44:40