Trace number 2692420

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1801.37 1801.33

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: SoPlex 1.4.2] [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-2692420-1277915038.wbo>
0.49/0.55	c original problem has 62902 variables (42141 bin, 0 int, 0 impl, 20761 cont) and 81746 constraints
0.49/0.55	c problem read
0.49/0.55	c presolving settings loaded
0.79/0.89	c presolving:
1.10/1.17	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.22	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.25	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.39/20.43	c    (19.7s) probing: 1000/41765 (2.4%) - 1 fixings, 6 aggregations, 70101 implications, 0 bound changes
36.89/36.95	c    (36.2s) probing: 2000/41765 (4.8%) - 1 fixings, 11 aggregations, 100717 implications, 0 bound changes
51.39/51.42	c    (50.7s) probing: 3000/41765 (7.2%) - 1 fixings, 16 aggregations, 120937 implications, 0 bound changes
64.19/64.24	c    (63.5s) probing: 4000/41765 (9.6%) - 1 fixings, 18 aggregations, 133179 implications, 0 bound changes
76.49/76.55	c    (75.8s) probing: 5000/41765 (12.0%) - 1 fixings, 20 aggregations, 142181 implications, 0 bound changes
88.19/88.27	c    (87.5s) probing: 6000/41765 (14.4%) - 1 fixings, 20 aggregations, 146901 implications, 0 bound changes
99.09/99.14	c    (98.3s) probing: 7000/41765 (16.8%) - 1 fixings, 24 aggregations, 150037 implications, 0 bound changes
110.69/110.70	c    (109.9s) probing: 8000/41765 (19.2%) - 1 fixings, 24 aggregations, 156178 implications, 0 bound changes
122.00/122.08	c    (121.2s) probing: 9000/41765 (21.5%) - 1 fixings, 25 aggregations, 159875 implications, 0 bound changes
133.39/133.40	c    (132.5s) probing: 10000/41765 (23.9%) - 1 fixings, 25 aggregations, 162795 implications, 0 bound changes
136.59/136.62	c    (135.8s) probing: 10292/41765 (24.6%) - 1 fixings, 25 aggregations, 163273 implications, 0 bound changes
136.59/136.62	c    (135.8s) probing aborted: 2000/2000 successive useless probings
136.59/136.62	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
136.59/136.70	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
136.89/136.96	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
139.60/139.60	c    (138.7s) probing: 10492/41765 (25.1%) - 1 fixings, 25 aggregations, 166708 implications, 0 bound changes
139.60/139.60	c    (138.7s) probing aborted: 2000/2000 successive useless probings
139.60/139.61	c presolving (7 rounds):
139.60/139.61	c  410 deleted vars, 805 deleted constraints, 20762 tightened bounds, 0 added holes, 1078 changed sides, 2158 changed coefficients
139.60/139.61	c  1091111 implications, 0 cliques
139.60/139.61	c presolved problem has 62492 variables (41738 bin, 0 int, 0 impl, 20754 cont) and 80941 constraints
139.60/139.61	c   20754 constraints of type <indicator>
139.60/139.61	c       4 constraints of type <varbound>
139.60/139.61	c    1420 constraints of type <knapsack>
139.60/139.61	c   20750 constraints of type <linear>
139.60/139.61	c   38013 constraints of type <logicor>
139.60/139.61	c transformed objective value is always integral (scale: 1)
139.60/139.61	c Presolving Time: 138.51
139.60/139.61	c - non default parameters ----------------------------------------------------------------------
139.60/139.61	c # SCIP version 1.2.1.2
139.60/139.61	c 
139.60/139.61	c # frequency for displaying node information lines
139.60/139.61	c # [type: int, range: [-1,2147483647], default: 100]
139.60/139.61	c display/freq = 10000
139.60/139.61	c 
139.60/139.61	c # maximal time in seconds to run
139.60/139.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
139.60/139.61	c limits/time = 1799.47
139.60/139.61	c 
139.60/139.61	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
139.60/139.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
139.60/139.61	c limits/memory = 3420
139.60/139.61	c 
139.60/139.61	c # should presolving try to simplify inequalities
139.60/139.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
139.60/139.61	c constraints/linear/simplifyinequalities = TRUE
139.60/139.61	c 
139.60/139.61	c # should presolving try to simplify knapsacks
139.60/139.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
139.60/139.61	c constraints/knapsack/simplifyinequalities = TRUE
139.60/139.61	c 
139.60/139.61	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
139.60/139.61	c # [type: int, range: [-1,2147483647], default: -1]
139.60/139.61	c separating/rapidlearning/freq = 0
139.60/139.61	c 
139.60/139.61	c -----------------------------------------------------------------------------------------------
139.60/139.61	c start solving
139.60/139.63	c 
140.29/140.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
140.29/140.32	c   139s|     1 |     0 |  1918 |     - | 273M|   0 | 992 |  62k|  80k|  62k|  39k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
149.20/149.25	c   148s|     1 |     0 |  5881 |     - | 276M|   0 |1254 |  62k|  80k|  62k|  39k| 369 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
154.20/154.23	c   153s|     1 |     0 |  7270 |     - | 276M|   0 |1814 |  62k|  80k|  62k|  40k| 781 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
163.90/163.99	c   162s|     1 |     0 |  9604 |     - | 277M|   0 |2085 |  62k|  80k|  62k|  40k|1202 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
171.39/171.43	c   169s|     1 |     0 | 12120 |     - | 277M|   0 |2303 |  62k|  80k|  62k|  41k|1747 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
186.49/186.52	c   183s|     1 |     0 | 15481 |     - | 278M|   0 |2520 |  62k|  80k|  62k|  41k|2176 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
203.39/203.48	c   199s|     1 |     0 | 19243 |     - | 279M|   0 |2842 |  62k|  80k|  62k|  42k|2751 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
239.49/239.58	c   235s|     1 |     2 | 19243 |     - | 279M|   0 |2842 |  62k|  80k|  62k|  42k|2751 |   0 |  20 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.83/1800.87	c 
1800.83/1800.87	c SCIP Status        : solving was interrupted [user interrupt]
1800.83/1800.87	c Solving Time (sec) : 1779.69
1800.83/1800.87	c Solving Nodes      : 1012
1800.83/1800.87	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.83/1800.87	c Dual Bound         : +0.00000000000000e+00
1800.83/1800.87	c Gap                : infinite
1800.83/1800.87	s UNKNOWN
1800.83/1800.87	c SCIP Status        : solving was interrupted [user interrupt]
1800.83/1800.87	c Solving Time       :    1779.69
1800.83/1800.87	c Original Problem   :
1800.83/1800.87	c   Problem name     : HOME/instance-2692420-1277915038.wbo
1800.83/1800.87	c   Variables        : 62902 (42141 binary, 0 integer, 0 implicit integer, 20761 continuous)
1800.83/1800.87	c   Constraints      : 81746 initial, 81746 maximal
1800.83/1800.87	c Presolved Problem  :
1800.83/1800.87	c   Problem name     : t_HOME/instance-2692420-1277915038.wbo
1800.83/1800.87	c   Variables        : 62492 (41738 binary, 0 integer, 0 implicit integer, 20754 continuous)
1800.83/1800.87	c   Constraints      : 80941 initial, 82155 maximal
1800.83/1800.87	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.83/1800.87	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.83/1800.87	c   dualfix          :       0.03         13          0          0          0          0          0          0          0
1800.83/1800.87	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.83/1800.87	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.83/1800.87	c   implics          :       0.03          0        359          0          0          0          0          0          0
1800.83/1800.87	c   probing          :     137.62          1         25          0          0          0          0          0          0
1800.83/1800.87	c   indicator        :       0.03          0          0          0          0          0          7          0          0
1800.83/1800.87	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.83/1800.87	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.83/1800.87	c   linear           :       0.51          7          5          0      20762          0        798       1078       2158
1800.83/1800.87	c   logicor          :       0.08          0          0          0          0          0          0          0          0
1800.83/1800.87	c   root node        :          -          1          -          -          1          -          -          -          -
1800.83/1800.87	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.83/1800.87	c   integral         :          0          0          0       1012          0          0          3          0          0       2020
1800.83/1800.87	c   indicator        :      20754          0      50377          0          0          0         64          0          0          0
1800.83/1800.87	c   varbound         :          4          6      21593          0          0          0          0          2          0          0
1800.83/1800.87	c   knapsack         :       1420          6      21593          0          0        207         20       1202          0          0
1800.83/1800.87	c   linear           :      20750          6      50170          0          0          0         64       1200          0          0
1800.83/1800.87	c   logicor          :      38013+         6      16856          0          0          7      18041          0          0          0
1800.83/1800.87	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.83/1800.87	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.83/1800.87	c   integral         :     497.36       0.00       0.00     497.36       0.00
1800.83/1800.87	c   indicator        :      36.72       0.00      36.72       0.00       0.00
1800.83/1800.87	c   varbound         :       0.01       0.00       0.01       0.00       0.00
1800.83/1800.87	c   knapsack         :       2.39       0.03       2.36       0.00       0.00
1800.83/1800.87	c   linear           :      84.43       0.02      84.41       0.00       0.00
1800.83/1800.87	c   logicor          :       0.73       0.01       0.72       0.00       0.00
1800.83/1800.87	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.83/1800.87	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.83/1800.87	c   vbounds          :       0.01        360          0          1
1800.83/1800.87	c   rootredcost      :       0.01          0          0          0
1800.83/1800.87	c   pseudoobj        :      29.59      20898          0          0
1800.83/1800.87	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.83/1800.87	c   propagation      :       0.00        214        214        574       11.5          9       10.6          -
1800.83/1800.87	c   infeasible LP    :       6.53        738        738        762        4.0          1        5.0          0
1800.83/1800.87	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.83/1800.87	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.83/1800.87	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.83/1800.87	c   applied globally :          -          -          -       1218        6.6          -          -          -
1800.83/1800.87	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.83/1800.87	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.83/1800.87	c   cut pool         :       0.00          5          -          -        540          -    (maximal pool size: 3414)
1800.83/1800.87	c   redcost          :       4.07       1017          0          0          0          0
1800.83/1800.87	c   impliedbounds    :       0.04          6          0          0        497          0
1800.83/1800.87	c   intobj           :       0.00          0          0          0          0          0
1800.83/1800.87	c   cgmip            :       0.00          0          0          0          0          0
1800.83/1800.87	c   gomory           :       7.67          6          0          0       3000          0
1800.83/1800.87	c   strongcg         :      14.73          6          0          0       3000          0
1800.83/1800.87	c   cmir             :       6.44          6          0          0          0          0
1800.83/1800.87	c   flowcover        :       8.77          6          0          0       1202          0
1800.83/1800.87	c   clique           :       1.69          6          0          0         36          0
1800.83/1800.87	c   zerohalf         :       0.00          0          0          0          0          0
1800.83/1800.87	c   mcf              :       0.17          1          0          0          0          0
1800.83/1800.87	c   rapidlearning    :       0.00          0          0          0          0          0
1800.83/1800.87	c Pricers            :       Time      Calls       Vars
1800.83/1800.87	c   problem variables:       0.00          0          0
1800.83/1800.87	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.83/1800.87	c   relpscost        :     497.36       1012          0          3          0          0       2020
1800.83/1800.87	c   pscost           :       0.00          0          0          0          0          0          0
1800.83/1800.87	c   inference        :       0.00          0          0          0          0          0          0
1800.83/1800.87	c   mostinf          :       0.00          0          0          0          0          0          0
1800.83/1800.87	c   leastinf         :       0.00          0          0          0          0          0          0
1800.83/1800.87	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.83/1800.87	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.83/1800.87	c   random           :       0.00          0          0          0          0          0          0
1800.83/1800.87	c Primal Heuristics  :       Time      Calls      Found
1800.83/1800.87	c   LP solutions     :       0.00          -          0
1800.83/1800.87	c   pseudo solutions :       0.00          -          0
1800.83/1800.87	c   oneopt           :       0.00          0          0
1800.83/1800.87	c   crossover        :       0.00          0          0
1800.83/1800.87	c   guideddiving     :       0.00          0          0
1800.83/1800.87	c   objpscostdiving  :      61.23          1          0
1800.83/1800.87	c   coefdiving       :     159.40          3          0
1800.83/1800.87	c   pscostdiving     :     102.70          3          0
1800.83/1800.87	c   fracdiving       :      88.86          4          0
1800.83/1800.87	c   veclendiving     :     100.79          5          0
1800.83/1800.87	c   linesearchdiving :     111.61          5          0
1800.83/1800.87	c   feaspump         :      20.74          3          0
1800.83/1800.87	c   rootsoldiving    :      24.01          3          0
1800.83/1800.87	c   intshifting      :      20.92         10          0
1800.83/1800.87	c   trivial          :       0.15          2          0
1800.83/1800.87	c   simplerounding   :       0.01       1018          0
1800.83/1800.87	c   zirounding       :       2.16       1000          0
1800.83/1800.87	c   rounding         :       1.20        404          0
1800.83/1800.87	c   shifting         :      11.66        101          0
1800.83/1800.87	c   twoopt           :       0.00          0          0
1800.83/1800.87	c   fixandinfer      :       0.00          0          0
1800.83/1800.87	c   intdiving        :       0.00          0          0
1800.83/1800.87	c   actconsdiving    :       0.00          0          0
1800.83/1800.87	c   octane           :       0.00          0          0
1800.83/1800.87	c   rens             :       0.42          1          0
1800.83/1800.87	c   rins             :       0.00          0          0
1800.83/1800.87	c   localbranching   :       0.00          0          0
1800.83/1800.87	c   mutation         :       0.00          0          0
1800.83/1800.87	c   dins             :       0.00          0          0
1800.83/1800.87	c   undercover       :       0.00          0          0
1800.83/1800.87	c   nlp              :       0.00          0          0
1800.83/1800.87	c   trysol           :       0.42         14          0
1800.83/1800.87	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.83/1800.87	c   primal LP        :       0.02          0          0       0.00       0.00
1800.83/1800.87	c   dual LP          :     363.81       1019     242431     237.91     666.37
1800.83/1800.87	c   lex dual LP      :       0.00          0          0       0.00          -
1800.83/1800.87	c   barrier LP       :       0.00          0          0       0.00          -
1800.83/1800.87	c   diving/probing LP:     479.98       8801     295075      33.53     614.77
1800.83/1800.87	c   strong branching :     496.59        993     241146     242.85     485.60
1800.83/1800.87	c     (at root node) :          -         20      17012     850.60          -
1800.83/1800.87	c   conflict analysis:       0.00          0          0       0.00          -
1800.83/1800.87	c B&B Tree           :
1800.83/1800.87	c   number of runs   :          1
1800.83/1800.87	c   nodes            :       1012
1800.83/1800.87	c   nodes (total)    :       1012
1800.83/1800.87	c   nodes left       :       1008
1800.83/1800.87	c   max depth        :         71
1800.83/1800.87	c   max depth (total):         71
1800.83/1800.87	c   backtracks       :         27 (2.7%)
1800.83/1800.87	c   delayed cutoffs  :          1
1800.83/1800.87	c   repropagations   :         59 (63 domain reductions, 0 cutoffs)
1800.83/1800.87	c   avg switch length:       2.20
1800.83/1800.87	c   switching time   :       1.13
1800.83/1800.87	c Solution           :
1800.83/1800.87	c   Solutions found  :          0 (0 improvements)
1800.83/1800.87	c   Primal Bound     :          -
1800.83/1800.87	c   Dual Bound       : +0.00000000000000e+00
1800.83/1800.87	c   Gap              :   infinite
1800.83/1800.87	c   Root Dual Bound  : +0.00000000000000e+00
1800.83/1800.87	c   Root Iterations  :      19243
1801.32/1801.33	c Time complete: 1801.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-2692420-1277915038/watcher-2692420-1277915038 -o /tmp/evaluation-result-2692420-1277915038/solver-2692420-1277915038 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692420-1277915038.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.94 1.99 1.99 4/178 14301
/proc/meminfo: memFree=30914932/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=9448 CPUtime=0
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 1667 0 0 0 0 0 0 0 23 0 1 0 132800189 9674752 1586 4089446400 4194304 8223781 140737366785104 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14301/statm: 2362 1588 369 984 0 1375 0

[startup+0.0109321 s]
/proc/loadavg: 1.94 1.99 1.99 4/178 14301
/proc/meminfo: memFree=30914932/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=10776 CPUtime=0
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 1998 0 0 0 0 0 0 0 23 0 1 0 132800189 11034624 1917 4089446400 4194304 8223781 140737366785104 18446744073709551615 4373975 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14301/statm: 2694 1917 369 984 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10776

[startup+0.100917 s]
/proc/loadavg: 1.94 1.99 1.99 4/178 14301
/proc/meminfo: memFree=30914932/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=28040 CPUtime=0.09
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 6327 0 0 0 9 0 0 0 23 0 1 0 132800189 28712960 6246 4089446400 4194304 8223781 140737366785104 18446744073709551615 7246491 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14301/statm: 7010 6246 369 984 0 6023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28040

[startup+0.300882 s]
/proc/loadavg: 1.94 1.99 1.99 4/178 14301
/proc/meminfo: memFree=30914932/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=59280 CPUtime=0.28
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 14128 0 0 0 27 1 0 0 23 0 1 0 132800189 60702720 14047 4089446400 4194304 8223781 140737366785104 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14301/statm: 14820 14047 369 984 0 13833 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 59280

[startup+0.700809 s]
/proc/loadavg: 1.94 1.99 1.99 4/178 14301
/proc/meminfo: memFree=30914932/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=195772 CPUtime=0.69
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 48266 0 0 0 64 5 0 0 25 0 1 0 132800189 200470528 47758 4089446400 4194304 8223781 140737366785104 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 48943 47758 387 984 0 47956 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 195772

[startup+1.50067 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 14302
/proc/meminfo: memFree=30679696/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=265608 CPUtime=1.49
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 67210 0 0 0 132 17 0 0 25 0 1 0 132800189 271982592 63999 4089446400 4194304 8223781 140737366785104 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 66402 63999 466 984 0 65415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 265608

[startup+3.10039 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 14302
/proc/meminfo: memFree=30658616/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=267516 CPUtime=3.09
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 67654 0 0 0 292 17 0 0 25 0 1 0 132800189 273936384 64443 4089446400 4194304 8223781 140737366785104 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 66879 64443 466 984 0 65892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 267516

[startup+6.30083 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 14302
/proc/meminfo: memFree=30655904/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=271704 CPUtime=6.29
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 68727 0 0 0 611 18 0 0 25 0 1 0 132800189 278224896 65516 4089446400 4194304 8223781 140737366785104 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 67926 65516 466 984 0 66939 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 271704

[startup+12.7007 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 14303
/proc/meminfo: memFree=30649504/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=276868 CPUtime=12.69
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 70018 0 0 0 1250 19 0 0 25 0 1 0 132800189 283512832 66807 4089446400 4194304 8223781 140737366785104 18446744073709551615 5500824 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 69217 66807 466 984 0 68230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 276868

[startup+25.5004 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 14303
/proc/meminfo: memFree=30637160/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=283124 CPUtime=25.48
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 71565 0 0 0 2527 21 0 0 25 0 1 0 132800189 289918976 68354 4089446400 4194304 8223781 140737366785104 18446744073709551615 5500288 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 70781 68354 471 984 0 69794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 283124

[startup+51.1009 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 14304
/proc/meminfo: memFree=30614376/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=293328 CPUtime=51.09
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 73995 0 0 0 5084 25 0 0 25 0 1 0 132800189 300367872 70784 4089446400 4194304 8223781 140737366785104 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 73332 70784 471 984 0 72345 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 293328

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14305
/proc/meminfo: memFree=30586556/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=298140 CPUtime=102.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 75186 0 0 0 10200 30 0 0 25 0 1 0 132800189 305295360 71975 4089446400 4194304 8223781 140737366785104 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 74535 71975 471 984 0 73548 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 298140

[startup+162.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/179 14307
/proc/meminfo: memFree=30457552/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=429620 CPUtime=162.29
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 1177970 0 0 0 16076 153 0 0 25 0 1 0 132800189 439930880 99840 4089446400 4194304 8223781 140737366785104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14301/statm: 107405 99840 588 984 0 106418 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 429620

[startup+222.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14382
/proc/meminfo: memFree=30936588/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=440652 CPUtime=222.29
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 3732208 0 0 0 21836 393 0 0 25 0 1 0 132800189 451227648 102442 4089446400 4194304 8223781 140737366785104 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 110164 102442 601 984 0 109177 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 440652

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14384
/proc/meminfo: memFree=30924008/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=440608 CPUtime=282.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 3908940 0 0 0 27795 435 0 0 25 0 1 0 132800189 451182592 102527 4089446400 4194304 8223781 140737366785104 18446744073709551615 6568187 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 110152 102527 601 984 0 109165 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 440608

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14386
/proc/meminfo: memFree=30902012/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=440652 CPUtime=342.29
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 4093345 0 0 0 33749 480 0 0 25 0 1 0 132800189 451227648 102497 4089446400 4194304 8223781 140737366785104 18446744073709551615 6568209 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 110163 102497 601 984 0 109176 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 440652

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14387
/proc/meminfo: memFree=30885356/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=440424 CPUtime=402.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 4375921 0 0 0 39692 538 0 0 25 0 1 0 132800189 450994176 102469 4089446400 4194304 8223781 140737366785104 18446744073709551615 6569636 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 110106 102469 601 984 0 109119 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 440424

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14392
/proc/meminfo: memFree=30869772/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=440612 CPUtime=462.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 4662721 0 0 0 45633 597 0 0 25 0 1 0 132800189 451186688 102455 4089446400 4194304 8223781 140737366785104 18446744073709551615 6446852 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 110153 102455 601 984 0 109166 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 440612

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14393
/proc/meminfo: memFree=30852892/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=441308 CPUtime=522.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 4868581 0 0 0 51584 646 0 0 25 0 1 0 132800189 451899392 102696 4089446400 4194304 8223781 140737366785104 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 110327 102696 601 984 0 109340 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 441308

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14395
/proc/meminfo: memFree=30830908/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=447624 CPUtime=582.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 5175592 0 0 0 57521 709 0 0 25 0 1 0 132800189 458366976 104328 4089446400 4194304 8223781 140737366785104 18446744073709551615 6567839 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 111906 104328 605 984 0 110919 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 447624

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14397
/proc/meminfo: memFree=30812636/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=448604 CPUtime=642.3
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 5472931 0 0 0 63458 772 0 0 25 0 1 0 132800189 459370496 104436 4089446400 4194304 8223781 140737366785104 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 112151 104436 605 984 0 111164 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 448604

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14408
/proc/meminfo: memFree=30652852/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=459948 CPUtime=1062.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 7878669 0 0 0 104992 1240 0 0 25 0 1 0 132800189 470986752 107295 4089446400 4194304 8223781 140737366785104 18446744073709551615 6567862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 114987 107295 605 984 0 114000 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 459948

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14409
/proc/meminfo: memFree=30625040/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=461760 CPUtime=1122.31
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 8265570 0 0 0 110918 1313 0 0 25 0 1 0 132800189 472842240 107680 4089446400 4194304 8223781 140737366785104 18446744073709551615 6444716 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 115440 107680 605 984 0 114453 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 461760

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14411
/proc/meminfo: memFree=30600448/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=463320 CPUtime=1182.31
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 8605024 0 0 0 116856 1375 0 0 25 0 1 0 132800189 474439680 108114 4089446400 4194304 8223781 140737366785104 18446744073709551615 6567848 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 115830 108114 605 984 0 114843 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 463320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14413
/proc/meminfo: memFree=30578084/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=463392 CPUtime=1242.31
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 8924227 0 0 0 122784 1447 0 0 25 0 1 0 132800189 474513408 108127 4089446400 4194304 8223781 140737366785104 18446744073709551615 6567796 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 115848 108127 605 984 0 114861 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 463392

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14414
/proc/meminfo: memFree=30557960/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=463144 CPUtime=1302.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 9326092 0 0 0 128711 1521 0 0 25 0 1 0 132800189 474259456 108104 4089446400 4194304 8223781 140737366785104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 115786 108104 605 984 0 114799 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 463144

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14416
/proc/meminfo: memFree=30533356/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=465244 CPUtime=1362.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 9614227 0 0 0 134651 1581 0 0 25 0 1 0 132800189 476409856 108593 4089446400 4194304 8223781 140737366785104 18446744073709551615 6002953 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 116311 108593 605 984 0 115324 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 465244

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14417
/proc/meminfo: memFree=30505432/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=468440 CPUtime=1422.33
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 9933676 0 0 0 140589 1644 0 0 25 0 1 0 132800189 479682560 109304 4089446400 4194304 8223781 140737366785104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 117110 109304 605 984 0 116123 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 468440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14419
/proc/meminfo: memFree=30477216/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=472668 CPUtime=1482.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 10358784 0 0 0 146516 1716 0 0 25 0 1 0 132800189 484012032 110281 4089446400 4194304 8223781 140737366785104 18446744073709551615 6296559 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 118167 110281 605 984 0 117180 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 472668

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14421
/proc/meminfo: memFree=30453868/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=472320 CPUtime=1542.33
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 10691917 0 0 0 152448 1785 0 0 25 0 1 0 132800189 483655680 110238 4089446400 4194304 8223781 140737366785104 18446744073709551615 6329834 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 118080 110238 605 984 0 117093 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 472320

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14422
/proc/meminfo: memFree=30429372/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=471828 CPUtime=1602.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 11068248 0 0 0 158378 1854 0 0 25 0 1 0 132800189 483151872 110186 4089446400 4194304 8223781 140737366785104 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 117957 110186 605 984 0 116970 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 471828

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14424
/proc/meminfo: memFree=30400784/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=472896 CPUtime=1662.33
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 11408071 0 0 0 164312 1921 0 0 25 0 1 0 132800189 484245504 110568 4089446400 4194304 8223781 140737366785104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 118224 110568 605 984 0 117237 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 472896

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14425
/proc/meminfo: memFree=30373464/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=476392 CPUtime=1722.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 11750444 0 0 0 170245 1987 0 0 25 0 1 0 132800189 487825408 111156 4089446400 4194304 8223781 140737366785104 18446744073709551615 6567883 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 119098 111156 605 984 0 118111 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 476392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14427
/proc/meminfo: memFree=30342668/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=476684 CPUtime=1782.33
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 12014851 0 0 0 176181 2052 0 0 25 0 1 0 132800189 488124416 111204 4089446400 4194304 8223781 140737366785104 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 119171 111204 605 984 0 118184 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 476684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14427
/proc/meminfo: memFree=30332848/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=476004 CPUtime=1800.04
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 12091030 0 0 0 177934 2070 0 0 25 0 1 0 132800189 487428096 111049 4089446400 4194304 8223781 140737366785104 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 119001 111049 605 984 0 118014 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 476004

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14428
/proc/meminfo: memFree=30331848/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=476488 CPUtime=1800.63
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 12091675 0 0 0 177993 2070 0 0 25 0 1 0 132800189 487923712 111218 4089446400 4194304 8223781 140737366785104 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14301/statm: 119122 111218 605 984 0 118135 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 476488

[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14428
/proc/meminfo: memFree=30331848/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=424632 CPUtime=1801.03
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 12092955 0 0 0 178033 2070 0 0 18 0 1 0 132800189 434823168 99334 4089446400 4194304 8223781 140737366785104 18446744073709551615 4408841 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14301/statm: 106158 99334 607 984 0 105171 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 424632

[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14428
/proc/meminfo: memFree=30331848/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=393960 CPUtime=1801.23
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 12092955 0 0 0 178053 2070 0 0 18 0 1 0 132800189 403415040 91689 4089446400 4194304 8223781 140737366785104 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14301/statm: 98490 91689 607 984 0 97503 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 393960

[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14428
/proc/meminfo: memFree=30331848/32950928 swapFree=4192956/4192956
[pid=14301] ppid=14299 vsize=120584 CPUtime=1801.32
/proc/14301/stat : 14301 (pbscip.linux.x8) R 14299 14301 14276 0 -1 4202496 12092955 0 0 0 178061 2071 0 0 18 0 1 0 132800189 123478016 28160 4089446400 4194304 8223781 140737366785104 18446744073709551615 4698813 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14301/statm: 30146 28160 607 984 0 29159 0
Current children cumulated CPU time (s) 1801.32
Current children cumulated vsize (KiB) 120584

Child status: 0
Real time (s): 1801.33
CPU time (s): 1801.37
CPU user time (s): 1780.65
CPU system time (s): 20.7248
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 598064

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

runsolver used 2.89356 second user time and 6.65799 second system time

The end

Launcher Data 

Begin job on node124 at 2010-06-30 18:23:59
IDJOB=2692420
IDBENCH=79046
IDSOLVER=1204
FILE ID=node124/2692420-1277915038
PBS_JOBID= 11197343
Free space on /tmp= 130616 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692420-1277915038/watcher-2692420-1277915038 -o /tmp/evaluation-result-2692420-1277915038/solver-2692420-1277915038 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692420-1277915038.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 7efdf9913882433684cdc1d0f3b36335
RANDOM SEED=418169993

node124.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.833
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.66
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.833
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.833
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.74
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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.82
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.833
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.74
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.833
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:      30915212 kB
Buffers:        202088 kB
Cached:        1126412 kB
SwapCached:          0 kB
Active:        1086896 kB
Inactive:       832928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30915212 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6796 kB
Writeback:           0 kB
AnonPages:      591688 kB
Mapped:          16944 kB
Slab:            80684 kB
PageTables:       5388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   742200 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130612 MiB
End job on node124 at 2010-06-30 18:54:01