Trace number 1870481

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-8 1795.6 1796.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
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-26
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
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)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SCIP version 1.1.0.7
0.01/0.08	c LP-Solver Clp 1.8.2
0.01/0.08	c user parameter file <scip.set> not found - using default parameters
0.01/0.08	c read problem <HOME/instance-1870481-1245206886.opb>
0.01/0.08	c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6805 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, 50032 impls, 400 clqs
0.69/0.77	c    (0.5s) probing: 101/6604 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.77	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.69/0.77	c presolving (2 rounds):
0.69/0.77	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.77	c  50032 implications, 400 cliques
0.69/0.77	c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6805 constraints
0.69/0.77	c     400 constraints of type <setppc>
0.69/0.77	c    6204 constraints of type <and>
0.69/0.77	c       1 constraints of type <linear>
0.69/0.77	c     200 constraints of type <logicor>
0.69/0.77	c transformed objective value is always integral (scale: 1)
0.69/0.77	c Presolving Time: 0.47
0.69/0.78	c OPT-NLC
0.69/0.78	c -----------------------------------------------------------------------------------------------
0.69/0.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78	c limits/memory = c 1620
0.69/0.78	c # maximal time in seconds to run
0.69/0.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78	c limits/time = c 1791
0.69/0.78	c # frequency for displaying node information lines
0.69/0.78	c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.78	c display/freq = c 10000
0.69/0.78	c -----------------------------------------------------------------------------------------------
0.69/0.78	c start solving problem
0.69/0.78	c 
1.19/1.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.29	c   1.0s|     1 |     0 |   515 |  30M|   0 | 400 |6604 |6805 |6805 |6604 |  13k|   0 |   0 |   0 |-1.000000e+02 |      --      |    Inf 
1.29/1.32	o -5
1.29/1.32	c R 1.0s|     1 |     0 |   515 |  30M|   0 | 400 |6604 |6805 |6805 |6604 |  13k|   0 |   0 |   0 |-1.000000e+02 |-5.000000e+00 |  95.00%
15.79/15.88	c  15.5s|     1 |     0 |  6660 |  30M|   0 |2556 |6604 |6805 |6805 |6604 |  13k|   2 |   0 |   0 |-1.000000e+02 |-5.000000e+00 |  95.00%
15.89/15.94	o -7
15.89/15.94	c s15.6s|     1 |     0 |  6660 |  30M|   0 |2556 |6604 |6805 |6805 |6604 |  13k|   2 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
34.58/34.67	c  34.3s|     1 |     0 | 10917 |  30M|   0 |3534 |6604 |6805 |6805 |6604 |  13k|  55 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
34.68/34.73	o -8
34.68/34.73	c s34.3s|     1 |     0 | 10917 |  30M|   0 |3534 |6604 |6805 |6805 |6604 |  13k|  55 |   0 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
43.37/43.47	c  43.0s|     1 |     0 | 11160 |  30M|   0 |3533 |6604 |6805 |6805 |6604 |  13k|  78 |   0 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
51.57/51.67	c  51.2s|     1 |     0 | 11279 |  30M|   0 |3529 |6604 |6805 |6805 |6604 |  13k|  84 |   0 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
59.97/60.03	c  59.5s|     1 |     0 | 11390 |  31M|   0 |3530 |6604 |6805 |6805 |6604 |  13k|  88 |   0 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
68.77/68.87	c  68.4s|     1 |     0 | 11543 |  31M|   0 |3525 |6604 |6805 |6805 |6604 |  13k|  93 |   0 |   0 |-1.000000e+02 |-8.000000e+00 |  92.00%
185.83/185.97	c   185s|     1 |     2 | 11543 |  31M|   0 |3525 |6604 |6805 |6805 |6604 |  13k|  93 |   0 |  38 |-1.000000e+02 |-8.000000e+00 |  92.00%
1795.44/1796.11	c 
1795.44/1796.11	c SCIP Status        : solving was interrupted [time limit reached]
1795.44/1796.11	c Solving Time (sec) : 1791.01
1795.44/1796.11	c Solving Nodes      : 20
1795.44/1796.11	c Primal Bound       : -8.00000000000006e+00 (7 solutions)
1795.44/1796.11	c Dual Bound         : -9.94999999999987e+01
1795.44/1796.11	c Gap                : 91.96 %
1795.44/1796.13	c NODE         20
1795.44/1796.13	c DUAL BOUND   -99.5
1795.44/1796.13	c PRIMAL BOUND -8
1795.44/1796.13	c GAP          0.919598
1795.44/1796.13	s SATISFIABLE
1795.44/1796.13	v -x375 -x317 -x361 -x286 -x342 -x224 -x249 -x359 -x390 x297 -x299 -x251 -x256 -x319 -x273 x231 -x360 -x348 -x240 -x382 -x334 -x332 
1795.44/1796.13	v x269 -x237 -x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 -x391 -x300 -x264 -x370 -x339 -x377 -x207 -x392 -x353 -x234 
1795.44/1796.13	v -x238 -x352 -x233 -x388 -x315 -x229 -x356 -x322 -x206 -x395 -x380 -x345 -x289 -x221 -x246 -x219 -x350 -x309 -x304 -x272 x329 
1795.44/1796.13	v -x225 -x284 -x366 -x354 -x335 -x312 -x208 -x276 -x372 -x232 -x220 -x245 -x290 -x242 -x253 -x318 -x303 -x298 -x204 -x344 -x310 
1795.44/1796.13	v -x267 -x266 -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 -x400 -x355 -x252 -x389 -x277 -x209 -x288 -x351 -x244 -x365 -x386 
1795.44/1796.13	v -x367 -x347 -x323 -x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 -x328 -x326 -x306 -x282 -x397 
1795.44/1796.13	v -x274 -x357 -x381 -x292 -x214 -x202 -x307 -x305 -x302 -x301 -x296 -x279 -x210 -x205 -x371 -x325 -x399 -x338 -x385 -x320 -x374 
1795.44/1796.13	v -x243 -x257 x270 -x259 -x223 -x203 -x330 -x268 -x324 -x263 -x331 -x201 -x393 -x379 -x376 -x358 -x313 -x311 -x308 -x285 -x283 
1795.44/1796.13	v -x281 -x280 -x275 -x262 -x241 -x235 -x211 -x383 -x230 -x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 -x364 -x260 -x291 -x228 
1795.44/1796.13	v -x363 -x222 -x250 -x293 -x387 -x336 -x394 -x316 x378 x287 x384 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 
1795.44/1796.13	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
1795.44/1796.13	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 
1795.44/1796.13	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
1795.44/1796.13	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
1795.44/1796.13	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 
1795.44/1796.13	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 
1795.44/1796.13	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 
1795.44/1796.13	v -x32 -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 
1795.44/1796.13	v -x6 -x5 x4 x3 x2 -x1 
1795.44/1796.13	c SCIP Status        : solving was interrupted [time limit reached]
1795.44/1796.13	c Solving Time       :    1791.01
1795.44/1796.13	c Original Problem   :
1795.44/1796.13	c   Problem name     : HOME/instance-1870481-1245206886.opb
1795.44/1796.13	c   Variables        : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.44/1796.13	c   Constraints      : 6805 initial, 6805 maximal
1795.44/1796.13	c Presolved Problem  :
1795.44/1796.13	c   Problem name     : t_HOME/instance-1870481-1245206886.opb
1795.44/1796.13	c   Variables        : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.44/1796.13	c   Constraints      : 6805 initial, 6823 maximal
1795.44/1796.13	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.44/1796.13	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.44/1796.13	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.44/1796.13	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.44/1796.13	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.44/1796.13	c   implics          :       0.00          0          0          0          0          0          0          0          0
1795.44/1796.13	c   probing          :       0.23          0          0          0          0          0          0          0          0
1795.44/1796.13	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1795.44/1796.13	c   and              :       0.15          0          0          0          0          0          0          0          0
1795.44/1796.13	c   linear           :       0.05          0          0          0          0          0          0          0          0
1795.44/1796.13	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1795.44/1796.13	c   root node        :          -          0          -          -          0          -          -          -          -
1795.44/1796.13	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.44/1796.13	c   integral         :          0          0          0         20          0          0          0          0          0         40
1795.44/1796.13	c   setppc           :        400          6       6807          0          0          0          0          0          0          0
1795.44/1796.13	c   and              :       6204         88       6807          0          0         18        590      56826          0          0
1795.44/1796.13	c   linear           :          1          6       6789          0          0          0          0          0          0          0
1795.44/1796.13	c   logicor          :        200+         6        685          0          0          0         10          0          0          0
1795.44/1796.13	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.44/1796.13	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.44/1796.13	c   integral         :     447.57       0.00       0.00     447.57       0.00
1795.44/1796.13	c   setppc           :       0.29       0.00       0.29       0.00       0.00
1795.44/1796.13	c   and              :       3.67       0.50       3.17       0.00       0.00
1795.44/1796.13	c   linear           :       0.09       0.02       0.07       0.00       0.00
1795.44/1796.13	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1795.44/1796.13	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.44/1796.13	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.44/1796.13	c   rootredcost      :       0.02          1          0          0
1795.44/1796.13	c   pseudoobj        :       0.16       6610          0          0
1795.44/1796.13	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.44/1796.13	c   propagation      :       0.00         18         18         18        2.0          0        0.0          -
1795.44/1796.13	c   infeasible LP    :       0.34        175          0          0        0.0          0        0.0          0
1795.44/1796.13	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.44/1796.13	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.44/1796.13	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.44/1796.13	c   applied globally :          -          -          -         18        2.0          -          -          -
1795.44/1796.13	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.44/1796.13	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.44/1796.13	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 85)
1795.44/1796.13	c   redcost          :       0.08         88          0          0          0          0
1795.44/1796.13	c   impliedbounds    :       0.04          6          0          0         88          0
1795.44/1796.13	c   intobj           :       0.00          0          0          0          0          0
1795.44/1796.13	c   gomory           :      13.87          6          0          0        400          0
1795.44/1796.13	c   strongcg         :      13.73          6          0          0        400          0
1795.44/1796.13	c   cmir             :       1.67          6          0          0          0          0
1795.44/1796.13	c   flowcover        :       1.60          6          0          0          0          0
1795.44/1796.13	c   clique           :       2.07          6          0          0         37          0
1795.44/1796.13	c   zerohalf         :       0.00          0          0          0          0          0
1795.44/1796.13	c   mcf              :       0.26          2          0          0          0          0
1795.44/1796.13	c Pricers            :       Time      Calls       Vars
1795.44/1796.13	c   problem variables:       0.00          0          0
1795.44/1796.13	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.44/1796.13	c   relpscost        :     447.57         20          0          0          0          0         40
1795.44/1796.13	c   pscost           :       0.00          0          0          0          0          0          0
1795.44/1796.13	c   inference        :       0.00          0          0          0          0          0          0
1795.44/1796.13	c   mostinf          :       0.00          0          0          0          0          0          0
1795.44/1796.13	c   leastinf         :       0.00          0          0          0          0          0          0
1795.44/1796.13	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.44/1796.13	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.44/1796.13	c   random           :       0.00          0          0          0          0          0          0
1795.44/1796.13	c Primal Heuristics  :       Time      Calls      Found
1795.44/1796.13	c   LP solutions     :       0.00          -          0
1795.44/1796.13	c   pseudo solutions :       0.00          -          0
1795.44/1796.13	c   intshifting      :       0.00          0          0
1795.44/1796.13	c   crossover        :       0.00          0          0
1795.44/1796.13	c   oneopt           :       0.01          1          0
1795.44/1796.13	c   linesearchdiving :     153.52          2          0
1795.44/1796.13	c   simplerounding   :       0.00          0          0
1795.44/1796.13	c   rounding         :      22.52        101          1
1795.44/1796.13	c   shifting         :       0.35          9          6
1795.44/1796.13	c   fixandinfer      :       0.00          0          0
1795.44/1796.13	c   feaspump         :       0.00          0          0
1795.44/1796.13	c   coefdiving       :     157.99          1          0
1795.44/1796.13	c   pscostdiving     :     107.98          1          0
1795.44/1796.13	c   fracdiving       :      78.48          1          0
1795.44/1796.13	c   veclendiving     :     105.62          1          0
1795.44/1796.13	c   intdiving        :       0.00          0          0
1795.44/1796.13	c   actconsdiving    :       0.00          0          0
1795.44/1796.13	c   objpscostdiving  :      47.26          1          0
1795.44/1796.13	c   rootsoldiving    :      95.13          1          0
1795.44/1796.13	c   guideddiving     :      15.39          1          0
1795.44/1796.13	c   octane           :       0.00          0          0
1795.44/1796.13	c   rens             :       0.02          0          0
1795.44/1796.13	c   rins             :       0.00          0          0
1795.44/1796.13	c   localbranching   :       0.00          0          0
1795.44/1796.13	c   mutation         :       0.00          0          0
1795.44/1796.13	c   dins             :       0.00          0          0
1795.44/1796.13	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.44/1796.13	c   primal LP        :      42.01          0          0       0.00       0.00
1795.44/1796.13	c   dual LP          :     481.22        107     273136    2552.67     567.59
1795.44/1796.13	c   barrier LP       :       0.00          0          0       0.00          -
1795.44/1796.13	c   diving/probing LP:     734.64       5502     528712      96.09     719.69
1795.44/1796.13	c   strong branching :     447.53        428     230650     538.90     515.38
1795.44/1796.13	c     (at root node) :          -         38      22040     580.00          -
1795.44/1796.13	c   conflict analysis:       0.00          0          0       0.00          -
1795.44/1796.13	c B&B Tree           :
1795.44/1796.13	c   number of runs   :          1
1795.44/1796.13	c   nodes            :         20
1795.44/1796.13	c   nodes (total)    :         20
1795.44/1796.13	c   nodes left       :         21
1795.44/1796.13	c   max depth        :         11
1795.44/1796.13	c   max depth (total):         11
1795.44/1796.13	c   backtracks       :          8 (40.0%)
1795.44/1796.13	c   delayed cutoffs  :          0
1795.44/1796.13	c   repropagations   :          4 (3 domain reductions, 0 cutoffs)
1795.44/1796.13	c   avg switch length:       2.50
1795.44/1796.13	c   switching time   :      42.05
1795.44/1796.13	c Solution           :
1795.44/1796.13	c   Solutions found  :          7 (3 improvements)
1795.44/1796.13	c   Primal Bound     : -8.00000000000006e+00   (in run 1, after 1 nodes, 34.28 seconds, depth 0, found by <shifting>)
1795.44/1796.13	c   Dual Bound       : -9.94999999999987e+01
1795.44/1796.13	c   Gap              :      91.96 %
1795.44/1796.13	c   Root Dual Bound  : -9.99999999999996e+01
1795.54/1796.25	c Time complete: 1795.59.

Verifier Data 

OK	-8

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7693
/proc/meminfo: memFree=1705392/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=5812 CPUtime=0
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 188282799 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7693/statm: 1453 502 332 1256 0 192 0

[startup+0.020711 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7693
/proc/meminfo: memFree=1705392/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=11844 CPUtime=0.01
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 1944 0 0 0 1 0 0 0 18 0 1 0 188282799 12128256 1928 1992294400 4194304 9342243 548682068736 18446744073709551615 8251520 0 0 4096 0 0 0 0 17 1 0 0
/proc/7693/statm: 2961 1930 378 1256 0 1700 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11844

[startup+0.101725 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7693
/proc/meminfo: memFree=1705392/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=24116 CPUtime=0.09
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 5366 0 0 0 8 1 0 0 18 0 1 0 188282799 24694784 4997 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 6029 5005 412 1256 0 4768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24116

[startup+0.301761 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7693
/proc/meminfo: memFree=1705392/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=32776 CPUtime=0.29
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 7356 0 0 0 20 9 0 0 19 0 1 0 188282799 33562624 6986 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 8194 6986 446 1256 0 6933 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32776

[startup+0.701833 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7693
/proc/meminfo: memFree=1705392/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=37384 CPUtime=0.69
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 8597 0 0 0 49 20 0 0 22 0 1 0 188282799 38281216 8227 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 9346 8227 493 1256 0 8085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37384

[startup+1.50198 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1651688/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=71628 CPUtime=1.49
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 16439 0 0 0 126 23 0 0 22 0 1 0 188282799 73347072 15603 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 17907 15603 641 1256 0 16646 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71628

[startup+3.10127 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1636456/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=84372 CPUtime=3.09
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 19812 0 0 0 282 27 0 0 25 0 1 0 188282799 86396928 18970 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21093 18970 668 1256 0 19832 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84372

[startup+6.30185 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1630440/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=84372 CPUtime=6.29
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 20113 0 0 0 600 29 0 0 25 0 1 0 188282799 86396928 19271 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21093 19271 668 1256 0 19832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84372

[startup+12.702 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1630128/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=84992 CPUtime=12.69
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 20269 0 0 0 1239 30 0 0 25 0 1 0 188282799 87031808 19368 1992294400 4194304 9342243 548682068736 18446744073709551615 6356785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21248 19368 668 1256 0 19987 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84992

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1630832/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=86672 CPUtime=25.48
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 20683 0 0 0 2516 32 0 0 25 0 1 0 188282799 88752128 19243 1992294400 4194304 9342243 548682068736 18446744073709551615 6951708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21668 19243 677 1256 0 20407 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86672

[startup+51.102 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1630192/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=85760 CPUtime=51.07
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 21207 0 0 0 5070 37 0 0 25 0 1 0 188282799 87818240 19396 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21440 19396 677 1256 0 20179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85760

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1628784/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=97040 CPUtime=102.26
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 24848 0 0 0 10182 44 0 0 25 0 1 0 188282799 99368960 19743 1992294400 4194304 9342243 548682068736 18446744073709551615 7537474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24260 19743 683 1256 0 22999 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 97040

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1628784/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=97040 CPUtime=162.23
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 28788 0 0 0 16175 48 0 0 25 0 1 0 188282799 99368960 19743 1992294400 4194304 9342243 548682068736 18446744073709551615 6960303 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24260 19743 683 1256 0 22999 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 97040

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1628080/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=84960 CPUtime=222.21
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 30539 0 0 0 22166 55 0 0 25 0 1 0 188282799 86999040 19918 1992294400 4194304 9342243 548682068736 18446744073709551615 5869995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21240 19918 704 1256 0 19979 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 84960

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7694
/proc/meminfo: memFree=1628528/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=84684 CPUtime=282.19
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 31364 0 0 0 28160 59 0 0 25 0 1 0 188282799 86716416 19764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21171 19764 705 1256 0 19910 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 84684

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7696
/proc/meminfo: memFree=1628400/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=84776 CPUtime=342.16
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 32387 0 0 0 34152 64 0 0 25 0 1 0 188282799 86810624 19771 1992294400 4194304 9342243 548682068736 18446744073709551615 6040252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21194 19771 705 1256 0 19933 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 84776

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7696
/proc/meminfo: memFree=1627824/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=96488 CPUtime=402.14
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 34503 0 0 0 40144 70 0 0 25 0 1 0 188282799 98803712 19953 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24122 19953 705 1256 0 22861 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 96488

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7696
/proc/meminfo: memFree=1627632/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=97192 CPUtime=462.12
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 36336 0 0 0 46135 77 0 0 25 0 1 0 188282799 99524608 20003 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24298 20003 705 1256 0 23037 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 97192

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7696
/proc/meminfo: memFree=1627696/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=86808 CPUtime=522.1
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 38739 0 0 0 52126 84 0 0 25 0 1 0 188282799 88891392 19925 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21702 19925 705 1256 0 20441 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 86808

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7696
/proc/meminfo: memFree=1627760/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=86808 CPUtime=582.08
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 38755 0 0 0 58118 90 0 0 25 0 1 0 188282799 88891392 19941 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 21702 19941 705 1256 0 20441 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 86808

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7696
/proc/meminfo: memFree=1625584/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=90144 CPUtime=642.06
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 39308 0 0 0 64108 98 0 0 25 0 1 0 188282799 92307456 20494 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 22536 20494 705 1256 0 21275 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 90144

[startup+702.302 s]

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

/proc/meminfo: memFree=1621232/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=91636 CPUtime=1121.88
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 54074 0 0 0 112026 162 0 0 25 0 1 0 188282799 93835264 21578 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 22909 21578 711 1256 0 21648 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 91636

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1626160/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=92208 CPUtime=1181.86
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 79433 0 0 0 118003 183 0 0 25 0 1 0 188282799 94420992 20372 1992294400 4194304 9342243 548682068736 18446744073709551615 6095457 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 23052 20372 711 1256 0 21791 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 92208

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1624496/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=107908 CPUtime=1241.83
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 115668 0 0 0 123968 215 0 0 25 0 1 0 188282799 110497792 20759 1992294400 4194304 9342243 548682068736 18446744073709551615 6957666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 26977 20759 711 1256 0 25716 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 107908

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1626224/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=93280 CPUtime=1301.82
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 139063 0 0 0 129944 238 0 0 25 0 1 0 188282799 95518720 20311 1992294400 4194304 9342243 548682068736 18446744073709551615 6064579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 23320 20311 711 1256 0 22059 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 93280

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1624880/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=95072 CPUtime=1361.79
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 155769 0 0 0 135921 258 0 0 25 0 1 0 188282799 97353728 20631 1992294400 4194304 9342243 548682068736 18446744073709551615 6965954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 23768 20631 711 1256 0 22507 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 95072

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1626096/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=95608 CPUtime=1421.77
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 202257 0 0 0 141888 289 0 0 25 0 1 0 188282799 97902592 20335 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 23902 20335 711 1256 0 22641 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 95608

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1626288/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=93060 CPUtime=1481.75
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 277482 0 0 0 147835 340 0 0 25 0 1 0 188282799 95293440 20247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 23265 20247 711 1256 0 22004 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 93060

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1626032/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=95324 CPUtime=1541.73
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 338012 0 0 0 153797 376 0 0 25 0 1 0 188282799 97611776 20443 1992294400 4194304 9342243 548682068736 18446744073709551615 6040186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 23831 20443 711 1256 0 22570 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 95324

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619952/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=97752 CPUtime=1601.71
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 382273 0 0 0 159761 410 0 0 25 0 1 0 188282799 100098048 21822 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24438 21822 711 1256 0 23177 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 97752

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619312/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=109420 CPUtime=1661.68
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 388752 0 0 0 165749 419 0 0 25 0 1 0 188282799 112046080 21980 1992294400 4194304 9342243 548682068736 18446744073709551615 6341967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 27355 21980 711 1256 0 26094 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 109420

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619184/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=110180 CPUtime=1721.66
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 394627 0 0 0 171738 428 0 0 25 0 1 0 188282799 112824320 22019 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 27545 22019 711 1256 0 26284 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 110180

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1617008/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99484 CPUtime=1781.65
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 398618 0 0 0 177729 436 0 0 25 0 1 0 188282799 101871616 22529 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24871 22529 712 1256 0 23610 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 99484

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1620272/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=97596 CPUtime=1784.84
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 399221 0 0 0 178047 437 0 0 25 0 1 0 188282799 99938304 21796 1992294400 4194304 9342243 548682068736 18446744073709551615 6922719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24399 21796 712 1256 0 23138 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 97596

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619440/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99432 CPUtime=1791.24
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 400041 0 0 0 178686 438 0 0 25 0 1 0 188282799 101818368 21969 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24858 21969 712 1256 0 23597 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 99432

[startup+1793.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619440/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99432 CPUtime=1792.84
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 400056 0 0 0 178846 438 0 0 25 0 1 0 188282799 101818368 21984 1992294400 4194304 9342243 548682068736 18446744073709551615 6224535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24858 21984 712 1256 0 23597 0
Current children cumulated CPU time (s) 1792.84
Current children cumulated vsize (KiB) 99432

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619312/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99432 CPUtime=1794.45
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 400072 0 0 0 179006 439 0 0 25 0 1 0 188282799 101818368 22000 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24858 22000 712 1256 0 23597 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 99432

[startup+1795.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619312/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99432 CPUtime=1795.24
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 400076 0 0 0 179085 439 0 0 25 0 1 0 188282799 101818368 22004 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24858 22004 712 1256 0 23597 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 99432

[startup+1796.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619312/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99432 CPUtime=1795.44
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 400076 0 0 0 179105 439 0 0 25 0 1 0 188282799 101818368 22004 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7693/statm: 24858 22004 712 1256 0 23597 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (KiB) 99432

[startup+1796.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7702
/proc/meminfo: memFree=1619312/2055920 swapFree=4182476/4192956
[pid=7693] ppid=7691 vsize=99432 CPUtime=1795.54
/proc/7693/stat : 7693 (pbscip.linux.x8) R 7691 7693 7656 0 -1 4194304 400079 0 0 0 179115 439 0 0 17 0 1 0 188282799 101818368 22007 1992294400 4194304 9342243 548682068736 18446744073709551615 5145732 0 0 4096 0 0 0 0 17 1 0 0
/proc/7693/statm: 24858 22007 715 1256 0 23597 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (KiB) 99432

Child status: 0
Real time (s): 1796.26
CPU time (s): 1795.6
CPU user time (s): 1791.19
CPU system time (s): 4.40833
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 110180

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

runsolver used 1.22781 second user time and 3.84241 second system time

The end

Launcher Data 

Begin job on node67 at 2009-06-17 04:48:06
IDJOB=1870481
IDBENCH=48239
IDSOLVER=684
FILE ID=node67/1870481-1245206886
PBS_JOBID= 9368402
Free space on /tmp= 66428 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_1.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-1870481-1245206886/watcher-1870481-1245206886 -o /tmp/evaluation-result-1870481-1245206886/solver-1870481-1245206886 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870481-1245206886.opb

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=1643225598

node67.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.272
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.272
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:       1705872 kB
Buffers:         45968 kB
Cached:         231980 kB
SwapCached:       4524 kB
Active:          84220 kB
Inactive:       201180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705872 kB
SwapTotal:     4192956 kB
SwapFree:      4182476 kB
Dirty:           12016 kB
Writeback:           0 kB
Mapped:          13300 kB
Slab:            50616 kB
Committed_AS:   115632 kB
PageTables:       1440 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= 66416 MiB
End job on node67 at 2009-06-17 05:18:03