0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.00/0.00 c | Number of variables: 440 |
0.00/0.00 c | Number of clauses: 22276 |
0.00/0.01 c | Parsing time: 0.02 s |
0.00/0.01 c | Timeout: 43200 s
0.00/0.01 c | Random Seed: 1902464157.000000
0.00/0.01 c | Heuristic: EMBP-G, threshold 0.950 |
0.00/0.01 c | Branching Rule: default (solution-guided) |
0.00/0.01 c | Learned clauses in surveys? Using NO learned clauses. |
0.00/0.01 c | |
0.19/0.23 c ============================[ Search Statistics ]==============================
0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.19/0.23 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.19/0.23 c ===============================================================================
0.19/0.23 c | 0 | 420 21836 57072 | 7278 0 nan | 0.000 % |
0.19/0.26 c | 101 | 420 21836 57072 | 8006 101 81 | 0.001 % |
0.19/0.28 c | 254 | 420 21836 57072 | 8807 254 84 | 0.001 % |
0.29/0.32 c | 479 | 420 21836 57072 | 9687 479 88 | 0.001 % |
0.29/0.36 c | 818 | 420 21836 57072 | 10656 818 90 | 0.001 % |
0.39/0.43 c | 1325 | 420 21836 57072 | 11722 1325 89 | 0.001 % |
0.49/0.54 c | 2085 | 420 21836 57072 | 12894 2085 89 | 0.001 % |
0.69/0.72 c | 3225 | 420 21836 57072 | 14184 3225 88 | 0.001 % |
0.89/0.99 c | 4933 | 420 21836 57072 | 15602 4933 87 | 0.001 % |
1.59/1.61 c | 7495 | 420 21836 57072 | 17162 7495 87 | 0.001 % |
3.09/3.12 c | 11341 | 420 21836 57072 | 18878 11341 90 | 0.001 % |
7.09/7.13 c | 17108 | 420 21836 57072 | 20766 17108 90 | 0.001 % |
11.59/11.67 c | 25757 | 420 21836 57072 | 22843 15264 84 | 0.001 % |
19.59/19.68 c | 38732 | 420 21836 57072 | 25127 16736 79 | 0.001 % |
37.19/37.29 c | 58193 | 420 21836 57072 | 27640 23486 91 | 0.001 % |
53.88/53.93 c | 87385 | 420 21836 57072 | 30404 24752 79 | 0.001 % |
82.27/82.38 c | 131176 | 420 21836 57072 | 33445 18592 92 | 0.001 % |
129.56/129.69 c | 196862 | 420 21836 57072 | 36789 30087 83 | 0.001 % |
174.55/174.69 c ===============================================================================
174.55/174.69 c surveys--CPU time (sec) : 0.3529 (0.20 % of total)
174.55/174.69 c surveys--attempted : 18 (51 /sec)
174.55/174.69 c surveys--converged : 18 (100.00 % successful)
174.55/174.69 c restarts : 18
174.55/174.69 c conflicts : 265280 (1522 /sec)
174.55/174.69 c decisions : 361174 (1.05 % random) (2073 /sec)
174.55/174.69 c propagations : 12894951 (74006 /sec)
174.55/174.69 c conflict literals : 23103417 (22.32 % deleted)
174.55/174.69 c Memory used : 31.90 MB
174.55/174.69 c Total CPU time (sec) : 174.5955
174.55/174.69 c
174.55/174.69 s SATISFIABLE
174.55/174.69 v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 440 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1738283-1240836939/watcher-1738283-1240836939 -o /tmp/evaluation-result-1738283-1240836939/solver-1738283-1240836939 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/varsat-industrial_static -seed=1902464157 HOME/instance-1738283-1240836939.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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 1.00 1.00 3/65 19820
/proc/meminfo: memFree=1858160/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=2684 CPUtime=0
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 326 0 0 0 0 0 0 0 18 0 1 0 111722947 2748416 311 1992294400 4194304 5102648 548682068768 18446744073709551615 4516080 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 671 311 87 221 0 447 0
[startup+0.091216 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19820
/proc/meminfo: memFree=1858160/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=5596 CPUtime=0.08
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 1039 0 0 0 8 0 0 0 18 0 1 0 111722947 5730304 1024 1992294400 4194304 5102648 548682068768 18446744073709551615 4274068 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 1399 1024 100 221 0 1175 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5596
[startup+0.101217 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19820
/proc/meminfo: memFree=1858160/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=5596 CPUtime=0.09
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 1040 0 0 0 9 0 0 0 18 0 1 0 111722947 5730304 1025 1992294400 4194304 5102648 548682068768 18446744073709551615 4274079 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 1399 1025 100 221 0 1175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5596
[startup+0.301238 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19820
/proc/meminfo: memFree=1858160/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=4740 CPUtime=0.29
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 1057 0 0 0 29 0 0 0 19 0 1 0 111722947 4853760 860 1992294400 4194304 5102648 548682068768 18446744073709551615 4213932 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 1185 860 112 221 0 961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4740
[startup+0.70128 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19820
/proc/meminfo: memFree=1858160/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=5936 CPUtime=0.69
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 1334 0 0 0 69 0 0 0 22 0 1 0 111722947 6078464 1137 1992294400 4194304 5102648 548682068768 18446744073709551615 4495393 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 1484 1137 112 221 0 1260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5936
[startup+1.50136 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1853160/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=7948 CPUtime=1.49
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 1833 0 0 0 149 0 0 0 25 0 1 0 111722947 8138752 1636 1992294400 4194304 5102648 548682068768 18446744073709551615 4491703 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 1987 1636 112 221 0 1763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7948
[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1850856/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=10368 CPUtime=3.09
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 2432 0 0 0 308 1 0 0 25 0 1 0 111722947 10616832 2235 1992294400 4194304 5102648 548682068768 18446744073709551615 4249840 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 2592 2235 112 221 0 2368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10368
[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1847656/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=12988 CPUtime=6.29
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 3069 0 0 0 628 1 0 0 25 0 1 0 111722947 13299712 2872 1992294400 4194304 5102648 548682068768 18446744073709551615 4249858 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 3247 2872 112 221 0 3023 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12988
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1843880/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=16180 CPUtime=12.69
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 3814 0 0 0 1267 2 0 0 25 0 1 0 111722947 16568320 3617 1992294400 4194304 5102648 548682068768 18446744073709551615 4249884 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 4045 3617 112 221 0 3821 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16180
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1842088/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=18024 CPUtime=25.48
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 4254 0 0 0 2546 2 0 0 25 0 1 0 111722947 18456576 4057 1992294400 4194304 5102648 548682068768 18446744073709551615 4249858 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 4506 4057 112 221 0 4282 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18024
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1837032/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=23488 CPUtime=51.08
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 5512 0 0 0 5105 3 0 0 25 0 1 0 111722947 24051712 5315 1992294400 4194304 5102648 548682068768 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 5872 5315 112 221 0 5648 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23488
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1833000/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=27648 CPUtime=102.27
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 6502 0 0 0 10223 4 0 0 25 0 1 0 111722947 28311552 6305 1992294400 4194304 5102648 548682068768 18446744073709551615 4249858 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 6912 6305 112 221 0 6688 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27648
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1829608/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=31516 CPUtime=162.25
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7337 0 0 0 16220 5 0 0 25 0 1 0 111722947 32272384 7140 1992294400 4194304 5102648 548682068768 18446744073709551615 4250276 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 7879 7140 112 221 0 7655 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31516
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1829416/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=31664 CPUtime=166.25
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7398 0 0 0 16620 5 0 0 25 0 1 0 111722947 32423936 7201 1992294400 4194304 5102648 548682068768 18446744073709551615 4249858 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 7916 7201 112 221 0 7692 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 31664
[startup+169.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1829096/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=32012 CPUtime=169.45
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7465 0 0 0 16940 5 0 0 25 0 1 0 111722947 32780288 7268 1992294400 4194304 5102648 548682068768 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 8003 7268 112 221 0 7779 0
Current children cumulated CPU time (s) 169.45
Current children cumulated vsize (KiB) 32012
[startup+172.705 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1828712/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=32328 CPUtime=172.65
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7554 0 0 0 17260 5 0 0 25 0 1 0 111722947 33103872 7357 1992294400 4194304 5102648 548682068768 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 8082 7357 112 221 0 7858 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 32328
[startup+173.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1828712/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=32516 CPUtime=173.45
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7574 0 0 0 17340 5 0 0 25 0 1 0 111722947 33296384 7377 1992294400 4194304 5102648 548682068768 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 8129 7377 112 221 0 7905 0
Current children cumulated CPU time (s) 173.45
Current children cumulated vsize (KiB) 32516
[startup+174.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1828648/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=32660 CPUtime=174.25
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7605 0 0 0 17420 5 0 0 25 0 1 0 111722947 33443840 7408 1992294400 4194304 5102648 548682068768 18446744073709551615 4249744 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 8165 7408 112 221 0 7941 0
Current children cumulated CPU time (s) 174.25
Current children cumulated vsize (KiB) 32660
[startup+174.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1828648/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=32660 CPUtime=174.45
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7605 0 0 0 17440 5 0 0 25 0 1 0 111722947 33443840 7408 1992294400 4194304 5102648 548682068768 18446744073709551615 4244883 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 8165 7408 112 221 0 7941 0
Current children cumulated CPU time (s) 174.45
Current children cumulated vsize (KiB) 32660
[startup+174.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19821
/proc/meminfo: memFree=1828648/2055912 swapFree=4192812/4192956
[pid=19820] ppid=19818 vsize=32660 CPUtime=174.55
/proc/19820/stat : 19820 (varsat-industri) R 19818 19820 19568 0 -1 4194304 7605 0 0 0 17450 5 0 0 25 0 1 0 111722947 33443840 7408 1992294400 4194304 5102648 548682068768 18446744073709551615 4249945 0 0 4096 3 0 0 0 17 1 0 0
/proc/19820/statm: 8165 7408 112 221 0 7941 0
Current children cumulated CPU time (s) 174.55
Current children cumulated vsize (KiB) 32660
Child status: 10
Real time (s): 174.7
CPU time (s): 174.656
CPU user time (s): 174.595
CPU system time (s): 0.06099
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 32660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.595
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7611
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= 320
runsolver used 0.204968 second user time and 0.423935 second system time
The end
Begin job on node78 at 2009-04-27 14:55:39
IDJOB=1738283
IDBENCH=71804
IDSOLVER=538
FILE ID=node78/1738283-1240836939
PBS_JOBID= 9187555
Free space on /tmp= 126788 MiB
SOLVER NAME= VARSAT-industrial 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-22-173-20-80.cnf
COMMAND LINE= HOME/varsat-industrial_static -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1738283-1240836939/watcher-1738283-1240836939 -o /tmp/evaluation-result-1738283-1240836939/solver-1738283-1240836939 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/varsat-industrial_static -seed=1902464157 HOME/instance-1738283-1240836939.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fcc3fcd52c921ace90c257c57bbc4b6d
RANDOM SEED=1902464157
node78.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.243
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.243
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: 2055912 kB
MemFree: 1858576 kB
Buffers: 29856 kB
Cached: 87104 kB
SwapCached: 0 kB
Active: 27892 kB
Inactive: 103916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1858576 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1264 kB
Writeback: 0 kB
Mapped: 24572 kB
Slab: 51192 kB
Committed_AS: 305624 kB
PageTables: 1428 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= 126788 MiB
End job on node78 at 2009-04-27 14:58:34