runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-297922-1171847261 -o ROOT/results/node10/solver-297922-1171847261 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297922-1171847261/cmusat /tmp/evaluation/297922-1171847261/instance-297922-1171847261.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.92 0.98 0.99 3/77 26448
/proc/meminfo: memFree=1516136/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=2312 CPUtime=0
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 204681143 2367488 175 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134546966 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 578 175 109 243 0 332 0
[startup+0.107086 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26448
/proc/meminfo: memFree=1516136/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=2712 CPUtime=0.1
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 293 0 0 0 10 0 0 0 18 0 1 0 204681143 2777088 276 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134591993 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 678 276 118 243 0 432 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2712
[startup+0.515142 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 26448
/proc/meminfo: memFree=1516136/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=3248 CPUtime=0.51
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 406 0 0 0 51 0 0 0 21 0 1 0 204681143 3325952 389 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 135107896 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 812 389 118 243 0 566 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3248
[startup+1.33525 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1514784/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=3396 CPUtime=1.33
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 474 0 0 0 133 0 0 0 25 0 1 0 204681143 3477504 457 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134581767 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 849 457 118 243 0 603 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3396
[startup+2.97147 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1513504/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=4776 CPUtime=2.96
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 761 0 0 0 296 0 0 0 25 0 1 0 204681143 4890624 744 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589690 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 1194 744 118 243 0 948 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4776
[startup+6.24792 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1512672/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=5592 CPUtime=6.23
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 1001 0 0 0 623 0 0 0 25 0 1 0 204681143 5726208 984 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134590155 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 1398 984 118 243 0 1152 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 5592
[startup+12.7048 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1510240/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=7852 CPUtime=12.69
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 1649 0 0 0 1268 1 0 0 25 0 1 0 204681143 8040448 1515 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134581679 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 1963 1515 118 243 0 1717 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7852
[startup+25.5125 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=12992 CPUtime=25.5
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 3163 0 0 0 2548 2 0 0 25 0 1 0 204681143 13303808 2623 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 3248 2623 118 243 0 3002 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 12992
[startup+51.126 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1503840/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=14480 CPUtime=51.1
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 4010 0 0 0 5108 2 0 0 25 0 1 0 204681143 14827520 3105 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589515 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 3620 3105 118 243 0 3374 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 14480
[startup+102.349 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1495264/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=24428 CPUtime=102.31
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 6925 0 0 0 10227 4 0 0 25 0 1 0 204681143 25014272 5231 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 6107 5231 118 243 0 5861 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24428
[startup+162.382 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1494240/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=24928 CPUtime=162.33
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 7564 0 0 0 16228 5 0 0 25 0 1 0 204681143 25526272 5458 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589615 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 6232 5458 118 243 0 5986 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 24928
[startup+222.412 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1490272/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=28640 CPUtime=222.34
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 8776 0 0 0 22227 7 0 0 25 0 1 0 204681143 29327360 6505 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134590140 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 7160 6505 118 243 0 6914 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 28640
[startup+282.441 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1487904/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=30532 CPUtime=282.34
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 9715 0 0 0 28226 8 0 0 25 0 1 0 204681143 31264768 7064 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 7633 7064 118 243 0 7387 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 30532
[startup+342.446 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1475616/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=46308 CPUtime=342.33
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 13957 0 0 0 34223 10 0 0 25 0 1 0 204681143 47419392 10140 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589690 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 11577 10140 118 243 0 11331 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 46308
[startup+402.485 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1475040/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=46592 CPUtime=402.36
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 14339 0 0 0 40225 11 0 0 25 0 1 0 204681143 47710208 10282 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589578 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 11648 10282 118 243 0 11402 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 46592
[startup+462.518 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1474848/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=46752 CPUtime=462.37
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 14407 0 0 0 46225 12 0 0 25 0 1 0 204681143 47874048 10350 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 11688 10350 118 243 0 11442 0
Current children cumulated CPU time (s) 462.37
Current children cumulated vsize (KiB) 46752
[startup+522.551 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1473888/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=47564 CPUtime=522.39
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 14898 0 0 0 52226 13 0 0 25 0 1 0 204681143 48705536 10578 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134590170 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 11891 10578 118 243 0 11645 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 47564
[startup+582.583 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1473056/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=48004 CPUtime=582.4
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 15388 0 0 0 58227 13 0 0 25 0 1 0 204681143 49156096 10779 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 12001 10779 118 243 0 11755 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 48004
[startup+642.614 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1472672/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=48460 CPUtime=642.42
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 15482 0 0 0 64228 14 0 0 25 0 1 0 204681143 49623040 10873 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589771 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 12115 10873 118 243 0 11869 0
Current children cumulated CPU time (s) 642.42
Current children cumulated vsize (KiB) 48460
[startup+702.642 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1472096/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=48588 CPUtime=702.43
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 15670 0 0 0 70229 14 0 0 25 0 1 0 204681143 49754112 11028 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 12147 11028 118 243 0 11901 0
Current children cumulated CPU time (s) 702.43
Current children cumulated vsize (KiB) 48588
[startup+762.673 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1471712/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=48976 CPUtime=762.44
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 16082 0 0 0 76229 15 0 0 25 0 1 0 204681143 50151424 11122 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 12244 11122 118 243 0 11998 0
Current children cumulated CPU time (s) 762.44
Current children cumulated vsize (KiB) 48976
[startup+822.704 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1471456/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=49396 CPUtime=822.46
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 16181 0 0 0 82231 15 0 0 25 0 1 0 204681143 50581504 11188 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 12349 11188 118 243 0 12103 0
Current children cumulated CPU time (s) 822.46
Current children cumulated vsize (KiB) 49396
[startup+882.742 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1467808/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=52704 CPUtime=882.47
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 17487 0 0 0 88230 17 0 0 25 0 1 0 204681143 53968896 12112 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 13176 12112 118 243 0 12930 0
Current children cumulated CPU time (s) 882.47
Current children cumulated vsize (KiB) 52704
[startup+942.775 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1467744/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=52704 CPUtime=942.5
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 17495 0 0 0 94232 18 0 0 25 0 1 0 204681143 53968896 12120 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589684 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 13176 12120 118 243 0 12930 0
Current children cumulated CPU time (s) 942.5
Current children cumulated vsize (KiB) 52704
[startup+1002.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1467488/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=53140 CPUtime=1002.5
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 17592 0 0 0 100232 18 0 0 25 0 1 0 204681143 54415360 12184 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589771 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 13285 12184 118 243 0 13039 0
Current children cumulated CPU time (s) 1002.5
Current children cumulated vsize (KiB) 53140
[startup+1062.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=55940 CPUtime=1062.53
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 18378 0 0 0 106233 20 0 0 25 0 1 0 204681143 57282560 12970 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589715 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 13985 12970 118 243 0 13739 0
Current children cumulated CPU time (s) 1062.53
Current children cumulated vsize (KiB) 55940
[startup+1122.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1462880/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=57148 CPUtime=1122.54
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 19133 0 0 0 112233 21 0 0 25 0 1 0 204681143 58519552 13342 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 14287 13342 118 243 0 14041 0
Current children cumulated CPU time (s) 1122.54
Current children cumulated vsize (KiB) 57148
[startup+1182.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1462496/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=57564 CPUtime=1182.55
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 19234 0 0 0 118234 21 0 0 25 0 1 0 204681143 58945536 13443 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 14391 13443 118 243 0 14145 0
Current children cumulated CPU time (s) 1182.55
Current children cumulated vsize (KiB) 57564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.42 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 26449
/proc/meminfo: memFree=1462240/2055920 swapFree=4192812/4192956
[pid=26448] ppid=26446 vsize=57888 CPUtime=1200.08
/proc/26448/stat : 26448 (cmusat) R 26446 26448 24999 0 -1 4194304 19283 0 0 0 119986 22 0 0 25 0 1 0 204681143 59277312 13492 18446744073709551615 134512640 135508737 4294956624 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/26448/statm: 14472 13492 118 243 0 14226 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 57888
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.44
CPU time (s): 1200.09
CPU user time (s): 1199.86
CPU system time (s): 0.230964
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 57888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.230964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19283
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= 1848
runsolver used 1.41078 second user time and 2.81657 second system time
The end
Begin job on node10 on Mon Feb 19 01:07:41 UTC 2007
IDJOB= 297922
IDBENCH= 19973
IDSOLVER= 121
FILE ID= node10/297922-1171847261
PBS_JOBID= 3839376
Free space on /tmp= 66542 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297922-1171847261/cmusat /tmp/evaluation/297922-1171847261/instance-297922-1171847261.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-297922-1171847261 -o ROOT/results/node10/solver-297922-1171847261 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297922-1171847261/cmusat /tmp/evaluation/297922-1171847261/instance-297922-1171847261.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= cb5ee35307c6c21b48523bbf3016211a
RANDOM SEED= 773461071
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node10.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: 1516480 kB
Buffers: 49736 kB
Cached: 373904 kB
SwapCached: 0 kB
Active: 257296 kB
Inactive: 211268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1516480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2484 kB
Writeback: 0 kB
Mapped: 63764 kB
Slab: 56272 kB
Committed_AS: 1183192 kB
PageTables: 1836 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 node10 on Mon Feb 19 01:27:44 UTC 2007