runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-309871-1172548890 -o ROOT/results/node76/solver-309871-1172548890 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309871-1172548890/tts-4-0 /tmp/evaluation/309871-1172548890/instance-309871-1172548890.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/75 2022
/proc/meminfo: memFree=1890760/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=936 CPUtime=0
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 123 0 0 0 0 0 0 0 19 0 1 0 274847271 958464 109 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 234 110 57 113 0 118 0
[startup+0.107731 s]
/proc/loadavg: 0.92 0.98 0.99 3/75 2022
/proc/meminfo: memFree=1890760/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=4400 CPUtime=0.1
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 1007 0 0 0 10 0 0 0 20 0 1 0 274847271 4505600 991 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 1100 991 66 113 0 984 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4400
[startup+0.515777 s]
/proc/loadavg: 0.92 0.98 0.99 3/75 2022
/proc/meminfo: memFree=1890760/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=5316 CPUtime=0.5
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 1228 0 0 0 50 0 0 0 24 0 1 0 274847271 5443584 1212 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513483 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 1329 1212 66 113 0 1213 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 5316
[startup+1.33687 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 2023
/proc/meminfo: memFree=1885760/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=5584 CPUtime=1.32
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 1306 0 0 0 132 0 0 0 25 0 1 0 274847271 5718016 1290 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134625279 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 1396 1290 66 113 0 1280 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 5584
[startup+2.97406 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 2025
/proc/meminfo: memFree=1884800/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=6384 CPUtime=2.96
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 1508 0 0 0 296 0 0 0 25 0 1 0 274847271 6537216 1492 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 1596 1492 66 113 0 1480 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 6384
[startup+6.25644 s]
/proc/loadavg: 0.93 0.98 0.99 2/76 2027
/proc/meminfo: memFree=1884416/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=6732 CPUtime=6.24
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 1614 0 0 0 624 0 0 0 25 0 1 0 274847271 6893568 1598 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 1683 1598 66 113 0 1567 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6732
[startup+12.7122 s]
/proc/loadavg: 0.93 0.98 0.99 2/76 2031
/proc/meminfo: memFree=1883136/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=7952 CPUtime=12.69
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 1906 0 0 0 1269 0 0 0 25 0 1 0 274847271 8142848 1890 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591976 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 1988 1890 66 113 0 1872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7952
[startup+25.5177 s]
/proc/loadavg: 0.94 0.98 0.99 2/76 2041
/proc/meminfo: memFree=1880640/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=10656 CPUtime=25.49
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 2569 0 0 0 2548 1 0 0 25 0 1 0 274847271 10911744 2553 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 2664 2553 66 113 0 2548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10656
[startup+51.1386 s]
/proc/loadavg: 0.96 0.98 0.99 2/76 2097
/proc/meminfo: memFree=1873160/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=17952 CPUtime=51.08
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 4410 0 0 0 5106 2 0 0 25 0 1 0 274847271 18382848 4394 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 4488 4394 66 113 0 4372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17952
[startup+102.351 s]
/proc/loadavg: 0.98 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1860664/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=31788 CPUtime=102.26
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 7879 0 0 0 10222 4 0 0 25 0 1 0 274847271 32550912 7863 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 7947 7863 66 113 0 7831 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31788
[startup+162.368 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1845240/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=46808 CPUtime=162.26
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 11634 0 0 0 16220 6 0 0 25 0 1 0 274847271 47931392 11618 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591898 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 11702 11618 66 113 0 11586 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 46808
[startup+222.386 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1830392/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=61812 CPUtime=222.26
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 15371 0 0 0 22217 9 0 0 25 0 1 0 274847271 63295488 15355 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534438 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 15453 15355 66 113 0 15337 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 61812
[startup+282.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1808952/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=83156 CPUtime=282.26
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 20714 0 0 0 28213 13 0 0 25 0 1 0 274847271 85151744 20698 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535622 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 20789 20698 66 113 0 20673 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 83156
[startup+342.416 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1796728/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=95484 CPUtime=342.25
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 23823 0 0 0 34210 15 0 0 25 0 1 0 274847271 97775616 23807 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 23871 23807 66 113 0 23755 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 95484
[startup+402.434 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1787832/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=104156 CPUtime=402.25
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 25972 0 0 0 40208 17 0 0 25 0 1 0 274847271 106655744 25956 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534360 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 26039 25956 66 113 0 25923 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 104156
[startup+462.445 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1775032/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=117048 CPUtime=462.25
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 29173 0 0 0 46206 19 0 0 25 0 1 0 274847271 119857152 29157 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 29262 29157 66 113 0 29146 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 117048
[startup+522.46 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1769080/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=122908 CPUtime=522.25
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 30647 0 0 0 52205 20 0 0 25 0 1 0 274847271 125857792 30631 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 30727 30631 66 113 0 30611 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 122908
[startup+582.471 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1763128/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=128768 CPUtime=582.24
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 32134 0 0 0 58203 21 0 0 25 0 1 0 274847271 131858432 32118 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 32192 32118 66 113 0 32076 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 128768
[startup+642.487 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1757176/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=134860 CPUtime=642.24
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 33629 0 0 0 64202 22 0 0 25 0 1 0 274847271 138096640 33613 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 33715 33613 66 113 0 33599 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 134860
[startup+702.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1751928/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=140020 CPUtime=702.23
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 34924 0 0 0 70200 23 0 0 25 0 1 0 274847271 143380480 34908 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 35005 34908 66 113 0 34889 0
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (KiB) 140020
[startup+762.514 s]
/proc/loadavg: 0.99 0.98 0.99 2/70 2124
/proc/meminfo: memFree=1746616/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=145268 CPUtime=762.23
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 36257 0 0 0 76198 25 0 0 25 0 1 0 274847271 148754432 36241 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 36317 36241 66 113 0 36201 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 145268
[startup+822.534 s]
/proc/loadavg: 1.04 1.00 1.00 2/70 2124
/proc/meminfo: memFree=1740216/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=151600 CPUtime=822.23
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 37843 0 0 0 82197 26 0 0 25 0 1 0 274847271 155238400 37827 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 37900 37827 66 113 0 37784 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 151600
[startup+882.547 s]
/proc/loadavg: 1.09 1.02 1.01 2/70 2124
/proc/meminfo: memFree=1731512/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=160504 CPUtime=882.23
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 40032 0 0 0 88195 28 0 0 25 0 1 0 274847271 164356096 40016 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534138 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 40126 40016 66 113 0 40010 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 160504
[startup+942.561 s]
/proc/loadavg: 1.03 1.01 1.00 2/70 2124
/proc/meminfo: memFree=1723576/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=168240 CPUtime=942.22
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 41988 0 0 0 94192 30 0 0 25 0 1 0 274847271 172277760 41972 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 42060 41972 66 113 0 41944 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 168240
[startup+1002.58 s]
/proc/loadavg: 1.01 1.00 1.00 2/70 2124
/proc/meminfo: memFree=1717176/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=174576 CPUtime=1002.22
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 43592 0 0 0 100190 32 0 0 25 0 1 0 274847271 178765824 43576 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 43644 43576 66 113 0 43528 0
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (KiB) 174576
[startup+1062.59 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 2124
/proc/meminfo: memFree=1712568/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=179264 CPUtime=1062.23
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 44716 0 0 0 106189 34 0 0 25 0 1 0 274847271 183566336 44700 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591708 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 44816 44700 66 113 0 44700 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 179264
[startup+1122.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 2124
/proc/meminfo: memFree=1707896/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=183716 CPUtime=1122.22
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 45881 0 0 0 112187 35 0 0 25 0 1 0 274847271 188125184 45865 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 45929 45865 66 113 0 45813 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 183716
[startup+1182.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 2124
/proc/meminfo: memFree=1703608/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=188172 CPUtime=1182.22
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 46969 0 0 0 118185 37 0 0 25 0 1 0 274847271 192688128 46953 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 47043 46953 66 113 0 46927 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 188172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.45 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 2124
/proc/meminfo: memFree=1701048/2055888 swapFree=4086404/4096564
[pid=2022] ppid=2020 vsize=190748 CPUtime=1200.03
/proc/2022/stat : 2022 (tts-4-0) R 2020 2022 900 0 -1 4194304 47592 0 0 0 119966 37 0 0 25 0 1 0 274847271 195325952 47576 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2022/statm: 47687 47576 66 113 0 47571 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 190748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.48
CPU time (s): 1200.08
CPU user time (s): 1199.67
CPU system time (s): 0.406938
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 190748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.67
system time used= 0.406938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47592
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= 6
involuntary context switches= 1537
runsolver used 0.91586 second user time and 2.34364 second system time
The end
Begin job on node76 on Tue Feb 27 04:01:30 UTC 2007
IDJOB= 309871
IDBENCH= 20272
IDSOLVER= 98
FILE ID= node76/309871-1172548890
PBS_JOBID= 3971837
Free space on /tmp= 66646 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/309871-1172548890/tts-4-0 /tmp/evaluation/309871-1172548890/instance-309871-1172548890.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-309871-1172548890 -o ROOT/results/node76/solver-309871-1172548890 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309871-1172548890/tts-4-0 /tmp/evaluation/309871-1172548890/instance-309871-1172548890.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 1fb4312d0666ff719508e19a3e9de045
RANDOM SEED= 12388682
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.219
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 6006.18
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.219
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5999.41
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1891168 kB
Buffers: 17240 kB
Cached: 101324 kB
SwapCached: 4040 kB
Active: 49672 kB
Inactive: 80512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1891168 kB
SwapTotal: 4096564 kB
SwapFree: 4086404 kB
Dirty: 684 kB
Writeback: 0 kB
Mapped: 16768 kB
Slab: 20492 kB
Committed_AS: 1040692 kB
PageTables: 1660 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66646 MiB
End job on node76 on Tue Feb 27 04:21:32 UTC 2007