runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-304297-1172055597 -o ROOT/results/node12/solver-304297-1172055597 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/304297-1172055597/tinisat /tmp/evaluation/304297-1172055597/instance-304297-1172055597.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: 7.36 6.95 4.78 3/77 12267
/proc/meminfo: memFree=1637856/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=848 CPUtime=0
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 225514216 868352 101 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134629133 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 212 101 48 110 0 99 0
[startup+0.107094 s]
/proc/loadavg: 7.36 6.95 4.78 3/77 12267
/proc/meminfo: memFree=1637856/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=2356 CPUtime=0.1
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 423 0 0 0 10 0 0 0 18 0 1 0 225514216 2412544 407 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519932 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 589 407 52 110 0 476 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2356
[startup+0.515168 s]
/proc/loadavg: 7.36 6.95 4.78 3/77 12267
/proc/meminfo: memFree=1637856/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=4060 CPUtime=0.5
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 589 0 0 0 50 0 0 0 21 0 1 0 225514216 4157440 573 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134518568 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 1015 573 52 110 0 902 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4060
[startup+1.33832 s]
/proc/loadavg: 7.36 6.95 4.78 2/78 12268
/proc/meminfo: memFree=1634840/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=4060 CPUtime=1.32
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 857 0 0 0 132 0 0 0 25 0 1 0 225514216 4157440 841 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 1015 841 52 110 0 902 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 4060
[startup+2.97461 s]
/proc/loadavg: 7.36 6.95 4.78 2/78 12268
/proc/meminfo: memFree=1633560/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=7596 CPUtime=2.97
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 1249 0 0 0 296 1 0 0 25 0 1 0 225514216 7778304 1233 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 1899 1233 52 110 0 1786 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 7596
[startup+6.2542 s]
/proc/loadavg: 6.85 6.85 4.75 2/78 12268
/proc/meminfo: memFree=1630936/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=7860 CPUtime=6.24
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 1839 0 0 0 623 1 0 0 25 0 1 0 225514216 8048640 1823 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519582 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 1965 1823 52 110 0 1852 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 7860
[startup+12.7084 s]
/proc/loadavg: 6.38 6.75 4.73 2/78 12268
/proc/meminfo: memFree=1627424/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=15196 CPUtime=12.69
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 2676 0 0 0 1267 2 0 0 25 0 1 0 225514216 15560704 2627 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 3799 2627 52 110 0 3686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15196
[startup+25.5107 s]
/proc/loadavg: 5.19 6.47 4.67 2/78 12268
/proc/meminfo: memFree=1622944/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=15752 CPUtime=25.49
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 3807 0 0 0 2546 3 0 0 25 0 1 0 225514216 16130048 3758 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 3938 3758 52 110 0 3825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15752
[startup+51.1233 s]
/proc/loadavg: 3.76 6.03 4.58 2/78 12268
/proc/meminfo: memFree=1616800/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=30180 CPUtime=51.1
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 5368 0 0 0 5105 5 0 0 25 0 1 0 225514216 30904320 5254 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 7545 5254 52 110 0 7432 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 30180
[startup+102.369 s]
/proc/loadavg: 2.23 5.27 4.39 2/84 12378
/proc/meminfo: memFree=1606512/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=31380 CPUtime=102.27
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 7611 0 0 0 10218 9 0 0 25 0 1 0 225514216 32133120 7497 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519858 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 7845 7497 52 110 0 7732 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31380
[startup+162.429 s]
/proc/loadavg: 1.45 4.49 4.18 2/78 12466
/proc/meminfo: memFree=1599520/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=60216 CPUtime=162.26
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 9700 0 0 0 16214 12 0 0 25 0 1 0 225514216 61661184 9457 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 15054 9457 52 110 0 14941 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 60216
[startup+222.464 s]
/proc/loadavg: 1.23 3.87 3.98 2/78 12466
/proc/meminfo: memFree=1593056/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=60728 CPUtime=222.27
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 11317 0 0 0 22213 14 0 0 25 0 1 0 225514216 62185472 11074 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 15182 11074 52 110 0 15069 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 60728
[startup+282.494 s]
/proc/loadavg: 1.08 3.34 3.79 2/78 12466
/proc/meminfo: memFree=1587296/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=61064 CPUtime=282.27
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 12795 0 0 0 28211 16 0 0 25 0 1 0 225514216 62529536 12552 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 15266 12552 52 110 0 15153 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 61064
[startup+342.523 s]
/proc/loadavg: 1.03 2.91 3.61 2/78 12466
/proc/meminfo: memFree=1581472/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=62696 CPUtime=342.29
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 14252 0 0 0 34211 18 0 0 25 0 1 0 225514216 64200704 14009 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519912 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 15674 14009 52 110 0 15561 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 62696
[startup+402.556 s]
/proc/loadavg: 1.01 2.56 3.45 2/78 12466
/proc/meminfo: memFree=1577056/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=64424 CPUtime=402.3
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 15582 0 0 0 40210 20 0 0 25 0 1 0 225514216 65970176 15082 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 16106 15082 52 110 0 15993 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 64424
[startup+462.586 s]
/proc/loadavg: 1.06 2.29 3.30 2/78 12466
/proc/meminfo: memFree=1572896/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=119500 CPUtime=462.3
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 16635 0 0 0 46209 21 0 0 25 0 1 0 225514216 122368000 16135 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 29875 16135 52 110 0 29762 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 119500
[startup+522.621 s]
/proc/loadavg: 1.02 2.05 3.15 2/78 12466
/proc/meminfo: memFree=1568864/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=120524 CPUtime=522.32
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 17643 0 0 0 52209 23 0 0 25 0 1 0 225514216 123416576 17143 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30131 17143 52 110 0 30018 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 120524
[startup+582.652 s]
/proc/loadavg: 1.01 1.86 3.01 2/78 12466
/proc/meminfo: memFree=1565088/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=120844 CPUtime=582.33
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 18580 0 0 0 58208 25 0 0 25 0 1 0 225514216 123744256 18080 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520134 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30211 18080 52 110 0 30098 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 120844
[startup+642.683 s]
/proc/loadavg: 1.00 1.70 2.88 2/78 12466
/proc/meminfo: memFree=1561184/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=121676 CPUtime=642.33
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 19557 0 0 0 64207 26 0 0 25 0 1 0 225514216 124596224 19057 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30419 19057 52 110 0 30306 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 121676
[startup+702.713 s]
/proc/loadavg: 1.00 1.57 2.76 2/78 12466
/proc/meminfo: memFree=1557792/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=122456 CPUtime=702.35
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 20408 0 0 0 70207 28 0 0 25 0 1 0 225514216 125394944 19908 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30614 19908 52 110 0 30501 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 122456
[startup+762.742 s]
/proc/loadavg: 1.00 1.46 2.65 2/78 12466
/proc/meminfo: memFree=1554592/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=123224 CPUtime=762.36
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 21208 0 0 0 76207 29 0 0 25 0 1 0 225514216 126181376 20708 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519905 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30806 20708 52 110 0 30693 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 123224
[startup+822.778 s]
/proc/loadavg: 1.00 1.38 2.54 2/78 12466
/proc/meminfo: memFree=1551776/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=123548 CPUtime=822.37
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 21912 0 0 0 82207 30 0 0 25 0 1 0 225514216 126513152 21412 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30887 21412 52 110 0 30774 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 123548
[startup+882.81 s]
/proc/loadavg: 1.00 1.31 2.44 2/78 12466
/proc/meminfo: memFree=1548896/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=123740 CPUtime=882.38
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 22617 0 0 0 88207 31 0 0 25 0 1 0 225514216 126709760 22117 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 30935 22117 52 110 0 30822 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 123740
[startup+942.839 s]
/proc/loadavg: 1.00 1.25 2.35 2/78 12466
/proc/meminfo: memFree=1546016/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=124256 CPUtime=942.39
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 23358 0 0 0 94207 32 0 0 25 0 1 0 225514216 127238144 22858 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134520074 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 31064 22858 52 110 0 30951 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 124256
[startup+1002.87 s]
/proc/loadavg: 1.00 1.20 2.26 2/78 12466
/proc/meminfo: memFree=1543328/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=124448 CPUtime=1002.39
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 24026 0 0 0 100206 33 0 0 25 0 1 0 225514216 127434752 23526 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 31112 23526 52 110 0 30999 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 124448
[startup+1062.9 s]
/proc/loadavg: 1.00 1.16 2.18 2/78 12466
/proc/meminfo: memFree=1540512/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=124580 CPUtime=1062.4
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 24724 0 0 0 106206 34 0 0 25 0 1 0 225514216 127569920 24224 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 31145 24224 52 110 0 31032 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 124580
[startup+1122.93 s]
/proc/loadavg: 1.00 1.13 2.10 2/78 12466
/proc/meminfo: memFree=1537888/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=124580 CPUtime=1122.41
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 25386 0 0 0 112206 35 0 0 25 0 1 0 225514216 127569920 24886 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 31145 24886 52 110 0 31032 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 124580
[startup+1182.96 s]
/proc/loadavg: 1.00 1.10 2.03 2/78 12466
/proc/meminfo: memFree=1535072/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=124772 CPUtime=1182.42
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 26084 0 0 0 118205 37 0 0 25 0 1 0 225514216 127766528 25584 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 31193 25584 52 110 0 31080 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 124772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.59 s]
/proc/loadavg: 1.00 1.10 2.01 2/78 12466
/proc/meminfo: memFree=1534240/2055920 swapFree=4154940/4192956
[pid=12267] ppid=12265 vsize=124772 CPUtime=1200.05
/proc/12267/stat : 12267 (tinisat) R 12265 12267 11751 0 -1 4194304 26280 0 0 0 119967 38 0 0 25 0 1 0 225514216 127766528 25780 18446744073709551615 134512640 134966189 4294956704 18446744073709551615 134519843 0 0 4096 0 0 0 0 17 1 0 0
/proc/12267/statm: 31193 25780 52 110 0 31080 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 124772
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.61
CPU time (s): 1200.07
CPU user time (s): 1199.68
CPU system time (s): 0.398939
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 124772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26280
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= 1405
runsolver used 1.3278 second user time and 2.93055 second system time
The end
Begin job on node12 on Wed Feb 21 10:59:58 UTC 2007
IDJOB= 304297
IDBENCH= 20129
IDSOLVER= 100
FILE ID= node12/304297-1172055597
PBS_JOBID= 3865277
Free space on /tmp= 66548 MiB
SOLVER NAME= tinisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S57566027-15.cnf
COMMAND LINE= /tmp/evaluation/304297-1172055597/tinisat /tmp/evaluation/304297-1172055597/instance-304297-1172055597.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-304297-1172055597 -o ROOT/results/node12/solver-304297-1172055597 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/304297-1172055597/tinisat /tmp/evaluation/304297-1172055597/instance-304297-1172055597.cnf
META MD5SUM SOLVER= 15788d06198cf45d0201cced774790cd
MD5SUM BENCH= b0f3c9450ab786b6393c91e01744ab53
RANDOM SEED= 31449714
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node12.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.285
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.285
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: 1638264 kB
Buffers: 55284 kB
Cached: 266592 kB
SwapCached: 18260 kB
Active: 190964 kB
Inactive: 157420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638264 kB
SwapTotal: 4192956 kB
SwapFree: 4154940 kB
Dirty: 932 kB
Writeback: 0 kB
Mapped: 30128 kB
Slab: 54856 kB
Committed_AS: 1054860 kB
PageTables: 1692 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= 66548 MiB
End job on node12 on Wed Feb 21 11:20:00 UTC 2007