740.52/23.57 s SATISFIABLE
740.52/23.57 v -1 2 -3 4 5 6 7
740.52/23.57 v 8 9 -10 11 12 13 -14 -15
740.52/23.57 v 16 17 18 -19 -20 21 -22 23
740.52/23.57 v 24 25 -26 -27 -28 -29 30 -31
740.52/23.57 v 32 33 34 35 36 37 38 -39
740.52/23.57 v -40 -41 -42 -43 -44 -45 46 47
740.52/23.57 v 48 -49 -50 -51 -52 53 54 -55
740.52/23.57 v 56 -57 -58 -59 60 61 62 -63
740.52/23.57 v -64 -65 -66 67 68 -69 70 -71
740.52/23.57 v 72 73 -74 -75 -76 77 78 -79
740.52/23.57 v 80 81 -82 83 -84 85 -86 -87
740.52/23.57 v 88 -89 90 91 -92 -93 -94 95
740.52/23.57 v 96 97 -98 99 -100 -101 -102 103
740.52/23.57 v 104 105 -106 107 108 109 110 111
740.52/23.57 v -112 113 114 -115 -116 -117 118 119
740.52/23.57 v -120 121 -122 -123 124 125 -126 -127
740.52/23.57 v 128 129 130 131 132 133 -134 135
740.52/23.57 v -136 -137 138 -139 -140 -141 -142 143
740.52/23.57 v -144 -145 -146 -147 148 149 150 151
740.52/23.57 v 152 -153 -154 -155 -156 -157 158 -159
740.52/23.57 v -160 -161 162 -163 164 165 -166 -167
740.52/23.57 v -168 169 170 -171 -172 173 -174 175
740.52/23.57 v 176 177 178 179 -180 181 -182 183
740.52/23.57 v -184 185 186 187 188 -189 190 191
740.52/23.57 v -192 193 194 -195 196 -197 198 199
740.52/23.57 v 200 201 202 -203 204 -205 -206 -207
740.52/23.57 v -208 209 210 -211 212 213 214 -215
740.52/23.57 v 216 217 218 -219 -220 -221 -222 -223
740.52/23.57 v 224 -225 226 -227 -228 -229 230 -231
740.52/23.57 v -232 233 -234 -235 236 -237 238 -239
740.52/23.57 v -240 -241 242 -243 -244 245 -246 -247
740.52/23.57 v 248 249 -250 -251 -252 253 -254 -255
740.52/23.57 v -256 257 -258 -259 260 261 262 -263
740.52/23.57 v 264 -265 -266 -267 -268 269 -270 -271
740.52/23.57 v 272 -273 274 -275 -276 -277 -278 -279
740.52/23.57 v -280 281 282 -283 -284 285 -286 -287
740.52/23.57 v -288 289 -290 291 -292 293 -294 -295
740.52/23.57 v -296 297 -298 -299 -300 -301 302 -303
740.52/23.57 v -304 305 306 307 -308 309 -310 -311
740.52/23.57 v 312 313 -314 315 -316 317 -318 319
740.52/23.57 v 320 321 322 323 -324 325 326 -327
740.52/23.57 v -328 -329 -330 331 332 333 334 335
740.52/23.57 v 336 -337 -338 -339 -340 -341 342 343
740.52/23.57 v 344 345 -346 -347 -348 349 -350 -351
740.52/23.57 v 352 -353 354 355 356 357 358 359
740.52/23.57 v 360 361 -362 363 364 -365 -366 -367
740.52/23.57 v 368 -369 -370 371 -372 -373 374 375
740.52/23.57 v -376 377 378 -379 380 -381 382 -383
740.52/23.57 v 384 385 -386 -387 388 -389 -390 -391
740.52/23.57 v -392 393 394 395 -396 -397 -398 -399
740.52/23.57 v -400 401 -402 -403 -404 -405 -406 407
740.52/23.57 v 408 -409 -410 -411 412 413 -414 415
740.52/23.57 v 416 -417 -418 -419 420 421 422 -423
740.52/23.57 v -424 -425 426 -427 428 429 430 431
740.52/23.57 v 432 433 -434 435 -436 -437 -438 439
740.52/23.57 v 440 -441 442 443 444 445 446 447
740.52/23.57 v -448 449 -450 -451 -452 -453 454 -455
740.52/23.57 v 456 -457 -458 459 -460 461 -462 -463
740.52/23.57 v -464 465 -466 467 468 -469 -470 471
740.52/23.57 v -472 -473 474 475 -476 477 478 479
740.52/23.57 v 480 481 482 483 484 -485 -486 487
740.52/23.57 v 488 489 -490 491 -492 493 -494 495
740.52/23.57 v 496 497 -498 499 500 -501 502 -503
740.52/23.57 v -504 -505 -506 507 508 -509 510 511
740.52/23.57 v -512 -513 514 515 -516 -517 518 -519
740.52/23.57 v 520 -521 522 -523 -524 525 526 527
740.52/23.57 v -528 -529 -530 531 -532 533 534 -535
740.52/23.57 v -536 537 538 -539 540 541 -542 543
740.52/23.57 v -544 -545 -546 547 -548 549 550 -551
740.52/23.57 v 552 553 -554 -555 556 -557 -558 559
740.52/23.57 v -560 561 562 -563 -564 -565 -566 567
740.52/23.57 v -568 569 570 -571 -572 -573 574 -575
740.52/23.57 v 576 577 578 579 580 -581 -582 -583
740.52/23.57 v -584 585 586 -587 -588 -589 590 591
740.52/23.57 v 592 -593 -594 595 596 597 598 -599
740.52/23.57 v 600 601 602 -603 604 -605 606 -607
740.52/23.57 v -608 -609 -610 -611 -612 613 614 -615
740.52/23.57 v 616 -617 -618 -619 -620 -621 -622 623
740.52/23.57 v -624 625 -626 -627 628 629 -630 631
740.52/23.57 v 632 633 634 635 -636 -637 638 639
740.52/23.57 v 640 -641 642 -643 -644 -645 646 647
740.52/23.57 v -648 649 -650 -651 652 -653 654 -655
740.52/23.57 v 656 657 658 -659 -660 661 -662 -663
740.52/23.57 v 664 665 -666 -667 -668 -669 670 -671
740.52/23.57 v -672 -673 -674 -675 676 -677 -678 679
740.52/23.57 v -680 -681 682 -683 -684 -685 -686 687
740.52/23.57 v 688 689 -690 691 692 693 -694 695
740.52/23.57 v 696 -697 -698 699 700 701 -702 -703
740.52/23.57 v 704 705 -706 -707 708
740.52/23.57 v 0
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-3372768-1306045988/watcher-3372768-1306045988 -o /tmp/evaluation-result-3372768-1306045988/solver-3372768-1306045988 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372768-1306045988.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: 29.44 31.50 31.87 1/413 23827
/proc/meminfo: memFree=255501708/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=11788 CPUtime=0.03 cores=0-31
/proc/23827/stat : 23827 (plingeling) R 23825 23827 23801 0 -1 4202496 1022 1242 0 0 2 0 0 1 23 0 1 0 716085197 12070912 954 268435456000 4194304 4417452 140735576567504 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23827/statm: 2947 954 145 55 0 833 0
[startup+0.118555 s]
/proc/loadavg: 29.44 31.50 31.87 1/413 23827
/proc/meminfo: memFree=255501708/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=610660 CPUtime=8.74 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 4149 1242 0 0 871 2 0 1 20 0 33 0 716085197 625315840 3900 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 152665 3900 175 55 0 150551 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 610660
[startup+0.448115 s]
/proc/loadavg: 29.44 31.50 31.87 1/413 23827
/proc/meminfo: memFree=255501708/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=615564 CPUtime=13.46 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 6892 1242 0 0 1341 4 0 1 20 0 33 0 716085197 630337536 6168 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 154491 6227 175 55 0 152377 0
Current children cumulated CPU time (s) 13.46
Current children cumulated vsize (KiB) 615564
[startup+0.625994 s]
/proc/loadavg: 29.44 31.50 31.87 1/413 23827
/proc/meminfo: memFree=255501708/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=621088 CPUtime=17.31 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 8486 1242 0 0 1723 7 0 1 20 0 33 0 716085197 635994112 7043 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 155463 7192 175 55 0 153349 0
Current children cumulated CPU time (s) 17.31
Current children cumulated vsize (KiB) 621088
[startup+0.762095 s]
/proc/loadavg: 29.44 31.50 31.87 1/413 23827
/proc/meminfo: memFree=255501708/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=622396 CPUtime=21.62 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 10407 1242 0 0 2151 10 0 1 20 0 33 0 716085197 637333504 7374 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 155599 7374 175 55 0 153485 0
Current children cumulated CPU time (s) 21.62
Current children cumulated vsize (KiB) 622396
[startup+1.52094 s]
/proc/loadavg: 29.44 31.50 31.87 33/446 23865
/proc/meminfo: memFree=255450100/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=641672 CPUtime=45.6 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 27205 1242 0 0 4524 35 0 1 20 0 33 0 716085197 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 160418 12214 175 55 0 158304 0
[pid=23827/tid=23834] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23834/stat : 23834 (plingeling) R 23825 23827 23801 0 -1 4202560 752 1242 0 0 142 0 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23827/tid=23835] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23835/stat : 23835 (plingeling) R 23825 23827 23801 0 -1 4202560 688 1242 0 0 142 0 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23827/tid=23836] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23836/stat : 23836 (plingeling) D 23825 23827 23801 0 -1 4202560 997 1242 0 0 140 1 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23827/tid=23837] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23837/stat : 23837 (plingeling) R 23825 23827 23801 0 -1 4202560 660 1242 0 0 142 0 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23827/tid=23838] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23838/stat : 23838 (plingeling) R 23825 23827 23801 0 -1 4202560 822 1242 0 0 141 0 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23827/tid=23839] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23839/stat : 23839 (plingeling) R 23825 23827 23801 0 -1 4202560 661 1242 0 0 141 0 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23827/tid=23840] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23840/stat : 23840 (plingeling) R 23825 23827 23801 0 -1 4202560 1117 1242 0 0 141 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23827/tid=23841] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23841/stat : 23841 (plingeling) R 23825 23827 23801 0 -1 4202560 792 1242 0 0 141 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23827/tid=23842] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23842/stat : 23842 (plingeling) R 23825 23827 23801 0 -1 4202560 637 1242 0 0 142 0 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23827/tid=23843] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23843/stat : 23843 (plingeling) R 23825 23827 23801 0 -1 4202560 891 1242 0 0 141 0 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23827/tid=23844] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23844/stat : 23844 (plingeling) R 23825 23827 23801 0 -1 4202560 511 1242 0 0 141 0 0 1 20 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23827/tid=23845] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23845/stat : 23845 (plingeling) R 23825 23827 23801 0 -1 4202560 542 1242 0 0 142 0 0 1 20 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4357007 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23827/tid=23846] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23846/stat : 23846 (plingeling) R 23825 23827 23801 0 -1 4202560 636 1242 0 0 141 1 0 1 20 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365050 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23827/tid=23847] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23847/stat : 23847 (plingeling) R 23825 23827 23801 0 -1 4202560 677 1242 0 0 142 0 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23827/tid=23848] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23848/stat : 23848 (plingeling) R 23825 23827 23801 0 -1 4202560 1047 1242 0 0 140 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365221 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23827/tid=23849] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23849/stat : 23849 (plingeling) R 23825 23827 23801 0 -1 4202560 957 1242 0 0 141 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23827/tid=23850] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23850/stat : 23850 (plingeling) R 23825 23827 23801 0 -1 4202560 817 1242 0 0 141 0 0 1 20 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23827/tid=23851] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23851/stat : 23851 (plingeling) R 23825 23827 23801 0 -1 4202560 848 1242 0 0 141 1 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4357056 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23827/tid=23852] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23852/stat : 23852 (plingeling) R 23825 23827 23801 0 -1 4202560 877 1242 0 0 140 1 0 1 25 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4263247 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23827/tid=23853] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23853/stat : 23853 (plingeling) R 23825 23827 23801 0 -1 4202560 832 1242 0 0 141 1 0 1 20 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23827/tid=23854] ppid=23825 vsize=641672 CPUtime=1.43 cores=0-31
/proc/23827/task/23854/stat : 23854 (plingeling) R 23825 23827 23801 0 -1 4202560 747 1242 0 0 141 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23827/tid=23855] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23855/stat : 23855 (plingeling) R 23825 23827 23801 0 -1 4202560 467 1242 0 0 141 0 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23827/tid=23856] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23856/stat : 23856 (plingeling) R 23825 23827 23801 0 -1 4202560 915 1242 0 0 140 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23827/tid=23857] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23857/stat : 23857 (plingeling) R 23825 23827 23801 0 -1 4202560 740 1242 0 0 140 1 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23827/tid=23858] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23858/stat : 23858 (plingeling) R 23825 23827 23801 0 -1 4202560 791 1242 0 0 140 1 0 1 25 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23827/tid=23859] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23859/stat : 23859 (plingeling) R 23825 23827 23801 0 -1 4202560 808 1242 0 0 140 1 0 1 25 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364495 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23827/tid=23860] ppid=23825 vsize=641672 CPUtime=1.4 cores=0-31
/proc/23827/task/23860/stat : 23860 (plingeling) R 23825 23827 23801 0 -1 4202560 836 1242 0 0 138 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23827/tid=23861] ppid=23825 vsize=641672 CPUtime=1.41 cores=0-31
/proc/23827/task/23861/stat : 23861 (plingeling) R 23825 23827 23801 0 -1 4202560 643 1242 0 0 140 0 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4354053 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23827/tid=23862] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23862/stat : 23862 (plingeling) R 23825 23827 23801 0 -1 4202560 817 1242 0 0 141 0 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23827/tid=23863] ppid=23825 vsize=641672 CPUtime=1.42 cores=0-31
/proc/23827/task/23863/stat : 23863 (plingeling) R 23825 23827 23801 0 -1 4202560 863 1242 0 0 140 1 0 1 19 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4354332 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23827/tid=23864] ppid=23825 vsize=641672 CPUtime=1.41 cores=0-31
/proc/23827/task/23864/stat : 23864 (plingeling) R 23825 23827 23801 0 -1 4202560 873 1242 0 0 139 1 0 1 18 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4356916 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23827/tid=23865] ppid=23825 vsize=641672 CPUtime=1.39 cores=0-31
/proc/23827/task/23865/stat : 23865 (plingeling) R 23825 23827 23801 0 -1 4202560 767 1242 0 0 138 0 0 1 25 0 33 0 716085205 657072128 12214 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 45.6
Current children cumulated vsize (KiB) 641672
[startup+3.102 s]
/proc/loadavg: 29.64 31.50 31.87 33/446 23865
/proc/meminfo: memFree=255428680/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=670804 CPUtime=95.59 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 60119 1242 0 0 9473 85 0 1 20 0 33 0 716085197 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 167701 19543 175 55 0 165587 0
[pid=23827/tid=23834] ppid=23825 vsize=670804 CPUtime=3.01 cores=0-31
/proc/23827/task/23834/stat : 23834 (plingeling) R 23825 23827 23801 0 -1 4202560 1874 1242 0 0 297 3 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23827/tid=23835] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23835/stat : 23835 (plingeling) R 23825 23827 23801 0 -1 4202560 1777 1242 0 0 297 1 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23827/tid=23836] ppid=23825 vsize=670804 CPUtime=2.96 cores=0-31
/proc/23827/task/23836/stat : 23836 (plingeling) R 23825 23827 23801 0 -1 4202560 2236 1242 0 0 293 2 0 1 19 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4357714 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23827/tid=23837] ppid=23825 vsize=670804 CPUtime=3 cores=0-31
/proc/23827/task/23837/stat : 23837 (plingeling) R 23825 23827 23801 0 -1 4202560 1460 1242 0 0 297 2 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23827/tid=23838] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23838/stat : 23838 (plingeling) R 23825 23827 23801 0 -1 4202560 1767 1242 0 0 296 2 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23827/tid=23839] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23839/stat : 23839 (plingeling) R 23825 23827 23801 0 -1 4202560 1675 1242 0 0 297 1 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4251172 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23827/tid=23840] ppid=23825 vsize=670804 CPUtime=3 cores=0-31
/proc/23827/task/23840/stat : 23840 (plingeling) R 23825 23827 23801 0 -1 4202560 2141 1242 0 0 297 2 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250524 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23827/tid=23841] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23841/stat : 23841 (plingeling) R 23825 23827 23801 0 -1 4202560 2200 1242 0 0 296 2 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23827/tid=23842] ppid=23825 vsize=670804 CPUtime=3 cores=0-31
/proc/23827/task/23842/stat : 23842 (plingeling) R 23825 23827 23801 0 -1 4202560 1612 1242 0 0 298 1 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23827/tid=23843] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23843/stat : 23843 (plingeling) R 23825 23827 23801 0 -1 4202560 1995 1242 0 0 295 3 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23827/tid=23844] ppid=23825 vsize=670804 CPUtime=3 cores=0-31
/proc/23827/task/23844/stat : 23844 (plingeling) R 23825 23827 23801 0 -1 4202560 1351 1242 0 0 297 2 0 1 23 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23827/tid=23845] ppid=23825 vsize=670804 CPUtime=3.01 cores=0-31
/proc/23827/task/23845/stat : 23845 (plingeling) R 23825 23827 23801 0 -1 4202560 1394 1242 0 0 298 2 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23827/tid=23846] ppid=23825 vsize=670804 CPUtime=3 cores=0-31
/proc/23827/task/23846/stat : 23846 (plingeling) R 23825 23827 23801 0 -1 4202560 1488 1242 0 0 296 3 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23827/tid=23847] ppid=23825 vsize=670804 CPUtime=3 cores=0-31
/proc/23827/task/23847/stat : 23847 (plingeling) R 23825 23827 23801 0 -1 4202560 1614 1242 0 0 297 2 0 1 24 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23827/tid=23848] ppid=23825 vsize=670804 CPUtime=2.98 cores=0-31
/proc/23827/task/23848/stat : 23848 (plingeling) R 23825 23827 23801 0 -1 4202560 2162 1242 0 0 294 3 0 1 19 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4357027 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23827/tid=23849] ppid=23825 vsize=670804 CPUtime=2.98 cores=0-31
/proc/23827/task/23849/stat : 23849 (plingeling) R 23825 23827 23801 0 -1 4202560 2029 1242 0 0 294 3 0 1 19 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23827/tid=23850] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23850/stat : 23850 (plingeling) R 23825 23827 23801 0 -1 4202560 1949 1242 0 0 296 2 0 1 19 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23827/tid=23851] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23851/stat : 23851 (plingeling) R 23825 23827 23801 0 -1 4202560 1926 1242 0 0 295 3 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23827/tid=23852] ppid=23825 vsize=670804 CPUtime=2.98 cores=0-31
/proc/23827/task/23852/stat : 23852 (plingeling) R 23825 23827 23801 0 -1 4202560 1529 1242 0 0 296 1 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4352317 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23827/tid=23853] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23853/stat : 23853 (plingeling) R 23825 23827 23801 0 -1 4202560 1807 1242 0 0 296 2 0 1 24 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23827/tid=23854] ppid=23825 vsize=670804 CPUtime=2.98 cores=0-31
/proc/23827/task/23854/stat : 23854 (plingeling) R 23825 23827 23801 0 -1 4202560 1673 1242 0 0 295 2 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23827/tid=23855] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23855/stat : 23855 (plingeling) R 23825 23827 23801 0 -1 4202560 1806 1242 0 0 296 2 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 18446744073699065927 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23827/tid=23856] ppid=23825 vsize=670804 CPUtime=2.98 cores=0-31
/proc/23827/task/23856/stat : 23856 (plingeling) R 23825 23827 23801 0 -1 4202560 2024 1242 0 0 295 2 0 1 21 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23827/tid=23857] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
/proc/23827/task/23857/stat : 23857 (plingeling) R 23825 23827 23801 0 -1 4202560 1552 1242 0 0 297 1 0 1 23 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23827/tid=23858] ppid=23825 vsize=670804 CPUtime=2.97 cores=0-31
/proc/23827/task/23858/stat : 23858 (plingeling) R 23825 23827 23801 0 -1 4202560 2006 1242 0 0 294 2 0 1 18 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23827/tid=23859] ppid=23825 vsize=670804 CPUtime=2.92 cores=0-31
/proc/23827/task/23859/stat : 23859 (plingeling) R 23825 23827 23801 0 -1 4202560 1873 1242 0 0 288 3 0 1 25 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250654 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23827/tid=23860] ppid=23825 vsize=670804 CPUtime=2.95 cores=0-31
/proc/23827/task/23860/stat : 23860 (plingeling) R 23825 23827 23801 0 -1 4202560 2104 1242 0 0 291 3 0 1 19 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23827/tid=23861] ppid=23825 vsize=670804 CPUtime=2.98 cores=0-31
/proc/23827/task/23861/stat : 23861 (plingeling) R 23825 23827 23801 0 -1 4202560 1551 1242 0 0 295 2 0 1 20 0 33 0 716085205 686903296 19543 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364805 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23827/tid=23862] ppid=23825 vsize=670804 CPUtime=2.99 cores=0-31
################
# More data... #
################
/proc/23827/task/23860/stat : 23860 (plingeling) R 23825 23827 23801 0 -1 4202560 8392 1242 0 0 2061 15 0 1 25 0 33 0 716085205 800055296 47477 268435456000 4194304 4417452 140735576567504 18446744073709551615 4356884 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23827/tid=23861] ppid=23825 vsize=781304 CPUtime=20.88 cores=0-31
/proc/23827/task/23861/stat : 23861 (plingeling) R 23825 23827 23801 0 -1 4202560 10586 1242 0 0 2071 16 0 1 18 0 33 0 716085205 800055296 47477 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23827/tid=23862] ppid=23825 vsize=781304 CPUtime=20.87 cores=0-31
/proc/23827/task/23862/stat : 23862 (plingeling) R 23825 23827 23801 0 -1 4202560 9022 1242 0 0 2076 10 0 1 25 0 33 0 716085205 800055296 47477 268435456000 4194304 4417452 140735576567504 18446744073709551615 4357162 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23827/tid=23863] ppid=23825 vsize=781304 CPUtime=20.9 cores=0-31
/proc/23827/task/23863/stat : 23863 (plingeling) R 23825 23827 23801 0 -1 4202560 11416 1242 0 0 2071 18 0 1 25 0 33 0 716085205 800055296 47477 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23827/tid=23864] ppid=23825 vsize=781304 CPUtime=20.88 cores=0-31
/proc/23827/task/23864/stat : 23864 (plingeling) R 23825 23827 23801 0 -1 4202560 8962 1242 0 0 2074 13 0 1 25 0 33 0 716085205 800055296 47477 268435456000 4194304 4417452 140735576567504 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23827/tid=23865] ppid=23825 vsize=781304 CPUtime=20.86 cores=0-31
/proc/23827/task/23865/stat : 23865 (plingeling) R 23825 23827 23801 0 -1 4202560 9658 1242 0 0 2071 14 0 1 25 0 33 0 716085205 800055296 47477 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 668.32
Current children cumulated vsize (KiB) 781304
[startup+22.7017 s]
/proc/loadavg: 30.31 31.54 31.87 33/446 23867
/proc/meminfo: memFree=255308208/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=785852 CPUtime=719.2 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 325030 1242 0 0 71436 483 0 1 20 0 33 0 716085197 804712448 48747 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 196463 48747 175 55 0 194349 0
[pid=23827/tid=23834] ppid=23825 vsize=785852 CPUtime=22.22 cores=0-31
/proc/23827/task/23834/stat : 23834 (plingeling) R 23825 23827 23801 0 -1 4202560 10657 1242 0 0 2207 14 0 1 25 0 33 0 716085205 804712448 48747 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23827/tid=23835] ppid=23825 vsize=785852 CPUtime=22.54 cores=0-31
/proc/23827/task/23835/stat : 23835 (plingeling) R 23825 23827 23801 0 -1 4202560 9495 1242 0 0 2239 14 0 1 25 0 33 0 716085205 804712448 48747 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23827/tid=23836] ppid=23825 vsize=785944 CPUtime=22.42 cores=0-31
/proc/23827/task/23836/stat : 23836 (plingeling) R 23825 23827 23801 0 -1 4202560 11276 1242 0 0 2227 14 0 1 25 0 33 0 716085205 804806656 48755 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23827/tid=23837] ppid=23825 vsize=785944 CPUtime=22.45 cores=0-31
/proc/23827/task/23837/stat : 23837 (plingeling) R 23825 23827 23801 0 -1 4202560 10627 1242 0 0 2229 15 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23827/tid=23838] ppid=23825 vsize=785944 CPUtime=22.51 cores=0-31
/proc/23827/task/23838/stat : 23838 (plingeling) R 23825 23827 23801 0 -1 4202560 10660 1242 0 0 2232 18 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23827/tid=23839] ppid=23825 vsize=785944 CPUtime=22.52 cores=0-31
/proc/23827/task/23839/stat : 23839 (plingeling) R 23825 23827 23801 0 -1 4202560 8667 1242 0 0 2242 9 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23827/tid=23840] ppid=23825 vsize=785944 CPUtime=22.51 cores=0-31
/proc/23827/task/23840/stat : 23840 (plingeling) R 23825 23827 23801 0 -1 4202560 9910 1242 0 0 2238 12 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23827/tid=23841] ppid=23825 vsize=785944 CPUtime=22.48 cores=0-31
/proc/23827/task/23841/stat : 23841 (plingeling) R 23825 23827 23801 0 -1 4202560 9565 1242 0 0 2233 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364440 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23827/tid=23842] ppid=23825 vsize=785944 CPUtime=22.52 cores=0-31
/proc/23827/task/23842/stat : 23842 (plingeling) R 23825 23827 23801 0 -1 4202560 10255 1242 0 0 2237 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23827/tid=23843] ppid=23825 vsize=785944 CPUtime=22.53 cores=0-31
/proc/23827/task/23843/stat : 23843 (plingeling) R 23825 23827 23801 0 -1 4202560 10888 1242 0 0 2236 16 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23827/tid=23844] ppid=23825 vsize=785944 CPUtime=22.55 cores=0-31
/proc/23827/task/23844/stat : 23844 (plingeling) R 23825 23827 23801 0 -1 4202560 8740 1242 0 0 2241 13 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23827/tid=23845] ppid=23825 vsize=785944 CPUtime=22.55 cores=0-31
/proc/23827/task/23845/stat : 23845 (plingeling) R 23825 23827 23801 0 -1 4202560 9525 1242 0 0 2243 11 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23827/tid=23846] ppid=23825 vsize=785944 CPUtime=22.52 cores=0-31
/proc/23827/task/23846/stat : 23846 (plingeling) R 23825 23827 23801 0 -1 4202560 11308 1242 0 0 2234 17 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250938 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23827/tid=23847] ppid=23825 vsize=785944 CPUtime=22.52 cores=0-31
/proc/23827/task/23847/stat : 23847 (plingeling) R 23825 23827 23801 0 -1 4202560 9308 1242 0 0 2237 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23827/tid=23848] ppid=23825 vsize=785944 CPUtime=22.49 cores=0-31
/proc/23827/task/23848/stat : 23848 (plingeling) R 23825 23827 23801 0 -1 4202560 9545 1242 0 0 2233 15 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23827/tid=23849] ppid=23825 vsize=785944 CPUtime=22.48 cores=0-31
/proc/23827/task/23849/stat : 23849 (plingeling) R 23825 23827 23801 0 -1 4202560 11550 1242 0 0 2228 19 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23827/tid=23850] ppid=23825 vsize=785944 CPUtime=22.51 cores=0-31
/proc/23827/task/23850/stat : 23850 (plingeling) R 23825 23827 23801 0 -1 4202560 10470 1242 0 0 2236 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23827/tid=23851] ppid=23825 vsize=785944 CPUtime=22.51 cores=0-31
/proc/23827/task/23851/stat : 23851 (plingeling) R 23825 23827 23801 0 -1 4202560 10738 1242 0 0 2233 17 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4237371 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23827/tid=23852] ppid=23825 vsize=785944 CPUtime=22.52 cores=0-31
/proc/23827/task/23852/stat : 23852 (plingeling) R 23825 23827 23801 0 -1 4202560 10857 1242 0 0 2237 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4357787 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23827/tid=23853] ppid=23825 vsize=785944 CPUtime=22.51 cores=0-31
/proc/23827/task/23853/stat : 23853 (plingeling) R 23825 23827 23801 0 -1 4202560 9695 1242 0 0 2236 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 258650649791 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23827/tid=23854] ppid=23825 vsize=785944 CPUtime=22.49 cores=0-31
/proc/23827/task/23854/stat : 23854 (plingeling) R 23825 23827 23801 0 -1 4202560 9164 1242 0 0 2233 15 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23827/tid=23855] ppid=23825 vsize=785944 CPUtime=22.46 cores=0-31
/proc/23827/task/23855/stat : 23855 (plingeling) R 23825 23827 23801 0 -1 4202560 9996 1242 0 0 2231 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23827/tid=23856] ppid=23825 vsize=785944 CPUtime=22.39 cores=0-31
/proc/23827/task/23856/stat : 23856 (plingeling) R 23825 23827 23801 0 -1 4202560 9418 1242 0 0 2222 16 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23827/tid=23857] ppid=23825 vsize=785944 CPUtime=22.51 cores=0-31
/proc/23827/task/23857/stat : 23857 (plingeling) R 23825 23827 23801 0 -1 4202560 9257 1242 0 0 2239 11 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23827/tid=23858] ppid=23825 vsize=785944 CPUtime=22.43 cores=0-31
/proc/23827/task/23858/stat : 23858 (plingeling) R 23825 23827 23801 0 -1 4202560 10744 1242 0 0 2228 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23827/tid=23859] ppid=23825 vsize=785944 CPUtime=22.23 cores=0-31
/proc/23827/task/23859/stat : 23859 (plingeling) R 23825 23827 23801 0 -1 4202560 10475 1242 0 0 2204 18 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23827/tid=23860] ppid=23825 vsize=785944 CPUtime=22.33 cores=0-31
/proc/23827/task/23860/stat : 23860 (plingeling) R 23825 23827 23801 0 -1 4202560 8653 1242 0 0 2217 15 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23827/tid=23861] ppid=23825 vsize=785944 CPUtime=22.48 cores=0-31
/proc/23827/task/23861/stat : 23861 (plingeling) R 23825 23827 23801 0 -1 4202560 10930 1242 0 0 2231 16 0 1 21 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23827/tid=23862] ppid=23825 vsize=785944 CPUtime=22.47 cores=0-31
/proc/23827/task/23862/stat : 23862 (plingeling) R 23825 23827 23801 0 -1 4202560 9646 1242 0 0 2236 10 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23827/tid=23863] ppid=23825 vsize=785944 CPUtime=22.5 cores=0-31
/proc/23827/task/23863/stat : 23863 (plingeling) R 23825 23827 23801 0 -1 4202560 11619 1242 0 0 2231 18 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366402 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23827/tid=23864] ppid=23825 vsize=785944 CPUtime=22.48 cores=0-31
/proc/23827/task/23864/stat : 23864 (plingeling) R 23825 23827 23801 0 -1 4202560 9179 1242 0 0 2234 13 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23827/tid=23865] ppid=23825 vsize=785944 CPUtime=22.44 cores=0-31
/proc/23827/task/23865/stat : 23865 (plingeling) R 23825 23827 23801 0 -1 4202560 10059 1242 0 0 2229 14 0 1 25 0 33 0 716085205 804806656 48770 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250969 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (KiB) 785852
[startup+23.1017 s]
/proc/loadavg: 30.31 31.54 31.87 33/446 23867
/proc/meminfo: memFree=255308208/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=790872 CPUtime=731.96 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 329591 1242 0 0 72704 491 0 1 20 0 33 0 716085197 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 197718 50002 175 55 0 195604 0
[pid=23827/tid=23834] ppid=23825 vsize=790872 CPUtime=22.62 cores=0-31
/proc/23827/task/23834/stat : 23834 (plingeling) R 23825 23827 23801 0 -1 4202560 10657 1242 0 0 2247 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23827/tid=23835] ppid=23825 vsize=790872 CPUtime=22.94 cores=0-31
/proc/23827/task/23835/stat : 23835 (plingeling) R 23825 23827 23801 0 -1 4202560 9495 1242 0 0 2279 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23827/tid=23836] ppid=23825 vsize=790872 CPUtime=22.82 cores=0-31
/proc/23827/task/23836/stat : 23836 (plingeling) R 23825 23827 23801 0 -1 4202560 11276 1242 0 0 2267 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4358040 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23827/tid=23837] ppid=23825 vsize=790872 CPUtime=22.85 cores=0-31
/proc/23827/task/23837/stat : 23837 (plingeling) R 23825 23827 23801 0 -1 4202560 10975 1242 0 0 2268 16 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4353508 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23827/tid=23838] ppid=23825 vsize=790872 CPUtime=22.91 cores=0-31
/proc/23827/task/23838/stat : 23838 (plingeling) R 23825 23827 23801 0 -1 4202560 10666 1242 0 0 2272 18 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23827/tid=23839] ppid=23825 vsize=790872 CPUtime=22.92 cores=0-31
/proc/23827/task/23839/stat : 23839 (plingeling) R 23825 23827 23801 0 -1 4202560 8667 1242 0 0 2282 9 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23827/tid=23840] ppid=23825 vsize=790872 CPUtime=22.92 cores=0-31
/proc/23827/task/23840/stat : 23840 (plingeling) R 23825 23827 23801 0 -1 4202560 10190 1242 0 0 2278 13 0 1 18 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23827/tid=23841] ppid=23825 vsize=790872 CPUtime=22.88 cores=0-31
/proc/23827/task/23841/stat : 23841 (plingeling) R 23825 23827 23801 0 -1 4202560 9565 1242 0 0 2273 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23827/tid=23842] ppid=23825 vsize=790872 CPUtime=22.93 cores=0-31
/proc/23827/task/23842/stat : 23842 (plingeling) R 23825 23827 23801 0 -1 4202560 10767 1242 0 0 2276 16 0 1 18 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23827/tid=23843] ppid=23825 vsize=790872 CPUtime=22.93 cores=0-31
/proc/23827/task/23843/stat : 23843 (plingeling) R 23825 23827 23801 0 -1 4202560 10899 1242 0 0 2276 16 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23827/tid=23844] ppid=23825 vsize=790872 CPUtime=22.95 cores=0-31
/proc/23827/task/23844/stat : 23844 (plingeling) R 23825 23827 23801 0 -1 4202560 8740 1242 0 0 2281 13 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23827/tid=23845] ppid=23825 vsize=790872 CPUtime=22.94 cores=0-31
/proc/23827/task/23845/stat : 23845 (plingeling) R 23825 23827 23801 0 -1 4202560 9728 1242 0 0 2282 11 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23827/tid=23846] ppid=23825 vsize=790872 CPUtime=22.91 cores=0-31
/proc/23827/task/23846/stat : 23846 (plingeling) R 23825 23827 23801 0 -1 4202560 11555 1242 0 0 2273 17 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23827/tid=23847] ppid=23825 vsize=790872 CPUtime=22.92 cores=0-31
/proc/23827/task/23847/stat : 23847 (plingeling) R 23825 23827 23801 0 -1 4202560 9503 1242 0 0 2277 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366137 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23827/tid=23848] ppid=23825 vsize=790872 CPUtime=22.89 cores=0-31
/proc/23827/task/23848/stat : 23848 (plingeling) R 23825 23827 23801 0 -1 4202560 10057 1242 0 0 2272 16 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23827/tid=23849] ppid=23825 vsize=790872 CPUtime=22.88 cores=0-31
/proc/23827/task/23849/stat : 23849 (plingeling) R 23825 23827 23801 0 -1 4202560 11776 1242 0 0 2268 19 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23827/tid=23850] ppid=23825 vsize=790872 CPUtime=22.91 cores=0-31
/proc/23827/task/23850/stat : 23850 (plingeling) R 23825 23827 23801 0 -1 4202560 10651 1242 0 0 2276 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23827/tid=23851] ppid=23825 vsize=790872 CPUtime=22.91 cores=0-31
/proc/23827/task/23851/stat : 23851 (plingeling) R 23825 23827 23801 0 -1 4202560 10738 1242 0 0 2273 17 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23827/tid=23852] ppid=23825 vsize=790872 CPUtime=22.92 cores=0-31
/proc/23827/task/23852/stat : 23852 (plingeling) R 23825 23827 23801 0 -1 4202560 10857 1242 0 0 2277 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23827/tid=23853] ppid=23825 vsize=790872 CPUtime=22.91 cores=0-31
/proc/23827/task/23853/stat : 23853 (plingeling) R 23825 23827 23801 0 -1 4202560 9695 1242 0 0 2276 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4356884 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23827/tid=23854] ppid=23825 vsize=790872 CPUtime=22.88 cores=0-31
/proc/23827/task/23854/stat : 23854 (plingeling) R 23825 23827 23801 0 -1 4202560 9567 1242 0 0 2272 15 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23827/tid=23855] ppid=23825 vsize=790872 CPUtime=22.86 cores=0-31
/proc/23827/task/23855/stat : 23855 (plingeling) R 23825 23827 23801 0 -1 4202560 10231 1242 0 0 2270 15 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23827/tid=23856] ppid=23825 vsize=790872 CPUtime=22.79 cores=0-31
/proc/23827/task/23856/stat : 23856 (plingeling) R 23825 23827 23801 0 -1 4202560 9663 1242 0 0 2262 16 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23827/tid=23857] ppid=23825 vsize=790872 CPUtime=22.91 cores=0-31
/proc/23827/task/23857/stat : 23857 (plingeling) R 23825 23827 23801 0 -1 4202560 9257 1242 0 0 2279 11 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23827/tid=23858] ppid=23825 vsize=790872 CPUtime=22.82 cores=0-31
/proc/23827/task/23858/stat : 23858 (plingeling) R 23825 23827 23801 0 -1 4202560 10744 1242 0 0 2267 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23827/tid=23859] ppid=23825 vsize=790872 CPUtime=22.63 cores=0-31
/proc/23827/task/23859/stat : 23859 (plingeling) R 23825 23827 23801 0 -1 4202560 10753 1242 0 0 2244 18 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4356884 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23827/tid=23860] ppid=23825 vsize=790872 CPUtime=22.73 cores=0-31
/proc/23827/task/23860/stat : 23860 (plingeling) R 23825 23827 23801 0 -1 4202560 8675 1242 0 0 2257 15 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366146 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23827/tid=23861] ppid=23825 vsize=790872 CPUtime=22.88 cores=0-31
/proc/23827/task/23861/stat : 23861 (plingeling) R 23825 23827 23801 0 -1 4202560 10930 1242 0 0 2271 16 0 1 22 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23827/tid=23862] ppid=23825 vsize=790872 CPUtime=22.87 cores=0-31
/proc/23827/task/23862/stat : 23862 (plingeling) R 23825 23827 23801 0 -1 4202560 9825 1242 0 0 2275 11 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23827/tid=23863] ppid=23825 vsize=790872 CPUtime=22.9 cores=0-31
/proc/23827/task/23863/stat : 23863 (plingeling) R 23825 23827 23801 0 -1 4202560 11646 1242 0 0 2271 18 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366377 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23827/tid=23864] ppid=23825 vsize=790872 CPUtime=22.88 cores=0-31
/proc/23827/task/23864/stat : 23864 (plingeling) R 23825 23827 23801 0 -1 4202560 9543 1242 0 0 2273 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23827/tid=23865] ppid=23825 vsize=790872 CPUtime=22.84 cores=0-31
/proc/23827/task/23865/stat : 23865 (plingeling) R 23825 23827 23801 0 -1 4202560 10123 1242 0 0 2269 14 0 1 25 0 33 0 716085205 809852928 50002 268435456000 4194304 4417452 140735576567504 18446744073709551615 4366573 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 731.96
Current children cumulated vsize (KiB) 790872
[startup+23.5219 s]
/proc/loadavg: 30.31 31.54 31.87 11/424 23867
/proc/meminfo: memFree=255288544/264257624 swapFree=67111528/67111528
[pid=23827] ppid=23825 vsize=536596 CPUtime=740.52 cores=0-31
/proc/23827/stat : 23827 (plingeling) S 23825 23827 23801 0 -1 4202496 333121 1242 0 0 73553 498 0 1 16 0 2 0 716085197 549474304 52830 268435456000 4194304 4417452 140735576567504 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/23827/statm: 134149 52830 176 55 0 132035 0
[pid=23827/tid=23863] ppid=23825 vsize=536596 CPUtime=23.31 cores=0-31
/proc/23827/task/23863/stat : 23863 (plingeling) R 23825 23827 23801 0 -1 4202560 12024 1242 0 0 2311 19 0 1 18 0 2 0 716085205 549474304 52830 268435456000 4194304 4417452 140735576567504 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 740.52
Current children cumulated vsize (KiB) 536596
Child status: 10
Real time (s): 23.5714
CPU time (s): 740.572
CPU user time (s): 735.558
CPU system time (s): 5.01424
CPU usage (%): 3141.83
Max. virtual memory (cumulated for all children) (KiB): 802940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 735.558
system time used= 5.01424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334378
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= 5252
involuntary context switches= 1300
runsolver used 0.12798 second user time and 0.552915 second system time
The end
Begin job on node200 at 2011-05-22 08:33:08
IDJOB=3372768
IDBENCH=83432
IDSOLVER=1852
FILE ID=node200/3372768-1306045988
RUNJOBID= node200-1306045988-23815
PBS_JOBID= 13387806
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372768-1306045988/watcher-3372768-1306045988 -o /tmp/evaluation-result-3372768-1306045988/solver-3372768-1306045988 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372768-1306045988.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=950090188
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: 255502112 kB
Buffers: 454504 kB
Cached: 7898164 kB
SwapCached: 0 kB
Active: 7423904 kB
Inactive: 997844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255502112 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16 kB
Writeback: 0 kB
AnonPages: 69500 kB
Mapped: 13504 kB
Slab: 253024 kB
PageTables: 4028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187568 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= 62048 MiB
End job on node200 at 2011-05-22 08:33:31