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 32 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 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
764.00/25.15 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10
764.00/25.15 v -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
764.00/25.15 v -21 -22 -23 -24 -25 -26 -27 -28 29 -30
764.00/25.15 v -31 -32 -33 -34 -35 -36 -37 -38 -39 40
764.00/25.15 v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50
764.00/25.15 v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
764.00/25.15 v -61 -62 -63 -64 -65 -66 -67 -68 -69 -70
764.00/25.15 v -71 -72 -73 -74 -75 -76 -77 78 -79 -80
764.00/25.15 v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
764.00/25.15 v -91 -92 -93 -94 -95 96 -97 -98 -99 -100
764.00/25.15 v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110
764.00/25.15 v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
764.00/25.15 v -121 -122 -123 -124 -125 -126 -127 -128 -129 130
764.00/25.15 v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
764.00/25.15 v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150
764.00/25.15 v -151 -152 -153 -154 -155 -156 157 -158 -159 -160
764.00/25.15 v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170
764.00/25.15 v -171 -172 -173 -174 -175 176 -177 -178 -179 -180
764.00/25.15 v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190
764.00/25.15 v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
764.00/25.15 v -201 -202 -203 -204 -205 206 -207 -208 -209 -210
764.00/25.15 v -211 -212 -213 -214 -215 -216 -217 -218 -219 -220
764.00/25.15 v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
764.00/25.15 v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240
764.00/25.15 v -241 -242 -243 -244 245 -246 -247 -248 -249 -250
764.00/25.15 v -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
764.00/25.15 v -261 -262 -263 -264 -265 -266 -267 -268 -269 -270
764.00/25.15 v -271 -272 -273 -274 -275 -276 277 -278 -279 -280
764.00/25.15 v -281 -282 -283 -284 -285 -286 -287 -288 -289 -290
764.00/25.15 v -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
764.00/25.15 v -301 -302 -303 -304 -305 -306 307 -308 -309 -310
764.00/25.15 v -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
764.00/25.15 v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330
764.00/25.15 v -331 -332 -333 -334 -335 -336 -337 338 -339 -340
764.00/25.15 v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350
764.00/25.15 v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
764.00/25.15 v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370
764.00/25.15 v -371 -372 -373 374 -375 -376 -377 -378 -379 -380
764.00/25.15 v -381 -382 -383 -384 -385 -386 387 -388 -389 -390
764.00/25.15 v -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
764.00/25.15 v -401 -402 -403 -404 -405 -406 -407 -408 -409 -410
764.00/25.15 v 411 -412 -413 -414 -415 -416 -417 -418 -419 -420
764.00/25.15 v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430
764.00/25.15 v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
764.00/25.15 v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
764.00/25.15 v -451 -452 -453 -454 -455 -456 -457 -458 -459 460
764.00/25.15 v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
764.00/25.15 v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480
764.00/25.15 v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490
764.00/25.15 v -491 492 -493 -494 -495 -496 -497 -498 -499 -500
764.00/25.15 v 501 -502 -503 -504 -505 -506 -507 -508 -509 -510
764.00/25.15 v -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
764.00/25.15 v -521 -522 -523 -524 -525 -526 -527 -528 529 -530
764.00/25.15 v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
764.00/25.15 v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550
764.00/25.15 v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
764.00/25.15 v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
764.00/25.15 v -571 -572 573 -574 -575 -576 -577 -578 -579 -580
764.00/25.15 v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590
764.00/25.15 v -591 -592 -593 -594 -595 -596 -597 -598 -599 -600
764.00/25.15 v -601 -602 -603 604 -605 -606 -607 -608 -609 -610
764.00/25.15 v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
764.00/25.15 v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630
764.00/25.15 v -631 632 -633 -634 -635 -636 -637 -638 -639 -640
764.00/25.15 v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650
764.00/25.15 v -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
764.00/25.15 v -661 -662 -663 -664 665 -666 -667 -668 -669 -670
764.00/25.15 v -671 -672 673 -674 -675 -676 -677 -678 -679 -680
764.00/25.15 v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690
764.00/25.15 v -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
764.00/25.15 v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710
764.00/25.15 v 711 -712 -713 -714 -715 -716 -717 -718 -719 -720
764.00/25.15 v -721 -722 -723 -724 -725 -726 -727 -728 729 -730
764.00/25.15 v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
764.00/25.15 v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
764.00/25.15 v -751 -752 -753 -754 755 -756 -757 -758 -759 -760
764.00/25.15 v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
764.00/25.15 v -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
764.00/25.15 v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790
764.00/25.15 v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
764.00/25.15 v 801 -802 -803 -804 -805 -806 -807 -808 -809 -810
764.00/25.15 v -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
764.00/25.15 v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830
764.00/25.15 v -831 -832 833 -834 -835 -836 -837 -838 -839 -840
764.00/25.15 v -841 0
764.00/25.16 s SATISFIABLE
764.00/25.18 solver [2] clasp 1.3.6 answered
764.00/25.18 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3347671-1306135367/watcher-3347671-1306135367 -o /tmp/evaluation-result-3347671-1306135367/solver-3347671-1306135367 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347671-1306135367.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 32.05 31.77 30.02 1/413 31057
/proc/meminfo: memFree=255354236/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
[startup+0.053079 s]
/proc/loadavg: 32.05 31.77 30.02 1/413 31057
/proc/meminfo: memFree=255354236/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.1011 s]
/proc/loadavg: 32.05 31.77 30.02 1/413 31057
/proc/meminfo: memFree=255354236/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301092 s]
/proc/loadavg: 32.05 31.77 30.02 1/413 31057
/proc/meminfo: memFree=255354236/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701096 s]
/proc/loadavg: 32.05 31.77 30.02 1/413 31057
/proc/meminfo: memFree=255354236/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50106 s]
/proc/loadavg: 32.05 31.77 30.02 6/419 31068
/proc/meminfo: memFree=255194552/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
[pid=31058] ppid=31057 vsize=40604 CPUtime=1.48 cores=0
/proc/31058/stat : 31058 (cryptominisat) R 31057 31057 31031 0 -1 4202496 6083 0 0 0 147 1 0 0 20 0 1 0 725023131 41578496 4903 268435456000 4194304 4587354 140734260199904 18446744073709551615 4237627 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31058/statm: 10151 4903 324 96 0 6713 0
[pid=31059] ppid=31057 vsize=20204 CPUtime=1.49 cores=1
/proc/31059/stat : 31059 (clasp) R 31057 31057 31031 0 -1 4202496 3196 0 0 0 148 1 0 0 20 0 1 0 725023131 20688896 2374 268435456000 4194304 4785740 140735526082704 18446744073709551615 4553090 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31059/statm: 5051 2374 338 145 0 2096 0
[pid=31060] ppid=31057 vsize=458864 CPUtime=1.48 cores=2
/proc/31060/stat : 31060 (TNM) R 31057 31057 31031 0 -1 4202496 2470 0 0 0 148 0 0 0 20 0 1 0 725023131 469876736 2368 268435456000 134512640 134534564 4286725440 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31060/statm: 114716 2368 91 6 0 113381 0
[pid=31061] ppid=31057 vsize=34208 CPUtime=1.48 cores=3
/proc/31061/stat : 31061 (march_hi) R 31057 31057 31031 0 -1 4202496 10918 0 0 0 144 4 0 0 20 0 1 0 725023131 35028992 5190 268435456000 4194304 4331988 140734392275488 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31061/statm: 8552 5190 149 34 0 6994 0
[pid=31062] ppid=31057 vsize=640740 CPUtime=4.12 cores=4-31
/proc/31062/stat : 31062 (plingeling) S 31057 31057 31031 0 -1 4202496 55888 1247 0 0 355 57 0 0 24 0 29 0 725023131 656117760 55291 268435456000 4194304 4356188 140737191025872 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/31062/statm: 160185 55291 142 40 0 158729 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 1212944
[startup+3.10212 s]
/proc/loadavg: 29.89 31.33 29.88 35/447 31097
/proc/meminfo: memFree=255154784/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
[pid=31058] ppid=31057 vsize=40604 CPUtime=3.09 cores=0
/proc/31058/stat : 31058 (cryptominisat) R 31057 31057 31031 0 -1 4202496 6321 0 0 0 308 1 0 0 25 0 1 0 725023131 41578496 5136 268435456000 4194304 4587354 140734260199904 18446744073709551615 4238307 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31058/statm: 10151 5136 325 96 0 6713 0
[pid=31059] ppid=31057 vsize=20204 CPUtime=3.09 cores=1
/proc/31059/stat : 31059 (clasp) R 31057 31057 31031 0 -1 4202496 3196 0 0 0 308 1 0 0 25 0 1 0 725023131 20688896 2374 268435456000 4194304 4785740 140735526082704 18446744073709551615 4553366 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31059/statm: 5051 2374 338 145 0 2096 0
[pid=31060] ppid=31057 vsize=463496 CPUtime=3.08 cores=2
/proc/31060/stat : 31060 (TNM) R 31057 31057 31031 0 -1 4202496 3154 0 0 0 308 0 0 0 25 0 1 0 725023131 474619904 3052 268435456000 134512640 134534564 4286725440 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31060/statm: 115874 3052 95 6 0 114539 0
[pid=31061] ppid=31057 vsize=54740 CPUtime=3.08 cores=3
/proc/31061/stat : 31061 (march_hi) R 31057 31057 31031 0 -1 4202496 15847 0 0 0 303 5 0 0 25 0 1 0 725023131 56053760 10119 268435456000 4194304 4331988 140734392275488 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31061/statm: 13685 10119 149 34 0 12127 0
[pid=31062] ppid=31057 vsize=819724 CPUtime=48.47 cores=4-31
/proc/31062/stat : 31062 (plingeling) S 31057 31057 31031 0 -1 4202496 83192 1247 0 0 4771 76 0 0 24 0 29 0 725023131 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/31062/statm: 204931 35419 157 40 0 203475 0
[pid=31062/tid=31069] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31069/stat : 31069 (plingeling) R 31057 31057 31031 0 -1 4202560 1950 1247 0 0 167 1 0 0 20 0 29 0 725023269 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31062/tid=31070] ppid=31057 vsize=819724 CPUtime=1.69 cores=4-31
/proc/31062/task/31070/stat : 31070 (plingeling) R 31057 31057 31031 0 -1 4202560 2117 1247 0 0 167 2 0 0 20 0 29 0 725023269 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31062/tid=31071] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31071/stat : 31071 (plingeling) R 31057 31057 31031 0 -1 4202560 1990 1247 0 0 166 2 0 0 19 0 29 0 725023269 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31062/tid=31072] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31072/stat : 31072 (plingeling) R 31057 31057 31031 0 -1 4202560 2111 1247 0 0 166 2 0 0 20 0 29 0 725023269 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4279954 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31062/tid=31073] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31073/stat : 31073 (plingeling) R 31057 31057 31031 0 -1 4202560 1577 1247 0 0 167 1 0 0 20 0 29 0 725023269 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31062/tid=31074] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31074/stat : 31074 (plingeling) R 31057 31057 31031 0 -1 4202560 2117 1247 0 0 166 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31062/tid=31075] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31075/stat : 31075 (plingeling) R 31057 31057 31031 0 -1 4202560 2254 1247 0 0 166 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4284208 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31062/tid=31076] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31076/stat : 31076 (plingeling) R 31057 31057 31031 0 -1 4202560 1910 1247 0 0 166 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31062/tid=31077] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31077/stat : 31077 (plingeling) R 31057 31057 31031 0 -1 4202560 1820 1247 0 0 166 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31062/tid=31078] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31078/stat : 31078 (plingeling) R 31057 31057 31031 0 -1 4202560 1717 1247 0 0 165 2 0 0 19 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31062/tid=31079] ppid=31057 vsize=819724 CPUtime=1.68 cores=4-31
/proc/31062/task/31079/stat : 31079 (plingeling) R 31057 31057 31031 0 -1 4202560 2366 1247 0 0 166 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31062/tid=31080] ppid=31057 vsize=819724 CPUtime=1.66 cores=4-31
/proc/31062/task/31080/stat : 31080 (plingeling) R 31057 31057 31031 0 -1 4202560 2333 1247 0 0 164 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31062/tid=31081] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31081/stat : 31081 (plingeling) R 31057 31057 31031 0 -1 4202560 1934 1247 0 0 165 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31062/tid=31082] ppid=31057 vsize=819724 CPUtime=1.64 cores=4-31
/proc/31062/task/31082/stat : 31082 (plingeling) R 31057 31057 31031 0 -1 4202560 1527 1247 0 0 162 2 0 0 25 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31062/tid=31083] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31083/stat : 31083 (plingeling) R 31057 31057 31031 0 -1 4202560 2083 1247 0 0 165 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31062/tid=31084] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31084/stat : 31084 (plingeling) R 31057 31057 31031 0 -1 4202560 1053 1247 0 0 165 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31062/tid=31085] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31085/stat : 31085 (plingeling) R 31057 31057 31031 0 -1 4202560 1825 1247 0 0 164 3 0 0 19 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4282013 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31062/tid=31086] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31086/stat : 31086 (plingeling) R 31057 31057 31031 0 -1 4202560 1699 1247 0 0 165 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4237477 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31062/tid=31087] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31087/stat : 31087 (plingeling) R 31057 31057 31031 0 -1 4202560 2083 1247 0 0 165 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31062/tid=31088] ppid=31057 vsize=819724 CPUtime=1.66 cores=4-31
/proc/31062/task/31088/stat : 31088 (plingeling) R 31057 31057 31031 0 -1 4202560 1823 1247 0 0 164 2 0 0 20 0 29 0 725023270 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31062/tid=31089] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31089/stat : 31089 (plingeling) R 31057 31057 31031 0 -1 4202560 1965 1247 0 0 165 2 0 0 20 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31062/tid=31090] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31090/stat : 31090 (plingeling) R 31057 31057 31031 0 -1 4202560 1699 1247 0 0 165 2 0 0 20 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31062/tid=31091] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31091/stat : 31091 (plingeling) R 31057 31057 31031 0 -1 4202560 1928 1247 0 0 165 2 0 0 20 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31062/tid=31092] ppid=31057 vsize=819724 CPUtime=1.66 cores=4-31
/proc/31062/task/31092/stat : 31092 (plingeling) R 31057 31057 31031 0 -1 4202560 1732 1247 0 0 165 1 0 0 20 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31062/tid=31093] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31093/stat : 31093 (plingeling) R 31057 31057 31031 0 -1 4202560 1797 1247 0 0 165 2 0 0 25 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31062/tid=31094] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31094/stat : 31094 (plingeling) R 31057 31057 31031 0 -1 4202560 1942 1247 0 0 165 2 0 0 20 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31062/tid=31095] ppid=31057 vsize=819724 CPUtime=1.67 cores=4-31
/proc/31062/task/31095/stat : 31095 (plingeling) R 31057 31057 31031 0 -1 4202560 1466 1247 0 0 165 2 0 0 20 0 29 0 725023271 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330856 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31062/tid=31096] ppid=31057 vsize=819724 CPUtime=1.66 cores=4-31
/proc/31062/task/31096/stat : 31096 (plingeling) R 31057 31057 31031 0 -1 4202560 2315 1247 0 0 165 1 0 0 20 0 29 0 725023272 839397376 35419 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 60.81
Current children cumulated vsize (KiB) 1417092
[startup+6.30223 s]
/proc/loadavg: 29.89 31.33 29.88 33/447 31098
/proc/meminfo: memFree=255062124/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
[pid=31058] ppid=31057 vsize=43128 CPUtime=6.28 cores=0
/proc/31058/stat : 31058 (cryptominisat) R 31057 31057 31031 0 -1 4202496 7370 0 0 0 627 1 0 0 25 0 1 0 725023131 44163072 5068 268435456000 4194304 4587354 140734260199904 18446744073709551615 4238719 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31058/statm: 10782 5068 329 96 0 7344 0
[pid=31059] ppid=31057 vsize=23360 CPUtime=6.29 cores=1
/proc/31059/stat : 31059 (clasp) R 31057 31057 31031 0 -1 4202496 3998 0 0 0 628 1 0 0 25 0 1 0 725023131 23920640 3176 268435456000 4194304 4785740 140735526082704 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31059/statm: 5840 3176 338 145 0 2885 0
[pid=31060] ppid=31057 vsize=463496 CPUtime=6.28 cores=2
/proc/31060/stat : 31060 (TNM) R 31057 31057 31031 0 -1 4202496 3154 0 0 0 628 0 0 0 25 0 1 0 725023131 474619904 3052 268435456000 134512640 134534564 4286725440 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31060/statm: 115874 3052 95 6 0 114539 0
[pid=31061] ppid=31057 vsize=95144 CPUtime=6.28 cores=3
/proc/31061/stat : 31061 (march_hi) R 31057 31057 31031 0 -1 4202496 25479 0 0 0 621 7 0 0 25 0 1 0 725023131 97427456 19751 268435456000 4194304 4331988 140734392275488 18446744073709551615 4271211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31061/statm: 23786 19751 149 34 0 22228 0
[pid=31062] ppid=31057 vsize=851600 CPUtime=137.95 cores=4-31
/proc/31062/stat : 31062 (plingeling) S 31057 31057 31031 0 -1 4202496 101436 1247 0 0 13715 80 0 0 24 0 29 0 725023131 872038400 45600 268435456000 4194304 4356188 140737191025872 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/31062/statm: 212900 45600 157 40 0 211444 0
[pid=31062/tid=31069] ppid=31057 vsize=851600 CPUtime=4.89 cores=4-31
/proc/31062/task/31069/stat : 31069 (plingeling) R 31057 31057 31031 0 -1 4202560 2174 1247 0 0 487 2 0 0 25 0 29 0 725023269 872038400 45600 268435456000 4194304 4356188 140737191025872 18446744073709551615 4280645 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31062/tid=31070] ppid=31057 vsize=851600 CPUtime=4.89 cores=4-31
/proc/31062/task/31070/stat : 31070 (plingeling) R 31057 31057 31031 0 -1 4202560 3209 1247 0 0 487 2 0 0 25 0 29 0 725023269 872038400 45600 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31062/tid=31071] ppid=31057 vsize=851600 CPUtime=4.88 cores=4-31
/proc/31062/task/31071/stat : 31071 (plingeling) R 31057 31057 31031 0 -1 4202560 2246 1247 0 0 486 2 0 0 25 0 29 0 725023269 872038400 45600 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31062/tid=31072] ppid=31057 vsize=851600 CPUtime=4.88 cores=4-31
/proc/31062/task/31072/stat : 31072 (plingeling) R 31057 31057 31031 0 -1 4202560 2303 1247 0 0 486 2 0 0 25 0 29 0 725023269 872038400 45600 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31062/tid=31073] ppid=31057 vsize=851600 CPUtime=4.89 cores=4-31
/proc/31062/task/31073/stat : 31073 (plingeling) R 31057 31057 31031 0 -1 4202560 2515 1247 0 0 487 2 0 0 25 0 29 0 725023269 872038400 45600 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31062/tid=31074] ppid=31057 vsize=851600 CPUtime=4.88 cores=4-31
################
# More data... #
################
[pid=31062/tid=31093] ppid=31057 vsize=920264 CPUtime=22.46 cores=4-31
/proc/31062/task/31093/stat : 31093 (plingeling) R 31057 31057 31031 0 -1 4202560 2181 1247 0 0 2244 2 0 0 25 0 29 0 725023271 942350336 64729 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31062/tid=31094] ppid=31057 vsize=920264 CPUtime=22.46 cores=4-31
/proc/31062/task/31094/stat : 31094 (plingeling) R 31057 31057 31031 0 -1 4202560 3070 1247 0 0 2244 2 0 0 25 0 29 0 725023271 942350336 64729 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31062/tid=31095] ppid=31057 vsize=920264 CPUtime=22.46 cores=4-31
/proc/31062/task/31095/stat : 31095 (plingeling) R 31057 31057 31031 0 -1 4202560 3722 1247 0 0 2244 2 0 0 25 0 29 0 725023271 942350336 64729 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31062/tid=31096] ppid=31057 vsize=920264 CPUtime=22.45 cores=4-31
/proc/31062/task/31096/stat : 31096 (plingeling) R 31057 31057 31031 0 -1 4202560 7087 1247 0 0 2240 5 0 0 25 0 29 0 725023272 942350336 64729 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 725.64
Current children cumulated vsize (KiB) 3369832
[startup+24.7019 s]
/proc/loadavg: 30.49 31.37 29.92 33/447 31098
/proc/meminfo: memFree=254764996/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
[pid=31058] ppid=31057 vsize=1644720 CPUtime=24.68 cores=0
/proc/31058/stat : 31058 (cryptominisat) R 31057 31057 31031 0 -1 4202496 14285 0 0 0 2466 2 0 0 25 0 1 0 725023131 1684193280 9375 268435456000 4194304 4587354 140734260199904 18446744073709551615 4238282 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31058/statm: 411180 9375 335 96 0 407742 0
[pid=31059] ppid=31057 vsize=29656 CPUtime=24.68 cores=1
/proc/31059/stat : 31059 (clasp) R 31057 31057 31031 0 -1 4202496 5498 0 0 0 2467 1 0 0 25 0 1 0 725023131 30367744 4676 268435456000 4194304 4785740 140735526082704 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31059/statm: 7414 4676 338 145 0 4459 0
[pid=31060] ppid=31057 vsize=463496 CPUtime=24.67 cores=2
/proc/31060/stat : 31060 (TNM) R 31057 31057 31031 0 -1 4202496 3154 0 0 0 2467 0 0 0 25 0 1 0 725023131 474619904 3052 268435456000 134512640 134534564 4286725440 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31060/statm: 115874 3052 95 6 0 114539 0
[pid=31061] ppid=31057 vsize=293372 CPUtime=24.68 cores=3
/proc/31061/stat : 31061 (march_hi) R 31057 31057 31031 0 -1 4202496 125814 0 0 0 2437 31 0 0 25 0 1 0 725023131 300412928 64345 268435456000 4194304 4331988 140734392275488 18446744073709551615 4226242 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31061/statm: 73343 64345 170 34 0 71785 0
[pid=31062] ppid=31057 vsize=920776 CPUtime=652.49 cores=4-31
/proc/31062/stat : 31062 (plingeling) S 31057 31057 31031 0 -1 4202496 143648 1247 0 0 65142 107 0 0 24 0 29 0 725023131 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/31062/statm: 230194 64984 157 40 0 228738 0
[pid=31062/tid=31069] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31069/stat : 31069 (plingeling) R 31057 31057 31031 0 -1 4202560 3174 1247 0 0 2326 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31062/tid=31070] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31070/stat : 31070 (plingeling) R 31057 31057 31031 0 -1 4202560 4108 1247 0 0 2326 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31062/tid=31071] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31071/stat : 31071 (plingeling) R 31057 31057 31031 0 -1 4202560 3068 1247 0 0 2325 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31062/tid=31072] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31072/stat : 31072 (plingeling) R 31057 31057 31031 0 -1 4202560 5165 1247 0 0 2322 5 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31062/tid=31073] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31073/stat : 31073 (plingeling) R 31057 31057 31031 0 -1 4202560 3572 1247 0 0 2326 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4279551 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31062/tid=31074] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31074/stat : 31074 (plingeling) R 31057 31057 31031 0 -1 4202560 3241 1247 0 0 2326 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31062/tid=31075] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31075/stat : 31075 (plingeling) R 31057 31057 31031 0 -1 4202560 4784 1247 0 0 2325 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4274291 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31062/tid=31076] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31076/stat : 31076 (plingeling) R 31057 31057 31031 0 -1 4202560 5868 1247 0 0 2323 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31062/tid=31077] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31077/stat : 31077 (plingeling) R 31057 31057 31031 0 -1 4202560 2719 1247 0 0 2325 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31062/tid=31078] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31078/stat : 31078 (plingeling) R 31057 31057 31031 0 -1 4202560 3907 1247 0 0 2324 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31062/tid=31079] ppid=31057 vsize=920776 CPUtime=23.28 cores=4-31
/proc/31062/task/31079/stat : 31079 (plingeling) R 31057 31057 31031 0 -1 4202560 4001 1247 0 0 2326 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31062/tid=31080] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31080/stat : 31080 (plingeling) R 31057 31057 31031 0 -1 4202560 5326 1247 0 0 2321 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31062/tid=31081] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31081/stat : 31081 (plingeling) R 31057 31057 31031 0 -1 4202560 3255 1247 0 0 2324 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31062/tid=31082] ppid=31057 vsize=920776 CPUtime=22.61 cores=4-31
/proc/31062/task/31082/stat : 31082 (plingeling) R 31057 31057 31031 0 -1 4202560 2508 1247 0 0 2258 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4279701 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31062/tid=31083] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31083/stat : 31083 (plingeling) R 31057 31057 31031 0 -1 4202560 4078 1247 0 0 2324 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31062/tid=31084] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31084/stat : 31084 (plingeling) R 31057 31057 31031 0 -1 4202560 4189 1247 0 0 2321 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31062/tid=31085] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31085/stat : 31085 (plingeling) R 31057 31057 31031 0 -1 4202560 4071 1247 0 0 2323 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31062/tid=31086] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31086/stat : 31086 (plingeling) R 31057 31057 31031 0 -1 4202560 3343 1247 0 0 2325 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31062/tid=31087] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31087/stat : 31087 (plingeling) R 31057 31057 31031 0 -1 4202560 3466 1247 0 0 2324 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31062/tid=31088] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31088/stat : 31088 (plingeling) R 31057 31057 31031 0 -1 4202560 6939 1247 0 0 2321 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31062/tid=31089] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31089/stat : 31089 (plingeling) R 31057 31057 31031 0 -1 4202560 3994 1247 0 0 2324 3 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31062/tid=31090] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31090/stat : 31090 (plingeling) R 31057 31057 31031 0 -1 4202560 3192 1247 0 0 2324 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31062/tid=31091] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31091/stat : 31091 (plingeling) R 31057 31057 31031 0 -1 4202560 3727 1247 0 0 2324 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31062/tid=31092] ppid=31057 vsize=920776 CPUtime=23.27 cores=4-31
/proc/31062/task/31092/stat : 31092 (plingeling) R 31057 31057 31031 0 -1 4202560 5834 1247 0 0 2322 5 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31062/tid=31093] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31093/stat : 31093 (plingeling) R 31057 31057 31031 0 -1 4202560 2181 1247 0 0 2324 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31062/tid=31094] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31094/stat : 31094 (plingeling) R 31057 31057 31031 0 -1 4202560 3070 1247 0 0 2324 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4284048 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31062/tid=31095] ppid=31057 vsize=920776 CPUtime=23.26 cores=4-31
/proc/31062/task/31095/stat : 31095 (plingeling) R 31057 31057 31031 0 -1 4202560 3722 1247 0 0 2324 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31062/tid=31096] ppid=31057 vsize=920776 CPUtime=23.25 cores=4-31
/proc/31062/task/31096/stat : 31096 (plingeling) R 31057 31057 31031 0 -1 4202560 7087 1247 0 0 2320 5 0 0 25 0 29 0 725023272 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 751.2
Current children cumulated vsize (KiB) 3370344
[startup+25.1019 s]
/proc/loadavg: 30.49 31.37 29.92 33/447 31098
/proc/meminfo: memFree=254764996/264257624 swapFree=67111528/67111528
[pid=31057] ppid=31055 vsize=18324 CPUtime=0 cores=0-31
/proc/31057/stat : 31057 (ppfolio) S 31055 31057 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725023130 18763776 386 268435456000 4194304 4287625 140733860586144 18446744073709551615 258650975999 0 0 4096 65536 9197459025984225279 0 0 17 24 0 0 0
/proc/31057/statm: 4581 386 337 23 0 91 0
[pid=31058] ppid=31057 vsize=1644720 CPUtime=25.08 cores=0
/proc/31058/stat : 31058 (cryptominisat) R 31057 31057 31031 0 -1 4202496 14330 0 0 0 2506 2 0 0 25 0 1 0 725023131 1684193280 9419 268435456000 4194304 4587354 140734260199904 18446744073709551615 4238258 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31058/statm: 411180 9419 335 96 0 407742 0
[pid=31059] ppid=31057 vsize=29656 CPUtime=25.08 cores=1
/proc/31059/stat : 31059 (clasp) R 31057 31057 31031 0 -1 4202496 5516 0 0 0 2507 1 0 0 25 0 1 0 725023131 30367744 4694 268435456000 4194304 4785740 140735526082704 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31059/statm: 7414 4694 338 145 0 4459 0
[pid=31060] ppid=31057 vsize=463496 CPUtime=25.07 cores=2
/proc/31060/stat : 31060 (TNM) R 31057 31057 31031 0 -1 4202496 3154 0 0 0 2507 0 0 0 25 0 1 0 725023131 474619904 3052 268435456000 134512640 134534564 4286725440 18446744073709551615 134530344 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31060/statm: 115874 3052 95 6 0 114539 0
[pid=31061] ppid=31057 vsize=293372 CPUtime=25.08 cores=3
/proc/31061/stat : 31061 (march_hi) R 31057 31057 31031 0 -1 4202496 125814 0 0 0 2477 31 0 0 25 0 1 0 725023131 300412928 64345 268435456000 4194304 4331988 140734392275488 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31061/statm: 73343 64345 170 34 0 71785 0
[pid=31062] ppid=31057 vsize=920776 CPUtime=663.69 cores=4-31
/proc/31062/stat : 31062 (plingeling) S 31057 31057 31031 0 -1 4202496 143648 1247 0 0 66262 107 0 0 24 0 29 0 725023131 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/31062/statm: 230194 64984 157 40 0 228738 0
[pid=31062/tid=31069] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31069/stat : 31069 (plingeling) R 31057 31057 31031 0 -1 4202560 3174 1247 0 0 2366 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31062/tid=31070] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31070/stat : 31070 (plingeling) R 31057 31057 31031 0 -1 4202560 4108 1247 0 0 2366 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31062/tid=31071] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31071/stat : 31071 (plingeling) R 31057 31057 31031 0 -1 4202560 3068 1247 0 0 2365 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31062/tid=31072] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31072/stat : 31072 (plingeling) R 31057 31057 31031 0 -1 4202560 5165 1247 0 0 2362 5 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31062/tid=31073] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31073/stat : 31073 (plingeling) R 31057 31057 31031 0 -1 4202560 3572 1247 0 0 2366 2 0 0 25 0 29 0 725023269 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31062/tid=31074] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31074/stat : 31074 (plingeling) R 31057 31057 31031 0 -1 4202560 3241 1247 0 0 2366 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331119 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31062/tid=31075] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31075/stat : 31075 (plingeling) R 31057 31057 31031 0 -1 4202560 4784 1247 0 0 2365 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31062/tid=31076] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31076/stat : 31076 (plingeling) R 31057 31057 31031 0 -1 4202560 5868 1247 0 0 2363 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331379 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31062/tid=31077] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31077/stat : 31077 (plingeling) R 31057 31057 31031 0 -1 4202560 2719 1247 0 0 2365 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31062/tid=31078] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31078/stat : 31078 (plingeling) R 31057 31057 31031 0 -1 4202560 3907 1247 0 0 2364 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31062/tid=31079] ppid=31057 vsize=920776 CPUtime=23.68 cores=4-31
/proc/31062/task/31079/stat : 31079 (plingeling) R 31057 31057 31031 0 -1 4202560 4001 1247 0 0 2366 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331861 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31062/tid=31080] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31080/stat : 31080 (plingeling) R 31057 31057 31031 0 -1 4202560 5326 1247 0 0 2361 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31062/tid=31081] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31081/stat : 31081 (plingeling) R 31057 31057 31031 0 -1 4202560 3255 1247 0 0 2364 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31062/tid=31082] ppid=31057 vsize=920776 CPUtime=23.01 cores=4-31
/proc/31062/task/31082/stat : 31082 (plingeling) R 31057 31057 31031 0 -1 4202560 2508 1247 0 0 2298 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31062/tid=31083] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31083/stat : 31083 (plingeling) R 31057 31057 31031 0 -1 4202560 4078 1247 0 0 2364 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31062/tid=31084] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31084/stat : 31084 (plingeling) R 31057 31057 31031 0 -1 4202560 4189 1247 0 0 2361 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4333180 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31062/tid=31085] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31085/stat : 31085 (plingeling) R 31057 31057 31031 0 -1 4202560 4071 1247 0 0 2363 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31062/tid=31086] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31086/stat : 31086 (plingeling) R 31057 31057 31031 0 -1 4202560 3343 1247 0 0 2365 2 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331435 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31062/tid=31087] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31087/stat : 31087 (plingeling) R 31057 31057 31031 0 -1 4202560 3466 1247 0 0 2364 3 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31062/tid=31088] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31088/stat : 31088 (plingeling) R 31057 31057 31031 0 -1 4202560 6939 1247 0 0 2361 5 0 0 25 0 29 0 725023270 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31062/tid=31089] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31089/stat : 31089 (plingeling) R 31057 31057 31031 0 -1 4202560 3994 1247 0 0 2364 3 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31062/tid=31090] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31090/stat : 31090 (plingeling) R 31057 31057 31031 0 -1 4202560 3192 1247 0 0 2364 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31062/tid=31091] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31091/stat : 31091 (plingeling) R 31057 31057 31031 0 -1 4202560 3727 1247 0 0 2364 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31062/tid=31092] ppid=31057 vsize=920776 CPUtime=23.67 cores=4-31
/proc/31062/task/31092/stat : 31092 (plingeling) R 31057 31057 31031 0 -1 4202560 5834 1247 0 0 2362 5 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31062/tid=31093] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31093/stat : 31093 (plingeling) R 31057 31057 31031 0 -1 4202560 2181 1247 0 0 2364 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31062/tid=31094] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31094/stat : 31094 (plingeling) R 31057 31057 31031 0 -1 4202560 3070 1247 0 0 2364 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4211054 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31062/tid=31095] ppid=31057 vsize=920776 CPUtime=23.66 cores=4-31
/proc/31062/task/31095/stat : 31095 (plingeling) R 31057 31057 31031 0 -1 4202560 3722 1247 0 0 2364 2 0 0 25 0 29 0 725023271 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31062/tid=31096] ppid=31057 vsize=920776 CPUtime=23.65 cores=4-31
/proc/31062/task/31096/stat : 31096 (plingeling) R 31057 31057 31031 0 -1 4202560 7087 1247 0 0 2360 5 0 0 25 0 29 0 725023272 942874624 64984 268435456000 4194304 4356188 140737191025872 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 764
Current children cumulated vsize (KiB) 3370344
Child status: 0
Real time (s): 25.1846
CPU time (s): 765.889
CPU user time (s): 764.355
CPU system time (s): 1.53377
CPU usage (%): 3041.1
Max. virtual memory (cumulated for all children) (KiB): 3382332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.355
system time used= 1.53377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294282
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= 2748
involuntary context switches= 1858
runsolver used 0.172973 second user time and 0.567913 second system time
The end
Begin job on node200 at 2011-05-23 09:22:47
IDJOB=3347671
IDBENCH=85973
IDSOLVER=1808
FILE ID=node200/3347671-1306135367
RUNJOBID= node200-1306135367-31045
PBS_JOBID= 13387834
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347671-1306135367/watcher-3347671-1306135367 -o /tmp/evaluation-result-3347671-1306135367/solver-3347671-1306135367 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347671-1306135367.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=150313416
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255354640 kB
Buffers: 458324 kB
Cached: 8039640 kB
SwapCached: 0 kB
Active: 7594000 kB
Inactive: 972856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255354640 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11708 kB
Writeback: 16 kB
AnonPages: 70260 kB
Mapped: 14304 kB
Slab: 253432 kB
PageTables: 4780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 182088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-23 09:23:12