runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-299826-1171878096 -o ROOT/results/node75/solver-299826-1171878096 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/299826-1171878096/tts-4-0 /tmp/evaluation/299826-1171878096/instance-299826-1171878096.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.93 0.99 0.99 3/64 26919
/proc/meminfo: memFree=709680/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=928 CPUtime=0
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 129 0 0 0 0 0 0 0 19 0 1 0 207775429 950272 114 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 232 114 59 113 0 116 0
[startup+0.107085 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 26919
/proc/meminfo: memFree=709680/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=2932 CPUtime=0.1
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 636 0 0 0 10 0 0 0 20 0 1 0 207775429 3002368 621 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 733 622 66 113 0 617 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2932
[startup+0.515133 s]
/proc/loadavg: 0.93 0.99 0.99 3/64 26919
/proc/meminfo: memFree=709680/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=3072 CPUtime=0.51
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 690 0 0 0 51 0 0 0 24 0 1 0 207775429 3145728 673 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 768 673 66 113 0 652 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3072
[startup+1.34124 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 26920
/proc/meminfo: memFree=706728/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=3620 CPUtime=1.33
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 821 0 0 0 133 0 0 0 25 0 1 0 207775429 3706880 804 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 905 804 66 113 0 789 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3620
[startup+2.97742 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 26920
/proc/meminfo: memFree=706024/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=4496 CPUtime=2.97
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 1042 0 0 0 297 0 0 0 25 0 1 0 207775429 4603904 1025 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134537410 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 1124 1025 66 113 0 1008 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 4496
[startup+6.25381 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 26920
/proc/meminfo: memFree=704296/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=6152 CPUtime=6.24
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 1452 0 0 0 624 0 0 0 25 0 1 0 207775429 6299648 1435 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 1538 1435 66 113 0 1422 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 6152
[startup+12.7086 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 26920
/proc/meminfo: memFree=700592/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=9668 CPUtime=12.69
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 2321 0 0 0 1269 0 0 0 25 0 1 0 207775429 9900032 2304 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641318 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 2417 2304 66 113 0 2301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9668
[startup+25.6091 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 26920
/proc/meminfo: memFree=693360/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=16944 CPUtime=25.59
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 4144 0 0 0 2558 1 0 0 25 0 1 0 207775429 17350656 4127 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 4236 4127 66 113 0 4120 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 16944
[startup+51.2161 s]
/proc/loadavg: 0.97 0.99 0.99 2/65 26920
/proc/meminfo: memFree=677296/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=33124 CPUtime=51.19
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 8180 0 0 0 5116 3 0 0 25 0 1 0 207775429 33918976 8163 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543324 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 8281 8163 66 113 0 8165 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 33124
[startup+102.426 s]
/proc/loadavg: 0.98 0.99 0.99 2/65 26920
/proc/meminfo: memFree=659312/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=50872 CPUtime=102.38
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 12626 0 0 0 10234 4 0 0 25 0 1 0 207775429 52092928 12609 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 12718 12609 66 113 0 12602 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 50872
[startup+162.445 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 26920
/proc/meminfo: memFree=638576/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=71264 CPUtime=162.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 17742 0 0 0 16232 7 0 0 25 0 1 0 207775429 72974336 17725 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591688 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 17816 17725 66 113 0 17700 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 71264
[startup+222.464 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 26920
/proc/meminfo: memFree=620656/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=89088 CPUtime=222.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 22212 0 0 0 22229 10 0 0 25 0 1 0 207775429 91226112 22195 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 22272 22195 66 113 0 22156 0
Current children cumulated CPU time (s) 222.39
Current children cumulated vsize (KiB) 89088
[startup+282.481 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 26920
/proc/meminfo: memFree=606704/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=103152 CPUtime=282.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 25704 0 0 0 28227 12 0 0 25 0 1 0 207775429 105627648 25687 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591807 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 25788 25687 66 113 0 25672 0
Current children cumulated CPU time (s) 282.39
Current children cumulated vsize (KiB) 103152
[startup+342.499 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 26920
/proc/meminfo: memFree=593904/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=115808 CPUtime=342.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 28853 0 0 0 34225 14 0 0 25 0 1 0 207775429 118587392 28836 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 28952 28836 66 113 0 28836 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 115808
[startup+402.522 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=581104/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=128468 CPUtime=402.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 32068 0 0 0 40224 15 0 0 25 0 1 0 207775429 131551232 32051 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535181 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 32117 32051 66 113 0 32001 0
Current children cumulated CPU time (s) 402.39
Current children cumulated vsize (KiB) 128468
[startup+462.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=569584/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=139956 CPUtime=462.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 34940 0 0 0 46222 17 0 0 25 0 1 0 207775429 143314944 34923 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 34989 34923 66 113 0 34873 0
Current children cumulated CPU time (s) 462.39
Current children cumulated vsize (KiB) 139956
[startup+522.554 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=558448/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=151204 CPUtime=522.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 37739 0 0 0 52221 18 0 0 25 0 1 0 207775429 154832896 37722 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 37801 37722 66 113 0 37685 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 151204
[startup+582.574 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=551664/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=157768 CPUtime=582.4
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 39390 0 0 0 58221 19 0 0 25 0 1 0 207775429 161554432 39373 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534420 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 39442 39373 66 113 0 39326 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 157768
[startup+642.59 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=543984/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=165504 CPUtime=642.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 41306 0 0 0 64219 20 0 0 25 0 1 0 207775429 169476096 41289 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 41376 41289 66 113 0 41260 0
Current children cumulated CPU time (s) 642.39
Current children cumulated vsize (KiB) 165504
[startup+702.605 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=536368/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=173240 CPUtime=702.38
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 43208 0 0 0 70217 21 0 0 25 0 1 0 207775429 177397760 43191 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 43310 43191 66 113 0 43194 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 173240
[startup+762.623 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=525488/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=184020 CPUtime=762.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 45909 0 0 0 76215 24 0 0 25 0 1 0 207775429 188436480 45892 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 46005 45892 66 113 0 45889 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 184020
[startup+822.643 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=515312/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=194100 CPUtime=822.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 48450 0 0 0 82213 26 0 0 25 0 1 0 207775429 198758400 48433 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 48525 48433 66 113 0 48409 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 194100
[startup+882.661 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=508080/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=201388 CPUtime=882.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 50281 0 0 0 88211 28 0 0 25 0 1 0 207775429 206221312 50264 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 50347 50264 66 113 0 50231 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 201388
[startup+942.681 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=496688/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=212876 CPUtime=942.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 53126 0 0 0 94209 30 0 0 25 0 1 0 207775429 217985024 53109 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 53219 53109 66 113 0 53103 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 212876
[startup+1002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=486768/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=222720 CPUtime=1002.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 55584 0 0 0 100208 31 0 0 25 0 1 0 207775429 228065280 55567 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 55680 55567 66 113 0 55564 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 222720
[startup+1062.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=477424/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=231864 CPUtime=1062.39
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 57914 0 0 0 106206 33 0 0 25 0 1 0 207775429 237428736 57897 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534074 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 57966 57897 66 113 0 57850 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 231864
[startup+1122.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26920
/proc/meminfo: memFree=468848/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=240536 CPUtime=1122.4
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 60081 0 0 0 112205 35 0 0 25 0 1 0 207775429 246308864 60064 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 60134 60064 66 113 0 60018 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 240536
[startup+1182.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 27002
/proc/meminfo: memFree=460536/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=247800 CPUtime=1182.38
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 61868 0 0 0 118201 37 0 0 25 0 1 0 207775429 253747200 61851 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 61950 61851 66 113 0 61834 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 247800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 27028
/proc/meminfo: memFree=457920/2055920 swapFree=4183176/4192956
[pid=26919] ppid=26917 vsize=250144 CPUtime=1200.08
/proc/26919/stat : 26919 (tts-4-0) R 26917 26919 25555 0 -1 4194304 62482 0 0 0 119971 37 0 0 25 0 1 0 207775429 256147456 62465 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/26919/statm: 62536 62465 66 113 0 62420 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 250144
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.53
CPU time (s): 1200.13
CPU user time (s): 1199.72
CPU system time (s): 0.413937
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 250144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.72
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62482
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= 921
runsolver used 0.812876 second user time and 2.42363 second system time
The end
Begin job on node75 on Mon Feb 19 09:41:36 UTC 2007
IDJOB= 299826
IDBENCH= 20020
IDSOLVER= 98
FILE ID= node75/299826-1171878096
PBS_JOBID= 3839767
Free space on /tmp= 66563 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v400/unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/299826-1171878096/tts-4-0 /tmp/evaluation/299826-1171878096/instance-299826-1171878096.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-299826-1171878096 -o ROOT/results/node75/solver-299826-1171878096 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/299826-1171878096/tts-4-0 /tmp/evaluation/299826-1171878096/instance-299826-1171878096.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 3a08d8a4e83b1d2d972d4be84e7630c8
RANDOM SEED= 911362479
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node75.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 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.218
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 : 5914.62
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 710024 kB
Buffers: 51540 kB
Cached: 1171532 kB
SwapCached: 3920 kB
Active: 822052 kB
Inactive: 410848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 710024 kB
SwapTotal: 4192956 kB
SwapFree: 4183176 kB
Dirty: 560 kB
Writeback: 0 kB
Mapped: 15692 kB
Slab: 98932 kB
Committed_AS: 637156 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node75 on Mon Feb 19 10:01:38 UTC 2007