117.46/117.58 c clasp version 1.2.0-SAT09
117.46/117.58 c Reading from ...937330/instance-1785942-1241937330.cnf
117.46/117.58 c Reading : Done(0.010s)
117.46/117.58 c Preprocessing: |-\Done(0.230s)
117.46/117.58 c Solving...
117.46/117.58 c Model: 1
117.46/117.58 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10
117.46/117.58 v 11 -12 -13 -14 -15 -16 -17 -18 -19 -20
117.46/117.58 v -21 -22 -23 -24 -25 -26 -27 -28 -29 -30
117.46/117.58 v -31 -32 -33 -34 -35 -36 37 -38 -39 -40
117.46/117.58 v -41 -42 -43 -44 -45 -46 -47 -48 49 -50
117.46/117.58 v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
117.46/117.58 v -61 -62 -63 -64 65 -66 -67 -68 -69 -70
117.46/117.58 v -71 -72 -73 -74 -75 -76 -77 -78 -79 -80
117.46/117.58 v -81 82 -83 -84 -85 -86 -87 -88 -89 -90
117.46/117.58 v -91 -92 -93 -94 -95 -96 -97 -98 -99 -100
117.46/117.58 v -101 -102 -103 -104 105 -106 -107 -108 -109 -110
117.46/117.58 v -111 -112 -113 -114 115 -116 -117 -118 -119 -120
117.46/117.58 v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130
117.46/117.58 v -131 -132 -133 -134 -135 -136 137 -138 -139 -140
117.46/117.58 v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150
117.46/117.58 v -151 -152 -153 -154 -155 -156 -157 158 -159 -160
117.46/117.58 v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170
117.46/117.58 v -171 -172 173 -174 -175 -176 -177 -178 -179 -180
117.46/117.58 v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190
117.46/117.58 v -191 -192 -193 -194 -195 -196 -197 -198 -199 200
117.46/117.58 v -201 -202 -203 -204 -205 -206 -207 -208 -209 -210
117.46/117.58 v -211 -212 -213 -214 -215 -216 217 -218 -219 -220
117.46/117.58 v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
117.46/117.58 v -231 -232 -233 -234 -235 -236 -237 -238 -239 240
117.46/117.58 v -241 -242 -243 -244 -245 -246 -247 -248 249 -250
117.46/117.58 v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
117.46/117.58 v -261 -262 -263 -264 -265 -266 -267 -268 -269 -270
117.46/117.58 v -271 -272 -273 -274 -275 -276 -277 278 -279 -280
117.46/117.58 v -281 -282 -283 -284 -285 -286 -287 -288 -289 -290
117.46/117.58 v -291 -292 -293 -294 -295 -296 -297 298 -299 -300
117.46/117.58 v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310
117.46/117.58 v -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
117.46/117.58 v -321 -322 323 -324 -325 -326 -327 -328 -329 -330
117.46/117.58 v -331 -332 -333 -334 -335 -336 -337 -338 339 -340
117.46/117.58 v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350
117.46/117.58 v -351 -352 -353 -354 -355 -356 -357 -358 -359 360
117.46/117.58 v -361 -362 -363 -364 -365 -366 -367 368 -369 -370
117.46/117.58 v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
117.46/117.58 v -381 -382 -383 -384 385 -386 -387 -388 -389 -390
117.46/117.58 v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
117.46/117.58 v -401 -402 -403 -404 -405 -406 -407 -408 409 -410
117.46/117.58 v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
117.46/117.58 v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
117.46/117.58 v -431 432 -433 -434 -435 -436 -437 -438 439 -440
117.46/117.58 v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
117.46/117.58 v -451 -452 -453 -454 -455 -456 -457 -458 -459 -460
117.46/117.58 v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
117.46/117.58 v -471 -472 -473 474 -475 -476 -477 -478 -479 -480
117.46/117.58 v -481 -482 483 -484 -485 -486 -487 -488 -489 -490
117.46/117.58 v -491 -492 -493 -494 -495 496 -497 -498 -499 -500
117.46/117.58 v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510
117.46/117.58 v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
117.46/117.58 v -521 -522 523 -524 -525 -526 -527 -528 -529 -530
117.46/117.58 v -531 -532 -533 -534 -535 536 -537 -538 -539 -540
117.46/117.58 v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
117.46/117.58 v -551 552 -553 -554 -555 -556 -557 -558 -559 -560
117.46/117.58 v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
117.46/117.58 v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
117.46/117.58 v 581 -582 -583 -584 -585 -586 -587 -588 -589 -590
117.46/117.58 v -591 -592 -593 -594 -595 -596 -597 -598 -599 600
117.46/117.58 v -601 -602 -603 -604 -605 -606 -607 -608 -609 610
117.46/117.58 v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
117.46/117.58 v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630
117.46/117.58 v -631 -632 -633 -634 -635 -636 -637 -638 -639 -640
117.46/117.58 v -641 -642 -643 644 -645 -646 -647 -648 -649 650
117.46/117.58 v -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
117.46/117.58 v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
117.46/117.58 v -671 -672 -673 -674 -675 -676 677 -678 -679 -680
117.46/117.58 v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690
117.46/117.58 v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
117.46/117.58 v 701 -702 -703 -704 -705 706 -707 -708 -709 -710
117.46/117.58 v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
117.46/117.58 v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730
117.46/117.58 v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
117.46/117.58 v 741 -742 -743 -744 -745 -746 -747 -748 -749 -750
117.46/117.58 v -751 752 -753 -754 -755 -756 -757 -758 -759 -760 0
117.46/117.59
117.46/117.59 c Models : 1+
117.46/117.59 c Time : 117.570s (Solve: 117.330s)
117.46/117.59 s SATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785942-1241937330/watcher-1785942-1241937330 -o /tmp/evaluation-result-1785942-1241937330/solver-1785942-1241937330 -C 5000 -W 6000 -M 1800 HOME/clasp --file=HOME/instance-1785942-1241937330.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.98 0.97 0.99 3/64 31717
/proc/meminfo: memFree=1814000/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=1964 CPUtime=0
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 221760099 2011136 226 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 491 227 144 377 0 111 0
[startup+0.080617 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 31717
/proc/meminfo: memFree=1814000/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=4032 CPUtime=0.07
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 816 0 0 0 7 0 0 0 18 0 1 0 221760099 4128768 754 1992294400 134512640 136057169 4294956160 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1008 754 166 377 0 628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4032
[startup+0.101618 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 31717
/proc/meminfo: memFree=1814000/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=4032 CPUtime=0.09
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 816 0 0 0 9 0 0 0 18 0 1 0 221760099 4128768 754 1992294400 134512640 136057169 4294956160 18446744073709551615 134774352 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1008 754 166 377 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4032
[startup+0.301636 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 31717
/proc/meminfo: memFree=1814000/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=4072 CPUtime=0.29
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 940 0 0 0 29 0 0 0 19 0 1 0 221760099 4169728 792 1992294400 134512640 136057169 4294956160 18446744073709551615 134618307 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1018 792 183 377 0 638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4072
[startup+0.701673 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 31717
/proc/meminfo: memFree=1814000/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=4072 CPUtime=0.69
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 940 0 0 0 69 0 0 0 22 0 1 0 221760099 4169728 792 1992294400 134512640 136057169 4294956160 18446744073709551615 134618265 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1018 792 183 377 0 638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4072
[startup+1.50175 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1810856/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=5620 CPUtime=1.49
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 1348 0 0 0 149 0 0 0 25 0 1 0 221760099 5754880 1200 1992294400 134512640 136057169 4294956160 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1405 1200 183 377 0 1025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5620
[startup+3.1019 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1809448/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=6544 CPUtime=3.09
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 1583 0 0 0 309 0 0 0 25 0 1 0 221760099 6701056 1435 1992294400 134512640 136057169 4294956160 18446744073709551615 134823889 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1636 1435 183 377 0 1256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6544
[startup+6.30121 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1808240/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=7072 CPUtime=6.28
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 1706 0 0 0 628 0 0 0 25 0 1 0 221760099 7241728 1558 1992294400 134512640 136057169 4294956160 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 1768 1558 183 377 0 1388 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7072
[startup+12.7018 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1806904/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=8604 CPUtime=12.69
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 2084 0 0 0 1268 1 0 0 25 0 1 0 221760099 8810496 1936 1992294400 134512640 136057169 4294956160 18446744073709551615 134823788 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 2151 1936 183 377 0 1771 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8604
[startup+25.501 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1805432/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=10200 CPUtime=25.48
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 2476 0 0 0 2547 1 0 0 25 0 1 0 221760099 10444800 2328 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 2550 2328 183 377 0 2170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10200
[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1803256/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=12040 CPUtime=51.07
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 2940 0 0 0 5106 1 0 0 25 0 1 0 221760099 12328960 2792 1992294400 134512640 136057169 4294956160 18446744073709551615 134618152 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3010 2792 183 377 0 2630 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12040
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1801912/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=13520 CPUtime=102.27
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3311 0 0 0 10225 2 0 0 25 0 1 0 221760099 13844480 3163 1992294400 134512640 136057169 4294956160 18446744073709551615 134618468 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3380 3163 183 377 0 3000 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13520
Solver just ended. Dumping a history of the last processes samples
[startup+108.702 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1800824/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=14444 CPUtime=108.67
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3536 0 0 0 10865 2 0 0 25 0 1 0 221760099 14790656 3388 1992294400 134512640 136057169 4294956160 18446744073709551615 134618344 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3611 3388 183 377 0 3231 0
Current children cumulated CPU time (s) 108.67
Current children cumulated vsize (KiB) 14444
[startup+111.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1800824/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=14444 CPUtime=111.86
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3540 0 0 0 11184 2 0 0 25 0 1 0 221760099 14790656 3392 1992294400 134512640 136057169 4294956160 18446744073709551615 134618307 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3611 3392 183 377 0 3231 0
Current children cumulated CPU time (s) 111.86
Current children cumulated vsize (KiB) 14444
[startup+115.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1800760/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=14444 CPUtime=115.06
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3550 0 0 0 11504 2 0 0 25 0 1 0 221760099 14790656 3402 1992294400 134512640 136057169 4294956160 18446744073709551615 134823809 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3611 3402 183 377 0 3231 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 14444
[startup+116.702 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1800760/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=14444 CPUtime=116.66
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3550 0 0 0 11664 2 0 0 25 0 1 0 221760099 14790656 3402 1992294400 134512640 136057169 4294956160 18446744073709551615 134618270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3611 3402 183 377 0 3231 0
Current children cumulated CPU time (s) 116.66
Current children cumulated vsize (KiB) 14444
[startup+117.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1800760/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=14444 CPUtime=117.06
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3550 0 0 0 11704 2 0 0 25 0 1 0 221760099 14790656 3402 1992294400 134512640 136057169 4294956160 18446744073709551615 134618262 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3611 3402 183 377 0 3231 0
Current children cumulated CPU time (s) 117.06
Current children cumulated vsize (KiB) 14444
[startup+117.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 31718
/proc/meminfo: memFree=1800760/2055920 swapFree=4175096/4192956
[pid=31717] ppid=31715 vsize=14444 CPUtime=117.46
/proc/31717/stat : 31717 (clasp) R 31715 31717 31653 0 -1 4194304 3550 0 0 0 11744 2 0 0 25 0 1 0 221760099 14790656 3402 1992294400 134512640 136057169 4294956160 18446744073709551615 134618265 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31717/statm: 3611 3402 183 377 0 3231 0
Current children cumulated CPU time (s) 117.46
Current children cumulated vsize (KiB) 14444
Child status: 10
Real time (s): 117.596
CPU time (s): 117.566
CPU user time (s): 117.541
CPU system time (s): 0.024996
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 14444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.541
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3554
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= 241
runsolver used 0.085986 second user time and 0.255961 second system time
The end
Begin job on node61 at 2009-05-10 08:35:30
IDJOB=1785942
IDBENCH=71341
IDSOLVER=637
FILE ID=node61/1785942-1241937330
PBS_JOBID= 9265009
Free space on /tmp= 66308 MiB
SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g1.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785942-1241937330/watcher-1785942-1241937330 -o /tmp/evaluation-result-1785942-1241937330/solver-1785942-1241937330 -C 5000 -W 6000 -M 1800 HOME/clasp --file=HOME/instance-1785942-1241937330.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 09e521ede3d398d4595568c082f00e6d
RANDOM SEED=1827343614
node61.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.216
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.216
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: 1814416 kB
Buffers: 49428 kB
Cached: 134588 kB
SwapCached: 12504 kB
Active: 108740 kB
Inactive: 90116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1814416 kB
SwapTotal: 4192956 kB
SwapFree: 4175096 kB
Dirty: 2344 kB
Writeback: 0 kB
Mapped: 13656 kB
Slab: 28732 kB
Committed_AS: 763484 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node61 at 2009-05-10 08:37:27