Trace number 1870485

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 1796.41 1796.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_2.opb
MD5SUMc154cb0964ce03c2d199339cf62d0c63
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-28
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
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)2520
Sum of products size (including duplicates)5040
Number of different products1260
Sum of products size2520

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-1870485-1245207251.opb>
0.00/0.02	c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.00/0.04	c start presolving problem
0.00/0.04	c presolving:
0.09/0.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10280 impls, 200 clqs
0.29/0.34	c    (0.2s) probing: 101/1460 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.34	c presolving (2 rounds):
0.29/0.34	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.34	c  10280 implications, 200 cliques
0.29/0.34	c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.29/0.34	c     200 constraints of type <setppc>
0.29/0.34	c    1260 constraints of type <and>
0.29/0.34	c       1 constraints of type <linear>
0.29/0.34	c     100 constraints of type <logicor>
0.29/0.34	c transformed objective value is always integral (scale: 1)
0.29/0.34	c Presolving Time: 0.16
0.29/0.35	c OPT-NLC
0.29/0.35	c -----------------------------------------------------------------------------------------------
0.29/0.35	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35	c limits/memory = c 1620
0.29/0.35	c # maximal time in seconds to run
0.29/0.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35	c limits/time = c 1791
0.29/0.35	c # frequency for displaying node information lines
0.29/0.35	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35	c display/freq = c 10000
0.29/0.35	c -----------------------------------------------------------------------------------------------
0.29/0.35	c start solving problem
0.29/0.35	c 
0.39/0.42	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.42	c   0.2s|     1 |     0 |   277 |6866k|   0 | 221 |1460 |1561 |1561 |1460 |2821 |   0 |   0 |   0 |-5.000000e+01 |      --      |    Inf 
0.39/0.43	o 0
0.39/0.43	c R 0.2s|     1 |     0 |   277 |6880k|   0 | 221 |1460 |1561 |1561 |1460 |2821 |   0 |   0 |   0 |-5.000000e+01 |-1.221245e-15 | 100.00%
1.10/1.14	c   0.9s|     1 |     0 |  1390 |6973k|   0 | 736 |1460 |1561 |1561 |1460 |2825 |   4 |   0 |   0 |-5.000000e+01 |-1.221245e-15 | 100.00%
1.10/1.15	o -3
1.10/1.15	c s 0.9s|     1 |     0 |  1390 |7015k|   0 | 736 |1460 |1561 |1561 |1460 |2825 |   4 |   0 |   0 |-5.000000e+01 |-3.000000e+00 |  94.00%
3.09/3.15	c   2.9s|     1 |     0 |  1667 |7195k|   0 | 760 |1460 |1561 |1561 |1460 |2855 |  34 |   0 |   0 |-5.000000e+01 |-3.000000e+00 |  94.00%
3.09/3.16	o -6
3.09/3.16	c s 2.9s|     1 |     0 |  1667 |7215k|   0 | 760 |1460 |1561 |1561 |1460 |2855 |  34 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
5.40/5.41	c   5.2s|     1 |     0 |  2110 |7371k|   0 | 821 |1460 |1561 |1561 |1460 |2868 |  47 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
5.40/5.42	o -7
5.40/5.42	c s 5.2s|     1 |     0 |  2110 |7392k|   0 | 821 |1460 |1561 |1561 |1460 |2868 |  47 |   0 |   0 |-5.000000e+01 |-7.000000e+00 |  86.00%
7.79/7.82	c   7.6s|     1 |     0 |  2245 |7680k|   0 | 825 |1460 |1561 |1561 |1460 |2877 |  56 |   0 |   0 |-5.000000e+01 |-7.000000e+00 |  86.00%
7.79/7.83	o -8
7.79/7.83	c s 7.6s|     1 |     0 |  2245 |7700k|   0 | 825 |1460 |1561 |1561 |1460 |2877 |  56 |   0 |   0 |-5.000000e+01 |-8.000000e+00 |  84.00%
10.39/10.47	c  10.2s|     1 |     0 |  2531 |8141k|   0 | 830 |1460 |1561 |1561 |1460 |2889 |  68 |   0 |   0 |-5.000000e+01 |-8.000000e+00 |  84.00%
12.98/13.09	c  12.8s|     1 |     0 |  2727 |8654k|   0 | 834 |1460 |1561 |1561 |1460 |2895 |  74 |   0 |   0 |-5.000000e+01 |-8.000000e+00 |  84.00%
20.08/20.17	c  19.9s|     1 |     2 |  2727 |8675k|   0 | 834 |1460 |1561 |1561 |1460 |2895 |  74 |   0 |  32 |-5.000000e+01 |-8.000000e+00 |  84.00%
62.07/62.17	o -9
62.07/62.17	c R61.8s|    15 |    14 | 30112 |8837k|  13 | 368 |1460 |1561 |1357 |1460 |1563 |1009 |   0 | 330 |-5.000000e+01 |-9.000000e+00 |  82.00%
123.44/123.56	o -24
123.44/123.56	c l 123s|    67 |    68 | 98760 |9399k|  14 |   - |1460 |1574 |  42 |1460 |1528 |3443 |  13 | 653 |-4.982199e+01 |-2.400000e+01 |  51.83%
300.69/300.85	o -25
300.69/300.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
300.69/300.85	c l 300s|   219 |   184 |365694 |9845k|  42 |   - |1460 |1590 |  43 |1460 |1707 |8438 |  29 |1096 |-4.739040e+01 |-2.500000e+01 |  47.25%
575.29/575.53	o -26
575.29/575.53	c l 573s|   745 |   402 |790715 |  11M|  46 |   - |1460 |1633 |  72 |1460 |1707 |  14k|  72 |1756 |-4.677749e+01 |-2.600000e+01 |  44.42%
621.49/621.74	o -27
621.49/621.74	c l 619s|  1027 |   450 |865834 |  11M|  46 |   - |1460 |1650 |  73 |1460 |1749 |  15k|  89 |1944 |-4.670121e+01 |-2.700000e+01 |  42.19%
1796.31/1796.93	c 
1796.31/1796.93	c SCIP Status        : solving was interrupted [time limit reached]
1796.31/1796.93	c Solving Time (sec) : 1791.00
1796.31/1796.93	c Solving Nodes      : 7338
1796.31/1796.93	c Primal Bound       : -2.70000000000000e+01 (11 solutions)
1796.31/1796.93	c Dual Bound         : -4.44322395555467e+01
1796.31/1796.93	c Gap                : 39.23 %
1796.31/1796.94	c NODE         7338
1796.31/1796.94	c DUAL BOUND   -44.4322
1796.31/1796.94	c PRIMAL BOUND -27
1796.31/1796.94	c GAP          0.392333
1796.31/1796.94	s SATISFIABLE
1796.31/1796.94	v -x179 -x159 x121 -x148 x151 -x132 -x175 -x193 -x195 x136 x184 x112 -x147 -x119 -x156 x182 -x141 -x127 -x134 -x186 -x171 -x135 -x169 
1796.31/1796.94	v -x118 -x117 -x144 -x106 -x133 -x113 -x163 -x124 -x167 -x200 -x145 -x105 -x181 -x142 -x108 -x115 -x107 x129 -x158 x185 -x172 
1796.31/1796.94	v -x161 -x160 x139 -x137 -x109 x198 x153 -x183 -x187 -x114 x196 -x188 x154 x140 -x126 x104 x197 -x111 -x192 -x116 -x170 -x173 
1796.31/1796.94	v -x102 -x166 -x152 -x149 x130 -x125 -x110 -x103 -x131 x168 x174 -x155 -x138 -x194 -x150 -x180 -x143 -x101 x190 -x177 x164 -x157 
1796.31/1796.94	v -x123 x122 -x128 -x146 x178 x165 -x199 -x162 x176 x189 -x120 x191 x100 x99 -x98 -x97 -x96 x95 x94 -x93 x92 -x91 -x90 -x89 
1796.31/1796.94	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 
1796.31/1796.94	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 
1796.31/1796.94	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 
1796.31/1796.94	v -x9 x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1796.31/1796.94	c SCIP Status        : solving was interrupted [time limit reached]
1796.31/1796.94	c Solving Time       :    1791.00
1796.31/1796.94	c Original Problem   :
1796.31/1796.94	c   Problem name     : HOME/instance-1870485-1245207251.opb
1796.31/1796.94	c   Variables        : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.31/1796.94	c   Constraints      : 1561 initial, 1561 maximal
1796.31/1796.94	c Presolved Problem  :
1796.31/1796.94	c   Problem name     : t_HOME/instance-1870485-1245207251.opb
1796.31/1796.94	c   Variables        : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.31/1796.94	c   Constraints      : 1561 initial, 1764 maximal
1796.31/1796.94	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.31/1796.94	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   probing          :       0.03          0          0          0          0          0          0          0          0
1796.31/1796.94	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   and              :       0.11          0          0          0          0          0          0          0          0
1796.31/1796.94	c   linear           :       0.02          0          0          0          0          0          0          0          0
1796.31/1796.94	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1796.31/1796.94	c   root node        :          -          0          -          -          0          -          -          -          -
1796.31/1796.94	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.31/1796.94	c   integral         :          0          0          0       4681          0         18        369          0          0       9018
1796.31/1796.94	c   setppc           :        200          6      81879          0          0         31      17912          0          0          0
1796.31/1796.94	c   and              :       1260      10570      81849          0          0        193     187749      49685          0          0
1796.31/1796.94	c   linear           :          1          6      81652          0          0          0          0          0          0          0
1796.31/1796.94	c   logicor          :        100+         6      11613          0          0          0       5674          0          0          0
1796.31/1796.94	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.31/1796.94	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.31/1796.94	c   integral         :     318.30       0.00       0.00     318.30       0.00
1796.31/1796.94	c   setppc           :       1.09       0.00       1.09       0.00       0.00
1796.31/1796.94	c   and              :       9.67       4.52       5.15       0.00       0.00
1796.31/1796.94	c   linear           :       1.11       0.00       1.11       0.00       0.00
1796.31/1796.94	c   logicor          :       0.13       0.00       0.13       0.00       0.00
1796.31/1796.94	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.31/1796.94	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.31/1796.94	c   rootredcost      :       0.11          6          0          0
1796.31/1796.94	c   pseudoobj        :       0.86      81862          0          0
1796.31/1796.94	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.31/1796.94	c   propagation      :       0.00        224        224        224        2.1          3       50.0          -
1796.31/1796.94	c   infeasible LP    :       0.92       3476          0          0        0.0          0        0.0          0
1796.31/1796.94	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.31/1796.94	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.31/1796.94	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.31/1796.94	c   applied globally :          -          -          -        227        2.8          -          -          -
1796.31/1796.94	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.31/1796.94	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.31/1796.94	c   cut pool         :       0.00          5          -          -          8          -    (maximal pool size: 242)
1796.31/1796.94	c   redcost          :       1.29      11013          0      24645          0          0
1796.31/1796.94	c   impliedbounds    :       0.01          6          0          0         76          0
1796.31/1796.94	c   intobj           :       0.00          0          0          0          0          0
1796.31/1796.94	c   gomory           :       5.63          6          0          0        109          0
1796.31/1796.94	c   strongcg         :       4.66          6          0          0        499          0
1796.31/1796.94	c   cmir             :       0.31          6          0          0         10          0
1796.31/1796.94	c   flowcover        :       0.18          6          0          0          0          0
1796.31/1796.94	c   clique           :       0.15          6          0          0         38          0
1796.31/1796.94	c   zerohalf         :       0.00          0          0          0          0          0
1796.31/1796.94	c   mcf              :       0.00          1          0          0          0          0
1796.31/1796.94	c Pricers            :       Time      Calls       Vars
1796.31/1796.94	c   problem variables:       0.00          0          0
1796.31/1796.94	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.31/1796.94	c   relpscost        :     318.29       4681         18        369          0          0       9018
1796.31/1796.94	c   pscost           :       0.00          0          0          0          0          0          0
1796.31/1796.94	c   inference        :       0.00          0          0          0          0          0          0
1796.31/1796.94	c   mostinf          :       0.00          0          0          0          0          0          0
1796.31/1796.94	c   leastinf         :       0.00          0          0          0          0          0          0
1796.31/1796.94	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.31/1796.94	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.31/1796.94	c   random           :       0.00          0          0          0          0          0          0
1796.31/1796.94	c Primal Heuristics  :       Time      Calls      Found
1796.31/1796.94	c   LP solutions     :       0.00          -          0
1796.31/1796.94	c   pseudo solutions :       0.00          -          0
1796.31/1796.94	c   feaspump         :       0.00          0          0
1796.31/1796.94	c   intshifting      :       0.00          0          0
1796.31/1796.94	c   oneopt           :       0.02          6          0
1796.31/1796.94	c   crossover        :       0.77          6          0
1796.31/1796.94	c   objpscostdiving  :      29.53         10          0
1796.31/1796.94	c   pscostdiving     :      54.55         23          0
1796.31/1796.94	c   veclendiving     :      40.10         25          0
1796.31/1796.94	c   fracdiving       :      63.12         29          0
1796.31/1796.94	c   coefdiving       :      66.75         31          0
1796.31/1796.94	c   guideddiving     :      59.07         33          0
1796.31/1796.94	c   rootsoldiving    :      11.77         18          0
1796.31/1796.94	c   linesearchdiving :     113.90        106          4
1796.31/1796.94	c   simplerounding   :       0.04          0          0
1796.31/1796.94	c   rounding         :       8.86       5721          2
1796.31/1796.94	c   shifting         :       3.29        990          5
1796.31/1796.94	c   fixandinfer      :       0.00          0          0
1796.31/1796.94	c   intdiving        :       0.00          0          0
1796.31/1796.94	c   actconsdiving    :       0.00          0          0
1796.31/1796.94	c   octane           :       0.00          0          0
1796.31/1796.94	c   rens             :       0.00          0          0
1796.31/1796.94	c   rins             :       0.00          0          0
1796.31/1796.94	c   localbranching   :       0.00          0          0
1796.31/1796.94	c   mutation         :       0.00          0          0
1796.31/1796.94	c   dins             :       0.00          0          0
1796.31/1796.94	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.31/1796.94	c   primal LP        :     159.27          0          0       0.00       0.00
1796.31/1796.94	c   dual LP          :     823.52      13170    1850580     140.51    2247.16
1796.31/1796.94	c   barrier LP       :       0.00          0          0       0.00          -
1796.31/1796.94	c   diving/probing LP:     393.79      42937     942665      21.95    2393.83
1796.31/1796.94	c   strong branching :     317.36       4838     803863     166.16    2532.97
1796.31/1796.94	c     (at root node) :          -         32       8303     259.47          -
1796.31/1796.94	c   conflict analysis:       0.00          0          0       0.00          -
1796.31/1796.94	c B&B Tree           :
1796.31/1796.94	c   number of runs   :          1
1796.31/1796.94	c   nodes            :       7338
1796.31/1796.94	c   nodes (total)    :       7338
1796.31/1796.94	c   nodes left       :       1623
1796.31/1796.94	c   max depth        :         74
1796.31/1796.94	c   max depth (total):         74
1796.31/1796.94	c   backtracks       :       1413 (19.3%)
1796.31/1796.94	c   delayed cutoffs  :          0
1796.31/1796.94	c   repropagations   :       2581 (308 domain reductions, 0 cutoffs)
1796.31/1796.94	c   avg switch length:       5.17
1796.31/1796.94	c   switching time   :     161.87
1796.31/1796.94	c Solution           :
1796.31/1796.94	c   Solutions found  :         11 (10 improvements)
1796.31/1796.94	c   Primal Bound     : -2.70000000000000e+01   (in run 1, after 1027 nodes, 619.16 seconds, depth 125, found by <linesearchdiving>)
1796.31/1796.94	c   Dual Bound       : -4.44322395555467e+01
1796.31/1796.94	c   Gap              :      39.23 %
1796.31/1796.94	c   Root Dual Bound  : -4.99999999999999e+01
1796.31/1796.98	c Time complete: 1796.4.

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-1870485-1245207251/watcher-1870485-1245207251 -o /tmp/evaluation-result-1870485-1245207251/solver-1870485-1245207251 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870485-1245207251.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.92 0.98 0.99 3/66 16212
/proc/meminfo: memFree=1816560/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=5816 CPUtime=0
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 537 0 0 0 0 0 0 0 18 0 1 0 73448538 5955584 521 1992294400 4194304 9342243 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16212/statm: 1513 528 353 1256 0 252 0

[startup+0.047467 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 16212
/proc/meminfo: memFree=1816560/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=17684 CPUtime=0.04
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 3553 0 0 0 3 1 0 0 18 0 1 0 73448538 18108416 3183 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 4421 3183 446 1256 0 3160 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17684

[startup+0.101473 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 16212
/proc/meminfo: memFree=1816560/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=17684 CPUtime=0.09
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 3553 0 0 0 5 4 0 0 18 0 1 0 73448538 18108416 3183 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 4421 3183 446 1256 0 3160 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17684

[startup+0.301498 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 16212
/proc/meminfo: memFree=1816560/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=19692 CPUtime=0.29
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 4087 0 0 0 14 15 0 0 19 0 1 0 73448538 20164608 3717 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 4923 3717 478 1256 0 3662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19692

[startup+0.701549 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 16212
/proc/meminfo: memFree=1816560/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=30424 CPUtime=0.69
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 6493 0 0 0 51 18 0 0 22 0 1 0 73448538 31154176 6108 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 7606 6108 666 1256 0 6345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30424

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 16213
/proc/meminfo: memFree=1793896/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=30904 CPUtime=1.49
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 6735 0 0 0 130 19 0 0 25 0 1 0 73448538 31645696 6350 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 7726 6350 666 1256 0 6465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30904

[startup+3.10186 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 16213
/proc/meminfo: memFree=1793576/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=37320 CPUtime=3.09
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 8134 0 0 0 289 20 0 0 25 0 1 0 73448538 38215680 7749 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 9330 7749 667 1256 0 8069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37320

[startup+6.30127 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 16213
/proc/meminfo: memFree=1787304/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=37992 CPUtime=6.29
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 8302 0 0 0 607 22 0 0 25 0 1 0 73448538 38903808 7917 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 9498 7917 667 1256 0 8237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37992

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 16213
/proc/meminfo: memFree=1785592/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=39232 CPUtime=12.68
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 8739 0 0 0 1245 23 0 0 25 0 1 0 73448538 40173568 8354 1992294400 4194304 9342243 548682068736 18446744073709551615 4272784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 9808 8354 667 1256 0 8547 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39232

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 16213
/proc/meminfo: memFree=1784440/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=40580 CPUtime=25.48
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 11395 0 0 0 2522 26 0 0 25 0 1 0 73448538 41553920 8678 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10145 8678 689 1256 0 8884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40580

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 16213
/proc/meminfo: memFree=1784440/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=41516 CPUtime=51.07
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 11962 0 0 0 5075 32 0 0 25 0 1 0 73448538 42512384 8712 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10379 8712 689 1256 0 9118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41516

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 16215
/proc/meminfo: memFree=1783032/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=43080 CPUtime=102.25
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 14281 0 0 0 10183 42 0 0 25 0 1 0 73448538 44113920 9040 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10770 9040 702 1256 0 9509 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 43080

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16215
/proc/meminfo: memFree=1783160/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=41224 CPUtime=162.23
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 20439 0 0 0 16169 54 0 0 25 0 1 0 73448538 42213376 8681 1992294400 4194304 9342243 548682068736 18446744073709551615 6960836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10306 8681 702 1256 0 9045 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 41224

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16215
/proc/meminfo: memFree=1782840/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=41468 CPUtime=222.21
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 27744 0 0 0 22154 67 0 0 25 0 1 0 73448538 42463232 9048 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10367 9048 702 1256 0 9106 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 41468

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16215
/proc/meminfo: memFree=1782904/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=41548 CPUtime=282.2
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 40597 0 0 0 28134 86 0 0 25 0 1 0 73448538 42545152 9085 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10387 9085 702 1256 0 9126 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 41548

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16215
/proc/meminfo: memFree=1784376/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=44280 CPUtime=342.17
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 92617 0 0 0 34098 119 0 0 25 0 1 0 73448538 45342720 8740 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 11070 8740 702 1256 0 9809 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 44280

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16215
/proc/meminfo: memFree=1784376/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=42208 CPUtime=402.16
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 177227 0 0 0 40045 171 0 0 25 0 1 0 73448538 43220992 8803 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10552 8803 702 1256 0 9291 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 42208

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16221
/proc/meminfo: memFree=1781176/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=43152 CPUtime=462.13
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 185263 0 0 0 46028 185 0 0 25 0 1 0 73448538 44187648 9476 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10788 9476 702 1256 0 9527 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 43152

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16221
/proc/meminfo: memFree=1781304/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=43320 CPUtime=522.11
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 198941 0 0 0 52008 203 0 0 25 0 1 0 73448538 44359680 9418 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10830 9418 713 1256 0 9569 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 43320

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16221
/proc/meminfo: memFree=1780152/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=43724 CPUtime=582.1
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 204658 0 0 0 57990 220 0 0 25 0 1 0 73448538 44773376 9676 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 10931 9676 713 1256 0 9670 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 43724

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16221
/proc/meminfo: memFree=1779000/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=47496 CPUtime=642.09
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 214197 0 0 0 63969 240 0 0 25 0 1 0 73448538 48635904 10011 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 11874 10011 713 1256 0 10613 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 47496

[startup+702.301 s]

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

/proc/meminfo: memFree=1776184/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=47952 CPUtime=1061.94
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 250571 0 0 0 105850 344 0 0 25 0 1 0 73448538 49102848 10667 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 11988 10667 713 1256 0 10727 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 47952

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1776888/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=48244 CPUtime=1121.93
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 263598 0 0 0 111832 361 0 0 25 0 1 0 73448538 49401856 10379 1992294400 4194304 9342243 548682068736 18446744073709551615 6935883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12061 10379 713 1256 0 10800 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 48244

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1776888/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=48304 CPUtime=1181.91
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 288250 0 0 0 117807 384 0 0 25 0 1 0 73448538 49463296 10616 1992294400 4194304 9342243 548682068736 18446744073709551615 6224084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12076 10616 713 1256 0 10815 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 48304

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1774776/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=49224 CPUtime=1241.89
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 298522 0 0 0 123788 401 0 0 25 0 1 0 73448538 50405376 10970 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12306 10970 713 1256 0 11045 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 49224

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1774584/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51560 CPUtime=1301.87
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 303897 0 0 0 129772 415 0 0 25 0 1 0 73448538 52797440 10994 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12890 10994 713 1256 0 11629 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 51560

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1774392/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=49228 CPUtime=1361.85
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 308460 0 0 0 135754 431 0 0 25 0 1 0 73448538 50409472 11022 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12307 11022 713 1256 0 11046 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 49228

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1774008/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=49628 CPUtime=1421.84
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 315444 0 0 0 141738 446 0 0 25 0 1 0 73448538 50819072 11124 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12407 11124 713 1256 0 11146 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 49628

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1773560/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=49820 CPUtime=1481.82
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 316958 0 0 0 147724 458 0 0 25 0 1 0 73448538 51015680 11237 1992294400 4194304 9342243 548682068736 18446744073709551615 6895824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12455 11237 713 1256 0 11194 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 49820

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1773432/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=50172 CPUtime=1541.8
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 322990 0 0 0 153708 472 0 0 25 0 1 0 73448538 51376128 11289 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12543 11289 713 1256 0 11282 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 50172

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1772408/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=50756 CPUtime=1601.78
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 327108 0 0 0 159692 486 0 0 25 0 1 0 73448538 51974144 11271 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12689 11271 713 1256 0 11428 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 50756

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16250
/proc/meminfo: memFree=1772472/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51140 CPUtime=1661.76
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 332948 0 0 0 165674 502 0 0 25 0 1 0 73448538 52367360 11492 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12785 11492 713 1256 0 11524 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 51140

[startup+1722.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 16250
/proc/meminfo: memFree=1772472/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51336 CPUtime=1721.74
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 337896 0 0 0 171658 516 0 0 25 0 1 0 73448538 52568064 11553 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12834 11553 713 1256 0 11573 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 51336

[startup+1782.3 s]
/proc/loadavg: 1.09 1.03 1.01 2/67 16250
/proc/meminfo: memFree=1772088/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=53332 CPUtime=1781.72
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 346934 0 0 0 177643 529 0 0 25 0 1 0 73448538 54611968 11561 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 13333 11561 713 1256 0 12072 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 53332

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

[startup+1785.5 s]
/proc/loadavg: 1.16 1.04 1.01 2/67 16250
/proc/meminfo: memFree=1772088/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51332 CPUtime=1784.91
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 347032 0 0 0 177961 530 0 0 25 0 1 0 73448538 52563968 11553 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12833 11553 713 1256 0 11572 0
Current children cumulated CPU time (s) 1784.91
Current children cumulated vsize (KiB) 51332

[startup+1791.91 s]
/proc/loadavg: 1.15 1.04 1.01 2/67 16250
/proc/meminfo: memFree=1771832/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51724 CPUtime=1791.32
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 347796 0 0 0 178600 532 0 0 25 0 1 0 73448538 52965376 11654 1992294400 4194304 9342243 548682068736 18446744073709551615 6960832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12931 11654 713 1256 0 11670 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 51724

[startup+1795.1 s]
/proc/loadavg: 1.14 1.04 1.01 2/67 16250
/proc/meminfo: memFree=1772664/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51456 CPUtime=1794.52
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 348581 0 0 0 178919 533 0 0 25 0 1 0 73448538 52690944 11453 1992294400 4194304 9342243 548682068736 18446744073709551615 6351630 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12864 11453 713 1256 0 11603 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 51456

[startup+1795.9 s]
/proc/loadavg: 1.14 1.04 1.01 2/67 16250
/proc/meminfo: memFree=1772664/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51460 CPUtime=1795.31
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 348720 0 0 0 178998 533 0 0 25 0 1 0 73448538 52695040 11333 1992294400 4194304 9342243 548682068736 18446744073709551615 5892112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12865 11333 713 1256 0 11604 0
Current children cumulated CPU time (s) 1795.31
Current children cumulated vsize (KiB) 51460

[startup+1796.7 s]
/proc/loadavg: 1.14 1.04 1.01 2/67 16250
/proc/meminfo: memFree=1772792/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51656 CPUtime=1796.11
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 348942 0 0 0 179078 533 0 0 25 0 1 0 73448538 52895744 11343 1992294400 4194304 9342243 548682068736 18446744073709551615 6910934 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12914 11345 713 1256 0 11653 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 51656

[startup+1796.9 s]
/proc/loadavg: 1.14 1.04 1.01 2/67 16250
/proc/meminfo: memFree=1772792/2055920 swapFree=4191988/4192956
[pid=16212] ppid=16210 vsize=51216 CPUtime=1796.31
/proc/16212/stat : 16212 (pbscip.linux.x8) R 16210 16212 16175 0 -1 4194304 349026 0 0 0 179098 533 0 0 25 0 1 0 73448538 52445184 11335 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16212/statm: 12804 11335 713 1256 0 11543 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 51216

Child status: 0
Real time (s): 1796.98
CPU time (s): 1796.41
CPU user time (s): 1791.06
CPU system time (s): 5.34719
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 61964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.06
system time used= 5.34719
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4881

runsolver used 2.6176 second user time and 3.76143 second system time

The end

Launcher Data 

Begin job on node40 at 2009-06-17 04:54:11
IDJOB=1870485
IDBENCH=48241
IDSOLVER=684
FILE ID=node40/1870485-1245207251
PBS_JOBID= 9368405
Free space on /tmp= 66564 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_2.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-1870485-1245207251/watcher-1870485-1245207251 -o /tmp/evaluation-result-1870485-1245207251/solver-1870485-1245207251 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870485-1245207251.opb

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

MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63
RANDOM SEED=156010451

node40.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.216
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.216
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1817040 kB
Buffers:         30192 kB
Cached:         130652 kB
SwapCached:        384 kB
Active:          61248 kB
Inactive:       113568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1817040 kB
SwapTotal:     4192956 kB
SwapFree:      4191988 kB
Dirty:           11828 kB
Writeback:           0 kB
Mapped:          23328 kB
Slab:            49868 kB
Committed_AS:    69864 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB
End job on node40 at 2009-06-17 05:24:08