runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-302747-1172018815 -o ROOT/results/node68/solver-302747-1172018815 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/302747-1172018815/mmisat /tmp/evaluation/302747-1172018815/instance-302747-1172018815.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.01 1.00 0.92 3/64 24183
/proc/meminfo: memFree=1699456/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=1044 CPUtime=0
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 221839113 1069056 112 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134998823 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 261 112 81 214 0 43 0
[startup+0.107537 s]
/proc/loadavg: 1.01 1.00 0.92 3/64 24183
/proc/meminfo: memFree=1699456/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=1308 CPUtime=0.1
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 192 0 0 0 10 0 0 0 18 0 1 0 221839113 1339392 175 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134998823 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 327 175 81 214 0 109 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1308
[startup+0.519573 s]
/proc/loadavg: 1.01 1.00 0.92 3/64 24183
/proc/meminfo: memFree=1699456/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=1704 CPUtime=0.51
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 287 0 0 0 51 0 0 0 21 0 1 0 221839113 1744896 270 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 426 270 81 214 0 208 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1704
[startup+1.34165 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1698424/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=2100 CPUtime=1.34
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 379 0 0 0 134 0 0 0 25 0 1 0 221839113 2150400 362 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517184 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 525 362 81 214 0 307 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 2100
[startup+2.9778 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1698040/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=2364 CPUtime=2.97
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 456 0 0 0 297 0 0 0 25 0 1 0 221839113 2420736 439 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 591 439 81 214 0 373 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 2364
[startup+6.25409 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1697536/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=2760 CPUtime=6.25
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 542 0 0 0 625 0 0 0 25 0 1 0 221839113 2826240 525 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 690 525 81 214 0 472 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 2760
[startup+12.7097 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1697088/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=3156 CPUtime=12.7
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 636 0 0 0 1270 0 0 0 25 0 1 0 221839113 3231744 619 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 789 619 81 214 0 571 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 3156
[startup+25.6108 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1696704/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=3420 CPUtime=25.6
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 731 0 0 0 2560 0 0 0 25 0 1 0 221839113 3502080 714 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 855 714 81 214 0 637 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 3420
[startup+51.2192 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1696192/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=3948 CPUtime=51.2
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 851 0 0 0 5120 0 0 0 25 0 1 0 221839113 4042752 834 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517724 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 987 834 81 214 0 769 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 3948
[startup+102.431 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1695488/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=4608 CPUtime=102.4
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 1020 0 0 0 10240 0 0 0 25 0 1 0 221839113 4718592 1003 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 1152 1003 81 214 0 934 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 4608
[startup+162.455 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1694848/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=5268 CPUtime=162.4
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 1167 0 0 0 16240 0 0 0 25 0 1 0 221839113 5394432 1150 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 1317 1150 81 214 0 1099 0
Current children cumulated CPU time (s) 162.4
Current children cumulated vsize (KiB) 5268
[startup+222.476 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1694336/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=5664 CPUtime=222.41
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 1288 0 0 0 22241 0 0 0 25 0 1 0 221839113 5799936 1271 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 1416 1271 81 214 0 1198 0
Current children cumulated CPU time (s) 222.41
Current children cumulated vsize (KiB) 5664
[startup+282.496 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1693824/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=6192 CPUtime=282.41
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 1397 0 0 0 28241 0 0 0 25 0 1 0 221839113 6340608 1380 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 1548 1380 81 214 0 1330 0
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (KiB) 6192
[startup+342.516 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1693376/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=6588 CPUtime=342.42
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 1497 0 0 0 34242 0 0 0 25 0 1 0 221839113 6746112 1480 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 1647 1480 81 214 0 1429 0
Current children cumulated CPU time (s) 342.42
Current children cumulated vsize (KiB) 6588
[startup+402.536 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1686784/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=12892 CPUtime=402.41
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 4529 0 0 0 40240 1 0 0 25 0 1 0 221839113 13201408 3093 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134548821 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 3223 3093 91 214 0 3005 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 12892
[startup+462.553 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1562432/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=132292 CPUtime=462.42
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 40870 0 0 0 46227 15 0 0 25 0 1 0 221839113 135467008 32943 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134516164 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 33073 32943 91 214 0 32855 0
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (KiB) 132292
[startup+522.571 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1314432/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=385296 CPUtime=522.42
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 118748 0 0 0 52200 42 0 0 25 0 1 0 221839113 394543104 96167 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134548675 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 96324 96167 91 214 0 96106 0
Current children cumulated CPU time (s) 522.42
Current children cumulated vsize (KiB) 385296
[startup+582.59 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 24184
/proc/meminfo: memFree=1068608/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=629748 CPUtime=582.42
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 209499 0 0 0 58168 74 0 0 25 0 1 0 221839113 644861952 157301 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134518944 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157437 157301 91 214 0 157219 0
Current children cumulated CPU time (s) 582.42
Current children cumulated vsize (KiB) 629748
[startup+642.605 s]
/proc/loadavg: 1.05 1.01 0.93 2/65 24184
/proc/meminfo: memFree=1070016/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=628240 CPUtime=642.43
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 233185 0 0 0 64158 85 0 0 25 0 1 0 221839113 643317760 156926 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134997898 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157060 156926 91 214 0 156842 0
Current children cumulated CPU time (s) 642.43
Current children cumulated vsize (KiB) 628240
[startup+702.619 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 24184
/proc/meminfo: memFree=1077248/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=625640 CPUtime=702.42
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 259912 0 0 0 70146 96 0 0 25 0 1 0 221839113 640655360 156258 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134518819 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 156410 156258 91 214 0 156192 0
Current children cumulated CPU time (s) 702.42
Current children cumulated vsize (KiB) 625640
[startup+762.634 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24184
/proc/meminfo: memFree=1069056/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=629164 CPUtime=762.42
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 271260 0 0 0 76141 101 0 0 25 0 1 0 221839113 644263936 157157 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134518886 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157291 157157 91 214 0 157073 0
Current children cumulated CPU time (s) 762.42
Current children cumulated vsize (KiB) 629164
[startup+822.655 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24184
/proc/meminfo: memFree=1072960/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=625268 CPUtime=822.43
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 282341 0 0 0 82136 107 0 0 25 0 1 0 221839113 640274432 156183 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 156317 156183 91 214 0 156099 0
Current children cumulated CPU time (s) 822.43
Current children cumulated vsize (KiB) 625268
[startup+882.699 s]
/proc/loadavg: 1.00 1.00 0.93 2/71 24292
/proc/meminfo: memFree=1068040/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=629224 CPUtime=882.4
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 304110 0 0 0 88123 117 0 0 25 0 1 0 221839113 644325376 157155 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134515747 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157306 157155 91 214 0 157088 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 629224
[startup+942.741 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24382
/proc/meminfo: memFree=1073080/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=628444 CPUtime=942.36
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 326285 0 0 0 94109 127 0 0 25 0 1 0 221839113 643526656 156977 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134523273 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157111 156977 91 214 0 156893 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 628444
[startup+1002.76 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24382
/proc/meminfo: memFree=1067264/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=630800 CPUtime=1002.37
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 346817 0 0 0 100100 137 0 0 25 0 1 0 221839113 645939200 157566 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157700 157566 91 214 0 157482 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 630800
[startup+1062.78 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24382
/proc/meminfo: memFree=1068800/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=630140 CPUtime=1062.37
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 369082 0 0 0 106088 149 0 0 25 0 1 0 221839113 645263360 157389 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134518346 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157535 157389 91 214 0 157317 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 630140
[startup+1122.79 s]
/proc/loadavg: 1.05 1.01 0.93 2/65 24382
/proc/meminfo: memFree=1072640/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=623932 CPUtime=1122.36
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 383627 0 0 0 112080 156 0 0 25 0 1 0 221839113 638906368 155849 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134518346 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 155983 155849 91 214 0 155765 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 623932
[startup+1182.8 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 24382
/proc/meminfo: memFree=1070528/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=629164 CPUtime=1182.37
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 400748 0 0 0 118072 165 0 0 25 0 1 0 221839113 644263936 157149 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134518346 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 157291 157149 91 214 0 157073 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 629164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.52 s]
/proc/loadavg: 1.01 1.01 0.93 2/65 24382
/proc/meminfo: memFree=1070848/2055920 swapFree=4181892/4192956
[pid=24183] ppid=24181 vsize=627524 CPUtime=1200.08
/proc/24183/stat : 24183 (mmisat) R 24181 24183 23742 0 -1 4194304 407053 0 0 0 119840 168 0 0 25 0 1 0 221839113 642584576 156734 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134515747 0 0 4096 0 0 0 0 17 1 0 0
/proc/24183/statm: 156881 156734 91 214 0 156663 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 627524
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.62
CPU time (s): 1200.19
CPU user time (s): 1198.41
CPU system time (s): 1.78073
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 635052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.41
system time used= 1.78073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407053
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= 2045
runsolver used 0.819875 second user time and 2.47362 second system time
The end
Begin job on node68 on Wed Feb 21 00:46:55 UTC 2007
IDJOB= 302747
IDBENCH= 20091
IDSOLVER= 108
FILE ID= node68/302747-1172018815
PBS_JOBID= 3892667
Free space on /tmp= 66561 MiB
SOLVER NAME= Mmisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v240/unif-k7-r85-v240-c20400-S998136463-10.cnf
COMMAND LINE= /tmp/evaluation/302747-1172018815/mmisat /tmp/evaluation/302747-1172018815/instance-302747-1172018815.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-302747-1172018815 -o ROOT/results/node68/solver-302747-1172018815 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/302747-1172018815/mmisat /tmp/evaluation/302747-1172018815/instance-302747-1172018815.cnf
META MD5SUM SOLVER= f0471644c1818c6834832b41e70bf7e6
MD5SUM BENCH= 3ee6423866512ae80f83a98c492ccb0b
RANDOM SEED= 322129913
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node68.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.234
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.234
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: 1699928 kB
Buffers: 32676 kB
Cached: 269184 kB
SwapCached: 5500 kB
Active: 187116 kB
Inactive: 126888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699928 kB
SwapTotal: 4192956 kB
SwapFree: 4181892 kB
Dirty: 1720 kB
Writeback: 0 kB
Mapped: 15376 kB
Slab: 28092 kB
Committed_AS: 649916 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= 66561 MiB
End job on node68 on Wed Feb 21 01:06:58 UTC 2007