Trace number 3483463

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
MiniUnsat2 2011-02-22UNSAT 8.64868 8.6506

General information on the benchmark

Namemus/marques-silva/
hardware-verification/c7n_s.cnf
MD5SUMdf72f1c8d5efafbf93fc8ef0aadddf73
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.096984
Satisfiable
(Un)Satisfiability was proved
Number of variables3633
Number of clauses10471
Sum of the clauses size24431
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26980
Number of clauses of size 33490
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

8.59/8.65	s UNSATISFIABLE
8.59/8.65	v 10471 2632 989 2590 2599 2608 2617 2626 2635 2644 1552 4018 5524 5563 5581 8599 8782 8971 9160 9349 9532 9694 9850 9961 10162 10324 5521 5578 8596 8779 8968 9157 9346 9529 9691 9847 9958 10159 10321 97 100 103 106 109 112 7 761 9644 3089 2642 10274 974 3080 965 5770 5842 5884 5926 5968 6010 6070 6163 92 301 6040 6181 1559 6100 4028 5537 5557 6130 8506 8593 8689 8776 8878 8965 9067 9154 9256 9343 9445 9526 9616 9646 9688 9778 9844 9925 9955 10027 10105 10156 10234 10318 10396 94 1570 4048 6145 8551 8572 8734 8755 8923 8944 9112 9133 9301 9322 9484 9505 9643 9667 9823 10135 10276 10297 304 8524 8548 8707 8731 8896 8920 9085 9109 9274 9298 9463 9634 9796 9943 10042 10117 10252 10273 10414 8530 8713 8902 9091 9280 9469 9640 9802 9946 10045 10120 10258 10420 98 5764 5836 5878 5920 5962 6004 6037 6067 6097 6127 6142 6160 6178 85 86 101 104 107 110 113 305 1562 2588 2597 2606 2615 2624 8549 8732 8921 9110 9299 95 5771 4 5774 8545 8603 8728 8786 8917 8975 9106 9164 9295 9353 9698 10166 10 82 5843 5885 5927 5969 6011 6041 9536 6101 9854 10328 6131 9965 10049 6146 2638 9647 1567 1571 1555 2593 2602 2611 2620 2629 8552 8735 8924 9113 9302 9485 4022 5 2647 8546 8729 8918 9107 9296 10277 13 16 22 25 31 34 40 43 49 52 58 61 5585 5807 5846 5888 5930 5972 3113 4025 14 17 23 26 32 35 41 44 50 53 59 62 4079 5534 9805 10052 10261 71 74 77 80 5531 5777 5780 8533 8534 8606 8609 8716 8717 8789 8792 8905 8906 8978 8981 9094 9095 9167 9170 9283 9284 9356 9359 9472 9473 9542 9701 9704 9799 9806 9860 9947 9971 10043 10046 10055 10115 10118 10121 10169 10172 10255 10262 10331 10334 10423 10424 67 68 70 73 76 79 5573 5767 5783 5786 5839 5881 5923 5965 6007 8509 8513 8516 8519 8522 8525 8527 8528 8531 8542 8543 8612 8615 8692 8696 8699 8702 8705 8708 8710 8711 8714 8725 8726 8795 8798 8881 8885 8888 8891 8894 8897 8899 8900 8903 8914 8915 8984 8987 9070 9074 9077 9080 9083 9086 9088 9089 9092 9103 9104 9173 9176 9259 9263 9266 9269 9272 9275 9277 9278 9281 9292 9293 9362 9365 9448 9452 9455 9458 9461 9464 9466 9467 9470 9481 9482 9548 9623 9629 9635 9641 9707 9710 9781 9785 9788 9791 9794 9797 9800 9803 9814 9815 9866 9932 9938 9944 9977 10034 10040 10112 10175 10178 10237 10241 10244 10247 10250 10253 10256 10259 10270 10271 10337 10340 10399 10403 10406 10409 10412 10415 10417 10418 10421 10432 10433 762 2643 303 1563 2589 2598 2607 2616 2625 1557 5775 8604 8787 8976 9165 9354 9699 10167 10329 5781 8610 8793 8982 9171 9360 9705 10173 10335 5571 9645 10275 99 102 105 108 111 114 12 90 3093 978 306 8550 8733 8922 9111 9300 96 9648 1572 8553 8736 8925 9114 9303 5772 5844 5886 5928 5970 6012 6072 6165 5577 6183 10278 93 1560 5787 8514 8616 8697 8799 8886 8988 9075 9177 9264 9366 9453 9711 9786 10179 10242 10341 10404 8520 8526 8703 8709 8892 8898 9081 9087 9270 9276 9459 9465 9792 9798 10248 10254 10410 10416 5586 5808 5847 5889 5931 5973 8532 8715 8904 9093 9282 9471 9804 10260 10422 87 6 8547 8730 8919 9108 9297 10428 9810 9813 10266 10269 84 10431 2640 1569 2595 2604 2613 2622 2631 2649 5568 8538 9807 10263 5529 5778 8535 8607 8718 8721 8724 8790 8907 8910 8913 8979 9096 9099 9102 9168 9285 9288 9291 9357 9474 9477 9480 9540 9702 9801 9858 9969 10170 10257 10332 10425 21 30 39 48 57 66 5769 5784 5841 5883 5925 5967 6009 8511 8517 8523 8529 8541 8613 8694 8700 8706 8712 8796 8883 8889 8895 8901 8985 9072 9078 9084 9090 9174 9261 9267 9273 9279 9363 9450 9456 9462 9468 9546 9621 9627 9633 9639 9708 9783 9789 9795 9864 9930 9936 9942 9975 10032 10038 10110 10176 10239 10245 10251 10338 10401 10407 10413 10419 10437 10440 10443 10446 10449 10452 10455 10458 10461 10464 10467 10470 1564 0

Verifier Data 

OK	730

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-3483463-1307810452/watcher-3483463-1307810452 -o /tmp/evaluation-result-3483463-1307810452/solver-3483463-1307810452 -C 1800 -W 1850 -M 7680 munsat2_release -rnd-seed=95074729 -verb=0 HOME/instance-3483463-1307810452.cnf 

running on 2 cores: 0,2

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: 1.16 2.28 2.79 4/178 18162
/proc/meminfo: memFree=31192376/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=16428 CPUtime=0 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 762 0 0 0 0 0 0 0 18 0 1 0 892645929 16822272 702 33554432000 4194304 4258824 140734716285312 18446744073709551615 4205726 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 4107 702 219 16 0 749 0

[startup+0.039084 s]
/proc/loadavg: 1.16 2.28 2.79 4/178 18162
/proc/meminfo: memFree=31192376/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=21640 CPUtime=0.03 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1031 0 0 0 3 0 0 0 18 0 1 0 892645929 22159360 963 33554432000 4194304 4258824 140734716285312 18446744073709551615 4218734 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5410 964 232 16 0 2052 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21640

[startup+0.101101 s]
/proc/loadavg: 1.16 2.28 2.79 4/178 18162
/proc/meminfo: memFree=31192376/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=21748 CPUtime=0.09 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1116 0 0 0 9 0 0 0 18 0 1 0 892645929 22269952 1012 33554432000 4194304 4258824 140734716285312 18446744073709551615 4221133 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5437 1012 232 16 0 2079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21748

[startup+0.30106 s]
/proc/loadavg: 1.16 2.28 2.79 4/178 18162
/proc/meminfo: memFree=31192376/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=21920 CPUtime=0.29 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1141 0 0 0 29 0 0 0 18 0 1 0 892645929 22446080 1037 33554432000 4194304 4258824 140734716285312 18446744073709551615 4225228 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5480 1037 232 16 0 2122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21920

[startup+0.700988 s]
/proc/loadavg: 1.16 2.28 2.79 4/178 18162
/proc/meminfo: memFree=31192376/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=21920 CPUtime=0.69 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1164 0 0 0 69 0 0 0 18 0 1 0 892645929 22446080 1060 33554432000 4194304 4258824 140734716285312 18446744073709551615 4225533 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5480 1060 232 16 0 2122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21920

[startup+1.50085 s]
/proc/loadavg: 1.16 2.28 2.79 5/190 18195
/proc/meminfo: memFree=31113440/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=22092 CPUtime=1.49 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1181 0 0 0 149 0 0 0 20 0 1 0 892645929 22622208 1077 33554432000 4194304 4258824 140734716285312 18446744073709551615 4225312 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5523 1077 232 16 0 2165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22092

[startup+3.10053 s]
/proc/loadavg: 1.16 2.28 2.79 5/190 18195
/proc/meminfo: memFree=31112856/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=22232 CPUtime=3.09 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1237 0 0 0 309 0 0 0 25 0 1 0 892645929 22765568 1133 33554432000 4194304 4258824 140734716285312 18446744073709551615 4218808 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5558 1133 232 16 0 2200 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22232

[startup+6.30097 s]
/proc/loadavg: 1.38 2.31 2.80 5/190 18195
/proc/meminfo: memFree=31099792/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=23440 CPUtime=6.29 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1516 0 0 0 629 0 0 0 25 0 1 0 892645929 24002560 1412 33554432000 4194304 4258824 140734716285312 18446744073709551615 4204446 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5860 1412 232 16 0 2502 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23440

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

[startup+7.90067 s]
/proc/loadavg: 1.38 2.31 2.80 5/190 18195
/proc/meminfo: memFree=31095784/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=23940 CPUtime=7.89 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1630 0 0 0 789 0 0 0 25 0 1 0 892645929 24514560 1526 33554432000 4194304 4258824 140734716285312 18446744073709551615 4221040 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 5985 1526 232 16 0 2627 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 23940

[startup+8.30057 s]
/proc/loadavg: 1.38 2.31 2.80 5/190 18195
/proc/meminfo: memFree=31095784/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=24096 CPUtime=8.29 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1671 0 0 0 829 0 0 0 25 0 1 0 892645929 24674304 1567 33554432000 4194304 4258824 140734716285312 18446744073709551615 4220938 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 6024 1567 232 16 0 2666 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 24096

[startup+8.50053 s]
/proc/loadavg: 1.38 2.31 2.80 5/190 18195
/proc/meminfo: memFree=31095784/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=24096 CPUtime=8.49 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1671 0 0 0 849 0 0 0 25 0 1 0 892645929 24674304 1567 33554432000 4194304 4258824 140734716285312 18446744073709551615 4220928 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 6024 1567 232 16 0 2666 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 24096

[startup+8.60053 s]
/proc/loadavg: 1.38 2.31 2.80 5/190 18195
/proc/meminfo: memFree=31095784/32951124 swapFree=67056684/67111528
[pid=18161] ppid=18159 vsize=24096 CPUtime=8.59 cores=0,2
/proc/18161/stat : 18161 (munsat2_release) R 18159 18161 13546 0 -1 4202496 1671 0 0 0 859 0 0 0 25 0 1 0 892645929 24674304 1567 33554432000 4194304 4258824 140734716285312 18446744073709551615 4220823 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18161/statm: 6024 1567 232 16 0 2666 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 24096

Child status: 0
Real time (s): 8.6506
CPU time (s): 8.64868
CPU user time (s): 8.64668
CPU system time (s): 0.001999
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 24096

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

runsolver used 0.022996 second user time and 0.031995 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 18:40:52
IDJOB=3483463
IDBENCH=89533
IDSOLVER=1973
FILE ID=node109/3483463-1307810452
RUNJOBID= node109-1307810452-18136
PBS_JOBID= 13551065
Free space on /tmp= 74016 MiB

SOLVER NAME= MiniUnsat2 2011-02-22
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/c7n_s.cnf
COMMAND LINE= munsat2_release -rnd-seed=RANDOMSEED -verb=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483463-1307810452/watcher-3483463-1307810452 -o /tmp/evaluation-result-3483463-1307810452/solver-3483463-1307810452 -C 1800 -W 1850 -M 7680  munsat2_release -rnd-seed=95074729 -verb=0 HOME/instance-3483463-1307810452.cnf

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

MD5SUM BENCH= df72f1c8d5efafbf93fc8ef0aadddf73
RANDOM SEED=95074729

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:      31196028 kB
Buffers:        312940 kB
Cached:        1191508 kB
SwapCached:       8608 kB
Active:         652400 kB
Inactive:       873772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31196028 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:       18616 kB
Mapped:          12452 kB
Slab:           163836 kB
PageTables:       5208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   197972 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= 74008 MiB
End job on node109 at 2011-06-11 18:41:01