39.48/39.52 c starting MXC with:
39.48/39.52 c cnf_path = HOME/instance-1784401-1241937848.cnf
39.48/39.52 c restart_strategy = auto
39.48/39.52 c sign_strategy = cached
39.48/39.52 c use_preprocessing = -1
39.48/39.52 c output_implicant = 1
39.48/39.52 c timeout_seconds = 0
39.48/39.52 c running SatELite... done
39.48/39.52 c 41 vars eliminated
39.48/39.52 c received 0 units and 40381 clauses from SatELite
39.48/39.52 c 40 assignments made, starting to guess now
39.48/39.52 c ===================================[MXC]=====================================
39.48/39.52 c | Conflicts | Clause Statistics | Vars |
39.48/39.52 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
39.48/39.52 c =============================================================================
39.48/39.52 c | 0 | 0 37413 2968 0 0 nan | 760 |
39.48/39.52 c | 100 | 0 37413 2968 100 1050 65.7 | 720 |
39.48/39.52 c | 210 | 0 37413 2968 210 1105 58.9 | 720 |
39.48/39.52 c | 441 | 0 37413 2968 441 1220 51.0 | 720 |
39.48/39.52 c | 805 | 0 37414 2968 804 1402 46.8 | 720 |
39.48/39.52 c | 1315 | 0 37414 2968 1314 1657 41.9 | 720 |
39.48/39.52 c | 1986 | 0 37414 2968 1985 1993 41.0 | 720 |
39.48/39.52 c | 2834 | 0 37414 2968 1832 2417 37.4 | 720 |
39.48/39.52 c | 3876 | 0 37414 2968 2874 2938 37.8 | 720 |
39.48/39.52 c | 5132 | 0 37414 2968 2629 3566 37.7 | 720 |
39.48/39.52 c | 6623 | 0 37414 2968 4120 4311 37.7 | 720 |
39.48/39.52 c | 8373 | 0 37414 2968 3618 5186 37.0 | 720 |
39.48/39.52 c | 10408 | 0 37414 2968 5653 6204 37.8 | 720 |
39.48/39.52 c | 12756 | 0 37414 2968 4623 7378 39.3 | 720 |
39.48/39.52 c | 15449 | 0 37416 2968 7314 8724 37.1 | 720 |
39.48/39.52 c | 18521 | 0 37417 2968 5317 10260 33.4 | 720 |
39.48/39.52 c | 22010 | 0 37421 2968 8802 12005 35.3 | 720 |
39.48/39.52 c | 25958 | 0 37422 2968 12749 13979 35.0 | 720 |
39.48/39.52 c | 30411 | 0 37422 2968 9597 16205 33.5 | 720 |
39.48/39.52 c | 35419 | 0 37423 2968 14604 18709 33.7 | 720 |
39.48/39.52 c | 41038 | 0 37424 2968 20222 21519 34.3 | 720 |
39.48/39.52 c | 47329 | 0 37426 2968 15103 24664 33.9 | 720 |
39.48/39.52 c | 54360 | 0 37428 2968 22132 28180 37.2 | 720 |
39.48/39.52 c | 62205 | 0 37430 2968 29975 32102 36.7 | 720 |
39.48/39.52 c | 70945 | 0 37431 2968 21620 34721 35.8 | 720 |
39.48/39.52 c | 80669 | 0 37431 2968 31344 35782 37.7 | 720 |
39.48/39.52 c | 91476 | 0 37434 2968 24005 36855 36.4 | 720 |
39.48/39.52 c | 103474 | 0 37198 2951 23409 37945 37.1 | 718 |
39.48/39.52 c | 116782 | 0 37201 2951 36714 38792 38.8 | 718 |
39.48/39.52 c | 131532 | 0 37206 2951 31975 39894 38.2 | 718 |
39.48/39.52 c | 147868 | 0 37213 2951 28059 41010 38.9 | 718 |
39.48/39.52 c | 165948 | 0 37106 2944 23396 42145 37.5 | 717 |
39.48/39.52 c | 185947 | 0 36975 2938 18512 43169 35.5 | 716 |
39.48/39.52 c | 208057 | 0 36843 2933 34988 44188 40.5 | 715 |
39.48/39.52 c | 232489 | 0 36723 2926 33940 45223 47.2 | 714 |
39.48/39.52 c | 245906 | 0 36725 2926 24551 45684 44.6 | 714 |
39.48/39.52 c ----- stats for thread 0 -----
39.48/39.52 c restarts: 589
39.48/39.52 c decisions: 346360
39.48/39.52 c propagations: 24082785
39.48/39.52 c conflicts: 245906
39.48/39.52 c 39.527s elapsed
39.48/39.52 s SATISFIABLE
39.48/39.52 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 -441 -442 -443 -444 445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 512 -513 -514 -515 -516 -517 518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 608 -609 -610 -611 -612 -613 -614 -615 -616 -617 618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 754 -755 -756 -757 -758 -759 -760 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784401-1241937848/watcher-1784401-1241937848 -o /tmp/evaluation-result-1784401-1241937848/solver-1784401-1241937848 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784401-1241937848.cnf
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.99 0.98 0.99 3/64 29489
/proc/meminfo: memFree=1638352/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=1744 CPUtime=0
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 221818353 1785856 289 1992294400 134512640 135192793 4294956224 18446744073709551615 134572845 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 436 289 54 166 0 267 0
[startup+0.02899 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29489
/proc/meminfo: memFree=1638352/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=3372 CPUtime=0.02
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 818 0 0 0 2 0 0 0 18 0 1 0 221818353 3452928 678 1992294400 134512640 135192793 4294956224 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 843 678 55 166 0 674 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3372
[startup+0.101998 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29489
/proc/meminfo: memFree=1638352/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=3372 CPUtime=0.09
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 819 0 0 0 9 0 0 0 18 0 1 0 221818353 3452928 679 1992294400 134512640 135192793 4294956224 18446744073709551615 134568131 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 843 679 56 166 0 674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3372
[startup+0.30202 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29489
/proc/meminfo: memFree=1638352/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=4332 CPUtime=0.29
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 1039 0 0 0 29 0 0 0 19 0 1 0 221818353 4435968 899 1992294400 134512640 135192793 4294956224 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 1083 899 56 166 0 914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4332
[startup+0.701065 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 29489
/proc/meminfo: memFree=1638352/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=4856 CPUtime=0.69
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 1321 0 0 0 69 0 0 0 23 0 1 0 221818353 4972544 1078 1992294400 134512640 135192793 4294956224 18446744073709551615 134547928 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 1214 1078 73 166 0 1045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4856
[startup+1.50116 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1633672/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=6308 CPUtime=1.49
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 1681 0 0 0 149 0 0 0 25 0 1 0 221818353 6459392 1438 1992294400 134512640 135192793 4294956224 18446744073709551615 134534061 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 1577 1438 73 166 0 1408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6308
[startup+3.10134 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1631816/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=8556 CPUtime=3.09
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 2263 0 0 0 309 0 0 0 25 0 1 0 221818353 8761344 2020 1992294400 134512640 135192793 4294956224 18446744073709551615 134550883 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 2139 2020 73 166 0 1970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8556
[startup+6.3017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1628040/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=11856 CPUtime=6.29
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 3060 0 0 0 629 0 0 0 25 0 1 0 221818353 12140544 2817 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 2964 2817 73 166 0 2795 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11856
[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1623496/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=15696 CPUtime=12.68
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 3984 0 0 0 1267 1 0 0 25 0 1 0 221818353 16072704 3741 1992294400 134512640 135192793 4294956224 18446744073709551615 134766703 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 3924 3741 73 166 0 3755 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15696
[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1620808/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=18512 CPUtime=25.48
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 4635 0 0 0 2546 2 0 0 25 0 1 0 221818353 18956288 4392 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 4628 4392 73 166 0 4459 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18512
Solver just ended. Dumping a history of the last processes samples
[startup+31.9056 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1620232/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=19104 CPUtime=31.88
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 4778 0 0 0 3186 2 0 0 25 0 1 0 221818353 19562496 4535 1992294400 134512640 135192793 4294956224 18446744073709551615 134533911 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 4776 4535 73 166 0 4607 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 19104
[startup+35.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1619400/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=19964 CPUtime=35.09
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 4985 0 0 0 3506 3 0 0 25 0 1 0 221818353 20443136 4742 1992294400 134512640 135192793 4294956224 18446744073709551615 134533842 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 4991 4742 73 166 0 4822 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 19964
[startup+36.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1619272/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=20252 CPUtime=36.68
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 5032 0 0 0 3665 3 0 0 25 0 1 0 221818353 20738048 4789 1992294400 134512640 135192793 4294956224 18446744073709551615 134547878 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 5063 4789 73 166 0 4894 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 20252
[startup+38.3013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1619080/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=21056 CPUtime=38.28
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 5215 0 0 0 3825 3 0 0 25 0 1 0 221818353 21561344 4972 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 5264 4972 73 166 0 5095 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 21056
[startup+39.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1618376/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=21996 CPUtime=39.08
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 5455 0 0 0 3905 3 0 0 25 0 1 0 221818353 22523904 5212 1992294400 134512640 135192793 4294956224 18446744073709551615 134549684 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 5499 5212 73 166 0 5330 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 21996
[startup+39.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 29490
/proc/meminfo: memFree=1617480/2055920 swapFree=3990728/4192956
[pid=29489] ppid=29487 vsize=21996 CPUtime=39.48
/proc/29489/stat : 29489 (mxc-sat09) R 29487 29489 29273 0 -1 4194304 5455 0 0 0 3945 3 0 0 25 0 1 0 221818353 22523904 5212 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/29489/statm: 5499 5212 73 166 0 5330 0
Current children cumulated CPU time (s) 39.48
Current children cumulated vsize (KiB) 21996
Child status: 10
Real time (s): 39.5332
CPU time (s): 39.522
CPU user time (s): 39.48
CPU system time (s): 0.041993
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 21996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.48
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5458
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= 5
involuntary context switches= 102
runsolver used 0.044993 second user time and 0.084987 second system time
The end
Begin job on node23 at 2009-05-10 08:44:09
IDJOB=1784401
IDBENCH=71377
IDSOLVER=613
FILE ID=node23/1784401-1241937848
PBS_JOBID= 9264985
Free space on /tmp= 66344 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v760c43649gyes10.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784401-1241937848/watcher-1784401-1241937848 -o /tmp/evaluation-result-1784401-1241937848/solver-1784401-1241937848 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784401-1241937848.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 81c9aa5c768c12f86139286d1d6bc62c
RANDOM SEED=557878629
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: 1638832 kB
Buffers: 51936 kB
Cached: 120952 kB
SwapCached: 196896 kB
Active: 154092 kB
Inactive: 217232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638832 kB
SwapTotal: 4192956 kB
SwapFree: 3990728 kB
Dirty: 1360 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 31852 kB
Committed_AS: 765680 kB
PageTables: 1388 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= 66344 MiB
End job on node23 at 2009-05-10 08:44:48