runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-319399-1173030218 -o ROOT/results/node5/solver-319399-1173030218 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319399-1173030218/mmisat /tmp/evaluation/319399-1173030218/instance-319399-1173030218.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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.98 0.96 0.71 3/77 652
/proc/meminfo: memFree=1396512/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=2496 CPUtime=0
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 470 0 0 0 0 0 0 0 18 0 1 0 322976585 2555904 453 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 624 458 80 214 0 406 0
[startup+0.0639431 s]
/proc/loadavg: 0.98 0.96 0.71 3/77 652
/proc/meminfo: memFree=1396512/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=17812 CPUtime=0.05
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 4323 0 0 0 4 1 0 0 18 0 1 0 322976585 18239488 4306 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 4453 4309 80 214 0 4235 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17812
[startup+0.101948 s]
/proc/loadavg: 0.98 0.96 0.71 3/77 652
/proc/meminfo: memFree=1396512/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=25328 CPUtime=0.09
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 6202 0 0 0 7 2 0 0 18 0 1 0 322976585 25935872 6185 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 6332 6185 80 214 0 6114 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25328
[startup+0.30197 s]
/proc/loadavg: 0.98 0.96 0.71 3/77 652
/proc/meminfo: memFree=1396512/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=53936 CPUtime=0.29
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 13333 0 0 0 24 5 0 0 19 0 1 0 322976585 55230464 13316 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 13484 13322 80 214 0 13266 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53936
[startup+0.702015 s]
/proc/loadavg: 0.98 0.96 0.71 3/77 652
/proc/meminfo: memFree=1396512/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=91936 CPUtime=0.69
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 22854 0 0 0 60 9 0 0 22 0 1 0 322976585 94142464 22837 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 22984 22837 80 214 0 22766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91936
[startup+1.50111 s]
/proc/loadavg: 0.98 0.96 0.71 2/78 653
/proc/meminfo: memFree=1281624/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=144820 CPUtime=1.49
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 36075 0 0 0 134 15 0 0 25 0 1 0 322976585 148295680 36058 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 36205 36058 80 214 0 35987 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144820
[startup+3.10128 s]
/proc/loadavg: 0.98 0.96 0.71 2/78 653
/proc/meminfo: memFree=1224536/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=210420 CPUtime=3.09
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 52451 0 0 0 287 22 0 0 25 0 1 0 322976585 215470080 52434 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 52605 52434 80 214 0 52387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210420
[startup+6.30164 s]
/proc/loadavg: 0.98 0.96 0.71 2/78 653
/proc/meminfo: memFree=1128216/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=283244 CPUtime=6.29
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 70669 0 0 0 600 29 0 0 25 0 1 0 322976585 290041856 70652 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 70811 70652 80 214 0 70593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 283244
[startup+12.7014 s]
/proc/loadavg: 0.98 0.96 0.72 2/78 653
/proc/meminfo: memFree=1051736/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=350432 CPUtime=12.69
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 87478 0 0 0 1232 37 0 0 25 0 1 0 322976585 358842368 87461 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 87608 87461 80 214 0 87390 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 350432
[startup+25.5028 s]
/proc/loadavg: 0.98 0.96 0.72 2/78 653
/proc/meminfo: memFree=966616/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=431348 CPUtime=25.48
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 107683 0 0 0 2503 45 0 0 25 0 1 0 322976585 441700352 107666 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 107837 107666 80 214 0 107619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 431348
[startup+51.1027 s]
/proc/loadavg: 0.99 0.97 0.73 2/78 653
/proc/meminfo: memFree=859992/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=538416 CPUtime=51.07
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 134475 0 0 0 5052 55 0 0 25 0 1 0 322976585 551337984 134458 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517205 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 134604 134458 80 214 0 134386 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 538416
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.74 2/78 653
/proc/meminfo: memFree=707288/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=688980 CPUtime=102.27
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 172115 0 0 0 10158 69 0 0 25 0 1 0 322976585 705515520 172098 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 172245 172098 80 214 0 172027 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 688980
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.75 2/78 653
/proc/meminfo: memFree=573656/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=823500 CPUtime=162.25
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 205721 0 0 0 16145 80 0 0 25 0 1 0 322976585 843264000 205704 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 205875 205704 80 214 0 205657 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 823500
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.76 2/78 653
/proc/meminfo: memFree=459416/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=936492 CPUtime=222.23
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 233981 0 0 0 22131 92 0 0 25 0 1 0 322976585 958967808 233964 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 234123 233964 80 214 0 233905 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 936492
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.77 2/78 653
/proc/meminfo: memFree=360536/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1035904 CPUtime=282.22
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 258846 0 0 0 28121 101 0 0 25 0 1 0 322976585 1060765696 258829 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 258976 258829 80 214 0 258758 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1035904
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.78 2/78 653
/proc/meminfo: memFree=267608/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1127800 CPUtime=342.2
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 281820 0 0 0 34111 109 0 0 25 0 1 0 322976585 1154867200 281803 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 281950 281803 80 214 0 281732 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1127800
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.80 2/78 653
/proc/meminfo: memFree=184088/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1212184 CPUtime=402.18
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 302904 0 0 0 40102 116 0 0 25 0 1 0 322976585 1241276416 302887 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 303046 302887 80 214 0 302828 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1212184
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.81 2/78 653
/proc/meminfo: memFree=103896/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1291224 CPUtime=462.16
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 322664 0 0 0 46092 124 0 0 25 0 1 0 322976585 1322213376 322647 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 322806 322647 80 214 0 322588 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1291224
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.82 3/78 653
/proc/meminfo: memFree=29144/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1366648 CPUtime=522.15
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 341508 0 0 0 52084 131 0 0 25 0 1 0 322976585 1399447552 341491 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 341662 341491 80 214 0 341444 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1366648
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.82 2/78 653
/proc/meminfo: memFree=15000/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1435860 CPUtime=582.13
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 358811 0 0 0 58075 138 0 0 25 0 1 0 322976585 1470320640 358794 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 358965 358794 80 214 0 358747 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1435860
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.83 2/78 653
/proc/meminfo: memFree=16280/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1505216 CPUtime=642.12
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 376174 0 0 0 64068 144 0 0 25 0 1 0 322976585 1541341184 376157 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 376304 376157 80 214 0 376086 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1505216
[startup+702.301 s]
/proc/loadavg: 1.05 0.99 0.84 2/78 653
/proc/meminfo: memFree=16600/2055920 swapFree=4192812/4192956
[pid=652] ppid=650 vsize=1568360 CPUtime=702.1
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 391960 0 0 0 70059 151 0 0 25 0 1 0 322976585 1606000640 391943 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 392090 391943 80 214 0 391872 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1568360
[startup+762.309 s]
/proc/loadavg: 1.02 0.99 0.85 3/78 653
/proc/meminfo: memFree=14808/2055920 swapFree=4192604/4192956
[pid=652] ppid=650 vsize=1629768 CPUtime=762.1
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 407300 0 0 0 76051 159 0 0 25 0 1 0 322976585 1668882432 407283 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 407442 407283 80 214 0 407224 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1629768
[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.85 2/78 653
/proc/meminfo: memFree=15384/2055920 swapFree=4192148/4192956
[pid=652] ppid=650 vsize=1689732 CPUtime=822.04
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 422303 0 0 0 82039 165 0 0 25 0 1 0 322976585 1730285568 422286 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 422433 422286 80 214 0 422215 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1689732
[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.86 2/78 653
/proc/meminfo: memFree=15256/2055920 swapFree=4192148/4192956
[pid=652] ppid=650 vsize=1746372 CPUtime=882.01
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 436439 0 0 0 88032 169 0 0 25 0 1 0 322976585 1788284928 436422 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 436593 436422 80 214 0 436375 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 1746372
[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.87 2/78 653
/proc/meminfo: memFree=15000/2055920 swapFree=4192148/4192956
[pid=652] ppid=650 vsize=1804024 CPUtime=942
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 450852 0 0 0 94026 174 0 0 25 0 1 0 322976585 1847320576 450835 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 451006 450835 80 214 0 450788 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1804024
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+986.601 s]
/proc/loadavg: 1.00 0.99 0.87 2/78 653
/proc/meminfo: memFree=14936/2055920 swapFree=4192148/4192956
[pid=652] ppid=650 vsize=1843328 CPUtime=986.29
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4194304 460678 0 0 0 98451 178 0 0 25 0 1 0 322976585 1887567872 460661 18446744073709551615 134512640 135391789 4294956704 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 460832 460661 80 214 0 460614 0
Current children cumulated CPU time (s) 986.29
Current children cumulated vsize (KiB) 1843328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+986.801 s]
/proc/loadavg: 1.00 0.99 0.87 2/78 653
/proc/meminfo: memFree=14936/2055920 swapFree=4192148/4192956
[pid=652] ppid=650 vsize=0 CPUtime=986.49
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4195332 460678 0 0 0 98451 198 0 0 25 0 1 0 322976585 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 986.49
Current children cumulated vsize (KiB) 0
[startup+986.901 s]
/proc/loadavg: 1.00 0.99 0.87 2/78 653
/proc/meminfo: memFree=14936/2055920 swapFree=4192148/4192956
[pid=652] ppid=650 vsize=0 CPUtime=986.59
/proc/652/stat : 652 (mmisat) R 650 652 508 0 -1 4195332 460678 0 0 0 98451 208 0 0 25 0 1 0 322976585 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/652/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 986.59
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 986.905
CPU time (s): 986.601
CPU user time (s): 984.517
CPU system time (s): 2.08368
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1843328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 984.517
system time used= 2.08368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460678
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= 1606
runsolver used 1.07684 second user time and 2.52262 second system time
The end
Begin job on node5 on Sun Mar 4 17:43:38 UTC 2007
IDJOB= 319399
IDBENCH= 20478
IDSOLVER= 108
FILE ID= node5/319399-1173030218
PBS_JOBID= 4012247
Free space on /tmp= 66537 MiB
SOLVER NAME= Mmisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/crypto/mizh-md5-47-4.cnf
COMMAND LINE= /tmp/evaluation/319399-1173030218/mmisat /tmp/evaluation/319399-1173030218/instance-319399-1173030218.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-319399-1173030218 -o ROOT/results/node5/solver-319399-1173030218 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319399-1173030218/mmisat /tmp/evaluation/319399-1173030218/instance-319399-1173030218.cnf
META MD5SUM SOLVER= f0471644c1818c6834832b41e70bf7e6
MD5SUM BENCH= b0a37265834986ac9165bda379d279fd
RANDOM SEED= 551700375
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node5.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.224
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.224
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1396920 kB
Buffers: 44576 kB
Cached: 496772 kB
SwapCached: 0 kB
Active: 188352 kB
Inactive: 400352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1396920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6528 kB
Writeback: 0 kB
Mapped: 66296 kB
Slab: 55948 kB
Committed_AS: 1147660 kB
PageTables: 1700 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= 66537 MiB
End job on node5 on Sun Mar 4 18:00:07 UTC 2007