runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825591-1242510275/watcher-1825591-1242510275 -o /tmp/evaluation-result-1825591-1242510275/solver-1825591-1242510275 -C 10000 -W 12000 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1825591-1242510275.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 0.99 0.99 3/64 30373
/proc/meminfo: memFree=1798528/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=568 CPUtime=0
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 69 0 0 0 0 0 0 0 18 0 1 0 279056071 581632 55 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 142 55 40 102 0 37 0
[startup+0.033 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 30373
/proc/meminfo: memFree=1798528/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=700 CPUtime=0.02
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 115 0 0 0 1 1 0 0 18 0 1 0 279056071 716800 101 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 175 101 40 102 0 70 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 700
[startup+0.103012 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 30373
/proc/meminfo: memFree=1798528/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=1388 CPUtime=0.09
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 245 0 0 0 3 6 0 0 18 0 1 0 279056071 1421312 231 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 347 231 40 102 0 242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1388
[startup+0.301047 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 30373
/proc/meminfo: memFree=1798528/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=2372 CPUtime=0.29
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 500 0 0 0 12 17 0 0 19 0 1 0 279056071 2428928 486 1992294400 134512640 134931368 4294956240 18446744073709551615 134604413 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 593 486 40 102 0 488 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2372
[startup+0.702124 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 30373
/proc/meminfo: memFree=1798528/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=4716 CPUtime=0.69
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 1058 0 0 0 27 42 0 0 23 0 1 0 279056071 4829184 1044 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 1179 1044 40 102 0 1074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4716
[startup+1.50128 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1792888/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=9268 CPUtime=1.49
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 2177 0 0 0 65 84 0 0 25 0 1 0 279056071 9490432 2163 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 2317 2163 40 102 0 2212 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9268
[startup+3.10158 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1786488/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=16916 CPUtime=3.09
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 3535 0 0 0 178 131 0 0 25 0 1 0 279056071 17321984 3521 1992294400 134512640 134931368 4294956240 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 4229 3521 42 102 0 4124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16916
[startup+6.30118 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1784184/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=18072 CPUtime=6.29
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 3561 0 0 0 498 131 0 0 25 0 1 0 279056071 18505728 3547 1992294400 134512640 134931368 4294956240 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 4518 3547 42 102 0 4413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18072
[startup+12.7014 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1783808/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=18980 CPUtime=12.68
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 3690 0 0 0 1137 131 0 0 25 0 1 0 279056071 19435520 3676 1992294400 134512640 134931368 4294956240 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 4745 3676 42 102 0 4640 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18980
[startup+25.5018 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1782656/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=20036 CPUtime=25.49
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 3972 0 0 0 2417 132 0 0 25 0 1 0 279056071 20516864 3958 1992294400 134512640 134931368 4294956240 18446744073709551615 134541093 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 5009 3958 42 102 0 4904 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20036
[startup+51.1017 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1780928/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=21616 CPUtime=51.07
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 4415 0 0 0 4975 132 0 0 25 0 1 0 279056071 22134784 4399 1992294400 134512640 134931368 4294956240 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 5404 4399 48 102 0 5299 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21616
[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1777984/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=24648 CPUtime=102.26
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 5237 0 0 0 10093 133 0 0 25 0 1 0 279056071 25239552 5153 1992294400 134512640 134931368 4294956240 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 6162 5153 48 102 0 6057 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24648
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1775808/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=26620 CPUtime=162.24
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 5803 0 0 0 16090 134 0 0 25 0 1 0 279056071 27258880 5644 1992294400 134512640 134931368 4294956240 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 6655 5644 48 102 0 6550 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 26620
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1773760/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=28600 CPUtime=222.21
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 6385 0 0 0 22087 134 0 0 25 0 1 0 279056071 29286400 6144 1992294400 134512640 134931368 4294956240 18446744073709551615 134525823 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 7150 6144 48 102 0 7045 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28600
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1771840/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=30440 CPUtime=282.19
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 6915 0 0 0 28084 135 0 0 25 0 1 0 279056071 31170560 6630 1992294400 134512640 134931368 4294956240 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 7610 6630 48 102 0 7505 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 30440
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1770944/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=31364 CPUtime=342.17
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 7180 0 0 0 34081 136 0 0 25 0 1 0 279056071 32116736 6848 1992294400 134512640 134931368 4294956240 18446744073709551615 134529991 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 7841 6848 48 102 0 7736 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 31364
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1769088/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=33080 CPUtime=402.15
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 7680 0 0 0 40079 136 0 0 25 0 1 0 279056071 33873920 7299 1992294400 134512640 134931368 4294956240 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8270 7299 48 102 0 8165 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 33080
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1769088/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=33080 CPUtime=462.13
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 7735 0 0 0 46077 136 0 0 25 0 1 0 279056071 33873920 7303 1992294400 134512640 134931368 4294956240 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8270 7303 48 102 0 8165 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 33080
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1768320/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=33872 CPUtime=522.11
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 7982 0 0 0 52075 136 0 0 25 0 1 0 279056071 34684928 7496 1992294400 134512640 134931368 4294956240 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8468 7496 48 102 0 8363 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 33872
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1768256/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=33872 CPUtime=582.08
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8045 0 0 0 58072 136 0 0 25 0 1 0 279056071 34684928 7505 1992294400 134512640 134931368 4294956240 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8468 7505 48 102 0 8363 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 33872
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1768256/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=33872 CPUtime=642.07
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8045 0 0 0 64071 136 0 0 25 0 1 0 279056071 34684928 7505 1992294400 134512640 134931368 4294956240 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8468 7505 48 102 0 8363 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 33872
[startup+702.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=702.05
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 70068 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134525631 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 34792
Solver just ended. Dumping a history of the last processes samples
[startup+716.703 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=716.45
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 71508 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 716.45
Current children cumulated vsize (KiB) 34792
[startup+729.502 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=729.24
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 72787 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134529977 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 729.24
Current children cumulated vsize (KiB) 34792
[startup+732.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=732.44
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 73107 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134524021 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 732.44
Current children cumulated vsize (KiB) 34792
[startup+735.905 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=735.64
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 73427 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 735.64
Current children cumulated vsize (KiB) 34792
[startup+736.701 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=736.44
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 73507 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 736.44
Current children cumulated vsize (KiB) 34792
[startup+737.102 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=736.84
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 73547 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134529455 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 736.84
Current children cumulated vsize (KiB) 34792
[startup+737.501 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=737.24
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8325 0 0 0 73587 137 0 0 25 0 1 0 279056071 35627008 7729 1992294400 134512640 134931368 4294956240 18446744073709551615 134530829 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7729 48 102 0 8593 0
Current children cumulated CPU time (s) 737.24
Current children cumulated vsize (KiB) 34792
[startup+737.602 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 30374
/proc/meminfo: memFree=1767296/2055920 swapFree=4180040/4192956
[pid=30373] ppid=30371 vsize=34792 CPUtime=737.34
/proc/30373/stat : 30373 (picosat) R 30371 30373 30274 0 -1 4194304 8331 0 0 0 73597 137 0 0 25 0 1 0 279056071 35627008 7735 1992294400 134512640 134931368 4294956240 18446744073709551615 134521602 0 0 4096 0 0 0 0 17 1 0 0
/proc/30373/statm: 8698 7735 48 102 0 8593 0
Current children cumulated CPU time (s) 737.34
Current children cumulated vsize (KiB) 34792
Child status: 20
Real time (s): 737.665
CPU time (s): 737.409
CPU user time (s): 736.031
CPU system time (s): 1.37779
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 35016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 736.031
system time used= 1.37779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8343
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= 2
involuntary context switches= 1225
runsolver used 0.542917 second user time and 1.52977 second system time
The end
Begin job on node37 at 2009-05-16 23:44:35
IDJOB=1825591
IDBENCH=71751
IDSOLVER=666
FILE ID=node37/1825591-1242510275
PBS_JOBID= 9307052
Free space on /tmp= 66324 MiB
SOLVER NAME= SAT07 reference solver: picosat 535
BENCH NAME= SAT_RACE06/schup-l2s-guid-1-k56.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825591-1242510275/watcher-1825591-1242510275 -o /tmp/evaluation-result-1825591-1242510275/solver-1825591-1242510275 -C 10000 -W 12000 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1825591-1242510275.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8945850ff5a1fb30f0867a5172da0b2e
RANDOM SEED=744237148
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.259
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.259
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: 1799008 kB
Buffers: 47072 kB
Cached: 159336 kB
SwapCached: 7792 kB
Active: 67368 kB
Inactive: 148920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799008 kB
SwapTotal: 4192956 kB
SwapFree: 4180040 kB
Dirty: 5820 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 26720 kB
Committed_AS: 1080964 kB
PageTables: 1372 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= 66324 MiB
End job on node37 at 2009-05-16 23:56:53