runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-302573-1172014636 -o ROOT/results/node70/solver-302573-1172014636 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/302573-1172014636/tts-4-0 /tmp/evaluation/302573-1172014636/instance-302573-1172014636.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/64 5555
/proc/meminfo: memFree=1713664/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=796 CPUtime=0
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 92 0 0 0 0 0 0 0 19 0 1 0 184264274 815104 77 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 199 77 57 113 0 83 0
[startup+0.107239 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5555
/proc/meminfo: memFree=1713664/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=2920 CPUtime=0.1
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 631 0 0 0 10 0 0 0 20 0 1 0 184264274 2990080 616 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134538269 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 730 616 59 113 0 614 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2920
[startup+0.517312 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5555
/proc/meminfo: memFree=1713664/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=5888 CPUtime=0.51
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 1336 0 0 0 51 0 0 0 23 0 1 0 184264274 6029312 1321 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 1472 1321 62 113 0 1356 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 5888
[startup+1.33946 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 5556
/proc/meminfo: memFree=1696440/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=27028 CPUtime=1.32
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 6709 0 0 0 130 2 0 0 25 0 1 0 184264274 27676672 6659 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 6757 6659 65 113 0 6641 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 27028
[startup+2.97576 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5556
/proc/meminfo: memFree=1669880/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=44228 CPUtime=2.96
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 11057 0 0 0 292 4 0 0 25 0 1 0 184264274 45289472 10942 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 11057 10942 66 113 0 10941 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 44228
[startup+6.25435 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5556
/proc/meminfo: memFree=1669560/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=44512 CPUtime=6.24
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 11152 0 0 0 620 4 0 0 25 0 1 0 184264274 45580288 11037 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591973 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 11128 11037 66 113 0 11012 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 44512
[startup+12.7075 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 5556
/proc/meminfo: memFree=1668544/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=45372 CPUtime=12.7
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 11372 0 0 0 1265 5 0 0 25 0 1 0 184264274 46460928 11257 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591672 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 11343 11257 66 113 0 11227 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45372
[startup+25.6078 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1667264/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=46672 CPUtime=25.59
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 11708 0 0 0 2554 5 0 0 25 0 1 0 184264274 47792128 11593 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 11668 11593 66 113 0 11552 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 46672
[startup+51.2155 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1664448/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=49544 CPUtime=51.18
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 12410 0 0 0 5113 5 0 0 25 0 1 0 184264274 50733056 12295 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 12386 12295 66 113 0 12270 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 49544
[startup+102.427 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1659264/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=54748 CPUtime=102.38
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 13699 0 0 0 10232 6 0 0 25 0 1 0 184264274 56061952 13584 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 13687 13584 66 113 0 13571 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 54748
[startup+162.444 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1653632/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=60288 CPUtime=162.37
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 15076 0 0 0 16230 7 0 0 25 0 1 0 184264274 61734912 14961 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 15072 14961 66 113 0 14956 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 60288
[startup+222.46 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1645824/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=68032 CPUtime=222.38
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 17032 0 0 0 22229 9 0 0 25 0 1 0 184264274 69664768 16917 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 17008 16917 66 113 0 16892 0
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (KiB) 68032
[startup+282.473 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1640064/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=73788 CPUtime=282.37
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 18461 0 0 0 28227 10 0 0 25 0 1 0 184264274 75558912 18346 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134537392 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 18447 18346 66 113 0 18331 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 73788
[startup+342.484 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1634304/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=79416 CPUtime=342.36
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 19874 0 0 0 34225 11 0 0 25 0 1 0 184264274 81321984 19759 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 19854 19759 66 113 0 19738 0
Current children cumulated CPU time (s) 342.36
Current children cumulated vsize (KiB) 79416
[startup+402.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1628736/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=85044 CPUtime=402.36
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 21281 0 0 0 40224 12 0 0 25 0 1 0 184264274 87085056 21166 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 21261 21166 66 113 0 21145 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 85044
[startup+462.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1623040/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=90672 CPUtime=462.35
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 22692 0 0 0 46222 13 0 0 25 0 1 0 184264274 92848128 22577 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 22668 22577 66 113 0 22552 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 90672
[startup+522.536 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1618112/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=95592 CPUtime=522.35
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 23942 0 0 0 52221 14 0 0 25 0 1 0 184264274 97886208 23827 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 23898 23827 66 113 0 23782 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 95592
[startup+582.554 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5556
/proc/meminfo: memFree=1612608/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=100984 CPUtime=582.35
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 25283 0 0 0 58220 15 0 0 25 0 1 0 184264274 103407616 25168 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534074 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 25246 25168 66 113 0 25130 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 100984
[startup+642.563 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5556
/proc/meminfo: memFree=1608000/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=105672 CPUtime=642.33
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 26443 0 0 0 64218 15 0 0 25 0 1 0 184264274 108208128 26328 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 26418 26328 66 113 0 26302 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 105672
[startup+702.581 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1602304/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=111532 CPUtime=702.33
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 27877 0 0 0 70217 16 0 0 25 0 1 0 184264274 114208768 27762 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591877 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 27883 27762 66 113 0 27767 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 111532
[startup+762.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1598784/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=114820 CPUtime=762.33
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 28741 0 0 0 76216 17 0 0 25 0 1 0 184264274 117575680 28626 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 28705 28626 66 113 0 28589 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 114820
[startup+822.615 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5556
/proc/meminfo: memFree=1595968/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=117632 CPUtime=822.33
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 29431 0 0 0 82215 18 0 0 25 0 1 0 184264274 120455168 29316 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 29408 29316 66 113 0 29292 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 117632
[startup+882.628 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5558
/proc/meminfo: memFree=1592512/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=121036 CPUtime=882.32
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 30296 0 0 0 88214 18 0 0 25 0 1 0 184264274 123940864 30181 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 30259 30181 66 113 0 30143 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 121036
[startup+942.643 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5558
/proc/meminfo: memFree=1589632/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=124084 CPUtime=942.31
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 31025 0 0 0 94212 19 0 0 25 0 1 0 184264274 127062016 30910 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 31021 30910 66 113 0 30905 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 124084
[startup+1002.66 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5558
/proc/meminfo: memFree=1586688/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=126896 CPUtime=1002.32
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 31736 0 0 0 100212 20 0 0 25 0 1 0 184264274 129941504 31621 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 31724 31621 66 113 0 31608 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 126896
[startup+1062.68 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5558
/proc/meminfo: memFree=1583552/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=129944 CPUtime=1062.31
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 32530 0 0 0 106211 20 0 0 25 0 1 0 184264274 133062656 32415 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534709 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 32486 32415 66 113 0 32370 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 129944
[startup+1122.69 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5558
/proc/meminfo: memFree=1580224/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=133468 CPUtime=1122.31
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 33360 0 0 0 112210 21 0 0 25 0 1 0 184264274 136671232 33245 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 33367 33245 66 113 0 33251 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 133468
[startup+1182.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5558
/proc/meminfo: memFree=1576960/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=136752 CPUtime=1182.3
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 34188 0 0 0 118208 22 0 0 25 0 1 0 184264274 140034048 34073 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 34188 34073 66 113 0 34072 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 136752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.43 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5558
/proc/meminfo: memFree=1576000/2055920 swapFree=4183148/4192956
[pid=5555] ppid=5553 vsize=137688 CPUtime=1200.02
/proc/5555/stat : 5555 (tts-4-0) R 5553 5555 5498 0 -1 4194304 34420 0 0 0 119980 22 0 0 25 0 1 0 184264274 140992512 34305 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/5555/statm: 34422 34305 66 113 0 34306 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 137688
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.45
CPU time (s): 1200.05
CPU user time (s): 1199.8
CPU system time (s): 0.248962
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 137688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.8
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34420
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= 5
involuntary context switches= 2572
runsolver used 0.948855 second user time and 2.25866 second system time
The end
Begin job on node70 on Tue Feb 20 23:37:16 UTC 2007
IDJOB= 302573
IDBENCH= 20087
IDSOLVER= 98
FILE ID= node70/302573-1172014636
PBS_JOBID= 3892687
Free space on /tmp= 66561 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v240/unif-k7-r85-v240-c20400-S1403172096-14.cnf
COMMAND LINE= /tmp/evaluation/302573-1172014636/tts-4-0 /tmp/evaluation/302573-1172014636/instance-302573-1172014636.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-302573-1172014636 -o ROOT/results/node70/solver-302573-1172014636 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/302573-1172014636/tts-4-0 /tmp/evaluation/302573-1172014636/instance-302573-1172014636.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= d431fc2ca1f52a92bf3b9c26794d0739
RANDOM SEED= 664743729
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node70.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.261
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.261
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: 1714072 kB
Buffers: 29276 kB
Cached: 256480 kB
SwapCached: 4128 kB
Active: 197020 kB
Inactive: 98532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714072 kB
SwapTotal: 4192956 kB
SwapFree: 4183148 kB
Dirty: 1300 kB
Writeback: 0 kB
Mapped: 15076 kB
Slab: 32388 kB
Committed_AS: 269780 kB
PageTables: 1396 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= 66561 MiB
End job on node70 on Tue Feb 20 23:57:18 UTC 2007