runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-300154-1171889606 -o ROOT/results/node16/solver-300154-1171889606 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300154-1171889606/tts-4-0 /tmp/evaluation/300154-1171889606/instance-300154-1171889606.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.88 3/77 29527
/proc/meminfo: memFree=952408/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=796 CPUtime=0
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 208915063 815104 99 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134630100 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 199 99 57 113 0 83 0
[startup+0.107214 s]
/proc/loadavg: 0.92 0.98 0.88 3/77 29527
/proc/meminfo: memFree=952408/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=3076 CPUtime=0.1
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 670 0 0 0 10 0 0 0 18 0 1 0 208915063 3149824 655 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 769 655 59 113 0 653 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3076
[startup+0.515166 s]
/proc/loadavg: 0.92 0.98 0.88 3/77 29527
/proc/meminfo: memFree=952408/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=11392 CPUtime=0.51
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 2761 0 0 0 50 1 0 0 21 0 1 0 208915063 11665408 2746 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 2848 2746 65 113 0 2732 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 11392
[startup+1.33507 s]
/proc/loadavg: 0.92 0.98 0.88 2/78 29528
/proc/meminfo: memFree=922000/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=33492 CPUtime=1.33
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 8293 0 0 0 130 3 0 0 25 0 1 0 208915063 34295808 8243 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 8373 8243 66 113 0 8257 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 33492
[startup+2.97488 s]
/proc/loadavg: 0.92 0.98 0.88 2/78 29528
/proc/meminfo: memFree=916880/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=36216 CPUtime=2.96
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 8988 0 0 0 293 3 0 0 25 0 1 0 208915063 37085184 8938 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 9054 8938 66 113 0 8938 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 36216
[startup+6.2505 s]
/proc/loadavg: 0.93 0.98 0.88 2/78 29528
/proc/meminfo: memFree=916112/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=37012 CPUtime=6.24
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 9188 0 0 0 621 3 0 0 25 0 1 0 208915063 37900288 9138 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 9253 9138 66 113 0 9137 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 37012
[startup+12.7058 s]
/proc/loadavg: 0.93 0.98 0.88 2/78 29528
/proc/meminfo: memFree=915472/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=37404 CPUtime=12.69
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 9292 0 0 0 1266 3 0 0 25 0 1 0 208915063 38301696 9242 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 9351 9242 66 113 0 9235 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37404
[startup+25.6073 s]
/proc/loadavg: 0.95 0.98 0.88 2/78 29528
/proc/meminfo: memFree=914832/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=38044 CPUtime=25.59
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 9459 0 0 0 2556 3 0 0 25 0 1 0 208915063 38957056 9409 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 9511 9409 66 113 0 9395 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 38044
[startup+51.2113 s]
/proc/loadavg: 0.96 0.98 0.89 2/78 29528
/proc/meminfo: memFree=912912/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=40072 CPUtime=51.2
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 9939 0 0 0 5116 4 0 0 25 0 1 0 208915063 41033728 9889 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134536071 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 10018 9889 66 113 0 9902 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 40072
[startup+102.417 s]
/proc/loadavg: 0.98 0.98 0.89 2/78 29528
/proc/meminfo: memFree=910096/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=42896 CPUtime=102.41
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 10625 0 0 0 10236 5 0 0 25 0 1 0 208915063 43925504 10575 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 10724 10575 66 113 0 10608 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 42896
[startup+162.428 s]
/proc/loadavg: 0.99 0.98 0.90 2/78 29528
/proc/meminfo: memFree=901520/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=51356 CPUtime=162.42
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 12753 0 0 0 16235 7 0 0 25 0 1 0 208915063 52588544 12703 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591676 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 12839 12703 66 113 0 12723 0
Current children cumulated CPU time (s) 162.42
Current children cumulated vsize (KiB) 51356
[startup+222.439 s]
/proc/loadavg: 0.99 0.98 0.90 2/78 29528
/proc/meminfo: memFree=895376/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=57456 CPUtime=222.42
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 14289 0 0 0 22234 8 0 0 25 0 1 0 208915063 58834944 14239 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591676 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 14364 14239 66 113 0 14248 0
Current children cumulated CPU time (s) 222.42
Current children cumulated vsize (KiB) 57456
[startup+282.449 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 29528
/proc/meminfo: memFree=887440/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=65320 CPUtime=282.43
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 16260 0 0 0 28234 9 0 0 25 0 1 0 208915063 66887680 16210 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 16330 16210 66 113 0 16214 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 65320
[startup+342.46 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 29528
/proc/meminfo: memFree=881680/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=71072 CPUtime=342.44
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 17676 0 0 0 34233 11 0 0 25 0 1 0 208915063 72777728 17626 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 17768 17626 66 113 0 17652 0
Current children cumulated CPU time (s) 342.44
Current children cumulated vsize (KiB) 71072
[startup+402.481 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 29528
/proc/meminfo: memFree=872656/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=80228 CPUtime=402.46
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 19970 0 0 0 40233 13 0 0 25 0 1 0 208915063 82153472 19920 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 20057 19920 66 113 0 19941 0
Current children cumulated CPU time (s) 402.46
Current children cumulated vsize (KiB) 80228
[startup+462.494 s]
/proc/loadavg: 0.99 0.98 0.91 2/84 29594
/proc/meminfo: memFree=863560/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=87868 CPUtime=462.43
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 21894 0 0 0 46228 15 0 0 25 0 1 0 208915063 89976832 21844 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 21967 21844 66 113 0 21851 0
Current children cumulated CPU time (s) 462.43
Current children cumulated vsize (KiB) 87868
[startup+522.531 s]
/proc/loadavg: 0.99 0.98 0.91 2/84 29686
/proc/meminfo: memFree=857752/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=93624 CPUtime=522.42
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 23357 0 0 0 52225 17 0 0 25 0 1 0 208915063 95870976 23307 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 23406 23307 66 113 0 23290 0
Current children cumulated CPU time (s) 522.42
Current children cumulated vsize (KiB) 93624
[startup+582.553 s]
/proc/loadavg: 1.06 1.00 0.91 2/78 29726
/proc/meminfo: memFree=853520/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=99020 CPUtime=582.41
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 24682 0 0 0 58223 18 0 0 25 0 1 0 208915063 101396480 24632 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641316 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 24755 24632 66 113 0 24639 0
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (KiB) 99020
[startup+642.564 s]
/proc/loadavg: 1.02 1.00 0.91 2/78 29726
/proc/meminfo: memFree=848592/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=103944 CPUtime=642.42
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 25915 0 0 0 64223 19 0 0 25 0 1 0 208915063 106438656 25865 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 25986 25865 66 113 0 25870 0
Current children cumulated CPU time (s) 642.42
Current children cumulated vsize (KiB) 103944
[startup+702.575 s]
/proc/loadavg: 1.01 1.00 0.91 2/78 29726
/proc/meminfo: memFree=844496/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=108164 CPUtime=702.44
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 26946 0 0 0 70223 21 0 0 25 0 1 0 208915063 110759936 26896 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 27041 26896 66 113 0 26925 0
Current children cumulated CPU time (s) 702.44
Current children cumulated vsize (KiB) 108164
[startup+762.587 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=839376/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=113088 CPUtime=762.45
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 28228 0 0 0 76223 22 0 0 25 0 1 0 208915063 115802112 28178 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 28272 28178 66 113 0 28156 0
Current children cumulated CPU time (s) 762.45
Current children cumulated vsize (KiB) 113088
[startup+822.602 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=834704/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=118012 CPUtime=822.45
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 29406 0 0 0 82222 23 0 0 25 0 1 0 208915063 120844288 29356 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 29503 29356 66 113 0 29387 0
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (KiB) 118012
[startup+882.612 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=830160/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=122464 CPUtime=882.46
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 30537 0 0 0 88221 25 0 0 25 0 1 0 208915063 125403136 30487 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 30616 30487 66 113 0 30500 0
Current children cumulated CPU time (s) 882.46
Current children cumulated vsize (KiB) 122464
[startup+942.619 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=825424/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=127156 CPUtime=942.46
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 31715 0 0 0 94219 27 0 0 25 0 1 0 208915063 130207744 31665 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 31789 31665 66 113 0 31673 0
Current children cumulated CPU time (s) 942.46
Current children cumulated vsize (KiB) 127156
[startup+1002.63 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=821136/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=131372 CPUtime=1002.48
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 32793 0 0 0 100220 28 0 0 25 0 1 0 208915063 134524928 32743 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 32843 32743 66 113 0 32727 0
Current children cumulated CPU time (s) 1002.48
Current children cumulated vsize (KiB) 131372
[startup+1062.65 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=817040/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=135596 CPUtime=1062.49
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 33837 0 0 0 106219 30 0 0 25 0 1 0 208915063 138850304 33787 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534197 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 33899 33787 66 113 0 33783 0
Current children cumulated CPU time (s) 1062.49
Current children cumulated vsize (KiB) 135596
[startup+1122.66 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=813456/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=139344 CPUtime=1122.5
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 34742 0 0 0 112219 31 0 0 25 0 1 0 208915063 142688256 34692 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 34836 34692 66 113 0 34720 0
Current children cumulated CPU time (s) 1122.5
Current children cumulated vsize (KiB) 139344
[startup+1182.67 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=809488/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=143328 CPUtime=1182.5
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 35742 0 0 0 118218 32 0 0 25 0 1 0 208915063 146767872 35692 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 35832 35692 66 113 0 35716 0
Current children cumulated CPU time (s) 1182.5
Current children cumulated vsize (KiB) 143328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.18 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 29726
/proc/meminfo: memFree=807632/2055920 swapFree=4192812/4192956
[pid=29527] ppid=29525 vsize=144968 CPUtime=1200.02
/proc/29527/stat : 29527 (tts-4-0) R 29525 29527 29374 0 -1 4194304 36179 0 0 0 119969 33 0 0 25 0 1 0 208915063 148447232 36129 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/29527/statm: 36242 36129 66 113 0 36126 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 144968
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.21
CPU time (s): 1200.06
CPU user time (s): 1199.7
CPU system time (s): 0.360945
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 144968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.7
system time used= 0.360945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36179
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= 14149
runsolver used 1.35879 second user time and 2.72959 second system time
The end
Begin job on node16 on Mon Feb 19 12:53:26 UTC 2007
IDJOB= 300154
IDBENCH= 20028
IDSOLVER= 98
FILE ID= node16/300154-1171889606
PBS_JOBID= 3848814
Free space on /tmp= 66549 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S451874538-03.cnf
COMMAND LINE= /tmp/evaluation/300154-1171889606/tts-4-0 /tmp/evaluation/300154-1171889606/instance-300154-1171889606.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-300154-1171889606 -o ROOT/results/node16/solver-300154-1171889606 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300154-1171889606/tts-4-0 /tmp/evaluation/300154-1171889606/instance-300154-1171889606.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= b6aca15ed8a230faad9ee6e965dd3a42
RANDOM SEED= 557859245
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.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.281
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.281
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: 952944 kB
Buffers: 69628 kB
Cached: 900188 kB
SwapCached: 0 kB
Active: 353780 kB
Inactive: 669576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 952944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 920 kB
Writeback: 0 kB
Mapped: 72440 kB
Slab: 65316 kB
Committed_AS: 943080 kB
PageTables: 1720 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= 66549 MiB
End job on node16 on Mon Feb 19 13:13:30 UTC 2007