Trace number 1870291

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.2SAT22 1796.79 1797.29

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_3.opb
MD5SUM9e4e432c8df29dadb31632f81ac67b02
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1798.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint21
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products2488
Sum of products size4976

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.03	c SCIP version 1.1.0.7
0.00/0.03	c LP-Solver Clp 1.8.2
0.00/0.03	c user parameter file <scip.set> not found - using default parameters
0.00/0.03	c read problem <HOME/instance-1870291-1245195581.opb>
0.00/0.03	c original problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2688 constraints
0.00/0.05	c start presolving problem
0.00/0.05	c presolving:
0.19/0.23	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71340 impls, 0 clqs
0.39/0.41	c    (0.2s) probing: 101/2688 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.41	c presolving (2 rounds):
0.39/0.41	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41	c  71340 implications, 0 cliques
0.39/0.41	c presolved problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2688 constraints
0.39/0.41	c    2488 constraints of type <and>
0.39/0.41	c     200 constraints of type <logicor>
0.39/0.41	c transformed objective value is always integral (scale: 1)
0.39/0.41	c Presolving Time: 0.21
0.39/0.42	c OPT-NLC
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/memory = c 1620
0.39/0.42	c # maximal time in seconds to run
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/time = c 1791
0.39/0.42	c # frequency for displaying node information lines
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42	c display/freq = c 10000
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c start solving problem
0.39/0.42	c 
0.39/0.47	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.47	c   0.3s|     1 |     0 |   400 |  13M|   0 | 400 |2688 |2688 |2688 |2688 |5176 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.49	o 50
0.39/0.49	c s 0.3s|     1 |     0 |   400 |  13M|   0 | 400 |2688 |2688 |2688 |2688 |5176 |   0 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
0.99/1.04	c   0.8s|     1 |     0 |  1000 |  13M|   0 | 400 |2688 |2688 |2688 |2688 |5577 | 401 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
1.49/1.53	c   1.3s|     1 |     0 |  1600 |  13M|   0 | 400 |2688 |2688 |2688 |2688 |5977 | 801 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
1.49/1.55	o 49
1.49/1.55	c s 1.3s|     1 |     0 |  1600 |  13M|   0 | 400 |2688 |2688 |2688 |2688 |5977 | 801 |   0 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
1.98/2.07	c   1.8s|     1 |     0 |  2200 |  14M|   0 | 400 |2688 |2688 |2688 |2688 |6377 |1201 |   0 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
1.98/2.09	o 44
1.98/2.09	c s 1.8s|     1 |     0 |  2200 |  14M|   0 | 400 |2688 |2688 |2688 |2688 |6377 |1201 |   0 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
2.58/2.69	c   2.4s|     1 |     0 |  2801 |  14M|   0 | 400 |2688 |2688 |2688 |2688 |6780 |1604 |   0 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
2.68/2.71	o 43
2.68/2.71	c s 2.4s|     1 |     0 |  2801 |  14M|   0 | 400 |2688 |2688 |2688 |2688 |6780 |1604 |   0 |   0 | 0.000000e+00 | 4.300000e+01 |    Inf 
3.88/3.97	c   3.7s|     1 |     0 |  4232 |  14M|   0 | 948 |2688 |2688 |2688 |2688 |7181 |2005 |   0 |   0 | 1.048000e+01 | 4.300000e+01 | 310.31%
6.98/7.02	c   6.7s|     1 |     0 |  5884 |  15M|   0 |1145 |2688 |2688 |2688 |2688 |7404 |2228 |   0 |   0 | 1.350586e+01 | 4.300000e+01 | 218.38%
10.67/10.72	c  10.4s|     1 |     0 |  7057 |  16M|   0 |1421 |2688 |2688 |2688 |2688 |7493 |2317 |   0 |   0 | 1.417899e+01 | 4.300000e+01 | 203.27%
15.18/15.25	c  14.9s|     1 |     0 |  7602 |  16M|   0 |1514 |2688 |2688 |2688 |2688 |7541 |2365 |   0 |   0 | 1.435651e+01 | 4.300000e+01 | 199.52%
20.18/20.25	c  19.9s|     1 |     0 |  8230 |  16M|   0 |1706 |2688 |2688 |2688 |2688 |7572 |2396 |   0 |   0 | 1.452755e+01 | 4.300000e+01 | 195.99%
25.58/25.62	c  25.3s|     1 |     0 |  8274 |  16M|   0 |1717 |2688 |2688 |2688 |2688 |7587 |2411 |   0 |   0 | 1.452758e+01 | 4.300000e+01 | 195.99%
31.27/31.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.27/31.35	c  31.0s|     1 |     0 |  8469 |  16M|   0 |1727 |2688 |2688 |2688 |2688 |2779 |2418 |   0 |   0 | 1.454588e+01 | 4.300000e+01 | 195.62%
32.58/32.69	c  32.3s|     1 |     0 |  8475 |  16M|   0 |1729 |2688 |2688 |2688 |2688 |2784 |2423 |   0 |   0 | 1.454588e+01 | 4.300000e+01 | 195.62%
33.97/34.03	c  33.7s|     1 |     0 |  8480 |  16M|   0 |1729 |2688 |2688 |2688 |2688 |2786 |2425 |   0 |   0 | 1.454588e+01 | 4.300000e+01 | 195.62%
41.26/41.31	c  40.9s|     1 |     2 |  8480 |  16M|   0 |1729 |2688 |2688 |2688 |2688 |2786 |2425 |   0 |  27 | 1.454588e+01 | 4.300000e+01 | 195.62%
116.55/116.64	o 23
116.55/116.64	c * 116s|    27 |    21 | 19614 |  17M|  26 |   - |2688 |2688 |2134 |2688 |3675 |3806 |   0 | 377 | 1.500235e+01 | 2.300000e+01 |  53.31%
116.55/116.68	o 22
116.55/116.68	c * 116s|    28 |    17 | 19635 |  17M|  26 |   - |2688 |2688 |1504 |2688 |3659 |3806 |   0 | 377 | 1.500235e+01 | 2.200000e+01 |  46.64%
1796.69/1797.22	c 
1796.69/1797.22	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.22	c Solving Time (sec) : 1791.00
1796.69/1797.22	c Solving Nodes      : 4593
1796.69/1797.22	c Primal Bound       : +2.20000000000000e+01 (6 solutions)
1796.69/1797.22	c Dual Bound         : +1.58544528400390e+01
1796.69/1797.22	c Gap                : 38.76 %
1796.69/1797.22	c NODE         4593
1796.69/1797.22	c DUAL BOUND   15.8545
1796.69/1797.22	c PRIMAL BOUND 22
1796.69/1797.22	c GAP          0.387623
1796.69/1797.22	s SATISFIABLE
1796.69/1797.22	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 
1796.69/1797.22	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1796.69/1797.22	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 
1796.69/1797.22	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 
1796.69/1797.22	v -x115 -x114 -x113 x112 x111 -x110 x109 x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 
1796.69/1797.22	v x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 x68 
1796.69/1797.22	v -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 
1796.69/1797.22	v -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 
1796.69/1797.22	v -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1796.69/1797.22	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.22	c Solving Time       :    1791.00
1796.69/1797.22	c Original Problem   :
1796.69/1797.22	c   Problem name     : HOME/instance-1870291-1245195581.opb
1796.69/1797.22	c   Variables        : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.22	c   Constraints      : 2688 initial, 2688 maximal
1796.69/1797.22	c Presolved Problem  :
1796.69/1797.22	c   Problem name     : t_HOME/instance-1870291-1245195581.opb
1796.69/1797.22	c   Variables        : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.22	c   Constraints      : 2688 initial, 2689 maximal
1796.69/1797.22	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.69/1797.22	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.69/1797.22	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.69/1797.22	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.69/1797.22	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.69/1797.22	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.69/1797.22	c   probing          :       0.05          0          0          0          0          0          0          0          0
1796.69/1797.22	c   and              :       0.15          0          0          0          0          0          0          0          0
1796.69/1797.22	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1796.69/1797.22	c   root node        :          -          0          -          -          0          -          -          -          -
1796.69/1797.22	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.22	c   integral         :          0          0          0       2744          0         55        422          0          0       5180
1796.69/1797.22	c   and              :       2488       9965      38228          2          1          0     266461      75741          0          0
1796.69/1797.22	c   logicor          :        200+        14      16197          2          1          0          0          0          0          0
1796.69/1797.22	c   countsols        :          0          0          0          2          1          0          0          0          0          0
1796.69/1797.22	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.69/1797.22	c   integral         :     400.77       0.00       0.00     400.77       0.00
1796.69/1797.22	c   and              :      30.51      23.00       7.51       0.00       0.00
1796.69/1797.22	c   logicor          :       0.13       0.00       0.13       0.00       0.00
1796.69/1797.22	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.69/1797.22	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.69/1797.22	c   rootredcost      :       0.06          2          0          0
1796.69/1797.22	c   pseudoobj        :       0.73      38128          1          0
1796.69/1797.22	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.22	c   propagation      :       0.00          1          1          1       22.0          0        0.0          -
1796.69/1797.22	c   infeasible LP    :       1.61       2339          0          0        0.0          0        0.0          0
1796.69/1797.22	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.22	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.22	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.69/1797.22	c   applied globally :          -          -          -          1       22.0          -          -          -
1796.69/1797.22	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.22	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.22	c   cut pool         :       0.00         13          -          -          1          -    (maximal pool size: 2738)
1796.69/1797.22	c   redcost          :       1.73       9987          0      39655          0          0
1796.69/1797.22	c   impliedbounds    :       0.05         14          0          0       2536          0
1796.69/1797.22	c   intobj           :       0.00          0          0          0          0          0
1796.69/1797.22	c   gomory           :      14.69         14          0          0       2688          0
1796.69/1797.22	c   strongcg         :      11.73         14          0          0       3608          0
1796.69/1797.22	c   cmir             :       2.12         10          0          0       2017          0
1796.69/1797.22	c   flowcover        :       1.01         10          0          0        200          0
1796.69/1797.22	c   clique           :       0.11         14          0          0         11          0
1796.69/1797.22	c   zerohalf         :       0.00          0          0          0          0          0
1796.69/1797.23	c   mcf              :       0.01          1          0          0          0          0
1796.69/1797.23	c Pricers            :       Time      Calls       Vars
1796.69/1797.23	c   problem variables:       0.00          0          0
1796.69/1797.23	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.23	c   relpscost        :     400.77       2742         55        422          0          0       5180
1796.69/1797.23	c   pscost           :       0.00          0          0          0          0          0          0
1796.69/1797.23	c   inference        :       0.00          1          0          0          0          0          2
1796.69/1797.23	c   mostinf          :       0.00          0          0          0          0          0          0
1796.69/1797.23	c   leastinf         :       0.00          0          0          0          0          0          0
1796.69/1797.23	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.69/1797.23	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.69/1797.23	c   random           :       0.00          0          0          0          0          0          0
1796.69/1797.23	c Primal Heuristics  :       Time      Calls      Found
1796.69/1797.23	c   LP solutions     :       0.00          -          2
1796.69/1797.23	c   pseudo solutions :       0.00          -          0
1796.69/1797.23	c   feaspump         :       0.00          0          0
1796.69/1797.23	c   oneopt           :       0.00          3          0
1796.69/1797.23	c   crossover        :       0.32          4          0
1796.69/1797.23	c   objpscostdiving  :      34.47          8          0
1796.69/1797.23	c   pscostdiving     :      72.45         20          0
1796.69/1797.23	c   linesearchdiving :      39.99         22          0
1796.69/1797.23	c   guideddiving     :      59.26         22          0
1796.69/1797.23	c   fracdiving       :      39.27         23          0
1796.69/1797.23	c   veclendiving     :      47.23         23          0
1796.69/1797.23	c   coefdiving       :      35.99         23          0
1796.69/1797.23	c   rootsoldiving    :       6.53         12          0
1796.69/1797.23	c   simplerounding   :       0.02          0          0
1796.69/1797.23	c   rounding         :       2.90       1327          0
1796.69/1797.23	c   shifting         :       3.20       1142          4
1796.69/1797.23	c   intshifting      :       0.00          0          0
1796.69/1797.23	c   fixandinfer      :       0.00          0          0
1796.69/1797.23	c   intdiving        :       0.00          0          0
1796.69/1797.23	c   actconsdiving    :       0.00          0          0
1796.69/1797.23	c   octane           :       0.00          0          0
1796.69/1797.23	c   rens             :       0.01          0          0
1796.69/1797.23	c   rins             :       0.00          0          0
1796.69/1797.23	c   localbranching   :       0.00          0          0
1796.69/1797.23	c   mutation         :       0.00          0          0
1796.69/1797.23	c   dins             :       0.00          0          0
1796.69/1797.23	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.69/1797.23	c   primal LP        :     191.80          0          0       0.00       0.00
1796.69/1797.23	c   dual LP          :     760.24      12674    1334712     105.31    1755.65
1796.69/1797.23	c   barrier LP       :       0.00          0          0       0.00          -
1796.69/1797.23	c   diving/probing LP:     306.61      12050     468318      38.86    1527.41
1796.69/1797.23	c   strong branching :     398.62       2896     776207     268.03    1947.24
1796.69/1797.23	c     (at root node) :          -         27       8508     315.11          -
1796.69/1797.23	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.23	c B&B Tree           :
1796.69/1797.23	c   number of runs   :          1
1796.69/1797.23	c   nodes            :       4593
1796.69/1797.23	c   nodes (total)    :       4593
1796.69/1797.23	c   nodes left       :        582
1796.69/1797.23	c   max depth        :         52
1796.69/1797.23	c   max depth (total):         52
1796.69/1797.23	c   backtracks       :        863 (18.8%)
1796.69/1797.23	c   delayed cutoffs  :          0
1796.69/1797.23	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.69/1797.23	c   avg switch length:       3.83
1796.69/1797.23	c   switching time   :     193.30
1796.69/1797.23	c Solution           :
1796.69/1797.23	c   Solutions found  :          6 (6 improvements)
1796.69/1797.23	c   Primal Bound     : +2.20000000000000e+01   (in run 1, after 28 nodes, 116.16 seconds, depth 21, found by <relaxation>)
1796.69/1797.23	c   Dual Bound       : +1.58544528400390e+01
1796.69/1797.23	c   Gap              :      38.76 %
1796.69/1797.23	c   Root Dual Bound  : +1.45458770379233e+01
1796.69/1797.29	c Time complete: 1796.78.

Verifier Data 

OK	22

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870291-1245195581/watcher-1870291-1245195581 -o /tmp/evaluation-result-1870291-1245195581/solver-1870291-1245195581 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870291-1245195581.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: 1.00 0.99 0.97 3/64 5666
/proc/meminfo: memFree=1847016/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=5812 CPUtime=0
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 187158750 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5666/statm: 1453 509 338 1256 0 192 0

[startup+0.0598309 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5666
/proc/meminfo: memFree=1847016/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=20284 CPUtime=0.04
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 4229 0 0 0 3 1 0 0 18 0 1 0 187158750 20770816 3859 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 5071 3859 447 1256 0 3810 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20284

[startup+0.101835 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5666
/proc/meminfo: memFree=1847016/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=23684 CPUtime=0.09
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 5068 0 0 0 7 2 0 0 18 0 1 0 187158750 24252416 4698 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 5921 4698 447 1256 0 4660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23684

[startup+0.301858 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5666
/proc/meminfo: memFree=1847016/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=25008 CPUtime=0.29
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 5417 0 0 0 16 13 0 0 19 0 1 0 187158750 25608192 5047 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 6252 5047 469 1256 0 4991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25008

[startup+0.701905 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5666
/proc/meminfo: memFree=1847016/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=38148 CPUtime=0.69
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 8381 0 0 0 51 18 0 0 22 0 1 0 187158750 39063552 7996 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 9537 7996 632 1256 0 8276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38148

[startup+1.502 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1816800/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=40028 CPUtime=1.49
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 8793 0 0 0 127 22 0 0 25 0 1 0 187158750 40988672 8408 1992294400 4194304 9342243 548682068736 18446744073709551615 5855088 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5666/statm: 10007 8408 650 1256 0 8746 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40028

[startup+3.10219 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1813984/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=42708 CPUtime=3.08
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 9270 0 0 0 284 24 0 0 25 0 1 0 187158750 43732992 8885 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 10677 8885 650 1256 0 9416 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42708

[startup+6.30156 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1812512/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=48604 CPUtime=6.28
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 11379 0 0 0 602 26 0 0 25 0 1 0 187158750 49770496 10126 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12151 10126 653 1256 0 10890 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48604

[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1805416/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=52284 CPUtime=12.68
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 12258 0 0 0 1241 27 0 0 25 0 1 0 187158750 53538816 11005 1992294400 4194304 9342243 548682068736 18446744073709551615 6939022 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13071 11005 653 1256 0 11810 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52284

[startup+25.5018 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1804648/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=52284 CPUtime=25.48
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 12437 0 0 0 2518 30 0 0 25 0 1 0 187158750 53538816 11184 1992294400 4194304 9342243 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13071 11184 653 1256 0 11810 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52284

[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1803496/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=50176 CPUtime=51.07
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 13278 0 0 0 5072 35 0 0 25 0 1 0 187158750 51380224 11520 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12544 11520 674 1256 0 11283 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50176

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1803304/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=50176 CPUtime=102.25
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 13341 0 0 0 10183 42 0 0 25 0 1 0 187158750 51380224 11583 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12544 11583 683 1256 0 11283 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 50176

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1803048/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=52104 CPUtime=162.23
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 13389 0 0 0 16174 49 0 0 25 0 1 0 187158750 53354496 11631 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13026 11631 686 1256 0 11765 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52104

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1803496/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=50344 CPUtime=222.21
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 17616 0 0 0 22162 59 0 0 25 0 1 0 187158750 51552256 11489 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12586 11489 697 1256 0 11325 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 50344

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1802024/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=52672 CPUtime=282.2
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 21391 0 0 0 28150 70 0 0 25 0 1 0 187158750 53936128 11980 1992294400 4194304 9342243 548682068736 18446744073709551615 6960325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13168 11980 697 1256 0 11907 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 52672

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1800808/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=53116 CPUtime=342.18
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 24753 0 0 0 34138 80 0 0 25 0 1 0 187158750 54390784 12152 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13279 12152 697 1256 0 12018 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 53116

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1800104/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=53752 CPUtime=402.17
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 33841 0 0 0 40122 95 0 0 25 0 1 0 187158750 55042048 12344 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13438 12344 697 1256 0 12177 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 53752

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=53828 CPUtime=462.15
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 55081 0 0 0 46097 118 0 0 25 0 1 0 187158750 55119872 11969 1992294400 4194304 9342243 548682068736 18446744073709551615 6897099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13457 11970 697 1256 0 12196 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 53828

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1801448/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=55500 CPUtime=522.13
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 115927 0 0 0 52058 155 0 0 25 0 1 0 187158750 56832000 12067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13875 12067 697 1256 0 12614 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 55500

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1801320/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=53472 CPUtime=582.12
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 189161 0 0 0 58014 198 0 0 25 0 1 0 187158750 54755328 11962 1992294400 4194304 9342243 548682068736 18446744073709551615 6044810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 13368 11962 697 1256 0 12107 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 53472

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5667
/proc/meminfo: memFree=1798696/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=58376 CPUtime=642.11
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 220839 0 0 0 63989 222 0 0 25 0 1 0 187158750 59777024 12657 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14594 12657 697 1256 0 13333 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 58376

[startup+702.302 s]

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

/proc/meminfo: memFree=1794024/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=59328 CPUtime=1121.97
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 390218 0 0 0 111820 377 0 0 25 0 1 0 187158750 60751872 13781 1992294400 4194304 9342243 548682068736 18446744073709551615 4289638 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14832 13781 699 1256 0 13571 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 59328

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5669
/proc/meminfo: memFree=1794408/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=59804 CPUtime=1181.95
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 395103 0 0 0 117807 388 0 0 25 0 1 0 187158750 61239296 13733 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14951 13733 699 1256 0 13690 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 59804

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5669
/proc/meminfo: memFree=1794728/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=59692 CPUtime=1241.94
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 404602 0 0 0 123792 402 0 0 25 0 1 0 187158750 61124608 13672 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14923 13672 699 1256 0 13662 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 59692

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793704/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=59936 CPUtime=1301.92
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 410854 0 0 0 129779 413 0 0 25 0 1 0 187158750 61374464 13851 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14984 13851 699 1256 0 13723 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 59936

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1794536/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=59796 CPUtime=1361.9
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 423722 0 0 0 135760 430 0 0 25 0 1 0 187158750 61231104 13670 1992294400 4194304 9342243 548682068736 18446744073709551615 6896740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14949 13670 699 1256 0 13688 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 59796

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1792936/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=60936 CPUtime=1421.89
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 433581 0 0 0 141743 446 0 0 25 0 1 0 187158750 62398464 14012 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15234 14012 699 1256 0 13973 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 60936

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1792232/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=60452 CPUtime=1481.87
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 440895 0 0 0 147728 459 0 0 25 0 1 0 187158750 61902848 14175 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15113 14175 699 1256 0 13852 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 60452

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793256/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61356 CPUtime=1541.86
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 448770 0 0 0 153714 472 0 0 25 0 1 0 187158750 62828544 13957 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15339 13957 699 1256 0 14078 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 61356

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1792360/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=64672 CPUtime=1601.84
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 463576 0 0 0 159691 493 0 0 25 0 1 0 187158750 66224128 14022 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 16168 14022 699 1256 0 14907 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 64672

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793064/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=64852 CPUtime=1661.82
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 480113 0 0 0 165672 510 0 0 25 0 1 0 187158750 66408448 13992 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 16213 13992 699 1256 0 14952 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 64852

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793128/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61728 CPUtime=1721.81
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 509959 0 0 0 171645 536 0 0 25 0 1 0 187158750 63209472 13890 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15432 13890 699 1256 0 14171 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 61728

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793000/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61556 CPUtime=1781.79
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 542054 0 0 0 177619 560 0 0 25 0 1 0 187158750 63033344 14013 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15389 14013 699 1256 0 14128 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 61556

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

[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793384/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=62084 CPUtime=1784.99
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 544091 0 0 0 177938 561 0 0 25 0 1 0 187158750 63574016 13917 1992294400 4194304 9342243 548682068736 18446744073709551615 6040637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15521 13917 699 1256 0 14260 0
Current children cumulated CPU time (s) 1784.99
Current children cumulated vsize (KiB) 62084

[startup+1791.9 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793320/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61808 CPUtime=1791.39
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 551137 0 0 0 178573 566 0 0 25 0 1 0 187158750 63291392 13885 1992294400 4194304 9342243 548682068736 18446744073709551615 6957761 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15452 13885 699 1256 0 14191 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 61808

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793448/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=62072 CPUtime=1794.59
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 553534 0 0 0 178891 568 0 0 25 0 1 0 187158750 63561728 13887 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15518 13887 699 1256 0 14257 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 62072

[startup+1795.9 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793448/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61552 CPUtime=1795.39
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 554082 0 0 0 178970 569 0 0 25 0 1 0 187158750 63029248 13977 1992294400 4194304 9342243 548682068736 18446744073709551615 6897254 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15388 13977 699 1256 0 14127 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (KiB) 61552

[startup+1796.7 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793320/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=62072 CPUtime=1796.19
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 555211 0 0 0 179050 569 0 0 25 0 1 0 187158750 63561728 13886 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15518 13886 699 1256 0 14257 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 62072

[startup+1797.1 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793320/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61044 CPUtime=1796.59
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 555865 0 0 0 179090 569 0 0 25 0 1 0 187158750 62509056 13854 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15261 13854 699 1256 0 14000 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 61044

[startup+1797.2 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5675
/proc/meminfo: memFree=1793320/2055920 swapFree=4192812/4192956
[pid=5666] ppid=5664 vsize=61812 CPUtime=1796.69
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5503 0 -1 4194304 555978 0 0 0 179100 569 0 0 25 0 1 0 187158750 63295488 13936 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15453 13936 699 1256 0 14192 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 61812

Child status: 0
Real time (s): 1797.29
CPU time (s): 1796.79
CPU user time (s): 1791.08
CPU system time (s): 5.70613
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 71676

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

runsolver used 1.72374 second user time and 3.2795 second system time

The end

Launcher Data 

Begin job on node11 at 2009-06-17 01:39:41
IDJOB=1870291
IDBENCH=48144
IDSOLVER=684
FILE ID=node11/1870291-1245195581
PBS_JOBID= 9368316
Free space on /tmp= 66196 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_3.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-1870291-1245195581/watcher-1870291-1245195581 -o /tmp/evaluation-result-1870291-1245195581/solver-1870291-1245195581 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870291-1245195581.opb

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

MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02
RANDOM SEED=1517578151

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1847496 kB
Buffers:         46836 kB
Cached:          90388 kB
SwapCached:          0 kB
Active:          51764 kB
Inactive:        98880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1847496 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11764 kB
Writeback:           0 kB
Mapped:          23244 kB
Slab:            43732 kB
Committed_AS:   195720 kB
PageTables:       1452 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= 66184 MiB
End job on node11 at 2009-06-17 02:09:39