runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-309338-1172539386 -o ROOT/results/node26/solver-309338-1172539386 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309338-1172539386/tts-4-0 /tmp/evaluation/309338-1172539386/instance-309338-1172539386.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 20793
/proc/meminfo: memFree=1898736/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=936 CPUtime=0
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 273892273 958464 105 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134630100 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 234 105 57 113 0 118 0
[startup+0.106836 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20793
/proc/meminfo: memFree=1898736/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=5328 CPUtime=0.09
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 1248 0 0 0 9 0 0 0 18 0 1 0 273892273 5455872 1231 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134537402 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 1332 1231 66 113 0 1216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5328
[startup+0.514906 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 20793
/proc/meminfo: memFree=1898736/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=6248 CPUtime=0.5
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 1480 0 0 0 50 0 0 0 22 0 1 0 273892273 6397952 1463 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591700 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 1562 1463 66 113 0 1446 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 6248
[startup+1.33505 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1892264/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=7160 CPUtime=1.32
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 1697 0 0 0 132 0 0 0 25 0 1 0 273892273 7331840 1680 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 1790 1680 66 113 0 1674 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 7160
[startup+2.97133 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1891688/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=7688 CPUtime=2.95
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 1832 0 0 0 295 0 0 0 25 0 1 0 273892273 7872512 1815 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513462 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 1922 1815 66 113 0 1806 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 7688
[startup+6.2499 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1891048/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=8196 CPUtime=6.23
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 1982 0 0 0 623 0 0 0 25 0 1 0 273892273 8392704 1965 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591630 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 2049 1965 66 113 0 1933 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 8196
[startup+12.704 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1890216/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=8908 CPUtime=12.69
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 2158 0 0 0 1268 1 0 0 25 0 1 0 273892273 9121792 2141 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513483 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 2227 2141 66 113 0 2111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8908
[startup+25.5112 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1888424/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=10832 CPUtime=25.49
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 2611 0 0 0 2548 1 0 0 25 0 1 0 273892273 11091968 2594 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 2708 2594 66 113 0 2592 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10832
[startup+51.1237 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1883816/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=15220 CPUtime=51.09
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 3732 0 0 0 5107 2 0 0 25 0 1 0 273892273 15585280 3715 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 3805 3715 66 113 0 3689 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15220
[startup+102.343 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1877160/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=22112 CPUtime=102.3
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 5442 0 0 0 10226 4 0 0 25 0 1 0 273892273 22642688 5425 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 5528 5425 66 113 0 5412 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22112
[startup+162.376 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1869288/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=29640 CPUtime=162.31
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 7340 0 0 0 16225 6 0 0 25 0 1 0 273892273 30351360 7323 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 7410 7323 66 113 0 7294 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 29640
[startup+222.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1862632/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=36344 CPUtime=222.32
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 8993 0 0 0 22225 7 0 0 25 0 1 0 273892273 37216256 8976 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 9086 8976 66 113 0 8970 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 36344
[startup+282.426 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1856552/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=42456 CPUtime=282.32
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 10522 0 0 0 28223 9 0 0 25 0 1 0 273892273 43474944 10505 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534117 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 10614 10505 66 113 0 10498 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 42456
[startup+342.454 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1850856/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=48088 CPUtime=342.33
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 11940 0 0 0 34223 10 0 0 25 0 1 0 273892273 49242112 11923 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534371 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 12022 11923 66 113 0 11906 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 48088
[startup+402.489 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1841768/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=57000 CPUtime=402.35
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 14164 0 0 0 40223 12 0 0 25 0 1 0 273892273 58368000 14147 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 14250 14147 66 113 0 14134 0
Current children cumulated CPU time (s) 402.35
Current children cumulated vsize (KiB) 57000
[startup+462.517 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1835496/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=63096 CPUtime=462.35
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 15720 0 0 0 46222 13 0 0 25 0 1 0 273892273 64610304 15703 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 15774 15703 66 113 0 15658 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 63096
[startup+522.545 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1829800/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=68956 CPUtime=522.36
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 17141 0 0 0 52222 14 0 0 25 0 1 0 273892273 70610944 17124 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534404 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 17239 17124 66 113 0 17123 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 68956
[startup+582.57 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1825704/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=72852 CPUtime=582.37
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 18140 0 0 0 58221 16 0 0 25 0 1 0 273892273 74600448 18123 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534719 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 18213 18123 66 113 0 18097 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 72852
[startup+642.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 20794
/proc/meminfo: memFree=1820264/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=78240 CPUtime=642.38
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 19509 0 0 0 64221 17 0 0 25 0 1 0 273892273 80117760 19492 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534408 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 19560 19492 66 113 0 19444 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 78240
[startup+702.633 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 20794
/proc/meminfo: memFree=1812392/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=86212 CPUtime=702.39
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 21451 0 0 0 70220 19 0 0 25 0 1 0 273892273 88281088 21434 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534110 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 21553 21434 66 113 0 21437 0
Current children cumulated CPU time (s) 702.39
Current children cumulated vsize (KiB) 86212
[startup+762.66 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 20794
/proc/meminfo: memFree=1806312/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=92308 CPUtime=762.4
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 22978 0 0 0 76220 20 0 0 25 0 1 0 273892273 94523392 22961 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 23077 22961 66 113 0 22961 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 92308
[startup+822.693 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 20794
/proc/meminfo: memFree=1801128/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=97464 CPUtime=822.42
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 24287 0 0 0 82220 22 0 0 25 0 1 0 273892273 99803136 24270 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 24366 24270 66 113 0 24250 0
Current children cumulated CPU time (s) 822.42
Current children cumulated vsize (KiB) 97464
[startup+882.721 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 20794
/proc/meminfo: memFree=1794664/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=103792 CPUtime=882.42
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 25902 0 0 0 88219 23 0 0 25 0 1 0 273892273 106283008 25885 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 25948 25885 66 113 0 25832 0
Current children cumulated CPU time (s) 882.42
Current children cumulated vsize (KiB) 103792
[startup+942.747 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 20794
/proc/meminfo: memFree=1790184/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=108248 CPUtime=942.43
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 27012 0 0 0 94219 24 0 0 25 0 1 0 273892273 110845952 26995 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 27062 26995 66 113 0 26946 0
Current children cumulated CPU time (s) 942.43
Current children cumulated vsize (KiB) 108248
[startup+1002.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20794
/proc/meminfo: memFree=1785000/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=113408 CPUtime=1002.44
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 28306 0 0 0 100218 26 0 0 25 0 1 0 273892273 116129792 28289 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 28352 28289 66 113 0 28236 0
Current children cumulated CPU time (s) 1002.44
Current children cumulated vsize (KiB) 113408
[startup+1062.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20794
/proc/meminfo: memFree=1781800/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=116688 CPUtime=1062.46
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 29093 0 0 0 106219 27 0 0 25 0 1 0 273892273 119488512 29076 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534186 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 29172 29076 66 113 0 29056 0
Current children cumulated CPU time (s) 1062.46
Current children cumulated vsize (KiB) 116688
[startup+1122.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20796
/proc/meminfo: memFree=1778344/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=119968 CPUtime=1122.46
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 29904 0 0 0 112218 28 0 0 25 0 1 0 273892273 122847232 29887 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 29992 29887 66 113 0 29876 0
Current children cumulated CPU time (s) 1122.46
Current children cumulated vsize (KiB) 119968
[startup+1182.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20796
/proc/meminfo: memFree=1774568/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=123720 CPUtime=1182.47
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 30871 0 0 0 118217 30 0 0 25 0 1 0 273892273 126689280 30854 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 30930 30854 66 113 0 30814 0
Current children cumulated CPU time (s) 1182.47
Current children cumulated vsize (KiB) 123720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20796
/proc/meminfo: memFree=1772968/2055920 swapFree=4154888/4192956
[pid=20793] ppid=20791 vsize=125360 CPUtime=1200.08
/proc/20793/stat : 20793 (tts-4-0) R 20791 20793 19662 0 -1 4194304 31254 0 0 0 119978 30 0 0 25 0 1 0 273892273 128368640 31237 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20793/statm: 31340 31237 66 113 0 31224 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 125360
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.51
CPU time (s): 1200.12
CPU user time (s): 1199.79
CPU system time (s): 0.328949
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 125360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31254
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= 25644
runsolver used 1.45678 second user time and 2.72758 second system time
The end
Begin job on node26 on Tue Feb 27 01:23:06 UTC 2007
IDJOB= 309338
IDBENCH= 20257
IDSOLVER= 98
FILE ID= node26/309338-1172539386
PBS_JOBID= 3971815
Free space on /tmp= 66558 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/309338-1172539386/tts-4-0 /tmp/evaluation/309338-1172539386/instance-309338-1172539386.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-309338-1172539386 -o ROOT/results/node26/solver-309338-1172539386 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/309338-1172539386/tts-4-0 /tmp/evaluation/309338-1172539386/instance-309338-1172539386.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 29ca8cedaef0d9dfd8a1bc9050403900
RANDOM SEED= 593909480
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node26.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.279
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.279
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: 1899144 kB
Buffers: 25268 kB
Cached: 77844 kB
SwapCached: 17588 kB
Active: 80724 kB
Inactive: 47980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1899144 kB
SwapTotal: 4192956 kB
SwapFree: 4154888 kB
Dirty: 608 kB
Writeback: 0 kB
Mapped: 30056 kB
Slab: 13652 kB
Committed_AS: 719696 kB
PageTables: 1712 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= 66558 MiB
End job on node26 on Tue Feb 27 01:43:09 UTC 2007