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 8 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 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
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) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7
13.17/1.79 s SATISFIABLE
13.17/1.79 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
13.17/1.79 v 0
13.17/1.79 solver [3] TNM 2009 answered
13.17/1.79 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-3275131-1304145326/watcher-3275131-1304145326 -o /tmp/evaluation-result-3275131-1304145326/solver-3275131-1304145326 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3275131-1304145326.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 4 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
[startup+0.016821 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 4 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.843618 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 6 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.900606 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 19 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 6 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.00059 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 19 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 6 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.5005 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 6 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
Solver just ended. Dumping a history of the last processes samples
[startup+1.60049 s]
/proc/loadavg: 2.42 3.47 3.74 2/170 4731
/proc/meminfo: memFree=30829076/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 6 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.70047 s]
/proc/loadavg: 2.42 3.47 3.74 9/180 4746
/proc/meminfo: memFree=30784368/32951124 swapFree=67111364/67111528
[pid=4731] ppid=4729 vsize=18324 CPUtime=0 cores=0-7
/proc/4731/stat : 4731 (ppfolio) S 4729 4731 4664 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 526130534 18763776 389 33554432000 4194304 4287625 140735521946352 18446744073709551615 228244368911 0 0 4096 65536 2511989349088755711 0 0 17 6 0 0 0
/proc/4731/statm: 4581 389 341 23 0 91 0
[pid=4732] ppid=4731 vsize=593052 CPUtime=1.69 cores=0
/proc/4732/stat : 4732 (cryptominisat) R 4731 4731 4664 0 -1 4202496 5487 0 0 0 169 0 0 0 20 0 1 0 526130534 607285248 3188 33554432000 4194304 4587354 140736364658272 18446744073709551615 4356600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4732/statm: 148263 3188 337 96 0 144825 0
[pid=4733] ppid=4731 vsize=18964 CPUtime=1.69 cores=1
/proc/4733/stat : 4733 (clasp) R 4731 4731 4664 0 -1 4202496 2475 0 0 0 169 0 0 0 20 0 1 0 526130534 19419136 2103 33554432000 4194304 4785740 140736853960832 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4733/statm: 4741 2103 340 145 0 1786 0
[pid=4734] ppid=4731 vsize=458068 CPUtime=1.7 cores=2
/proc/4734/stat : 4734 (TNM) R 4731 4731 4664 0 -1 4202496 1274 0 0 0 170 0 0 0 20 0 1 0 526130534 469061632 1171 33554432000 134512640 134534564 4291014288 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4734/statm: 114517 1171 95 6 0 113183 0
[pid=4735] ppid=4731 vsize=14056 CPUtime=1.69 cores=3
/proc/4735/stat : 4735 (march_hi) R 4731 4731 4664 0 -1 4202496 3961 0 0 0 169 0 0 0 25 0 1 0 526130534 14393344 1256 33554432000 4194304 4331988 140734400023040 18446744073709551615 4210426 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4735/statm: 3514 1256 174 34 0 1956 0
[pid=4736] ppid=4731 vsize=63372 CPUtime=6.4 cores=4-7
/proc/4736/stat : 4736 (plingeling) S 4731 4731 4664 0 -1 4202496 5417 1251 0 0 640 0 0 0 18 0 5 0 526130534 64892928 4268 33554432000 4194304 4356188 140735969097152 18446744073709551615 228256151525 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4736/statm: 15843 4268 163 40 0 14387 0
[pid=4736/tid=4743] ppid=4731 vsize=63372 CPUtime=1.67 cores=4-7
/proc/4736/task/4743/stat : 4743 (plingeling) R 4731 4731 4664 0 -1 4202560 714 1251 0 0 167 0 0 0 25 0 5 0 526130537 64892928 4268 33554432000 4194304 4356188 140735969097152 18446744073709551615 4331996 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4736/tid=4744] ppid=4731 vsize=63372 CPUtime=1.37 cores=4-7
/proc/4736/task/4744/stat : 4744 (plingeling) R 4731 4731 4664 0 -1 4202560 302 1251 0 0 137 0 0 0 23 0 5 0 526130537 64892928 4268 33554432000 4194304 4356188 140735969097152 18446744073709551615 4208854 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4736/tid=4745] ppid=4731 vsize=63372 CPUtime=1.66 cores=4-7
/proc/4736/task/4745/stat : 4745 (plingeling) R 4731 4731 4664 0 -1 4202560 786 1251 0 0 166 0 0 0 20 0 5 0 526130537 64892928 4268 33554432000 4194304 4356188 140735969097152 18446744073709551615 4331119 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4736/tid=4746] ppid=4731 vsize=63372 CPUtime=1.66 cores=4-7
/proc/4736/task/4746/stat : 4746 (plingeling) R 4731 4731 4664 0 -1 4202560 2152 1251 0 0 166 0 0 0 20 0 5 0 526130537 64892928 4268 33554432000 4194304 4356188 140735969097152 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.17
Current children cumulated vsize (KiB) 1165836
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4731 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=140914
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 7.16091
# while last known CPU time is 13.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1.7942
CPU time (s): 13.17
CPU user time (s): 13.17
CPU system time (s): 0
CPU usage (%): 734.034
Max. virtual memory (cumulated for all children) (KiB): 1165836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.14091
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15164
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= 316
involuntary context switches= 21
runsolver used 0.002999 second user time and 0.009998 second system time
The end
Begin job on node136 at 2011-04-30 08:35:26
IDJOB=3275131
IDBENCH=71487
IDSOLVER=1638
FILE ID=node136/3275131-1304145326
RUNJOBID= node136-1304145322-4678
PBS_JOBID= 13170879
Free space on /tmp= 73080 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g7.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3275131-1304145326/watcher-3275131-1304145326 -o /tmp/evaluation-result-3275131-1304145326/solver-3275131-1304145326 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3275131-1304145326.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= bd9e06c08721e6eb7b4cb4a265dbdd48
RANDOM SEED=596691254
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: 30829356 kB
Buffers: 615120 kB
Cached: 1016028 kB
SwapCached: 0 kB
Active: 183736 kB
Inactive: 1510580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30829356 kB
SwapTotal: 67111528 kB
SwapFree: 67111364 kB
Dirty: 10480 kB
Writeback: 8 kB
AnonPages: 63792 kB
Mapped: 14736 kB
Slab: 361104 kB
PageTables: 4452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 188184 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= 73072 MiB
End job on node136 at 2011-04-30 08:35:28