0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.02/0.09 c | Number of variables: 12998 |
0.02/0.09 c | Number of clauses: 77941 |
0.02/0.09 c | Parse time: 0.08 s |
0.19/0.26 c | Simplification time: 0.17 s |
0.19/0.26 c | |
0.19/0.26 c ============================[ Search Statistics ]==============================
0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.19/0.26 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.19/0.26 c ===============================================================================
0.19/0.27 c | 100 | 12027 73272 245460 | 26866 93 3 | 0.215 % |
0.29/0.30 c | 250 | 12027 73272 245460 | 29553 243 5 | 0.215 % |
0.29/0.33 c | 475 | 12025 73272 245460 | 32508 466 5 | 0.231 % |
0.39/0.43 c | 812 | 12018 72865 244061 | 35759 788 6 | 0.285 % |
0.49/0.52 c | 1318 | 12011 72811 243891 | 39335 1287 7 | 0.339 % |
0.59/0.69 c | 2077 | 11979 72407 242543 | 43268 2001 7 | 0.585 % |
0.79/0.82 c | 3216 | 11977 72387 242488 | 47595 3134 7 | 0.600 % |
1.09/1.18 c | 4924 | 11948 72050 241384 | 52355 4806 8 | 0.823 % |
1.59/1.64 c | 7486 | 11930 71857 240740 | 57590 7329 9 | 0.962 % |
2.39/2.49 c | 11330 | 11907 71692 240196 | 63349 11057 10 | 1.139 % |
3.78/3.82 c | 17096 | 11837 71159 238493 | 69684 16565 11 | 1.677 % |
5.69/5.74 c | 25745 | 11718 70204 235435 | 76652 24712 13 | 2.593 % |
8.69/8.75 c | 38719 | 11645 69479 233059 | 84318 37213 17 | 3.154 % |
13.29/13.30 c | 58180 | 11588 69089 231783 | 92750 56222 18 | 3.593 % |
21.59/21.66 c | 87372 | 11503 68406 229606 | 102025 85200 23 | 4.247 % |
34.08/34.16 c | 131161 | 11450 67852 227814 | 112227 52870 26 | 4.655 % |
54.78/54.80 c | 196845 | 11385 67213 225724 | 123450 34071 27 | 5.155 % |
84.77/84.83 c | 295371 | 11346 66833 224467 | 135795 38007 31 | 5.455 % |
129.36/129.41 c | 443160 | 11289 66317 222798 | 149374 78948 43 | 5.893 % |
201.74/201.86 c | 664843 | 11234 65835 221247 | 164312 58540 42 | 6.316 % |
319.10/319.20 c | 997368 | 11199 65606 220512 | 180743 121047 43 | 6.586 % |
425.18/425.31 c ===============================================================================
425.18/425.31 c restarts : 2368
425.18/425.31 c conflicts : 1249907 (2942 /sec)
425.18/425.31 c decisions : 6795166 (15997 /sec)
425.18/425.31 c propagations : 559649018 (1317474 /sec)
425.18/425.31 c conflict literals : 58774354 (43.51 % deleted)
425.18/425.31 c Memory used : 67.65 MB
425.18/425.31 c CPU time : 424.789 s
425.18/425.31 c
425.18/425.31 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775282-1241224530/watcher-1775282-1241224530 -o /tmp/evaluation-result-1775282-1241224530/solver-1775282-1241224530 -C 10000 -W 12000 -M 1800 HOME/minisat HOME/instance-1775282-1241224530.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 0.99 0.92 3/64 24341
/proc/meminfo: memFree=1140808/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=7996 CPUtime=0
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 506 0 0 0 0 0 0 0 18 0 1 0 150486512 8187904 490 1992294400 4194304 5092341 548682068848 18446744073709551615 4244968 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 1999 490 62 219 0 1777 0
[startup+0.0267571 s]
/proc/loadavg: 1.00 0.99 0.92 3/64 24341
/proc/meminfo: memFree=1140808/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=9224 CPUtime=0.02
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 936 0 0 0 2 0 0 0 18 0 1 0 150486512 9445376 920 1992294400 4194304 5092341 548682068848 18446744073709551615 4270144 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 2306 920 63 219 0 2084 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9224
[startup+0.101765 s]
/proc/loadavg: 1.00 0.99 0.92 3/64 24341
/proc/meminfo: memFree=1140808/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=12816 CPUtime=0.09
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 2212 0 0 0 9 0 0 0 18 0 1 0 150486512 13123584 2094 1992294400 4194304 5092341 548682068848 18446744073709551615 4219527 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 3204 2094 88 219 0 2982 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12816
[startup+0.301786 s]
/proc/loadavg: 1.00 0.99 0.92 3/64 24341
/proc/meminfo: memFree=1140808/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=12456 CPUtime=0.29
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 2621 0 0 0 29 0 0 0 19 0 1 0 150486512 12754944 1921 1992294400 4194304 5092341 548682068848 18446744073709551615 4240852 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 3114 1921 101 219 0 2892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12456
[startup+0.701832 s]
/proc/loadavg: 1.00 0.99 0.92 3/64 24341
/proc/meminfo: memFree=1140808/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=12456 CPUtime=0.69
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 2638 0 0 0 69 0 0 0 23 0 1 0 150486512 12754944 1938 1992294400 4194304 5092341 548682068848 18446744073709551615 4240558 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 3114 1938 101 219 0 2892 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12456
[startup+1.50293 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1133312/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=12456 CPUtime=1.49
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 2680 0 0 0 149 0 0 0 25 0 1 0 150486512 12754944 1980 1992294400 4194304 5092341 548682068848 18446744073709551615 4241960 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 3114 1980 102 219 0 2892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12456
[startup+3.10111 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1132928/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=12456 CPUtime=3.09
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 2778 0 0 0 309 0 0 0 25 0 1 0 150486512 12754944 2078 1992294400 4194304 5092341 548682068848 18446744073709551615 4265869 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 3114 2078 102 219 0 2892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12456
[startup+6.30147 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1131712/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=12760 CPUtime=6.29
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 3125 0 0 0 628 1 0 0 25 0 1 0 150486512 13066240 2425 1992294400 4194304 5092341 548682068848 18446744073709551615 4241876 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 3190 2425 103 219 0 2968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12760
[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1127424/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=16876 CPUtime=12.69
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 4151 0 0 0 1267 2 0 0 25 0 1 0 150486512 17281024 3451 1992294400 4194304 5092341 548682068848 18446744073709551615 4263671 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 4219 3451 103 219 0 3997 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16876
[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1118720/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=23272 CPUtime=25.49
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 6265 0 0 0 2544 5 0 0 25 0 1 0 150486512 23830528 5565 1992294400 4194304 5092341 548682068848 18446744073709551615 4241260 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 5818 5565 103 219 0 5596 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23272
[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1108224/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=36344 CPUtime=51.08
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 12094 0 0 0 5100 8 0 0 25 0 1 0 150486512 37216256 8254 1992294400 4194304 5092341 548682068848 18446744073709551615 4240661 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 9086 8254 103 219 0 8864 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36344
[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1083840/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=60676 CPUtime=102.27
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 22709 0 0 0 10213 14 0 0 25 0 1 0 150486512 62132224 14281 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 15169 14281 103 219 0 14947 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60676
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1072896/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=162.24
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 25423 0 0 0 16207 17 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240594 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69272
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24342
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=222.23
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 33096 0 0 0 22202 21 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240633 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 69272
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1044992/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=108688 CPUtime=282.22
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 49118 0 0 0 28192 30 0 0 25 0 1 0 150486512 111296512 23988 1992294400 4194304 5092341 548682068848 18446744073709551615 4240611 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 27172 23988 103 219 0 26950 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 108688
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1043200/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=108688 CPUtime=342.19
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 57539 0 0 0 34186 33 0 0 25 0 1 0 150486512 111296512 24393 1992294400 4194304 5092341 548682068848 18446744073709551615 4240672 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 27172 24393 103 219 0 26950 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 108688
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1042432/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=108688 CPUtime=402.18
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 65925 0 0 0 40179 39 0 0 25 0 1 0 150486512 111296512 24624 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 27172 24624 103 219 0 26950 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 108688
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1040576/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=108688 CPUtime=409.38
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 40898 40 0 0 25 0 1 0 150486512 111296512 25045 1992294400 4194304 5092341 548682068848 18446744073709551615 4252136 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 27172 25045 103 219 0 26950 0
Current children cumulated CPU time (s) 409.38
Current children cumulated vsize (KiB) 108688
[startup+415.901 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=415.78
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 41537 41 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 415.78
Current children cumulated vsize (KiB) 69272
[startup+422.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=422.18
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 42177 41 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 422.18
Current children cumulated vsize (KiB) 69272
[startup+423.902 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=423.78
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 42337 41 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 423.78
Current children cumulated vsize (KiB) 69272
[startup+424.701 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=424.58
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 42417 41 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240672 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 424.58
Current children cumulated vsize (KiB) 69272
[startup+425.101 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=424.98
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 42457 41 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4244035 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 424.98
Current children cumulated vsize (KiB) 69272
[startup+425.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/65 24344
/proc/meminfo: memFree=1072704/2055920 swapFree=4180748/4192956
[pid=24341] ppid=24339 vsize=69272 CPUtime=425.18
/proc/24341/stat : 24341 (minisat) R 24339 24341 24169 0 -1 4194304 66346 0 0 0 42477 41 0 0 25 0 1 0 150486512 70934528 16995 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/24341/statm: 17318 16995 103 219 0 17096 0
Current children cumulated CPU time (s) 425.18
Current children cumulated vsize (KiB) 69272
Child status: 20
Real time (s): 425.329
CPU time (s): 425.212
CPU user time (s): 424.79
CPU system time (s): 0.421935
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 108688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 424.79
system time used= 0.421935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66356
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= 925
runsolver used 0.321951 second user time and 0.967852 second system time
The end
Begin job on node23 at 2009-05-02 02:35:30
IDJOB=1775282
IDBENCH=71699
IDSOLVER=608
FILE ID=node23/1775282-1241224530
PBS_JOBID= 9224784
Free space on /tmp= 66392 MiB
SOLVER NAME= MiniSat 2.1 (Sat-race'08 Edition)
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= HOME/minisat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775282-1241224530/watcher-1775282-1241224530 -o /tmp/evaluation-result-1775282-1241224530/solver-1775282-1241224530 -C 10000 -W 12000 -M 1800 HOME/minisat HOME/instance-1775282-1241224530.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED=313418475
node23.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.238
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.238
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: 1141224 kB
Buffers: 84948 kB
Cached: 725924 kB
SwapCached: 6080 kB
Active: 23732 kB
Inactive: 795608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1141224 kB
SwapTotal: 4192956 kB
SwapFree: 4180748 kB
Dirty: 2596 kB
Writeback: 0 kB
Mapped: 14128 kB
Slab: 81296 kB
Committed_AS: 712220 kB
PageTables: 1396 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= 66392 MiB
End job on node23 at 2009-05-02 02:42:36