117.66/117.76 c MXC attempting /tmp/evaluation/319726-1173035131/instance-319726-1173035131.cnf
117.66/117.76 c 0 assignments made, starting to guess now
117.66/117.76 c ===================================[MXC]=====================================
117.66/117.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
117.66/117.76 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
117.66/117.76 c =============================================================================
117.66/117.76 c | 0 | 58860 177876 | 19620 0 0 nan | 0.000 % |
117.66/117.76 c | 100 | 58860 177876 | 21582 100 4094 40.9 | 0.000 % |
117.66/117.76 c | 254 | 58860 177876 | 23740 254 16144 63.6 | 0.000 % |
117.66/117.76 c | 481 | 58860 177876 | 26114 481 33456 69.6 | 0.000 % |
117.66/117.76 c | 818 | 58860 177876 | 28725 818 60749 74.3 | 0.000 % |
117.66/117.76 c | 1324 | 58860 177876 | 31598 1324 102534 77.4 | 0.000 % |
117.66/117.76 c | 2084 | 58860 177876 | 34758 2084 159286 76.4 | 0.000 % |
117.66/117.76 c | 3223 | 58860 177876 | 38233 3222 257022 79.8 | 0.000 % |
117.66/117.76 c | 4932 | 58860 177876 | 42057 4931 384857 78.0 | 0.000 % |
117.66/117.76 c | 7494 | 58860 177876 | 46262 7493 582718 77.8 | 0.000 % |
117.66/117.76 c | 11339 | 58860 177876 | 50889 11338 839049 74.0 | 0.000 % |
117.66/117.76 c | 17109 | 58860 177876 | 55978 17107 1250078 73.1 | 0.000 % |
117.66/117.76 c | 25760 | 58860 177876 | 61575 25756 1843262 71.6 | 0.000 % |
117.66/117.76 c | 38738 | 58860 177876 | 67733 38732 2770285 71.5 | 0.000 % |
117.66/117.76 c | 58200 | 58860 177876 | 74506 58193 4567216 78.5 | 0.000 % |
117.66/117.76 c | 87394 | 58860 177876 | 81957 50134 4145827 82.7 | 0.000 % |
117.66/117.76 c | 131185 | 58860 177876 | 90153 52945 3372956 63.7 | 0.000 % |
117.66/117.76 c 117.730s elapsed
117.66/117.76 c restarts: 16
117.66/117.76 c decisions: 223871
117.66/117.76 c propagations: 17855683
117.66/117.76 c conflicts: 134621
117.66/117.76 s SATISFIABLE
117.66/117.76 v -227 -83 -272 -278 -196 -36 -224 -494 -62 -29 -251 -650 -298 -34 -2 -440 -33 -434 -42 -1 -53 -245 -217 -41 -215 -47 -542 -561 -588 -218 -28 -191 -8 -228 -110 -460 -656 -407 -359 -677 -596 -240 -197 -488 -51 -569 -380 -226 -43 -50 -164 -225 -233 -468 -229 -221 -39 -623 -37 -243 -299 -242 -56 -46 -232 -704 -81 -220 -326 -332 -45 -433 -244 -219 -48 -44 -32 -235 -35 -515 -467 -413 230 -14 -68 -95 -122 -149 -176 -203 -222 -223 -257 -284 -311 -338 -365 -231 -392 -419 -446 -234 -473 -500 -236 -527 -237 -554 -238 -581 -239 -608 -635 -241 -662 -689 -716 -386 -379 -352 -360 -362 -364 -367 -368 -378 -325 -327 -333 -334 -335 -337 -339 -340 -341 -342 -343 -349 -396 -387 -549 -383 -363 -309 -445 -54 -89 -328 -80 -116 -329 -137 -305 -336 -595 -373 602 -143 -170 -521 -548 -575 -597 -598 -599 -600 -601 -603 -604 -605 -606 -607 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -629 -619 -620 -683 -621 -710 -158 -632 -22 -49 -130 -157 -184 -211 -265 -319 -400 -427 -454 -481 -508 -535 -562 -589 -643 -697 -77 -104 -131 -185 -212 -266 -320 347 -401 -455 -482 -563 -65 -200 -308 -713 -644 -671 -698 -725 -23 -374 -509 -428 -293 -590 -202 -389 -536 -201 -724 -330 -331 -344 -345 -346 -348 -350 -351 -141 -144 -148 -645 -622 -639 -634 -553 -647 -711 -715 -714 -40 -579 -282 -300 -729 -38 -292 -190 -358 -461 353 -354 -355 -356 -357 -361 -366 -369 -370 -371 -372 -375 -376 -377 55 -72 -153 -180 -207 -261 -288 -423 -450 -477 -504 -531 -558 -585 -666 -720 -472 -75 -64 -71 -57 -63 -69 -66 -557 -59 -58 -70 -67 -79 -78 -76 -73 -61 -74 -60 -18 -580 -315 -543 -546 -564 -567 -82 -109 -136 -163 -271 -406 -487 -514 -541 -568 -649 -676 -703 -216 -21 -3 -30 -108 -7 -594 -84 -111 -165 -192 -273 -381 -462 -489 -516 -570 -624 -651 -678 -705 -513 -435 -405 -13 -648 -138 -20 -26 -11 -12 -497 -506 -471 -449 -630 -642 -533 -99 -92 -306 -310 -15 -636 -728 -324 -404 -505 -280 -10 -552 -432 -687 -297 -723 -673 31 -4 -85 -112 -139 -166 -193 -247 -274 -301 -382 -409 -436 -463 -490 -517 -544 -571 -625 -52 -652 -679 -706 -123 -88 -90 -91 -93 -96 -97 -98 -105 -135 -118 -125 -127 -132 -248 -252 -253 -255 -260 -115 -113 -133 -121 -128 -114 -129 -119 -134 -120 -124 -94 -264 -258 -256 103 -249 -107 -269 -254 -262 -267 -101 -86 -106 -270 -259 -263 -250 -102 -87 -100 -117 126 246 -268 -670 -693 -408 -388 -199 -712 -638 -545 -707 -631 -307 -550 -577 -140 -147 -152 -154 -146 -142 -151 -155 -162 -496 -578 -150 -160 -161 -156 -159 -593 -576 -587 -574 -198 -9 -395 -475 -503 -491 -469 -479 -287 -302 -167 -464 -318 -312 145 -685 -442 -658 -303 -279 -321 -172 -523 -415 -281 -708 -519 -194 -5 -210 -399 -402 -393 -584 -495 -275 -384 -465 -276 -654 -518 -437 -680 -410 -653 572 -626 -592 -583 -591 -385 -660 -277 -573 -586 -582 -510 -501 -480 -398 -316 -493 -522 -179 -492 -499 -502 -511 -498 -183 -426 -394 397 -391 -696 -390 -534 -291 -453 -403 -669 507 -512 -727 -317 -181 -290 -641 -559 -721 -684 -19 -208 -289 -424 -451 -478 -532 -640 -667 -694 -528 -530 -168 171 -174 -175 -177 -189 -474 -555 -524 -717 -169 -186 -540 -539 -188 -187 -178 -182 -173 -441 -657 -414 -551 -668 -425 -323 -6 -466 -195 -547 -411 -709 -628 -470 -484 -486 -682 304 -655 -439 -520 -412 -422 -314 -322 -313 -209 -283 -285 -206 -294 -295 -213 -692 -17 -525 -633 -443 -444 -204 -205 -659 214 -438 -416 -448 -16 -722 -663 -675 -661 -726 417 686 -719 -537 -25 -430 -457 -538 -565 -646 -700 -431 -690 -702 -699 -420 -429 -688 -695 -691 -421 -681 -701 -674 -418 447 -24 -476 627 -286 -459 27 -566 526 718 -556 -664 -672 -529 -637 -485 296 -458 560 -452 -456 665 483 0
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-319726-1173035131 -o ROOT/results/node38/solver-319726-1173035131 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319726-1173035131/mxc /tmp/evaluation/319726-1173035131/instance-319726-1173035131.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): 2400 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: 0.91 0.95 0.90 3/64 3129
/proc/meminfo: memFree=1423312/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=2400 CPUtime=0
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 457 0 0 0 0 0 0 0 18 0 1 0 323468939 2457600 441 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 600 442 46 122 0 474 0
[startup+0.0212951 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 3129
/proc/meminfo: memFree=1423312/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=3492 CPUtime=0.01
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 739 0 0 0 1 0 0 0 18 0 1 0 323468939 3575808 723 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 873 723 46 122 0 747 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3492
[startup+0.101302 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 3129
/proc/meminfo: memFree=1423312/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=4396 CPUtime=0.09
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 1303 0 0 0 9 0 0 0 18 0 1 0 323468939 4501504 953 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 1099 953 59 122 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4396
[startup+0.301324 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 3129
/proc/meminfo: memFree=1423312/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=4792 CPUtime=0.29
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 1406 0 0 0 29 0 0 0 19 0 1 0 323468939 4907008 1056 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134520780 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 1198 1056 59 122 0 1072 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4792
[startup+0.701369 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 3129
/proc/meminfo: memFree=1423312/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=5980 CPUtime=0.69
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 1678 0 0 0 68 1 0 0 22 0 1 0 323468939 6123520 1328 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 1495 1328 59 122 0 1369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5980
[startup+1.50146 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 3130
/proc/meminfo: memFree=1417480/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=7444 CPUtime=1.49
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 2046 0 0 0 148 1 0 0 25 0 1 0 323468939 7622656 1696 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 1861 1696 59 122 0 1735 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7444
[startup+3.10164 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 3130
/proc/meminfo: memFree=1415752/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=9424 CPUtime=3.09
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 2542 0 0 0 308 1 0 0 25 0 1 0 323468939 9650176 2192 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519590 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 2356 2192 59 122 0 2230 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9424
[startup+6.30201 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 3130
/proc/meminfo: memFree=1412104/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=12460 CPUtime=6.29
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 3316 0 0 0 627 2 0 0 25 0 1 0 323468939 12759040 2966 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 3115 2966 59 122 0 2989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12460
[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.90 2/65 3130
/proc/meminfo: memFree=1407112/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=17344 CPUtime=12.69
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 4519 0 0 0 1265 4 0 0 25 0 1 0 323468939 17760256 4169 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 4336 4169 59 122 0 4210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17344
[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 3130
/proc/meminfo: memFree=1400008/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=24112 CPUtime=25.48
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 6198 0 0 0 2543 5 0 0 25 0 1 0 323468939 24690688 5848 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519284 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 6028 5848 59 122 0 5902 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24112
[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 3130
/proc/meminfo: memFree=1392584/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=31572 CPUtime=51.07
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8062 0 0 0 5100 7 0 0 25 0 1 0 323468939 32329728 7637 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 7893 7637 67 122 0 7767 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31572
[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 3130
/proc/meminfo: memFree=1390344/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34132 CPUtime=102.27
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8666 0 0 0 10219 8 0 0 25 0 1 0 323468939 34951168 8241 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8533 8241 67 122 0 8407 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34132
Solver just ended. Dumping a history of the last processes samples
[startup+108.703 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 3130
/proc/meminfo: memFree=1389768/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34572 CPUtime=108.66
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8852 0 0 0 10858 8 0 0 25 0 1 0 323468939 35401728 8346 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519122 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8643 8346 67 122 0 8517 0
Current children cumulated CPU time (s) 108.66
Current children cumulated vsize (KiB) 34572
[startup+111.902 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 3130
/proc/meminfo: memFree=1389768/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34760 CPUtime=111.86
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8862 0 0 0 11178 8 0 0 25 0 1 0 323468939 35594240 8356 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8690 8356 67 122 0 8564 0
Current children cumulated CPU time (s) 111.86
Current children cumulated vsize (KiB) 34760
[startup+115.101 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 3130
/proc/meminfo: memFree=1389768/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34760 CPUtime=115.06
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8863 0 0 0 11498 8 0 0 25 0 1 0 323468939 35594240 8357 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8690 8357 67 122 0 8564 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 34760
[startup+116.701 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 3130
/proc/meminfo: memFree=1389768/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34760 CPUtime=116.66
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8872 0 0 0 11658 8 0 0 25 0 1 0 323468939 35594240 8366 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8690 8366 67 122 0 8564 0
Current children cumulated CPU time (s) 116.66
Current children cumulated vsize (KiB) 34760
[startup+117.503 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 3130
/proc/meminfo: memFree=1389768/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34760 CPUtime=117.46
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8873 0 0 0 11738 8 0 0 25 0 1 0 323468939 35594240 8367 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519619 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8690 8367 67 122 0 8564 0
Current children cumulated CPU time (s) 117.46
Current children cumulated vsize (KiB) 34760
[startup+117.705 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 3130
/proc/meminfo: memFree=1389768/2055920 swapFree=4183904/4192956
[pid=3129] ppid=3127 vsize=34760 CPUtime=117.66
/proc/3129/stat : 3129 (mxc) R 3127 3129 2414 0 -1 4194304 8873 0 0 0 11758 8 0 0 25 0 1 0 323468939 35594240 8367 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/3129/statm: 8690 8367 67 122 0 8564 0
Current children cumulated CPU time (s) 117.66
Current children cumulated vsize (KiB) 34760
Child status: 10
Real time (s): 117.771
CPU time (s): 117.724
CPU user time (s): 117.634
CPU system time (s): 0.089986
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 34896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.634
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8875
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= 10
involuntary context switches= 214
runsolver used 0.105983 second user time and 0.226965 second system time
The end
Begin job on node38 on Sun Mar 4 19:05:31 UTC 2007
IDJOB= 319726
IDBENCH= 20486
IDSOLVER= 107
FILE ID= node38/319726-1173035131
PBS_JOBID= 4012459
Free space on /tmp= 66513 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/grieu/vmpc_27.cnf
COMMAND LINE= /tmp/evaluation/319726-1173035131/mxc /tmp/evaluation/319726-1173035131/instance-319726-1173035131.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-319726-1173035131 -o ROOT/results/node38/solver-319726-1173035131 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/319726-1173035131/mxc /tmp/evaluation/319726-1173035131/instance-319726-1173035131.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= 10c81d53b34b643d8b1b980e2d3fede8
RANDOM SEED= 140025001
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.233
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.233
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: 1423720 kB
Buffers: 38480 kB
Cached: 521264 kB
SwapCached: 3092 kB
Active: 204240 kB
Inactive: 368504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1423720 kB
SwapTotal: 4192956 kB
SwapFree: 4183904 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 18912 kB
Slab: 45488 kB
Committed_AS: 668796 kB
PageTables: 1480 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= 66513 MiB
End job on node38 on Sun Mar 4 19:07:29 UTC 2007