Trace number 2656995

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
bsolo 3.2 CardSAT372 1798.01 1798.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.334949
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656995-1276353170.opb
0.00/0.00	c File size is 16026 bytes.
0.00/0.00	c Highest Coefficient sum: 1.02726e+06
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 319 Constr: 6 0/0/6 Lit: 1243 Watch. Lit: 16
0.00/0.00	c Obj. Vars: 319 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    319        6     1243  207       16    2486      0      0 0.01
0.00/0.01	c Initial Lower Bound: 291
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 604
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0    319        7     1562  223      332    3124      1      0 0.01
0.09/0.12	o 543
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       10    319       19     4973  261      666    3124     13     78 0.13
0.19/0.24	o 486
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c       10    319       20     5292  264      983    3124     14     41 0.24
0.29/0.35	o 477
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c       10    319       21     5611  267     1297    3124     15     28 0.35
0.39/0.48	o 399
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c       23    319       38    10148  267     1643    3124     32     47 0.48
0.79/0.86	c      132    319      191    52227  273     2080    3437    185    185 0.71
0.79/0.86	o 395
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c      160    319      255    71181  279     2951    3124    249    185 0.86
0.89/0.98	o 394
1.10/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.11	c      163    319      260    72585  279     3287    3124    254    166 0.98
1.10/1.11	o 393
1.49/1.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.51	c      180    319      289    80770  279     3704    3124    283    161 1.12
1.49/1.51	c      280    319      428   118004  275     4010    3437    422    203 1.38
1.49/1.51	o 385
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c      292    319      443   121837  275     4382    3124    437    192 1.52
1.89/1.98	c      392    319      568   151620  266     4650    3437    562    210 1.86
1.89/1.98	o 375
1.99/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.09	c      392    319      569   151939  267     4966    3124    563    198 1.98
1.99/2.09	o 374
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c      393    319      571   152463  267     5283    3124    565    187 2.09
2.29/2.33	o 373
9.29/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.34	c      492    319      708   188951  266     5906    3124    702    210 2.34
9.29/9.34	c      593    319      860   229270  266     6220    3437    854    227 2.61
9.29/9.34	c      843    319     1225   317439  259     6952    3781   1219    256 3.29
9.29/9.34	c     1318    319     1929   498099  258     8379    4160   1923    314 4.19
9.29/9.34	c     2131    319     3266   857309  262    11281    4577   3260    362 5.88
9.29/9.34	c     3452    319     2862   757990  264     6544    5035   2856    379 9.09
9.29/9.34	o 372
1797.95/1798.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.64	c     3514    319     2972   787491  264     7077    3124   2966    376 9.34
1797.95/1798.64	c     3614    319     1569   415253  264     4015    3437   1563    374 9.64
1797.95/1798.64	c     3865    319     1955   517917  264     4880    3781   1949    379 10.17
1797.95/1798.64	c     4340    319     3145   856034  272     7352    4160   3139    394 11.00
1797.95/1798.64	c     5153    319     2487   677268  272     5603    4577   2481    400 12.87
1797.95/1798.64	c     6474    319     4289  1115758  260     9888    5035   4283    323 20.03
1797.95/1798.64	c     8555    319     3072   712024  231     6464    5539   3066    267 32.01
1797.95/1798.64	c    11808    319     4322  1006959  232     8963    6093   4316    231 51.09
1797.95/1798.64	c    16744    319     3126   704610  225     6571    6703   3120    198 84.22
1797.95/1798.64	c    24251    319     6702  1517555  226    13724    7374   6696    212 114.08
1797.95/1798.64	c    35619    319     4103   951330  231     8735    8112   4097    239 148.56
1797.95/1798.64	c    52763    319     6715  1663862  247    13796    8924   6709    249 211.60
1797.95/1798.64	c    78586    319     7126  1670737  234    14582    9817   7120    244 321.02
1797.95/1798.64	c   117419    319     6920  1636463  236    14169   10799   6914    227 515.98
1797.95/1798.64	c   175771    319    10617  2482630  233    21553   11879  10611    236 742.76
1797.95/1798.64	c   263403    319    10811  2477518  229    21944   13067  10805    199 1323.48
1797.95/1798.64	c Resources Exceeded
1797.95/1798.64	v x111 x222 -x254 -x265 -x276 -x287 -x298 x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246 
1797.95/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.64	c   36   317786 168475  2312149     7529  1703956   7523    176 1798.00
1797.95/1798.64	c Objective: 372
1797.95/1798.64	s SATISFIABLE
1797.95/1798.64	c Total time: 1798 s

Verifier Data 

OK	372

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656995-1276353170/watcher-2656995-1276353170 -o /tmp/evaluation-result-2656995-1276353170/solver-2656995-1276353170 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656995-1276353170.opb 

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


[startup+0 s]
/proc/loadavg: 1.04 1.09 1.02 3/106 15320
/proc/meminfo: memFree=1858480/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=18604 CPUtime=0
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 336 0 0 0 0 0 0 0 18 0 1 0 10918599 19050496 251 1992294400 134512640 137138936 4290029360 18446744073709551615 136525376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 4651 257 195 642 0 4007 0

[startup+0.090138 s]
/proc/loadavg: 1.04 1.09 1.02 3/106 15320
/proc/meminfo: memFree=1858480/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=19176 CPUtime=0.08
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 3484 0 0 0 7 1 0 0 20 0 1 0 10918599 19636224 375 1992294400 134512640 137138936 4290029360 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 4672 362 280 642 0 4028 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19176

[startup+0.10114 s]
/proc/loadavg: 1.04 1.09 1.02 3/106 15320
/proc/meminfo: memFree=1858480/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=18688 CPUtime=0.09
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 3870 0 0 0 8 1 0 0 20 0 1 0 10918599 19136512 364 1992294400 134512640 137138936 4290029360 18446744073709551615 134828806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 4672 364 282 642 0 4028 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18688

[startup+0.301178 s]
/proc/loadavg: 1.04 1.09 1.02 3/106 15320
/proc/meminfo: memFree=1858480/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=19240 CPUtime=0.29
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 10974 0 0 0 26 3 0 0 20 0 1 0 10918599 19701760 394 1992294400 134512640 137138936 4290029360 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 4810 394 287 642 0 4166 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19240

[startup+0.701256 s]
/proc/loadavg: 1.04 1.09 1.02 3/106 15320
/proc/meminfo: memFree=1858480/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=11528 CPUtime=0.69
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 22992 0 0 0 62 7 0 0 21 0 1 0 10918599 11804672 532 1992294400 134512640 137138936 4290029360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 2882 532 287 642 0 2238 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11528

[startup+1.50141 s]
/proc/loadavg: 1.04 1.09 1.02 2/107 15321
/proc/meminfo: memFree=1856984/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=12476 CPUtime=1.49
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 48336 0 0 0 134 15 0 0 23 0 1 0 10918599 12775424 771 1992294400 134512640 137138936 4290029360 18446744073709551615 134542721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 3119 771 287 642 0 2475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12476

[startup+3.10172 s]
/proc/loadavg: 1.04 1.09 1.02 2/107 15321
/proc/meminfo: memFree=1855620/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=14956 CPUtime=3.09
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 92004 0 0 0 279 30 0 0 25 0 1 0 10918599 15314944 1390 1992294400 134512640 137138936 4290029360 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 3864 1399 287 642 0 3220 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14956

[startup+6.30135 s]
/proc/loadavg: 1.03 1.09 1.02 2/107 15323
/proc/meminfo: memFree=1847932/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=23816 CPUtime=6.29
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 149167 0 0 0 579 50 0 0 25 0 1 0 10918599 24387584 3492 1992294400 134512640 137138936 4290029360 18446744073709551615 134732359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 5954 3494 287 642 0 5310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23816

[startup+12.7016 s]
/proc/loadavg: 1.03 1.09 1.02 2/107 15323
/proc/meminfo: memFree=1840492/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=28180 CPUtime=12.69
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 176959 0 0 0 1207 62 0 0 25 0 1 0 10918599 28856320 4659 1992294400 134512640 137138936 4290029360 18446744073709551615 134575844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 7045 4659 287 642 0 6401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28180

[startup+25.5011 s]
/proc/loadavg: 1.02 1.08 1.02 2/107 15323
/proc/meminfo: memFree=1839004/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=29576 CPUtime=25.48
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 246306 0 0 0 2452 96 0 0 25 0 1 0 10918599 30285824 5037 1992294400 134512640 137138936 4290029360 18446744073709551615 134910061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 7512 5042 287 642 0 6868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29576

[startup+51.1011 s]
/proc/loadavg: 1.01 1.07 1.02 2/107 15323
/proc/meminfo: memFree=1838880/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=29624 CPUtime=51.07
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 534971 0 0 0 4865 242 0 0 25 0 1 0 10918599 30334976 5049 1992294400 134512640 137138936 4290029360 18446744073709551615 134544780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 7406 5049 287 642 0 6762 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29624

[startup+102.308 s]
/proc/loadavg: 1.00 1.06 1.01 2/107 15325
/proc/meminfo: memFree=1835656/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=32680 CPUtime=102.26
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 873124 0 0 0 9810 416 0 0 25 0 1 0 10918599 33464320 5819 1992294400 134512640 137138936 4290029360 18446744073709551615 135322850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 8170 5819 287 642 0 7526 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32680

[startup+162.301 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 15327
/proc/meminfo: memFree=1829084/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=39788 CPUtime=162.23
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1048212 0 0 0 15725 498 0 0 25 0 1 0 10918599 40742912 7472 1992294400 134512640 137138936 4290029360 18446744073709551615 134732270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 9820 7466 287 642 0 9176 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 39788

[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 15327
/proc/meminfo: memFree=1825860/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=42532 CPUtime=222.21
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1319986 0 0 0 21575 646 0 0 25 0 1 0 10918599 43552768 8279 1992294400 134512640 137138936 4290029360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 10633 8279 287 642 0 9989 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42532

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15329
/proc/meminfo: memFree=1824124/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=44408 CPUtime=282.2
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1386699 0 0 0 27537 683 0 0 25 0 1 0 10918599 45473792 8715 1992294400 134512640 137138936 4290029360 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11102 8715 287 642 0 10458 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 44408

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 15331
/proc/meminfo: memFree=1824124/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=44192 CPUtime=342.17
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1386699 0 0 0 33524 693 0 0 25 0 1 0 10918599 45252608 8711 1992294400 134512640 137138936 4290029360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11048 8711 287 642 0 10404 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 44192

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15333
/proc/meminfo: memFree=1823752/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=44556 CPUtime=402.15
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1617781 0 0 0 39392 823 0 0 25 0 1 0 10918599 45625344 8789 1992294400 134512640 137138936 4290029360 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11139 8789 287 642 0 10495 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 44556

[startup+462.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15335
/proc/meminfo: memFree=1823628/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=44552 CPUtime=462.13
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1823897 0 0 0 45249 964 0 0 25 0 1 0 10918599 45621248 8789 1992294400 134512640 137138936 4290029360 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11138 8789 287 642 0 10494 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 44552

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15335
/proc/meminfo: memFree=1823628/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=44708 CPUtime=522.11
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 1827562 0 0 0 51234 977 0 0 25 0 1 0 10918599 45780992 8791 1992294400 134512640 137138936 4290029360 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11177 8791 287 642 0 10533 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 44708

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15337
/proc/meminfo: memFree=1821396/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=46712 CPUtime=582.08
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 2056327 0 0 0 57103 1105 0 0 25 0 1 0 10918599 47833088 9327 1992294400 134512640 137138936 4290029360 18446744073709551615 134618174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11678 9327 287 642 0 11034 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 46712

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15339
/proc/meminfo: memFree=1821024/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=47544 CPUtime=642.08
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 2400710 0 0 0 62938 1270 0 0 25 0 1 0 10918599 48685056 9413 1992294400 134512640 137138936 4290029360 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 11886 9413 287 642 0 11242 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 47544

[startup+702.301 s]

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

/proc/meminfo: memFree=1817180/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=50508 CPUtime=1121.9
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4218807 0 0 0 109893 2297 0 0 25 0 1 0 10918599 51720192 10289 1992294400 134512640 137138936 4290029360 18446744073709551615 134832813 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 12627 10289 287 642 0 11983 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 50508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15353
/proc/meminfo: memFree=1817180/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=50508 CPUtime=1181.88
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4218807 0 0 0 115866 2322 0 0 25 0 1 0 10918599 51720192 10289 1992294400 134512640 137138936 4290029360 18446744073709551615 134750993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 12627 10289 287 642 0 11983 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 50508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15355
/proc/meminfo: memFree=1817180/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=50508 CPUtime=1241.86
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4218807 0 0 0 121851 2335 0 0 25 0 1 0 10918599 51720192 10289 1992294400 134512640 137138936 4290029360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 12627 10289 287 642 0 11983 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 50508

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15357
/proc/meminfo: memFree=1817180/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=50624 CPUtime=1301.85
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4218823 0 0 0 127845 2340 0 0 25 0 1 0 10918599 51838976 10288 1992294400 134512640 137138936 4290029360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 12656 10288 287 642 0 12012 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 50624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15359
/proc/meminfo: memFree=1814576/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1361.81
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4613442 0 0 0 133631 2550 0 0 25 0 1 0 10918599 54341632 10918 1992294400 134512640 137138936 4290029360 18446744073709551615 134828567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10918 287 642 0 12623 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 53068

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15359
/proc/meminfo: memFree=1814452/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1421.8
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 139602 2578 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134750251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 53068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15361
/proc/meminfo: memFree=1814452/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1481.77
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 145577 2600 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 135251804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 53068

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15363
/proc/meminfo: memFree=1814576/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1541.76
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 151554 2622 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134768834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 53068

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15365
/proc/meminfo: memFree=1814452/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1601.73
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 157530 2643 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134730564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 53068

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15367
/proc/meminfo: memFree=1814452/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1661.7
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 163506 2664 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134768834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 53068

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15376
/proc/meminfo: memFree=1813708/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1721.68
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 169486 2682 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 135251239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 53068

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1781.66
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 175463 2703 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 135782931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 53068

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1791.26
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 176419 2707 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134924644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 53068

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1794.46
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 176738 2708 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 53068

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1796.05
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 176896 2709 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 136520969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 53068

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1796.85
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 176976 2709 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134708221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 53068

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1797.64
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 177055 2709 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 53068

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1797.86
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 177076 2710 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 134828846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 53068

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15378
/proc/meminfo: memFree=1813832/2059040 swapFree=4136164/4192956
[pid=15320] ppid=15318 vsize=53068 CPUtime=1797.95
/proc/15320/stat : 15320 (bsolo_pb10) R 15318 15320 14792 0 -1 4202496 4621246 0 0 0 177085 2710 0 0 25 0 1 0 10918599 54341632 10919 1992294400 134512640 137138936 4290029360 18446744073709551615 135250995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15320/statm: 13267 10919 287 642 0 12623 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 53068

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.01
CPU user time (s): 1770.9
CPU system time (s): 27.1059
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 53540

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

runsolver used 2.98555 second user time and 8.47271 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 16:32:50
IDJOB=2656995
IDBENCH=1854
IDSOLVER=1162
FILE ID=node011/2656995-1276353170
PBS_JOBID= 11173192
Free space on /tmp= 62264 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656995-1276353170/watcher-2656995-1276353170 -o /tmp/evaluation-result-2656995-1276353170/solver-2656995-1276353170 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656995-1276353170.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=568077053

node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1859008 kB
Buffers:         30180 kB
Cached:         108508 kB
SwapCached:      11036 kB
Active:          90484 kB
Inactive:        61704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1859008 kB
SwapTotal:     4192956 kB
SwapFree:      4136164 kB
Dirty:            4164 kB
Writeback:           0 kB
AnonPages:       10720 kB
Mapped:           9140 kB
Slab:            25968 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-12 17:02:49