Trace number 3493751

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
MUSer 2011-02-10UNSAT 12.904 12.9067

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E03N15.cnf
MD5SUM5e437ee939aa66499926385ad9d3b182
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.38218
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses34881
Sum of the clauses size145246
Maximum clause length45
Minimum clause length1
Number of clauses of size 125
Number of clauses of size 212236
Number of clauses of size 38946
Number of clauses of size 42865
Number of clauses of size 52265
Number of clauses of size over 58544

Solver Data 

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3493751-1307802747.cnf ***
0.00/0.00	c 
0.02/0.03	c Parsing CPU Time: 0.028995
0.02/0.03	c Running MUSer ...
0.48/0.56	c 0.00% completed ... 
1.09/1.16	c 15.60% completed ... 
1.49/1.54	c 25.44% completed ... 
6.98/7.02	c 40.55% completed ... 
8.48/8.55	c 70.68% completed ... 
9.49/9.53	c 85.74% completed ... 
12.89/12.90	c 100.00% completed ... 
12.89/12.90	c MUS size: 1326
12.89/12.90	s UNSATISFIABLE
12.89/12.90	v 4193 719 1024 6801 3034 4185 4844 1016 14769 13862 703 4836 1008 14761 6785 13854 4169 1000 6777 5045 4161 992 5037 984 6761 5029 976 2986 5021 968 4354 2978 5013 960 7613 952 5881 4997 3745 7605 944 414 4989 6938 936 7597 401 865 4981 6930 928 7589 209 393 4973 6074 7581 920 14622 849 4965 1137 6066 6914 912 7573 841 1129 14754 599 6906 904 7565 4949 1121 6050 14746 797 591 7557 13839 896 825 4941 1113 6042 789 6890 583 888 7549 817 1105 575 6882 3523 880 23672 7541 809 4925 1097 6026 567 4041 7533 23664 389 4917 1089 6018 559 6866 24033 3994 381 1081 551 6858 14157 24025 768 373 4901 6002 543 365 1065 4893 6842 535 357 1057 6834 744 349 4877 1049 519 13613 736 341 4869 1041 6818 728 333 1033 6810 4194 720 4853 1025 712 4845 1017 14770 3680 189 6794 23961 4178 704 1009 14762 6786 181 13855 4170 4829 1001 3011 5046 13847 993 6770 5038 3781 4154 985 7204 6762 5030 977 4363 149 5022 969 2979 141 5014 961 5890 133 2971 5006 7614 953 4339 125 4998 945 7606 415 4990 6939 937 7598 5866 402 866 4982 6083 3702 7590 929 394 858 4974 1146 6075 6923 921 7582 14623 1138 4966 6915 7574 913 4958 6059 14755 600 7566 905 77 1122 4950 6051 14747 798 6899 592 897 7558 13840 69 826 1114 790 584 6891 889 7550 13832 61 818 4934 6035 576 7542 881 53 810 1098 4926 6027 774 6875 4042 568 23665 7534 4003 45 390 1090 6867 560 24034 7526 37 382 1082 6011 552 14158 24026 769 29 374 1074 4902 6003 544 6851 761 366 3524 1066 6843 536 358 4886 1058 528 745 350 1050 6827 13614 737 342 1042 6819 729 334 4862 1034 4854 1026 6803 713 4187 1018 14771 3681 4179 705 1010 4838 14763 13856 4830 1002 6779 3012 5047 13848 4163 994 6771 5039 3782 986 4372 5031 978 2988 5023 970 5899 7189 5015 962 4348 5007 954 4999 946 7607 5875 416 4991 938 7599 403 408 4983 6084 6932 3703 930 7591 395 859 1147 4975 6924 922 7583 203 851 4967 1139 6068 3842 7575 914 4959 1131 6060 601 6908 906 835 14748 799 6900 3828 593 7559 13841 898 827 4943 6044 791 4059 585 890 7551 13833 819 4935 1107 6036 783 6884 882 7543 811 1099 775 569 6876 7535 23666 4004 803 4919 1091 6020 561 4035 7527 383 1083 4911 6012 6860 14159 553 3594 24027 770 375 1075 14151 6852 545 762 367 4895 1067 5996 537 754 359 4887 6836 529 746 351 1051 6828 521 13615 738 343 4871 1043 13607 730 3951 335 1035 4863 6812 1027 6804 4188 714 4847 1019 706 4839 1011 14764 3021 6788 13857 698 4172 1003 3013 6780 175 5048 13849 4164 995 167 3783 5040 987 6764 159 5032 979 2989 5024 14214 971 4357 5016 963 2973 5008 955 5884 5000 7608 947 4333 119 417 4992 939 7600 111 404 409 4984 6933 7592 931 103 396 860 4976 1148 6077 923 7584 95 852 4968 1140 6069 6917 915 7576 87 844 1132 602 6909 7568 907 79 836 4952 1124 6053 14749 594 7560 13842 899 828 4944 1116 6045 792 586 4060 6893 7552 13834 891 820 1108 578 6885 7544 23675 883 4928 1100 6029 776 570 7536 23667 804 4920 1092 6021 562 6869 24036 867 3997 384 1084 554 6861 14160 14230 24028 3762 376 4904 1076 6005 546 14152 763 23 368 1068 4896 5997 6845 755 15 360 6837 530 747 7 352 4880 14486 1052 522 13616 739 344 1044 13647 6821 13608 731 336 1036 6813 4856 1028 715 4848 1020 6797 23964 707 4181 1012 14765 6789 13858 4173 699 4832 1004 3014 5049 13850 996 6773 5041 3784 4157 988 7207 6765 5033 980 4366 2990 5025 972 5017 964 5893 2974 5009 956 4342 5001 948 7609 418 4993 14502 940 7601 5869 405 410 4985 932 7593 397 861 4977 1149 6078 6926 924 7585 853 4969 6918 7577 916 197 845 1133 4961 6062 14758 603 7569 908 837 1125 4953 6054 14750 801 6902 595 13843 900 7561 829 1117 793 587 6894 13835 892 7553 4022 821 4937 1109 6038 4053 579 7545 23676 884 813 4929 1101 6030 6878 571 4045 7537 805 1093 563 6870 7529 385 6014 555 14161 24029 377 1077 4905 6006 547 6854 14153 24021 764 369 1069 6846 539 756 361 4889 1061 4447 531 748 353 4881 1053 523 6830 13617 14518 3961 740 345 1045 6822 515 3055 13609 337 4865 1037 724 1029 4857 6806 4190 716 1021 14774 193 3031 23965 4182 708 4841 1013 14766 3023 185 13859 700 4833 1005 3015 6782 13851 4166 997 6774 5042 4158 989 5034 981 153 2991 5026 973 7192 5902 145 5018 965 4351 137 2975 5010 957 129 5002 949 7610 5878 121 419 4994 941 7602 406 411 4986 14534 6935 933 7594 398 862 4978 6927 3698 925 7586 14627 854 4970 1142 6071 3845 7578 917 846 4962 1134 6063 6911 909 838 1126 14751 802 596 6903 901 7562 13844 73 830 4946 1118 6047 794 588 7554 893 13836 65 822 4938 1110 6039 4054 6887 580 885 7546 57 814 1102 4046 572 6879 23669 7538 49 806 4922 1094 6023 564 4038 3804 7530 41 386 1086 4914 6015 556 6863 14162 24030 33 378 1078 548 6855 14154 765 370 4898 1070 5999 540 757 362 1062 4890 6839 749 354 1054 6831 524 13618 741 346 4874 1046 516 13610 3954 338 1038 4866 6815 3048 725 1030 6807 3040 717 4191 4850 1022 3032 23966 4842 1014 14767 3024 6791 13860 701 4175 1006 14759 6783 13852 4167 4826 998 5043 990 6767 5035 4151 982 2992 5027 974 4360 5019 966 2976 5011 958 5887 5003 7611 950 4336 420 4995 942 7603 407 412 4987 6936 934 7595 5863 399 4979 6080 3699 926 7587 14628 207 391 855 4971 1143 6072 6920 918 7579 199 847 1135 6912 910 7571 839 4955 1127 6056 14752 597 7563 902 831 4947 1119 6048 14744 795 589 6896 894 7555 13837 1111 581 6888 886 7547 815 4931 1103 6032 779 573 7539 878 23670 807 4923 1095 6024 771 565 6872 23662 870 7531 4000 387 1087 6864 557 14163 24031 379 1079 6008 549 14155 766 371 1071 4899 6000 6848 541 758 363 1063 6840 533 750 355 4883 1055 525 13619 742 347 1047 6824 13611 734 339 1039 6816 3049 3329 726 4859 1031 3041 718 1023 4851 3033 6800 23967 4184 1015 13830 14768 6792 4176 702 4835 1007 14760 179 13853 4827 999 6776 171 5044 4160 991 163 6768 5036 3456 983 4369 155 5028 975 5020 967 5896 7186 2977 5012 959 4345 5004 951 421 4996 943 7604 5872 115 413 4988 935 7596 107 400 864 4980 6081 6929 3700 927 7588 99 392 856 13798 1144 4972 6921 919 7580 3522 14621 91 848 4964 6065 7572 911 83 840 4956 1128 6057 14753 6905 598 7564 13846 903 832 1120 14745 796 590 6897 7556 13838 895 4940 1112 6041 788 582 7548 887 816 4932 1104 6033 780 6881 574 23671 7540 879 808 566 6873 23663 7532 871 388 4916 1088 6017 558 14164 24032 380 1080 4908 6009 6857 14156 24024 767 27 372 1072 6849 542 19 364 4892 1064 534 13558 11 356 1056 4884 6833 13620 743 3 348 1048 6825 518 13612 735 340 1040 727 3948 332 4860 1032 13814 3042 6809 23976 0
12.89/12.90	c Terminating MUSer ...
12.89/12.90	c CPU Time: 12.88

Verifier Data 

OK	1326

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493751-1307802747/watcher-3493751-1307802747 -o /tmp/evaluation-result-3493751-1307802747/solver-3493751-1307802747 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493751-1307802747.cnf 

running on 2 cores: 5,7

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): 1850 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: 4.06 4.02 3.54 6/189 14146
/proc/meminfo: memFree=25215664/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=3768 CPUtime=0 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 1 0 891875438 3858432 364 33554432000 4194304 5696331 140737176418912 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 942 365 114 367 0 572 0

[startup+0.030958 s]
/proc/loadavg: 4.06 4.02 3.54 6/189 14146
/proc/meminfo: memFree=25215664/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=9476 CPUtime=0.02 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 2008 0 0 0 2 0 0 0 25 0 1 0 891875438 9703424 1816 33554432000 4194304 5696331 140737176418912 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 2369 1818 114 367 0 1999 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9476

[startup+0.100951 s]
/proc/loadavg: 4.06 4.02 3.54 6/189 14146
/proc/meminfo: memFree=25215664/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=14264 CPUtime=0.09 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 3425 0 0 0 9 0 0 0 25 0 1 0 891875438 14606336 3231 33554432000 4194304 5696331 140737176418912 18446744073709551615 4417628 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 3566 3231 143 367 0 3196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14264

[startup+0.300913 s]
/proc/loadavg: 4.06 4.02 3.54 6/189 14146
/proc/meminfo: memFree=25215664/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=10788 CPUtime=0.29 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 3820 0 0 0 29 0 0 0 25 0 1 0 891875438 11046912 2415 33554432000 4194304 5696331 140737176418912 18446744073709551615 4401315 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 2697 2415 144 367 0 2327 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10788

[startup+0.700837 s]
/proc/loadavg: 4.06 4.02 3.54 6/189 14146
/proc/meminfo: memFree=25215664/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=15552 CPUtime=0.68 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 5031 0 0 0 68 0 0 0 25 0 1 0 891875438 15925248 3625 33554432000 4194304 5696331 140737176418912 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 3888 3625 149 367 0 3518 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15552

[startup+1.5007 s]
/proc/loadavg: 4.06 4.02 3.54 5/190 14147
/proc/meminfo: memFree=25198196/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=27140 CPUtime=1.49 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 7924 0 0 0 148 1 0 0 25 0 1 0 891875438 27791360 6516 33554432000 4194304 5696331 140737176418912 18446744073709551615 4392379 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 6785 6516 150 367 0 6415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27140

[startup+3.1004 s]
/proc/loadavg: 4.06 4.01 3.54 5/190 14147
/proc/meminfo: memFree=25188396/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=28796 CPUtime=3.09 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 8324 0 0 0 308 1 0 0 25 0 1 0 891875438 29487104 6916 33554432000 4194304 5696331 140737176418912 18446744073709551615 4391872 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 7199 6916 150 367 0 6829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28796

[startup+6.30082 s]
/proc/loadavg: 4.06 4.01 3.54 5/190 14147
/proc/meminfo: memFree=25188256/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=28796 CPUtime=6.28 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 8324 0 0 0 627 1 0 0 25 0 1 0 891875438 29487104 6916 33554432000 4194304 5696331 140737176418912 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 7199 6916 150 367 0 6829 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28796

[startup+12.7006 s]
/proc/loadavg: 4.05 4.01 3.54 5/190 14147
/proc/meminfo: memFree=25187836/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=28796 CPUtime=12.69 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 8324 0 0 0 1267 2 0 0 25 0 1 0 891875438 29487104 6916 33554432000 4194304 5696331 140737176418912 18446744073709551615 4400253 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 7199 6916 150 367 0 6829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28796

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

[startup+12.9006 s]
/proc/loadavg: 4.05 4.01 3.54 5/190 14147
/proc/meminfo: memFree=25187836/32951124 swapFree=67056684/67111528
[pid=14146] ppid=14144 vsize=28796 CPUtime=12.89 cores=5,7
/proc/14146/stat : 14146 (muser) R 14144 14146 13546 0 -1 4202496 8324 0 0 0 1287 2 0 0 25 0 1 0 891875438 29487104 6916 33554432000 4194304 5696331 140737176418912 18446744073709551615 4301742 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/14146/statm: 7199 6916 150 367 0 6829 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 28796

Child status: 20
Real time (s): 12.9067
CPU time (s): 12.904
CPU user time (s): 12.879
CPU system time (s): 0.024996
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 28796

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

runsolver used 0.013997 second user time and 0.058991 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 16:32:27
IDJOB=3493751
IDBENCH=83452
IDSOLVER=1969
FILE ID=node109/3493751-1307802747
RUNJOBID= node109-1307800705-13567
PBS_JOBID= 13551065
Free space on /tmp= 73960 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493751-1307802747/watcher-3493751-1307802747 -o /tmp/evaluation-result-3493751-1307802747/solver-3493751-1307802747 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493751-1307802747.cnf

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

MD5SUM BENCH= 5e437ee939aa66499926385ad9d3b182
RANDOM SEED=208446525

node109.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.809
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.61
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.809
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.809
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.74
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.809
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.809
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.82
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.809
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.809
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.82
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.809
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:     32951124 kB
MemFree:      25216332 kB
Buffers:        300524 kB
Cached:        1016540 kB
SwapCached:       8608 kB
Active:        6858172 kB
Inactive:       635600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25216332 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:            2048 kB
Writeback:          60 kB
AnonPages:     6174040 kB
Mapped:          15112 kB
Slab:           163448 kB
PageTables:      17200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6414784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node109 at 2011-06-11 16:32:40