0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 1 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 0
0.00/0.00 Starting TNM 2009 on core(s) 0
3.27/3.35 s SATISFIABLE
3.27/3.35 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 761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 804 -805 -806 807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 828 -829 -830 -831 -832 -833 -834 835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 868 -869 -870 -871 -872 -873 -874 875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 909 -910 -911 -912 913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 972 -973 -974 -975
3.27/3.35 v 0
3.27/3.35 solver [3] TNM 2009 answered
3.27/3.35 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3275987-1303657291/watcher-3275987-1303657291 -o /tmp/evaluation-result-3275987-1303657291/solver-3275987-1303657291 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3275987-1303657291.cnf
running on 4 cores: 0,2,4,6
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): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.84 5.97 5.90 4/180 27697
/proc/meminfo: memFree=15047608/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
[startup+0.087707 s]
/proc/loadavg: 5.84 5.97 5.90 4/180 27697
/proc/meminfo: memFree=15047608/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.10074 s]
/proc/loadavg: 5.84 5.97 5.90 4/180 27697
/proc/meminfo: memFree=15047608/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300706 s]
/proc/loadavg: 5.84 5.97 5.90 4/180 27697
/proc/meminfo: memFree=15047608/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 5128555027211747328 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700639 s]
/proc/loadavg: 5.84 5.97 5.90 4/180 27697
/proc/meminfo: memFree=15047608/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 19 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 5128555302089654272 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50049 s]
/proc/loadavg: 5.84 5.97 5.90 7/184 27701
/proc/meminfo: memFree=15034944/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 5128553377944305664 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
[pid=27698] ppid=27697 vsize=1133836 CPUtime=1.09 cores=0
/proc/27698/stat : 27698 (cryptominisat) R 27697 27697 26615 0 -1 4202496 3616 0 0 0 109 0 0 0 19 0 1 0 477327026 1161048064 2003 33554432000 4194304 4587354 140735894322336 18446744073709551615 4238763 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27698/statm: 283459 2003 327 96 0 280021 0
[pid=27699] ppid=27697 vsize=14716 CPUtime=0.14 cores=0
/proc/27699/stat : 27699 (clasp) R 27697 27697 26615 0 -1 4202496 1293 0 0 0 14 0 0 0 23 0 1 0 477327026 15069184 1019 33554432000 4194304 4785740 140736345372464 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/27699/statm: 3679 1019 340 145 0 724 0
[pid=27700] ppid=27697 vsize=457540 CPUtime=0.24 cores=0
/proc/27700/stat : 27700 (TNM) R 27697 27697 26615 0 -1 4202496 1062 0 0 0 24 0 0 0 25 0 1 0 477327026 468520960 959 33554432000 134512640 134534564 4291539232 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27700/statm: 114385 959 95 6 0 113051 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1624416
[startup+3.10119 s]
/proc/loadavg: 5.84 5.97 5.90 7/184 27701
/proc/meminfo: memFree=15029984/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 5128554202578026496 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
[pid=27698] ppid=27697 vsize=1133004 CPUtime=1.59 cores=0
/proc/27698/stat : 27698 (cryptominisat) R 27697 27697 26615 0 -1 4202496 4246 0 0 0 159 0 0 0 20 0 1 0 477327026 1160196096 2204 33554432000 4194304 4587354 140735894322336 18446744073709551615 4447928 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27698/statm: 283251 2204 337 96 0 279813 0
[pid=27699] ppid=27697 vsize=16452 CPUtime=0.69 cores=0
/proc/27699/stat : 27699 (clasp) R 27697 27697 26615 0 -1 4202496 1735 0 0 0 69 0 0 0 25 0 1 0 477327026 16846848 1461 33554432000 4194304 4785740 140736345372464 18446744073709551615 4287013 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/27699/statm: 4113 1461 340 145 0 1158 0
[pid=27700] ppid=27697 vsize=457540 CPUtime=0.79 cores=0
/proc/27700/stat : 27700 (TNM) R 27697 27697 26615 0 -1 4202496 1062 0 0 0 79 0 0 0 25 0 1 0 477327026 468520960 959 33554432000 134512640 134534564 4291539232 18446744073709551615 134526074 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27700/statm: 114385 959 95 6 0 113051 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1625320
Solver just ended. Dumping a history of the last processes samples
[startup+3.30714 s]
/proc/loadavg: 5.84 5.97 5.90 7/184 27701
/proc/meminfo: memFree=15023908/32951124 swapFree=67111524/67111528
[pid=27697] ppid=27695 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/27697/stat : 27697 (ppfolio) S 27695 27697 26615 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 477327026 18763776 394 33554432000 4194304 4287625 140734153505280 18446744073709551615 228244368911 0 0 4096 65536 5128554889772793856 0 0 17 4 0 0 0
/proc/27697/statm: 4581 394 345 23 0 91 0
[pid=27698] ppid=27697 vsize=1133772 CPUtime=1.69 cores=0
/proc/27698/stat : 27698 (cryptominisat) R 27697 27697 26615 0 -1 4202496 4504 0 0 0 169 0 0 0 20 0 1 0 477327026 1160982528 2462 33554432000 4194304 4587354 140735894322336 18446744073709551615 4365254 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27698/statm: 283443 2462 337 96 0 280005 0
[pid=27699] ppid=27697 vsize=16584 CPUtime=0.74 cores=0
/proc/27699/stat : 27699 (clasp) R 27697 27697 26615 0 -1 4202496 1779 0 0 0 74 0 0 0 25 0 1 0 477327026 16982016 1505 33554432000 4194304 4785740 140736345372464 18446744073709551615 4553344 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/27699/statm: 4146 1505 340 145 0 1191 0
[pid=27700] ppid=27697 vsize=457540 CPUtime=0.84 cores=0
/proc/27700/stat : 27700 (TNM) R 27697 27697 26615 0 -1 4202496 1062 0 0 0 84 0 0 0 25 0 1 0 477327026 468520960 959 33554432000 134512640 134534564 4291539232 18446744073709551615 134528993 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27700/statm: 114385 959 95 6 0 113051 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 1626220
Child status: 0
Real time (s): 3.35793
CPU time (s): 3.35749
CPU user time (s): 3.34249
CPU system time (s): 0.014997
CPU usage (%): 99.9867
Max. virtual memory (cumulated for all children) (KiB): 1626748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.34249
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7930
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= 46
involuntary context switches= 45
runsolver used 0.005999 second user time and 0.019996 second system time
The end
Begin job on node136 at 2011-04-24 17:01:31
IDJOB=3275987
IDBENCH=84551
IDSOLVER=1639
FILE ID=node136/3275987-1303657291
RUNJOBID= node136-1303652288-27397
PBS_JOBID= 13150712
Free space on /tmp= 72248 MiB
SOLVER NAME= ppfolio seq
BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3275987-1303657291/watcher-3275987-1303657291 -o /tmp/evaluation-result-3275987-1303657291/solver-3275987-1303657291 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3275987-1303657291.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 00e6f1cbbaaa8f43dc6451d49bfa1cef
RANDOM SEED=2094802974
node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15047772 kB
Buffers: 1702816 kB
Cached: 15567608 kB
SwapCached: 4 kB
Active: 9129744 kB
Inactive: 8209040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15047772 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 20584 kB
Writeback: 0 kB
AnonPages: 67860 kB
Mapped: 16236 kB
Slab: 501384 kB
PageTables: 5048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1827744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72240 MiB
End job on node136 at 2011-04-24 17:01:34