Trace number 3493437

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.33373 8.33516

General information on the benchmark

Namemus/marques-silva/
hardware-verification/c7b_s.cnf
MD5SUM5ca5d87dfbab248787ec1d338d8dd12a
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.109982
Satisfiable
(Un)Satisfiability was proved
Number of variables3870
Number of clauses11182
Sum of the clauses size26090
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27454
Number of clauses of size 33727
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

8.29/8.33	s UNSATISFIABLE
8.29/8.33	v 11182 2671 989 2629 2638 2647 2656 2665 2674 2683 1573 4081 5620 5659 5677 9175 9385 9601 9817 10033 10243 10405 10561 10672 10873 11035 5617 5674 9172 9382 9598 9814 10030 10240 10402 10558 10669 10870 11032 97 100 103 106 109 112 7 761 10355 3128 2681 10985 974 3119 965 5905 5986 6037 6088 6139 6190 6250 6343 92 301 6220 6361 1580 6280 4091 5633 5653 6310 9082 9169 9292 9379 9508 9595 9724 9811 9940 10027 10156 10237 10327 10357 10399 10489 10555 10636 10666 10738 10816 10867 10945 11029 11107 94 1591 4111 6325 9127 9148 9337 9358 9553 9574 9769 9790 9985 10006 10195 10216 10354 10378 10534 10846 10987 11008 304 9100 9124 9310 9334 9526 9550 9742 9766 9958 9982 10174 10345 10507 10654 10753 10828 10963 10984 11125 9106 9316 9532 9748 9964 10180 10351 10513 10657 10756 10831 10969 11131 98 5899 5980 6031 6082 6133 6184 6217 6247 6277 6307 6322 6340 6358 85 86 101 104 107 110 113 305 1583 2627 2636 2645 2654 2663 9125 9335 9551 9767 9983 95 5906 4 5909 9121 9179 9331 9389 9547 9605 9763 9821 9979 10037 10409 10877 10 82 5987 6038 6089 6140 6191 6221 10247 6281 10565 11039 6311 10676 10760 6326 2677 10358 1588 1592 1576 2632 2641 2650 2659 2668 9128 9338 9554 9770 9986 10196 4085 5 2686 9122 9332 9548 9764 9980 10988 13 16 22 25 31 34 40 43 49 52 58 61 5681 5942 5990 6041 6092 6143 3152 4088 14 17 23 26 32 35 41 44 50 53 59 62 4142 5630 10516 10763 10972 71 74 77 80 5627 5912 5915 9109 9110 9182 9185 9319 9320 9392 9395 9535 9536 9608 9611 9751 9752 9824 9827 9967 9968 10040 10043 10183 10184 10253 10412 10415 10510 10517 10571 10658 10682 10754 10757 10766 10826 10829 10832 10880 10883 10966 10973 11042 11045 11134 11135 67 68 70 73 76 79 5669 5902 5918 5921 5983 6034 6085 6136 6187 9085 9089 9092 9095 9098 9101 9103 9104 9107 9118 9119 9188 9191 9295 9299 9302 9305 9308 9311 9313 9314 9317 9328 9329 9398 9401 9511 9515 9518 9521 9524 9527 9529 9530 9533 9544 9545 9614 9617 9727 9731 9734 9737 9740 9743 9745 9746 9749 9760 9761 9830 9833 9943 9947 9950 9953 9956 9959 9961 9962 9965 9976 9977 10046 10049 10159 10163 10166 10169 10172 10175 10177 10178 10181 10192 10193 10259 10334 10340 10346 10352 10418 10421 10492 10496 10499 10502 10505 10508 10511 10514 10525 10526 10577 10643 10649 10655 10688 10745 10751 10823 10886 10889 10948 10952 10955 10958 10961 10964 10967 10970 10981 10982 11048 11051 11110 11114 11117 11120 11123 11126 11128 11129 11132 11143 11144 762 2682 303 1584 2628 2637 2646 2655 2664 1578 5910 9180 9390 9606 9822 10038 10410 10878 11040 5916 9186 9396 9612 9828 10044 10416 10884 11046 5667 10356 10986 99 102 105 108 111 114 12 90 3132 978 306 9126 9336 9552 9768 9984 96 10359 1593 9129 9339 9555 9771 9987 5907 5988 6039 6090 6141 6192 6252 6345 5673 6363 10989 93 1581 5922 9090 9192 9300 9402 9516 9618 9732 9834 9948 10050 10164 10422 10497 10890 10953 11052 11115 9096 9102 9306 9312 9522 9528 9738 9744 9954 9960 10170 10176 10503 10509 10959 10965 11121 11127 5682 5943 5991 6042 6093 6144 9108 9318 9534 9750 9966 10182 10515 10971 11133 87 6 9123 9333 9549 9765 9981 11139 10521 10524 10977 10980 84 11142 2679 1590 2634 2643 2652 2661 2670 2688 5664 9114 10518 10974 5625 5913 9111 9183 9321 9324 9327 9393 9537 9540 9543 9609 9753 9756 9759 9825 9969 9972 9975 10041 10185 10188 10191 10251 10413 10512 10569 10680 10881 10968 11043 11136 21 30 39 48 57 66 5904 5919 5985 6036 6087 6138 6189 9087 9093 9099 9105 9117 9189 9297 9303 9309 9315 9399 9513 9519 9525 9531 9615 9729 9735 9741 9747 9831 9945 9951 9957 9963 10047 10161 10167 10173 10179 10257 10332 10338 10344 10350 10419 10494 10500 10506 10575 10641 10647 10653 10686 10743 10749 10821 10887 10950 10956 10962 11049 11112 11118 11124 11130 11148 11151 11154 11157 11160 11163 11166 11169 11172 11175 11178 11181 1585 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-3493437-1307803001/watcher-3493437-1307803001 -o /tmp/evaluation-result-3493437-1307803001/solver-3493437-1307803001 -C 1800 -W 1850 -M 7680 munsat2_release -rnd-seed=1375891169 -verb=0 HOME/instance-3493437-1307803001.cnf 

running on 2 cores: 4,6

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.01 4.02 3.85 6/186 10555
/proc/meminfo: memFree=27208520/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=16556 CPUtime=0 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 790 0 0 0 0 0 0 0 25 0 1 0 872715702 16953344 729 33554432000 4194304 4258824 140737101588176 18446744073709551615 4205584 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 4139 729 219 16 0 781 0

[startup+0.0408099 s]
/proc/loadavg: 4.01 4.02 3.85 6/186 10555
/proc/meminfo: memFree=27208520/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=21840 CPUtime=0.03 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1090 0 0 0 3 0 0 0 25 0 1 0 872715702 22364160 1007 33554432000 4194304 4258824 140737101588176 18446744073709551615 4225198 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 5460 1008 232 16 0 2102 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21840

[startup+0.100766 s]
/proc/loadavg: 4.01 4.02 3.85 6/186 10555
/proc/meminfo: memFree=27208520/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=22096 CPUtime=0.09 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1209 0 0 0 9 0 0 0 25 0 1 0 872715702 22626304 1074 33554432000 4194304 4258824 140737101588176 18446744073709551615 4225409 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 5524 1074 232 16 0 2166 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22096

[startup+0.300728 s]
/proc/loadavg: 4.01 4.02 3.85 6/186 10555
/proc/meminfo: memFree=27208520/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=22096 CPUtime=0.29 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1231 0 0 0 29 0 0 0 25 0 1 0 872715702 22626304 1096 33554432000 4194304 4258824 140737101588176 18446744073709551615 4221193 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 5524 1096 232 16 0 2166 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22096

[startup+0.700647 s]
/proc/loadavg: 4.01 4.02 3.85 6/186 10555
/proc/meminfo: memFree=27208520/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=22284 CPUtime=0.69 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1264 0 0 0 69 0 0 0 25 0 1 0 872715702 22818816 1125 33554432000 4194304 4258824 140737101588176 18446744073709551615 4225186 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 5571 1125 232 16 0 2213 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22284

[startup+1.50053 s]
/proc/loadavg: 4.01 4.02 3.85 5/187 10557
/proc/meminfo: memFree=27266320/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=22284 CPUtime=1.49 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1264 0 0 0 149 0 0 0 25 0 1 0 872715702 22818816 1125 33554432000 4194304 4258824 140737101588176 18446744073709551615 4229160 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 5571 1125 232 16 0 2213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22284

[startup+3.10022 s]
/proc/loadavg: 4.01 4.02 3.85 5/187 10557
/proc/meminfo: memFree=27224520/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=22584 CPUtime=3.09 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1329 0 0 0 309 0 0 0 25 0 1 0 872715702 23126016 1189 33554432000 4194304 4258824 140737101588176 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 5646 1189 232 16 0 2288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22584

[startup+6.30061 s]
/proc/loadavg: 4.01 4.02 3.85 5/187 10557
/proc/meminfo: memFree=27262940/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=26616 CPUtime=6.29 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1680 0 0 0 629 0 0 0 25 0 1 0 872715702 27254784 1540 33554432000 4194304 4258824 140737101588176 18446744073709551615 4221191 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 6654 1540 232 16 0 3296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26616

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

[startup+7.10044 s]
/proc/loadavg: 4.01 4.02 3.85 5/187 10557
/proc/meminfo: memFree=27223012/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=26616 CPUtime=7.09 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1749 0 0 0 709 0 0 0 25 0 1 0 872715702 27254784 1609 33554432000 4194304 4258824 140737101588176 18446744073709551615 4218931 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 6654 1609 232 16 0 3296 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 26616

[startup+7.90032 s]
/proc/loadavg: 4.01 4.02 3.85 5/187 10557
/proc/meminfo: memFree=27262444/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=26616 CPUtime=7.89 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1791 0 0 0 789 0 0 0 25 0 1 0 872715702 27254784 1651 33554432000 4194304 4258824 140737101588176 18446744073709551615 4203902 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 6654 1651 232 16 0 3296 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 26616

[startup+8.30025 s]
/proc/loadavg: 4.01 4.02 3.85 5/187 10557
/proc/meminfo: memFree=27262444/32951124 swapFree=67064580/67111528
[pid=10555] ppid=10553 vsize=26616 CPUtime=8.29 cores=4,6
/proc/10555/stat : 10555 (munsat2_release) R 10553 10555 10098 0 -1 4202496 1794 0 0 0 829 0 0 0 25 0 1 0 872715702 27254784 1654 33554432000 4194304 4258824 140737101588176 18446744073709551615 4220823 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10555/statm: 6654 1654 232 16 0 3296 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 26616

Child status: 0
Real time (s): 8.33516
CPU time (s): 8.33373
CPU user time (s): 8.32773
CPU system time (s): 0.005999
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 26616

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

runsolver used 0.017997 second user time and 0.031995 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-11 16:36:41
IDJOB=3493437
IDBENCH=89515
IDSOLVER=1973
FILE ID=node141/3493437-1307803001
RUNJOBID= node141-1307800695-10117
PBS_JOBID= 13551047
Free space on /tmp= 73704 MiB

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

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

MD5SUM BENCH= 5ca5d87dfbab248787ec1d338d8dd12a
RANDOM SEED=1375891169

node141.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.806
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.806
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	: 5362.96
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.806
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.82
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.806
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.806
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.84
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.806
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.806
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.806
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:     32951124 kB
MemFree:      27209808 kB
Buffers:        275028 kB
Cached:        1523528 kB
SwapCached:       8728 kB
Active:        4630232 kB
Inactive:       923708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27209808 kB
SwapTotal:    67111528 kB
SwapFree:     67064580 kB
Dirty:          343872 kB
Writeback:           0 kB
AnonPages:     3753640 kB
Mapped:          10684 kB
Slab:           115860 kB
PageTables:      12092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4104332 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= 73704 MiB
End job on node141 at 2011-06-11 16:36:49