Trace number 1870551

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-27 1797.43 1797.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_4.opb
MD5SUMedb32574ecafd14c2d1410b208d85a45
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1797.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

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.02	c SCIP version 1.1.0.7
0.00/0.02	c LP-Solver Clp 1.8.2
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c read problem <HOME/instance-1870551-1245211512.opb>
0.00/0.02	c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.00/0.03	c start presolving problem
0.00/0.03	c presolving:
0.09/0.17	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10264 impls, 200 clqs
0.29/0.32	c    (0.1s) probing: 101/1458 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.32	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.32	c presolving (2 rounds):
0.29/0.32	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.32	c  10264 implications, 200 cliques
0.29/0.32	c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.29/0.32	c     200 constraints of type <setppc>
0.29/0.32	c    1258 constraints of type <and>
0.29/0.32	c       1 constraints of type <linear>
0.29/0.32	c     100 constraints of type <logicor>
0.29/0.32	c transformed objective value is always integral (scale: 1)
0.29/0.32	c Presolving Time: 0.14
0.29/0.32	c OPT-NLC
0.29/0.32	c -----------------------------------------------------------------------------------------------
0.29/0.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32	c limits/memory = c 1620
0.29/0.32	c # maximal time in seconds to run
0.29/0.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32	c limits/time = c 1791
0.29/0.32	c # frequency for displaying node information lines
0.29/0.32	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32	c display/freq = c 10000
0.29/0.32	c -----------------------------------------------------------------------------------------------
0.29/0.32	c start solving problem
0.29/0.32	c 
0.29/0.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.39	c   0.2s|     1 |     0 |   253 |6851k|   0 | 200 |1458 |1559 |1559 |1458 |2817 |   0 |   0 |   0 |-5.000000e+01 |      --      |    Inf 
0.29/0.39	o -2
0.29/0.39	c R 0.2s|     1 |     0 |   253 |6863k|   0 | 200 |1458 |1559 |1559 |1458 |2817 |   0 |   0 |   0 |-5.000000e+01 |-2.000000e+00 |  96.00%
0.79/0.86	c   0.7s|     1 |     0 |  1126 |6914k|   0 | 697 |1458 |1559 |1559 |1458 |2818 |   1 |   0 |   0 |-5.000000e+01 |-2.000000e+00 |  96.00%
0.79/0.87	o -6
0.79/0.87	c s 0.7s|     1 |     0 |  1126 |6951k|   0 | 697 |1458 |1559 |1559 |1458 |2818 |   1 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
2.19/2.21	c   2.0s|     1 |     0 |  1577 |7118k|   0 | 738 |1458 |1559 |1559 |1458 |2845 |  28 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
3.88/3.93	c   3.7s|     1 |     0 |  2168 |7429k|   0 | 797 |1458 |1559 |1559 |1458 |2853 |  36 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
5.69/5.75	c   5.5s|     1 |     0 |  2364 |7931k|   0 | 804 |1458 |1559 |1559 |1458 |2862 |  45 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
7.59/7.65	c   7.4s|     1 |     0 |  2489 |8228k|   0 | 806 |1458 |1559 |1559 |1458 |2869 |  52 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
9.49/9.60	c   9.4s|     1 |     0 |  2705 |8696k|   0 | 809 |1458 |1559 |1559 |1458 |2874 |  57 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
13.48/13.59	c  13.4s|     1 |     2 |  2705 |8697k|   0 | 809 |1458 |1559 |1559 |1458 |2874 |  57 |   0 |  21 |-5.000000e+01 |-6.000000e+00 |  88.00%
57.46/57.59	o -21
57.46/57.59	c p57.2s|    16 |    17 | 35978 |9213k|  14 |   - |1458 |1560 |  56 |1458 |1613 |1112 |   1 | 399 |-5.000000e+01 |-2.100000e+01 |  58.00%
69.77/69.88	o -24
69.77/69.88	c f69.5s|    28 |    29 | 44559 |9199k|  14 |   - |1458 |1562 |  49 |1458 |1583 |1421 |   3 | 512 |-5.000000e+01 |-2.400000e+01 |  52.00%
114.25/114.40	o -26
114.25/114.40	c l 114s|   155 |    87 |112526 |9549k|  48 |   - |1458 |1578 |  48 |1458 |1666 |4192 |  19 | 675 |-4.965876e+01 |-2.600000e+01 |  47.64%
623.90/624.11	o -27
623.90/624.11	c l 622s|  1976 |   439 |969972 |  11M|  50 |   - |1458 |1629 |  79 |1458 |1634 |  16k|  70 |2264 |-4.623245e+01 |-2.700000e+01 |  41.60%
1625.40/1625.93	c  1620s| 10000 |  1381 |  2816k|  15M|  58 | 141 |1458 |1723 | 380 |1458 |1809 |  39k| 185 |5164 |-4.449223e+01 |-2.700000e+01 |  39.32%
1797.35/1797.93	c 
1797.35/1797.93	c SCIP Status        : solving was interrupted [time limit reached]
1797.35/1797.93	c Solving Time (sec) : 1791.00
1797.35/1797.93	c Solving Nodes      : 11827
1797.35/1797.93	c Primal Bound       : -2.70000000000000e+01 (8 solutions)
1797.35/1797.93	c Dual Bound         : -4.43555875217211e+01
1797.35/1797.93	c Gap                : 39.13 %
1797.35/1797.93	c NODE         11827
1797.35/1797.93	c DUAL BOUND   -44.3556
1797.35/1797.93	c PRIMAL BOUND -27
1797.35/1797.93	c GAP          0.391283
1797.35/1797.93	s SATISFIABLE
1797.35/1797.93	v -x128 -x141 -x182 x146 -x136 -x166 -x181 x185 -x156 -x153 -x179 -x178 -x149 -x152 -x124 -x133 -x188 -x189 -x147 -x139 -x197 -x191 
1797.35/1797.93	v -x163 x130 -x192 x194 -x106 -x170 -x140 -x109 -x117 x107 -x196 -x187 -x168 x190 -x148 -x171 -x161 -x160 x158 -x154 -x151 -x114 
1797.35/1797.93	v x173 -x199 -x176 -x177 x193 x172 x143 -x135 x162 x125 -x195 -x120 -x200 -x157 -x167 x134 -x113 -x111 -x131 x121 -x183 -x123 
1797.35/1797.93	v -x174 x180 x169 -x198 x159 x137 -x132 -x122 -x119 -x112 -x105 -x118 x150 -x142 -x103 -x104 x165 -x115 -x155 x101 x144 -x116 
1797.35/1797.93	v -x110 -x108 x145 x186 -x129 -x126 -x138 -x164 x127 -x175 -x184 x102 x100 x99 -x98 x97 x96 x95 -x94 -x93 x92 x91 -x90 -x89 
1797.35/1797.93	v -x88 -x87 -x86 -x85 x84 x83 -x82 -x81 -x80 -x79 x78 -x77 x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 
1797.35/1797.93	v -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 x52 x51 -x50 x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 x36 
1797.35/1797.93	v x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 
1797.35/1797.93	v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.35/1797.93	c SCIP Status        : solving was interrupted [time limit reached]
1797.35/1797.93	c Solving Time       :    1791.00
1797.35/1797.93	c Original Problem   :
1797.35/1797.93	c   Problem name     : HOME/instance-1870551-1245211512.opb
1797.35/1797.93	c   Variables        : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.35/1797.93	c   Constraints      : 1559 initial, 1559 maximal
1797.35/1797.93	c Presolved Problem  :
1797.35/1797.93	c   Problem name     : t_HOME/instance-1870551-1245211512.opb
1797.35/1797.93	c   Variables        : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.35/1797.93	c   Constraints      : 1559 initial, 1732 maximal
1797.35/1797.93	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.35/1797.93	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   implics          :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   probing          :       0.02          0          0          0          0          0          0          0          0
1797.35/1797.93	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   and              :       0.11          0          0          0          0          0          0          0          0
1797.35/1797.93	c   linear           :       0.01          0          0          0          0          0          0          0          0
1797.35/1797.93	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1797.35/1797.93	c   root node        :          -          0          -          -          0          -          -          -          -
1797.35/1797.93	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.35/1797.93	c   integral         :          0          0          0       7082          0         40        736          0          0      13452
1797.35/1797.93	c   setppc           :        200          6     100970          0          0         26      29953          0          0          0
1797.35/1797.93	c   and              :       1258      14988     100942          0          0        174     327387      46023          0          0
1797.35/1797.93	c   linear           :          1          6     100763          0          0          0          0          0          0          0
1797.35/1797.93	c   logicor          :        100+         6      14622          0          0          1       7742          0          0          0
1797.35/1797.93	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1797.35/1797.93	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.35/1797.93	c   integral         :     309.98       0.00       0.00     309.98       0.00
1797.35/1797.93	c   setppc           :       1.10       0.00       1.10       0.00       0.00
1797.35/1797.93	c   and              :      11.53       5.28       6.25       0.00       0.00
1797.35/1797.93	c   linear           :       1.40       0.00       1.40       0.00       0.00
1797.35/1797.93	c   logicor          :       0.17       0.00       0.17       0.00       0.00
1797.35/1797.93	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.35/1797.93	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.35/1797.93	c   rootredcost      :       0.09          5          0          0
1797.35/1797.93	c   pseudoobj        :       0.96     100963          0          0
1797.35/1797.93	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.35/1797.93	c   propagation      :       0.00        201        200        208        4.7          1       72.0          -
1797.35/1797.93	c   infeasible LP    :       1.91       5799          0          0        0.0          0        0.0          0
1797.35/1797.93	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.35/1797.93	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.35/1797.93	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.35/1797.93	c   applied globally :          -          -          -        209        5.0          -          -          -
1797.35/1797.93	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.35/1797.93	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.35/1797.93	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 239)
1797.35/1797.93	c   redcost          :       1.45      15653          0      47208          0          0
1797.35/1797.93	c   impliedbounds    :       0.00          6          0          0         44          0
1797.35/1797.93	c   intobj           :       0.00          0          0          0          0          0
1797.35/1797.93	c   gomory           :       4.04          6          0          0        202          0
1797.35/1797.93	c   strongcg         :       3.26          6          0          0        535          0
1797.35/1797.93	c   cmir             :       0.17          6          0          0          1          0
1797.35/1797.93	c   flowcover        :       0.16          6          0          0          2          0
1797.35/1797.93	c   clique           :       0.12          6          0          0         34          0
1797.35/1797.93	c   zerohalf         :       0.00          0          0          0          0          0
1797.35/1797.93	c   mcf              :       0.00          1          0          0          0          0
1797.35/1797.93	c Pricers            :       Time      Calls       Vars
1797.35/1797.93	c   problem variables:       0.00          0          0
1797.35/1797.93	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.35/1797.93	c   relpscost        :     309.92       7082         40        736          0          0      13452
1797.35/1797.93	c   pscost           :       0.00          0          0          0          0          0          0
1797.35/1797.93	c   inference        :       0.00          0          0          0          0          0          0
1797.35/1797.93	c   mostinf          :       0.00          0          0          0          0          0          0
1797.35/1797.93	c   leastinf         :       0.00          0          0          0          0          0          0
1797.35/1797.93	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.35/1797.93	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.35/1797.93	c   random           :       0.00          0          0          0          0          0          0
1797.35/1797.93	c Primal Heuristics  :       Time      Calls      Found
1797.35/1797.93	c   LP solutions     :       0.00          -          0
1797.35/1797.93	c   pseudo solutions :       0.00          -          0
1797.35/1797.93	c   oneopt           :       0.01          5          0
1797.35/1797.93	c   crossover        :       0.29          7          0
1797.35/1797.93	c   coefdiving       :      71.97         31          0
1797.35/1797.93	c   rootsoldiving    :      11.35         23          0
1797.35/1797.93	c   linesearchdiving :      54.76         56          2
1797.35/1797.93	c   pscostdiving     :     107.82         57          1
1797.35/1797.93	c   fracdiving       :      91.15         57          1
1797.35/1797.93	c   simplerounding   :       0.06          0          0
1797.35/1797.93	c   rounding         :       5.95       5333          1
1797.35/1797.93	c   shifting         :       4.15       1473          3
1797.35/1797.93	c   intshifting      :       0.00          0          0
1797.35/1797.93	c   fixandinfer      :       0.00          0          0
1797.35/1797.93	c   feaspump         :       0.00          0          0
1797.35/1797.93	c   veclendiving     :      42.84         24          0
1797.35/1797.93	c   intdiving        :       0.00          0          0
1797.35/1797.93	c   actconsdiving    :       0.00          0          0
1797.35/1797.93	c   objpscostdiving  :      32.49          7          0
1797.35/1797.93	c   guideddiving     :      62.41         31          0
1797.35/1797.93	c   octane           :       0.00          0          0
1797.35/1797.93	c   rens             :       0.01          0          0
1797.35/1797.93	c   rins             :       0.00          0          0
1797.35/1797.93	c   localbranching   :       0.00          0          0
1797.35/1797.93	c   mutation         :       0.00          0          0
1797.35/1797.93	c   dins             :       0.00          0          0
1797.35/1797.93	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.35/1797.93	c   primal LP        :     140.35          0          0       0.00       0.00
1797.35/1797.93	c   dual LP          :     812.13      19551    2032254     103.95    2502.38
1797.35/1797.93	c   barrier LP       :       0.00          0          0       0.00          -
1797.35/1797.93	c   diving/probing LP:     426.02      48742    1103727      22.64    2590.79
1797.35/1797.93	c   strong branching :     308.55       5708     858058     150.33    2780.94
1797.35/1797.93	c     (at root node) :          -         21       5502     262.00          -
1797.35/1797.93	c   conflict analysis:       0.00          0          0       0.00          -
1797.35/1797.93	c B&B Tree           :
1797.35/1797.93	c   number of runs   :          1
1797.35/1797.93	c   nodes            :      11827
1797.35/1797.93	c   nodes (total)    :      11827
1797.35/1797.93	c   nodes left       :       1596
1797.35/1797.93	c   max depth        :         62
1797.35/1797.93	c   max depth (total):         62
1797.35/1797.93	c   backtracks       :       1944 (16.4%)
1797.35/1797.93	c   delayed cutoffs  :          2
1797.35/1797.93	c   repropagations   :       2676 (483 domain reductions, 0 cutoffs)
1797.35/1797.93	c   avg switch length:       4.16
1797.35/1797.93	c   switching time   :     143.38
1797.35/1797.93	c Solution           :
1797.35/1797.93	c   Solutions found  :          8 (6 improvements)
1797.35/1797.93	c   Primal Bound     : -2.70000000000000e+01   (in run 1, after 1976 nodes, 622.01 seconds, depth 233, found by <linesearchdiving>)
1797.35/1797.93	c   Dual Bound       : -4.43555875217211e+01
1797.35/1797.93	c   Gap              :      39.13 %
1797.35/1797.93	c   Root Dual Bound  : -5.00000000000000e+01
1797.35/1797.97	c Time complete: 1797.41.

Verifier Data 

OK	-27

Watcher Data 

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

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

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.99 0.97 0.91 3/65 13600
/proc/meminfo: memFree=634944/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=7616 CPUtime=0
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 589 0 0 0 0 0 0 0 20 0 1 0 188749250 7798784 573 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/13600/statm: 1904 584 353 1256 0 643 0

[startup+0.0965791 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 13600
/proc/meminfo: memFree=634944/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=17684 CPUtime=0.09
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 3553 0 0 0 5 4 0 0 20 0 1 0 188749250 18108416 3183 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 4421 3183 446 1256 0 3160 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17684

[startup+0.101579 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 13600
/proc/meminfo: memFree=634944/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=17684 CPUtime=0.09
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 3553 0 0 0 5 4 0 0 20 0 1 0 188749250 18108416 3183 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 4421 3183 446 1256 0 3160 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17684

[startup+0.301604 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 13600
/proc/meminfo: memFree=634944/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=19684 CPUtime=0.29
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 4116 0 0 0 14 15 0 0 22 0 1 0 188749250 20156416 3746 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 4921 3746 493 1256 0 3660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19684

[startup+0.701653 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 13600
/proc/meminfo: memFree=634944/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=31480 CPUtime=0.69
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 6794 0 0 0 53 16 0 0 25 0 1 0 188749250 32235520 6408 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 7870 6408 665 1256 0 6609 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31480

[startup+1.50175 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=611640/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=31480 CPUtime=1.49
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 6849 0 0 0 132 17 0 0 25 0 1 0 188749250 32235520 6463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 7870 6463 665 1256 0 6609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31480

[startup+3.10295 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=610296/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=33240 CPUtime=3.09
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 7185 0 0 0 292 17 0 0 25 0 1 0 188749250 34037760 6799 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 8310 6799 665 1256 0 7049 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33240

[startup+6.30134 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=608056/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=34912 CPUtime=6.29
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 7647 0 0 0 611 18 0 0 25 0 1 0 188749250 35749888 7260 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 8728 7260 665 1256 0 7467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34912

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=605496/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=39768 CPUtime=12.69
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 10225 0 0 0 1249 20 0 0 25 0 1 0 188749250 40722432 7957 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9942 7957 671 1256 0 8681 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39768

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=605368/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=37232 CPUtime=25.49
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 10742 0 0 0 2525 24 0 0 25 0 1 0 188749250 38125568 8077 1992294400 4194304 9342243 548682068736 18446744073709551615 6039291 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9308 8077 693 1256 0 8047 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37232

[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=604984/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=37624 CPUtime=51.07
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 10829 0 0 0 5078 29 0 0 25 0 1 0 188749250 38526976 8164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9406 8164 694 1256 0 8145 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37624

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=604864/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=37080 CPUtime=102.26
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 13678 0 0 0 10187 39 0 0 25 0 1 0 188749250 37969920 8210 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9270 8210 700 1256 0 8009 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37080

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=605184/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=37888 CPUtime=162.24
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 24641 0 0 0 16169 55 0 0 25 0 1 0 188749250 38797312 8141 1992294400 4194304 9342243 548682068736 18446744073709551615 6960503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9472 8141 700 1256 0 8211 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 37888

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=605504/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=40892 CPUtime=222.22
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 40459 0 0 0 22148 74 0 0 25 0 1 0 188749250 41873408 8012 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 10223 8012 700 1256 0 8962 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 40892

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=602816/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=39396 CPUtime=282.2
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 47685 0 0 0 28130 90 0 0 25 0 1 0 188749250 40341504 8677 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9849 8677 711 1256 0 8588 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 39396

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=602048/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=39756 CPUtime=342.18
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 52591 0 0 0 34114 104 0 0 25 0 1 0 188749250 40710144 8817 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 9939 8817 711 1256 0 8678 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 39756

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=602240/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=42340 CPUtime=402.17
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 59076 0 0 0 40097 120 0 0 25 0 1 0 188749250 43356160 8824 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 10585 8824 711 1256 0 9324 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 42340

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=601024/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=40924 CPUtime=462.15
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 68118 0 0 0 46077 138 0 0 25 0 1 0 188749250 41906176 9093 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 10231 9093 711 1256 0 8970 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 40924

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=601024/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=40840 CPUtime=522.12
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 73660 0 0 0 52056 156 0 0 25 0 1 0 188749250 41820160 9105 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 10210 9105 711 1256 0 8949 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 40840

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=600192/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=41740 CPUtime=582.11
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 82389 0 0 0 58034 177 0 0 25 0 1 0 188749250 42741760 9271 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 10435 9271 711 1256 0 9174 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 41740

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=600512/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=42016 CPUtime=642.09
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 89163 0 0 0 64017 192 0 0 25 0 1 0 188749250 43024384 9231 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 10504 9231 711 1256 0 9243 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 42016

[startup+702.301 s]

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

/proc/meminfo: memFree=597184/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=45284 CPUtime=1061.97
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 308202 0 0 0 105815 382 0 0 25 0 1 0 188749250 46370816 10104 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11321 10104 711 1256 0 10060 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 45284

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=597824/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=45476 CPUtime=1121.95
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 354194 0 0 0 111783 412 0 0 25 0 1 0 188749250 46567424 9945 1992294400 4194304 9342243 548682068736 18446744073709551615 5893072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11369 9945 711 1256 0 10108 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 45476

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=596800/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=45556 CPUtime=1181.93
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 403194 0 0 0 117747 446 0 0 25 0 1 0 188749250 46649344 10160 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11389 10160 711 1256 0 10128 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 45556

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 13601
/proc/meminfo: memFree=596224/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=48948 CPUtime=1241.91
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 410327 0 0 0 123727 464 0 0 25 0 1 0 188749250 50122752 10370 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12237 10370 711 1256 0 10976 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 48948

[startup+1302.3 s]
/proc/loadavg: 1.05 0.99 0.91 2/66 13601
/proc/meminfo: memFree=595200/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=46516 CPUtime=1301.89
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 417402 0 0 0 129704 485 0 0 25 0 1 0 188749250 47632384 10554 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11629 10554 711 1256 0 10368 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 46516

[startup+1362.3 s]
/proc/loadavg: 1.10 1.02 0.93 2/66 13601
/proc/meminfo: memFree=595072/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=46780 CPUtime=1361.87
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 421892 0 0 0 135684 503 0 0 25 0 1 0 188749250 47902720 10603 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11695 10603 711 1256 0 10434 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 46780

[startup+1422.31 s]
/proc/loadavg: 1.11 1.04 0.94 2/66 13601
/proc/meminfo: memFree=595648/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=47144 CPUtime=1421.86
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 424222 0 0 0 141667 519 0 0 25 0 1 0 188749250 48275456 10448 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11786 10448 711 1256 0 10525 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 47144

[startup+1482.3 s]
/proc/loadavg: 1.11 1.06 0.95 2/66 13601
/proc/meminfo: memFree=594112/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=47984 CPUtime=1481.84
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 443048 0 0 0 147641 543 0 0 25 0 1 0 188749250 49135616 10809 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11996 10809 711 1256 0 10735 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 47984

[startup+1542.3 s]
/proc/loadavg: 1.08 1.06 0.95 2/66 13601
/proc/meminfo: memFree=593728/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=47972 CPUtime=1541.82
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 449149 0 0 0 153624 558 0 0 25 0 1 0 188749250 49123328 10878 1992294400 4194304 9342243 548682068736 18446744073709551615 6039349 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 11993 10878 711 1256 0 10732 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 47972

[startup+1602.3 s]
/proc/loadavg: 1.06 1.06 0.96 2/66 13601
/proc/meminfo: memFree=593408/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=51072 CPUtime=1601.8
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 454932 0 0 0 159603 577 0 0 25 0 1 0 188749250 52297728 11051 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12768 11051 711 1256 0 11507 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 51072

[startup+1662.3 s]
/proc/loadavg: 1.13 1.07 0.97 2/66 13601
/proc/meminfo: memFree=592064/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=50172 CPUtime=1661.79
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 461006 0 0 0 165584 595 0 0 25 0 1 0 188749250 51376128 11328 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12543 11328 711 1256 0 11282 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 50172

[startup+1722.3 s]
/proc/loadavg: 1.12 1.07 0.97 2/66 13601
/proc/meminfo: memFree=592576/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=52044 CPUtime=1721.77
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 469957 0 0 0 171560 617 0 0 25 0 1 0 188749250 53293056 11226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 13011 11226 711 1256 0 11750 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 52044

[startup+1782.3 s]
/proc/loadavg: 1.11 1.07 0.98 2/66 13601
/proc/meminfo: memFree=592064/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=49824 CPUtime=1781.75
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 475566 0 0 0 177543 632 0 0 25 0 1 0 188749250 51019776 11275 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12456 11275 711 1256 0 11195 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 49824

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

[startup+1785.5 s]
/proc/loadavg: 1.10 1.07 0.98 2/66 13601
/proc/meminfo: memFree=592064/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=50124 CPUtime=1784.95
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 475719 0 0 0 177862 633 0 0 25 0 1 0 188749250 51326976 11308 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12531 11308 711 1256 0 11270 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 50124

[startup+1791.91 s]
/proc/loadavg: 1.09 1.07 0.98 2/66 13601
/proc/meminfo: memFree=592192/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=49772 CPUtime=1791.35
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 476136 0 0 0 178501 634 0 0 25 0 1 0 188749250 50966528 11259 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12443 11259 711 1256 0 11182 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 49772

[startup+1795.1 s]
/proc/loadavg: 1.08 1.07 0.98 2/66 13601
/proc/meminfo: memFree=591936/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=50380 CPUtime=1794.55
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 476229 0 0 0 178820 635 0 0 25 0 1 0 188749250 51589120 11352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12595 11352 711 1256 0 11334 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 50380

[startup+1796.7 s]
/proc/loadavg: 1.08 1.07 0.98 2/66 13601
/proc/meminfo: memFree=592000/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=50216 CPUtime=1796.14
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 476374 0 0 0 178979 635 0 0 25 0 1 0 188749250 51421184 11304 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12554 11304 711 1256 0 11293 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 50216

[startup+1797.5 s]
/proc/loadavg: 1.08 1.07 0.98 2/66 13601
/proc/meminfo: memFree=593024/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=50160 CPUtime=1796.95
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 476518 0 0 0 179059 636 0 0 25 0 1 0 188749250 51363840 11132 1992294400 4194304 9342243 548682068736 18446744073709551615 6146210 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12540 11132 711 1256 0 11279 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 50160

[startup+1797.9 s]
/proc/loadavg: 1.08 1.07 0.98 2/66 13601
/proc/meminfo: memFree=593024/2055920 swapFree=4192956/4192956
[pid=13600] ppid=13598 vsize=49728 CPUtime=1797.35
/proc/13600/stat : 13600 (pbscip.linux.x8) R 13598 13600 13483 0 -1 4194304 476559 0 0 0 179099 636 0 0 25 0 1 0 188749250 50921472 11146 1992294400 4194304 9342243 548682068736 18446744073709551615 6922101 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13600/statm: 12432 11146 711 1256 0 11171 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 49728

Child status: 0
Real time (s): 1797.98
CPU time (s): 1797.43
CPU user time (s): 1791.06
CPU system time (s): 6.37003
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 52728

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

runsolver used 2.10768 second user time and 3.84841 second system time

The end

Launcher Data 

Begin job on node80 at 2009-06-17 06:05:12
IDJOB=1870551
IDBENCH=48274
IDSOLVER=684
FILE ID=node80/1870551-1245211512
PBS_JOBID= 9368406
Free space on /tmp= 66532 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870551-1245211512/watcher-1870551-1245211512 -o /tmp/evaluation-result-1870551-1245211512/solver-1870551-1245211512 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870551-1245211512.opb

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

MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45
RANDOM SEED=1884118933

node80.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        635360 kB
Buffers:         64136 kB
Cached:        1264992 kB
SwapCached:          0 kB
Active:        1000936 kB
Inactive:       341512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        635360 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11760 kB
Writeback:           0 kB
Mapped:          23128 kB
Slab:            64008 kB
Committed_AS:    74316 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node80 at 2009-06-17 06:35:10