runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-295808-1171812294 -o ROOT/results/node15/solver-295808-1171812294 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/295808-1171812294/tts-4-0 /tmp/evaluation/295808-1171812294/instance-295808-1171812294.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/77 16587
/proc/meminfo: memFree=1243760/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=796 CPUtime=0
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 201183730 815104 95 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 199 95 57 113 0 83 0
[startup+0.107446 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16587
/proc/meminfo: memFree=1243760/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=2384 CPUtime=0.1
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 509 0 0 0 10 0 0 0 18 0 1 0 201183730 2441216 494 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134554171 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 596 494 62 113 0 480 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2384
[startup+0.517515 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16587
/proc/meminfo: memFree=1243760/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=11288 CPUtime=0.51
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 2743 0 0 0 50 1 0 0 22 0 1 0 201183730 11558912 2726 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 2822 2726 66 113 0 2706 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 11288
[startup+1.33966 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1232808/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=11660 CPUtime=1.33
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 2820 0 0 0 132 1 0 0 25 0 1 0 201183730 11939840 2803 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 2915 2803 66 113 0 2799 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 11660
[startup+2.97594 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1232296/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=12136 CPUtime=2.97
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 2964 0 0 0 296 1 0 0 25 0 1 0 201183730 12427264 2947 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 3034 2947 66 113 0 2918 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 12136
[startup+6.2545 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1230888/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=13552 CPUtime=6.24
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 3302 0 0 0 623 1 0 0 25 0 1 0 201183730 13877248 3285 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 3388 3285 66 113 0 3272 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13552
[startup+12.7096 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1228144/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=16140 CPUtime=12.69
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 3936 0 0 0 1268 1 0 0 25 0 1 0 201183730 16527360 3919 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134513469 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 4035 3919 66 113 0 3919 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16140
[startup+25.5098 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1223664/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=20612 CPUtime=25.49
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 5085 0 0 0 2547 2 0 0 25 0 1 0 201183730 21106688 5068 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 5153 5068 66 113 0 5037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20612
[startup+51.1202 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1214768/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=29300 CPUtime=51.09
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 7279 0 0 0 5106 3 0 0 25 0 1 0 201183730 30003200 7262 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591879 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 7325 7262 66 113 0 7209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29300
[startup+102.341 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1198064/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=46192 CPUtime=102.3
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 11481 0 0 0 10224 6 0 0 25 0 1 0 201183730 47300608 11464 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 11548 11464 66 113 0 11432 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 46192
[startup+162.373 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1178672/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=65176 CPUtime=162.31
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 16241 0 0 0 16221 10 0 0 25 0 1 0 201183730 66740224 16224 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 16294 16224 66 113 0 16178 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 65176
[startup+222.405 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1165040/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=78784 CPUtime=222.32
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 19644 0 0 0 22219 13 0 0 25 0 1 0 201183730 80674816 19627 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 19696 19627 66 113 0 19580 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 78784
[startup+282.435 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1150576/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=93560 CPUtime=282.33
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 23324 0 0 0 28217 16 0 0 25 0 1 0 201183730 95805440 23307 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 23390 23307 66 113 0 23274 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 93560
[startup+342.461 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1136376/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=107856 CPUtime=342.33
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 26881 0 0 0 34214 19 0 0 25 0 1 0 201183730 110444544 26864 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534060 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 26964 26864 66 113 0 26848 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 107856
[startup+402.489 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1122616/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=121216 CPUtime=402.34
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 30255 0 0 0 40213 21 0 0 25 0 1 0 201183730 124125184 30238 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 30304 30238 66 113 0 30188 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 121216
[startup+462.515 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1109624/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=134344 CPUtime=462.34
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 33485 0 0 0 46211 23 0 0 25 0 1 0 201183730 137568256 33468 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 33586 33468 66 113 0 33470 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 134344
[startup+522.547 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1098104/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=145828 CPUtime=522.35
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 36382 0 0 0 52209 26 0 0 25 0 1 0 201183730 149327872 36365 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 36457 36365 66 113 0 36341 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 145828
[startup+582.576 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1086904/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=156844 CPUtime=582.36
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 39138 0 0 0 58207 29 0 0 25 0 1 0 201183730 160608256 39121 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534128 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 39211 39121 66 113 0 39095 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 156844
[startup+642.608 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16588
/proc/meminfo: memFree=1077560/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=166456 CPUtime=642.37
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 41513 0 0 0 64206 31 0 0 25 0 1 0 201183730 170450944 41496 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 41614 41496 66 113 0 41498 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 166456
[startup+702.632 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 16588
/proc/meminfo: memFree=1064888/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=178876 CPUtime=702.38
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 44647 0 0 0 70204 34 0 0 25 0 1 0 201183730 183169024 44630 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 44719 44630 66 113 0 44603 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 178876
[startup+762.663 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 16588
/proc/meminfo: memFree=1055224/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=188488 CPUtime=762.39
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 47073 0 0 0 76202 37 0 0 25 0 1 0 201183730 193011712 47056 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134552137 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 47122 47056 66 113 0 47006 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 188488
[startup+822.695 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16588
/proc/meminfo: memFree=1045880/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=197868 CPUtime=822.4
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 49376 0 0 0 82201 39 0 0 25 0 1 0 201183730 202616832 49359 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534396 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 49467 49359 66 113 0 49351 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 197868
[startup+882.726 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=1037304/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=206304 CPUtime=882.41
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 51521 0 0 0 88199 42 0 0 25 0 1 0 201183730 211255296 51504 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 51576 51504 66 113 0 51460 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 206304
[startup+942.756 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=1029304/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=214276 CPUtime=942.42
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 53511 0 0 0 94198 44 0 0 25 0 1 0 201183730 219418624 53494 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 53569 53494 66 113 0 53453 0
Current children cumulated CPU time (s) 942.42
Current children cumulated vsize (KiB) 214276
[startup+1002.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=1023544/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=220372 CPUtime=1002.42
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 55004 0 0 0 100197 45 0 0 25 0 1 0 201183730 225660928 54987 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 55093 54987 66 113 0 54977 0
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (KiB) 220372
[startup+1062.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=1016568/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=227168 CPUtime=1062.43
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 56709 0 0 0 106196 47 0 0 25 0 1 0 201183730 232620032 56692 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 56792 56692 66 113 0 56676 0
Current children cumulated CPU time (s) 1062.43
Current children cumulated vsize (KiB) 227168
[startup+1122.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=1006776/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=237012 CPUtime=1122.44
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 59177 0 0 0 112195 49 0 0 25 0 1 0 201183730 242700288 59160 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 59253 59160 66 113 0 59137 0
Current children cumulated CPU time (s) 1122.44
Current children cumulated vsize (KiB) 237012
[startup+1182.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=999032/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=244748 CPUtime=1182.45
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 61107 0 0 0 118194 51 0 0 25 0 1 0 201183730 250621952 61090 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134534167 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 61187 61090 66 113 0 61071 0
Current children cumulated CPU time (s) 1182.45
Current children cumulated vsize (KiB) 244748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16590
/proc/meminfo: memFree=995640/2055920 swapFree=4192812/4192956
[pid=16587] ppid=16585 vsize=248028 CPUtime=1200.07
/proc/16587/stat : 16587 (tts-4-0) R 16585 16587 16530 0 -1 4194304 61928 0 0 0 119955 52 0 0 25 0 1 0 201183730 253980672 61911 18446744073709551615 134512640 134976056 4294956624 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16587/statm: 62007 61911 66 113 0 61891 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 248028
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.54
CPU time (s): 1200.12
CPU user time (s): 1199.56
CPU system time (s): 0.561914
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 248028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.56
system time used= 0.561914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61928
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= 25280
runsolver used 1.49077 second user time and 2.6466 second system time
The end
Begin job on node15 on Sun Feb 18 15:24:54 UTC 2007
IDJOB= 295808
IDBENCH= 19922
IDSOLVER= 98
FILE ID= node15/295808-1171812294
PBS_JOBID= 3839353
Free space on /tmp= 66535 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v70/unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/295808-1171812294/tts-4-0 /tmp/evaluation/295808-1171812294/instance-295808-1171812294.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-295808-1171812294 -o ROOT/results/node15/solver-295808-1171812294 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/295808-1171812294/tts-4-0 /tmp/evaluation/295808-1171812294/instance-295808-1171812294.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= dfb29285da33121880865f644d2f942e
RANDOM SEED= 969594945
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node15.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.276
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.276
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: 1244232 kB
Buffers: 47624 kB
Cached: 633328 kB
SwapCached: 0 kB
Active: 666800 kB
Inactive: 74208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1244232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 864 kB
Writeback: 0 kB
Mapped: 78984 kB
Slab: 56248 kB
Committed_AS: 756428 kB
PageTables: 1800 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= 66535 MiB
End job on node15 on Sun Feb 18 15:44:56 UTC 2007