Trace number 3495029

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
OptimuS a100_sourceUNSAT 2.77658 2.77614

General information on the benchmark

Namemus/marques-silva/
hardware-verification/c6n_s.cnf
MD5SUM7675cef6417cea637105c651c6606ac3
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.05699
Satisfiable
(Un)Satisfiability was proved
Number of variables2747
Number of clauses7864
Sum of the clauses size18348
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25242
Number of clauses of size 32621
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

2.69/2.77	c - Reading the instance.. OK! Totally clauses:     7864; Vars:     2747; Time: 0.00
2.69/2.77	c - Unit propagation..     OK! Removed clauses:        2;                 Time: 0.00
2.69/2.77	c - Delete by resolution.. OK! Removed clauses:      418;                 Time: 0.04
2.69/2.77	c   - Solving the original instance..
2.69/2.77	c     - OK - UNSAT! Continue to clause elimination..
2.69/2.77	c   - round:    1;   Skips in previous round:    0
2.69/2.77	c     - clauses done:  1%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 10%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 20%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 30%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 40%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 50%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 60%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 70%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 80%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 90%; among them skipped: 0.00%;
2.69/2.77	c     - clauses done: 99%; among them skipped: 0.00%;
2.69/2.77	c - Finish! Unsat core size: 1061 / 7864; Time: 2.77 s
2.69/2.77	c - ---------------------------------------------------------------------------
2.69/2.77	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
2.69/2.77	c -             |       2   |    2164   |       0   |    1061   |    4637     |
2.69/2.77	c - ---------------------------------------------------------------------------
2.69/2.77	s UNSATISFIABLE
2.69/2.77	v 4 5 6 7 10 12 13 14 16 17 21 22 23 25 26 30 31 32 34 35 39 40 41 43 44 48 49 50 52 53 57 58 59 61 62 64 65 67 68 70 72 73 74 75 78 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 283 285 286 287 288 743 744 917 926 930 1453 1455 1457 1458 1460 1461 1462 1465 1467 1468 1469 1470 2465 2466 2467 2470 2472 2474 2475 2476 2479 2481 2483 2484 2485 2488 2490 2492 2493 2494 2497 2499 2500 2503 2506 2508 2510 2511 2512 2515 2517 2879 2888 2892 3800 3801 3803 3804 3806 3807 3809 3810 3811 3814 3816 3817 3818 3819 3854 3855 3970 3973 3975 3976 3977 3978 3980 3981 4009 4012 4014 4015 4016 4017 4019 4020 4051 4054 4056 4057 4058 4059 4061 4062 4093 4096 4098 4099 4100 4101 4103 4104 4135 4138 4140 4141 4142 4143 4168 4171 4172 4198 4201 4203 4228 4231 4232 4255 4258 4259 4282 4285 4286 4312 4315 4317 5275 5276 5277 5279 5280 5282 5283 5285 5286 5287 5288 5289 5290 5291 5292 5293 5294 5295 5296 5297 5298 5299 5300 5301 5303 5304 5305 5306 5307 5308 5311 5315 5316 5464 5467 5469 5471 5472 5474 5475 5477 5478 5480 5481 5482 5483 5484 5485 5486 5487 5488 5489 5490 5491 5494 5498 5499 5500 5503 5507 5508 5527 5530 5532 5534 5535 5537 5538 5540 5541 5543 5544 5545 5548 5552 5553 5575 5578 5580 5582 5583 5585 5586 5588 5589 5591 5592 5593 5596 5600 5601 5623 5626 5628 5630 5631 5633 5634 5636 5637 5639 5640 5641 5644 5648 5649 5671 5674 5676 5678 5679 5681 5682 5684 5685 5687 5688 5689 5693 5710 5715 5717 5720 5724 5725 5729 5730 5746 5749 5751 5753 5754 5756 5757 5759 5760 5763 5782 5786 5789 5793 5812 5816 5819 5823 5842 5846 5849 5851 5855 5856 5872 5875 5877 5879 5880 5882 5883 5885 5886 6589 6592 6594 6596 6597 6599 6600 6602 6603 6605 6606 6607 6608 6609 6610 6611 6612 6613 6614 6615 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 6633 6634 6635 6636 6639 6642 6643 6644 6646 6647 6648 6649 6650 6651 6652 6653 6654 6656 6657 6658 6661 6663 6664 6665 6666 6667 6668 6669 6670 6671 6672 6673 6674 6675 6676 6677 6678 6679 6680 6681 6682 6683 6684 6685 6686 6687 6688 6689 6690 6700 6703 6707 6708 6727 6730 6732 6734 6735 6737 6738 6740 6741 6743 6744 6745 6746 6747 6748 6749 6750 6751 6752 6753 6754 6755 6756 6757 6758 6759 6760 6761 6762 6763 6764 6765 6766 6767 6768 6769 6770 6771 6772 6773 6774 6777 6780 6781 6782 6784 6785 6786 6787 6788 6789 6790 6791 6792 6794 6795 6796 6799 6801 6802 6803 6804 6805 6806 6807 6808 6809 6810 6811 6812 6813 6814 6815 6816 6817 6818 6819 6820 6821 6822 6823 6824 6825 6826 6827 6828 6841 6844 6848 6849 6871 6874 6876 6878 6879 6881 6882 6884 6885 6887 6888 6889 6890 6891 6892 6893 6894 6895 6896 6897 6898 6899 6900 6901 6902 6903 6904 6905 6906 6907 6908 6909 6910 6911 6912 6913 6914 6915 6916 6917 6918 6921 6924 6925 6926 6928 6929 6930 6931 6932 6933 6934 6935 6936 6938 6939 6940 6943 6945 6946 6947 6948 6949 6950 6951 6952 6953 6954 6955 6956 6957 6958 6959 6960 6961 6962 6963 6964 6965 6966 6967 6968 6969 6970 6971 6972 6985 6988 6992 6993 7015 7018 7020 7022 7023 7025 7026 7028 7029 7031 7032 7033 7034 7035 7036 7037 7038 7039 7040 7041 7042 7043 7044 7045 7046 7047 7048 7049 7050 7051 7052 7053 7054 7055 7056 7057 7058 7059 7060 7061 7062 7065 7068 7069 7070 7072 7073 7074 7075 7076 7077 7078 7079 7080 7082 7083 7084 7087 7089 7090 7091 7092 7093 7094 7095 7096 7097 7098 7099 7100 7101 7102 7103 7104 7105 7106 7107 7108 7109 7110 7111 7112 7113 7114 7115 7116 7129 7132 7136 7137 7159 7162 7164 7166 7167 7169 7170 7172 7173 7175 7176 7177 7178 7179 7180 7181 7182 7183 7184 7185 7186 7187 7188 7189 7190 7191 7192 7193 7194 7195 7196 7197 7198 7199 7200 7201 7202 7203 7204 7205 7206 7209 7212 7213 7214 7216 7217 7220 7222 7227 7228 7229 7231 7232 7234 7235 7239 7240 7241 7243 7244 7246 7247 7251 7252 7253 7267 7271 7288 7293 7295 7298 7302 7303 7304 7308 7309 7310 7314 7315 7316 7320 7321 7322 7326 7327 7328 7330 7331 7332 7333 7334 7335 7337 7338 7339 7342 7344 7345 7346 7347 7348 7349 7350 7351 7352 7353 7354 7355 7356 7357 7358 7359 7360 7361 7362 7363 7364 7365 7366 7367 7368 7369 7370 7371 7384 7388 7389 7405 7408 7410 7412 7413 7415 7416 7418 7419 7420 7421 7422 7423 7424 7425 7426 7427 7428 7429 7430 7431 7432 7433 7434 7435 7436 7437 7438 7439 7440 7441 7442 7443 7444 7445 7446 7447 7448 7449 7452 7455 7456 7457 7459 7464 7467 7470 7471 7472 7476 7479 7482 7483 7484 7488 7497 7516 7520 7524 7526 7530 7531 7532 7536 7537 7538 7542 7543 7544 7546 7547 7549 7550 7554 7555 7556 7560 7563 7566 7567 7568 7572 7575 7594 7598 7602 7604 7608 7609 7610 7614 7615 7616 7620 7621 7622 7624 7625 7627 7628 7632 7633 7634 7638 7641 7644 7645 7646 7650 7653 7672 7676 7680 7682 7686 7687 7688 7692 7693 7694 7698 7699 7700 7702 7703 7705 7706 7708 7709 7710 7711 7712 7713 7715 7716 7717 7720 7722 7723 7724 7725 7726 7727 7728 7729 7730 7731 7732 7733 7734 7735 7736 7737 7738 7739 7740 7741 7742 7743 7744 7745 7746 7747 7748 7749 7759 7763 7764 7780 7783 7785 7787 7788 7790 7791 7793 7794 7795 7796 7797 7798 7799 7800 7801 7802 7803 7804 7805 7806 7807 7808 7809 7810 7811 7812 7813 7814 7815 7816 7817 7818 7819 7820 7821 7822 7823 7824 7827 7830 7831 7832 7836 7839 7842 7845 7848 7851 7854 7857 7860 7863 7864 0

Verifier Data 

OK	1061

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-3495029-1307808822/watcher-3495029-1307808822 -o /tmp/evaluation-result-3495029-1307808822/solver-3495029-1307808822 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495029-1307808822.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.04 3.92 3.72 4/189 13711
/proc/meminfo: memFree=29640604/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=20616 CPUtime=0 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 791 0 0 0 0 0 0 0 25 0 1 0 971112892 21110784 713 33554432000 4194304 4279335 140733307421744 18446744073709551615 4221617 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5154 714 239 21 0 1791 0

[startup+0.0814581 s]
/proc/loadavg: 4.04 3.92 3.72 4/189 13711
/proc/meminfo: memFree=29640604/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=21928 CPUtime=0.07 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1091 0 0 0 7 0 0 0 25 0 1 0 971112892 22454272 1012 33554432000 4194304 4279335 140733307421744 18446744073709551615 4237835 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5482 1012 260 21 0 2119 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21928

[startup+0.100452 s]
/proc/loadavg: 4.04 3.92 3.72 4/189 13711
/proc/meminfo: memFree=29640604/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=21928 CPUtime=0.09 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1091 0 0 0 9 0 0 0 25 0 1 0 971112892 22454272 1012 33554432000 4194304 4279335 140733307421744 18446744073709551615 4257994 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5482 1012 260 21 0 2119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21928

[startup+0.300412 s]
/proc/loadavg: 4.04 3.92 3.72 4/189 13711
/proc/meminfo: memFree=29640604/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=21928 CPUtime=0.29 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1093 0 0 0 29 0 0 0 25 0 1 0 971112892 22454272 1014 33554432000 4194304 4279335 140733307421744 18446744073709551615 4209384 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5482 1014 260 21 0 2119 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21928

[startup+0.70034 s]
/proc/loadavg: 4.04 3.92 3.72 4/189 13711
/proc/meminfo: memFree=29640604/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=21928 CPUtime=0.69 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1121 0 0 0 69 0 0 0 25 0 1 0 971112892 22454272 1042 33554432000 4194304 4279335 140733307421744 18446744073709551615 4208301 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5482 1042 260 21 0 2119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21928

[startup+1.50019 s]
/proc/loadavg: 4.04 3.92 3.72 5/190 13713
/proc/meminfo: memFree=29606064/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=22056 CPUtime=1.49 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1202 0 0 0 149 0 0 0 25 0 1 0 971112892 22585344 1123 33554432000 4194304 4279335 140733307421744 18446744073709551615 4236161 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5514 1123 260 21 0 2151 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22056

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

[startup+2.30105 s]
/proc/loadavg: 4.04 3.92 3.72 5/190 13713
/proc/meminfo: memFree=29634088/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=22188 CPUtime=2.29 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1241 0 0 0 229 0 0 0 25 0 1 0 971112892 22720512 1162 33554432000 4194304 4279335 140733307421744 18446744073709551615 4258257 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5547 1162 260 21 0 2184 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 22188

[startup+2.70097 s]
/proc/loadavg: 4.04 3.92 3.72 5/190 13713
/proc/meminfo: memFree=29634088/32950928 swapFree=67051812/67111528
[pid=13711] ppid=13709 vsize=22188 CPUtime=2.69 cores=5,7
/proc/13711/stat : 13711 (OptimuS_release) R 13709 13711 10968 0 -1 4202496 1255 0 0 0 269 0 0 0 25 0 1 0 971112892 22720512 1176 33554432000 4194304 4279335 140733307421744 18446744073709551615 4242176 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13711/statm: 5547 1176 260 21 0 2184 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 22188

Child status: 20
Real time (s): 2.77614
CPU time (s): 2.77658
CPU user time (s): 2.77358
CPU system time (s): 0.002999
CPU usage (%): 100.016
Max. virtual memory (cumulated for all children) (KiB): 22188

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

runsolver used 0.005999 second user time and 0.012998 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-11 18:13:42
IDJOB=3495029
IDBENCH=89492
IDSOLVER=1986
FILE ID=node116/3495029-1307808822
RUNJOBID= node116-1307808287-13262
PBS_JOBID= 13551061
Free space on /tmp= 74044 MiB

SOLVER NAME= OptimuS a100_source
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/c6n_s.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495029-1307808822/watcher-3495029-1307808822 -o /tmp/evaluation-result-3495029-1307808822/solver-3495029-1307808822 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495029-1307808822.cnf

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

MD5SUM BENCH= 7675cef6417cea637105c651c6606ac3
RANDOM SEED=1664230848

node116.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.826
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.65
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.826
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	: 5226.15
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.826
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.75
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.826
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.826
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.826
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29641132 kB
Buffers:        314348 kB
Cached:        1093692 kB
SwapCached:      13064 kB
Active:        2266812 kB
Inactive:       838840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29641132 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:          106780 kB
Writeback:           0 kB
AnonPages:     1694728 kB
Mapped:           9912 kB
Slab:           134376 kB
PageTables:       8644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2227364 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= 74044 MiB
End job on node116 at 2011-06-11 18:13:45