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
6235.27/195.54 s SATISFIABLE
6235.27/195.54 v -1 2 -3 4 5 6 7
6235.27/195.54 v 8 9 -10 11 12 13 -14 -15
6235.27/195.54 v 16 17 18 -19 -20 21 -22 23
6235.27/195.54 v 24 25 -26 -27 -28 -29 30 -31
6235.27/195.54 v 32 33 34 35 36 37 38 -39
6235.27/195.54 v -40 -41 -42 -43 -44 -45 46 47
6235.27/195.54 v 48 -49 -50 -51 -52 53 54 -55
6235.27/195.54 v 56 -57 -58 -59 60 61 62 -63
6235.27/195.54 v -64 -65 -66 67 68 -69 70 -71
6235.27/195.54 v 72 73 -74 -75 -76 77 78 -79
6235.27/195.54 v 80 81 -82 83 -84 85 -86 -87
6235.27/195.54 v 88 -89 90 91 -92 -93 -94 95
6235.27/195.54 v 96 97 -98 99 -100 -101 -102 103
6235.27/195.54 v 104 105 -106 107 108 109 110 111
6235.27/195.54 v -112 113 114 -115 -116 -117 118 119
6235.27/195.54 v -120 121 -122 -123 124 125 -126 -127
6235.27/195.54 v 128 129 130 131 132 133 -134 135
6235.27/195.54 v -136 -137 138 -139 -140 -141 -142 143
6235.27/195.54 v -144 -145 -146 -147 148 149 150 151
6235.27/195.54 v 152 -153 -154 -155 -156 -157 158 -159
6235.27/195.54 v -160 -161 162 -163 164 165 -166 -167
6235.27/195.54 v -168 169 170 -171 -172 173 -174 175
6235.27/195.54 v 176 177 178 179 -180 181 -182 183
6235.27/195.54 v -184 185 186 187 188 -189 190 191
6235.27/195.54 v -192 193 194 -195 196 -197 198 199
6235.27/195.54 v 200 201 202 -203 204 -205 -206 -207
6235.27/195.54 v -208 209 210 -211 212 213 214 -215
6235.27/195.54 v 216 217 218 -219 -220 -221 -222 -223
6235.27/195.54 v 224 -225 226 -227 -228 -229 230 -231
6235.27/195.54 v -232 233 -234 -235 236 -237 238 -239
6235.27/195.54 v -240 -241 242 -243 -244 245 -246 -247
6235.27/195.54 v 248 249 -250 -251 -252 253 -254 -255
6235.27/195.54 v -256 257 -258 -259 260 261 262 -263
6235.27/195.54 v 264 -265 -266 -267 -268 269 -270 -271
6235.27/195.54 v 272 -273 274 -275 -276 -277 -278 -279
6235.27/195.54 v -280 281 282 -283 -284 285 -286 -287
6235.27/195.54 v -288 289 -290 291 -292 293 -294 -295
6235.27/195.54 v -296 297 -298 -299 -300 -301 302 -303
6235.27/195.54 v -304 305 306 307 -308 309 -310 -311
6235.27/195.54 v 312 313 -314 315 -316 317 -318 319
6235.27/195.54 v 320 321 322 323 -324 325 326 -327
6235.27/195.54 v -328 -329 -330 331 332 333 334 335
6235.27/195.54 v 336 -337 -338 -339 -340 -341 342 343
6235.27/195.54 v 344 345 -346 -347 -348 349 -350 -351
6235.27/195.54 v 352 -353 354 355 356 357 358 359
6235.27/195.54 v 360 361 -362 363 364 -365 -366 -367
6235.27/195.54 v 368 -369 -370 371 -372 -373 374 375
6235.27/195.54 v -376 377 378 -379 380 -381 382 -383
6235.27/195.54 v 384 385 -386 -387 388 -389 -390 -391
6235.27/195.54 v -392 393 394 395 -396 -397 -398 -399
6235.27/195.54 v -400 401 -402 -403 -404 -405 -406 407
6235.27/195.54 v 408 -409 -410 -411 412 413 -414 415
6235.27/195.54 v 416 -417 -418 -419 420 421 422 -423
6235.27/195.54 v -424 -425 426 -427 428 429 430 431
6235.27/195.54 v 432 433 -434 435 -436 -437 -438 439
6235.27/195.54 v 440 -441 442 443 444 445 446 447
6235.27/195.54 v -448 449 -450 -451 -452 -453 454 -455
6235.27/195.54 v 456 -457 -458 459 -460 461 -462 -463
6235.27/195.54 v -464 465 -466 467 468 -469 -470 471
6235.27/195.54 v -472 -473 474 475 -476 477 478 479
6235.27/195.54 v 480 481 482 483 484 -485 -486 487
6235.27/195.54 v 488 489 -490 491 -492 493 -494 495
6235.27/195.54 v 496 497 -498 499 500 -501 502 -503
6235.27/195.54 v -504 -505 -506 507 508 -509 510 511
6235.27/195.54 v -512 -513 514 515 -516 -517 518 -519
6235.27/195.54 v 520 -521 522 -523 -524 525 526 527
6235.27/195.54 v -528 -529 -530 531 -532 533 534 -535
6235.27/195.54 v -536 537 538 -539 540 541 -542 543
6235.27/195.54 v -544 -545 -546 547 -548 549 550 -551
6235.27/195.54 v 552 553 -554 -555 556 -557 -558 559
6235.27/195.54 v -560 561 562 -563 -564 -565 -566 567
6235.27/195.54 v -568 569 570 -571 -572 -573 574 -575
6235.27/195.54 v 576 577 578 579 580 -581 -582 -583
6235.27/195.54 v -584 585 586 -587 -588 -589 590 591
6235.27/195.54 v 592 -593 -594 595 596 597 598 -599
6235.27/195.54 v 600 601 602 -603 604 -605 606 -607
6235.27/195.54 v -608 -609 -610 -611 -612 613 614 -615
6235.27/195.54 v 616 -617 -618 -619 -620 -621 -622 623
6235.27/195.54 v -624 625 -626 -627 628 629 -630 631
6235.27/195.54 v 632 633 634 635 -636 -637 638 639
6235.27/195.54 v 640 -641 642 -643 -644 -645 646 647
6235.27/195.54 v -648 649 -650 -651 652 -653 654 -655
6235.27/195.54 v 656 657 658 -659 -660 661 -662 -663
6235.27/195.54 v 664 665 -666 -667 -668 -669 670 -671
6235.27/195.54 v -672 -673 -674 -675 676 -677 -678 679
6235.27/195.54 v -680 -681 682 -683 -684 -685 -686 687
6235.27/195.54 v 688 689 -690 691 692 693 -694 695
6235.27/195.54 v 696 -697 -698 699 700 701 -702 -703
6235.27/195.54 v 704 705 -706 -707 708
6235.27/195.54 v 0
6235.27/195.54 solver [5] plingeling 276-6264d55-100731 answered
6235.27/195.54 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-3347591-1305387881/watcher-3347591-1305387881 -o /tmp/evaluation-result-3347591-1305387881/solver-3347591-1305387881 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347591-1305387881.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: 27.16 31.00 31.72 1/413 30789
/proc/meminfo: memFree=255610280/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 20 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
[startup+0.259023 s]
/proc/loadavg: 27.16 31.00 31.72 1/413 30789
/proc/meminfo: memFree=255610280/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 20 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.450177 s]
/proc/loadavg: 27.16 31.00 31.72 1/413 30789
/proc/meminfo: memFree=255610280/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 21 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.916852 s]
/proc/loadavg: 27.16 31.00 31.72 1/413 30789
/proc/meminfo: memFree=255610280/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.00085 s]
/proc/loadavg: 27.16 31.00 31.72 1/413 30789
/proc/meminfo: memFree=255610280/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50087 s]
/proc/loadavg: 27.16 31.00 31.72 1/413 30789
/proc/meminfo: memFree=255610280/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+3.10193 s]
/proc/loadavg: 27.55 31.02 31.72 33/447 30828
/proc/meminfo: memFree=255514076/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
[pid=30790] ppid=30789 vsize=1801248 CPUtime=3.09 cores=0
/proc/30790/stat : 30790 (cryptominisat) R 30789 30789 30763 0 -1 4202496 3407 0 0 0 308 1 0 0 25 0 1 0 650274478 1844477952 2291 268435456000 4194304 4587354 140735297185616 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30790/statm: 450312 2291 336 96 0 446874 0
[pid=30791] ppid=30789 vsize=14168 CPUtime=3.08 cores=1
/proc/30791/stat : 30791 (clasp) R 30789 30789 30763 0 -1 4202496 991 0 0 0 308 0 0 0 25 0 1 0 650274478 14508032 878 268435456000 4194304 4785740 140737462434144 18446744073709551615 4549652 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30791/statm: 3542 878 338 145 0 587 0
[pid=30792] ppid=30789 vsize=455828 CPUtime=3.08 cores=2
/proc/30792/stat : 30792 (TNM) R 30789 30789 30763 0 -1 4202496 357 0 0 0 308 0 0 0 25 0 1 0 650274478 466767872 255 268435456000 134512640 134534564 4289549760 18446744073709551615 134529846 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30792/statm: 113957 255 95 6 0 112622 0
[pid=30793] ppid=30789 vsize=9236 CPUtime=3.08 cores=3
/proc/30793/stat : 30793 (march_hi) R 30789 30789 30763 0 -1 4202496 956 0 0 0 308 0 0 0 25 0 1 0 650274478 9457664 703 268435456000 4194304 4331988 140735625737104 18446744073709551615 4242612 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30793/statm: 2309 703 173 34 0 751 0
[pid=30794] ppid=30789 vsize=629908 CPUtime=84.11 cores=4-31
/proc/30794/stat : 30794 (plingeling) S 30789 30789 30763 0 -1 4202496 30232 1249 0 0 8375 36 0 0 18 0 29 0 650274478 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/30794/statm: 157477 21149 159 40 0 156021 0
[pid=30794/tid=30801] ppid=30789 vsize=629908 CPUtime=2.98 cores=4-31
/proc/30794/task/30801/stat : 30801 (plingeling) R 30789 30789 30763 0 -1 4202560 1031 1249 0 0 298 0 0 0 23 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30794/tid=30802] ppid=30789 vsize=629908 CPUtime=3.01 cores=4-31
/proc/30794/task/30802/stat : 30802 (plingeling) R 30789 30789 30763 0 -1 4202560 1027 1249 0 0 300 1 0 0 24 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332037 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30794/tid=30803] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30803/stat : 30803 (plingeling) R 30789 30789 30763 0 -1 4202560 1156 1249 0 0 299 1 0 0 24 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30794/tid=30804] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30804/stat : 30804 (plingeling) R 30789 30789 30763 0 -1 4202560 1018 1249 0 0 299 1 0 0 19 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30794/tid=30805] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30805/stat : 30805 (plingeling) R 30789 30789 30763 0 -1 4202560 921 1249 0 0 299 1 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30794/tid=30806] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30806/stat : 30806 (plingeling) R 30789 30789 30763 0 -1 4202560 1003 1249 0 0 299 1 0 0 23 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30794/tid=30807] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30807/stat : 30807 (plingeling) R 30789 30789 30763 0 -1 4202560 904 1249 0 0 299 0 0 0 23 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30794/tid=30808] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30808/stat : 30808 (plingeling) R 30789 30789 30763 0 -1 4202560 1352 1249 0 0 297 2 0 0 18 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30794/tid=30809] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30809/stat : 30809 (plingeling) R 30789 30789 30763 0 -1 4202560 749 1249 0 0 299 0 0 0 24 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30794/tid=30810] ppid=30789 vsize=629908 CPUtime=2.98 cores=4-31
/proc/30794/task/30810/stat : 30810 (plingeling) R 30789 30789 30763 0 -1 4202560 1016 1249 0 0 297 1 0 0 23 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30794/tid=30811] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30811/stat : 30811 (plingeling) R 30789 30789 30763 0 -1 4202560 855 1249 0 0 298 1 0 0 23 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332239 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30794/tid=30812] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30812/stat : 30812 (plingeling) R 30789 30789 30763 0 -1 4202560 791 1249 0 0 300 0 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30794/tid=30813] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30813/stat : 30813 (plingeling) R 30789 30789 30763 0 -1 4202560 928 1249 0 0 299 0 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30794/tid=30814] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30814/stat : 30814 (plingeling) R 30789 30789 30763 0 -1 4202560 937 1249 0 0 298 1 0 0 24 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30794/tid=30815] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30815/stat : 30815 (plingeling) R 30789 30789 30763 0 -1 4202560 1118 1249 0 0 300 0 0 0 24 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30794/tid=30816] ppid=30789 vsize=629908 CPUtime=2.98 cores=4-31
/proc/30794/task/30816/stat : 30816 (plingeling) R 30789 30789 30763 0 -1 4202560 1369 1249 0 0 296 2 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4234009 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30794/tid=30817] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30817/stat : 30817 (plingeling) R 30789 30789 30763 0 -1 4202560 809 1249 0 0 299 1 0 0 24 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30794/tid=30818] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30818/stat : 30818 (plingeling) R 30789 30789 30763 0 -1 4202560 964 1249 0 0 300 0 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30794/tid=30819] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30819/stat : 30819 (plingeling) R 30789 30789 30763 0 -1 4202560 939 1249 0 0 299 1 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331631 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30794/tid=30820] ppid=30789 vsize=629908 CPUtime=3.01 cores=4-31
/proc/30794/task/30820/stat : 30820 (plingeling) R 30789 30789 30763 0 -1 4202560 1025 1249 0 0 300 1 0 0 23 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30794/tid=30821] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30821/stat : 30821 (plingeling) R 30789 30789 30763 0 -1 4202560 1031 1249 0 0 298 1 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30794/tid=30822] ppid=30789 vsize=629908 CPUtime=2.95 cores=4-31
/proc/30794/task/30822/stat : 30822 (plingeling) R 30789 30789 30763 0 -1 4202560 1218 1249 0 0 294 1 0 0 25 0 29 0 650274485 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30794/tid=30823] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30823/stat : 30823 (plingeling) R 30789 30789 30763 0 -1 4202560 824 1249 0 0 299 1 0 0 23 0 29 0 650274486 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30794/tid=30824] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30824/stat : 30824 (plingeling) R 30789 30789 30763 0 -1 4202560 1644 1249 0 0 298 2 0 0 25 0 29 0 650274486 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30794/tid=30825] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30825/stat : 30825 (plingeling) R 30789 30789 30763 0 -1 4202560 1057 1249 0 0 299 1 0 0 20 0 29 0 650274486 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30794/tid=30826] ppid=30789 vsize=629908 CPUtime=3 cores=4-31
/proc/30794/task/30826/stat : 30826 (plingeling) R 30789 30789 30763 0 -1 4202560 879 1249 0 0 299 1 0 0 25 0 29 0 650274486 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30794/tid=30827] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30827/stat : 30827 (plingeling) R 30789 30789 30763 0 -1 4202560 895 1249 0 0 299 0 0 0 25 0 29 0 650274486 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30794/tid=30828] ppid=30789 vsize=629908 CPUtime=2.99 cores=4-31
/proc/30794/task/30828/stat : 30828 (plingeling) R 30789 30789 30763 0 -1 4202560 886 1249 0 0 298 1 0 0 25 0 29 0 650274486 645025792 21149 268435456000 4194304 4356188 140734527134464 18446744073709551615 4279435 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 96.44
Current children cumulated vsize (KiB) 2928712
[startup+6.30204 s]
/proc/loadavg: 27.55 31.02 31.72 33/447 30828
/proc/meminfo: memFree=255472724/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
[pid=30790] ppid=30789 vsize=1802564 CPUtime=6.28 cores=0
/proc/30790/stat : 30790 (cryptominisat) R 30789 30789 30763 0 -1 4202496 4702 0 0 0 627 1 0 0 25 0 1 0 650274478 1845825536 2768 268435456000 4194304 4587354 140735297185616 18446744073709551615 4357600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30790/statm: 450641 2768 336 96 0 447203 0
[pid=30791] ppid=30789 vsize=14732 CPUtime=6.28 cores=1
/proc/30791/stat : 30791 (clasp) R 30789 30789 30763 0 -1 4202496 1127 0 0 0 628 0 0 0 25 0 1 0 650274478 15085568 1014 268435456000 4194304 4785740 140737462434144 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30791/statm: 3683 1014 338 145 0 728 0
[pid=30792] ppid=30789 vsize=455828 CPUtime=6.28 cores=2
/proc/30792/stat : 30792 (TNM) R 30789 30789 30763 0 -1 4202496 357 0 0 0 628 0 0 0 25 0 1 0 650274478 466767872 255 268435456000 134512640 134534564 4289549760 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30792/statm: 113957 255 95 6 0 112622 0
[pid=30793] ppid=30789 vsize=9488 CPUtime=6.28 cores=3
/proc/30793/stat : 30793 (march_hi) R 30789 30789 30763 0 -1 4202496 1005 0 0 0 628 0 0 0 25 0 1 0 650274478 9715712 752 268435456000 4194304 4331988 140735625737104 18446744073709551615 4287579 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30793/statm: 2372 752 174 34 0 814 0
[pid=30794] ppid=30789 vsize=658664 CPUtime=173.52 cores=4-31
/proc/30794/stat : 30794 (plingeling) S 30789 30789 30763 0 -1 4202496 48493 1249 0 0 17290 62 0 0 18 0 29 0 650274478 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/30794/statm: 164666 28287 159 40 0 163210 0
[pid=30794/tid=30801] ppid=30789 vsize=658664 CPUtime=6.18 cores=4-31
/proc/30794/task/30801/stat : 30801 (plingeling) R 30789 30789 30763 0 -1 4202560 1608 1249 0 0 617 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30794/tid=30802] ppid=30789 vsize=658664 CPUtime=6.2 cores=4-31
/proc/30794/task/30802/stat : 30802 (plingeling) R 30789 30789 30763 0 -1 4202560 1764 1249 0 0 618 2 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30794/tid=30803] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30803/stat : 30803 (plingeling) R 30789 30789 30763 0 -1 4202560 1701 1249 0 0 617 2 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30794/tid=30804] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30804/stat : 30804 (plingeling) R 30789 30789 30763 0 -1 4202560 1740 1249 0 0 618 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30794/tid=30805] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30805/stat : 30805 (plingeling) R 30789 30789 30763 0 -1 4202560 1626 1249 0 0 618 1 0 0 23 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30794/tid=30806] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30806/stat : 30806 (plingeling) R 30789 30789 30763 0 -1 4202560 1388 1249 0 0 618 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30794/tid=30807] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30807/stat : 30807 (plingeling) R 30789 30789 30763 0 -1 4202560 1514 1249 0 0 618 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30794/tid=30808] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30808/stat : 30808 (plingeling) R 30789 30789 30763 0 -1 4202560 2536 1249 0 0 614 5 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331208 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30794/tid=30809] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30809/stat : 30809 (plingeling) R 30789 30789 30763 0 -1 4202560 1327 1249 0 0 618 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30794/tid=30810] ppid=30789 vsize=658664 CPUtime=6.19 cores=4-31
/proc/30794/task/30810/stat : 30810 (plingeling) R 30789 30789 30763 0 -1 4202560 1784 1249 0 0 616 3 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30794/tid=30811] ppid=30789 vsize=658664 CPUtime=6.2 cores=4-31
/proc/30794/task/30811/stat : 30811 (plingeling) R 30789 30789 30763 0 -1 4202560 1594 1249 0 0 618 2 0 0 20 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30794/tid=30812] ppid=30789 vsize=658664 CPUtime=6.2 cores=4-31
/proc/30794/task/30812/stat : 30812 (plingeling) R 30789 30789 30763 0 -1 4202560 1305 1249 0 0 619 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30794/tid=30813] ppid=30789 vsize=658664 CPUtime=6.11 cores=4-31
/proc/30794/task/30813/stat : 30813 (plingeling) R 30789 30789 30763 0 -1 4202560 1600 1249 0 0 610 1 0 0 25 0 29 0 650274485 674471936 28287 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332322 0 0 4096 17442 0 0 0 -1 31 0 0 0
################
# More data... #
################
[pid=30794/tid=30805] ppid=30789 vsize=1014000 CPUtime=194.02 cores=4-31
/proc/30794/task/30805/stat : 30805 (plingeling) R 30789 30789 30763 0 -1 4202560 21949 1249 0 0 19384 18 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30794/tid=30806] ppid=30789 vsize=1014000 CPUtime=194.05 cores=4-31
/proc/30794/task/30806/stat : 30806 (plingeling) R 30789 30789 30763 0 -1 4202560 20656 1249 0 0 19384 21 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30794/tid=30807] ppid=30789 vsize=1014000 CPUtime=194.03 cores=4-31
/proc/30794/task/30807/stat : 30807 (plingeling) R 30789 30789 30763 0 -1 4202560 21806 1249 0 0 19387 16 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30794/tid=30808] ppid=30789 vsize=1014000 CPUtime=189.62 cores=4-31
/proc/30794/task/30808/stat : 30808 (plingeling) R 30789 30789 30763 0 -1 4202560 20459 1249 0 0 18927 35 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30794/tid=30809] ppid=30789 vsize=1014000 CPUtime=194.04 cores=4-31
/proc/30794/task/30809/stat : 30809 (plingeling) R 30789 30789 30763 0 -1 4202560 21363 1249 0 0 19388 16 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30794/tid=30810] ppid=30789 vsize=1014000 CPUtime=194.04 cores=4-31
/proc/30794/task/30810/stat : 30810 (plingeling) R 30789 30789 30763 0 -1 4202560 19740 1249 0 0 19386 18 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30794/tid=30811] ppid=30789 vsize=1014000 CPUtime=194.06 cores=4-31
/proc/30794/task/30811/stat : 30811 (plingeling) R 30789 30789 30763 0 -1 4202560 21117 1249 0 0 19389 17 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30794/tid=30812] ppid=30789 vsize=1014000 CPUtime=194.07 cores=4-31
/proc/30794/task/30812/stat : 30812 (plingeling) R 30789 30789 30763 0 -1 4202560 19004 1249 0 0 19387 20 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30794/tid=30813] ppid=30789 vsize=1014000 CPUtime=193.92 cores=4-31
/proc/30794/task/30813/stat : 30813 (plingeling) R 30789 30789 30763 0 -1 4202560 20482 1249 0 0 19376 16 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30794/tid=30814] ppid=30789 vsize=1014000 CPUtime=194.07 cores=4-31
/proc/30794/task/30814/stat : 30814 (plingeling) R 30789 30789 30763 0 -1 4202560 21198 1249 0 0 19388 19 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30794/tid=30815] ppid=30789 vsize=1014000 CPUtime=194.05 cores=4-31
/proc/30794/task/30815/stat : 30815 (plingeling) R 30789 30789 30763 0 -1 4202560 20960 1249 0 0 19388 17 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30794/tid=30816] ppid=30789 vsize=1014000 CPUtime=194.02 cores=4-31
/proc/30794/task/30816/stat : 30816 (plingeling) R 30789 30789 30763 0 -1 4202560 17981 1249 0 0 19373 29 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30794/tid=30817] ppid=30789 vsize=1014000 CPUtime=193.96 cores=4-31
/proc/30794/task/30817/stat : 30817 (plingeling) R 30789 30789 30763 0 -1 4202560 20814 1249 0 0 19377 19 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30794/tid=30818] ppid=30789 vsize=1014000 CPUtime=194.04 cores=4-31
/proc/30794/task/30818/stat : 30818 (plingeling) R 30789 30789 30763 0 -1 4202560 20936 1249 0 0 19389 15 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30794/tid=30819] ppid=30789 vsize=1014000 CPUtime=194.07 cores=4-31
/proc/30794/task/30819/stat : 30819 (plingeling) R 30789 30789 30763 0 -1 4202560 19825 1249 0 0 19391 16 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30794/tid=30820] ppid=30789 vsize=1014000 CPUtime=194.07 cores=4-31
/proc/30794/task/30820/stat : 30820 (plingeling) R 30789 30789 30763 0 -1 4202560 19365 1249 0 0 19390 17 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30794/tid=30821] ppid=30789 vsize=1014000 CPUtime=194.03 cores=4-31
/proc/30794/task/30821/stat : 30821 (plingeling) R 30789 30789 30763 0 -1 4202560 21802 1249 0 0 19384 19 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4279474 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30794/tid=30822] ppid=30789 vsize=1014000 CPUtime=193.9 cores=4-31
/proc/30794/task/30822/stat : 30822 (plingeling) R 30789 30789 30763 0 -1 4202560 22118 1249 0 0 19370 20 0 0 25 0 29 0 650274485 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30794/tid=30823] ppid=30789 vsize=1014000 CPUtime=194.04 cores=4-31
/proc/30794/task/30823/stat : 30823 (plingeling) R 30789 30789 30763 0 -1 4202560 21213 1249 0 0 19381 23 0 0 25 0 29 0 650274486 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30794/tid=30824] ppid=30789 vsize=1014000 CPUtime=194.07 cores=4-31
/proc/30794/task/30824/stat : 30824 (plingeling) R 30789 30789 30763 0 -1 4202560 20593 1249 0 0 19371 36 0 0 25 0 29 0 650274486 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30794/tid=30825] ppid=30789 vsize=1014000 CPUtime=193.97 cores=4-31
/proc/30794/task/30825/stat : 30825 (plingeling) R 30789 30789 30763 0 -1 4202560 20837 1249 0 0 19382 15 0 0 25 0 29 0 650274486 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30794/tid=30826] ppid=30789 vsize=1014000 CPUtime=194.05 cores=4-31
/proc/30794/task/30826/stat : 30826 (plingeling) R 30789 30789 30763 0 -1 4202560 21714 1249 0 0 19388 17 0 0 25 0 29 0 650274486 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30794/tid=30827] ppid=30789 vsize=1014000 CPUtime=194.04 cores=4-31
/proc/30794/task/30827/stat : 30827 (plingeling) R 30789 30789 30763 0 -1 4202560 20802 1249 0 0 19390 14 0 0 25 0 29 0 650274486 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30794/tid=30828] ppid=30789 vsize=1014000 CPUtime=194.05 cores=4-31
/proc/30794/task/30828/stat : 30828 (plingeling) R 30789 30789 30763 0 -1 4202560 19675 1249 0 0 19385 20 0 0 25 0 29 0 650274486 1038336000 117057 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6204.52
Current children cumulated vsize (KiB) 3361536
[startup+195.002 s]
/proc/loadavg: 31.86 31.50 31.77 33/447 30834
/proc/meminfo: memFree=255087528/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
[pid=30790] ppid=30789 vsize=1831136 CPUtime=194.95 cores=0
/proc/30790/stat : 30790 (cryptominisat) R 30789 30789 30763 0 -1 4202496 45627 0 0 0 19478 17 0 0 25 0 1 0 650274478 1875083264 9470 268435456000 4194304 4587354 140735297185616 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30790/statm: 457784 9470 336 96 0 454346 0
[pid=30791] ppid=30789 vsize=20492 CPUtime=194.94 cores=1
/proc/30791/stat : 30791 (clasp) R 30789 30789 30763 0 -1 4202496 2481 0 0 0 19494 0 0 0 25 0 1 0 650274478 20983808 2368 268435456000 4194304 4785740 140737462434144 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30791/statm: 5123 2368 338 145 0 2168 0
[pid=30792] ppid=30789 vsize=455828 CPUtime=194.95 cores=2
/proc/30792/stat : 30792 (TNM) R 30789 30789 30763 0 -1 4202496 357 0 0 0 19495 0 0 0 25 0 1 0 650274478 466767872 255 268435456000 134512640 134534564 4289549760 18446744073709551615 134530573 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30792/statm: 113957 255 95 6 0 112622 0
[pid=30793] ppid=30789 vsize=21756 CPUtime=194.95 cores=3
/proc/30793/stat : 30793 (march_hi) R 30789 30789 30763 0 -1 4202496 3772 0 0 0 19492 3 0 0 25 0 1 0 650274478 22278144 3519 268435456000 4194304 4331988 140735625737104 18446744073709551615 4242589 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30793/statm: 5439 3519 174 34 0 3881 0
[pid=30794] ppid=30789 vsize=1014000 CPUtime=5449.56 cores=4-31
/proc/30794/stat : 30794 (plingeling) S 30789 30789 30763 0 -1 4202496 582496 1249 0 0 544396 560 0 0 18 0 23 0 650274478 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/30794/statm: 253500 117058 160 40 0 252044 0
[pid=30794/tid=30801] ppid=30789 vsize=1014000 CPUtime=194.25 cores=4-31
/proc/30794/task/30801/stat : 30801 (plingeling) R 30789 30789 30763 0 -1 4202560 20746 1249 0 0 19411 14 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30794/tid=30802] ppid=30789 vsize=1014000 CPUtime=194.82 cores=4-31
/proc/30794/task/30802/stat : 30802 (plingeling) R 30789 30789 30763 0 -1 4202560 21319 1249 0 0 19466 16 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30794/tid=30803] ppid=30789 vsize=1014000 CPUtime=194.78 cores=4-31
/proc/30794/task/30803/stat : 30803 (plingeling) R 30789 30789 30763 0 -1 4202560 20680 1249 0 0 19458 20 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30794/tid=30804] ppid=30789 vsize=1014000 CPUtime=194.52 cores=4-31
/proc/30794/task/30804/stat : 30804 (plingeling) R 30789 30789 30763 0 -1 4202560 21039 1249 0 0 19432 20 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30794/tid=30805] ppid=30789 vsize=1014000 CPUtime=194.8 cores=4-31
/proc/30794/task/30805/stat : 30805 (plingeling) R 30789 30789 30763 0 -1 4202560 21949 1249 0 0 19462 18 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30794/tid=30807] ppid=30789 vsize=1014000 CPUtime=194.81 cores=4-31
/proc/30794/task/30807/stat : 30807 (plingeling) R 30789 30789 30763 0 -1 4202560 21806 1249 0 0 19465 16 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30794/tid=30808] ppid=30789 vsize=1014000 CPUtime=190.4 cores=4-31
/proc/30794/task/30808/stat : 30808 (plingeling) R 30789 30789 30763 0 -1 4202560 20459 1249 0 0 19005 35 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30794/tid=30810] ppid=30789 vsize=1014000 CPUtime=194.82 cores=4-31
/proc/30794/task/30810/stat : 30810 (plingeling) R 30789 30789 30763 0 -1 4202560 19740 1249 0 0 19464 18 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30794/tid=30811] ppid=30789 vsize=1014000 CPUtime=194.84 cores=4-31
/proc/30794/task/30811/stat : 30811 (plingeling) R 30789 30789 30763 0 -1 4202560 21181 1249 0 0 19467 17 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30794/tid=30813] ppid=30789 vsize=1014000 CPUtime=194.7 cores=4-31
/proc/30794/task/30813/stat : 30813 (plingeling) R 30789 30789 30763 0 -1 4202560 20482 1249 0 0 19454 16 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30794/tid=30814] ppid=30789 vsize=1014000 CPUtime=194.85 cores=4-31
/proc/30794/task/30814/stat : 30814 (plingeling) R 30789 30789 30763 0 -1 4202560 21198 1249 0 0 19466 19 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30794/tid=30815] ppid=30789 vsize=1014000 CPUtime=194.83 cores=4-31
/proc/30794/task/30815/stat : 30815 (plingeling) R 30789 30789 30763 0 -1 4202560 20960 1249 0 0 19466 17 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30794/tid=30816] ppid=30789 vsize=1014000 CPUtime=194.8 cores=4-31
/proc/30794/task/30816/stat : 30816 (plingeling) R 30789 30789 30763 0 -1 4202560 17981 1249 0 0 19451 29 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30794/tid=30817] ppid=30789 vsize=1014000 CPUtime=194.74 cores=4-31
/proc/30794/task/30817/stat : 30817 (plingeling) R 30789 30789 30763 0 -1 4202560 20814 1249 0 0 19455 19 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332125 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30794/tid=30818] ppid=30789 vsize=1014000 CPUtime=194.82 cores=4-31
/proc/30794/task/30818/stat : 30818 (plingeling) R 30789 30789 30763 0 -1 4202560 20936 1249 0 0 19467 15 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4279575 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30794/tid=30819] ppid=30789 vsize=1014000 CPUtime=194.85 cores=4-31
/proc/30794/task/30819/stat : 30819 (plingeling) R 30789 30789 30763 0 -1 4202560 19825 1249 0 0 19469 16 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30794/tid=30821] ppid=30789 vsize=1014000 CPUtime=194.81 cores=4-31
/proc/30794/task/30821/stat : 30821 (plingeling) R 30789 30789 30763 0 -1 4202560 21802 1249 0 0 19462 19 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30794/tid=30822] ppid=30789 vsize=1014000 CPUtime=194.68 cores=4-31
/proc/30794/task/30822/stat : 30822 (plingeling) R 30789 30789 30763 0 -1 4202560 22246 1249 0 0 19448 20 0 0 25 0 23 0 650274485 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30794/tid=30823] ppid=30789 vsize=1014000 CPUtime=194.82 cores=4-31
/proc/30794/task/30823/stat : 30823 (plingeling) R 30789 30789 30763 0 -1 4202560 21277 1249 0 0 19459 23 0 0 25 0 23 0 650274486 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30794/tid=30824] ppid=30789 vsize=1014000 CPUtime=194.85 cores=4-31
/proc/30794/task/30824/stat : 30824 (plingeling) R 30789 30789 30763 0 -1 4202560 20593 1249 0 0 19449 36 0 0 25 0 23 0 650274486 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4332327 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30794/tid=30825] ppid=30789 vsize=1014000 CPUtime=194.75 cores=4-31
/proc/30794/task/30825/stat : 30825 (plingeling) R 30789 30789 30763 0 -1 4202560 20837 1249 0 0 19460 15 0 0 25 0 23 0 650274486 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30794/tid=30827] ppid=30789 vsize=1014000 CPUtime=194.82 cores=4-31
/proc/30794/task/30827/stat : 30827 (plingeling) R 30789 30789 30763 0 -1 4202560 20802 1249 0 0 19468 14 0 0 25 0 23 0 650274486 1038336000 117058 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 6229.35
Current children cumulated vsize (KiB) 3361536
[startup+195.42 s]
/proc/loadavg: 31.86 31.50 31.77 10/424 30834
/proc/meminfo: memFree=255086472/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
[pid=30790] ppid=30789 vsize=1831136 CPUtime=195.37 cores=0
/proc/30790/stat : 30790 (cryptominisat) R 30789 30789 30763 0 -1 4202496 45669 0 0 0 19520 17 0 0 25 0 1 0 650274478 1875083264 9509 268435456000 4194304 4587354 140735297185616 18446744073709551615 4237686 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30790/statm: 457784 9509 336 96 0 454346 0
[pid=30791] ppid=30789 vsize=20492 CPUtime=195.36 cores=1
/proc/30791/stat : 30791 (clasp) R 30789 30789 30763 0 -1 4202496 2481 0 0 0 19536 0 0 0 25 0 1 0 650274478 20983808 2368 268435456000 4194304 4785740 140737462434144 18446744073709551615 4553411 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30791/statm: 5123 2368 338 145 0 2168 0
[pid=30792] ppid=30789 vsize=455828 CPUtime=195.36 cores=2
/proc/30792/stat : 30792 (TNM) R 30789 30789 30763 0 -1 4202496 357 0 0 0 19536 0 0 0 25 0 1 0 650274478 466767872 255 268435456000 134512640 134534564 4289549760 18446744073709551615 134530414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30792/statm: 113957 255 95 6 0 112622 0
[pid=30793] ppid=30789 vsize=21756 CPUtime=195.36 cores=3
/proc/30793/stat : 30793 (march_hi) R 30789 30789 30763 0 -1 4202496 3777 0 0 0 19533 3 0 0 25 0 1 0 650274478 22278144 3524 268435456000 4194304 4331988 140735625737104 18446744073709551615 4246566 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30793/statm: 5439 3524 174 34 0 3881 0
[pid=30794] ppid=30789 vsize=973792 CPUtime=5453.38 cores=4-31
/proc/30794/stat : 30794 (plingeling) S 30789 30789 30763 0 -1 4202496 582688 1249 0 0 544778 560 0 0 18 0 3 0 650274478 997163008 117224 268435456000 4194304 4356188 140734527134464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/30794/statm: 243448 117224 160 40 0 241992 0
[pid=30794/tid=30808] ppid=30789 vsize=973792 CPUtime=190.81 cores=4-31
/proc/30794/task/30808/stat : 30808 (plingeling) R 30789 30789 30763 0 -1 4202560 20459 1249 0 0 19046 35 0 0 25 0 3 0 650274485 997163008 117224 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30794/tid=30824] ppid=30789 vsize=973792 CPUtime=195.26 cores=4-31
/proc/30794/task/30824/stat : 30824 (plingeling) R 30789 30789 30763 0 -1 4202560 20593 1249 0 0 19490 36 0 0 25 0 3 0 650274486 997163008 117224 268435456000 4194304 4356188 140734527134464 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6234.83
Current children cumulated vsize (KiB) 3321328
[startup+195.501 s]
/proc/loadavg: 31.86 31.50 31.77 10/424 30834
/proc/meminfo: memFree=255086472/264257624 swapFree=67111528/67111528
[pid=30789] ppid=30787 vsize=18324 CPUtime=0 cores=0-31
/proc/30789/stat : 30789 (ppfolio) S 30787 30789 30763 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 650274477 18763776 385 268435456000 4194304 4287625 140736061748144 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 13 0 0 0
/proc/30789/statm: 4581 385 337 23 0 91 0
[pid=30790] ppid=30789 vsize=1831136 CPUtime=195.45 cores=0
/proc/30790/stat : 30790 (cryptominisat) R 30789 30789 30763 0 -1 4202496 45677 0 0 0 19528 17 0 0 25 0 1 0 650274478 1875083264 9517 268435456000 4194304 4587354 140735297185616 18446744073709551615 4238755 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30790/statm: 457784 9517 336 96 0 454346 0
[pid=30791] ppid=30789 vsize=20492 CPUtime=195.44 cores=1
/proc/30791/stat : 30791 (clasp) R 30789 30789 30763 0 -1 4202496 2481 0 0 0 19544 0 0 0 25 0 1 0 650274478 20983808 2368 268435456000 4194304 4785740 140737462434144 18446744073709551615 4278093 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30791/statm: 5123 2368 338 145 0 2168 0
[pid=30792] ppid=30789 vsize=455828 CPUtime=195.44 cores=2
/proc/30792/stat : 30792 (TNM) R 30789 30789 30763 0 -1 4202496 357 0 0 0 19544 0 0 0 25 0 1 0 650274478 466767872 255 268435456000 134512640 134534564 4289549760 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30792/statm: 113957 255 95 6 0 112622 0
[pid=30793] ppid=30789 vsize=21756 CPUtime=195.44 cores=3
/proc/30793/stat : 30793 (march_hi) R 30789 30789 30763 0 -1 4202496 3778 0 0 0 19541 3 0 0 25 0 1 0 650274478 22278144 3525 268435456000 4194304 4331988 140735625737104 18446744073709551615 4242612 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30793/statm: 5439 3525 174 34 0 3881 0
[pid=30794] ppid=30789 vsize=689036 CPUtime=5453.5 cores=4-31
/proc/30794/stat : 30794 (plingeling) R 30789 30789 30763 0 -1 4202496 582688 1249 0 0 544789 561 0 0 16 0 1 0 650274478 705572864 98604 268435456000 4194304 4356188 140734527134464 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 20 0 0 0
/proc/30794/statm: 171234 98603 160 40 0 169778 0
Current children cumulated CPU time (s) 6235.27
Current children cumulated vsize (KiB) 3036572
Child status: 0
Real time (s): 195.544
CPU time (s): 6235.56
CPU user time (s): 6229.66
CPU system time (s): 5.8981
CPU usage (%): 3188.83
Max. virtual memory (cumulated for all children) (KiB): 3369600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6229.66
system time used= 5.8981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636783
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= 2998
involuntary context switches= 13875
runsolver used 1.05484 second user time and 4.48632 second system time
The end
Begin job on node200 at 2011-05-14 17:44:41
IDJOB=3347591
IDBENCH=83432
IDSOLVER=1808
FILE ID=node200/3347591-1305387881
RUNJOBID= node200-1305387880-30777
PBS_JOBID= 13285490
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347591-1305387881/watcher-3347591-1305387881 -o /tmp/evaluation-result-3347591-1305387881/solver-3347591-1305387881 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347591-1305387881.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=838650263
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: 255610692 kB
Buffers: 436260 kB
Cached: 7809484 kB
SwapCached: 0 kB
Active: 7382116 kB
Inactive: 932256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255610692 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10208 kB
Writeback: 0 kB
AnonPages: 69920 kB
Mapped: 14508 kB
Slab: 249972 kB
PageTables: 4520 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186756 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= 62040 MiB
End job on node200 at 2011-05-14 17:47:56