Trace number 3293241

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 NameAnswerCPU timeWall clock time
Black Hole SAT 2011-03-08SAT 0.032994 0.033458

General information on the benchmark

NameSAT02/industrial/biere/
dinphil/dp04s04.shuffled.cnf
MD5SUM4d2a62f94bb1301ff912d55015cdc3d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.002999
Satisfiable
(Un)Satisfiability was proved
Number of variables1075
Number of clauses3152
Sum of the clauses size7442
Maximum clause length5
Minimum clause length1
Number of clauses of size 110
Number of clauses of size 21996
Number of clauses of size 31145
Number of clauses of size 40
Number of clauses of size 51
Number of clauses of size over 50

Solver Data 

0.00/0.03	s SATISFIABLE
0.00/0.03	v 107 -886 -276 -188 101 -1016 -104 -801 392 -126 
0.00/0.03	v 942 947 -57 -423 835 439 -646 212 -570 -710 
0.00/0.03	v 286 218 925 511 -144 -950 -909 -1052 -817 870 
0.00/0.03	v 451 -320 -861 403 575 -779 555 625 -411 -135 
0.00/0.03	v -953 315 -28 58 538 415 -248 133 770 658 
0.00/0.03	v 961 637 487 337 -413 -176 372 235 628 -697 
0.00/0.03	v 617 -64 -690 -512 -692 479 -267 -791 -193 448 
0.00/0.03	v 943 -363 171 -125 255 -289 -31 -92 -221 -523 
0.00/0.03	v -679 492 -239 510 -774 -140 352 898 122 -1030 
0.00/0.03	v -85 695 -896 -220 -671 -261 -336 249 469 -417 
0.00/0.03	v -812 360 227 259 966 271 -1040 -569 -787 937 
0.00/0.03	v -670 -882 813 -68 -543 460 960 -562 576 -989 
0.00/0.03	v -82 147 -781 -703 -819 745 605 -369 250 999 
0.00/0.03	v 478 12 316 -366 -283 -398 236 771 686 379 
0.00/0.03	v 857 -994 -123 946 930 719 438 782 -295 111 
0.00/0.03	v -1055 1008 -843 39 -163 427 27 -892 347 -419 
0.00/0.03	v 421 -405 154 -129 984 -1 -632 452 1022 361 
0.00/0.03	v -428 440 333 -162 -1058 -572 195 -434 940 -631 
0.00/0.03	v 1026 732 -1065 592 -485 192 893 14 -519 -86 
0.00/0.03	v -328 683 399 724 354 957 831 349 7 53 
0.00/0.03	v -868 416 606 -142 260 -977 672 1014 577 -806 
0.00/0.03	v -866 -996 -582 245 -338 -166 -258 721 -116 120 
0.00/0.03	v -731 513 720 -726 -973 -1033 -889 -1064 -105 -103 
0.00/0.03	v 194 740 568 -881 -908 -310 -332 232 -663 489 
0.00/0.03	v -906 -912 279 539 777 180 924 -755 -822 693 
0.00/0.03	v -493 -536 431 -549 902 -78 918 -790 -824 -788 
0.00/0.03	v -76 -282 -409 -987 678 481 173 1035 793 -1070 
0.00/0.03	v -51 23 -43 -150 -706 326 665 217 301 -880 
0.00/0.03	v 209 603 680 -191 -69 -13 497 -45 -559 5 
0.00/0.03	v 252 -556 56 17 -461 342 -401 -688 94 480 
0.00/0.03	v -10 -200 381 -44 593 -547 -650 -106 -121 -339 
0.00/0.03	v 803 -348 177 -275 161 -841 738 1027 802 -285 
0.00/0.03	v -667 854 422 927 -158 -269 642 869 -412 210 
0.00/0.03	v -750 -521 507 -251 -324 141 230 90 982 -463 
0.00/0.03	v -444 299 -1041 826 -585 964 -579 -901 993 -832 
0.00/0.03	v -441 -313 -666 872 814 273 -153 567 -136 -923 
0.00/0.03	v -1053 -181 939 897 -522 198 588 1005 117 -397 
0.00/0.03	v -464 334 903 811 362 33 -266 -516 319 -296 
0.00/0.03	v -508 -580 -322 345 -26 -376 847 -583 772 1006 
0.00/0.03	v 281 -610 -304 619 -752 -378 815 935 368 981 
0.00/0.03	v -845 -578 -997 -718 -74 -589 -137 152 985 1024 
0.00/0.03	v 170 -736 143 382 -624 201 715 -980 1029 -465 
0.00/0.03	v -827 551 615 -838 52 -1009 -113 -309 900 -388 
0.00/0.03	v 1066 -676 554 81 -394 837 746 701 -98 -1057 
0.00/0.03	v 656 -823 -430 747 792 694 864 -875 622 -80 
0.00/0.03	v -302 167 -1049 -151 800 846 443 784 995 -968 
0.00/0.03	v 500 545 795 -553 -46 744 -22 878 -988 640 
0.00/0.03	v 380 963 -219 100 359 293 -696 -970 990 298 
0.00/0.03	v -652 -351 -41 -684 -948 647 314 -727 -91 -645 
0.00/0.03	v -926 197 183 -424 -312 244 548 1032 -729 462 
0.00/0.03	v -331 -614 -292 998 -816 -532 -393 627 -905 -172 
0.00/0.03	v 524 -910 705 -436 602 -237 -89 714 -858 616 
0.00/0.03	v -15 -234 -805 929 -739 449 -601 -317 402 623 
0.00/0.03	v 829 -340 -734 -341 -241 -280 -490 783 648 871 
0.00/0.03	v 447 873 1062 -29 -786 681 -115 -228 -599 -156 
0.00/0.03	v 62 -202 160 1075 -486 114 65 60 920 134 
0.00/0.03	v -264 -876 365 -1073 -702 -972 862 -1036 -297 1044 
0.00/0.03	v -820 535 318 -215 159 -799 -595 196 -189 -825 
0.00/0.03	v -1059 -446 406 -919 1045 -941 484 -1003 -253 42 
0.00/0.03	v 37 662 -358 1067 528 -344 -96 -856 633 877 
0.00/0.03	v -965 -426 958 206 -303 865 -969 330 384 470 
0.00/0.03	v -343 -387 584 -654 -222 -268 -609 442 -899 454 
0.00/0.03	v 735 -3 -185 636 277 -748 -956 -931 -459 -16 
0.00/0.03	v -99 243 -1051 571 471 -851 911 591 709 175 
0.00/0.03	v -711 -1000 -146 -759 -395 -467 169 66 -168 -77 
0.00/0.03	v -284 -61 494 165 891 949 -370 -673 110 -761 
0.00/0.03	v -272 1047 -238 -457 482 -954 691 922 -466 698 
0.00/0.03	v -187 794 300 853 959 639 -630 -410 766 -991 
0.00/0.03	v -509 -743 821 -649 -976 -913 742 -867 758 1019 
0.00/0.03	v -84 -1013 184 756 -833 840 246 425 -287 488 
0.00/0.03	v 214 483 327 149 274 -32 -1054 1021 974 -432 
0.00/0.03	v -49 -50 1046 178 -375 728 1056 -608 1043 757 
0.00/0.03	v 437 1037 -749 -1060 453 -951 932 109 -762 -530 
0.00/0.03	v 895 928 -557 674 818 -573 -664 -186 -270 433 
0.00/0.03	v 626 -71 514 594 945 842 88 371 -164 944 
0.00/0.03	v 242 208 290 708 278 40 -669 859 -850 -21 
0.00/0.03	v -863 -776 179 -917 -659 767 -329 -754 25 -560 
0.00/0.03	v 874 70 476 -564 -849 -682 -35 542 -1072 207 
0.00/0.03	v -546 -496 -30 689 38 -501 611 -131 -506 288 
0.00/0.03	v -247 -47 216 515 -155 1010 -396 18 -20 775 
0.00/0.03	v -661 -675 -224 -75 -118 844 723 335 -798 -254 
0.00/0.03	v -311 475 225 -263 620 -223 450 1025 -834 -534 
0.00/0.03	v -769 -713 768 -59 364 -737 -741 598 -979 138 
0.00/0.03	v 377 733 796 95 -807 -456 -257 527 1004 -157 
0.00/0.03	v -587 -533 -63 -894 -294 730 -4 -199 11 1017 
0.00/0.03	v -668 468 -604 -367 651 -418 -653 -848 55 685 
0.00/0.03	v 435 -607 537 -72 797 -391 353 -307 -229 967 
0.00/0.03	v -971 884 -19 -638 -54 -753 -1061 505 717 -550 
0.00/0.03	v -975 -955 9 -934 355 -2 -722 -1071 -211 -231 
0.00/0.03	v 174 764 634 836 265 -888 936 -635 -657 879 
0.00/0.03	v 540 600 97 -477 -887 -472 541 190 386 -323 
0.00/0.03	v 707 -914 1007 1038 789 -852 -529 1034 563 321 
0.00/0.03	v 517 -1050 751 -1042 712 -629 458 -763 978 -1011 
0.00/0.03	v -504 325 -643 581 -1074 203 839 79 986 -855 
0.00/0.03	v -445 525 760 -373 -641 213 -108 -612 -613 597 
0.00/0.03	v -429 262 67 407 716 256 -102 -474 700 -962 
0.00/0.03	v -498 128 -1048 -1068 -655 809 -596 566 -383 -518 
0.00/0.03	v 385 420 -921 1012 -240 -590 -810 1023 983 -808 
0.00/0.03	v -374 558 414 660 1018 -357 1028 -400 1039 -233 
0.00/0.03	v -830 305 -112 -765 -860 -48 -36 389 938 -621 
0.00/0.03	v -145 1020 -346 124 -119 -904 139 780 -725 -531 
0.00/0.03	v -6 93 699 -503 804 -773 704 677 -205 -1069 
0.00/0.03	v 1001 -915 -952 -132 -34 24 -565 890 148 -785 
0.00/0.03	v 204 -306 552 73 -526 -473 -8 350 992 -83 
0.00/0.03	v 885 226 687 1063 -644 -491 -933 -618 -404 455 
0.00/0.03	v -907 -544 308 -561 -495 130 1002 574 182 -883 
0.00/0.03	v 127 -586 -87 502 778 -828 1031 -499 -520 916 
0.00/0.03	v -291 408 -356 -1015 390 
0.00/0.03	0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3293241-1303797018/watcher-3293241-1303797018 -o /tmp/evaluation-result-3293241-1303797018/solver-3293241-1303797018 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3293241-1303797018.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.46 3.88 3.87 3/179 4044
/proc/meminfo: memFree=16475500/32951132 swapFree=67111528/67111528
[pid=4044] ppid=4042 vsize=6912 CPUtime=0 cores=1,3
/proc/4044/stat : 4044 (saturn) R 4042 4044 3703 0 -1 4202496 341 0 0 0 0 0 0 0 23 0 1 0 491301449 7077888 273 33554432000 4194304 4210924 140734027935584 18446744073709551615 4198774 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4044/statm: 1728 273 96 5 0 199 0

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

Child status: 0
Real time (s): 0.033458
CPU time (s): 0.032994
CPU user time (s): 0.032994
CPU system time (s): 0
CPU usage (%): 98.6132
Max. virtual memory (cumulated for all children) (KiB): 0

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

runsolver used 0.002999 second user time and 0.004999 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-26 07:50:18
IDJOB=3293241
IDBENCH=88075
IDSOLVER=1583
FILE ID=node131/3293241-1303797018
RUNJOBID= node131-1303797018-4020
PBS_JOBID= 13157289
Free space on /tmp= 71736 MiB

SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT02/industrial/biere/dinphil/dp04s04.shuffled.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293241-1303797018/watcher-3293241-1303797018 -o /tmp/evaluation-result-3293241-1303797018/solver-3293241-1303797018 -C 2400 -W 1300 -M 7680  saturn HOME/instance-3293241-1303797018.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 4d2a62f94bb1301ff912d55015cdc3d0
RANDOM SEED=1561641035

node131.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      16475508 kB
Buffers:       1015504 kB
Cached:       14866560 kB
SwapCached:          0 kB
Active:        5527832 kB
Inactive:     10429588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      16475508 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2188 kB
Writeback:           8 kB
AnonPages:       74220 kB
Mapped:          15484 kB
Slab:           454536 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   222508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71736 MiB
End job on node131 at 2011-04-26 07:50:18