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-1775251-1241200916.cnf
0.00/0.00 c found header 'p cnf 237485 705220'
1.39/1.43 c finished parsing
1.39/1.43 c
1.39/1.43 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.39/1.43 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.39/1.43 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.39/1.43 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.39/1.43 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.39/1.43 c --random=1 --spread=2000 --seed=0 --skip=25
1.39/1.43 c
1.39/1.43 c sizeof vars[0] = 16 alignment = 0 4 MB
1.39/1.43 c sizeof orgs[0] = 8 alignment = 0 2 MB
1.39/1.43 c sizeof occs[0] = 8 alignment = 0 2 MB
1.39/1.43 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
1.39/1.43 c
1.39/1.43 c starting search after 1.4 seconds
1.39/1.43 c no decision limit
1.39/1.49 c
1.39/1.49 c original/binary fixed eliminated learned agility
1.39/1.49 c seconds variables equivalent conflicts height MB
1.39/1.49 c
1.39/1.49 c * 1.5 705219 237484 1 0 0 0 0 0.0 0 60
11.39/11.48 c s 11.5 280952 41984 3069 877 191555 0 0 0.0 0 47
11.39/11.48 c l 11.5 280952 41984 3069 877 191555 0 247290 0.0 0 47
11.59/11.62 c R 11.6 280998 41984 3069 877 191555 101 100 894.9 3 48
11.78/11.85 c R 11.8 282249 41902 3142 886 191555 514 493 555.2 10 49
12.28/12.36 c B 12.4 284036 41880 3145 905 191555 1003 979 676.6 12 49
13.78/13.84 c R 13.8 307422 40869 3511 1550 191555 1752 1723 627.8 11 52
13.88/13.98 c B 14.0 307777 40869 3511 1550 191555 2003 1971 596.9 15 52
16.78/16.89 c R 16.9 328997 40452 3563 1915 191555 5448 5397 757.9 16 54
18.38/18.46 c B 18.5 338602 40442 3576 1912 191555 8007 7949 729.8 4 54
28.58/28.63 c s 28.6 259710 36503 4001 2358 194623 17864 14162 761.3 20 49
28.58/28.63 c - 28.6 259710 36503 4001 2358 194623 17864 215143 761.3 20 49
32.47/32.50 c B 32.5 264175 36304 4153 2405 194623 24011 20277 717.7 11 53
35.27/35.36 c R 35.3 269417 36203 4203 2456 194623 29222 25468 703.7 16 55
44.28/44.39 c s 44.4 254868 35843 4230 2684 194728 42912 38549 676.5 27 54
44.28/44.39 c - 44.4 254868 35843 4230 2684 194728 42912 208689 676.5 27 54
57.37/57.45 c B 57.4 273537 35589 4358 2810 194728 64027 59600 638.8 11 64
62.87/62.93 c s 62.9 254593 35499 4363 2848 194775 70314 63930 635.3 19 59
62.87/62.93 c - 62.9 254593 35499 4363 2848 194775 70314 206603 635.3 19 59
64.67/64.72 c
64.67/64.72 c original/binary fixed eliminated learned agility
64.67/64.72 c seconds variables equivalent conflicts height MB
64.67/64.72 c
64.67/64.72 c R 64.7 254999 35470 4372 2868 194775 73786 67399 632.8 13 63
85.57/85.60 c s 85.6 251092 35234 4467 2986 194798 103913 96293 622.8 3 66
85.57/85.60 c - 85.6 251092 35234 4467 2986 194798 103913 204537 622.8 3 66
113.36/113.42 c s 113.4 234600 32672 4592 3346 196875 136480 122168 593.1 15 69
113.36/113.42 c - 113.4 234600 32672 4592 3346 196875 136480 194311 593.1 15 69
128.45/128.51 c B 128.5 237696 32591 4661 3358 196875 160040 145706 570.4 12 78
134.85/134.93 c 0 134.9 271252 30142 6568 3900 196875 167931 153542 563.3 18 80
134.85/134.93 c
134.85/134.93 s UNSATISFIABLE
134.85/134.93 c
134.85/134.93 c 167931 conflicts, 2130412 decisions, 568 random
134.85/134.93 c 54 iterations, 666 restarts, 58 skipped
134.85/134.93 c 0 enlarged, 1611 shrunken, 1642 rescored, 62 rebiased
134.85/134.93 c 6 simplifications, 0 reductions
134.85/134.93 c
134.85/134.93 c vars: 6568 fixed, 3900 equiv, 196875 elim, 4259 merged
134.85/134.93 c elim: 5393180 resolutions, 6 phases, 2 rounds
134.85/134.93 c sbst: 95% substituted, 2.1% nots, 81.1% ands, 10.2% xors, 6.6% ites
134.85/134.93 c arty: 2.10 and 2.00 xor average arity
134.85/134.93 c prbe: 1289576 probed, 66 phases, 18 rounds
134.85/134.93 c prbe: 624 failed, 2391 lifted, 540 merged
134.85/134.93 c sccs: 15 non trivial, 0 fixed, 29 merged
134.85/134.93 c hash: 72 units, 3690 merged
134.85/134.93 c mins: 6963297 learned, 15% deleted, 433 strong, 52 depth
134.85/134.93 c subs: 2222 forward, 14772 backward, 240537 doms
134.85/134.93 c strs: 3756 forward, 243 backward
134.85/134.93 c doms: 248644 dominators, 229864 high, 511 low
134.85/134.93 c prps: 74833178 propagations, 0.55 megaprops
134.85/134.93 c
134.85/134.93 c 134.9 seconds, 87 MB max, 60 MB recycled
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775251-1241200916/watcher-1775251-1241200916 -o /tmp/evaluation-result-1775251-1241200916/solver-1775251-1241200916 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775251-1241200916.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.00 1.00 0.94 3/64 24646
/proc/meminfo: memFree=802368/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=4500 CPUtime=0
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 885 0 0 0 0 0 0 0 18 0 1 0 148119451 4608000 870 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/24646/statm: 1125 877 59 155 0 968 0
[startup+0.037202 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 24646
/proc/meminfo: memFree=802368/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=11096 CPUtime=0.03
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 2431 0 0 0 2 1 0 0 18 0 1 0 148119451 11362304 2416 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/24646/statm: 2774 2416 59 155 0 2617 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11096
[startup+0.102208 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 24646
/proc/meminfo: memFree=802368/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=22684 CPUtime=0.09
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 5601 0 0 0 7 2 0 0 18 0 1 0 148119451 23228416 5553 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 5671 5553 63 155 0 5514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22684
[startup+0.301228 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 24646
/proc/meminfo: memFree=802368/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=31372 CPUtime=0.29
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 7957 0 0 0 26 3 0 0 19 0 1 0 148119451 32124928 7715 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 7843 7716 63 155 0 7686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31372
[startup+0.701271 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 24646
/proc/meminfo: memFree=802368/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=45992 CPUtime=0.69
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 11849 0 0 0 64 5 0 0 22 0 1 0 148119451 47095808 11350 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 11498 11350 63 155 0 11341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45992
[startup+1.50136 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=747128/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=71832 CPUtime=1.49
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 18827 0 0 0 140 9 0 0 25 0 1 0 148119451 73555968 17814 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 17958 17814 78 155 0 17801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71832
[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=731512/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=82532 CPUtime=3.09
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 25469 0 0 0 296 13 0 0 25 0 1 0 148119451 84512768 20499 1992294400 134512640 135151029 4294956240 18446744073709551615 134680430 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 20633 20499 79 155 0 20476 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82532
[startup+6.30187 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=699896/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=105088 CPUtime=6.29
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 31914 0 0 0 612 17 0 0 25 0 1 0 148119451 107610112 26045 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 26272 26045 79 155 0 26115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105088
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709752/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=96996 CPUtime=12.68
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 34609 0 0 0 1249 19 0 0 25 0 1 0 148119451 99323904 23110 1992294400 134512640 135151029 4294956240 18446744073709551615 134567927 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24249 23110 79 155 0 24092 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96996
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709304/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97512 CPUtime=25.48
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 34867 0 0 0 2529 19 0 0 25 0 1 0 148119451 99852288 23239 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24378 23239 79 155 0 24221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97512
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709752/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=51.08
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 42908 0 0 0 5084 24 0 0 25 0 1 0 148119451 99590144 23212 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23212 79 155 0 24157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97256
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709688/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=102.26
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 50849 0 0 0 10198 28 0 0 25 0 1 0 148119451 99590144 23213 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23213 79 155 0 24157 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 97256
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=115.06
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 11476 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 97256
[startup+127.902 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=127.85
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 12755 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (KiB) 97256
[startup+131.101 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=131.05
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 13075 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 131.05
Current children cumulated vsize (KiB) 97256
[startup+132.701 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=132.65
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 13235 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134574563 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 132.65
Current children cumulated vsize (KiB) 97256
[startup+134.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=134.25
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 13395 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 134.25
Current children cumulated vsize (KiB) 97256
[startup+134.702 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=134.65
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 13435 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 134.65
Current children cumulated vsize (KiB) 97256
[startup+134.902 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 24647
/proc/meminfo: memFree=709624/2055920 swapFree=4181276/4192956
[pid=24646] ppid=24644 vsize=97256 CPUtime=134.85
/proc/24646/stat : 24646 (precosat) R 24644 24646 24514 0 -1 4194304 54842 0 0 0 13455 30 0 0 25 0 1 0 148119451 99590144 23236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24646/statm: 24314 23236 79 155 0 24157 0
Current children cumulated CPU time (s) 134.85
Current children cumulated vsize (KiB) 97256
Child status: 20
Real time (s): 134.952
CPU time (s): 134.911
CPU user time (s): 134.59
CPU system time (s): 0.321951
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 114400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.59
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54843
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= 251
runsolver used 0.158975 second user time and 0.306953 second system time
The end
Begin job on node47 at 2009-05-01 20:01:57
IDJOB=1775251
IDBENCH=71689
IDSOLVER=607
FILE ID=node47/1775251-1241200916
PBS_JOBID= 9224658
Free space on /tmp= 66404 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE06/manol-pipe-g10bidw.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775251-1241200916/watcher-1775251-1241200916 -o /tmp/evaluation-result-1775251-1241200916/solver-1775251-1241200916 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775251-1241200916.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6ade683f6bfd116f49e58395d70ae6c0
RANDOM SEED=1451338358
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: 802848 kB
Buffers: 84172 kB
Cached: 1057092 kB
SwapCached: 5488 kB
Active: 281444 kB
Inactive: 867776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 802848 kB
SwapTotal: 4192956 kB
SwapFree: 4181276 kB
Dirty: 13464 kB
Writeback: 0 kB
Mapped: 13584 kB
Slab: 89852 kB
Committed_AS: 713984 kB
PageTables: 1444 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= 66400 MiB
End job on node47 at 2009-05-01 20:04:12