runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-310404-1172559263 -o ROOT/results/node55/solver-310404-1172559263 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/310404-1172559263/tts-4-0 /tmp/evaluation/310404-1172559263/instance-310404-1172559263.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.02 1.00 0.92 3/64 30309
/proc/meminfo: memFree=1902744/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=928 CPUtime=0
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 122 0 0 0 0 0 0 0 18 0 1 0 275882713 950272 107 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134520576 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 232 107 58 113 0 116 0
[startup+0.10664 s]
/proc/loadavg: 1.02 1.00 0.92 3/64 30309
/proc/meminfo: memFree=1902744/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=3744 CPUtime=0.1
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 840 0 0 0 10 0 0 0 18 0 1 0 275882713 3833856 823 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 936 823 66 113 0 820 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3744
[startup+0.514678 s]
/proc/loadavg: 1.02 1.00 0.92 3/64 30309
/proc/meminfo: memFree=1902744/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=4012 CPUtime=0.5
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 910 0 0 0 50 0 0 0 21 0 1 0 275882713 4108288 893 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 1003 893 66 113 0 887 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4012
[startup+1.33476 s]
/proc/loadavg: 1.02 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1899280/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=4012 CPUtime=1.32
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 940 0 0 0 132 0 0 0 25 0 1 0 275882713 4108288 923 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 1003 923 66 113 0 887 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 4012
[startup+2.97091 s]
/proc/loadavg: 1.02 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1898896/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=4436 CPUtime=2.96
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 1032 0 0 0 296 0 0 0 25 0 1 0 275882713 4542464 1015 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591983 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 1109 1015 66 113 0 993 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4436
[startup+6.25223 s]
/proc/loadavg: 1.02 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1898320/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=4932 CPUtime=6.24
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 1162 0 0 0 624 0 0 0 25 0 1 0 275882713 5050368 1145 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134542968 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 1233 1145 66 113 0 1117 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 4932
[startup+12.7049 s]
/proc/loadavg: 1.02 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1896912/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=6328 CPUtime=12.69
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 1499 0 0 0 1269 0 0 0 25 0 1 0 275882713 6479872 1482 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 1582 1482 66 113 0 1466 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6328
[startup+25.5051 s]
/proc/loadavg: 1.01 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1893392/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=10000 CPUtime=25.48
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 2438 0 0 0 2548 0 0 0 25 0 1 0 275882713 10240000 2421 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534071 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 2500 2421 66 113 0 2384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10000
[startup+51.1096 s]
/proc/loadavg: 1.01 1.00 0.92 3/65 30310
/proc/meminfo: memFree=1887824/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=15400 CPUtime=51.08
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 3773 0 0 0 5107 1 0 0 25 0 1 0 275882713 15769600 3756 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 3850 3756 66 113 0 3734 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15400
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1879312/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=23852 CPUtime=102.28
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 5886 0 0 0 10225 3 0 0 25 0 1 0 275882713 24424448 5869 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 5963 5869 66 113 0 5847 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23852
[startup+162.338 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1868816/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=34172 CPUtime=162.28
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 8477 0 0 0 16223 5 0 0 25 0 1 0 275882713 34992128 8460 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 8543 8460 66 113 0 8427 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 34172
[startup+222.358 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1858256/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=44772 CPUtime=222.29
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 11110 0 0 0 22221 8 0 0 25 0 1 0 275882713 45846528 11093 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 11193 11093 66 113 0 11077 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 44772
[startup+282.374 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1847696/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=55320 CPUtime=282.29
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 13750 0 0 0 28219 10 0 0 25 0 1 0 275882713 56647680 13733 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 13830 13733 66 113 0 13714 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 55320
[startup+342.392 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 30310
/proc/meminfo: memFree=1840272/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=62660 CPUtime=342.29
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 15599 0 0 0 34218 11 0 0 25 0 1 0 275882713 64163840 15582 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534120 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 15665 15582 66 113 0 15549 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 62660
[startup+402.414 s]
/proc/loadavg: 1.00 1.00 0.92 2/71 30374
/proc/meminfo: memFree=1833368/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=68188 CPUtime=402.27
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 16998 0 0 0 40215 12 0 0 25 0 1 0 275882713 69824512 16981 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534408 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 17047 16981 66 113 0 16931 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 68188
[startup+462.459 s]
/proc/loadavg: 1.00 1.00 0.92 2/71 30466
/proc/meminfo: memFree=1827480/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=74048 CPUtime=462.25
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 18439 0 0 0 46211 14 0 0 25 0 1 0 275882713 75825152 18422 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 18512 18422 66 113 0 18396 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 74048
[startup+522.486 s]
/proc/loadavg: 1.07 1.02 0.93 2/65 30508
/proc/meminfo: memFree=1823632/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=78980 CPUtime=522.24
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 19700 0 0 0 52209 15 0 0 25 0 1 0 275882713 80875520 19683 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534354 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 19745 19683 66 113 0 19629 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 78980
[startup+582.504 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 30508
/proc/meminfo: memFree=1818640/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=84048 CPUtime=582.25
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 20925 0 0 0 58209 16 0 0 25 0 1 0 275882713 86065152 20908 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134513467 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 21012 20908 66 113 0 20896 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 84048
[startup+642.527 s]
/proc/loadavg: 1.01 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1813072/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=89440 CPUtime=642.26
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 22302 0 0 0 64208 18 0 0 25 0 1 0 275882713 91586560 22285 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534154 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 22360 22285 66 113 0 22244 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 89440
[startup+702.544 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1808272/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=94360 CPUtime=702.26
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 23519 0 0 0 70207 19 0 0 25 0 1 0 275882713 96624640 23502 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535187 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 23590 23502 66 113 0 23474 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 94360
[startup+762.562 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1803920/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=98588 CPUtime=762.27
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 24581 0 0 0 76207 20 0 0 25 0 1 0 275882713 100954112 24564 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 24647 24564 66 113 0 24531 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 98588
[startup+822.584 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1800784/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=101868 CPUtime=822.26
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 25378 0 0 0 82206 20 0 0 25 0 1 0 275882713 104312832 25361 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534119 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 25467 25361 66 113 0 25351 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 101868
[startup+882.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1796432/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=106088 CPUtime=882.27
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 26457 0 0 0 88206 21 0 0 25 0 1 0 275882713 108634112 26440 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534130 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 26522 26440 66 113 0 26406 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 106088
[startup+942.613 s]
/proc/loadavg: 1.05 1.01 0.93 2/65 30508
/proc/meminfo: memFree=1791952/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=110540 CPUtime=942.27
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 27563 0 0 0 94204 23 0 0 25 0 1 0 275882713 113192960 27546 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 27635 27546 66 113 0 27519 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 110540
[startup+1002.63 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 30508
/proc/meminfo: memFree=1787344/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=115232 CPUtime=1002.27
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 28757 0 0 0 100203 24 0 0 25 0 1 0 275882713 117997568 28740 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534114 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 28808 28740 66 113 0 28692 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 115232
[startup+1062.65 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1781456/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=121092 CPUtime=1062.28
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 30199 0 0 0 106203 25 0 0 25 0 1 0 275882713 123998208 30182 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534368 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 30273 30182 66 113 0 30157 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 121092
[startup+1122.67 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1777616/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=124856 CPUtime=1122.28
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 31168 0 0 0 112202 26 0 0 25 0 1 0 275882713 127852544 31151 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534095 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 31214 31151 66 113 0 31098 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 124856
[startup+1182.68 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1773520/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=129076 CPUtime=1182.28
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 32196 0 0 0 118201 27 0 0 25 0 1 0 275882713 132173824 32179 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552172 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 32269 32179 66 113 0 32153 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 129076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 30508
/proc/meminfo: memFree=1772368/2055920 swapFree=4183516/4192956
[pid=30309] ppid=30307 vsize=130248 CPUtime=1200.1
/proc/30309/stat : 30309 (tts-4-0) R 30307 30309 29346 0 -1 4194304 32460 0 0 0 119983 27 0 0 25 0 1 0 275882713 133373952 32443 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134534354 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 32562 32443 66 113 0 32446 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 130248
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.53
CPU time (s): 1200.13
CPU user time (s): 1199.83
CPU system time (s): 0.293955
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 130248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32460
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= 2453
runsolver used 0.778881 second user time and 2.50762 second system time
The end
Begin job on node55 on Tue Feb 27 06:54:23 UTC 2007
IDJOB= 310404
IDBENCH= 20286
IDSOLVER= 98
FILE ID= node55/310404-1172559263
PBS_JOBID= 3971859
Free space on /tmp= 66559 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
COMMAND LINE= /tmp/evaluation/310404-1172559263/tts-4-0 /tmp/evaluation/310404-1172559263/instance-310404-1172559263.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-310404-1172559263 -o ROOT/results/node55/solver-310404-1172559263 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/310404-1172559263/tts-4-0 /tmp/evaluation/310404-1172559263/instance-310404-1172559263.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 834f68dca74e3c1d51bff5d400695c42
RANDOM SEED= 63456285
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node55.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.247
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.247
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: 1903152 kB
Buffers: 18824 kB
Cached: 87240 kB
SwapCached: 3824 kB
Active: 53272 kB
Inactive: 62996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1903152 kB
SwapTotal: 4192956 kB
SwapFree: 4183516 kB
Dirty: 704 kB
Writeback: 0 kB
Mapped: 15364 kB
Slab: 22580 kB
Committed_AS: 830088 kB
PageTables: 1380 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= 66559 MiB
End job on node55 on Tue Feb 27 07:14:25 UTC 2007