Trace number 3737461

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 NameAnswerobjective functionCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)SAT-58 1796.84 1797.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-58
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3737461-1338728087.opb>
0.00/0.02	c original problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3525 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.01/0.03	o 0
0.01/0.03	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.01/0.03	c presolving:
0.01/0.07	c (round 1) 0 del vars, 3324 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 20592 impls, 399 clqs
0.01/0.08	c (round 2) 2524 del vars, 3324 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20592 impls, 0 clqs
0.01/0.09	c    (0.1s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.09	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.09	c presolving (3 rounds):
0.01/0.09	c  2524 deleted vars, 3324 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.09	c  20592 implications, 0 cliques
0.01/0.09	c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.01/0.09	c     400 constraints of type <knapsack>
0.01/0.09	c     200 constraints of type <setppc>
0.01/0.09	c       1 constraints of type <linear>
0.01/0.09	c transformed objective value is always integral (scale: 1)
0.01/0.09	c Presolving Time: 0.06
0.01/0.09	c - non default parameters ----------------------------------------------------------------------
0.01/0.09	c # SCIP version 2.0.1.5
0.01/0.09	c 
0.01/0.09	c # frequency for displaying node information lines
0.01/0.09	c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.09	c display/freq = 10000
0.01/0.09	c 
0.01/0.09	c # maximal time in seconds to run
0.01/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09	c limits/time = 1797
0.01/0.09	c 
0.01/0.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09	c limits/memory = 13950
0.01/0.09	c 
0.01/0.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.09	c # [type: int, range: [1,2], default: 1]
0.01/0.09	c timing/clocktype = 2
0.01/0.09	c 
0.01/0.09	c # belongs reading time to solving time?
0.01/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09	c timing/reading = TRUE
0.01/0.09	c 
0.01/0.09	c # should presolving try to simplify inequalities
0.01/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09	c constraints/linear/simplifyinequalities = TRUE
0.01/0.09	c 
0.01/0.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09	c constraints/indicator/addCouplingCons = TRUE
0.01/0.09	c 
0.01/0.09	c # should presolving try to simplify knapsacks
0.01/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09	c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.09	c 
0.01/0.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.09	c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09	c separating/rapidlearning/freq = 0
0.01/0.09	c 
0.01/0.09	c -----------------------------------------------------------------------------------------------
0.01/0.09	c start solving
0.01/0.09	c 
0.49/0.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.56	c t 0.6s|     1 |     0 |  3500 |     - |8186k|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.49/0.56	o -1
0.49/0.56	c R 0.6s|     1 |     0 |  3500 |     - |8217k|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |   0 |-1.000000e+02 |-1.000000e+00 |  99.00%
4.49/4.58	c   4.6s|     1 |     2 | 10319 |     - |8256k|   0 | 400 | 400 | 601 | 400 | 601 |   0 |   0 |  21 |-1.000000e+02 |-1.000000e+00 |  99.00%
19.80/19.87	o -2
19.80/19.87	c R19.9s|    13 |    12 | 10975 | 622.9 |8289k|  12 | 388 | 400 | 601 | 400 | 601 |   0 |   0 | 172 |-9.802535e+01 |-2.000000e+00 |  97.96%
26.58/26.68	o -49
26.58/26.68	c c26.7s|    17 |    18 | 13086 | 599.1 |8546k|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 246 |-9.802535e+01 |-4.900000e+01 |  50.01%
37.68/37.74	o -50
37.68/37.74	c p37.7s|    29 |    30 | 15448 | 426.7 |8522k|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 434 |-9.802535e+01 |-5.000000e+01 |  48.99%
48.88/48.99	o -57
48.88/48.99	c f49.0s|    41 |    42 | 17562 | 351.6 |8636k|  16 |   - | 400 | 601 | 400 | 601 |   0 |   0 | 617 |-9.802535e+01 |-5.700000e+01 |  41.85%
87.07/87.18	o -58
87.07/87.18	c l87.2s|    89 |    90 | 40457 | 420.0 |8791k|  18 |   - | 400 | 613 | 400 | 601 |   0 |  12 |1251 |-9.802535e+01 |-5.800000e+01 |  40.83%
271.43/271.57	c   272s| 10000 |  4335 |632669 |  62.9 |  14M| 128 | 275 | 400 | 664 | 400 | 601 |   0 |  64 |1315 |-9.515812e+01 |-5.800000e+01 |  39.05%
519.40/519.56	c   520s| 20000 | 14335 |  1666k|  83.2 |  22M| 128 | 220 | 400 | 737 | 400 | 601 |   0 | 137 |1578 |-9.460232e+01 |-5.800000e+01 |  38.69%
743.96/744.16	c   744s| 30000 | 24335 |  2631k|  87.6 |  31M| 128 | 200 | 400 | 810 | 400 | 601 |   0 | 223 |1980 |-9.425062e+01 |-5.800000e+01 |  38.46%
965.82/966.02	c   966s| 40000 | 34335 |  3612k|  90.2 |  39M| 128 | 318 | 400 | 792 | 400 | 601 |   0 | 273 |2341 |-9.395273e+01 |-5.800000e+01 |  38.27%
1184.88/1185.15	c  1185s| 50000 | 44335 |  4585k|  91.6 |  47M| 128 | 287 | 400 | 769 | 400 | 601 |   0 | 327 |2627 |-9.373524e+01 |-5.800000e+01 |  38.12%
1399.84/1400.15	c  1400s| 60000 | 54335 |  5538k|  92.3 |  56M| 128 | 236 | 400 | 759 | 400 | 601 |   0 | 382 |2838 |-9.354383e+01 |-5.800000e+01 |  38.00%
1612.71/1613.04	c  1613s| 70000 | 64335 |  6507k|  92.9 |  64M| 128 | 231 | 400 | 757 | 400 | 601 |   0 | 435 |3021 |-9.337784e+01 |-5.800000e+01 |  37.89%
1796.68/1797.02	c 
1796.68/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.02	c Solving Time (sec) : 1797.02
1796.68/1797.02	c Solving Nodes      : 78959
1796.68/1797.02	c Primal Bound       : -5.80000000000000e+01 (498 solutions)
1796.68/1797.02	c Dual Bound         : -9.32325714673098e+01
1796.68/1797.02	c Gap                : 37.79 %
1796.68/1797.02	s SATISFIABLE
1796.68/1797.02	v -x337 -x254 -x326 -x298 x375 x353 x329 x311 -x351 -x391 -x235 -x400 -x393 -x398 -x312 x293 x336 -x331 -x259 x304 -x366 x349 x276 
1796.68/1797.02	v -x341 x281 -x396 -x359 -x228 -x399 -x346 -x255 -x244 -x322 -x358 x270 x219 -x314 -x266 -x347 x371 -x279 -x372 -x260 -x382 -x333 
1796.68/1797.02	v -x216 -x277 -x243 -x269 x324 -x320 -x267 -x237 -x352 -x387 -x310 -x335 x214 -x261 x356 -x263 -x274 -x385 -x381 x265 x316 
1796.68/1797.02	v -x213 -x253 x278 -x227 x357 -x290 x289 -x288 -x285 x251 -x313 -x379 -x294 -x210 -x272 -x241 -x378 -x249 -x209 x389 -x286 -x250 
1796.68/1797.02	v -x234 x224 x264 x306 -x361 -x268 x388 x334 -x383 x380 -x330 x271 -x247 -x301 -x239 -x291 -x362 -x354 -x258 -x256 -x230 -x211 
1796.68/1797.02	v -x308 x340 x392 -x232 -x394 x206 -x397 x363 x309 -x297 -x282 -x238 -x218 -x207 x296 x287 -x222 x368 -x348 x390 x370 -x292 
1796.68/1797.02	v -x246 x217 -x248 -x344 x273 -x299 -x343 x332 -x245 -x376 x377 x373 -x307 x295 -x240 x236 -x262 -x223 -x325 -x395 -x220 x300 -x203 
1796.68/1797.02	v -x367 -x257 -x233 -x208 -x305 -x221 -x321 -x283 -x323 -x319 -x374 -x369 -x202 -x360 x339 -x280 -x252 -x231 -x225 x212 -x205 
1796.68/1797.02	v -x318 -x350 -x342 -x303 -x215 -x204 x365 x315 x355 -x201 -x384 -x328 x317 -x242 -x345 -x386 x229 -x226 x338 x364 -x327 -x275 
1796.68/1797.02	v -x284 x302 -x200 x199 x198 -x197 -x196 x195 x194 x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 x181 
1796.68/1797.02	v -x180 x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 -x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 
1796.68/1797.02	v x158 -x157 -x156 -x155 x154 -x153 x152 x151 x150 -x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 -x139 -x138 x137 -x136 
1796.68/1797.02	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 x118 -x117 -x116 -x115 
1796.68/1797.02	v -x114 x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 x92 x91 
1796.68/1797.02	v -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74 -x73 x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 
1796.68/1797.02	v -x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 x54 -x53 x52 -x51 x50 x49 x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 
1796.68/1797.02	v -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 
1796.68/1797.02	v -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
1796.68/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.02	c Total Time         :    1797.02
1796.68/1797.02	c   solving          :    1797.02
1796.68/1797.02	c   presolving       :       0.06 (included in solving)
1796.68/1797.02	c   reading          :       0.02 (included in solving)
1796.68/1797.02	c Original Problem   :
1796.68/1797.02	c   Problem name     : HOME/instance-3737461-1338728087.opb
1796.68/1797.02	c   Variables        : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02	c   Constraints      : 3525 initial, 3525 maximal
1796.68/1797.02	c Presolved Problem  :
1796.68/1797.02	c   Problem name     : t_HOME/instance-3737461-1338728087.opb
1796.68/1797.02	c   Variables        : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02	c   Constraints      : 601 initial, 816 maximal
1796.68/1797.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   dualfix          :       0.00       2524          0          0          0          0          0          0          0          0
1796.68/1797.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   probing          :       0.01          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   knapsack         :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   linear           :       0.01          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   pseudoboolean    :       0.01          0          0          0          0          0       3324        400          0          0
1796.68/1797.02	c   root node        :          -          0          -          -          0          -          -          -          -          -
1796.68/1797.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.02	c   integral         :          0          0          0      76134          0        503          0          1          9          0          0     152250
1796.68/1797.02	c   knapsack         :        400          1     671685          0          1        498         95          1     239888          0          0          0
1796.68/1797.02	c   setppc           :        200          1     623291          0          1        497         21          0      56718          0          0          0
1796.68/1797.02	c   linear           :          1          1     671684          0          0        497          0         55          0          0          0          0
1796.68/1797.02	c   logicor          :          0+         0      71915          0          0          0          0          0          0          0          0          0
1796.68/1797.02	c   countsols        :          0          0          0          0          1        501          0          0          0          0          0          0
1796.68/1797.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1796.68/1797.02	c   integral         :     126.63       0.00       0.00     126.63       0.00       0.00       0.00
1796.68/1797.02	c   knapsack         :       3.94       0.00       3.86       0.00       0.00       0.07       0.00
1796.68/1797.02	c   setppc           :       0.86       0.00       0.85       0.00       0.00       0.01       0.00
1796.68/1797.02	c   linear           :       0.55       0.01       0.54       0.00       0.00       0.00       0.00
1796.68/1797.02	c   logicor          :       0.11       0.00       0.11       0.00       0.00       0.00       0.00
1796.68/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.02	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1796.68/1797.02	c   vbounds          :          0          0          0          0
1796.68/1797.02	c   rootredcost      :          6          0          0          0
1796.68/1797.02	c   pseudoobj        :     672135          2          9          0
1796.68/1797.02	c Propagator Timings :  TotalTime  Propagate    Resprop
1796.68/1797.02	c   vbounds          :       0.11       0.11       0.00
1796.68/1797.02	c   rootredcost      :       0.11       0.11       0.00
1796.68/1797.02	c   pseudoobj        :       2.91       2.91       0.00
1796.68/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.02	c   propagation      :       0.00          1          1          3      141.7          0        0.0          -
1796.68/1797.02	c   infeasible LP    :       0.03        592        510        586       15.3          0        0.0          0
1796.68/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.02	c   applied globally :          -          -          -        480        3.0          -          -          -
1796.68/1797.02	c   applied locally  :          -          -          -          1      141.0          -          -          -
1796.68/1797.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.02	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1796.68/1797.02	c   redcost          :       0.63      78049          0      12514          0          0
1796.68/1797.02	c   impliedbounds    :       0.00          1          0          0          0          0
1796.68/1797.02	c   intobj           :       0.00          0          0          0          0          0
1796.68/1797.02	c   gomory           :       0.06          1          0          0          0          0
1796.68/1797.02	c   cgmip            :       0.00          0          0          0          0          0
1796.68/1797.02	c   closecuts        :       0.00          0          0          0          0          0
1796.68/1797.02	c   strongcg         :       0.05          1          0          0          0          0
1796.68/1797.02	c   cmir             :       0.00          1          0          0          0          0
1796.68/1797.02	c   flowcover        :       0.00          1          0          0          0          0
1796.68/1797.02	c   clique           :       0.00          1          0          0          0          0
1796.68/1797.02	c   zerohalf         :       0.00          0          0          0          0          0
1796.68/1797.02	c   mcf              :       0.00          1          0          0          0          0
1796.68/1797.02	c   oddcycle         :       0.00          0          0          0          0          0
1796.68/1797.02	c   rapidlearning    :       0.18          1          0          0          0          0
1796.68/1797.02	c Pricers            :       Time      Calls       Vars
1796.68/1797.02	c   problem variables:       0.00          0          0
1796.68/1797.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.02	c   relpscost        :     126.59      76134          1          9          0          0     152250
1796.68/1797.02	c   pscost           :       0.00          0          0          0          0          0          0
1796.68/1797.02	c   inference        :       0.00          1          0          0          0          0          2
1796.68/1797.02	c   mostinf          :       0.00          0          0          0          0          0          0
1796.68/1797.02	c   leastinf         :       0.00          0          0          0          0          0          0
1796.68/1797.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.68/1797.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.68/1797.02	c   random           :       0.00          0          0          0          0          0          0
1796.68/1797.02	c Primal Heuristics  :       Time      Calls      Found
1796.68/1797.02	c   LP solutions     :       0.00          -          0
1796.68/1797.02	c   pseudo solutions :       0.00          -          0
1796.68/1797.02	c   intshifting      :       0.00          0          0
1796.68/1797.02	c   oneopt           :       0.02          6          0
1796.68/1797.02	c   feaspump         :       0.60          1          0
1796.68/1797.02	c   crossover        :       0.12          2          1
1796.68/1797.02	c   veclendiving     :      23.60        169          0
1796.68/1797.02	c   guideddiving     :      51.24        410          0
1796.68/1797.02	c   fracdiving       :      71.07        531          1
1796.68/1797.02	c   linesearchdiving :      73.50        554          1
1796.68/1797.02	c   pscostdiving     :     115.87        678          1
1796.68/1797.02	c   coefdiving       :     118.14        703          1
1796.68/1797.02	c   trivial          :       0.00          2          1
1796.68/1797.02	c   shiftandpropagate:       0.00          0          0
1796.68/1797.02	c   simplerounding   :       0.02          0          0
1796.68/1797.02	c   zirounding       :       4.83          0          0
1796.68/1797.02	c   rounding         :      38.70      17695          2
1796.68/1797.02	c   shifting         :      35.25       7756        429
1796.68/1797.02	c   twoopt           :       0.00          0          0
1796.68/1797.02	c   fixandinfer      :       0.00          0          0
1796.68/1797.02	c   clique           :       0.00          0          0
1796.68/1797.02	c   intdiving        :       0.00          0          0
1796.68/1797.02	c   actconsdiving    :       0.00          0          0
1796.68/1797.02	c   objpscostdiving  :      39.04         70         59
1796.68/1797.02	c   rootsoldiving    :       6.72         62          2
1796.68/1797.02	c   octane           :       0.00          0          0
1796.68/1797.02	c   rens             :       0.01          0          0
1796.68/1797.02	c   rins             :       0.00          0          0
1796.68/1797.02	c   localbranching   :       0.00          0          0
1796.68/1797.02	c   mutation         :       0.00          0          0
1796.68/1797.02	c   dins             :       0.00          0          0
1796.68/1797.02	c   vbounds          :       0.00          0          0
1796.68/1797.02	c   undercover       :       0.00          0          0
1796.68/1797.02	c   subnlp           :       0.01          0          0
1796.68/1797.02	c   trysol           :       0.02          0          0
1796.68/1797.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.68/1797.02	c   primal LP        :       0.00          0          0       0.00          -
1796.68/1797.02	c   dual LP          :    1076.57      80006    5037140      62.96    4678.86
1796.68/1797.02	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.02	c   barrier LP       :       0.00          0          0       0.00          -
1796.68/1797.02	c   diving/probing LP:     448.07     452519    2299214       5.08    5131.42
1796.68/1797.02	c   strong branching :     122.18       3165     161855      51.14    1324.76
1796.68/1797.02	c     (at root node) :          -         21       7156     340.76          -
1796.68/1797.02	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.02	c B&B Tree           :
1796.68/1797.02	c   number of runs   :          1
1796.68/1797.02	c   nodes            :      78959
1796.68/1797.02	c   nodes (total)    :      78959
1796.68/1797.02	c   nodes left       :      73294
1796.68/1797.02	c   max depth        :        128
1796.68/1797.02	c   max depth (total):        128
1796.68/1797.02	c   backtracks       :       6463 (8.2%)
1796.68/1797.02	c   delayed cutoffs  :          0
1796.68/1797.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02	c   avg switch length:       3.24
1796.68/1797.02	c   switching time   :       2.20
1796.68/1797.02	c Solution           :
1796.68/1797.02	c   Solutions found  :        498 (7 improvements)
1796.68/1797.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.68/1797.02	c   Primal Bound     : -5.80000000000000e+01   (in run 1, after 89 nodes, 87.18 seconds, depth 216, found by <linesearchdiving>)
1796.68/1797.02	c   Dual Bound       : -9.32325714673098e+01
1796.68/1797.02	c   Gap              :      37.79 %
1796.68/1797.02	c   Root Dual Bound  : -9.99999999999982e+01
1796.68/1797.02	c   Root Iterations  :       3500
1796.78/1797.15	c Time complete: 1796.83.

Verifier Data 

OK	-58

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737461-1338728087/watcher-3737461-1338728087 -o /tmp/evaluation-result-3737461-1338728087/solver-3737461-1338728087 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737461-1338728087.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30413
/proc/meminfo: memFree=27940448/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 1507 0 0 0 0 0 0 0 20 0 1 0 338934133 9818112 1461 33554432000 4194304 9016284 140736682785328 140735415580744 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 2397 1462 311 1178 0 1215 0

[startup+0.0255431 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30413
/proc/meminfo: memFree=27940448/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=20796 CPUtime=0.01 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 3917 0 0 0 1 0 0 0 20 0 1 0 338934133 21295104 3872 33554432000 4194304 9016284 140736682785328 140735415580744 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 5199 3897 419 1178 0 4017 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20796

[startup+0.100299 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30413
/proc/meminfo: memFree=27940448/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=29012 CPUtime=0.09 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 6365 0 0 0 8 1 0 0 20 0 1 0 338934133 29708288 6062 33554432000 4194304 9016284 140736682785328 140735415580744 7824814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 7253 6065 576 1178 0 6071 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29012

[startup+0.300232 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30413
/proc/meminfo: memFree=27940448/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=31188 CPUtime=0.29 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 7016 0 0 0 28 1 0 0 20 0 1 0 338934133 31936512 6713 33554432000 4194304 9016284 140736682785328 140735415580744 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 7797 6713 638 1178 0 6615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31188

[startup+0.700253 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 30413
/proc/meminfo: memFree=27940448/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=36568 CPUtime=0.69 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 8889 0 0 0 67 2 0 0 20 0 1 0 338934133 37445632 8134 33554432000 4194304 9016284 140736682785328 140736682779192 7875499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 9142 8135 678 1178 0 7960 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36568

[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30414
/proc/meminfo: memFree=27913168/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=34000 CPUtime=1.49 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 13627 0 0 0 146 3 0 0 20 0 1 0 338934133 34816000 7408 33554432000 4194304 9016284 140736682785328 140736682777656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8500 7408 708 1178 0 7318 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34000

[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30414
/proc/meminfo: memFree=27912408/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=35236 CPUtime=3.09 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 13995 0 0 0 306 3 0 0 20 0 1 0 338934133 36081664 7776 33554432000 4194304 9016284 140736682785328 140736682779176 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8809 7776 708 1178 0 7627 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35236

[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30414
/proc/meminfo: memFree=27911540/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=33852 CPUtime=6.29 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 14305 0 0 0 625 4 0 0 20 0 1 0 338934133 34664448 7469 33554432000 4194304 9016284 140736682785328 140736682779176 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8463 7469 708 1178 0 7281 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33852

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30414
/proc/meminfo: memFree=27911804/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=34832 CPUtime=12.69 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 15239 0 0 0 1263 6 0 0 20 0 1 0 338934133 35667968 7740 33554432000 4194304 9016284 140736682785328 140736682779128 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8708 7740 708 1178 0 7526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34832

[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30414
/proc/meminfo: memFree=27951024/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=34660 CPUtime=25.48 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 15837 0 0 0 2540 8 0 0 20 0 1 0 338934133 35491840 7674 33554432000 4194304 9016284 140736682785328 140736682778632 7219694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8665 7674 708 1178 0 7483 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34660

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 30414
/proc/meminfo: memFree=27944756/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=34988 CPUtime=51.09 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 15920 0 0 0 5097 12 0 0 20 0 1 0 338934133 35827712 7757 33554432000 4194304 9016284 140736682785328 140736682779080 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8747 7757 708 1178 0 7565 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34988

[startup+102.306 s]
/proc/loadavg: 2.08 2.03 2.00 3/175 30414
/proc/meminfo: memFree=27939792/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=35568 CPUtime=102.28 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 17707 0 0 0 10204 24 0 0 20 0 1 0 338934133 36421632 7900 33554432000 4194304 9016284 140736682785328 140736682779336 7219053 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 8892 7900 711 1178 0 7710 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35568

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 30414
/proc/meminfo: memFree=27937244/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=38064 CPUtime=162.26 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 18316 0 0 0 16182 44 0 0 20 0 1 0 338934133 38977536 8509 33554432000 4194304 9016284 140736682785328 140736682779560 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 9516 8509 711 1178 0 8334 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38064

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 30414
/proc/meminfo: memFree=27901732/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=52120 CPUtime=222.25 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 25899 0 0 0 22148 77 0 0 20 0 1 0 338934133 53370880 12240 33554432000 4194304 9016284 140736682785328 140736682778696 7102829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 13030 12240 714 1178 0 11848 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 52120

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 30415
/proc/meminfo: memFree=27901724/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=52120 CPUtime=282.23 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 25910 0 0 0 28118 105 0 0 20 0 1 0 338934133 53370880 12250 33554432000 4194304 9016284 140736682785328 140736682779384 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 13030 12250 714 1178 0 11848 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 52120

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30418
/proc/meminfo: memFree=27901716/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=52120 CPUtime=342.22 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 25918 0 0 0 34083 139 0 0 20 0 1 0 338934133 53370880 12258 33554432000 4194304 9016284 140736682785328 140736682778520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 13030 12258 714 1178 0 11848 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 52120

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30441
/proc/meminfo: memFree=27900164/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=53336 CPUtime=402.22 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 26229 0 0 0 40049 173 0 0 20 0 1 0 338934133 54616064 12569 33554432000 4194304 9016284 140736682785328 140736682779192 7218929 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 13334 12569 714 1178 0 12152 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 53336

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30480
/proc/meminfo: memFree=28254976/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=53336 CPUtime=462.21 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 26239 0 0 0 46009 212 0 0 20 0 1 0 338934133 54616064 12579 33554432000 4194304 9016284 140736682785328 140736682779240 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 13334 12579 714 1178 0 12152 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 53336

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30480
/proc/meminfo: memFree=28252328/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=53848 CPUtime=522.2 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 26378 0 0 0 51956 264 0 0 20 0 1 0 338934133 55140352 12718 33554432000 4194304 9016284 140736682785328 140736682779192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 13462 12718 714 1178 0 12280 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 53848

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 30481
/proc/meminfo: memFree=28232484/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=58080 CPUtime=582.18 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 27436 0 0 0 57921 297 0 0 20 0 1 0 338934133 59473920 13775 33554432000 4194304 9016284 140736682785328 140736682778488 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 14520 13775 714 1178 0 13338 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 58080

[startup+642.3 s]

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

/proc/meminfo: memFree=28213784/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=75900 CPUtime=1062.1 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 33530 0 0 0 105640 570 0 0 20 0 1 0 338934133 77721600 18325 33554432000 4194304 9016284 140736682785328 140736682778744 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 18975 18325 714 1178 0 17793 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 75900

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30486
/proc/meminfo: memFree=28211116/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=78876 CPUtime=1122.09 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 34239 0 0 0 111603 606 0 0 20 0 1 0 338934133 80769024 19033 33554432000 4194304 9016284 140736682785328 140736682779240 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 19719 19033 714 1178 0 18537 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 78876

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30487
/proc/meminfo: memFree=28208324/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=79876 CPUtime=1182.09 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 34531 0 0 0 117569 640 0 0 20 0 1 0 338934133 81793024 19324 33554432000 4194304 9016284 140736682785328 140736682779240 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 19969 19324 714 1178 0 18787 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 79876

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30487
/proc/meminfo: memFree=28204476/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=81856 CPUtime=1242.08 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 36557 0 0 0 123534 674 0 0 20 0 1 0 338934133 83820544 19842 33554432000 4194304 9016284 140736682785328 140736682778744 7189354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 20464 19842 714 1178 0 19282 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 81856

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30487
/proc/meminfo: memFree=28199324/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=85552 CPUtime=1302.07 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 37497 0 0 0 129500 707 0 0 20 0 1 0 338934133 87605248 20780 33554432000 4194304 9016284 140736682785328 140736682779400 5023446 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 21388 20780 714 1178 0 20206 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 85552

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30487
/proc/meminfo: memFree=28192128/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=88256 CPUtime=1362.05 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 38160 0 0 0 135464 741 0 0 20 0 1 0 338934133 90374144 21441 33554432000 4194304 9016284 140736682785328 140736682778584 7214028 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 22064 21441 714 1178 0 20882 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 88256

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30487
/proc/meminfo: memFree=28186420/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=91212 CPUtime=1422.05 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 38929 0 0 0 141431 774 0 0 20 0 1 0 338934133 93401088 22210 33554432000 4194304 9016284 140736682785328 140736682778472 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 22803 22210 714 1178 0 21621 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 91212

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 30488
/proc/meminfo: memFree=28179160/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=95944 CPUtime=1482.03 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 40095 0 0 0 147397 806 0 0 20 0 1 0 338934133 98246656 23373 33554432000 4194304 9016284 140736682785328 140736682778744 7219176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 23986 23373 714 1178 0 22804 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 95944

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 30491
/proc/meminfo: memFree=28175116/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=97108 CPUtime=1542.02 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 40437 0 0 0 153362 840 0 0 20 0 1 0 338934133 99438592 23715 33554432000 4194304 9016284 140736682785328 140736682779192 7218957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 24277 23715 714 1178 0 23095 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 97108

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30491
/proc/meminfo: memFree=28168416/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=100256 CPUtime=1602.01 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 41237 0 0 0 159326 875 0 0 20 0 1 0 338934133 102662144 24512 33554432000 4194304 9016284 140736682785328 140736682779240 7219194 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 25064 24512 714 1178 0 23882 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 100256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30491
/proc/meminfo: memFree=28166432/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=103468 CPUtime=1662 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 41517 0 0 0 165291 909 0 0 20 0 1 0 338934133 105951232 24792 33554432000 4194304 9016284 140736682785328 140736682778936 7216357 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 25867 24792 714 1178 0 24685 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 103468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30491
/proc/meminfo: memFree=28158116/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=106296 CPUtime=1721.99 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42274 0 0 0 171253 946 0 0 20 0 1 0 338934133 108847104 25548 33554432000 4194304 9016284 140736682785328 140736682779288 7220119 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 26574 25548 714 1178 0 25392 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 106296

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28152536/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108300 CPUtime=1781.99 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42757 0 0 0 177218 981 0 0 20 0 1 0 338934133 110899200 26031 33554432000 4194304 9016284 140736682785328 140736682778744 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27075 26031 714 1178 0 25893 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 108300

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28151916/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108300 CPUtime=1785.19 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42760 0 0 0 177536 983 0 0 20 0 1 0 338934133 110899200 26034 33554432000 4194304 9016284 140736682785328 140736682779016 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27075 26034 714 1178 0 25893 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 108300

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28151044/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108300 CPUtime=1791.58 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42761 0 0 0 178173 985 0 0 20 0 1 0 338934133 110899200 26034 33554432000 4194304 9016284 140736682785328 140736682779192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27075 26034 714 1178 0 25893 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 108300

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28150920/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108300 CPUtime=1794.78 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42761 0 0 0 178491 987 0 0 20 0 1 0 338934133 110899200 26034 33554432000 4194304 9016284 140736682785328 140736682779240 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27075 26034 714 1178 0 25893 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 108300

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28150920/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108680 CPUtime=1795.58 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42868 0 0 0 178570 988 0 0 20 0 1 0 338934133 111288320 26141 33554432000 4194304 9016284 140736682785328 140736682779496 7219176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27170 26141 714 1178 0 25988 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 108680

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28150548/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108680 CPUtime=1796.38 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42868 0 0 0 178649 989 0 0 20 0 1 0 338934133 111288320 26141 33554432000 4194304 9016284 140736682785328 140736682778696 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27170 26141 714 1178 0 25988 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 108680

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30492
/proc/meminfo: memFree=28150548/32873852 swapFree=7624/7624
[pid=30413] ppid=30411 vsize=108680 CPUtime=1796.78 cores=1,3,5,7
/proc/30413/stat : 30413 (scip-2.0.1.4b_2) R 30411 30413 29314 0 -1 4202496 42870 0 0 0 178689 989 0 0 20 0 1 0 338934133 111288320 26143 33554432000 4194304 9016284 140736682785328 140736682778696 4897769 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30413/statm: 27170 26143 716 1178 0 25988 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 108680

Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.84
CPU user time (s): 1786.94
CPU system time (s): 9.8985
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 108680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.94
system time used= 9.8985
maximum resident set size= 104572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42875
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= 37
involuntary context switches= 1844

runsolver used 4.00339 second user time and 16.8284 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 14:54:47
IDJOB=3737461
IDBENCH=48240
IDSOLVER=2329
FILE ID=node131/3737461-1338728087
RUNJOBID= node131-1338713677-29331
PBS_JOBID= 14636738
Free space on /tmp= 71384 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737461-1338728087/watcher-3737461-1338728087 -o /tmp/evaluation-result-3737461-1338728087/solver-3737461-1338728087 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737461-1338728087.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=219817802

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27940720 kB
Buffers:          558296 kB
Cached:          3094408 kB
SwapCached:         2348 kB
Active:          1858812 kB
Inactive:        2206484 kB
Active(anon):     408312 kB
Inactive(anon):     3664 kB
Active(file):    1450500 kB
Inactive(file):  2202820 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:        459048 kB
Mapped:            17128 kB
Shmem:                 0 kB
Slab:             727976 kB
SReclaimable:     170376 kB
SUnreclaim:       557600 kB
KernelStack:        1456 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     532048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2012-06-03 15:24:44