0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-1775481-1241203033.cnf
0.00/0.00 c found header 'p cnf 95863 283363'
0.49/0.51 c finished parsing
0.49/0.51 c
0.49/0.51 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.49/0.51 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.49/0.51 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.49/0.51 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.49/0.51 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.49/0.51 c --random=1 --spread=2000 --seed=0 --skip=25
0.49/0.51 c
0.49/0.51 c sizeof vars[0] = 16 alignment = 0 1 MB
0.49/0.51 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.49/0.51 c sizeof occs[0] = 8 alignment = 0 1 MB
0.49/0.51 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.49/0.51 c
0.49/0.51 c starting search after 0.5 seconds
0.49/0.51 c no decision limit
0.49/0.54 c
0.49/0.54 c original/binary fixed eliminated learned agility
0.49/0.54 c seconds variables equivalent conflicts height MB
0.49/0.54 c
0.49/0.54 c * 0.5 283362 95862 1 0 0 0 0 0.0 0 24
4.09/4.14 c s 4.1 107388 16743 3624 1755 73741 0 0 0.0 0 17
4.09/4.14 c l 4.1 107388 16743 3624 1755 73741 0 95050 0.0 0 17
4.19/4.29 c R 4.3 107424 16743 3624 1755 73741 101 101 730.7 8 18
4.19/4.30 c R 4.3 107448 16743 3624 1755 73741 201 201 706.0 12 18
4.69/4.72 c R 4.7 107522 16743 3624 1755 73741 802 800 697.6 18 18
4.79/4.82 c B 4.8 107528 16743 3624 1755 73741 1001 999 693.1 29 18
4.99/5.01 c B 5.0 107821 16676 3686 1760 73741 2001 1989 599.7 8 19
6.39/6.41 c R 6.4 113802 16422 3793 1907 73741 4063 4041 575.2 20 20
8.08/8.11 c B 8.1 119321 16384 3805 1933 73741 8004 7952 495.9 10 21
9.38/9.47 c s 9.5 108498 16302 3844 1976 73741 12765 12447 449.4 19 19
9.38/9.47 c - 9.5 108498 16302 3844 1976 73741 12765 91248 449.4 19 19
10.28/10.31 c R 10.3 108739 16296 3847 1979 73741 14526 14196 456.9 6 21
12.09/12.13 c B 12.1 109156 16288 3849 1985 73741 24008 23667 417.7 24 23
12.09/12.14 c R 12.1 109156 16288 3849 1985 73741 24147 23806 417.6 23 23
16.18/16.27 c s 16.3 102388 15399 3849 1986 74629 36361 34922 365.4 15 22
16.18/16.27 c - 16.3 102388 15399 3849 1986 74629 36361 88511 365.4 15 22
18.88/18.97 c R 19.0 102497 15397 3849 1988 74629 46587 45138 344.0 17 25
23.98/24.01 c s 24.0 102739 15394 3849 1991 74629 60161 58650 339.0 14 26
25.38/25.41 c
25.38/25.41 c original/binary fixed eliminated learned agility
25.38/25.41 c seconds variables equivalent conflicts height MB
25.38/25.41 c
25.38/25.41 c B 25.4 102815 15393 3849 1992 74629 64012 62498 335.2 13 28
33.98/34.09 c s 34.1 102121 15270 3854 1999 74740 87526 84527 309.0 11 29
34.58/34.62 c + 34.6 102121 15270 3854 1999 74740 88513 97362 307.4 13 30
37.67/37.77 c R 37.8 102357 15270 3854 1999 74740 97880 94878 308.2 7 34
41.57/41.69 c + 41.7 102471 15270 3854 1999 74740 110641 107098 298.2 23 36
45.27/45.34 c s 45.3 102593 15268 3854 2001 74740 114601 102097 298.3 11 33
57.07/57.11 c + 57.1 217223 14537 3992 2594 74740 138300 117807 288.5 11 42
60.37/60.45 c s 60.4 100266 13705 3993 2607 75558 142313 83468 285.8 11 28
60.37/60.45 c - 60.4 100266 13705 3993 2607 75558 142313 108383 285.8 11 28
66.76/66.84 c + 66.8 101602 13683 3996 2626 75558 159045 119221 280.8 21 35
67.16/67.28 c B 67.3 101674 13683 3996 2626 75558 160030 101158 280.3 15 35
72.66/72.71 c s 72.7 100425 13676 3997 2631 75559 170147 110473 279.8 14 33
87.96/88.09 c + 88.1 164133 12691 4170 3443 75559 198805 131143 265.0 9 41
89.56/89.62 c s 89.6 84388 10770 4170 3443 77480 198945 71769 264.9 17 24
89.56/89.62 c - 89.6 84388 10770 4170 3443 77480 198945 108849 264.9 17 24
93.16/93.28 c + 93.2 91182 10641 4196 3546 77480 206261 119733 261.0 13 28
96.56/96.63 c 0 96.6 101039 9853 4977 3553 77480 212835 85584 258.3 14 29
96.56/96.63 c
96.56/96.63 s UNSATISFIABLE
96.56/96.63 c
96.56/96.63 c 212835 conflicts, 1444519 decisions, 248 random
96.56/96.63 c 17 iterations, 666 restarts, 23 skipped
96.56/96.63 c 6 enlarged, 2286 shrunken, 2083 rescored, 76 rebiased
96.56/96.63 c 9 simplifications, 0 reductions
96.56/96.63 c
96.56/96.63 c vars: 4977 fixed, 3553 equiv, 77480 elim, 3725 merged
96.56/96.63 c elim: 3334673 resolutions, 8 phases, 5 rounds
96.56/96.63 c sbst: 93% substituted, 3.8% nots, 79.3% ands, 9.9% xors, 7.0% ites
96.56/96.63 c arty: 2.07 and 2.00 xor average arity
96.56/96.63 c prbe: 877662 probed, 47 phases, 30 rounds
96.56/96.63 c prbe: 259 failed, 921 lifted, 848 merged
96.56/96.63 c sccs: 38 non trivial, 0 fixed, 96 merged
96.56/96.63 c hash: 21 units, 2781 merged
96.56/96.63 c mins: 5886307 learned, 23% deleted, 971 strong, 39 depth
96.56/96.63 c subs: 2890 forward, 21695 backward, 212871 doms
96.56/96.63 c strs: 2027 forward, 418 backward
96.56/96.63 c doms: 218457 dominators, 202173 high, 234 low
96.56/96.63 c prps: 57053106 propagations, 0.59 megaprops
96.56/96.63 c
96.56/96.63 c 96.6 seconds, 45 MB max, 45 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775481-1241203033/watcher-1775481-1241203033 -o /tmp/evaluation-result-1775481-1241203033/solver-1775481-1241203033 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775481-1241203033.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.98 2/64 17035
/proc/meminfo: memFree=961256/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=4544 CPUtime=0
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 844 0 0 0 0 0 0 0 18 0 1 0 148327739 4653056 829 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/17035/statm: 1136 829 59 155 0 979 0
[startup+0.094817 s]
/proc/loadavg: 0.85 0.97 0.98 2/64 17035
/proc/meminfo: memFree=961256/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=12816 CPUtime=0.08
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 3124 0 0 0 7 1 0 0 18 0 1 0 148327739 13123584 3076 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 3204 3076 63 155 0 3047 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12816
[startup+0.102817 s]
/proc/loadavg: 0.85 0.97 0.98 2/64 17035
/proc/meminfo: memFree=961256/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=12820 CPUtime=0.09
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 3183 0 0 0 8 1 0 0 18 0 1 0 148327739 13127680 3070 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 3205 3071 63 155 0 3048 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12820
[startup+0.302845 s]
/proc/loadavg: 0.85 0.97 0.98 2/64 17035
/proc/meminfo: memFree=961256/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=21252 CPUtime=0.29
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 5401 0 0 0 27 2 0 0 19 0 1 0 148327739 21762048 5159 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 5313 5159 63 155 0 5156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21252
[startup+0.701911 s]
/proc/loadavg: 0.85 0.97 0.98 2/64 17035
/proc/meminfo: memFree=961256/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=31632 CPUtime=0.69
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 8252 0 0 0 66 3 0 0 23 0 1 0 148327739 32391168 7752 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 7908 7752 79 155 0 7751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31632
[startup+1.50202 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 17036
/proc/meminfo: memFree=931680/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=36280 CPUtime=1.49
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 11394 0 0 0 144 5 0 0 25 0 1 0 148327739 37150720 8890 1992294400 134512640 135151029 4294956240 18446744073709551615 134580198 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 9070 8890 79 155 0 8913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36280
[startup+3.10124 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 17036
/proc/meminfo: memFree=920928/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=44184 CPUtime=3.09
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 13444 0 0 0 303 6 0 0 25 0 1 0 148327739 45244416 10683 1992294400 134512640 135151029 4294956240 18446744073709551615 134573684 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 11046 10683 79 155 0 10889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44184
[startup+6.3017 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 17036
/proc/meminfo: memFree=924000/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=38156 CPUtime=6.29
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 13631 0 0 0 623 6 0 0 25 0 1 0 148327739 39071744 9231 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 9539 9231 79 155 0 9382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38156
[startup+12.7016 s]
/proc/loadavg: 0.87 0.97 0.98 2/65 17036
/proc/meminfo: memFree=924016/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=38156 CPUtime=12.68
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 14006 0 0 0 1262 6 0 0 25 0 1 0 148327739 39071744 9231 1992294400 134512640 135151029 4294956240 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 9539 9231 79 155 0 9382 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38156
[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.98 2/65 17036
/proc/meminfo: memFree=924152/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=38156 CPUtime=25.48
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 17019 0 0 0 2540 8 0 0 25 0 1 0 148327739 39071744 9242 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 9539 9242 79 155 0 9382 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38156
[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 17036
/proc/meminfo: memFree=919544/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=43228 CPUtime=51.07
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 21302 0 0 0 5097 10 0 0 25 0 1 0 148327739 44265472 10523 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 10807 10523 79 155 0 10650 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43228
Solver just ended. Dumping a history of the last processes samples
[startup+76.7017 s]
/proc/loadavg: 0.95 0.97 0.98 2/65 17036
/proc/meminfo: memFree=913272/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49040 CPUtime=76.66
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 25757 0 0 0 7653 13 0 0 25 0 1 0 148327739 50216960 11976 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12260 11976 79 155 0 12103 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 49040
[startup+89.5015 s]
/proc/loadavg: 0.96 0.97 0.98 2/65 17036
/proc/meminfo: memFree=908600/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=89.46
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 8932 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134680430 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 49328
[startup+92.702 s]
/proc/loadavg: 0.96 0.97 0.98 2/65 17036
/proc/meminfo: memFree=912888/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=92.66
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 9252 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134557084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 49328
[startup+94.3012 s]
/proc/loadavg: 0.96 0.97 0.98 2/65 17036
/proc/meminfo: memFree=912888/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=94.26
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 9412 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 94.26
Current children cumulated vsize (KiB) 49328
[startup+95.9015 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 17036
/proc/meminfo: memFree=912888/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=95.86
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 9572 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 95.86
Current children cumulated vsize (KiB) 49328
[startup+96.3015 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 17036
/proc/meminfo: memFree=912888/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=96.26
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 9612 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 96.26
Current children cumulated vsize (KiB) 49328
[startup+96.5015 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 17036
/proc/meminfo: memFree=912888/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=96.46
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 9632 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 96.46
Current children cumulated vsize (KiB) 49328
[startup+96.6015 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 17036
/proc/meminfo: memFree=912888/2055920 swapFree=4180508/4192956
[pid=17035] ppid=17033 vsize=49328 CPUtime=96.56
/proc/17035/stat : 17035 (precosat) R 17033 17035 16998 0 -1 4194304 27346 0 0 0 9642 14 0 0 25 0 1 0 148327739 50511872 12064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17035/statm: 12332 12064 79 155 0 12175 0
Current children cumulated CPU time (s) 96.56
Current children cumulated vsize (KiB) 49328
Child status: 20
Real time (s): 96.6414
CPU time (s): 96.6063
CPU user time (s): 96.4533
CPU system time (s): 0.152976
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 53832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.4533
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27347
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= 252
runsolver used 0.085986 second user time and 0.223965 second system time
The end
Begin job on node49 at 2009-05-01 20:37:14
IDJOB=1775481
IDBENCH=71780
IDSOLVER=607
FILE ID=node49/1775481-1241203033
PBS_JOBID= 9224683
Free space on /tmp= 66524 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE06/manol-pipe-c6nidw_i.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775481-1241203033/watcher-1775481-1241203033 -o /tmp/evaluation-result-1775481-1241203033/solver-1775481-1241203033 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775481-1241203033.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 15c4413e436aecbd4fcb1d7037e18abf
RANDOM SEED=935870682
node49.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.241
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.241
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: 961736 kB
Buffers: 86268 kB
Cached: 899476 kB
SwapCached: 5560 kB
Active: 70784 kB
Inactive: 923084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 961736 kB
SwapTotal: 4192956 kB
SwapFree: 4180508 kB
Dirty: 5492 kB
Writeback: 0 kB
Mapped: 13704 kB
Slab: 86048 kB
Committed_AS: 671948 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node49 at 2009-05-01 20:38:50