Trace number 454776

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.17SAT (TO)-60 1800.12 1800.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_2.opb
MD5SUMe40e55fe30ea19a1cae02f7f820bc9fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -78
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint45
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products7835
Sum of products size15670

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454776-1178031008/instance-454776-1178031008.opb
0.00/0.00	c File size is 202610 bytes.
0.00/0.09	c Highest Coefficient sum: 500
0.00/0.09	c Parsing was ok!!
0.00/0.09	c Total parsing time: 0.094 s
0.09/0.12	c Var: 16170 Constr: 32340 16170/500/15670 Lit: 125360 Watch. Lit: 94020
0.09/0.12	c Obj. Vars: 500 (3.09215 % of total variables)
0.49/0.56	c Pre-processing Time: 0.565 s
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        0    500     7835    23505    3    15670    2611      0      0 0.56
0.49/0.57	c Switching off LPR mode.
0.49/0.57	o -56	0.568
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        0    500     7836    24005    3    15728    3611      1      0 0.57
0.49/0.57	o -57	0.572
1.09/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.15	c       10    500     7847    28921    3    15807    3611     12     17 0.57
1.09/1.15	c      110    500     7947    72956    9    16007    3973    112    183 0.60
1.09/1.15	c      361    500     8198   183401   22    16509    4371    363    534 0.68
1.09/1.15	c      837    500     8674   392484   45    17461    4809    839   1014 0.82
1.09/1.15	c     1650    500     9487   750159   79    19087    5290   1652   1436 1.15
1.09/1.15	o -58	1.152
1.09/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.18	c     1650    500     9488   750659   79    19147    3611   1653   1431 1.15
1.09/1.18	o -59	1.175
18.28/18.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.28/18.32	c     1719    500     9558   781472   81    19346    3611   1723   1461 1.18
18.28/18.32	c     1819    500     9658   825272   85    19546    3973   1823   1503 1.21
18.28/18.32	c     2069    500     9908   934799   94    20046    4371   2073   1575 1.31
18.28/18.32	c     2544    500    10383  1142764  110    20996    4809   2548   1702 1.49
18.28/18.32	c     3357    500    11196  1498611  133    22622    5290   3361   1739 1.93
18.28/18.32	c     4677    500    12516  2076189  165    25262    5820   4681   1742 2.68
18.28/18.32	c     6759    500    14598  2987149  204    29426    6403   6763   1747 3.87
18.28/18.32	c     9982    500    17821  4397940  246    35872    7044   9986   1785 5.59
18.28/18.32	c    14918    500    22757  6561038  288    45744    7749  14922   1370 10.89
18.28/18.32	o -60	18.315
1800.08/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.80	c    20071    500    27911  8817047  315    56112    3611  20076   1095 18.32
1800.08/1800.80	c    20171    500     9742   857702   88    19544    3973   1907   1055 19.11
1800.08/1800.80	c    20421    500     9992   966891   96    20044    4371   2157   1064 19.18
1800.08/1800.80	c    20896    500    10467  1174401  112    20994    4809   2632   1081 19.31
1800.08/1800.80	c    21710    500    11281  1529975  135    22622    5290   3446   1107 19.60
1800.08/1800.80	c    23030    500    12601  2106360  167    25262    5820   4766   1136 20.27
1800.08/1800.80	c    25111    500    14682  3015171  205    29424    6403   6847   1176 21.35
1800.08/1800.80	c    28334    500    17905  4422257  246    35870    7044  10070   1203 23.54
1800.08/1800.80	c    33272    500    22843  6578836  288    45746    7749  15008   1244 26.74
1800.08/1800.80	c    40779    500    30350  9856149  324    60760    8524  22515   1196 34.08
1800.08/1800.80	c    52141    500    21314  5908243  277    42688    9377  13479   1025 50.86
1800.08/1800.80	c    69285    500    17633  4301580  243    35326   10315   9798    857 80.79
1800.08/1800.80	c    95104    500    22155  6276492  283    44370   11347  14320    739 128.64
1800.08/1800.80	c   133937    500    17368  4184274  240    34796   12482   9533    650 206.04
1800.08/1800.80	c   192292    500    30967 10118237  326    61994   13731  23132    526 365.23
1800.08/1800.80	c   279925    500    26602  8218375  308    53264   15105  18767    412 678.52
1800.08/1800.80	c   411478    500    16076  3622847  225    32212   16616   8241    343 1198.27
1800.08/1800.80	c Caught signal: 15
1800.08/1800.81	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29
1800.08/1800.81	v -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.08/1800.81	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82
1800.08/1800.81	v -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107
1800.08/1800.81	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128
1800.08/1800.81	v -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.08/1800.81	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.08/1800.81	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191
1800.08/1800.81	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212
1800.08/1800.81	v -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.08/1800.81	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254
1800.08/1800.81	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.08/1800.81	v -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296
1800.08/1800.81	v -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317
1800.08/1800.81	v -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.08/1800.81	v -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359
1800.08/1800.81	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380
1800.08/1800.81	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.08/1800.81	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422
1800.08/1800.81	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443
1800.08/1800.81	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464
1800.08/1800.81	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 -x484 x485
1800.08/1800.81	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 x499 -x500
1800.08/1800.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.81	c   33   586660  96747   732035    20194  5417893  12359    325 1800.08
1800.08/1800.81	c Objective: -60
1800.08/1800.81	s SATISFIABLE
1800.08/1800.81	c Total time: 1800.08 s

Verifier Data (download as text)

OK	-60

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-454776-1178031008 -o ROOT/results/node25/solver-454776-1178031008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454776-1178031008/instance-454776-1178031008.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: 1.00 1.00 1.00 2/64 16833
/proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=19748 CPUtime=0
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 251017912 20221952 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 4937 329 278 324 0 3957 0

[startup+0.1045 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16833
/proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=8976 CPUtime=0.09
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 1686 0 0 0 9 0 0 0 18 0 1 0 251017912 9191424 1606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10461271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 2244 1606 300 324 0 1314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8976

[startup+0.201513 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16833
/proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=12820 CPUtime=0.19
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 2586 0 0 0 18 1 0 0 18 0 1 0 251017912 13127680 2506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 3205 2506 305 324 0 2275 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12820

[startup+0.301531 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16833
/proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=12820 CPUtime=0.29
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 2586 0 0 0 28 1 0 0 19 0 1 0 251017912 13127680 2506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 3205 2506 305 324 0 2275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12820

[startup+0.701599 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16833
/proc/meminfo: memFree=1890688/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=14980 CPUtime=0.69
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 3335 0 0 0 66 3 0 0 23 0 1 0 251017912 15339520 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 3745 3063 311 324 0 2815 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14980

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1873848/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=25900 CPUtime=1.49
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 6050 0 0 0 145 4 0 0 25 0 1 0 251017912 26521600 5778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 6475 5778 311 324 0 5545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25900

[startup+3.10201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1861560/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=41956 CPUtime=3.09
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 10088 0 0 0 304 5 0 0 25 0 1 0 251017912 42962944 9816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 10489 9816 311 324 0 9559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41956

[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1827960/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=74524 CPUtime=6.29
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 18214 0 0 0 620 9 0 0 25 0 1 0 251017912 76312576 17942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 18631 17942 311 324 0 17701 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74524

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1792064/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=104796 CPUtime=12.68
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 25786 0 0 0 1256 12 0 0 25 0 1 0 251017912 107311104 25514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 26199 25514 311 324 0 25269 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104796

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1771008/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=123192 CPUtime=25.48
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 30392 0 0 0 2533 15 0 0 25 0 1 0 251017912 126148608 30120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 30798 30120 311 324 0 29868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123192

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1744192/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=149924 CPUtime=51.06
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 37080 0 0 0 5087 19 0 0 25 0 1 0 251017912 153522176 36808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 37481 36808 311 324 0 36551 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 149924

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1739392/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=154660 CPUtime=102.25
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 38269 0 0 0 10205 20 0 0 25 0 1 0 251017912 158371840 37997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 38665 37997 311 324 0 37735 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 154660

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1728000/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=166084 CPUtime=162.23
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 41124 0 0 0 16201 22 0 0 25 0 1 0 251017912 170070016 40852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 41521 40852 311 324 0 40591 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 166084

[startup+222.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1727680/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=166368 CPUtime=222.21
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 41194 0 0 0 22199 22 0 0 25 0 1 0 251017912 170360832 40922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 41592 40922 311 324 0 40662 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 166368

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1721536/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=172456 CPUtime=282.19
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 42717 0 0 0 28196 23 0 0 25 0 1 0 251017912 176594944 42445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 43114 42445 311 324 0 42184 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 172456

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1721216/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=172712 CPUtime=342.17
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 42785 0 0 0 34194 23 0 0 25 0 1 0 251017912 176857088 42513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 43178 42513 311 324 0 42248 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 172712

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1714432/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=179428 CPUtime=402.14
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44461 0 0 0 40191 23 0 0 25 0 1 0 251017912 183734272 44189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 44857 44189 311 324 0 43927 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 179428

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1714560/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=179428 CPUtime=462.12
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44461 0 0 0 46189 23 0 0 25 0 1 0 251017912 183734272 44189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 44857 44189 311 324 0 43927 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 179428

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1714176/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=179804 CPUtime=522.1
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44555 0 0 0 52187 23 0 0 25 0 1 0 251017912 184119296 44283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 44951 44283 311 324 0 44021 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 179804

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1714752/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=179036 CPUtime=582.08
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44555 0 0 0 58184 24 0 0 25 0 1 0 251017912 183332864 44094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 44759 44094 311 324 0 43829 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 179036

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16834
/proc/meminfo: memFree=1714816/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=179036 CPUtime=642.06
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 44555 0 0 0 64182 24 0 0 25 0 1 0 251017912 183332864 44094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 44759 44094 311 324 0 43829 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 179036


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

[startup+882.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706176/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=187520 CPUtime=881.89
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46675 0 0 0 88164 25 0 0 25 0 1 0 251017912 192020480 46214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46880 46214 311 324 0 45950 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 187520

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706752/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=186896 CPUtime=941.86
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46675 0 0 0 94161 25 0 0 25 0 1 0 251017912 191381504 46059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46724 46059 311 324 0 45794 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 186896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706816/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=186896 CPUtime=1001.84
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46675 0 0 0 100159 25 0 0 25 0 1 0 251017912 191381504 46059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46724 46059 311 324 0 45794 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 186896

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706496/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=187324 CPUtime=1061.82
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46780 0 0 0 106157 25 0 0 25 0 1 0 251017912 191819776 46164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46831 46164 311 324 0 45901 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 187324

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706432/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=187388 CPUtime=1121.8
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46796 0 0 0 112155 25 0 0 25 0 1 0 251017912 191885312 46180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46847 46180 311 324 0 45917 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 187388

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706432/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=187388 CPUtime=1181.78
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46796 0 0 0 118153 25 0 0 25 0 1 0 251017912 191885312 46180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46847 46180 311 324 0 45917 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 187388

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1706240/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=187492 CPUtime=1241.76
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 46823 0 0 0 124150 26 0 0 25 0 1 0 251017912 191991808 46207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 46873 46207 311 324 0 45943 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 187492

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697856/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195900 CPUtime=1301.74
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48926 0 0 0 130148 26 0 0 25 0 1 0 251017912 200601600 48310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48975 48310 311 324 0 48045 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 195900

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195948 CPUtime=1361.71
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48938 0 0 0 136145 26 0 0 25 0 1 0 251017912 200650752 48322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48987 48322 311 324 0 48057 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 195948

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195948 CPUtime=1421.7
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48938 0 0 0 142144 26 0 0 25 0 1 0 251017912 200650752 48322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48987 48322 311 324 0 48057 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 195948

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195900 CPUtime=1481.67
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48938 0 0 0 148141 26 0 0 25 0 1 0 251017912 200601600 48310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48975 48310 311 324 0 48045 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 195900

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697728/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195996 CPUtime=1541.66
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48962 0 0 0 154139 27 0 0 25 0 1 0 251017912 200699904 48334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48999 48334 311 324 0 48069 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 195996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697728/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195996 CPUtime=1601.64
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48962 0 0 0 160137 27 0 0 25 0 1 0 251017912 200699904 48334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48999 48334 311 324 0 48069 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 195996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1698112/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195496 CPUtime=1661.62
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 48962 0 0 0 166135 27 0 0 25 0 1 0 251017912 200187904 48209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48874 48209 311 324 0 47944 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 195496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697856/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195936 CPUtime=1721.6
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 172133 27 0 0 25 0 1 0 251017912 200638464 48319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48984 48319 311 324 0 48054 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 195936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1697792/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195936 CPUtime=1781.57
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 178130 27 0 0 25 0 1 0 251017912 200638464 48319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48984 48319 311 324 0 48054 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 195936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1698112/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195424 CPUtime=1800.08
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 179981 27 0 0 25 0 1 0 251017912 200114176 48191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48856 48191 311 324 0 47926 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 195424

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17032
/proc/meminfo: memFree=1698112/2055920 swapFree=4182940/4192956
[pid=16833] ppid=16831 vsize=195424 CPUtime=1800.08
/proc/16833/stat : 16833 (bsolo3.0.17) R 16831 16833 29729 0 -1 4194304 49072 0 0 0 179981 27 0 0 25 0 1 0 251017912 200114176 48191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16833/statm: 48856 48191 311 324 0 47926 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 195424

Child status: 15
Real time (s): 1800.84
CPU time (s): 1800.12
CPU user time (s): 1799.81
CPU system time (s): 0.305953
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 195996

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

runsolver used 1.46478 second user time and 3.50947 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  1 14:50:08 UTC 2007

IDJOB= 454776
IDBENCH= 48219
IDSOLVER= 199
FILE ID= node25/454776-1178031008

PBS_JOBID= 4728381

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454776-1178031008/instance-454776-1178031008.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-454776-1178031008 -o ROOT/results/node25/solver-454776-1178031008 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454776-1178031008/instance-454776-1178031008.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  e40e55fe30ea19a1cae02f7f820bc9fe

RANDOM SEED= 884980216

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1891104 kB
Buffers:         26160 kB
Cached:          67428 kB
SwapCached:       3856 kB
Active:          61412 kB
Inactive:        45492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891104 kB
SwapTotal:     4192956 kB
SwapFree:      4182940 kB
Dirty:            6780 kB
Writeback:           0 kB
Mapped:          18968 kB
Slab:            43952 kB
Committed_AS:  6203744 kB
PageTables:       1488 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= 66558 MiB

End job on node25 on Tue May  1 15:20:11 UTC 2007