runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-301433-1171970117 -o ROOT/results/node15/solver-301433-1171970117 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/301433-1171970117/picosat /tmp/evaluation/301433-1171970117/instance-301433-1171970117.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.99 0.98 0.99 3/77 3334
/proc/meminfo: memFree=1347904/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=568 CPUtime=0
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 81 0 0 0 0 0 0 0 18 0 1 0 216966055 581632 66 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 142 66 40 102 0 37 0
[startup+0.107279 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 3334
/proc/meminfo: memFree=1347904/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=968 CPUtime=0.1
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 163 0 0 0 4 6 0 0 18 0 1 0 216966055 991232 148 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 242 148 40 102 0 137 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 968
[startup+0.51535 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 3334
/proc/meminfo: memFree=1347904/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=2420 CPUtime=0.51
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 523 0 0 0 37 14 0 0 21 0 1 0 216966055 2478080 506 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 605 506 48 102 0 500 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2420
[startup+1.33649 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1344376/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=3996 CPUtime=1.33
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 934 0 0 0 119 14 0 0 25 0 1 0 216966055 4091904 917 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 999 917 48 102 0 894 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3996
[startup+2.97477 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 3335
/proc/meminfo: memFree=1343928/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=4628 CPUtime=2.96
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 1084 0 0 0 282 14 0 0 25 0 1 0 216966055 4739072 1067 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 1157 1067 48 102 0 1052 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 4628
[startup+6.25133 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 3335
/proc/meminfo: memFree=1343032/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=5276 CPUtime=6.24
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 1269 0 0 0 610 14 0 0 25 0 1 0 216966055 5402624 1252 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134529404 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 1319 1252 48 102 0 1214 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 5276
[startup+12.7104 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1341496/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=6644 CPUtime=12.69
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 1592 0 0 0 1255 14 0 0 25 0 1 0 216966055 6803456 1575 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 1661 1575 48 102 0 1556 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6644
[startup+25.5116 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1339640/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=8548 CPUtime=25.5
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 2051 0 0 0 2535 15 0 0 25 0 1 0 216966055 8753152 2034 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 2137 2034 48 102 0 2032 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 8548
[startup+51.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1337016/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=11192 CPUtime=51.09
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 2702 0 0 0 5094 15 0 0 25 0 1 0 216966055 11460608 2685 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 2798 2685 48 102 0 2693 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11192
[startup+102.345 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1333880/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=14208 CPUtime=102.3
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 3472 0 0 0 10214 16 0 0 25 0 1 0 216966055 14548992 3455 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 3552 3455 48 102 0 3447 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14208
[startup+162.379 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1331064/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=16916 CPUtime=162.32
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 4176 0 0 0 16215 17 0 0 25 0 1 0 216966055 17321984 4142 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 4229 4142 48 102 0 4124 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 16916
[startup+222.408 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1328632/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=19236 CPUtime=222.32
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 4848 0 0 0 22214 18 0 0 25 0 1 0 216966055 19697664 4734 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 4809 4734 48 102 0 4704 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 19236
[startup+282.435 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1326776/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=21192 CPUtime=282.33
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 5483 0 0 0 28214 19 0 0 25 0 1 0 216966055 21700608 5195 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134529475 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 5298 5195 48 102 0 5193 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 21192
[startup+342.459 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1325624/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=22100 CPUtime=342.33
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 5979 0 0 0 34213 20 0 0 25 0 1 0 216966055 22630400 5430 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134529719 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 5525 5430 48 102 0 5420 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 22100
[startup+402.49 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1323768/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=24068 CPUtime=402.34
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 6699 0 0 0 40213 21 0 0 25 0 1 0 216966055 24645632 5901 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 6017 5901 48 102 0 5912 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 24068
[startup+462.526 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1322552/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=25212 CPUtime=462.35
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 7367 0 0 0 46213 22 0 0 25 0 1 0 216966055 25817088 6212 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 6303 6212 48 102 0 6198 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 25212
[startup+522.557 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1321016/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=26804 CPUtime=522.37
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 8116 0 0 0 52214 23 0 0 25 0 1 0 216966055 27447296 6592 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 6701 6592 48 102 0 6596 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 26804
[startup+582.581 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1319800/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=27988 CPUtime=582.37
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 8479 0 0 0 58213 24 0 0 25 0 1 0 216966055 28659712 6913 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134529742 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 6997 6913 48 102 0 6892 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 27988
[startup+642.609 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1318904/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=29072 CPUtime=642.37
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 8736 0 0 0 64213 24 0 0 25 0 1 0 216966055 29769728 7126 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 7268 7126 48 102 0 7163 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 29072
[startup+702.632 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1318072/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=29864 CPUtime=702.38
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 9013 0 0 0 70213 25 0 0 25 0 1 0 216966055 30580736 7315 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 7466 7315 48 102 0 7361 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 29864
[startup+762.666 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1318200/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=29800 CPUtime=762.39
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 9215 0 0 0 76213 26 0 0 25 0 1 0 216966055 30515200 7308 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134520054 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 7450 7308 48 102 0 7345 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 29800
[startup+822.703 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1316984/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=30960 CPUtime=822.41
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 9655 0 0 0 82215 26 0 0 25 0 1 0 216966055 31703040 7607 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134529868 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 7740 7607 48 102 0 7635 0
Current children cumulated CPU time (s) 822.41
Current children cumulated vsize (KiB) 30960
[startup+882.734 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1315960/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=31908 CPUtime=882.42
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 10115 0 0 0 88215 27 0 0 25 0 1 0 216966055 32673792 7846 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 7977 7846 48 102 0 7872 0
Current children cumulated CPU time (s) 882.42
Current children cumulated vsize (KiB) 31908
[startup+942.758 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1314936/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=32976 CPUtime=942.42
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 10466 0 0 0 94214 28 0 0 25 0 1 0 216966055 33767424 8117 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525929 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 8244 8117 48 102 0 8139 0
Current children cumulated CPU time (s) 942.42
Current children cumulated vsize (KiB) 32976
[startup+1002.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1314552/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=33344 CPUtime=1002.43
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 10718 0 0 0 100214 29 0 0 25 0 1 0 216966055 34144256 8209 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134529946 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 8336 8209 48 102 0 8231 0
Current children cumulated CPU time (s) 1002.43
Current children cumulated vsize (KiB) 33344
[startup+1062.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 3335
/proc/meminfo: memFree=1313016/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=34820 CPUtime=1062.43
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 11238 0 0 0 106214 29 0 0 25 0 1 0 216966055 35655680 8584 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 8705 8584 48 102 0 8600 0
Current children cumulated CPU time (s) 1062.43
Current children cumulated vsize (KiB) 34820
[startup+1122.85 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 3335
/proc/meminfo: memFree=1312312/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=35612 CPUtime=1122.45
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 11526 0 0 0 112215 30 0 0 25 0 1 0 216966055 36466688 8764 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 8903 8764 48 102 0 8798 0
Current children cumulated CPU time (s) 1122.45
Current children cumulated vsize (KiB) 35612
[startup+1182.88 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 3335
/proc/meminfo: memFree=1312312/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=35696 CPUtime=1182.45
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 11647 0 0 0 118215 30 0 0 25 0 1 0 216966055 36552704 8777 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 8924 8777 48 102 0 8819 0
Current children cumulated CPU time (s) 1182.45
Current children cumulated vsize (KiB) 35696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 3335
/proc/meminfo: memFree=1312888/2055920 swapFree=4192812/4192956
[pid=3334] ppid=3332 vsize=34964 CPUtime=1200.08
/proc/3334/stat : 3334 (picosat) R 3332 3334 1873 0 -1 4194304 11705 0 0 0 119977 31 0 0 25 0 1 0 216966055 35803136 8625 18446744073709551615 134512640 134931368 4294956624 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3334/statm: 8741 8625 48 102 0 8636 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 34964
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.51
CPU time (s): 1200.09
CPU user time (s): 1199.78
CPU system time (s): 0.317951
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 35920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.78
system time used= 0.317951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11705
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= 1894
runsolver used 1.40579 second user time and 2.77958 second system time
The end
Begin job on node15 on Tue Feb 20 11:15:17 UTC 2007
IDJOB= 301433
IDBENCH= 20059
IDSOLVER= 106
FILE ID= node15/301433-1171970117
PBS_JOBID= 3849001
Free space on /tmp= 66549 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1971221253-16.cnf
COMMAND LINE= /tmp/evaluation/301433-1171970117/picosat /tmp/evaluation/301433-1171970117/instance-301433-1171970117.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-301433-1171970117 -o ROOT/results/node15/solver-301433-1171970117 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/301433-1171970117/picosat /tmp/evaluation/301433-1171970117/instance-301433-1171970117.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= 7d11f63b7086729c0b1c75db27f32aba
RANDOM SEED= 922216291
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node15.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.276
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.276
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: 1348312 kB
Buffers: 42112 kB
Cached: 534732 kB
SwapCached: 0 kB
Active: 212752 kB
Inactive: 424452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1348312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1028 kB
Writeback: 0 kB
Mapped: 79308 kB
Slab: 55916 kB
Committed_AS: 835452 kB
PageTables: 1800 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= 66549 MiB
End job on node15 on Tue Feb 20 11:35:19 UTC 2007