Trace number 2693700

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.47 1800.43

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
MD5SUM7efdf9913882433684cdc1d0f3b36335
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 benchmark1212.47
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables21380
Total number of constraints60984
Number of soft constraints20761
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 1041832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1041831
Biggest number in a constraint 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
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-2693700-1277915086.wbo>
0.49/0.54	c original problem has 62902 variables (42141 bin, 0 int, 0 impl, 20761 cont) and 81746 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.49/0.54	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.90	c presolving:
1.10/1.19	c (round 1) 367 del vars, 17 del conss, 3 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 430988 impls, 0 clqs
1.19/1.23	c (round 2) 373 del vars, 744 del conss, 5 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 430988 impls, 0 clqs
1.19/1.27	c (round 3) 380 del vars, 749 del conss, 7 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 430988 impls, 0 clqs
20.59/20.64	c    (20.0s) probing: 1000/41765 (2.4%) - 1 fixings, 6 aggregations, 70101 implications, 0 bound changes
36.89/36.98	c    (36.3s) probing: 2000/41765 (4.8%) - 1 fixings, 11 aggregations, 100717 implications, 0 bound changes
52.19/52.23	c    (51.5s) probing: 3000/41765 (7.2%) - 1 fixings, 16 aggregations, 120937 implications, 0 bound changes
65.19/65.27	c    (64.5s) probing: 4000/41765 (9.6%) - 1 fixings, 18 aggregations, 133179 implications, 0 bound changes
78.00/78.04	c    (77.3s) probing: 5000/41765 (12.0%) - 1 fixings, 20 aggregations, 142181 implications, 0 bound changes
90.20/90.29	c    (89.5s) probing: 6000/41765 (14.4%) - 1 fixings, 20 aggregations, 146901 implications, 0 bound changes
101.99/102.05	c    (101.3s) probing: 7000/41765 (16.8%) - 1 fixings, 24 aggregations, 150037 implications, 0 bound changes
113.69/113.78	c    (113.0s) probing: 8000/41765 (19.2%) - 1 fixings, 24 aggregations, 156178 implications, 0 bound changes
125.19/125.29	c    (124.5s) probing: 9000/41765 (21.5%) - 1 fixings, 25 aggregations, 159875 implications, 0 bound changes
137.20/137.22	c    (136.4s) probing: 10000/41765 (23.9%) - 1 fixings, 25 aggregations, 162795 implications, 0 bound changes
140.49/140.55	c    (139.7s) probing: 10292/41765 (24.6%) - 1 fixings, 25 aggregations, 163273 implications, 0 bound changes
140.49/140.55	c    (139.7s) probing aborted: 2000/2000 successive useless probings
140.49/140.55	c (round 4) 408 del vars, 753 del conss, 20762 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 1083675 impls, 0 clqs
140.59/140.63	c (round 5) 409 del vars, 804 del conss, 20762 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 1083675 impls, 0 clqs
140.90/140.91	c (round 6) 410 del vars, 805 del conss, 20762 chg bounds, 1078 chg sides, 2158 chg coeffs, 39437 upgd conss, 1083675 impls, 0 clqs
143.89/143.93	c    (143.1s) probing: 10492/41765 (25.1%) - 1 fixings, 25 aggregations, 166708 implications, 0 bound changes
143.89/143.93	c    (143.1s) probing aborted: 2000/2000 successive useless probings
143.89/143.94	c presolving (7 rounds):
143.89/143.94	c  410 deleted vars, 805 deleted constraints, 20762 tightened bounds, 0 added holes, 1078 changed sides, 2158 changed coefficients
143.89/143.94	c  1091111 implications, 0 cliques
143.89/143.94	c presolved problem has 62492 variables (41738 bin, 0 int, 0 impl, 20754 cont) and 80941 constraints
143.89/143.94	c   20754 constraints of type <indicator>
143.89/143.94	c       4 constraints of type <varbound>
143.89/143.94	c    1420 constraints of type <knapsack>
143.89/143.94	c   20750 constraints of type <linear>
143.89/143.94	c   38013 constraints of type <logicor>
143.89/143.94	c transformed objective value is always integral (scale: 1)
143.89/143.94	c Presolving Time: 142.88
143.89/143.94	c - non default parameters ----------------------------------------------------------------------
143.89/143.94	c # SCIP version 1.2.1.2
143.89/143.94	c 
143.89/143.94	c # frequency for displaying node information lines
143.89/143.94	c # [type: int, range: [-1,2147483647], default: 100]
143.89/143.94	c display/freq = 10000
143.89/143.94	c 
143.89/143.94	c # maximal time in seconds to run
143.89/143.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
143.89/143.94	c limits/time = 1799.46
143.89/143.94	c 
143.89/143.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
143.89/143.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
143.89/143.94	c limits/memory = 3420
143.89/143.94	c 
143.89/143.94	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
143.89/143.94	c # [type: int, range: [-1,2147483647], default: 1]
143.89/143.94	c lp/solvefreq = -1
143.89/143.94	c 
143.89/143.94	c # should presolving try to simplify inequalities
143.89/143.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
143.89/143.94	c constraints/linear/simplifyinequalities = TRUE
143.89/143.94	c 
143.89/143.94	c # should presolving try to simplify knapsacks
143.89/143.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
143.89/143.94	c constraints/knapsack/simplifyinequalities = TRUE
143.89/143.94	c 
143.89/143.94	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
143.89/143.94	c # [type: int, range: [-1,2147483647], default: -1]
143.89/143.94	c separating/rapidlearning/freq = 0
143.89/143.94	c 
143.89/143.94	c -----------------------------------------------------------------------------------------------
143.89/143.94	c start solving
143.89/143.96	c 
144.00/144.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.00/144.10	c   143s|     1 |     2 |     0 |     - | 241M|   0 |   - |  62k|  80k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
457.20/457.21	c   456s| 10000 | 10001 |     0 |   0.0 | 265M| 121 |   - |  62k|  80k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
784.01/784.04	c   782s| 20000 | 19995 |     0 |   0.0 | 289M| 121 |   - |  62k|  80k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1105.72/1105.74	c  1104s| 30000 | 29995 |     0 |   0.0 | 315M| 121 |   - |  62k|  80k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1420.63/1420.65	c  1418s| 40000 | 39993 |     0 |   0.0 | 340M| 121 |   - |  62k|  80k|   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
1735.23/1735.24	c  1732s| 50000 | 49993 |     0 |   0.0 | 363M| 121 |   - |  62k|  80k|   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.02	c 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time (sec) : 1797.01
1800.04/1800.02	c Solving Nodes      : 52074
1800.04/1800.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.02	c Gap                : infinite
1800.04/1800.02	s UNKNOWN
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time       :    1797.01
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2693700-1277915086.wbo
1800.04/1800.02	c   Variables        : 62902 (42141 binary, 0 integer, 0 implicit integer, 20761 continuous)
1800.04/1800.02	c   Constraints      : 81746 initial, 81746 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2693700-1277915086.wbo
1800.04/1800.02	c   Variables        : 62492 (41738 binary, 0 integer, 0 implicit integer, 20754 continuous)
1800.04/1800.02	c   Constraints      : 80941 initial, 80944 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.00         13          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.03          0        359          0          0          0          0          0          0
1800.04/1800.02	c   probing          :     141.93          1         25          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.02          0          0          0          0          0          7          0          0
1800.04/1800.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   knapsack         :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       0.57          7          5          0      20762          0        798       1078       2158
1800.04/1800.02	c   logicor          :       0.08          0          0          0          0          0          0          0          0
1800.04/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :      20754          0     311412          0      52070          0       9448          0          0          0
1800.04/1800.02	c   varbound         :          4          0     282628          0      52070          0          0          0          0          0
1800.04/1800.02	c   knapsack         :       1420          0     282628          0      52070          0          3          0          0          0
1800.04/1800.02	c   linear           :      20750          0     311412          0      52070          0       9444          0          0          0
1800.04/1800.02	c   logicor          :      38013+         0     273952          0      52070          4    1905098          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0          0      52070          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c   indicator        :     355.02       0.00     181.22       0.00     173.80
1800.04/1800.02	c   varbound         :       0.46       0.00       0.40       0.00       0.06
1800.04/1800.02	c   knapsack         :      15.84       0.00      15.73       0.00       0.11
1800.04/1800.02	c   linear           :     251.78       0.00     251.36       0.00       0.42
1800.04/1800.02	c   logicor          :     382.55       0.00       9.90       0.00     372.65
1800.04/1800.02	c   countsols        :       0.03       0.00       0.00       0.00       0.03
1800.04/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :       0.22       4203          0          0
1800.04/1800.02	c   rootredcost      :       0.19          0          0          0
1800.04/1800.02	c   pseudoobj        :     282.50     281933          0          0
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :       0.00          4          4          4        3.0          0        0.0          -
1800.04/1800.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   applied globally :          -          -          -          4        3.0          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.02	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.02	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.02	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.02	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.02	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :     439.57      52070          0          0          0          0     104140
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.00          -          0
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   oneopt           :       0.01          0          0
1800.04/1800.02	c   trivial          :       0.15          2          0
1800.04/1800.02	c   simplerounding   :       0.00          0          0
1800.04/1800.02	c   zirounding       :       0.00          0          0
1800.04/1800.02	c   rounding         :       0.00          0          0
1800.04/1800.02	c   shifting         :       0.00          0          0
1800.04/1800.02	c   intshifting      :       0.00          0          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   feaspump         :       0.00          0          0
1800.04/1800.02	c   coefdiving       :       0.00          0          0
1800.04/1800.02	c   pscostdiving     :       0.00          0          0
1800.04/1800.02	c   fracdiving       :       0.00          0          0
1800.04/1800.02	c   veclendiving     :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   objpscostdiving  :       0.00          0          0
1800.04/1800.02	c   rootsoldiving    :       0.00          0          0
1800.04/1800.02	c   linesearchdiving :       0.00          0          0
1800.04/1800.02	c   guideddiving     :       0.00          0          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.00          0          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   crossover        :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   nlp              :       0.01          0          0
1800.04/1800.02	c   trysol           :       0.05          1          0
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.02	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.02	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.02	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :      52074
1800.04/1800.02	c   nodes (total)    :      52074
1800.04/1800.02	c   nodes left       :      52067
1800.04/1800.02	c   max depth        :        121
1800.04/1800.02	c   max depth (total):        121
1800.04/1800.02	c   backtracks       :        822 (1.6%)
1800.04/1800.02	c   delayed cutoffs  :          0
1800.04/1800.02	c   repropagations   :         74 (298 domain reductions, 0 cutoffs)
1800.04/1800.02	c   avg switch length:       2.45
1800.04/1800.02	c   switching time   :       7.25
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :          0 (0 improvements)
1800.04/1800.02	c   Primal Bound     :          -
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :          0
1800.43/1800.42	c Time complete: 1800.46.

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-2693700-1277915086/watcher-2693700-1277915086 -o /tmp/evaluation-result-2693700-1277915086/solver-2693700-1277915086 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693700-1277915086.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.92 1.98 2.02 4/178 13726
/proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=8300 CPUtime=0
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 1553 0 0 0 0 0 0 0 24 0 1 0 132805575 8499200 1475 4089446400 4194304 7136930 140735926324672 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13726/statm: 2075 1475 275 719 0 1354 0

[startup+0.02433 s]
/proc/loadavg: 1.92 1.98 2.02 4/178 13726
/proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=11868 CPUtime=0.02
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 2463 0 0 0 2 0 0 0 24 0 1 0 132805575 12152832 2385 4089446400 4194304 7136930 140735926324672 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13726/statm: 2967 2385 275 719 0 2246 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11868

[startup+0.100325 s]
/proc/loadavg: 1.92 1.98 2.02 4/178 13726
/proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=26892 CPUtime=0.09
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 6225 0 0 0 9 0 0 0 24 0 1 0 132805575 27537408 6147 4089446400 4194304 7136930 140735926324672 18446744073709551615 6269137 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13726/statm: 6723 6147 275 719 0 6002 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26892

[startup+0.300313 s]
/proc/loadavg: 1.92 1.98 2.02 4/178 13726
/proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=58136 CPUtime=0.29
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 14026 0 0 0 27 2 0 0 25 0 1 0 132805575 59531264 13948 4089446400 4194304 7136930 140735926324672 18446744073709551615 4400167 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13726/statm: 14534 13948 275 719 0 13813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58136

[startup+0.700212 s]
/proc/loadavg: 1.92 1.98 2.02 4/178 13726
/proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=192788 CPUtime=0.69
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 47726 0 0 0 63 6 0 0 25 0 1 0 132805575 197414912 47258 4089446400 4194304 7136930 140735926324672 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13726/statm: 48197 47258 289 719 0 47476 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 192788

[startup+1.50113 s]
/proc/loadavg: 1.92 1.98 2.02 3/179 13727
/proc/meminfo: memFree=31030048/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=264128 CPUtime=1.49
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 67058 0 0 0 136 13 0 0 25 0 1 0 132805575 270467072 63889 4089446400 4194304 7136930 140735926324672 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13726/statm: 66032 63889 368 719 0 65311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 264128

[startup+3.10079 s]
/proc/loadavg: 1.92 1.98 2.02 3/179 13727
/proc/meminfo: memFree=31007976/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=266036 CPUtime=3.09
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 67501 0 0 0 295 14 0 0 25 0 1 0 132805575 272420864 64332 4089446400 4194304 7136930 140735926324672 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13726/statm: 66509 64332 368 719 0 65788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 266036

[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 2.02 3/179 13727
/proc/meminfo: memFree=31003580/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=269052 CPUtime=6.29
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 68254 0 0 0 615 14 0 0 25 0 1 0 132805575 275509248 65085 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13726/statm: 67263 65085 368 719 0 66542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 269052

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 2.02 3/179 13727
/proc/meminfo: memFree=30995892/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=275388 CPUtime=12.7
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 69862 0 0 0 1255 15 0 0 25 0 1 0 132805575 281997312 66693 4089446400 4194304 7136930 140735926324672 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13726/statm: 68847 66693 368 719 0 68126 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 275388

[startup+25.5008 s]
/proc/loadavg: 1.95 1.98 2.02 3/179 13727
/proc/meminfo: memFree=30986680/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=281644 CPUtime=25.49
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 71415 0 0 0 2532 17 0 0 25 0 1 0 132805575 288403456 68246 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13726/statm: 70411 68246 374 719 0 69690 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 281644

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 2.02 3/179 13728
/proc/meminfo: memFree=30965872/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=291848 CPUtime=51.1
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 73829 0 0 0 5090 20 0 0 25 0 1 0 132805575 298852352 70660 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 72962 70660 374 719 0 72241 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 291848

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 2.01 3/179 13729
/proc/meminfo: memFree=30940668/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=296660 CPUtime=102.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 75024 0 0 0 10204 26 0 0 25 0 1 0 132805575 303779840 71855 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 74165 71855 374 719 0 73444 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 296660

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 13731
/proc/meminfo: memFree=30886680/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=333816 CPUtime=162.29
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 89090 0 0 0 16190 39 0 0 25 0 1 0 132805575 341827584 80113 4089446400 4194304 7136930 140735926324672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 83454 80113 406 719 0 82733 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 333816

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 13733
/proc/meminfo: memFree=30852048/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=339064 CPUtime=222.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 90359 0 0 0 22182 48 0 0 25 0 1 0 132805575 347201536 81382 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 84766 81382 406 719 0 84045 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 339064

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 13735
/proc/meminfo: memFree=30819772/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=344688 CPUtime=282.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 91701 0 0 0 28175 55 0 0 25 0 1 0 132805575 352960512 82724 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 86172 82724 406 719 0 85451 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 344688

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/179 13736
/proc/meminfo: memFree=30788848/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=350392 CPUtime=342.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 93083 0 0 0 34168 62 0 0 25 0 1 0 132805575 358801408 84106 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 87598 84106 406 719 0 86877 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 350392

[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 13740
/proc/meminfo: memFree=30761896/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=354336 CPUtime=402.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 94012 0 0 0 40161 69 0 0 25 0 1 0 132805575 362840064 85035 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 88584 85035 406 719 0 87863 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 354336

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13742
/proc/meminfo: memFree=30731156/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=359304 CPUtime=462.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 95178 0 0 0 46153 77 0 0 25 0 1 0 132805575 367927296 86201 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 89826 86201 406 719 0 89105 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 359304

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13744
/proc/meminfo: memFree=30707436/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=363156 CPUtime=522.3
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 96118 0 0 0 52145 85 0 0 25 0 1 0 132805575 371871744 87141 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 90789 87141 406 719 0 90068 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 363156

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13746
/proc/meminfo: memFree=30675784/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=368824 CPUtime=582.31
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 97491 0 0 0 58137 94 0 0 25 0 1 0 132805575 377675776 88514 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 92206 88514 406 719 0 91485 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 368824

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13747
/proc/meminfo: memFree=30654424/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=372728 CPUtime=642.31
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 98395 0 0 0 64128 103 0 0 25 0 1 0 132805575 381673472 89418 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 93182 89418 406 719 0 92461 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 372728

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13783
/proc/meminfo: memFree=31157892/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=405176 CPUtime=942.31
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 106222 0 0 0 94090 141 0 0 25 0 1 0 132805575 414900224 97245 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 101294 97245 410 719 0 100573 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 405176

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13784
/proc/meminfo: memFree=31131924/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=410080 CPUtime=1002.31
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 107380 0 0 0 100082 149 0 0 25 0 1 0 132805575 419921920 98403 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 102520 98403 410 719 0 101799 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 410080

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13786
/proc/meminfo: memFree=31107468/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=415804 CPUtime=1062.31
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 108704 0 0 0 106074 157 0 0 25 0 1 0 132805575 425783296 99727 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 103951 99727 410 719 0 103230 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 415804

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13788
/proc/meminfo: memFree=31080264/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=422224 CPUtime=1122.31
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 110218 0 0 0 112067 164 0 0 25 0 1 0 132805575 432357376 101241 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 105556 101241 410 719 0 104835 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 422224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13790
/proc/meminfo: memFree=31055168/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=427468 CPUtime=1182.32
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 111452 0 0 0 118059 173 0 0 25 0 1 0 132805575 437727232 102475 4089446400 4194304 7136930 140735926324672 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 106867 102475 410 719 0 106146 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 427468

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13791
/proc/meminfo: memFree=31029208/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=435904 CPUtime=1242.32
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 113488 0 0 0 124051 181 0 0 25 0 1 0 132805575 446365696 104511 4089446400 4194304 7136930 140735926324672 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 108976 104511 410 719 0 108255 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 435904

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13793
/proc/meminfo: memFree=31001016/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=442024 CPUtime=1302.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 114835 0 0 0 130045 188 0 0 25 0 1 0 132805575 452632576 105858 4089446400 4194304 7136930 140735926324672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 110506 105858 410 719 0 109785 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 442024

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13794
/proc/meminfo: memFree=30980764/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=446500 CPUtime=1362.32
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 115918 0 0 0 136036 196 0 0 25 0 1 0 132805575 457216000 106941 4089446400 4194304 7136930 140735926324672 18446744073709551615 5507413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 111625 106941 410 719 0 110904 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 446500

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13796
/proc/meminfo: memFree=30955676/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=451396 CPUtime=1422.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 117053 0 0 0 142029 204 0 0 25 0 1 0 132805575 462229504 108076 4089446400 4194304 7136930 140735926324672 18446744073709551615 4696948 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 112849 108076 410 719 0 112128 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 451396

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13798
/proc/meminfo: memFree=30930968/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=456976 CPUtime=1482.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 118407 0 0 0 148020 213 0 0 25 0 1 0 132805575 467943424 109430 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 114244 109430 410 719 0 113523 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 456976

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13799
/proc/meminfo: memFree=30907720/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=460932 CPUtime=1542.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 119326 0 0 0 154013 220 0 0 25 0 1 0 132805575 471994368 110349 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697603 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 115233 110349 410 719 0 114512 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 460932

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13800
/proc/meminfo: memFree=30884112/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=465440 CPUtime=1602.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 120450 0 0 0 160005 228 0 0 25 0 1 0 132805575 476610560 111473 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 116360 111473 410 719 0 115639 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 465440

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13802
/proc/meminfo: memFree=30863228/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=468992 CPUtime=1662.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 121311 0 0 0 165997 236 0 0 25 0 1 0 132805575 480247808 112334 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 117248 112334 410 719 0 116527 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 468992

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13804
/proc/meminfo: memFree=30838864/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=472704 CPUtime=1722.34
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 122098 0 0 0 171989 245 0 0 25 0 1 0 132805575 484048896 113121 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 118176 113121 410 719 0 117455 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 472704

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 13806
/proc/meminfo: memFree=30816132/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=479052 CPUtime=1782.33
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123486 0 0 0 177981 252 0 0 25 0 1 0 132805575 490549248 114509 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 119763 114509 410 719 0 119042 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 479052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13806
/proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=479788 CPUtime=1800.04
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123690 0 0 0 179750 254 0 0 25 0 1 0 132805575 491302912 114713 4089446400 4194304 7136930 140735926324672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13726/statm: 119947 114713 410 719 0 119226 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 479788

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.04 2.01 2.00 3/179 13806
/proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=464908 CPUtime=1800.23
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123696 0 0 0 179769 254 0 0 25 0 1 0 132805575 476065792 111365 4089446400 4194304 7136930 140735926324672 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13726/statm: 116227 111365 416 719 0 115506 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 464908

[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13806
/proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528
[pid=13726] ppid=13724 vsize=103636 CPUtime=1800.43
/proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123696 0 0 0 179788 255 0 0 25 0 1 0 132805575 106123264 24765 4089446400 4194304 7136930 140735926324672 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13726/statm: 25909 24765 416 719 0 25188 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 103636

Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.47
CPU user time (s): 1797.9
CPU system time (s): 2.56561
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 479788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.9
system time used= 2.56561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123703
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= 1
involuntary context switches= 3074

runsolver used 3.15052 second user time and 6.60699 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 18:24:46
IDJOB=2693700
IDBENCH=79046
IDSOLVER=1206
FILE ID=node120/2693700-1277915086
PBS_JOBID= 11197310
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-ooo.burch_dill.8.accl.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-2693700-1277915086/watcher-2693700-1277915086 -o /tmp/evaluation-result-2693700-1277915086/solver-2693700-1277915086 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693700-1277915086.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 7efdf9913882433684cdc1d0f3b36335
RANDOM SEED=1868446209

node120.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.820
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.820
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.820
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.80
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.820
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.74
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.820
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.82
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.820
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.68
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.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31265076 kB
Buffers:        199628 kB
Cached:         941896 kB
SwapCached:          0 kB
Active:         946684 kB
Inactive:       595968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31265076 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5080 kB
Writeback:           0 kB
AnonPages:      401820 kB
Mapped:          17796 kB
Slab:            78532 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   556016 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= 74204 MiB
End job on node120 at 2010-06-30 18:54:48