Trace number 353384

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, and are wall clock time (not CPU 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.0.16SAT-25 1800.04 1800.58

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 benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark131.453
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/353384-1176664454/instance-353384-1176664454.opb
0.00/0.00	c File size is 422586 bytes.
0.05/0.07	c Highest Coefficient sum: 450
0.05/0.07	c Parsing was ok!!
0.05/0.07	c Total parsing time: 0.071 s
0.05/0.08	c Var: 450 Constr: 17831 17831/0/0 Lit: 35662 Watch. Lit: 35662
0.05/0.08	c Obj. Vars: 450 (100 % of total variables)
0.19/0.22	c Pre-processing Time: 0.223 s
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0    450    17831    35662    2    35662    5943      0      0 0.22
0.19/0.22	c Switching off LPR mode.
0.19/0.22	o -22	0.226
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.228
0.48/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.52	c        1    450    17834    36988    2    35713    6943      3      4 0.23
0.48/0.52	c      101    450    17934    79320    4    35913    7638    103    397 0.25
0.48/0.52	c      351    450    18184   185076   10    36413    8402    353   1076 0.33
0.48/0.52	c      826    450    18659   386063   20    37363    9243    828   1776 0.47
0.48/0.52	o -24	0.515
71.36/71.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.36/71.44	c     1004    450    18838   461901   24    37745    6943   1007   1945 0.52
71.36/71.44	c     1105    450    18939   504550   26    37947    7638   1108   2012 0.55
71.36/71.44	c     1356    450    19190   610356   31    38449    8402   1359   2183 0.62
71.36/71.44	c     1832    450    19666   811639   41    39401    9243   1835   2327 0.79
71.36/71.44	c     2645    450    20479  1154625   56    41027   10168   2648   2404 1.10
71.36/71.44	c     3965    450    21799  1709993   78    43667   11185   3968   1745 2.27
71.36/71.44	c     6047    450    23881  2588216  108    47831   12304   6050   1268 4.77
71.36/71.44	c     9270    450    27104  3947018  145    54277   13535   9273    991 9.35
71.36/71.44	c    14207    450    24842  2992118  120    49708   14889   7011    842 16.87
71.36/71.44	c    21713    450    32348  6161007  190    64720   16378  14517    752 28.85
71.36/71.44	c    33074    450    26465  3677498  138    52954   18016   8634    464 71.26
71.36/71.44	o -25	71.413
1799.96/1800.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.54	c    33405    450    26797  3817710  142    53643    6943   8966    467 71.41
1799.96/1800.54	c    33505    450    21404  1541447   72    42833    7638   3573    466 71.78
1799.96/1800.54	c    33756    450    21655  1646971   76    43335    8402   3824    469 71.89
1799.96/1800.54	c    34231    450    22130  1846812   83    44285    9243   4299    473 72.35
1799.96/1800.54	c    35044    450    22943  2188964   95    45911   10168   5112    480 72.90
1799.96/1800.54	c    36365    450    24264  2745299  113    48553   11185   6433    494 73.58
1799.96/1800.54	c    38446    450    26345  3620723  137    52715   12304   8514    512 75.06
1799.96/1800.54	c    41669    450    29568  4974798  168    59161   13535  11737    537 77.59
1799.96/1800.54	c    46605    450    27308  4020823  147    54641   14889   9477    524 88.84
1799.96/1800.54	c    54111    450    26949  3871185  143    53923   16378   9118    471 114.69
1799.96/1800.54	c    65472    450    29691  5027888  169    59407   18016  11860    455 143.77
1799.96/1800.54	c    82616    450    27947  4282631  153    55919   19818  10116    336 245.74
1799.96/1800.54	c   108435    450    33092  6451663  194    66209   21800  15261    272 397.27
1799.96/1800.54	c   147268    450    37906  8478627  223    75837   23981  20075    255 576.14
1799.96/1800.54	c   205620    450    29467  4929011  167    58959   26380  11636    201 1020.69
1799.96/1800.54	c   293253    450    39015  8952105  229    78055   29019  21184    190 1542.10
1799.96/1800.54	c Resources Exceeded
1799.96/1800.54	v -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430
1799.96/1800.54	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1799.96/1800.54	v -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1799.96/1800.54	v -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1799.96/1800.54	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346
1799.96/1800.54	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325
1799.96/1800.54	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304
1799.96/1800.54	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1799.96/1800.54	v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262
1799.96/1800.54	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1799.96/1800.54	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220
1799.96/1800.54	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199
1799.96/1800.54	v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178
1799.96/1800.54	v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1799.96/1800.54	v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1799.96/1800.54	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1799.96/1800.54	v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93
1799.96/1800.54	v -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
1799.96/1800.54	v -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
1799.96/1800.54	v -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
1799.96/1800.54	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1799.96/1800.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.54	c   32   329523  26332   361273    38800  8843367  20969    183 1800.01
1799.96/1800.54	c Objective: -25
1799.96/1800.54	s SATISFIABLE
1799.96/1800.54	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-25

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node47/watcher-353384-1176664454 -o ROOT/results/node47/solver-353384-1176664454 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353384-1176664454/instance-353384-1176664454.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.81 1.04 1.05 3/64 15303
/proc/meminfo: memFree=1832168/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=12152 CPUtime=0
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 21290796 12443648 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 3038 335 281 324 0 2003 0

[startup+0.0581659 s]
/proc/loadavg: 0.81 1.04 1.05 3/64 15303
/proc/meminfo: memFree=1832168/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=5716 CPUtime=0.05
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 786 0 0 0 5 0 0 0 18 0 1 0 21290796 5853184 754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134528225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 1429 755 361 324 0 394 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5716

[startup+0.10117 s]
/proc/loadavg: 0.81 1.04 1.05 3/64 15303
/proc/meminfo: memFree=1832168/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=6636 CPUtime=0.09
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 1152 0 0 0 9 0 0 0 18 0 1 0 21290796 6795264 1016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 1659 1016 304 324 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636

[startup+0.301191 s]
/proc/loadavg: 0.81 1.04 1.05 3/64 15303
/proc/meminfo: memFree=1832168/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=8064 CPUtime=0.29
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 1635 0 0 0 28 1 0 0 19 0 1 0 21290796 8257536 1391 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 2016 1391 312 324 0 1085 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8064

[startup+0.701248 s]
/proc/loadavg: 0.81 1.04 1.05 3/64 15303
/proc/meminfo: memFree=1832168/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=15376 CPUtime=0.69
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 3463 0 0 0 67 2 0 0 23 0 1 0 21290796 15745024 3219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10960526 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15303/statm: 3844 3219 312 324 0 2913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15376

[startup+1.50132 s]
/proc/loadavg: 0.83 1.04 1.05 2/65 15304
/proc/meminfo: memFree=1815968/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=23988 CPUtime=1.48
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 5619 0 0 0 145 3 0 0 25 0 1 0 21290796 24563712 5375 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 5997 5375 312 324 0 5066 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23988

[startup+3.1015 s]
/proc/loadavg: 0.83 1.04 1.05 2/65 15304
/proc/meminfo: memFree=1808352/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=32576 CPUtime=3.08
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 7762 0 0 0 304 4 0 0 25 0 1 0 21290796 33357824 7518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 8144 7518 312 324 0 7213 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32576

[startup+6.30185 s]
/proc/loadavg: 0.84 1.04 1.05 2/65 15304
/proc/meminfo: memFree=1792032/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=47480 CPUtime=6.28
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 11503 0 0 0 622 6 0 0 25 0 1 0 21290796 48619520 11259 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 11870 11259 312 324 0 10939 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47480

[startup+12.7016 s]
/proc/loadavg: 0.85 1.04 1.05 2/65 15304
/proc/meminfo: memFree=1763304/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=75044 CPUtime=12.67
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 18368 0 0 0 1257 10 0 0 25 0 1 0 21290796 76845056 18124 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 18761 18124 312 324 0 17830 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 75044

[startup+25.502 s]
/proc/loadavg: 0.87 1.04 1.05 2/65 15304
/proc/meminfo: memFree=1752616/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=83076 CPUtime=25.47
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 20389 0 0 0 2534 13 0 0 25 0 1 0 21290796 85069824 20145 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 20769 20145 312 324 0 19838 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 83076

[startup+51.1018 s]
/proc/loadavg: 0.92 1.03 1.05 2/65 15304
/proc/meminfo: memFree=1737064/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=98648 CPUtime=51.07
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 24284 0 0 0 5089 18 0 0 25 0 1 0 21290796 101015552 24040 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 24662 24040 312 324 0 23731 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98648

[startup+102.305 s]
/proc/loadavg: 0.96 1.03 1.04 2/65 15304
/proc/meminfo: memFree=1737064/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=98648 CPUtime=102.25
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 24298 0 0 0 10205 20 0 0 25 0 1 0 21290796 101015552 24054 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 24662 24054 312 324 0 23731 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 98648

[startup+162.301 s]
/proc/loadavg: 0.98 1.02 1.04 2/65 15304
/proc/meminfo: memFree=1730792/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=105432 CPUtime=162.24
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 25976 0 0 0 16198 26 0 0 25 0 1 0 21290796 107962368 25732 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 26358 25732 312 324 0 25427 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 105432

[startup+222.302 s]
/proc/loadavg: 0.99 1.01 1.03 2/65 15304
/proc/meminfo: memFree=1728296/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=107340 CPUtime=222.22
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 26466 0 0 0 22194 28 0 0 25 0 1 0 21290796 109916160 26222 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 26835 26222 312 324 0 25904 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 107340

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.03 2/65 15304
/proc/meminfo: memFree=1718632/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=117000 CPUtime=282.2
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 28878 0 0 0 28188 32 0 0 25 0 1 0 21290796 119808000 28632 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 29250 28632 312 324 0 28319 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 117000

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 15304
/proc/meminfo: memFree=1718568/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=117000 CPUtime=342.18
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 28878 0 0 0 34185 33 0 0 25 0 1 0 21290796 119808000 28632 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 29250 28632 312 324 0 28319 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 117000

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/65 15304
/proc/meminfo: memFree=1718504/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=117068 CPUtime=402.16
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 28895 0 0 0 40180 36 0 0 25 0 1 0 21290796 119877632 28649 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 29267 28649 312 324 0 28336 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 117068

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/65 15304
/proc/meminfo: memFree=1707624/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=128012 CPUtime=462.14
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 31633 0 0 0 46173 41 0 0 25 0 1 0 21290796 131084288 31387 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 32003 31387 312 324 0 31072 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 128012

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 15304
/proc/meminfo: memFree=1707560/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=128012 CPUtime=522.13
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 31633 0 0 0 52169 44 0 0 25 0 1 0 21290796 131084288 31387 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 32003 31387 312 324 0 31072 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 128012

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 15304
/proc/meminfo: memFree=1701480/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=135048 CPUtime=582.11
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 33400 0 0 0 58163 48 0 0 25 0 1 0 21290796 138289152 33154 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 33762 33154 312 324 0 32831 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 135048

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 15304
/proc/meminfo: memFree=1695592/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=139896 CPUtime=642.1
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 34606 0 0 0 64158 52 0 0 25 0 1 0 21290796 143253504 34360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 34974 34360 312 324 0 34043 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 139896


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

/proc/meminfo: memFree=1695464/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=140000 CPUtime=1061.97
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 34663 0 0 0 106132 65 0 0 25 0 1 0 21290796 143360000 34386 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 35000 34386 312 324 0 34069 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 140000

[startup+1122.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 15304
/proc/meminfo: memFree=1682408/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=152984 CPUtime=1121.96
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37911 0 0 0 112125 71 0 0 25 0 1 0 21290796 156655616 37634 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38246 37634 312 324 0 37315 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 152984

[startup+1182.3 s]
/proc/loadavg: 1.19 1.08 1.01 2/65 15304
/proc/meminfo: memFree=1682408/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=152984 CPUtime=1181.94
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37911 0 0 0 118120 74 0 0 25 0 1 0 21290796 156655616 37634 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38246 37634 312 324 0 37315 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 152984

[startup+1242.3 s]
/proc/loadavg: 1.20 1.10 1.02 2/65 15304
/proc/meminfo: memFree=1682344/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=153076 CPUtime=1241.92
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37934 0 0 0 124117 75 0 0 25 0 1 0 21290796 156749824 37657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10950529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38269 37657 312 324 0 37338 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 153076

[startup+1302.3 s]
/proc/loadavg: 1.07 1.08 1.01 2/65 15304
/proc/meminfo: memFree=1682216/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=153180 CPUtime=1301.91
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37961 0 0 0 130112 79 0 0 25 0 1 0 21290796 156856320 37684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38295 37684 312 324 0 37364 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 153180

[startup+1362.3 s]
/proc/loadavg: 1.02 1.06 1.00 2/65 15304
/proc/meminfo: memFree=1682152/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=153180 CPUtime=1361.89
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37961 0 0 0 136108 81 0 0 25 0 1 0 21290796 156856320 37684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38295 37684 312 324 0 37364 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 153180

[startup+1422.31 s]
/proc/loadavg: 1.01 1.05 1.00 2/65 15304
/proc/meminfo: memFree=1682216/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=153180 CPUtime=1421.88
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37961 0 0 0 142104 84 0 0 25 0 1 0 21290796 156856320 37684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38295 37684 312 324 0 37364 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 153180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/65 15304
/proc/meminfo: memFree=1682152/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=153180 CPUtime=1481.85
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37964 0 0 0 148099 86 0 0 25 0 1 0 21290796 156856320 37687 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38295 37687 312 324 0 37364 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 153180

[startup+1542.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 15304
/proc/meminfo: memFree=1682152/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=153180 CPUtime=1541.84
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 37964 0 0 0 154096 88 0 0 25 0 1 0 21290796 156856320 37687 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 38295 37687 312 324 0 37364 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 153180

[startup+1602.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167448 CPUtime=1601.81
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 160088 93 0 0 25 0 1 0 21290796 171466752 41253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41862 41253 312 324 0 40931 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 167448

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167448 CPUtime=1661.8
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 166085 95 0 0 25 0 1 0 21290796 171466752 41253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10950485 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41862 41253 312 324 0 40931 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 167448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1721.78
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 172082 96 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 167392

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1781.77
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 178079 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 167392

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1791.36
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 179038 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550918 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 167392

[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1794.56
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 179358 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 167392

[startup+1798.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1797.76
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 179678 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 167392

[startup+1799.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1799.36
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 179838 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 167392

[startup+1800.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1799.76
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 179878 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (KiB) 167392

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15304
/proc/meminfo: memFree=1667880/2055920 swapFree=4183704/4192956
[pid=15303] ppid=15301 vsize=167392 CPUtime=1799.96
/proc/15303/stat : 15303 (bsolo3.0.16) R 15301 15303 15243 0 -1 4194304 41530 0 0 0 179898 98 0 0 25 0 1 0 21290796 171409408 41242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15303/statm: 41848 41242 312 324 0 40917 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 167392

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.04
CPU user time (s): 1799.03
CPU system time (s): 1.01285
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 167564

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

runsolver used 1.25881 second user time and 3.67044 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Sun Apr 15 19:14:14 UTC 2007

IDJOB= 353384
IDBENCH= 2238
IDSOLVER= 163
FILE ID= node47/353384-1176664454

PBS_JOBID= 4559924

Free space on /tmp= 66559 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353384-1176664454/instance-353384-1176664454.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-353384-1176664454 -o ROOT/results/node47/solver-353384-1176664454 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353384-1176664454/instance-353384-1176664454.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7bb05c60facd55e51c4cfcaa0e217e6e

RANDOM SEED= 42829117

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.221
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.221
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1832640 kB
Buffers:         29248 kB
Cached:         140180 kB
SwapCached:       3564 kB
Active:          56068 kB
Inactive:       123312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832640 kB
SwapTotal:     4192956 kB
SwapFree:      4183704 kB
Dirty:            4980 kB
Writeback:           0 kB
Mapped:          15056 kB
Slab:            29884 kB
Committed_AS:  2381608 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB

End job on node47 on Sun Apr 15 19:44:15 UTC 2007