runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-296097-1171817637 -o ROOT/results/node75/solver-296097-1171817637 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/296097-1171817637/tinisat /tmp/evaluation/296097-1171817637/instance-296097-1171817637.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 19684
/proc/meminfo: memFree=717936/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=716 CPUtime=0
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 101 0 0 0 0 0 0 0 19 0 1 0 201729572 733184 86 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134612771 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 179 86 48 110 0 66 0
[startup+0.107079 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19684
/proc/meminfo: memFree=717936/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=1312 CPUtime=0.1
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 238 0 0 0 10 0 0 0 20 0 1 0 201729572 1343488 222 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 328 222 52 110 0 215 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1312
[startup+0.515126 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19684
/proc/meminfo: memFree=717936/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=1980 CPUtime=0.51
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 375 0 0 0 51 0 0 0 23 0 1 0 201729572 2027520 359 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134518744 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 495 359 52 110 0 382 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1980
[startup+1.33522 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=716072/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=3588 CPUtime=1.32
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 579 0 0 0 132 0 0 0 25 0 1 0 201729572 3674112 563 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134518568 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 897 563 52 110 0 784 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3588
[startup+2.97642 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=715048/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=3856 CPUtime=2.96
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 850 0 0 0 296 0 0 0 25 0 1 0 201729572 3948544 834 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 964 834 52 110 0 851 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 3856
[startup+6.25181 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=713384/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=6936 CPUtime=6.23
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 1213 0 0 0 623 0 0 0 25 0 1 0 201729572 7102464 1164 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519878 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 1734 1164 52 110 0 1621 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 6936
[startup+12.7056 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=711528/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=7552 CPUtime=12.69
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 1646 0 0 0 1268 1 0 0 25 0 1 0 201729572 7733248 1597 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 1888 1597 52 110 0 1775 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7552
[startup+25.6071 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=709296/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=13808 CPUtime=25.58
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 2283 0 0 0 2557 1 0 0 25 0 1 0 201729572 14139392 2169 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 3452 2169 52 110 0 3339 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 13808
[startup+51.2161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=706032/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=14320 CPUtime=51.19
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 3088 0 0 0 5117 2 0 0 25 0 1 0 201729572 14663680 2974 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 3580 2974 52 110 0 3467 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 14320
[startup+102.43 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 19685
/proc/meminfo: memFree=701552/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=26868 CPUtime=102.39
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 4325 0 0 0 10236 3 0 0 25 0 1 0 201729572 27512832 4082 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519932 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 6717 4082 52 110 0 6604 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 26868
[startup+162.452 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 19685
/proc/meminfo: memFree=697136/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=28104 CPUtime=162.39
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 5384 0 0 0 16235 4 0 0 25 0 1 0 201729572 28778496 5141 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 7026 5141 52 110 0 6913 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 28104
[startup+222.473 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=694192/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=28560 CPUtime=222.4
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 6114 0 0 0 22235 5 0 0 25 0 1 0 201729572 29245440 5871 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 7140 5871 52 110 0 7027 0
Current children cumulated CPU time (s) 222.4
Current children cumulated vsize (KiB) 28560
[startup+282.492 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=691312/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=29148 CPUtime=282.4
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 6837 0 0 0 28234 6 0 0 25 0 1 0 201729572 29847552 6594 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 7287 6594 52 110 0 7174 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 29148
[startup+342.511 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=687984/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=52216 CPUtime=342.4
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 7719 0 0 0 34233 7 0 0 25 0 1 0 201729572 53469184 7410 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520118 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 13054 7410 52 110 0 12941 0
Current children cumulated CPU time (s) 342.4
Current children cumulated vsize (KiB) 52216
[startup+402.531 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19685
/proc/meminfo: memFree=685808/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=53884 CPUtime=402.4
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 8616 0 0 0 40232 8 0 0 25 0 1 0 201729572 55177216 7951 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 13471 7951 52 110 0 13358 0
Current children cumulated CPU time (s) 402.4
Current children cumulated vsize (KiB) 53884
[startup+462.565 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 19795
/proc/meminfo: memFree=682744/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=54464 CPUtime=462.36
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 9167 0 0 0 46228 8 0 0 25 0 1 0 201729572 55771136 8436 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 13616 8436 52 110 0 13503 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 54464
[startup+522.612 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=681376/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=55508 CPUtime=522.35
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 9772 0 0 0 52226 9 0 0 25 0 1 0 201729572 56840192 9008 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 13877 9008 52 110 0 13764 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 55508
[startup+582.637 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=679600/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=55768 CPUtime=582.36
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 10274 0 0 0 58226 10 0 0 25 0 1 0 201729572 57106432 9477 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 13942 9477 52 110 0 13829 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 55768
[startup+642.657 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=677488/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=56552 CPUtime=642.36
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 10859 0 0 0 64226 10 0 0 25 0 1 0 201729572 57909248 9996 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14138 9996 52 110 0 14025 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 56552
[startup+702.679 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=675632/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=57200 CPUtime=702.36
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 11381 0 0 0 70225 11 0 0 25 0 1 0 201729572 58572800 10485 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519972 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14300 10485 52 110 0 14187 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 57200
[startup+762.696 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=674160/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=57328 CPUtime=762.36
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 11782 0 0 0 76225 11 0 0 25 0 1 0 201729572 58703872 10853 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14332 10853 52 110 0 14219 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 57328
[startup+822.719 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=672496/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=57856 CPUtime=822.37
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 12204 0 0 0 82225 12 0 0 25 0 1 0 201729572 59244544 11275 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14464 11275 52 110 0 14351 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 57856
[startup+882.739 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=671088/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=57856 CPUtime=882.37
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 12563 0 0 0 88225 12 0 0 25 0 1 0 201729572 59244544 11634 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519932 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14464 11634 52 110 0 14351 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 57856
[startup+942.757 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=669616/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=58496 CPUtime=942.37
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 13093 0 0 0 94224 13 0 0 25 0 1 0 201729572 59899904 12001 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14624 12001 52 110 0 14511 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 58496
[startup+1002.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=668272/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=58496 CPUtime=1002.37
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 13423 0 0 0 100224 13 0 0 25 0 1 0 201729572 59899904 12331 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14624 12331 52 110 0 14511 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 58496
[startup+1062.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=666864/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=59012 CPUtime=1062.38
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 13882 0 0 0 106224 14 0 0 25 0 1 0 201729572 60428288 12692 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134520134 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14753 12692 52 110 0 14640 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 59012
[startup+1122.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=665520/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=59268 CPUtime=1122.38
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 14268 0 0 0 112224 14 0 0 25 0 1 0 201729572 60690432 13013 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14817 13013 52 110 0 14704 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 59268
[startup+1182.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=664240/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=59912 CPUtime=1182.38
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 14733 0 0 0 118224 14 0 0 25 0 1 0 201729572 61349888 13347 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14978 13347 52 110 0 14865 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 59912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.56 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19883
/proc/meminfo: memFree=663792/2055920 swapFree=4183176/4192956
[pid=19684] ppid=19682 vsize=59912 CPUtime=1200.1
/proc/19684/stat : 19684 (tinisat) R 19682 19684 19189 0 -1 4194304 14825 0 0 0 119996 14 0 0 25 0 1 0 201729572 61349888 13439 18446744073709551615 134512640 134966189 4294956640 18446744073709551615 134519934 0 0 4096 0 0 0 0 17 1 0 0
/proc/19684/statm: 14978 13439 52 110 0 14865 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 59912
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.58
CPU time (s): 1200.12
CPU user time (s): 1199.96
CPU system time (s): 0.158975
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 59912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14825
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= 1383
runsolver used 0.757884 second user time and 2.53461 second system time
The end
Begin job on node75 on Sun Feb 18 16:53:57 UTC 2007
IDJOB= 296097
IDBENCH= 19929
IDSOLVER= 100
FILE ID= node75/296097-1171817637
PBS_JOBID= 3839639
Free space on /tmp= 66563 MiB
SOLVER NAME= tinisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v60/unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/296097-1171817637/tinisat /tmp/evaluation/296097-1171817637/instance-296097-1171817637.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-296097-1171817637 -o ROOT/results/node75/solver-296097-1171817637 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/296097-1171817637/tinisat /tmp/evaluation/296097-1171817637/instance-296097-1171817637.cnf
META MD5SUM SOLVER= 15788d06198cf45d0201cced774790cd
MD5SUM BENCH= 158195e2cd2ef056c6b800906e2a658f
RANDOM SEED= 578404650
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node75.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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 718344 kB
Buffers: 49284 kB
Cached: 1166240 kB
SwapCached: 3920 kB
Active: 809848 kB
Inactive: 415528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 718344 kB
SwapTotal: 4192956 kB
SwapFree: 4183176 kB
Dirty: 664 kB
Writeback: 0 kB
Mapped: 15712 kB
Slab: 98148 kB
Committed_AS: 596448 kB
PageTables: 1432 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= 66563 MiB
End job on node75 on Sun Feb 18 17:14:00 UTC 2007