runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-297046-1171831636 -o ROOT/results/node2/solver-297046-1171831636 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297046-1171831636/picosat /tmp/evaluation/297046-1171831636/instance-297046-1171831636.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.00 1.00 0.93 3/77 26576
/proc/meminfo: memFree=291136/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=568 CPUtime=0
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 69 0 0 0 0 0 0 0 18 0 1 0 203118535 581632 54 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 142 54 40 102 0 37 0
[startup+0.107005 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 26576
/proc/meminfo: memFree=291136/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=836 CPUtime=0.09
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 143 0 0 0 4 5 0 0 18 0 1 0 203118535 856064 128 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 209 128 40 102 0 104 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 836
[startup+0.515048 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 26576
/proc/meminfo: memFree=291136/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=1248 CPUtime=0.51
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 234 0 0 0 45 6 0 0 21 0 1 0 203118535 1277952 217 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525760 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 312 217 48 102 0 207 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1248
[startup+1.33613 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=290360/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=1248 CPUtime=1.33
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 263 0 0 0 127 6 0 0 25 0 1 0 203118535 1277952 246 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 312 246 48 102 0 207 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 1248
[startup+2.9773 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=290104/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=1380 CPUtime=2.97
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 291 0 0 0 291 6 0 0 25 0 1 0 203118535 1413120 274 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134597652 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 345 274 48 102 0 240 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1380
[startup+6.25364 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=289848/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=1628 CPUtime=6.24
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 336 0 0 0 618 6 0 0 25 0 1 0 203118535 1667072 319 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 407 319 48 102 0 302 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1628
[startup+12.7113 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=289592/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=1756 CPUtime=12.7
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 391 0 0 0 1264 6 0 0 25 0 1 0 203118535 1798144 374 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 439 374 48 102 0 334 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1756
[startup+25.5116 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=289336/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=2096 CPUtime=25.49
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 461 0 0 0 2543 6 0 0 25 0 1 0 203118535 2146304 444 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 524 444 48 102 0 419 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2096
[startup+51.1213 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=288888/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=2544 CPUtime=51.09
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 558 0 0 0 5103 6 0 0 25 0 1 0 203118535 2605056 541 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 636 541 48 102 0 531 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2544
[startup+102.335 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=288312/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=2992 CPUtime=102.3
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 682 0 0 0 10223 7 0 0 25 0 1 0 203118535 3063808 665 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 748 665 48 102 0 643 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2992
[startup+162.367 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=287928/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=3400 CPUtime=162.31
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 773 0 0 0 16224 7 0 0 25 0 1 0 203118535 3481600 755 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 850 755 48 102 0 745 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 3400
[startup+222.394 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=287672/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=3596 CPUtime=222.32
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 836 0 0 0 22224 8 0 0 25 0 1 0 203118535 3682304 818 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 899 818 48 102 0 794 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 3596
[startup+282.424 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=287352/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=3872 CPUtime=282.34
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 903 0 0 0 28225 9 0 0 25 0 1 0 203118535 3964928 885 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 968 885 48 102 0 863 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 3872
[startup+342.456 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=287160/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4080 CPUtime=342.35
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 958 0 0 0 34226 9 0 0 25 0 1 0 203118535 4177920 940 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525769 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1020 940 48 102 0 915 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 4080
[startup+402.49 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=286904/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4256 CPUtime=402.37
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1006 0 0 0 40227 10 0 0 25 0 1 0 203118535 4358144 988 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1064 988 48 102 0 959 0
Current children cumulated CPU time (s) 402.37
Current children cumulated vsize (KiB) 4256
[startup+462.522 s]
/proc/loadavg: 1.07 1.02 0.93 2/78 26577
/proc/meminfo: memFree=286712/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4536 CPUtime=462.38
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1051 0 0 0 46228 10 0 0 25 0 1 0 203118535 4644864 1033 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1134 1033 48 102 0 1029 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 4536
[startup+522.551 s]
/proc/loadavg: 1.02 1.01 0.93 2/78 26577
/proc/meminfo: memFree=286712/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4552 CPUtime=522.4
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1056 0 0 0 52229 11 0 0 25 0 1 0 203118535 4661248 1034 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134597666 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1138 1034 48 102 0 1033 0
Current children cumulated CPU time (s) 522.4
Current children cumulated vsize (KiB) 4552
[startup+582.576 s]
/proc/loadavg: 1.01 1.00 0.93 2/78 26577
/proc/meminfo: memFree=286520/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4696 CPUtime=582.4
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1097 0 0 0 58229 11 0 0 25 0 1 0 203118535 4808704 1075 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1174 1075 48 102 0 1069 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 4696
[startup+642.607 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=286392/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4780 CPUtime=642.42
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1141 0 0 0 64230 12 0 0 25 0 1 0 203118535 4894720 1104 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1195 1104 48 102 0 1090 0
Current children cumulated CPU time (s) 642.42
Current children cumulated vsize (KiB) 4780
[startup+702.635 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=286328/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=4908 CPUtime=702.42
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1169 0 0 0 70230 12 0 0 25 0 1 0 203118535 5025792 1131 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1227 1131 48 102 0 1122 0
Current children cumulated CPU time (s) 702.42
Current children cumulated vsize (KiB) 4908
[startup+762.665 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=286136/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5016 CPUtime=762.44
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1229 0 0 0 76231 13 0 0 25 0 1 0 203118535 5136384 1166 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525820 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1254 1166 48 102 0 1149 0
Current children cumulated CPU time (s) 762.44
Current children cumulated vsize (KiB) 5016
[startup+822.698 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26577
/proc/meminfo: memFree=286200/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5012 CPUtime=822.45
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1229 0 0 0 82232 13 0 0 25 0 1 0 203118535 5132288 1165 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1253 1165 48 102 0 1148 0
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (KiB) 5012
[startup+882.754 s]
/proc/loadavg: 1.00 1.00 0.93 2/84 26711
/proc/meminfo: memFree=284736/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5212 CPUtime=882.44
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1308 0 0 0 88230 14 0 0 25 0 1 0 203118535 5337088 1217 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1303 1217 48 102 0 1198 0
Current children cumulated CPU time (s) 882.44
Current children cumulated vsize (KiB) 5212
[startup+942.798 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285688/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5196 CPUtime=942.42
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1310 0 0 0 94228 14 0 0 25 0 1 0 203118535 5320704 1213 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1299 1213 48 102 0 1194 0
Current children cumulated CPU time (s) 942.42
Current children cumulated vsize (KiB) 5196
[startup+1002.82 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285624/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5532 CPUtime=1002.44
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1390 0 0 0 100229 15 0 0 25 0 1 0 203118535 5664768 1266 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1383 1266 48 102 0 1278 0
Current children cumulated CPU time (s) 1002.44
Current children cumulated vsize (KiB) 5532
[startup+1062.86 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285688/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5516 CPUtime=1062.46
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1400 0 0 0 106230 16 0 0 25 0 1 0 203118535 5648384 1263 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1379 1263 48 102 0 1274 0
Current children cumulated CPU time (s) 1062.46
Current children cumulated vsize (KiB) 5516
[startup+1122.89 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285816/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5664 CPUtime=1122.47
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1441 0 0 0 112231 16 0 0 25 0 1 0 203118535 5799936 1304 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1416 1304 48 102 0 1311 0
Current children cumulated CPU time (s) 1122.47
Current children cumulated vsize (KiB) 5664
[startup+1182.92 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285560/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5676 CPUtime=1182.48
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1471 0 0 0 118231 17 0 0 25 0 1 0 203118535 5812224 1307 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1419 1307 48 102 0 1314 0
Current children cumulated CPU time (s) 1182.48
Current children cumulated vsize (KiB) 5676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.44 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285624/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5676 CPUtime=1200.01
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1471 0 0 0 119984 17 0 0 25 0 1 0 203118535 5812224 1307 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1419 1307 48 102 0 1314 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 5676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.44 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 26775
/proc/meminfo: memFree=285624/2055920 swapFree=4192812/4192956
[pid=26576] ppid=26574 vsize=5676 CPUtime=1200.01
/proc/26576/stat : 26576 (picosat) R 26574 26576 25808 0 -1 4194304 1471 0 0 0 119984 17 0 0 25 0 1 0 203118535 5812224 1307 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26576/statm: 1419 1307 48 102 0 1314 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 5676
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.45
CPU time (s): 1200.02
CPU user time (s): 1199.84
CPU system time (s): 0.176973
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 5844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.84
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1471
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= 1630
runsolver used 1.38879 second user time and 2.74358 second system time
The end
Begin job on node2 on Sun Feb 18 20:47:16 UTC 2007
IDJOB= 297046
IDBENCH= 19952
IDSOLVER= 106
FILE ID= node2/297046-1171831636
PBS_JOBID= 3839371
Free space on /tmp= 66546 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297046-1171831636/picosat /tmp/evaluation/297046-1171831636/instance-297046-1171831636.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-297046-1171831636 -o ROOT/results/node2/solver-297046-1171831636 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297046-1171831636/picosat /tmp/evaluation/297046-1171831636/instance-297046-1171831636.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= 1f7852d30f74f4d1cf595ab0277b9978
RANDOM SEED= 749356692
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node2.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: 291608 kB
Buffers: 51716 kB
Cached: 1574504 kB
SwapCached: 0 kB
Active: 1173288 kB
Inactive: 512920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 291608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 660 kB
Writeback: 0 kB
Mapped: 78864 kB
Slab: 63584 kB
Committed_AS: 1112424 kB
PageTables: 1812 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= 66546 MiB
End job on node2 on Sun Feb 18 21:07:18 UTC 2007