Trace number 1870509

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-9 1794.15 1795.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
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-25
Best CPU time to get the best result obtained on this benchmark1800.41
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 variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SCIP version 1.1.0.7
0.06/0.08	c LP-Solver Clp 1.8.2
0.06/0.08	c user parameter file <scip.set> not found - using default parameters
0.06/0.08	c read problem <HOME/instance-1870509-1245208826.opb>
0.06/0.08	c original problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6827 constraints
0.09/0.14	c start presolving problem
0.09/0.14	c presolving:
0.29/0.38	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50208 impls, 400 clqs
0.69/0.78	c    (0.5s) probing: 101/6626 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.78	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.69/0.78	c presolving (2 rounds):
0.69/0.78	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.78	c  50208 implications, 400 cliques
0.69/0.78	c presolved problem has 6626 variables (6626 bin, 0 int, 0 impl, 0 cont) and 6827 constraints
0.69/0.78	c     400 constraints of type <setppc>
0.69/0.78	c    6226 constraints of type <and>
0.69/0.78	c       1 constraints of type <linear>
0.69/0.78	c     200 constraints of type <logicor>
0.69/0.78	c transformed objective value is always integral (scale: 1)
0.69/0.78	c Presolving Time: 0.50
0.69/0.79	c OPT-NLC
0.69/0.79	c -----------------------------------------------------------------------------------------------
0.69/0.79	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79	c limits/memory = c 1620
0.69/0.79	c # maximal time in seconds to run
0.69/0.79	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79	c limits/time = c 1791
0.69/0.79	c # frequency for displaying node information lines
0.69/0.79	c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.79	c display/freq = c 10000
0.69/0.79	c -----------------------------------------------------------------------------------------------
0.69/0.79	c start solving problem
0.69/0.79	c 
1.30/1.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.30/1.30	c   1.0s|     1 |     0 |   515 |  30M|   0 | 400 |6626 |6827 |6827 |6626 |  13k|   0 |   0 |   0 |-1.000000e+02 |      --      |    Inf 
1.30/1.33	o -4
1.30/1.33	c R 1.0s|     1 |     0 |   515 |  30M|   0 | 400 |6626 |6827 |6827 |6626 |  13k|   0 |   0 |   0 |-1.000000e+02 |-4.000000e+00 |  96.00%
28.35/29.17	c  28.1s|     1 |     0 |  8297 |  30M|   0 |3559 |6626 |6827 |6827 |6626 |  13k|   2 |   0 |   0 |-1.000000e+02 |-4.000000e+00 |  96.00%
28.45/29.22	o -9
28.45/29.22	c s28.1s|     1 |     0 |  8297 |  30M|   0 |3559 |6626 |6827 |6827 |6626 |  13k|   2 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
37.55/38.39	c  37.2s|     1 |     0 |  9115 |  30M|   0 |3565 |6626 |6827 |6827 |6626 |  13k| 118 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
45.65/46.44	c  45.3s|     1 |     0 |  9474 |  30M|   0 |3568 |6626 |6827 |6827 |6626 |  13k| 135 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
54.74/55.53	c  54.3s|     1 |     0 | 10048 |  31M|   0 |3573 |6626 |6827 |6827 |6626 |  13k| 143 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
62.94/63.70	c  62.5s|     1 |     0 | 10267 |  31M|   0 |3574 |6626 |6827 |6827 |6626 |  13k| 151 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
72.24/73.05	c  71.8s|     1 |     0 | 10593 |  31M|   0 |3574 |6626 |6827 |6827 |6626 |  13k| 162 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
72.34/73.10	o -9
72.34/73.10	c s71.8s|     1 |     0 | 10593 |  31M|   0 |3574 |6626 |6827 |6827 |6626 |  13k| 162 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
132.72/133.58	c   132s|     1 |     2 | 10593 |  31M|   0 |3574 |6626 |6827 |6827 |6626 |  13k| 162 |   0 |  19 |-1.000000e+02 |-9.000000e+00 |  91.00%
1793.93/1795.27	c 
1793.93/1795.27	c SCIP Status        : solving was interrupted [time limit reached]
1793.93/1795.27	c Solving Time (sec) : 1791.00
1793.93/1795.27	c Solving Nodes      : 14
1793.93/1795.27	c Primal Bound       : -9.00000000000000e+00 (4 solutions)
1793.93/1795.27	c Dual Bound         : -9.95823450752853e+01
1793.93/1795.27	c Gap                : 90.96 %
1793.93/1795.29	c NODE         14
1793.93/1795.29	c DUAL BOUND   -99.5823
1793.93/1795.29	c PRIMAL BOUND -9
1793.93/1795.29	c GAP          0.909623
1793.93/1795.29	s SATISFIABLE
1793.93/1795.29	v -x383 -x316 -x245 -x260 -x248 -x378 -x310 -x305 -x293 -x257 -x230 -x355 -x387 -x352 -x380 x394 x240 -x393 -x385 -x376 -x301 -x360 
1793.93/1795.29	v -x290 -x297 -x350 -x209 -x338 -x259 -x218 -x306 -x334 -x323 -x348 -x231 -x388 -x312 -x336 x357 -x339 x296 -x255 -x239 -x369 
1793.93/1795.29	v -x286 -x299 -x329 -x373 -x330 -x232 -x311 -x226 -x256 -x358 -x372 -x284 -x322 -x370 -x326 -x283 -x246 -x319 -x242 -x396 -x268 
1793.93/1795.29	v -x252 x346 -x222 -x308 -x204 -x364 -x356 -x331 x318 -x292 -x262 -x258 -x241 -x397 -x270 -x237 -x313 -x210 -x351 -x371 -x207 
1793.93/1795.29	v -x302 -x320 -x315 -x377 -x344 -x353 -x379 -x219 -x392 -x203 -x395 -x381 -x375 -x300 -x213 -x235 -x295 -x264 -x279 -x275 -x345 
1793.93/1795.29	v -x291 -x340 -x289 -x269 -x234 -x317 -x243 -x390 -x228 -x202 -x398 -x363 -x359 -x349 -x337 -x333 -x307 -x303 -x298 -x288 -x282 
1793.93/1795.29	v -x251 -x247 -x244 -x212 -x324 -x386 -x354 -x389 -x223 -x294 -x224 -x236 -x266 -x214 -x254 -x272 -x341 -x362 -x400 -x309 -x285 
1793.93/1795.29	v -x328 -x347 -x201 -x391 -x367 -x365 -x361 -x343 -x342 -x335 -x327 -x325 -x314 -x304 -x281 -x278 -x271 -x267 -x265 -x263 
1793.93/1795.29	v -x238 -x225 -x220 -x217 -x216 -x208 -x205 -x368 -x253 -x384 -x332 -x374 -x280 -x206 -x215 -x287 -x229 -x221 -x399 -x261 -x249 
1793.93/1795.29	v -x227 -x382 -x274 -x250 -x321 -x233 -x277 -x273 x211 x366 x276 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 
1793.93/1795.29	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
1793.93/1795.29	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 
1793.93/1795.29	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
1793.93/1795.29	v -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
1793.93/1795.29	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 
1793.93/1795.29	v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 
1793.93/1795.29	v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 
1793.93/1795.29	v -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 
1793.93/1795.29	v -x6 -x5 x4 x3 -x2 -x1 
1793.93/1795.29	c SCIP Status        : solving was interrupted [time limit reached]
1793.93/1795.29	c Solving Time       :    1791.00
1793.93/1795.29	c Original Problem   :
1793.93/1795.29	c   Problem name     : HOME/instance-1870509-1245208826.opb
1793.93/1795.29	c   Variables        : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.93/1795.29	c   Constraints      : 6827 initial, 6827 maximal
1793.93/1795.29	c Presolved Problem  :
1793.93/1795.29	c   Problem name     : t_HOME/instance-1870509-1245208826.opb
1793.93/1795.29	c   Variables        : 6626 (6626 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.93/1795.29	c   Constraints      : 6827 initial, 6838 maximal
1793.93/1795.29	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.93/1795.29	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1793.93/1795.29	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1793.93/1795.29	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.93/1795.29	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.93/1795.29	c   implics          :       0.00          0          0          0          0          0          0          0          0
1793.93/1795.29	c   probing          :       0.23          0          0          0          0          0          0          0          0
1793.93/1795.29	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1793.93/1795.29	c   and              :       0.15          0          0          0          0          0          0          0          0
1793.93/1795.29	c   linear           :       0.06          0          0          0          0          0          0          0          0
1793.93/1795.29	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1793.93/1795.29	c   root node        :          -          0          -          -          0          -          -          -          -
1793.93/1795.29	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.93/1795.29	c   integral         :          0          0          0         14          0          0          0          0          0         28
1793.93/1795.29	c   setppc           :        400          6       6905          0          0          1          0          0          0          0
1793.93/1795.29	c   and              :       6226         71       6904          0          0         10        466      78095          0          0
1793.93/1795.29	c   linear           :          1          6       6894          0          0          0          0          0          0          0
1793.93/1795.29	c   logicor          :        200+         6        474          0          0          0          5          0          0          0
1793.93/1795.29	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.93/1795.29	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.93/1795.29	c   integral         :     254.76       0.00       0.00     254.76       0.00
1793.93/1795.29	c   setppc           :       0.17       0.00       0.17       0.00       0.00
1793.93/1795.29	c   and              :       3.53       0.47       3.06       0.00       0.00
1793.93/1795.29	c   linear           :       0.10       0.01       0.09       0.00       0.00
1793.93/1795.29	c   logicor          :       0.01       0.00       0.01       0.00       0.00
1793.93/1795.29	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.93/1795.29	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.93/1795.29	c   rootredcost      :       0.00          1          0          0
1793.93/1795.29	c   pseudoobj        :       0.11       6707          0          0
1793.93/1795.29	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.93/1795.29	c   propagation      :       0.00         11         11         11        2.1          0        0.0          -
1793.93/1795.29	c   infeasible LP    :       0.17         98          0          0        0.0          0        0.0          0
1793.93/1795.29	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.93/1795.29	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.93/1795.29	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.93/1795.29	c   applied globally :          -          -          -         11        2.1          -          -          -
1793.93/1795.29	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.93/1795.29	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.93/1795.29	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 139)
1793.93/1795.29	c   redcost          :       0.05         71          0          0          0          0
1793.93/1795.29	c   impliedbounds    :       0.02          6          0          0        180          0
1793.93/1795.29	c   intobj           :       0.00          0          0          0          0          0
1793.93/1795.29	c   gomory           :      13.34          6          0          0        400          0
1793.93/1795.29	c   strongcg         :      13.24          6          0          0        400          0
1793.93/1795.29	c   cmir             :       1.70          6          0          0          0          0
1793.93/1795.29	c   flowcover        :       1.63          6          0          0          0          0
1793.93/1795.29	c   clique           :       2.23          6          0          0         42          0
1793.93/1795.29	c   zerohalf         :       0.00          0          0          0          0          0
1793.93/1795.29	c   mcf              :       0.42          2          0          0          4          0
1793.93/1795.29	c Pricers            :       Time      Calls       Vars
1793.93/1795.29	c   problem variables:       0.00          0          0
1793.93/1795.29	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.93/1795.29	c   relpscost        :     254.76         14          0          0          0          0         28
1793.93/1795.29	c   pscost           :       0.00          0          0          0          0          0          0
1793.93/1795.29	c   inference        :       0.00          0          0          0          0          0          0
1793.93/1795.29	c   mostinf          :       0.00          0          0          0          0          0          0
1793.93/1795.29	c   leastinf         :       0.00          0          0          0          0          0          0
1793.93/1795.29	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.93/1795.29	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.93/1795.29	c   random           :       0.00          0          0          0          0          0          0
1793.93/1795.29	c Primal Heuristics  :       Time      Calls      Found
1793.93/1795.29	c   LP solutions     :       0.00          -          0
1793.93/1795.29	c   pseudo solutions :       0.00          -          0
1793.93/1795.29	c   oneopt           :       0.01          1          0
1793.93/1795.29	c   simplerounding   :       0.00          0          0
1793.93/1795.29	c   rounding         :       3.29         85          1
1793.93/1795.29	c   shifting         :       0.27          7          3
1793.93/1795.29	c   intshifting      :       0.00          0          0
1793.93/1795.29	c   fixandinfer      :       0.00          0          0
1793.93/1795.29	c   feaspump         :       0.00          0          0
1793.93/1795.29	c   coefdiving       :     194.28          2          0
1793.93/1795.29	c   pscostdiving     :     319.01          1          0
1793.93/1795.29	c   fracdiving       :      80.52          1          0
1793.93/1795.29	c   veclendiving     :      74.03          1          0
1793.93/1795.29	c   intdiving        :       0.00          0          0
1793.93/1795.29	c   actconsdiving    :       0.00          0          0
1793.93/1795.29	c   objpscostdiving  :       6.38          1          0
1793.93/1795.29	c   rootsoldiving    :      45.31          1          0
1793.93/1795.29	c   linesearchdiving :      66.59          1          0
1793.93/1795.29	c   guideddiving     :       0.00          0          0
1793.93/1795.29	c   octane           :       0.00          0          0
1793.93/1795.29	c   rens             :       0.01          0          0
1793.93/1795.29	c   rins             :       0.00          0          0
1793.93/1795.29	c   localbranching   :       0.00          0          0
1793.93/1795.29	c   mutation         :       0.00          0          0
1793.93/1795.29	c   crossover        :       0.00          0          0
1793.93/1795.29	c   dins             :       0.00          0          0
1793.93/1795.29	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.93/1795.29	c   primal LP        :      27.17          0          0       0.00       0.00
1793.93/1795.29	c   dual LP          :     683.95         92     391488    4255.30     572.39
1793.93/1795.29	c   barrier LP       :       0.00          0          0       0.00          -
1793.93/1795.29	c   diving/probing LP:     759.60       5652     555248      98.24     730.97
1793.93/1795.29	c   strong branching :     254.73        260     146983     565.32     577.01
1793.93/1795.29	c     (at root node) :          -         19      11020     580.00          -
1793.93/1795.29	c   conflict analysis:       0.00          0          0       0.00          -
1793.93/1795.29	c B&B Tree           :
1793.93/1795.29	c   number of runs   :          1
1793.93/1795.29	c   nodes            :         14
1793.93/1795.29	c   nodes (total)    :         14
1793.93/1795.29	c   nodes left       :         15
1793.93/1795.29	c   max depth        :          6
1793.93/1795.29	c   max depth (total):          6
1793.93/1795.29	c   backtracks       :          7 (50.0%)
1793.93/1795.29	c   delayed cutoffs  :          0
1793.93/1795.29	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.93/1795.29	c   avg switch length:       2.64
1793.93/1795.29	c   switching time   :      27.20
1793.93/1795.29	c Solution           :
1793.93/1795.29	c   Solutions found  :          4 (3 improvements)
1793.93/1795.29	c   Primal Bound     : -9.00000000000000e+00   (in run 1, after 1 nodes, 71.82 seconds, depth 0, found by <shifting>)
1793.93/1795.29	c   Dual Bound       : -9.95823450752853e+01
1793.93/1795.29	c   Gap              :      90.96 %
1793.93/1795.29	c   Root Dual Bound  : -9.99999999999999e+01
1794.13/1795.41	c Time complete: 1794.14.

Verifier Data 

OK	-9

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870509-1245208826/watcher-1870509-1245208826 -o /tmp/evaluation-result-1870509-1245208826/solver-1870509-1245208826 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870509-1245208826.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 1.00 1.00 3/64 8622
/proc/meminfo: memFree=1765768/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=5812 CPUtime=0
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 188482637 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8622/statm: 1453 502 332 1256 0 192 0

[startup+0.071354 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8622
/proc/meminfo: memFree=1765768/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=17460 CPUtime=0.06
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 3358 0 0 0 5 1 0 0 18 0 1 0 188482637 17879040 3342 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8622/statm: 4365 3342 378 1256 0 3104 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17460

[startup+0.102357 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8622
/proc/meminfo: memFree=1765768/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=24096 CPUtime=0.09
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 5374 0 0 0 7 2 0 0 18 0 1 0 188482637 24674304 5004 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 6024 5007 412 1256 0 4763 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24096

[startup+0.302379 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8622
/proc/meminfo: memFree=1765768/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=32676 CPUtime=0.29
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 7332 0 0 0 20 9 0 0 19 0 1 0 188482637 33460224 6962 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 8169 6962 446 1256 0 6908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32676

[startup+0.702426 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8622
/proc/meminfo: memFree=1765768/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=37332 CPUtime=0.69
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 8586 0 0 0 50 19 0 0 22 0 1 0 188482637 38227968 8216 1992294400 4194304 9342243 548682068736 18446744073709551615 5422857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 9333 8216 493 1256 0 8072 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37332

[startup+1.50152 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1712128/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=71592 CPUtime=1.49
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 16379 0 0 0 127 22 0 0 25 0 1 0 188482637 73310208 15553 1992294400 4194304 9342243 548682068736 18446744073709551615 4386328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 17898 15553 641 1256 0 16637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71592

[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1697024/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=84724 CPUtime=3.09
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 19584 0 0 0 283 26 0 0 25 0 1 0 188482637 86757376 18752 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21181 18752 666 1256 0 19920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84724

[startup+6.30108 s]
/proc/loadavg: 1.08 1.02 1.01 3/65 8623
/proc/meminfo: memFree=1691520/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=84724 CPUtime=6.21
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 19890 0 0 0 594 27 0 0 25 0 1 0 188482637 86757376 19058 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8622/statm: 21181 19058 668 1256 0 19920 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 84724

[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 8623
/proc/meminfo: memFree=1691520/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=84860 CPUtime=11.96
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 19991 0 0 0 1167 29 0 0 25 0 1 0 188482637 86896640 19159 1992294400 4194304 9342243 548682068736 18446744073709551615 6366253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21215 19159 677 1256 0 19954 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 84860

[startup+25.5013 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 8623
/proc/meminfo: memFree=1691264/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=86644 CPUtime=24.76
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 21259 0 0 0 2445 31 0 0 25 0 1 0 188482637 88723456 19233 1992294400 4194304 9342243 548682068736 18446744073709551615 7534296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21661 19233 677 1256 0 20400 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 86644

[startup+51.1012 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 8623
/proc/meminfo: memFree=1691520/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=84968 CPUtime=50.34
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 22275 0 0 0 4997 37 0 0 25 0 1 0 188482637 87007232 19197 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21242 19197 677 1256 0 19981 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 84968

[startup+102.301 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 8623
/proc/meminfo: memFree=1687040/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=102024 CPUtime=101.53
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 27221 0 0 0 10105 48 0 0 25 0 1 0 188482637 104472576 20301 1992294400 4194304 9342243 548682068736 18446744073709551615 6040777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 25506 20301 683 1256 0 24245 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 102024

[startup+162.302 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 8623
/proc/meminfo: memFree=1686656/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=87280 CPUtime=161.51
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 29384 0 0 0 16098 53 0 0 25 0 1 0 188482637 89374720 20414 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21820 20414 696 1256 0 20559 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 87280

[startup+222.302 s]
/proc/loadavg: 1.18 1.09 1.02 2/65 8623
/proc/meminfo: memFree=1688000/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=84788 CPUtime=221.5
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 30394 0 0 0 22091 59 0 0 25 0 1 0 188482637 86822912 20025 1992294400 4194304 9342243 548682068736 18446744073709551615 6957864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21197 20025 703 1256 0 19936 0
Current children cumulated CPU time (s) 221.5
Current children cumulated vsize (KiB) 84788

[startup+282.302 s]
/proc/loadavg: 1.12 1.09 1.02 2/65 8623
/proc/meminfo: memFree=1689408/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=85644 CPUtime=281.48
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 31303 0 0 0 28081 67 0 0 25 0 1 0 188482637 87699456 19677 1992294400 4194304 9342243 548682068736 18446744073709551615 6959510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21411 19677 704 1256 0 20150 0
Current children cumulated CPU time (s) 281.48
Current children cumulated vsize (KiB) 85644

[startup+342.302 s]
/proc/loadavg: 1.04 1.07 1.02 2/65 8623
/proc/meminfo: memFree=1689024/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=85820 CPUtime=341.47
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 32553 0 0 0 34074 73 0 0 25 0 1 0 188482637 87879680 19758 1992294400 4194304 9342243 548682068736 18446744073709551615 6960303 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21455 19758 704 1256 0 20194 0
Current children cumulated CPU time (s) 341.47
Current children cumulated vsize (KiB) 85820

[startup+402.302 s]
/proc/loadavg: 1.01 1.05 1.01 2/65 8623
/proc/meminfo: memFree=1688704/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=97644 CPUtime=401.44
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 33487 0 0 0 40064 80 0 0 25 0 1 0 188482637 99987456 19876 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24411 19876 704 1256 0 23150 0
Current children cumulated CPU time (s) 401.44
Current children cumulated vsize (KiB) 97644

[startup+462.305 s]
/proc/loadavg: 1.04 1.06 1.01 2/65 8623
/proc/meminfo: memFree=1688704/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=99008 CPUtime=461.42
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 34091 0 0 0 46056 86 0 0 25 0 1 0 188482637 101384192 19948 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24752 19948 704 1256 0 23491 0
Current children cumulated CPU time (s) 461.42
Current children cumulated vsize (KiB) 99008

[startup+522.302 s]
/proc/loadavg: 1.09 1.06 1.01 2/65 8623
/proc/meminfo: memFree=1688768/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=87992 CPUtime=521.4
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 35318 0 0 0 52048 92 0 0 25 0 1 0 188482637 90103808 19877 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21998 19877 704 1256 0 20737 0
Current children cumulated CPU time (s) 521.4
Current children cumulated vsize (KiB) 87992

[startup+582.302 s]
/proc/loadavg: 1.03 1.05 1.00 2/65 8623
/proc/meminfo: memFree=1688640/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=87108 CPUtime=581.38
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 36773 0 0 0 58038 100 0 0 25 0 1 0 188482637 89198592 19863 1992294400 4194304 9342243 548682068736 18446744073709551615 6959547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 21777 19863 704 1256 0 20516 0
Current children cumulated CPU time (s) 581.38
Current children cumulated vsize (KiB) 87108

[startup+642.303 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 8623
/proc/meminfo: memFree=1688128/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=88880 CPUtime=641.37
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 36930 0 0 0 64030 107 0 0 25 0 1 0 188482637 91013120 20020 1992294400 4194304 9342243 548682068736 18446744073709551615 6238728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 22220 20020 704 1256 0 20959 0
Current children cumulated CPU time (s) 641.37
Current children cumulated vsize (KiB) 88880

[startup+702.303 s]

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

/proc/meminfo: memFree=1683520/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=90360 CPUtime=1061.25
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 39227 0 0 0 105975 150 0 0 25 0 1 0 188482637 92528640 21128 1992294400 4194304 9342243 548682068736 18446744073709551615 6974252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 22590 21128 707 1256 0 21329 0
Current children cumulated CPU time (s) 1061.25
Current children cumulated vsize (KiB) 90360

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1683072/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=90596 CPUtime=1121.23
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 39332 0 0 0 111967 156 0 0 25 0 1 0 188482637 92770304 21233 1992294400 4194304 9342243 548682068736 18446744073709551615 6965954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 22649 21233 709 1256 0 21388 0
Current children cumulated CPU time (s) 1121.23
Current children cumulated vsize (KiB) 90596

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1684608/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=90744 CPUtime=1181.21
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 42386 0 0 0 117957 164 0 0 25 0 1 0 188482637 92921856 20843 1992294400 4194304 9342243 548682068736 18446744073709551615 6341753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 22686 20843 709 1256 0 21425 0
Current children cumulated CPU time (s) 1181.21
Current children cumulated vsize (KiB) 90744

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1684288/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=91444 CPUtime=1241.19
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 42477 0 0 0 123947 172 0 0 25 0 1 0 188482637 93638656 20934 1992294400 4194304 9342243 548682068736 18446744073709551615 6213677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 22861 20934 709 1256 0 21600 0
Current children cumulated CPU time (s) 1241.19
Current children cumulated vsize (KiB) 91444

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1682688/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=92580 CPUtime=1301.18
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 42863 0 0 0 129938 180 0 0 25 0 1 0 188482637 94801920 21320 1992294400 4194304 9342243 548682068736 18446744073709551615 6965714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23145 21320 709 1256 0 21884 0
Current children cumulated CPU time (s) 1301.18
Current children cumulated vsize (KiB) 92580

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1682624/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=92604 CPUtime=1361.15
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 44252 0 0 0 135929 186 0 0 25 0 1 0 188482637 94826496 21315 1992294400 4194304 9342243 548682068736 18446744073709551615 5874285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23151 21315 709 1256 0 21890 0
Current children cumulated CPU time (s) 1361.15
Current children cumulated vsize (KiB) 92604

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1681856/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=92604 CPUtime=1421.13
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 44466 0 0 0 141919 194 0 0 25 0 1 0 188482637 94826496 21529 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23151 21529 710 1256 0 21890 0
Current children cumulated CPU time (s) 1421.13
Current children cumulated vsize (KiB) 92604

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1681664/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=94420 CPUtime=1481.12
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 45644 0 0 0 147910 202 0 0 25 0 1 0 188482637 96686080 21563 1992294400 4194304 9342243 548682068736 18446744073709551615 6965817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23605 21563 711 1256 0 22344 0
Current children cumulated CPU time (s) 1481.12
Current children cumulated vsize (KiB) 94420

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1681472/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=94696 CPUtime=1541.1
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 60195 0 0 0 153893 217 0 0 25 0 1 0 188482637 96968704 21603 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23674 21603 711 1256 0 22413 0
Current children cumulated CPU time (s) 1541.1
Current children cumulated vsize (KiB) 94696

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1684224/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=96668 CPUtime=1601.09
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 63386 0 0 0 159881 228 0 0 25 0 1 0 188482637 98988032 20925 1992294400 4194304 9342243 548682068736 18446744073709551615 6938507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24167 20925 711 1256 0 22906 0
Current children cumulated CPU time (s) 1601.09
Current children cumulated vsize (KiB) 96668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1683136/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=94716 CPUtime=1661.06
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 82794 0 0 0 165860 246 0 0 25 0 1 0 188482637 96989184 21215 1992294400 4194304 9342243 548682068736 18446744073709551615 6951726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23679 21215 711 1256 0 22418 0
Current children cumulated CPU time (s) 1661.06
Current children cumulated vsize (KiB) 94716

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1682688/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=98116 CPUtime=1721.05
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 91496 0 0 0 171846 259 0 0 25 0 1 0 188482637 100470784 21024 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24529 21024 711 1256 0 23268 0
Current children cumulated CPU time (s) 1721.05
Current children cumulated vsize (KiB) 98116

[startup+1782.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1683840/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=98204 CPUtime=1781.04
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 123029 0 0 0 177819 285 0 0 25 0 1 0 188482637 100560896 20942 1992294400 4194304 9342243 548682068736 18446744073709551615 6040194 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24551 20942 711 1256 0 23290 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 98204

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

[startup+1785.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1684096/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=98196 CPUtime=1784.53
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 125957 0 0 0 178166 287 0 0 25 0 1 0 188482637 100552704 20962 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24549 20962 711 1256 0 23288 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (KiB) 98196

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1683840/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=98216 CPUtime=1790.94
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 131509 0 0 0 178802 292 0 0 25 0 1 0 188482637 100573184 21038 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24554 21038 711 1256 0 23293 0
Current children cumulated CPU time (s) 1790.94
Current children cumulated vsize (KiB) 98216

[startup+1793.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1683456/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=98196 CPUtime=1792.52
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 132990 0 0 0 178959 293 0 0 25 0 1 0 188482637 100552704 20958 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 24549 20958 711 1256 0 23288 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (KiB) 98196

[startup+1794.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1684160/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=93888 CPUtime=1793.33
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 133919 0 0 0 179039 294 0 0 25 0 1 0 188482637 96141312 20837 1992294400 4194304 9342243 548682068736 18446744073709551615 6934599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23472 20837 711 1256 0 22211 0
Current children cumulated CPU time (s) 1793.33
Current children cumulated vsize (KiB) 93888

[startup+1795 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1684160/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=93888 CPUtime=1793.73
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 134312 0 0 0 179079 294 0 0 25 0 1 0 188482637 96141312 20895 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8622/statm: 23472 20895 711 1256 0 22211 0
Current children cumulated CPU time (s) 1793.73
Current children cumulated vsize (KiB) 93888

[startup+1795.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8623
/proc/meminfo: memFree=1686912/2055920 swapFree=4189872/4192956
[pid=8622] ppid=8620 vsize=82880 CPUtime=1794.13
/proc/8622/stat : 8622 (pbscip.linux.x8) R 8620 8622 7938 0 -1 4194304 134474 0 0 0 179119 294 0 0 17 0 1 0 188482637 84869120 19683 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/8622/statm: 20720 19683 4153 1256 0 19459 0
Current children cumulated CPU time (s) 1794.13
Current children cumulated vsize (KiB) 82880

Child status: 0
Real time (s): 1795.42
CPU time (s): 1794.15
CPU user time (s): 1791.19
CPU system time (s): 2.95755
CPU usage (%): 99.9295
Max. virtual memory (cumulated for all children) (KiB): 112552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.19
system time used= 2.95755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134477
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= 5
involuntary context switches= 2438

runsolver used 1.39179 second user time and 3.9314 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-17 05:20:26
IDJOB=1870509
IDBENCH=48253
IDSOLVER=684
FILE ID=node28/1870509-1245208826
PBS_JOBID= 9368350
Free space on /tmp= 66176 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_200_25_5.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-1870509-1245208826/watcher-1870509-1245208826 -o /tmp/evaluation-result-1870509-1245208826/solver-1870509-1245208826 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870509-1245208826.opb

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=1579884709

node28.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.231
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.231
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:       1766184 kB
Buffers:         51456 kB
Cached:         145312 kB
SwapCached:       1180 kB
Active:          67036 kB
Inactive:       149168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766184 kB
SwapTotal:     4192956 kB
SwapFree:      4189872 kB
Dirty:           11892 kB
Writeback:           0 kB
Mapped:          21212 kB
Slab:            59348 kB
Committed_AS:   173540 kB
PageTables:       1424 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= 66168 MiB
End job on node28 at 2009-06-17 05:50:22