Trace number 2666645

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)18 1800.25 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-2666645-1276657940.opb>
0.05/0.08	c original problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 constraints
0.05/0.08	c problem read
0.05/0.08	c presolving settings loaded
0.09/0.16	c presolving:
0.59/0.65	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 413032 impls, 0 clqs
0.99/1.09	c    (0.8s) probing: 101/6416 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.09	c    (0.8s) probing aborted: 100/100 successive totally useless probings
0.99/1.09	c presolving (2 rounds):
0.99/1.09	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.09	c  413032 implications, 0 cliques
0.99/1.09	c presolved problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 constraints
0.99/1.09	c    6216 constraints of type <and>
0.99/1.09	c     200 constraints of type <logicor>
0.99/1.09	c transformed objective value is always integral (scale: 1)
0.99/1.09	c Presolving Time: 0.76
0.99/1.09	c - non default parameters ----------------------------------------------------------------------
0.99/1.09	c # SCIP version 1.2.1.2
0.99/1.09	c 
0.99/1.09	c # frequency for displaying node information lines
0.99/1.09	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.09	c display/freq = 10000
0.99/1.09	c 
0.99/1.09	c # maximal time in seconds to run
0.99/1.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.09	c limits/time = 1799.93
0.99/1.09	c 
0.99/1.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.09	c limits/memory = 1620
0.99/1.09	c 
0.99/1.09	c # should presolving try to simplify inequalities
0.99/1.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.09	c constraints/linear/simplifyinequalities = TRUE
0.99/1.09	c 
0.99/1.09	c # should presolving try to simplify knapsacks
0.99/1.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.09	c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.09	c 
0.99/1.09	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.09	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.09	c heuristics/undercover/freq = 0
0.99/1.09	c 
0.99/1.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.09	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.09	c separating/rapidlearning/freq = 0
0.99/1.09	c 
0.99/1.09	c -----------------------------------------------------------------------------------------------
0.99/1.09	c start solving
0.99/1.09	c 
1.19/1.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.27	c   0.9s|     1 |     0 |   400 |     - |  38M|   0 | 400 |6416 |6416 |6416 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.29	o 26
1.19/1.29	c s 1.0s|     1 |     0 |   400 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
4.29/4.37	c   3.6s|     1 |     0 |  1000 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  13k| 401 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
5.69/5.73	c   5.0s|     1 |     0 |  1600 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  13k| 802 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
5.69/5.76	o 25
5.69/5.76	c s 5.0s|     1 |     0 |  1600 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  13k| 802 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
7.09/7.17	c   6.4s|     1 |     0 |  2200 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  13k|1205 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
8.59/8.62	c   7.8s|     1 |     0 |  2801 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  14k|1608 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
10.09/10.13	c   9.3s|     1 |     0 |  3401 |     - |  39M|   0 | 400 |6416 |6416 |6416 |  14k|2010 |   0 |   0 | 0.000000e+00 | 2.500000e+01 |    Inf 
10.09/10.16	o 18
10.09/10.16	c s 9.3s|     1 |     0 |  3401 |     - |  40M|   0 | 400 |6416 |6416 |6416 |  14k|2010 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
11.69/11.72	c  10.9s|     1 |     0 |  4001 |     - |  40M|   0 | 400 |6416 |6416 |6416 |  15k|2411 |   0 |   0 | 0.000000e+00 | 1.800000e+01 |    Inf 
13.39/13.42	c  12.5s|     1 |     2 |  4001 |     - |  40M|   0 | 400 |6416 |6416 |6416 |  15k|2411 |   0 |  20 | 0.000000e+00 | 1.800000e+01 |    Inf 
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.53	c 
1800.06/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.53	c Solving Time (sec) : 1771.05
1800.06/1800.53	c Solving Nodes      : 731
1800.06/1800.53	c Primal Bound       : +1.80000000000000e+01 (3 solutions)
1800.06/1800.53	c Dual Bound         : +6.53731475336569e+00
1800.06/1800.53	c Gap                : 175.34 %
1800.06/1800.54	s SATISFIABLE
1800.06/1800.54	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.06/1800.54	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1800.06/1800.54	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.06/1800.54	v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 
1800.06/1800.54	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1800.06/1800.54	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 
1800.06/1800.54	v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
1800.06/1800.54	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 
1800.06/1800.54	v -x19 x18 -x17 -x16 -x15 x14 x13 x12 x11 x10 -x9 x8 x7 x6 x5 x4 x3 x2 x1 
1800.06/1800.54	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.54	c Solving Time       :    1771.05
1800.06/1800.54	c Original Problem   :
1800.06/1800.54	c   Problem name     : HOME/instance-2666645-1276657940.opb
1800.06/1800.54	c   Variables        : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.54	c   Constraints      : 6416 initial, 6416 maximal
1800.06/1800.54	c Presolved Problem  :
1800.06/1800.54	c   Problem name     : t_HOME/instance-2666645-1276657940.opb
1800.06/1800.54	c   Variables        : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.54	c   Constraints      : 6416 initial, 6426 maximal
1800.06/1800.54	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.54	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.54	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.54	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.54	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.54	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.54	c   probing          :       0.24          0          0          0          0          0          0          0          0
1800.06/1800.54	c   and              :       0.46          0          0          0          0          0          0          0          0
1800.06/1800.54	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.54	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.54	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.54	c   integral         :          0          0          0        731          0          0          0          0          0       1462
1800.06/1800.54	c   and              :       6216       3534      23438          0          0          2      34463     181113          0          0
1800.06/1800.54	c   logicor          :        200+         6       6722          0          0          2          0          0          0          0
1800.06/1800.54	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.54	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.54	c   integral         :     475.54       0.00       0.00     475.54       0.00
1800.06/1800.54	c   and              :      34.67      25.00       9.67       0.00       0.00
1800.06/1800.54	c   logicor          :       0.14       0.00       0.14       0.00       0.00
1800.06/1800.54	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.54	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.54	c   vbounds          :       0.03          2          0          0
1800.06/1800.54	c   rootredcost      :       0.04          1          0          0
1800.06/1800.54	c   pseudoobj        :       0.50      23269          3          0
1800.06/1800.54	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.54	c   propagation      :       0.00          7          7         10       25.0          0        0.0          -
1800.06/1800.54	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.54	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.54	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.54	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.54	c   applied globally :          -          -          -         10       25.0          -          -          -
1800.06/1800.54	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.54	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.54	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 2411)
1800.06/1800.54	c   redcost          :       2.42       3534          0          0          0          0
1800.06/1800.54	c   impliedbounds    :       0.02          6          0          0       2400          0
1800.06/1800.54	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.54	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.54	c   gomory           :       0.86          6          0          0       3000          0
1800.06/1800.54	c   strongcg         :       0.88          6          0          0       3000          0
1800.06/1800.54	c   cmir             :       4.42          6          0          0       2400          0
1800.06/1800.54	c   flowcover        :       1.05          6          0          0          0          0
1800.06/1800.54	c   clique           :       0.40          6          0          0         11          0
1800.06/1800.54	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.54	c   mcf              :       0.02          1          0          0          0          0
1800.06/1800.54	c   rapidlearning    :       1.02          1          0          0          0          0
1800.06/1800.54	c Pricers            :       Time      Calls       Vars
1800.06/1800.54	c   problem variables:       0.00          0          0
1800.06/1800.54	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.54	c   relpscost        :     475.53        731          0          0          0          0       1462
1800.06/1800.54	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.54	c   inference        :       0.00          0          0          0          0          0          0
1800.06/1800.54	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.54	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.54	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.54	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.54	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.54	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.54	c   LP solutions     :       0.00          -          0
1800.06/1800.54	c   pseudo solutions :       0.00          -          0
1800.06/1800.54	c   oneopt           :       0.06          3          0
1800.06/1800.54	c   trivial          :       0.02          2          0
1800.06/1800.54	c   simplerounding   :       0.01          0          0
1800.06/1800.54	c   zirounding       :       1.22        731          0
1800.06/1800.54	c   rounding         :       7.73        872          0
1800.06/1800.54	c   shifting         :       5.75        518          3
1800.06/1800.54	c   intshifting      :       0.00          0          0
1800.06/1800.54	c   twoopt           :       0.00          0          0
1800.06/1800.54	c   fixandinfer      :       0.00          0          0
1800.06/1800.54	c   feaspump         :       0.00          0          0
1800.06/1800.54	c   coefdiving       :      68.85         18          0
1800.06/1800.54	c   pscostdiving     :      93.15         11          0
1800.06/1800.54	c   fracdiving       :      81.36         13          0
1800.06/1800.54	c   veclendiving     :      37.32         21          0
1800.06/1800.54	c   intdiving        :       0.00          0          0
1800.06/1800.54	c   actconsdiving    :       0.00          0          0
1800.06/1800.54	c   objpscostdiving  :      69.29          3          0
1800.06/1800.54	c   rootsoldiving    :      16.50          6          0
1800.06/1800.54	c   linesearchdiving :      85.07         15          0
1800.06/1800.54	c   guideddiving     :      90.91         12          0
1800.06/1800.54	c   octane           :       0.00          0          0
1800.06/1800.54	c   rens             :       0.53          1          0
1800.06/1800.54	c   rins             :       0.00          0          0
1800.06/1800.54	c   localbranching   :       0.00          0          0
1800.06/1800.54	c   mutation         :       0.00          0          0
1800.06/1800.54	c   crossover        :       0.23          1          0
1800.06/1800.54	c   dins             :       0.00          0          0
1800.06/1800.54	c   undercover       :       0.01          1          0
1800.06/1800.54	c   nlp              :       0.00          0          0
1800.06/1800.55	c   trysol           :       0.00          0          0
1800.06/1800.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.55	c   primal LP        :       7.01          0          0       0.00       0.00
1800.06/1800.55	c   dual LP          :     662.34       4178     518562     124.12     782.92
1800.06/1800.55	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.55	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.55	c   diving/probing LP:     478.18      11077     300562      27.13     628.55
1800.06/1800.55	c   strong branching :     474.36       2730     360558     132.07     760.09
1800.06/1800.55	c     (at root node) :          -         20        944      47.20          -
1800.06/1800.55	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.55	c B&B Tree           :
1800.06/1800.55	c   number of runs   :          1
1800.06/1800.55	c   nodes            :        731
1800.06/1800.55	c   nodes (total)    :        731
1800.06/1800.55	c   nodes left       :        732
1800.06/1800.55	c   max depth        :         31
1800.06/1800.55	c   max depth (total):         31
1800.06/1800.55	c   backtracks       :        211 (28.9%)
1800.06/1800.55	c   delayed cutoffs  :          0
1800.06/1800.55	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.55	c   avg switch length:       5.42
1800.06/1800.55	c   switching time   :       8.16
1800.06/1800.55	c Solution           :
1800.06/1800.55	c   Solutions found  :          3 (3 improvements)
1800.06/1800.55	c   First Solution   : +2.60000000000000e+01   (in run 1, after 1 nodes, 0.94 seconds, depth 0, found by <shifting>)
1800.06/1800.55	c   Primal Bound     : +1.80000000000000e+01   (in run 1, after 1 nodes, 9.33 seconds, depth 0, found by <shifting>)
1800.06/1800.55	c   Dual Bound       : +6.53731475336569e+00
1800.06/1800.55	c   Gap              :     175.34 %
1800.06/1800.55	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.55	c   Root Iterations  :       4001
1800.17/1800.67	c Time complete: 1800.24.

Verifier Data 

OK	18

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666645-1276657940/watcher-2666645-1276657940 -o /tmp/evaluation-result-2666645-1276657940/solver-2666645-1276657940 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666645-1276657940.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.96 1.00 1.00 3/106 16244
/proc/meminfo: memFree=1780764/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=7724 CPUtime=0
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 1101 0 0 0 0 0 0 0 20 0 1 0 7088523 7909376 1020 1992294400 4194304 8223781 140737225136016 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16244/statm: 1931 1031 348 984 0 944 0

[startup+0.0679489 s]
/proc/loadavg: 0.96 1.00 1.00 3/106 16244
/proc/meminfo: memFree=1780764/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=16172 CPUtime=0.05
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 3334 0 0 0 5 0 0 0 20 0 1 0 7088523 16560128 3254 1992294400 4194304 8223781 140737225136016 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16244/statm: 4043 3266 366 984 0 3056 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16172

[startup+0.101952 s]
/proc/loadavg: 0.96 1.00 1.00 3/106 16244
/proc/meminfo: memFree=1780764/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=23240 CPUtime=0.09
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 5416 0 0 0 8 1 0 0 20 0 1 0 7088523 23797760 4971 1992294400 4194304 8223781 140737225136016 18446744073709551615 4520365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 5810 4971 383 984 0 4823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23240

[startup+0.300972 s]
/proc/loadavg: 0.96 1.00 1.00 3/106 16244
/proc/meminfo: memFree=1780764/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=37696 CPUtime=0.29
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 8733 0 0 0 26 3 0 0 20 0 1 0 7088523 38600704 8288 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 9424 8288 427 984 0 8437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37696

[startup+0.701004 s]
/proc/loadavg: 0.96 1.00 1.00 3/106 16244
/proc/meminfo: memFree=1780764/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=48860 CPUtime=0.69
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 12555 0 0 0 55 14 0 0 21 0 1 0 7088523 50032640 11082 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 12215 11082 447 984 0 11228 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48860

[startup+1.50107 s]
/proc/loadavg: 0.96 1.00 1.00 2/107 16245
/proc/meminfo: memFree=1736612/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=75036 CPUtime=1.49
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 21822 0 0 0 121 28 0 0 23 0 1 0 7088523 76836864 17451 1992294400 4194304 8223781 140737225136016 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 18759 17451 555 984 0 17772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75036

[startup+3.10121 s]
/proc/loadavg: 0.96 1.00 1.00 2/107 16245
/proc/meminfo: memFree=1712308/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=104020 CPUtime=3.09
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 28656 0 0 0 264 45 0 0 25 0 1 0 7088523 106516480 24125 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 26005 24125 577 984 0 25018 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104020

[startup+6.30149 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 16245
/proc/meminfo: memFree=1708092/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=80832 CPUtime=6.29
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 32175 0 0 0 560 69 0 0 25 0 1 0 7088523 82771968 18784 1992294400 4194304 8223781 140737225136016 18446744073709551615 6043682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 20208 18784 585 984 0 19221 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80832

[startup+12.701 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 16245
/proc/meminfo: memFree=1671388/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=85192 CPUtime=12.69
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 44327 0 0 0 1188 81 0 0 25 0 1 0 7088523 87236608 19761 1992294400 4194304 8223781 140737225136016 18446744073709551615 6446963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 21298 19761 586 984 0 20311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85192

[startup+25.5011 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 16245
/proc/meminfo: memFree=1703504/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=85420 CPUtime=25.49
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 73346 0 0 0 2443 106 0 0 25 0 1 0 7088523 87470080 19681 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 21355 19681 587 984 0 20368 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85420

[startup+51.1013 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 16245
/proc/meminfo: memFree=1703504/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=85184 CPUtime=51.08
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 134207 0 0 0 4958 150 0 0 25 0 1 0 7088523 87228416 19662 1992294400 4194304 8223781 140737225136016 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 21296 19662 587 984 0 20309 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85184

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16247
/proc/meminfo: memFree=1703380/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=84516 CPUtime=102.27
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 201718 0 0 0 10028 199 0 0 25 0 1 0 7088523 86544384 19613 1992294400 4194304 8223781 140737225136016 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 21129 19613 589 984 0 20142 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84516

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16249
/proc/meminfo: memFree=1702264/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=87064 CPUtime=162.25
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 345108 0 0 0 15929 296 0 0 25 0 1 0 7088523 89153536 20057 1992294400 4194304 8223781 140737225136016 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 21766 20070 589 984 0 20779 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 87064

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16251
/proc/meminfo: memFree=1700776/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=87944 CPUtime=222.24
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 487380 0 0 0 21839 385 0 0 25 0 1 0 7088523 90054656 20239 1992294400 4194304 8223781 140737225136016 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 21986 20239 589 984 0 20999 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 87944

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16251
/proc/meminfo: memFree=1699660/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=89296 CPUtime=282.22
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 671689 0 0 0 27737 485 0 0 25 0 1 0 7088523 91439104 20559 1992294400 4194304 8223781 140737225136016 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 22324 20559 589 984 0 21337 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 89296

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16253
/proc/meminfo: memFree=1698544/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=90036 CPUtime=342.21
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 861704 0 0 0 33640 581 0 0 25 0 1 0 7088523 92196864 20790 1992294400 4194304 8223781 140737225136016 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 22509 20790 589 984 0 21522 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 90036

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16255
/proc/meminfo: memFree=1697428/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=90876 CPUtime=402.19
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 1032857 0 0 0 39549 670 0 0 25 0 1 0 7088523 93057024 21011 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 22719 21011 589 984 0 21732 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 90876

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16257
/proc/meminfo: memFree=1696436/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=92204 CPUtime=462.18
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 1230735 0 0 0 45443 775 0 0 25 0 1 0 7088523 94416896 21319 1992294400 4194304 8223781 140737225136016 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 23051 21319 589 984 0 22064 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 92204

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16259
/proc/meminfo: memFree=1696684/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=92004 CPUtime=522.16
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 1403958 0 0 0 51345 871 0 0 25 0 1 0 7088523 94212096 21284 1992294400 4194304 8223781 140737225136016 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 23001 21284 589 984 0 22014 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 92004

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16259
/proc/meminfo: memFree=1695444/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=93192 CPUtime=582.15
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 1577385 0 0 0 57253 962 0 0 25 0 1 0 7088523 95428608 21534 1992294400 4194304 8223781 140737225136016 18446744073709551615 6592514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 23298 21534 589 984 0 22311 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 93192

[startup+642.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16261
/proc/meminfo: memFree=1694576/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=92332 CPUtime=642.14
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 1751239 0 0 0 63157 1057 0 0 25 0 1 0 7088523 94547968 21582 1992294400 4194304 8223781 140737225136016 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 23083 21582 589 984 0 22096 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 92332

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16269
/proc/meminfo: memFree=1689740/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=98076 CPUtime=882.08
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 2354868 0 0 0 86826 1382 0 0 25 0 1 0 7088523 100429824 22895 1992294400 4194304 8223781 140737225136016 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 24519 22895 601 984 0 23532 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 98076

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16269
/proc/meminfo: memFree=1689368/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=99292 CPUtime=942.06
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 2555809 0 0 0 92723 1483 0 0 25 0 1 0 7088523 101675008 23162 1992294400 4194304 8223781 140737225136016 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 24823 23162 601 984 0 23836 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 99292

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16271
/proc/meminfo: memFree=1689120/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=98988 CPUtime=1002.05
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 2747103 0 0 0 98622 1583 0 0 25 0 1 0 7088523 101363712 23036 1992294400 4194304 8223781 140737225136016 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 24747 23036 601 984 0 23760 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 98988

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16273
/proc/meminfo: memFree=1688376/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=99580 CPUtime=1062.04
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 2929835 0 0 0 104526 1678 0 0 25 0 1 0 7088523 101969920 23217 1992294400 4194304 8223781 140737225136016 18446744073709551615 6358893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 24895 23217 601 984 0 23908 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 99580

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16275
/proc/meminfo: memFree=1688624/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=99632 CPUtime=1122.02
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 3133609 0 0 0 110422 1780 0 0 25 0 1 0 7088523 102023168 23150 1992294400 4194304 8223781 140737225136016 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 24908 23150 601 984 0 23921 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 99632

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16278
/proc/meminfo: memFree=1686764/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=100520 CPUtime=1182.01
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 3329646 0 0 0 116321 1880 0 0 25 0 1 0 7088523 102932480 23398 1992294400 4194304 8223781 140737225136016 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25130 23398 601 984 0 24143 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 100520

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16280
/proc/meminfo: memFree=1686640/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=100828 CPUtime=1242
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 3526170 0 0 0 122216 1984 0 0 25 0 1 0 7088523 103247872 23493 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25207 23493 601 984 0 24220 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 100828

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16282
/proc/meminfo: memFree=1685028/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103440 CPUtime=1301.99
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 3727709 0 0 0 128112 2087 0 0 25 0 1 0 7088523 105922560 24025 1992294400 4194304 8223781 140737225136016 18446744073709551615 6604397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25860 24025 601 984 0 24873 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 103440

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16284
/proc/meminfo: memFree=1684160/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103356 CPUtime=1361.97
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 3880430 0 0 0 134031 2166 0 0 25 0 1 0 7088523 105836544 24109 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25839 24109 601 984 0 24852 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 103356

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16286
/proc/meminfo: memFree=1684408/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103484 CPUtime=1421.96
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 4030340 0 0 0 139951 2245 0 0 25 0 1 0 7088523 105967616 24096 1992294400 4194304 8223781 140737225136016 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25871 24096 601 984 0 24884 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 103484

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16286
/proc/meminfo: memFree=1684284/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103408 CPUtime=1481.94
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 4228218 0 0 0 145845 2349 0 0 25 0 1 0 7088523 105889792 24124 1992294400 4194304 8223781 140737225136016 18446744073709551615 6539235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25852 24124 601 984 0 24865 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 103408

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16288
/proc/meminfo: memFree=1684036/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103948 CPUtime=1541.92
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 4419095 0 0 0 151749 2443 0 0 25 0 1 0 7088523 106442752 24244 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25987 24244 601 984 0 25000 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 103948

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16290
/proc/meminfo: memFree=1684160/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103620 CPUtime=1601.91
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 4620490 0 0 0 157644 2547 0 0 25 0 1 0 7088523 106106880 24180 1992294400 4194304 8223781 140737225136016 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 25905 24180 601 984 0 24918 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 103620

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16292
/proc/meminfo: memFree=1683788/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=104404 CPUtime=1661.9
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 4836171 0 0 0 163535 2655 0 0 25 0 1 0 7088523 106909696 24286 1992294400 4194304 8223781 140737225136016 18446744073709551615 6592463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 26101 24286 601 984 0 25114 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 104404

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16294
/proc/meminfo: memFree=1683416/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=104188 CPUtime=1721.88
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 5040089 0 0 0 169433 2755 0 0 25 0 1 0 7088523 106688512 24310 1992294400 4194304 8223781 140737225136016 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 26047 24310 601 984 0 25060 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 104188

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16294
/proc/meminfo: memFree=1682796/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=104888 CPUtime=1781.87
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 5243813 0 0 0 175327 2860 0 0 25 0 1 0 7088523 107405312 24390 1992294400 4194304 8223781 140737225136016 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 26222 24390 601 984 0 25235 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 104888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16296
/proc/meminfo: memFree=1682920/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=104652 CPUtime=1800.06
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 5312306 0 0 0 177109 2897 0 0 25 0 1 0 7088523 107163648 24379 1992294400 4194304 8223781 140737225136016 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16244/statm: 26163 24379 601 984 0 25176 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 104652

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 16297
/proc/meminfo: memFree=1684276/2059040 swapFree=4170748/4192956
[pid=16244] ppid=16242 vsize=103072 CPUtime=1800.17
/proc/16244/stat : 16244 (pbscip.linux.x8) R 16242 16244 16219 0 -1 4202496 5312785 0 0 0 177120 2897 0 0 25 0 1 0 7088523 105545728 23993 1992294400 4194304 8223781 140737225136016 18446744073709551615 6206564 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16244/statm: 25768 23993 603 984 0 24781 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 103072

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.25
CPU user time (s): 1771.26
CPU system time (s): 28.9916
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 121028

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

runsolver used 2.98555 second user time and 8.50471 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-16 05:12:21
IDJOB=2666645
IDBENCH=48158
IDSOLVER=1169
FILE ID=node031/2666645-1276657940
PBS_JOBID= 11172482
Free space on /tmp= 62584 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb
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-2666645-1276657940/watcher-2666645-1276657940 -o /tmp/evaluation-result-2666645-1276657940/solver-2666645-1276657940 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666645-1276657940.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54
RANDOM SEED=597966790

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1781168 kB
Buffers:         39640 kB
Cached:         121916 kB
SwapCached:       1484 kB
Active:          96476 kB
Inactive:       104040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1781168 kB
SwapTotal:     4192956 kB
SwapFree:      4170748 kB
Dirty:            4644 kB
Writeback:           0 kB
AnonPages:       37460 kB
Mapped:          15304 kB
Slab:            55268 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node031 at 2010-06-16 05:42:23