runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-305320-1172076526 -o ROOT/results/node69/solver-305320-1172076526 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305320-1172076526/tts-4-0 /tmp/evaluation/305320-1172076526/instance-305320-1172076526.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 1.00 3/64 21655
/proc/meminfo: memFree=1972456/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=796 CPUtime=0
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 227610321 815104 99 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 199 99 57 113 0 83 0
[startup+0.106552 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21655
/proc/meminfo: memFree=1972456/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=4312 CPUtime=0.09
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 227610321 4415488 960 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134647773 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 1078 960 57 113 0 962 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4312
[startup+0.514618 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21655
/proc/meminfo: memFree=1972456/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=20656 CPUtime=0.5
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 4985 0 0 0 49 1 0 0 21 0 1 0 227610321 21151744 4970 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134555203 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 5164 4970 62 113 0 5048 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 20656
[startup+1.33475 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1952736/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=20656 CPUtime=1.32
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 5081 0 0 0 131 1 0 0 25 0 1 0 227610321 21151744 5000 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134632282 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 5164 5000 63 113 0 5048 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 20656
[startup+2.97102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1900512/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=89380 CPUtime=2.96
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 22361 0 0 0 287 9 0 0 25 0 1 0 227610321 91525120 22106 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134627035 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 22345 22106 66 113 0 22229 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 89380
[startup+6.24956 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1833888/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=160612 CPUtime=6.24
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 37698 0 0 0 608 16 0 0 25 0 1 0 227610321 164466688 37443 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641285 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 40153 37443 66 113 0 40037 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 160612
[startup+12.7026 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1782816/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=205272 CPUtime=12.69
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 48786 0 0 0 1248 21 0 0 25 0 1 0 227610321 210198528 48531 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134535843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 51318 48531 66 113 0 51202 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 205272
[startup+25.5047 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1733792/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=268688 CPUtime=25.48
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 59820 0 0 0 2522 26 0 0 25 0 1 0 227610321 275136512 59565 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591983 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 67172 59565 66 113 0 67056 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268688
[startup+51.1099 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1667616/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=361752 CPUtime=51.08
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 76305 0 0 0 5075 33 0 0 25 0 1 0 227610321 370434048 76050 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641338 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 90438 76050 66 113 0 90322 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 361752
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1568800/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=482284 CPUtime=102.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 100952 0 0 0 10183 44 0 0 25 0 1 0 227610321 493858816 100697 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641318 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 120571 100697 66 113 0 120455 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 482284
[startup+162.343 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1539360/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=515280 CPUtime=162.28
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 108278 0 0 0 16181 47 0 0 25 0 1 0 227610321 527646720 108023 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 128820 108023 66 113 0 128704 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 515280
[startup+222.358 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1524192/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=531856 CPUtime=222.28
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 112056 0 0 0 22179 49 0 0 25 0 1 0 227610321 544620544 111801 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 132964 111801 66 113 0 132848 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 531856
[startup+282.371 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1503200/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=554444 CPUtime=282.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 117276 0 0 0 28176 51 0 0 25 0 1 0 227610321 567750656 117021 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591975 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 138611 117021 66 113 0 138495 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 554444
[startup+342.387 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1487648/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=570900 CPUtime=342.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 121140 0 0 0 34174 53 0 0 25 0 1 0 227610321 584601600 120885 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591965 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 142725 120885 66 113 0 142609 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 570900
[startup+402.409 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1472864/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=586280 CPUtime=402.28
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 124833 0 0 0 40173 55 0 0 25 0 1 0 227610321 600350720 124578 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641324 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 146570 124578 66 113 0 146454 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 586280
[startup+462.427 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1453408/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=606620 CPUtime=462.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 129676 0 0 0 46171 56 0 0 25 0 1 0 227610321 621178880 129421 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591879 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 151655 129421 66 113 0 151539 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 606620
[startup+522.442 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1448544/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=611788 CPUtime=522.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 130903 0 0 0 52170 57 0 0 25 0 1 0 227610321 626470912 130648 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552145 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 152947 130648 66 113 0 152831 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 611788
[startup+582.457 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1428832/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=631968 CPUtime=582.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 135812 0 0 0 58168 59 0 0 25 0 1 0 227610321 647135232 135557 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543308 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 157992 135557 66 113 0 157876 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 631968
[startup+642.476 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1417312/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=643504 CPUtime=642.26
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 138688 0 0 0 64166 60 0 0 25 0 1 0 227610321 658948096 138433 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 160876 138433 66 113 0 160760 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 643504
[startup+702.494 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21656
/proc/meminfo: memFree=1399072/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=661880 CPUtime=702.27
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 143229 0 0 0 70164 63 0 0 25 0 1 0 227610321 677765120 142974 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 165470 142974 66 113 0 165354 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 661880
[startup+762.526 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 21758
/proc/meminfo: memFree=1392048/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=667048 CPUtime=762.24
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 144503 0 0 0 76160 64 0 0 25 0 1 0 227610321 683057152 144248 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 166762 144248 66 113 0 166646 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 667048
[startup+822.575 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 21834
/proc/meminfo: memFree=1379056/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=679900 CPUtime=822.22
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 147713 0 0 0 82157 65 0 0 25 0 1 0 227610321 696217600 147458 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134543340 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 169975 147458 66 113 0 169859 0
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (KiB) 679900
[startup+882.592 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1375200/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=684828 CPUtime=882.21
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 148949 0 0 0 88155 66 0 0 25 0 1 0 227610321 701263872 148694 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591721 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 171207 148694 66 113 0 171091 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 684828
[startup+942.604 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1374496/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=685668 CPUtime=942.21
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 149162 0 0 0 94155 66 0 0 25 0 1 0 227610321 702124032 148907 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134537405 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 171417 148907 66 113 0 171301 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 685668
[startup+1002.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1371488/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=688552 CPUtime=1002.21
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 149926 0 0 0 100154 67 0 0 25 0 1 0 227610321 705077248 149671 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134552285 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 172138 149671 66 113 0 172022 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 688552
[startup+1062.65 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1367904/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=692036 CPUtime=1062.21
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 150804 0 0 0 106154 67 0 0 25 0 1 0 227610321 708644864 150549 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591892 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 173009 150549 66 113 0 172893 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 692036
[startup+1122.66 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1357600/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=702244 CPUtime=1122.21
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 153370 0 0 0 112153 68 0 0 25 0 1 0 227610321 719097856 153115 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 175561 153115 66 113 0 175445 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 702244
[startup+1182.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1356768/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=703084 CPUtime=1182.2
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 153584 0 0 0 118152 68 0 0 25 0 1 0 227610321 719958016 153329 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134641336 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 175771 153329 66 113 0 175655 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 703084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21854
/proc/meminfo: memFree=1356768/2055920 swapFree=4183360/4192956
[pid=21655] ppid=21653 vsize=703084 CPUtime=1200.02
/proc/21655/stat : 21655 (tts-4-0) R 21653 21655 20868 0 -1 4194304 153584 0 0 0 119934 68 0 0 25 0 1 0 227610321 719958016 153329 18446744073709551615 134512640 134976056 4294956704 18446744073709551615 134591882 0 0 4096 0 0 0 0 17 1 0 0
/proc/21655/statm: 175771 153329 66 113 0 175655 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 703084
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.6
CPU time (s): 1200.14
CPU user time (s): 1199.35
CPU system time (s): 0.78688
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 703084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.35
system time used= 0.78688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153584
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= 2921
runsolver used 0.752885 second user time and 2.53661 second system time
The end
Begin job on node69 on Wed Feb 21 16:48:46 UTC 2007
IDJOB= 305320
IDBENCH= 20154
IDSOLVER= 98
FILE ID= node69/305320-1172076526
PBS_JOBID= 3892815
Free space on /tmp= 66561 MiB
SOLVER NAME= TTS 4.0
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v16000/unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
COMMAND LINE= /tmp/evaluation/305320-1172076526/tts-4-0 /tmp/evaluation/305320-1172076526/instance-305320-1172076526.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-305320-1172076526 -o ROOT/results/node69/solver-305320-1172076526 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/305320-1172076526/tts-4-0 /tmp/evaluation/305320-1172076526/instance-305320-1172076526.cnf
META MD5SUM SOLVER= 73a7a27d0c2e86f9b1191433fde766ff
MD5SUM BENCH= 4e143e0a14562155f1998f2e56848071
RANDOM SEED= 327831515
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node69.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.261
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.261
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: 1972928 kB
Buffers: 2396 kB
Cached: 26220 kB
SwapCached: 3684 kB
Active: 22372 kB
Inactive: 15972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1972928 kB
SwapTotal: 4192956 kB
SwapFree: 4183360 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 15576 kB
Slab: 30668 kB
Committed_AS: 654480 kB
PageTables: 1472 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= 66561 MiB
End job on node69 on Wed Feb 21 17:08:49 UTC 2007