runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-305689-1172083864 -o ROOT/results/node5/solver-305689-1172083864 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305689-1172083864/tts-4-0 /tmp/evaluation/305689-1172083864/instance-305689-1172083864.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: 1.03 1.00 1.00 3/77 13941
/proc/meminfo: memFree=1453664/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=936 CPUtime=0
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 118 0 0 0 0 0 0 0 18 0 1 0 228341200 958464 103 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134630100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 234 105 57 113 0 118 0
[startup+0.106871 s]
/proc/loadavg: 1.03 1.00 1.00 3/77 13941
/proc/meminfo: memFree=1453664/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=5704 CPUtime=0.1
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 1317 0 0 0 10 0 0 0 18 0 1 0 228341200 5840896 1302 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134555107 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 1426 1302 62 113 0 1310 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5704
[startup+0.514916 s]
/proc/loadavg: 1.03 1.00 1.00 3/77 13941
/proc/meminfo: memFree=1453664/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=21808 CPUtime=0.5
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 5358 0 0 0 49 1 0 0 21 0 1 0 228341200 22331392 5341 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 5452 5341 66 113 0 5336 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 21808
[startup+1.33501 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1422104/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=37116 CPUtime=1.32
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 9106 0 0 0 130 2 0 0 25 0 1 0 228341200 38006784 9089 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134630100 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 9279 9089 66 113 0 9163 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 37116
[startup+2.97119 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1408984/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=45804 CPUtime=2.96
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 11268 0 0 0 292 4 0 0 25 0 1 0 228341200 46903296 11251 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 11451 11251 66 113 0 11335 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 45804
[startup+6.25457 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1404632/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=50284 CPUtime=6.24
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 12399 0 0 0 619 5 0 0 25 0 1 0 228341200 51490816 12382 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 12571 12382 66 113 0 12455 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 50284
[startup+12.7073 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1400216/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=54124 CPUtime=12.69
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 13349 0 0 0 1264 5 0 0 25 0 1 0 228341200 55422976 13332 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 13531 13332 66 113 0 13415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54124
[startup+25.5118 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1393624/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=60680 CPUtime=25.49
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 14991 0 0 0 2543 6 0 0 25 0 1 0 228341200 62136320 14974 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513483 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 15170 14974 66 113 0 15054 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60680
[startup+51.1227 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1388632/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=65640 CPUtime=51.1
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 16225 0 0 0 5103 7 0 0 25 0 1 0 228341200 67215360 16208 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 16410 16208 66 113 0 16294 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 65640
[startup+102.341 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1381336/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=72900 CPUtime=102.3
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 18064 0 0 0 10222 8 0 0 25 0 1 0 228341200 74649600 18047 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591901 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 18225 18047 66 113 0 18109 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72900
[startup+162.373 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1378456/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=75692 CPUtime=162.31
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 18749 0 0 0 16222 9 0 0 25 0 1 0 228341200 77508608 18732 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591983 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 18923 18732 66 113 0 18807 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 75692
[startup+222.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1377304/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=76640 CPUtime=222.33
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 19027 0 0 0 22223 10 0 0 25 0 1 0 228341200 78479360 19010 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 19160 19010 66 113 0 19044 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 76640
[startup+282.431 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1376792/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=77152 CPUtime=282.33
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 19136 0 0 0 28223 10 0 0 25 0 1 0 228341200 79003648 19119 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 19288 19119 66 113 0 19172 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 77152
[startup+342.463 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1375256/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=78612 CPUtime=342.35
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 19517 0 0 0 34224 11 0 0 25 0 1 0 228341200 80498688 19500 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 19653 19500 66 113 0 19537 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 78612
[startup+402.5 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 13942
/proc/meminfo: memFree=1373592/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=80228 CPUtime=402.37
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 19936 0 0 0 40225 12 0 0 25 0 1 0 228341200 82153472 19919 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591700 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 20057 19919 66 113 0 19941 0
Current children cumulated CPU time (s) 402.37
Current children cumulated vsize (KiB) 80228
[startup+462.528 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 13942
/proc/meminfo: memFree=1372760/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=81332 CPUtime=462.39
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 20178 0 0 0 46226 13 0 0 25 0 1 0 228341200 83283968 20161 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 20333 20161 66 113 0 20217 0
Current children cumulated CPU time (s) 462.39
Current children cumulated vsize (KiB) 81332
[startup+522.557 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1372248/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=81824 CPUtime=522.39
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 20297 0 0 0 52226 13 0 0 25 0 1 0 228341200 83787776 20280 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 20456 20280 66 113 0 20340 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 81824
[startup+582.584 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13942
/proc/meminfo: memFree=1371672/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=82392 CPUtime=582.4
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 20445 0 0 0 58227 13 0 0 25 0 1 0 228341200 84369408 20428 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534049 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 20598 20428 66 113 0 20482 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 82392
[startup+642.636 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 14056
/proc/meminfo: memFree=1369320/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=83372 CPUtime=642.36
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 20716 0 0 0 64222 14 0 0 25 0 1 0 228341200 85372928 20699 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 20843 20699 66 113 0 20727 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 83372
[startup+702.684 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1369880/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=84080 CPUtime=702.34
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 20852 0 0 0 70219 15 0 0 25 0 1 0 228341200 86097920 20835 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21020 20835 66 113 0 20904 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 84080
[startup+762.713 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1369304/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=84684 CPUtime=762.35
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21022 0 0 0 76219 16 0 0 25 0 1 0 228341200 86716416 21005 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21171 21005 66 113 0 21055 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 84684
[startup+822.747 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1368536/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=85460 CPUtime=822.37
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21204 0 0 0 82220 17 0 0 25 0 1 0 228341200 87511040 21187 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21365 21187 66 113 0 21249 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 85460
[startup+882.778 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1368216/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=85696 CPUtime=882.38
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21284 0 0 0 88221 17 0 0 25 0 1 0 228341200 87752704 21267 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21424 21267 66 113 0 21308 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 85696
[startup+942.812 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1367512/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=86616 CPUtime=942.4
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21493 0 0 0 94222 18 0 0 25 0 1 0 228341200 88694784 21476 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21654 21476 66 113 0 21538 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 86616
[startup+1002.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1366808/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=87096 CPUtime=1002.41
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21634 0 0 0 100223 18 0 0 25 0 1 0 228341200 89186304 21617 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21774 21617 66 113 0 21658 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 87096
[startup+1062.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1366296/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=87628 CPUtime=1062.43
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21773 0 0 0 106224 19 0 0 25 0 1 0 228341200 89731072 21756 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 21907 21756 66 113 0 21791 0
Current children cumulated CPU time (s) 1062.43
Current children cumulated vsize (KiB) 87628
[startup+1122.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1365656/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=88352 CPUtime=1122.43
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 21942 0 0 0 112223 20 0 0 25 0 1 0 228341200 90472448 21925 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543548 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 22088 21925 66 113 0 21972 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 88352
[startup+1182.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=88984 CPUtime=1182.44
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 22101 0 0 0 118224 20 0 0 25 0 1 0 228341200 91119616 22084 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 22246 22084 66 113 0 22130 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 88984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14140
/proc/meminfo: memFree=1364888/2055920 swapFree=4192812/4192956
[pid=13941] ppid=13939 vsize=89172 CPUtime=1200.07
/proc/13941/stat : 13941 (tts-4-0) R 13939 13941 13468 0 -1 4194304 22133 0 0 0 119986 21 0 0 25 0 1 0 228341200 91312128 22116 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/13941/statm: 22293 22116 66 113 0 22177 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 89172
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.57
CPU time (s): 1200.09
CPU user time (s): 1199.86
CPU system time (s): 0.226965
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 89172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22133
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= 1443
runsolver used 1.3238 second user time and 2.73658 second system time
The end
Begin job on node5 on Wed Feb 21 18:51:04 UTC 2007
IDJOB= 305689
IDBENCH= 20163
IDSOLVER= 98
FILE ID= node5/305689-1172083864
PBS_JOBID= 3865318
Free space on /tmp= 66547 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v4000/unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
COMMAND LINE= /tmp/evaluation/305689-1172083864/tts-4-0 /tmp/evaluation/305689-1172083864/instance-305689-1172083864.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-305689-1172083864 -o ROOT/results/node5/solver-305689-1172083864 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305689-1172083864/tts-4-0 /tmp/evaluation/305689-1172083864/instance-305689-1172083864.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= b8537884c9d9279a530f0796aac6a0e7
RANDOM SEED= 867140563
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: 1454136 kB
Buffers: 51432 kB
Cached: 429464 kB
SwapCached: 0 kB
Active: 206452 kB
Inactive: 318472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1454136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 832 kB
Writeback: 0 kB
Mapped: 62980 kB
Slab: 62500 kB
Committed_AS: 840244 kB
PageTables: 1692 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= 66547 MiB
End job on node5 on Wed Feb 21 19:11:07 UTC 2007