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-1775291-1241201243.cnf
0.00/0.00 c found header 'p cnf 169072 501421'
0.99/1.02 c finished parsing
0.99/1.02 c
0.99/1.02 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.99/1.02 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.99/1.02 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.99/1.02 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.99/1.02 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.99/1.02 c --random=1 --spread=2000 --seed=0 --skip=25
0.99/1.02 c
0.99/1.02 c sizeof vars[0] = 16 alignment = 0 3 MB
0.99/1.02 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.99/1.02 c sizeof occs[0] = 8 alignment = 0 1 MB
0.99/1.02 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.99/1.02 c
0.99/1.02 c starting search after 1.0 seconds
0.99/1.02 c no decision limit
0.99/1.06 c
0.99/1.06 c original/binary fixed eliminated learned agility
0.99/1.06 c seconds variables equivalent conflicts height MB
0.99/1.06 c
0.99/1.06 c * 1.1 501420 169071 1 0 0 0 0 0.0 0 44
7.89/7.94 c s 7.9 188941 28591 5430 1895 133156 0 0 0.0 0 32
7.89/7.94 c l 7.9 188941 28591 5430 1895 133156 0 167926 0.0 0 32
8.39/8.46 c R 8.5 188947 28591 5430 1895 133156 101 100 1100.6 0 33
8.59/8.61 c R 8.6 188995 28591 5430 1895 133156 201 200 1035.0 12 33
8.99/9.04 c R 9.0 189078 28591 5430 1895 133156 803 781 897.6 10 33
10.59/10.63 c B 10.6 203461 27996 5754 2166 133156 1000 978 962.1 16 35
11.19/11.21 c B 11.2 204716 27994 5754 2168 133156 2001 1970 849.4 19 35
13.98/14.03 c R 14.0 217131 27790 5848 2278 133156 5997 5911 728.1 8 37
14.88/14.96 c B 15.0 222328 27744 5856 2316 133156 8003 7880 703.6 3 37
19.59/19.65 c s 19.7 176103 25113 6027 2554 135378 14250 10749 594.8 13 32
19.59/19.65 c - 19.7 176103 25113 6027 2554 135378 14250 149455 594.8 13 32
21.29/21.35 c R 21.3 176165 25111 6027 2556 135378 18793 15274 554.8 12 35
23.49/23.59 c B 23.6 176319 25105 6027 2562 135378 24006 20471 539.1 11 36
24.69/24.77 c R 24.8 176365 25104 6027 2563 135378 28422 24874 512.5 11 37
30.48/30.50 c s 30.5 175593 25014 6068 2597 135393 41007 36810 468.7 11 36
39.48/39.53 c B 39.5 176534 24992 6080 2607 135393 64022 59792 414.3 19 43
43.88/43.93 c s 43.9 176125 24983 6081 2610 135398 70472 65536 401.8 12 41
47.87/47.92 c R 47.9 177045 24971 6090 2613 135398 80482 75529 406.4 21 46
60.17/60.28 c
60.17/60.28 c original/binary fixed eliminated learned agility
60.17/60.28 c seconds variables equivalent conflicts height MB
60.17/60.28 c
60.17/60.28 c s 60.3 164837 23456 6184 2894 136538 100313 64828 396.2 17 39
60.17/60.28 c - 60.3 164837 23456 6184 2894 136538 100313 143477 396.2 17 39
75.27/75.33 c s 75.3 168614 23170 6242 3117 136543 131357 91631 384.4 6 44
80.27/80.36 c + 80.3 169245 23145 6246 3138 136543 143478 157824 382.2 11 50
88.16/88.23 c B 88.2 171461 23118 6249 3162 136543 160042 120244 377.3 13 54
91.77/91.90 c s 91.9 168346 23108 6249 3163 136552 165815 125131 377.6 10 50
99.37/99.41 c + 99.4 169179 23088 6254 3178 136552 179345 173606 370.9 14 58
113.56/113.67 c s 113.6 164914 22537 6272 3278 136985 204751 155787 361.5 18 54
113.56/113.67 c - 113.6 164914 22537 6272 3278 136985 204751 170134 361.5 18 54
118.26/118.36 c R 118.3 164923 22537 6272 3278 136985 212724 163754 360.5 13 60
121.66/121.71 c + 121.7 165096 22519 6272 3296 136985 219697 187147 358.5 12 63
139.46/139.54 c s 139.5 165093 22481 6273 3312 137006 241980 183164 348.6 14 59
162.35/162.47 c + 162.4 169437 22427 6284 3355 137006 274620 205861 336.1 16 68
168.65/168.80 c s 168.8 166849 22422 6287 3357 137006 279477 191250 333.3 20 61
201.83/201.92 c s 201.9 165981 22290 6288 3369 137125 316052 204926 320.6 17 63
210.34/210.40 c R 210.4 165982 22290 6288 3369 137125 328122 205982 318.2 9 66
223.94/224.08 c + 224.0 209374 21004 6508 4435 137125 343275 226447 314.5 13 70
226.03/226.11 c 0 226.1 228947 19729 7852 4366 137125 345024 207637 314.1 8 71
226.03/226.11 c
226.03/226.11 s UNSATISFIABLE
226.03/226.11 c
226.03/226.11 c 345024 conflicts, 2327111 decisions, 463 random
226.03/226.11 c 17 iterations, 996 restarts, 16 skipped
226.03/226.11 c 5 enlarged, 2442 shrunken, 3376 rescored, 124 rebiased
226.03/226.11 c 11 simplifications, 0 reductions
226.03/226.11 c
226.03/226.11 c vars: 7852 fixed, 4366 equiv, 137125 elim, 4747 merged
226.03/226.11 c elim: 5354287 resolutions, 11 phases, 4 rounds
226.03/226.11 c sbst: 95% substituted, 4.7% nots, 79.3% ands, 10.0% xors, 6.0% ites
226.03/226.11 c arty: 2.09 and 2.00 xor average arity
226.03/226.11 c prbe: 1675780 probed, 97 phases, 35 rounds
226.03/226.11 c prbe: 413 failed, 2403 lifted, 1233 merged
226.03/226.11 c sccs: 41 non trivial, 0 fixed, 89 merged
226.03/226.11 c hash: 58 units, 3425 merged
226.03/226.11 c mins: 10703214 learned, 26% deleted, 1191 strong, 30 depth
226.03/226.11 c subs: 3302 forward, 11755 backward, 125499 doms
226.03/226.11 c strs: 3022 forward, 603 backward
226.03/226.11 c doms: 133501 dominators, 115522 high, 323 low
226.03/226.11 c prps: 117562065 propagations, 0.52 megaprops
226.03/226.11 c
226.03/226.11 c 226.1 seconds, 73 MB max, 58 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775291-1241201243/watcher-1775291-1241201243 -o /tmp/evaluation-result-1775291-1241201243/solver-1775291-1241201243 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775291-1241201243.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: 1.01 1.02 0.95 3/64 24700
/proc/meminfo: memFree=1057392/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=4756 CPUtime=0
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 880 0 0 0 0 0 0 0 18 0 1 0 148152123 4870144 865 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/24700/statm: 1189 872 58 155 0 1032 0
[startup+0.058917 s]
/proc/loadavg: 1.01 1.02 0.95 3/64 24700
/proc/meminfo: memFree=1057392/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=15908 CPUtime=0.05
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 3800 0 0 0 3 2 0 0 18 0 1 0 148152123 16289792 3785 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 3977 3786 63 155 0 3820 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15908
[startup+0.10192 s]
/proc/loadavg: 1.01 1.02 0.95 3/64 24700
/proc/meminfo: memFree=1057392/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=18280 CPUtime=0.09
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 4403 0 0 0 7 2 0 0 18 0 1 0 148152123 18718720 4355 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 4570 4355 63 155 0 4413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18280
[startup+0.301943 s]
/proc/loadavg: 1.01 1.02 0.95 3/64 24700
/proc/meminfo: memFree=1057392/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=26704 CPUtime=0.29
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 6702 0 0 0 26 3 0 0 19 0 1 0 148152123 27344896 6460 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 6676 6460 63 155 0 6519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26704
[startup+0.701986 s]
/proc/loadavg: 1.01 1.02 0.95 3/64 24700
/proc/meminfo: memFree=1057392/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=41060 CPUtime=0.69
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 10551 0 0 0 65 4 0 0 23 0 1 0 148152123 42045440 10052 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 10265 10052 63 155 0 10108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41060
[startup+1.50107 s]
/proc/loadavg: 1.01 1.02 0.95 2/65 24701
/proc/meminfo: memFree=1007272/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=59484 CPUtime=1.49
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 15606 0 0 0 142 7 0 0 25 0 1 0 148152123 60911616 14593 1992294400 134512640 135151029 4294956240 18446744073709551615 134532470 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 14871 14593 79 155 0 14714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59484
[startup+3.10124 s]
/proc/loadavg: 1.01 1.02 0.95 2/65 24701
/proc/meminfo: memFree=999272/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=71976 CPUtime=3.09
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 23231 0 0 0 297 12 0 0 25 0 1 0 148152123 73703424 17709 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 17994 17709 79 155 0 17837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71976
[startup+6.30159 s]
/proc/loadavg: 1.01 1.02 0.95 2/65 24701
/proc/meminfo: memFree=981992/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=79732 CPUtime=6.29
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 24776 0 0 0 615 14 0 0 25 0 1 0 148152123 81645568 19254 1992294400 134512640 135151029 4294956240 18446744073709551615 134573875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 19933 19254 79 155 0 19776 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79732
[startup+12.7013 s]
/proc/loadavg: 1.01 1.02 0.95 2/65 24701
/proc/meminfo: memFree=992816/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=67340 CPUtime=12.69
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 25113 0 0 0 1255 14 0 0 25 0 1 0 148152123 68956160 16146 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 16835 16146 79 155 0 16678 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67340
[startup+25.5016 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 24701
/proc/meminfo: memFree=993136/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=66824 CPUtime=25.49
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 27784 0 0 0 2533 16 0 0 25 0 1 0 148152123 68427776 16043 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 16706 16043 79 155 0 16549 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66824
[startup+51.1014 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 24701
/proc/meminfo: memFree=993264/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=66824 CPUtime=51.08
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 33075 0 0 0 5089 19 0 0 25 0 1 0 148152123 68427776 16044 1992294400 134512640 135151029 4294956240 18446744073709551615 134580745 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 16706 16044 79 155 0 16549 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66824
[startup+102.306 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 24701
/proc/meminfo: memFree=993200/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=66824 CPUtime=102.27
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 41023 0 0 0 10204 23 0 0 25 0 1 0 148152123 68427776 16057 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 16706 16057 79 155 0 16549 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66824
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 24701
/proc/meminfo: memFree=985904/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=74300 CPUtime=162.25
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 48173 0 0 0 16197 28 0 0 25 0 1 0 148152123 76083200 17917 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 18575 17917 79 155 0 18418 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 74300
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 24701
/proc/meminfo: memFree=982512/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=77480 CPUtime=222.24
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 54375 0 0 0 22192 32 0 0 25 0 1 0 148152123 79339520 18753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 19370 18753 79 155 0 19213 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 77480
Solver just ended. Dumping a history of the last processes samples
[startup+223.902 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 24701
/proc/meminfo: memFree=982512/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=77480 CPUtime=223.84
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 54375 0 0 0 22352 32 0 0 25 0 1 0 148152123 79339520 18753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 19370 18753 79 155 0 19213 0
Current children cumulated CPU time (s) 223.84
Current children cumulated vsize (KiB) 77480
[startup+225.505 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 24701
/proc/meminfo: memFree=982512/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=77480 CPUtime=225.44
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 54379 0 0 0 22512 32 0 0 25 0 1 0 148152123 79339520 18757 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 19370 18757 79 155 0 19213 0
Current children cumulated CPU time (s) 225.44
Current children cumulated vsize (KiB) 77480
[startup+225.901 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 24701
/proc/meminfo: memFree=982512/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=77480 CPUtime=225.83
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 54379 0 0 0 22551 32 0 0 25 0 1 0 148152123 79339520 18757 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 19370 18757 79 155 0 19213 0
Current children cumulated CPU time (s) 225.83
Current children cumulated vsize (KiB) 77480
[startup+226.101 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 24701
/proc/meminfo: memFree=982512/2055920 swapFree=4181276/4192956
[pid=24700] ppid=24698 vsize=77480 CPUtime=226.03
/proc/24700/stat : 24700 (precosat) R 24698 24700 24514 0 -1 4194304 54380 0 0 0 22571 32 0 0 25 0 1 0 148152123 79339520 18758 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24700/statm: 19370 18758 79 155 0 19213 0
Current children cumulated CPU time (s) 226.03
Current children cumulated vsize (KiB) 77480
Child status: 20
Real time (s): 226.126
CPU time (s): 226.068
CPU user time (s): 225.731
CPU system time (s): 0.336948
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 84900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.731
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54381
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= 404
runsolver used 0.214967 second user time and 0.517921 second system time
The end
Begin job on node47 at 2009-05-01 20:07:23
IDJOB=1775291
IDBENCH=71715
IDSOLVER=607
FILE ID=node47/1775291-1241201243
PBS_JOBID= 9224658
Free space on /tmp= 66408 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE06/manol-pipe-c7nidw.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775291-1241201243/watcher-1775291-1241201243 -o /tmp/evaluation-result-1775291-1241201243/solver-1775291-1241201243 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775291-1241201243.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cddc29f8f256e39e02d9b418f68e802c
RANDOM SEED=1540977974
node47.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.212
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.212
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: 1058584 kB
Buffers: 74804 kB
Cached: 814384 kB
SwapCached: 5488 kB
Active: 54056 kB
Inactive: 842976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1058584 kB
SwapTotal: 4192956 kB
SwapFree: 4181276 kB
Dirty: 9492 kB
Writeback: 0 kB
Mapped: 13600 kB
Slab: 86220 kB
Committed_AS: 714028 kB
PageTables: 1452 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= 66404 MiB
End job on node47 at 2009-05-01 20:11:10