runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-305916-1172088324 -o ROOT/results/node7/solver-305916-1172088324 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305916-1172088324/cmusat_base /tmp/evaluation/305916-1172088324/instance-305916-1172088324.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.99 0.98 0.99 3/77 16450
/proc/meminfo: memFree=1606800/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=4004 CPUtime=0
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 228787162 4100096 436 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134564497 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 1001 436 90 241 0 757 0
[startup+0.107059 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16450
/proc/meminfo: memFree=1606800/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=7568 CPUtime=0.09
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 1653 0 0 0 9 0 0 0 18 0 1 0 228787162 7749632 1303 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560618 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 1892 1303 93 241 0 1648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7568
[startup+0.515102 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 16450
/proc/meminfo: memFree=1606800/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=7832 CPUtime=0.5
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 1738 0 0 0 50 0 0 0 21 0 1 0 228787162 8019968 1388 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560047 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 1958 1388 112 241 0 1714 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 7832
[startup+1.33819 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1600840/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=8888 CPUtime=1.33
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 2011 0 0 0 132 1 0 0 25 0 1 0 228787162 9101312 1661 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560054 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 2222 1661 112 241 0 1978 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 8888
[startup+2.97736 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1598984/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=11532 CPUtime=2.96
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 2680 0 0 0 295 1 0 0 25 0 1 0 228787162 11808768 2330 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 2883 2330 112 241 0 2639 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 11532
[startup+6.25371 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1593864/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=16028 CPUtime=6.24
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 3847 0 0 0 621 3 0 0 25 0 1 0 228787162 16412672 3497 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562963 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 4007 3497 112 241 0 3763 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 16028
[startup+12.7114 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1582792/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=25864 CPUtime=12.69
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 6377 0 0 0 1265 4 0 0 25 0 1 0 228787162 26484736 6027 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134551960 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 6466 6027 112 241 0 6222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25864
[startup+25.5117 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1577160/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=31320 CPUtime=25.5
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 8125 0 0 0 2544 6 0 0 25 0 1 0 228787162 32071680 7427 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 7830 7427 112 241 0 7586 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 31320
[startup+51.1274 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1562120/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=46300 CPUtime=51.1
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 12141 0 0 0 5101 9 0 0 25 0 1 0 228787162 47411200 11192 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560618 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 11575 11192 112 241 0 11331 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 46300
[startup+102.35 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1556104/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=52044 CPUtime=102.31
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 14041 0 0 0 10221 10 0 0 25 0 1 0 228787162 53293056 12684 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559899 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 13011 12684 112 241 0 12767 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52044
[startup+162.384 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1546888/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=60948 CPUtime=162.33
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 16628 0 0 0 16219 14 0 0 25 0 1 0 228787162 62410752 14971 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134561627 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 15237 14971 112 241 0 14993 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 60948
[startup+222.414 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1498184/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=111960 CPUtime=222.34
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 29764 0 0 0 22214 20 0 0 25 0 1 0 228787162 114647040 27121 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 27990 27121 112 241 0 27746 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 111960
[startup+282.445 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1497992/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=111996 CPUtime=282.37
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 29984 0 0 0 28216 21 0 0 25 0 1 0 228787162 114683904 27166 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 27999 27166 112 241 0 27755 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 111996
[startup+342.474 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1497928/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=112036 CPUtime=342.37
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 30217 0 0 0 34216 21 0 0 25 0 1 0 228787162 114724864 27215 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560613 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 28009 27215 112 241 0 27765 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 112036
[startup+402.513 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1497672/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=112076 CPUtime=402.4
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 30461 0 0 0 40218 22 0 0 25 0 1 0 228787162 114765824 27265 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 28019 27265 112 241 0 27775 0
Current children cumulated CPU time (s) 402.4
Current children cumulated vsize (KiB) 112076
[startup+462.545 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1493128/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=116524 CPUtime=462.42
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 31814 0 0 0 46219 23 0 0 25 0 1 0 228787162 119320576 28414 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559804 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 29131 28414 112 241 0 28887 0
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (KiB) 116524
[startup+522.577 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1487624/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=122468 CPUtime=522.43
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 33341 0 0 0 52219 24 0 0 25 0 1 0 228787162 125407232 29941 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559932 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 30617 29941 112 241 0 30373 0
Current children cumulated CPU time (s) 522.43
Current children cumulated vsize (KiB) 122468
[startup+582.607 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1480712/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=128612 CPUtime=582.45
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 35126 0 0 0 58219 26 0 0 25 0 1 0 228787162 131698688 31510 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 32153 31510 112 241 0 31909 0
Current children cumulated CPU time (s) 582.45
Current children cumulated vsize (KiB) 128612
[startup+642.644 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1464840/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=144296 CPUtime=642.46
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 39320 0 0 0 64216 30 0 0 25 0 1 0 228787162 147759104 35475 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 36074 35475 112 241 0 35830 0
Current children cumulated CPU time (s) 642.46
Current children cumulated vsize (KiB) 144296
[startup+702.672 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16451
/proc/meminfo: memFree=1464776/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=144296 CPUtime=702.48
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 39320 0 0 0 70217 31 0 0 25 0 1 0 228787162 147759104 35475 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559899 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 36074 35475 112 241 0 35830 0
Current children cumulated CPU time (s) 702.48
Current children cumulated vsize (KiB) 144296
[startup+762.702 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1457288/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=151500 CPUtime=762.49
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 41445 0 0 0 76216 33 0 0 25 0 1 0 228787162 155136000 37357 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 37875 37357 112 241 0 37631 0
Current children cumulated CPU time (s) 762.49
Current children cumulated vsize (KiB) 151500
[startup+822.734 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1457224/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=151500 CPUtime=822.51
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 41446 0 0 0 82217 34 0 0 25 0 1 0 228787162 155136000 37358 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 37875 37358 112 241 0 37631 0
Current children cumulated CPU time (s) 822.51
Current children cumulated vsize (KiB) 151500
[startup+882.766 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1451208/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=157580 CPUtime=882.53
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 43019 0 0 0 88218 35 0 0 25 0 1 0 228787162 161361920 38931 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560110 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 39395 38931 112 241 0 39151 0
Current children cumulated CPU time (s) 882.53
Current children cumulated vsize (KiB) 157580
[startup+942.799 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1448712/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=159772 CPUtime=942.54
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 43830 0 0 0 94218 36 0 0 25 0 1 0 228787162 163606528 39483 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559932 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 39943 39483 112 241 0 39699 0
Current children cumulated CPU time (s) 942.54
Current children cumulated vsize (KiB) 159772
[startup+1002.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1448776/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=159772 CPUtime=1002.56
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 43830 0 0 0 100219 37 0 0 25 0 1 0 228787162 163606528 39483 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 39943 39483 112 241 0 39699 0
Current children cumulated CPU time (s) 1002.56
Current children cumulated vsize (KiB) 159772
[startup+1062.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1419272/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=189104 CPUtime=1062.58
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 51214 0 0 0 106214 44 0 0 25 0 1 0 228787162 193642496 46867 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560110 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 47276 46867 112 241 0 47032 0
Current children cumulated CPU time (s) 1062.58
Current children cumulated vsize (KiB) 189104
[startup+1122.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1416840/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=191436 CPUtime=1122.59
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 52074 0 0 0 112213 46 0 0 25 0 1 0 228787162 196030464 47451 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 47859 47451 112 241 0 47615 0
Current children cumulated CPU time (s) 1122.59
Current children cumulated vsize (KiB) 191436
[startup+1182.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1401352/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=207780 CPUtime=1182.6
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 56173 0 0 0 118211 49 0 0 25 0 1 0 228787162 212766720 51550 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 51945 51550 112 241 0 51701 0
Current children cumulated CPU time (s) 1182.6
Current children cumulated vsize (KiB) 207780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 16451
/proc/meminfo: memFree=1387784/2055920 swapFree=4142416/4192956
[pid=16450] ppid=16448 vsize=220116 CPUtime=1200.02
/proc/16450/stat : 16450 (cmusat_base) R 16448 16450 15444 0 -1 4194304 59332 0 0 0 119950 52 0 0 25 0 1 0 228787162 225398784 54709 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/16450/statm: 55029 54709 112 241 0 54785 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 220116
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.37
CPU time (s): 1200.06
CPU user time (s): 1199.5
CPU system time (s): 0.559914
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 220116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.5
system time used= 0.559914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59332
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= 1871
runsolver used 1.41578 second user time and 2.80557 second system time
The end
Begin job on node7 on Wed Feb 21 20:05:24 UTC 2007
IDJOB= 305916
IDBENCH= 20168
IDSOLVER= 120
FILE ID= node7/305916-1172088324
PBS_JOBID= 3865324
Free space on /tmp= 66542 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v10000/unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
COMMAND LINE= /tmp/evaluation/305916-1172088324/cmusat_base /tmp/evaluation/305916-1172088324/instance-305916-1172088324.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-305916-1172088324 -o ROOT/results/node7/solver-305916-1172088324 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305916-1172088324/cmusat_base /tmp/evaluation/305916-1172088324/instance-305916-1172088324.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 3cf867d82f32e157effef5f545ce2705
RANDOM SEED= 729862363
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node7.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.232
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.232
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: 1607208 kB
Buffers: 55856 kB
Cached: 291932 kB
SwapCached: 16216 kB
Active: 240276 kB
Inactive: 138012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1607208 kB
SwapTotal: 4192956 kB
SwapFree: 4142416 kB
Dirty: 3184 kB
Writeback: 0 kB
Mapped: 30156 kB
Slab: 55968 kB
Committed_AS: 863052 kB
PageTables: 1764 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= 66542 MiB
End job on node7 on Wed Feb 21 20:25:27 UTC 2007