Trace number 2657444

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 ClSAT-26 1798.02 1798.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM7bb05c60facd55e51c4cfcaa0e217e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1789.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17831
Number of constraints which are clauses17831
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657444-1276488394.opb
0.00/0.00	c File size is 422586 bytes.
0.04/0.07	c Highest Coefficient sum: 450
0.04/0.07	c Parsing was ok!!
0.04/0.07	c Total parsing time: 0.068 s
0.04/0.07	c Var: 450 Constr: 17831 17831/0/0 Lit: 35662 Watch. Lit: 35662
0.04/0.07	c Obj. Vars: 450 (100 % of total variables)
0.19/0.22	c Pre-processing Time: 0.227 s
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0    450    17831    35662    2    35662    5943      0      0 0.23
0.19/0.23	c Switching off lower bounding mode.
0.19/0.23	o -22
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0    450    17832    36112    2    35686    6943      1      0 0.23
0.19/0.23	o -23
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        1    450    17834    36988    2    35713    6943      3      4 0.23
0.49/0.54	c      101    450    17934    79313    4    35913    7638    103    384 0.26
0.49/0.54	c      352    450    18185   185493   10    36415    8402    354   1008 0.35
0.49/0.54	c      830    450    18663   387466   20    37371    9243    832   1566 0.53
0.49/0.54	o -24
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c      858    450    18692   399783   21    37453    6943    861   1585 0.54
0.79/0.87	c      958    450    18792   441985   23    37653    7638    961   1663 0.58
0.79/0.87	c     1208    450    19042   547593   28    38153    8402   1211   1805 0.67
0.79/0.87	c     1683    450    19517   747822   38    39103    9243   1686   1943 0.87
0.79/0.87	o -25
1696.22/1696.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1696.22/1696.83	c     1689    450    19524   750811   38    39142    6943   1693   1939 0.87
1696.22/1696.83	c     1789    450    19624   792864   40    39342    7638   1793   1946 0.92
1696.22/1696.83	c     2039    450    19874   898195   45    39842    8402   2043   1993 1.02
1696.22/1696.83	c     2516    450    20351  1098983   54    40796    9243   2520   2045 1.23
1696.22/1696.83	c     3329    450    21164  1441443   68    42422   10168   3333   2096 1.59
1696.22/1696.83	c     4649    450    22484  1997044   88    45062   11185   4653   1948 2.39
1696.22/1696.83	c     6731    450    24566  2873344  116    49226   12304   6735   1888 3.56
1696.22/1696.83	c     9954    450    27789  4229604  152    55672   13535   9958   1741 5.71
1696.22/1696.83	c    14891    450    25527  3275233  128    51079   14889   7696   1457 10.22
1696.22/1696.83	c    22397    450    25277  3168440  125    50579   16378   7446   1086 20.61
1696.22/1696.83	c    33760    450    28019  4321421  154    56063   18016  10188    923 36.57
1696.22/1696.83	c    50905    450    35740  7567153  211    71505   19818  17909    767 66.35
1696.22/1696.83	c    76725    450    30575  5392894  176    61175   21800  12744    709 108.17
1696.22/1696.83	c   115557    450    35117  7305542  208    70259   23981  17286    627 184.15
1696.22/1696.83	c   173910    450    39560  9170221  231    79145   26380  21729    497 349.46
1696.22/1696.83	c   261542    450    32565  6224574  191    65155   29019  14734    414 630.54
1696.22/1696.83	c   393095    450    35868  7623586  212    71761   31921  18037    366 1072.94
1696.22/1696.83	c   590527    450    43180 10699831  247    86385   35114  25349    349 1689.78
1696.22/1696.83	o -26
1797.99/1798.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.60	c   596625    450    49279 13263524  269    98609    6943  31448    351 1696.26
1797.99/1798.60	c   596725    450    21404  1536021   71    42834    7638   3573    350 1702.06
1797.99/1798.60	c   596975    450    21654  1641012   75    43334    8402   3823    350 1702.18
1797.99/1798.60	c   597450    450    22129  1839702   83    44284    9243   4298    350 1702.48
1797.99/1798.60	c   598264    450    22943  2180955   95    45912   10168   5112    351 1702.86
1797.99/1798.60	c   599585    450    24264  2735407  112    48554   11185   6433    351 1703.63
1797.99/1798.60	c   601666    450    26345  3607694  136    52716   12304   8514    352 1704.81
1797.99/1798.60	c   604890    450    29569  4960240  167    59164   13535  11738    354 1706.74
1797.99/1798.60	c   609826    450    27310  4007517  146    54646   14889   9479    356 1711.21
1797.99/1798.60	c   617332    450    26952  3857816  143    53930   16378   9121    358 1721.10
1797.99/1798.60	c   628693    450    29694  5011015  168    59414   18016  11863    362 1733.12
1797.99/1798.60	c   645837    450    27978  4288653  153    55982   19818  10147    366 1761.97
1797.99/1798.60	c Resources Exceeded
1797.99/1798.60	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1797.99/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.60	c   39   668719  41257   716004    30183  5213833  12352    371 1798.00
1797.99/1798.60	c Objective: -26
1797.99/1798.60	s SATISFIABLE
1797.99/1798.60	c Total time: 1798 s

Verifier Data 

OK	-26

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29875
/proc/meminfo: memFree=1808644/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=11212 CPUtime=0
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 338 0 0 0 0 0 0 0 16 0 1 0 24440998 11481088 256 1992294400 134512640 137138936 4286967232 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 2803 256 174 642 0 2055 0

[startup+0.0501641 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29875
/proc/meminfo: memFree=1808644/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=12312 CPUtime=0.04
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 665 0 0 0 4 0 0 0 16 0 1 0 24440998 12607488 583 1992294400 134512640 137138936 4286967232 18446744073709551615 136525379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 3078 584 236 642 0 2330 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12312

[startup+0.101173 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29875
/proc/meminfo: memFree=1808644/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=13500 CPUtime=0.09
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 1105 0 0 0 9 0 0 0 17 0 1 0 24440998 13824000 919 1992294400 134512640 137138936 4286967232 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 3375 921 185 642 0 2731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13500

[startup+0.301209 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29875
/proc/meminfo: memFree=1808644/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=14500 CPUtime=0.29
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 1488 0 0 0 27 2 0 0 17 0 1 0 24440998 14848000 1194 1992294400 134512640 137138936 4286967232 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 3625 1194 191 642 0 2981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14500

[startup+0.70128 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29875
/proc/meminfo: memFree=1808644/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=20500 CPUtime=0.69
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 2965 0 0 0 66 3 0 0 17 0 1 0 24440998 20992000 2671 1992294400 134512640 137138936 4286967232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 5125 2671 191 642 0 4481 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20500

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29876
/proc/meminfo: memFree=1794872/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=30432 CPUtime=1.49
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 5469 0 0 0 145 4 0 0 18 0 1 0 24440998 31162368 5175 1992294400 134512640 137138936 4286967232 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 7608 5175 191 642 0 6964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30432

[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29876
/proc/meminfo: memFree=1781852/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=46180 CPUtime=3.09
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 9389 0 0 0 304 5 0 0 21 0 1 0 24440998 47288320 9095 1992294400 134512640 137138936 4286967232 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 11545 9095 191 642 0 10901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46180

[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29876
/proc/meminfo: memFree=1752836/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=73240 CPUtime=6.29
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 16153 0 0 0 620 9 0 0 25 0 1 0 24440998 74997760 15859 1992294400 134512640 137138936 4286967232 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 18310 15859 191 642 0 17666 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73240

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29876
/proc/meminfo: memFree=1728780/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=89740 CPUtime=12.69
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 20285 0 0 0 1256 13 0 0 25 0 1 0 24440998 91893760 19991 1992294400 134512640 137138936 4286967232 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 22435 19991 191 642 0 21791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89740

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29876
/proc/meminfo: memFree=1722084/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=96436 CPUtime=25.48
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 21961 0 0 0 2532 16 0 0 25 0 1 0 24440998 98750464 21667 1992294400 134512640 137138936 4286967232 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 24109 21667 191 642 0 23465 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96436

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29878
/proc/meminfo: memFree=1704476/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=113984 CPUtime=51.07
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 26364 0 0 0 5084 23 0 0 25 0 1 0 24440998 116719616 26070 1992294400 134512640 137138936 4286967232 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 28496 26070 191 642 0 27852 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 113984

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29878
/proc/meminfo: memFree=1694184/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=124136 CPUtime=102.27
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 28890 0 0 0 10192 35 0 0 25 0 1 0 24440998 127115264 28596 1992294400 134512640 137138936 4286967232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 31034 28596 191 642 0 30390 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 124136

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29880
/proc/meminfo: memFree=1683272/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=134836 CPUtime=162.23
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 31567 0 0 0 16176 47 0 0 25 0 1 0 24440998 138072064 31273 1992294400 134512640 137138936 4286967232 18446744073709551615 134603198 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 33709 31273 191 642 0 33065 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 134836

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29882
/proc/meminfo: memFree=1671244/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=146824 CPUtime=222.22
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 34566 0 0 0 22164 58 0 0 25 0 1 0 24440998 150347776 34272 1992294400 134512640 137138936 4286967232 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 36706 34272 191 642 0 36062 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 146824

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29884
/proc/meminfo: memFree=1671120/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=146900 CPUtime=282.2
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 34588 0 0 0 28154 66 0 0 25 0 1 0 24440998 150425600 34294 1992294400 134512640 137138936 4286967232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 36725 34294 191 642 0 36081 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 146900

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29886
/proc/meminfo: memFree=1671120/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=146900 CPUtime=342.18
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 34588 0 0 0 34144 74 0 0 25 0 1 0 24440998 150425600 34294 1992294400 134512640 137138936 4286967232 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 36725 34294 191 642 0 36081 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 146900

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29886
/proc/meminfo: memFree=1658224/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=159764 CPUtime=402.16
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 37807 0 0 0 40132 84 0 0 25 0 1 0 24440998 163598336 37513 1992294400 134512640 137138936 4286967232 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 39941 37513 191 642 0 39297 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 159764

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29891
/proc/meminfo: memFree=1657356/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=159948 CPUtime=462.13
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 37849 0 0 0 46122 91 0 0 25 0 1 0 24440998 163786752 37555 1992294400 134512640 137138936 4286967232 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 39987 37555 191 642 0 39343 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 159948

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29893
/proc/meminfo: memFree=1657356/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=159932 CPUtime=522.11
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 37849 0 0 0 52113 98 0 0 25 0 1 0 24440998 163770368 37555 1992294400 134512640 137138936 4286967232 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 39983 37555 191 642 0 39339 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 159932

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29895
/proc/meminfo: memFree=1657356/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=159932 CPUtime=582.09
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 37851 0 0 0 58104 105 0 0 25 0 1 0 24440998 163770368 37557 1992294400 134512640 137138936 4286967232 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 39983 37557 191 642 0 39339 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 159932

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29897
/proc/meminfo: memFree=1657356/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=159932 CPUtime=642.09
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 37851 0 0 0 64097 112 0 0 25 0 1 0 24440998 163770368 37557 1992294400 134512640 137138936 4286967232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 39983 37557 191 642 0 39339 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 159932

[startup+702.301 s]

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

/proc/meminfo: memFree=1626976/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190092 CPUtime=1121.91
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45405 0 0 0 112012 179 0 0 25 0 1 0 24440998 194654208 45097 1992294400 134512640 137138936 4286967232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47523 45097 191 642 0 46879 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 190092

[startup+1182.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 29911
/proc/meminfo: memFree=1626852/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190016 CPUtime=1181.89
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45405 0 0 0 118003 186 0 0 25 0 1 0 24440998 194576384 45078 1992294400 134512640 137138936 4286967232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47504 45078 191 642 0 46860 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 190016

[startup+1242.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 29913
/proc/meminfo: memFree=1626852/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190072 CPUtime=1241.88
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45419 0 0 0 123995 193 0 0 25 0 1 0 24440998 194633728 45092 1992294400 134512640 137138936 4286967232 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47518 45092 191 642 0 46874 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 190072

[startup+1302.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 29913
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190276 CPUtime=1301.86
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45469 0 0 0 129985 201 0 0 25 0 1 0 24440998 194842624 45142 1992294400 134512640 137138936 4286967232 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47569 45142 191 642 0 46925 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 190276

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 29915
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190244 CPUtime=1361.84
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45469 0 0 0 135976 208 0 0 25 0 1 0 24440998 194809856 45135 1992294400 134512640 137138936 4286967232 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47561 45135 191 642 0 46917 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 190244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 29917
/proc/meminfo: memFree=1626604/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190244 CPUtime=1421.82
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45469 0 0 0 141965 217 0 0 25 0 1 0 24440998 194809856 45135 1992294400 134512640 137138936 4286967232 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47561 45135 191 642 0 46917 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 190244

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29919
/proc/meminfo: memFree=1626604/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190244 CPUtime=1481.8
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45469 0 0 0 147956 224 0 0 25 0 1 0 24440998 194809856 45135 1992294400 134512640 137138936 4286967232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47561 45135 191 642 0 46917 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 190244

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29921
/proc/meminfo: memFree=1626604/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190256 CPUtime=1541.78
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 153946 232 0 0 25 0 1 0 24440998 194822144 45138 1992294400 134512640 137138936 4286967232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47564 45138 191 642 0 46920 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 190256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29921
/proc/meminfo: memFree=1626604/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190236 CPUtime=1601.76
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 159936 240 0 0 25 0 1 0 24440998 194801664 45133 1992294400 134512640 137138936 4286967232 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47559 45133 191 642 0 46915 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 190236

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29923
/proc/meminfo: memFree=1626480/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190236 CPUtime=1661.73
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 165927 246 0 0 25 0 1 0 24440998 194801664 45133 1992294400 134512640 137138936 4286967232 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47559 45133 191 642 0 46915 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 190236

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29925
/proc/meminfo: memFree=1626480/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=190004 CPUtime=1721.72
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 171916 256 0 0 25 0 1 0 24440998 194564096 45075 1992294400 134512640 137138936 4286967232 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47501 45075 191 642 0 46857 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 190004

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189384 CPUtime=1781.69
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 177902 267 0 0 25 0 1 0 24440998 193929216 44920 1992294400 134512640 137138936 4286967232 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47346 44920 191 642 0 46702 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 189384

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 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1791.3
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 178861 269 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 189320

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1794.5
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 179181 269 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 189320

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1796.09
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 179340 269 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 189320

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1796.89
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 179419 270 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 189320

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1797.69
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 179499 270 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 189320

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1797.9
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 179520 270 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 189320

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29927
/proc/meminfo: memFree=1626728/2059040 swapFree=4136716/4192956
[pid=29875] ppid=29873 vsize=189320 CPUtime=1797.99
/proc/29875/stat : 29875 (bsolo_pb10) R 29873 29875 29765 0 -1 4202496 45472 0 0 0 179529 270 0 0 25 0 1 0 24440998 193863680 44904 1992294400 134512640 137138936 4286967232 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29875/statm: 47330 44904 191 642 0 46686 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 189320

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.02
CPU user time (s): 1795.3
CPU system time (s): 2.72458
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 190400

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

runsolver used 2.70659 second user time and 8.75267 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-14 06:06:34
IDJOB=2657444
IDBENCH=2238
IDSOLVER=1163
FILE ID=node012/2657444-1276488394
PBS_JOBID= 11173392
Free space on /tmp= 62504 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657444-1276488394/watcher-2657444-1276488394 -o /tmp/evaluation-result-2657444-1276488394/solver-2657444-1276488394 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657444-1276488394.opb

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

MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e
RANDOM SEED=174995277

node012.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.258
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.51
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.258
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:       1809172 kB
Buffers:         63728 kB
Cached:         107064 kB
SwapCached:       9404 kB
Active:         105852 kB
Inactive:        77464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1809172 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            4388 kB
Writeback:           0 kB
AnonPages:       10804 kB
Mapped:           9256 kB
Slab:            44752 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180712 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= 62500 MiB
End job on node012 at 2010-06-14 06:36:33