runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-300359-1171901242 -o ROOT/results/node3/solver-300359-1171901242 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300359-1171901242/tts-4-0 /tmp/evaluation/300359-1171901242/instance-300359-1171901242.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 1.09 3/77 3300
/proc/meminfo: memFree=775400/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=796 CPUtime=0
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 210079100 815104 96 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 199 96 57 113 0 83 0
[startup+0.106723 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 3300
/proc/meminfo: memFree=775400/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=3076 CPUtime=0.1
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 676 0 0 0 10 0 0 0 18 0 1 0 210079100 3149824 661 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134538267 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 769 661 59 113 0 653 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3076
[startup+0.514758 s]
/proc/loadavg: 0.92 0.98 1.09 3/77 3300
/proc/meminfo: memFree=775400/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=11856 CPUtime=0.5
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 2868 0 0 0 49 1 0 0 21 0 1 0 210079100 12140544 2853 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 2964 2854 65 113 0 2848 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 11856
[startup+1.33482 s]
/proc/loadavg: 0.93 0.98 1.09 2/78 3301
/proc/meminfo: memFree=743648/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=34676 CPUtime=1.33
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 8596 0 0 0 129 4 0 0 25 0 1 0 210079100 35508224 8546 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 8669 8547 66 113 0 8553 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 34676
[startup+2.97096 s]
/proc/loadavg: 0.93 0.98 1.09 2/78 3301
/proc/meminfo: memFree=739488/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=36704 CPUtime=2.96
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 9115 0 0 0 292 4 0 0 25 0 1 0 210079100 37584896 9065 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591986 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 9176 9065 66 113 0 9060 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 36704
[startup+6.24723 s]
/proc/loadavg: 0.93 0.98 1.09 2/78 3301
/proc/meminfo: memFree=738784/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=37096 CPUtime=6.23
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 9208 0 0 0 619 4 0 0 25 0 1 0 210079100 37986304 9158 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134543362 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 9274 9158 66 113 0 9158 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 37096
[startup+12.7038 s]
/proc/loadavg: 0.94 0.98 1.09 2/78 3301
/proc/meminfo: memFree=738144/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=37624 CPUtime=12.69
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 9343 0 0 0 1265 4 0 0 25 0 1 0 210079100 38526976 9293 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 9406 9293 66 113 0 9290 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37624
[startup+25.5088 s]
/proc/loadavg: 0.95 0.98 1.08 2/78 3301
/proc/meminfo: memFree=737760/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=38124 CPUtime=25.49
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 9468 0 0 0 2544 5 0 0 25 0 1 0 210079100 39038976 9418 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513482 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 9531 9418 66 113 0 9415 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38124
[startup+51.1169 s]
/proc/loadavg: 0.97 0.98 1.08 2/78 3301
/proc/meminfo: memFree=735968/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=39632 CPUtime=51.09
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 9881 0 0 0 5104 5 0 0 25 0 1 0 210079100 40583168 9831 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 9908 9831 66 113 0 9792 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39632
[startup+102.333 s]
/proc/loadavg: 0.98 0.98 1.08 2/78 3301
/proc/meminfo: memFree=732640/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=42932 CPUtime=102.3
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 10709 0 0 0 10224 6 0 0 25 0 1 0 210079100 43962368 10659 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134542858 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 10733 10659 66 113 0 10617 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 42932
[startup+162.359 s]
/proc/loadavg: 0.99 0.98 1.07 2/78 3301
/proc/meminfo: memFree=727456/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=48232 CPUtime=162.3
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 11989 0 0 0 16223 7 0 0 25 0 1 0 210079100 49389568 11939 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641326 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 12058 11939 66 113 0 11942 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 48232
[startup+222.385 s]
/proc/loadavg: 0.99 0.98 1.06 2/78 3301
/proc/meminfo: memFree=723104/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=52416 CPUtime=222.31
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 13066 0 0 0 22223 8 0 0 25 0 1 0 210079100 53673984 13016 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535630 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 13104 13016 66 113 0 12988 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 52416
[startup+282.406 s]
/proc/loadavg: 0.99 0.98 1.06 2/78 3301
/proc/meminfo: memFree=716128/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=59340 CPUtime=282.32
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 14805 0 0 0 28222 10 0 0 25 0 1 0 210079100 60764160 14755 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641339 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 14835 14755 66 113 0 14719 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 59340
[startup+342.431 s]
/proc/loadavg: 0.99 0.98 1.05 2/78 3301
/proc/meminfo: memFree=712352/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=63336 CPUtime=342.33
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 15756 0 0 0 34222 11 0 0 25 0 1 0 210079100 64856064 15706 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534122 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 15834 15706 66 113 0 15718 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 63336
[startup+402.459 s]
/proc/loadavg: 0.99 0.98 1.05 2/78 3301
/proc/meminfo: memFree=706656/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=68872 CPUtime=402.34
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 17155 0 0 0 40222 12 0 0 25 0 1 0 210079100 70524928 17105 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 17218 17105 66 113 0 17102 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 68872
[startup+462.485 s]
/proc/loadavg: 0.99 0.98 1.04 2/78 3301
/proc/meminfo: memFree=703328/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=72156 CPUtime=462.35
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 18004 0 0 0 46222 13 0 0 25 0 1 0 210079100 73887744 17954 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641296 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 18039 17954 66 113 0 17923 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 72156
[startup+522.515 s]
/proc/loadavg: 0.99 0.98 1.04 2/78 3301
/proc/meminfo: memFree=698848/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=76844 CPUtime=522.37
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 19147 0 0 0 52223 14 0 0 25 0 1 0 210079100 78688256 19097 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134536115 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 19211 19097 66 113 0 19095 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 76844
[startup+582.541 s]
/proc/loadavg: 0.99 0.98 1.03 2/78 3301
/proc/meminfo: memFree=693856/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=81776 CPUtime=582.38
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 20375 0 0 0 58223 15 0 0 25 0 1 0 210079100 83738624 20325 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134542968 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 20444 20325 66 113 0 20328 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 81776
[startup+642.569 s]
/proc/loadavg: 0.99 0.98 1.02 2/78 3301
/proc/meminfo: memFree=690400/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=85056 CPUtime=642.39
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 21231 0 0 0 64223 16 0 0 25 0 1 0 210079100 87097344 21181 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591898 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 21264 21181 66 113 0 21148 0
Current children cumulated CPU time (s) 642.39
Current children cumulated vsize (KiB) 85056
[startup+702.596 s]
/proc/loadavg: 0.99 0.98 1.02 2/78 3301
/proc/meminfo: memFree=687008/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=88572 CPUtime=702.4
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 22072 0 0 0 70223 17 0 0 25 0 1 0 210079100 90697728 22022 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591622 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 22143 22022 66 113 0 22027 0
Current children cumulated CPU time (s) 702.4
Current children cumulated vsize (KiB) 88572
[startup+762.619 s]
/proc/loadavg: 0.99 0.98 1.01 2/78 3301
/proc/meminfo: memFree=680992/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=94584 CPUtime=762.41
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 23599 0 0 0 76223 18 0 0 25 0 1 0 210079100 96854016 23549 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 23646 23549 66 113 0 23530 0
Current children cumulated CPU time (s) 762.41
Current children cumulated vsize (KiB) 94584
[startup+822.645 s]
/proc/loadavg: 0.99 0.98 1.01 3/78 3301
/proc/meminfo: memFree=674848/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=100680 CPUtime=822.42
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 25127 0 0 0 82222 20 0 0 25 0 1 0 210079100 103096320 25077 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513457 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 25170 25077 66 113 0 25054 0
Current children cumulated CPU time (s) 822.42
Current children cumulated vsize (KiB) 100680
[startup+882.67 s]
/proc/loadavg: 0.99 0.98 1.00 2/78 3301
/proc/meminfo: memFree=670432/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=105132 CPUtime=882.43
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 26219 0 0 0 88222 21 0 0 25 0 1 0 210079100 107655168 26169 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591869 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 26283 26169 66 113 0 26167 0
Current children cumulated CPU time (s) 882.43
Current children cumulated vsize (KiB) 105132
[startup+942.695 s]
/proc/loadavg: 0.99 0.98 1.00 2/78 3301
/proc/meminfo: memFree=667808/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=107708 CPUtime=942.44
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 26885 0 0 0 94222 22 0 0 25 0 1 0 210079100 110292992 26835 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534189 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 26927 26835 66 113 0 26811 0
Current children cumulated CPU time (s) 942.44
Current children cumulated vsize (KiB) 107708
[startup+1002.72 s]
/proc/loadavg: 0.99 0.98 1.00 2/78 3301
/proc/meminfo: memFree=663904/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=111696 CPUtime=1002.45
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 27871 0 0 0 100222 23 0 0 25 0 1 0 210079100 114376704 27821 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 27924 27821 66 113 0 27808 0
Current children cumulated CPU time (s) 1002.45
Current children cumulated vsize (KiB) 111696
[startup+1062.75 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 3301
/proc/meminfo: memFree=658528/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=116856 CPUtime=1062.46
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 29185 0 0 0 106222 24 0 0 25 0 1 0 210079100 119660544 29135 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 29214 29135 66 113 0 29098 0
Current children cumulated CPU time (s) 1062.46
Current children cumulated vsize (KiB) 116856
[startup+1122.77 s]
/proc/loadavg: 1.01 1.00 1.00 3/78 3301
/proc/meminfo: memFree=652960/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=122608 CPUtime=1122.47
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 30594 0 0 0 112222 25 0 0 25 0 1 0 210079100 125550592 30544 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534438 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 30652 30544 66 113 0 30536 0
Current children cumulated CPU time (s) 1122.47
Current children cumulated vsize (KiB) 122608
[startup+1182.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3301
/proc/meminfo: memFree=649248/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=126356 CPUtime=1182.48
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 31518 0 0 0 118222 26 0 0 25 0 1 0 210079100 129388544 31468 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 31589 31468 66 113 0 31473 0
Current children cumulated CPU time (s) 1182.48
Current children cumulated vsize (KiB) 126356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3301
/proc/meminfo: memFree=647456/2055920 swapFree=4192812/4192956
[pid=3300] ppid=3298 vsize=128000 CPUtime=1200.1
/proc/3300/stat : 3300 (tts-4-0) R 3298 3300 3243 0 -1 4194304 31953 0 0 0 119984 26 0 0 25 0 1 0 210079100 131072000 31903 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/3300/statm: 32000 31903 66 113 0 31884 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 128000
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.14
CPU user time (s): 1199.85
CPU system time (s): 0.290955
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 128000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.290955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31953
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= 1883
runsolver used 1.26981 second user time and 2.70559 second system time
The end
Begin job on node3 on Mon Feb 19 16:07:22 UTC 2007
IDJOB= 300359
IDBENCH= 20033
IDSOLVER= 98
FILE ID= node3/300359-1171901242
PBS_JOBID= 3848863
Free space on /tmp= 66552 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S191957358-10.cnf
COMMAND LINE= /tmp/evaluation/300359-1171901242/tts-4-0 /tmp/evaluation/300359-1171901242/instance-300359-1171901242.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-300359-1171901242 -o ROOT/results/node3/solver-300359-1171901242 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/300359-1171901242/tts-4-0 /tmp/evaluation/300359-1171901242/instance-300359-1171901242.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 15ec1c2ee3a768db4806fe2b5efb42d9
RANDOM SEED= 918481082
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.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.241
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.241
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: 775872 kB
Buffers: 60856 kB
Cached: 1086032 kB
SwapCached: 0 kB
Active: 542908 kB
Inactive: 658284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 775872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1100 kB
Writeback: 0 kB
Mapped: 73244 kB
Slab: 64572 kB
Committed_AS: 1018508 kB
PageTables: 1656 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= 66552 MiB
End job on node3 on Mon Feb 19 16:27:25 UTC 2007