Trace number 2656583

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 CardSAT-25 1798.02 1798.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM5909a36352b34473abff2d7e1fe31c04
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.47
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 constraints17874
Number of constraints which are clauses17874
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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656583-1276487669.opb
0.00/0.00	c File size is 424375 bytes.
0.00/0.07	c Highest Coefficient sum: 450
0.00/0.07	c Parsing was ok!!
0.00/0.07	c Total parsing time: 0.068 s
0.00/0.07	c Var: 450 Constr: 17874 17874/0/0 Lit: 35748 Watch. Lit: 35748
0.00/0.07	c Obj. Vars: 450 (100 % of total variables)
0.19/0.23	c Pre-processing Time: 0.233 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    17874    35748    2    35748    5958      0      0 0.23
0.19/0.23	c Switching off lower bounding mode.
0.19/0.23	o -20
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0    450    17875    36198    2    35770    6958      1      0 0.24
0.29/0.37	c      100    450    17987    83904    4    35994    7654    113    318 0.31
0.29/0.37	o -21
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c      181    450    18080   123519    6    36201    6958    206    478 0.38
0.29/0.38	o -22
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c      185    450    18085   125673    6    36233    6958    211    483 0.38
0.29/0.39	o -23
6.29/6.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.37	c      194    450    18096   130370    7    36278    6958    222    494 0.39
6.29/6.37	c      294    450    18214   180124    9    36514    7654    340    617 0.48
6.29/6.37	c      544    450    18507   303933   16    37100    8420    633    780 0.70
6.29/6.37	c     1019    450    19070   541337   28    38248    9263   1196    887 1.15
6.29/6.37	c     1833    450    20017   940567   46    40142   10190   2143    927 1.98
6.29/6.37	c     3154    450    21525  1577176   73    43179   11210   3651    913 3.45
6.29/6.37	c     5235    450    23869  2567834  107    47867   12332   5995    829 6.31
6.29/6.37	o -24
753.16/753.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
753.16/753.46	c     5279    450    23920  2589458  108    47993    6958   6046    827 6.38
753.16/753.46	c     5379    450    24034  2637543  109    48221    7654   6160    826 6.51
753.16/753.46	c     5629    450    24322  2758661  113    48797    8420   6448    822 6.84
753.16/753.46	c     6105    450    24871  2989897  120    49895    9263   6997    800 7.63
753.16/753.46	c     6919    450    25792  3378333  130    51737   10190   7918    789 8.76
753.16/753.46	c     8239    450    27325  4023162  147    54825   11210   9451    756 10.89
753.16/753.46	c    10320    450    23706  2491736  105    47458   12332   5832    699 14.75
753.16/753.46	c    13543    450    27461  4071621  148    54990   13566   9587    635 21.30
753.16/753.46	c    18479    450    26013  3460800  133    52072   14923   8139    577 31.99
753.16/753.46	c    25986    450    26802  3790271  141    53670   16416   8928    506 51.34
753.16/753.46	c    37347    450    31499  5763914  182    63044   18058  13625    475 78.61
753.16/753.46	c    54491    450    32781  6298112  192    65608   19864  14907    406 134.13
753.16/753.46	c    80310    450    31447  5752568  182    62984   21851  13573    362 221.52
753.16/753.46	c   119143    450    31193  5636923  180    62410   24037  13319    315 377.63
753.16/753.46	c   177496    450    36116  7700930  213    72277   26441  18242    283 626.88
753.16/753.46	o -25
1797.95/1798.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.55	c   207451    450    40930  9741266  237    81980    6958  23056    275 753.23
1797.95/1798.55	c   207551    450    21469  1549534   72    42963    7654   3595    274 756.28
1797.95/1798.55	c   207801    450    21749  1667292   76    43523    8420   3875    274 756.59
1797.95/1798.55	c   208276    450    22289  1893959   84    44603    9263   4415    275 757.18
1797.95/1798.55	c   209089    450    23236  2291362   98    46497   10190   5362    275 758.24
1797.95/1798.55	c   210409    450    24753  2928301  118    49531   11210   6879    276 760.69
1797.95/1798.55	c   212490    450    27172  3944169  145    54369   12332   9298    278 764.21
1797.95/1798.55	c   215713    450    24261  2718949  112    48547   13566   6387    279 770.61
1797.95/1798.55	c   220649    450    29888  5084550  170    59801   14923  12014    282 780.24
1797.95/1798.55	c   228156    450    30578  5374128  175    61181   16416  12704    285 798.21
1797.95/1798.55	c   239517    450    26549  3673967  138    53123   18058   8675    289 826.54
1797.95/1798.55	c   256661    450    27474  4067846  148    54973   19864   9600    290 884.43
1797.95/1798.55	c   282480    450    37146  8109280  218    74317   21851  19272    291 970.37
1797.95/1798.55	c   321312    450    37188  8133752  218    74401   24037  19314    289 1111.09
1797.95/1798.55	c   379664    450    30475  5315106  174    60997   26441  12601    283 1337.38
1797.95/1798.55	c   467296    450    33977  6780562  199    68002   29086  16103    273 1711.17
1797.95/1798.55	c Resources Exceeded
1797.95/1798.55	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.95/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.55	c   42   491621  37848   537401    45906 11788823  28032    273 1798.00
1797.95/1798.55	c Objective: -25
1797.95/1798.55	s SATISFIABLE
1797.95/1798.55	c Total time: 1798 s

Verifier Data 

OK	-25

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30671
/proc/meminfo: memFree=1786888/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=11344 CPUtime=0
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 344 0 0 0 0 0 0 0 17 0 1 0 24370858 11616256 263 1992294400 134512640 137138936 4291889232 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 2836 264 176 642 0 2088 0

[startup+0.105856 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30671
/proc/meminfo: memFree=1786888/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=13896 CPUtime=0.1
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 1214 0 0 0 10 0 0 0 17 0 1 0 24370858 14229504 1029 1992294400 134512640 137138936 4291889232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 3474 1029 185 642 0 2830 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13896

[startup+0.201864 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30671
/proc/meminfo: memFree=1786888/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=13896 CPUtime=0.19
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 1214 0 0 0 18 1 0 0 17 0 1 0 24370858 14229504 1029 1992294400 134512640 137138936 4291889232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 3474 1029 185 642 0 2830 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13896

[startup+0.301874 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30671
/proc/meminfo: memFree=1786888/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=13840 CPUtime=0.29
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 1326 0 0 0 28 1 0 0 17 0 1 0 24370858 14172160 1033 1992294400 134512640 137138936 4291889232 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 3460 1033 192 642 0 2816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13840

[startup+0.701916 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30671
/proc/meminfo: memFree=1786888/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=16804 CPUtime=0.69
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 2067 0 0 0 67 2 0 0 17 0 1 0 24370858 17207296 1774 1992294400 134512640 137138936 4291889232 18446744073709551615 134618206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 4201 1774 192 642 0 3557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16804

[startup+1.501 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30672
/proc/meminfo: memFree=1777704/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=22244 CPUtime=1.49
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 3418 0 0 0 147 2 0 0 18 0 1 0 24370858 22777856 3125 1992294400 134512640 137138936 4291889232 18446744073709551615 136504435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 5561 3125 192 642 0 4917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22244

[startup+3.10116 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30672
/proc/meminfo: memFree=1770636/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=31576 CPUtime=3.09
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 5746 0 0 0 305 4 0 0 21 0 1 0 24370858 32333824 5453 1992294400 134512640 137138936 4291889232 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 7894 5453 192 642 0 7250 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31576

[startup+6.30149 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30672
/proc/meminfo: memFree=1753896/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=46156 CPUtime=6.29
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 9396 0 0 0 623 6 0 0 25 0 1 0 24370858 47263744 9103 1992294400 134512640 137138936 4291889232 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 11539 9103 192 642 0 10895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46156

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30672
/proc/meminfo: memFree=1726988/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=72172 CPUtime=12.69
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 15902 0 0 0 1259 10 0 0 25 0 1 0 24370858 73904128 15609 1992294400 134512640 137138936 4291889232 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 18043 15609 192 642 0 17399 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72172

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 30672
/proc/meminfo: memFree=1717812/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=79784 CPUtime=25.49
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 17802 0 0 0 2536 13 0 0 25 0 1 0 24370858 81698816 17509 1992294400 134512640 137138936 4291889232 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 19946 17509 192 642 0 19302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79784

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 30672
/proc/meminfo: memFree=1699460/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=97384 CPUtime=51.07
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 22203 0 0 0 5088 19 0 0 25 0 1 0 24370858 99721216 21910 1992294400 134512640 137138936 4291889232 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 24346 21910 192 642 0 23702 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97384

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 30674
/proc/meminfo: memFree=1682348/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=114448 CPUtime=102.27
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 26467 0 0 0 10199 28 0 0 25 0 1 0 24370858 117194752 26174 1992294400 134512640 137138936 4291889232 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 28612 26174 192 642 0 27968 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 114448

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30676
/proc/meminfo: memFree=1671932/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=124712 CPUtime=162.24
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 29037 0 0 0 16186 38 0 0 25 0 1 0 24370858 127705088 28744 1992294400 134512640 137138936 4291889232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 31178 28744 192 642 0 30534 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 124712

[startup+222.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30678
/proc/meminfo: memFree=1671560/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=125044 CPUtime=222.23
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 29121 0 0 0 22177 46 0 0 25 0 1 0 24370858 128045056 28828 1992294400 134512640 137138936 4291889232 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 31261 28828 192 642 0 30617 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 125044

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30678
/proc/meminfo: memFree=1660772/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=135836 CPUtime=282.2
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 31820 0 0 0 28166 54 0 0 25 0 1 0 24370858 139096064 31527 1992294400 134512640 137138936 4291889232 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 33959 31527 192 642 0 33315 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 135836

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30680
/proc/meminfo: memFree=1660648/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=135832 CPUtime=342.19
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 31820 0 0 0 34159 60 0 0 25 0 1 0 24370858 139091968 31527 1992294400 134512640 137138936 4291889232 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 33958 31527 192 642 0 33314 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 135832

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30691
/proc/meminfo: memFree=1657176/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=140304 CPUtime=402.16
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 32929 0 0 0 40148 68 0 0 25 0 1 0 24370858 143671296 32636 1992294400 134512640 137138936 4291889232 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 35076 32636 192 642 0 34432 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 140304

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30693
/proc/meminfo: memFree=1648248/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=147784 CPUtime=462.15
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 34808 0 0 0 46140 75 0 0 25 0 1 0 24370858 151330816 34515 1992294400 134512640 137138936 4291889232 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 36946 34515 192 642 0 36302 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 147784

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30695
/proc/meminfo: memFree=1648248/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=147784 CPUtime=522.13
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 34808 0 0 0 52132 81 0 0 25 0 1 0 24370858 151330816 34515 1992294400 134512640 137138936 4291889232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 36946 34515 192 642 0 36302 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 147784

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30695
/proc/meminfo: memFree=1648248/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=147828 CPUtime=582.11
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 34818 0 0 0 58125 86 0 0 25 0 1 0 24370858 151375872 34525 1992294400 134512640 137138936 4291889232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 36957 34525 192 642 0 36313 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 147828

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30697
/proc/meminfo: memFree=1648248/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=149488 CPUtime=642.09
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 35230 0 0 0 64115 94 0 0 25 0 1 0 24370858 153075712 34937 1992294400 134512640 137138936 4291889232 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 37372 34937 192 642 0 36728 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 149488

[startup+702.302 s]

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

/proc/meminfo: memFree=1634856/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160788 CPUtime=1121.95
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 112044 151 0 0 25 0 1 0 24370858 164646912 37773 1992294400 134512640 137138936 4291889232 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40197 37773 192 642 0 39553 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 160788

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30714
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160788 CPUtime=1181.94
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 118036 158 0 0 25 0 1 0 24370858 164646912 37773 1992294400 134512640 137138936 4291889232 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40197 37773 192 642 0 39553 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 160788

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 30716
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160788 CPUtime=1241.91
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 124028 163 0 0 25 0 1 0 24370858 164646912 37773 1992294400 134512640 137138936 4291889232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40197 37773 192 642 0 39553 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 160788

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30718
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160780 CPUtime=1301.9
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 130021 169 0 0 25 0 1 0 24370858 164638720 37771 1992294400 134512640 137138936 4291889232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40195 37771 192 642 0 39551 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 160780

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30720
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160780 CPUtime=1361.87
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 136010 177 0 0 25 0 1 0 24370858 164638720 37771 1992294400 134512640 137138936 4291889232 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40195 37771 192 642 0 39551 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 160780

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30722
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160780 CPUtime=1421.87
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 142003 184 0 0 25 0 1 0 24370858 164638720 37771 1992294400 134512640 137138936 4291889232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40195 37771 192 642 0 39551 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 160780

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30722
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160768 CPUtime=1481.84
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 147995 189 0 0 25 0 1 0 24370858 164626432 37768 1992294400 134512640 137138936 4291889232 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40192 37768 192 642 0 39548 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 160768

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30724
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160768 CPUtime=1541.83
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 153988 195 0 0 25 0 1 0 24370858 164626432 37768 1992294400 134512640 137138936 4291889232 18446744073709551615 136296981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40192 37768 192 642 0 39548 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 160768

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30726
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160768 CPUtime=1601.8
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 159978 202 0 0 25 0 1 0 24370858 164626432 37768 1992294400 134512640 137138936 4291889232 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40192 37768 192 642 0 39548 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 160768

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30728
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160768 CPUtime=1661.78
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 165971 207 0 0 25 0 1 0 24370858 164626432 37768 1992294400 134512640 137138936 4291889232 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40192 37768 192 642 0 39548 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 160768

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30730
/proc/meminfo: memFree=1634112/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=160768 CPUtime=1721.76
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 38084 0 0 0 171962 214 0 0 25 0 1 0 24370858 164626432 37768 1992294400 134512640 137138936 4291889232 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 40192 37768 192 642 0 39548 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 160768

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30730
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1781.75
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 177952 223 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 174824

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

[startup+1792.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30730
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1791.45
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 178921 224 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 174824

[startup+1795.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30732
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1794.64
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 179240 224 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 174824

[startup+1796.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30732
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1796.24
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 179399 225 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 174824

[startup+1797.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30732
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1797.04
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 179479 225 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 174824

[startup+1798 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30732
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1797.44
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 179519 225 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134552282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 174824

[startup+1798.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30732
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1797.84
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 179559 225 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134544892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 174824

[startup+1798.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30732
/proc/meminfo: memFree=1620472/2059040 swapFree=4135652/4192956
[pid=30671] ppid=30669 vsize=174824 CPUtime=1797.95
/proc/30671/stat : 30671 (bsolo_pb10) R 30669 30671 30646 0 -1 4202496 41595 0 0 0 179570 225 0 0 25 0 1 0 24370858 179019776 41279 1992294400 134512640 137138936 4291889232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30671/statm: 43706 41279 192 642 0 43062 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 174824

Child status: 0
Real time (s): 1798.57
CPU time (s): 1798.02
CPU user time (s): 1795.75
CPU system time (s): 2.26965
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 174824

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

runsolver used 2.66459 second user time and 8.79266 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-14 05:54:29
IDJOB=2656583
IDBENCH=2237
IDSOLVER=1162
FILE ID=node002/2656583-1276487669
PBS_JOBID= 11173394
Free space on /tmp= 62456 MiB

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

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

MD5SUM BENCH= 5909a36352b34473abff2d7e1fe31c04
RANDOM SEED=535407069

node002.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.242
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.48
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.242
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.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1787416 kB
Buffers:         57416 kB
Cached:         124804 kB
SwapCached:      10328 kB
Active:          96464 kB
Inactive:        98056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1787416 kB
SwapTotal:     4192956 kB
SwapFree:      4135652 kB
Dirty:            4564 kB
Writeback:           0 kB
AnonPages:       10792 kB
Mapped:           9132 kB
Slab:            55336 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180476 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= 62452 MiB
End job on node002 at 2010-06-14 06:24:28