Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2018-08-14 | SAT (TO) | 1822443 | 252.105 | 241.446 |
Name | Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml |
MD5SUM | 39aa8271d93aad234a0495f796e0a456 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1822443 |
Best CPU time to get the best result obtained on this benchmark | 252.105 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 300 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] |
Minimum constraint arity | 17 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":300}] |
Optimization problem | YES |
Type of objective | max SUM |
0.68/0.55 c version: 2018-08-14 0.68/0.56 c seed: 797138777 0.68/0.56 c timeout: 252 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 3.56/1.98 c Parsing done, starting first complete search... 4.27/2.23 o 0 4.27/2.23 o 4434 4.27/2.23 o 8147 4.27/2.24 o 12581 4.27/2.24 o 40805 4.27/2.24 o 45239 4.27/2.24 o 49375 4.27/2.25 o 59543 4.27/2.25 o 63977 4.27/2.25 o 68113 4.27/2.25 o 68427 4.27/2.25 o 68725 4.27/2.25 o 72861 4.27/2.26 o 100098 4.27/2.27 o 104234 4.27/2.27 o 127375 4.27/2.27 o 131511 4.27/2.27 o 133036 4.27/2.27 o 137684 4.27/2.27 o 139209 4.27/2.27 o 141820 4.27/2.27 o 143345 4.27/2.27 o 144272 4.27/2.27 o 148210 4.27/2.27 o 149137 4.27/2.28 o 149735 4.27/2.28 o 150662 4.27/2.28 o 150926 4.27/2.28 o 168613 4.27/2.28 o 175077 4.27/2.29 o 177001 4.27/2.29 o 201114 4.27/2.29 o 205548 4.27/2.29 o 211737 4.27/2.29 o 212655 4.27/2.29 o 223463 4.27/2.29 o 224988 4.55/2.30 o 227449 4.55/2.30 o 228974 4.55/2.30 o 230388 4.55/2.30 o 231251 4.55/2.30 o 232776 4.55/2.31 o 233087 4.55/2.31 o 233649 4.55/2.31 o 242672 4.55/2.31 o 244197 4.55/2.31 o 248333 4.55/2.31 o 249774 4.55/2.32 o 251698 4.55/2.32 o 252260 4.55/2.32 o 253255 4.55/2.32 o 253817 4.55/2.32 o 259645 4.55/2.32 o 260207 4.55/2.32 o 265094 4.55/2.32 o 266619 4.55/2.33 o 269230 4.55/2.33 o 270755 4.55/2.33 o 272815 4.55/2.33 o 274340 4.55/2.33 o 278476 4.55/2.34 o 278702 4.55/2.34 o 279697 4.55/2.34 o 280259 4.55/2.34 o 287414 4.55/2.34 o 287976 4.55/2.35 o 290131 4.55/2.35 o 294117 4.55/2.35 o 295044 4.55/2.35 o 295531 4.55/2.35 o 296458 4.55/2.35 o 297919 4.55/2.35 o 298846 4.55/2.35 o 299140 4.55/2.35 o 300067 4.55/2.36 o 300629 4.55/2.36 o 303276 4.55/2.36 o 303838 4.55/2.36 o 304203 4.55/2.36 o 304765 4.55/2.37 o 309488 4.55/2.37 o 311045 4.55/2.37 o 323376 4.55/2.37 o 323938 4.55/2.38 o 332595 4.55/2.38 o 334519 4.55/2.38 o 335446 4.55/2.38 o 338985 4.55/2.38 o 339912 4.55/2.38 o 340909 4.55/2.38 o 341836 4.86/2.40 o 342107 4.86/2.40 o 342669 4.86/2.40 o 343664 4.86/2.42 o 344226 4.86/2.42 o 345588 4.86/2.43 o 346150 4.86/2.43 o 347002 4.86/2.43 o 347564 4.86/2.43 o 348339 4.86/2.43 o 348901 4.86/2.44 o 354541 4.86/2.44 o 355103 4.86/2.44 o 361567 4.86/2.45 o 361637 4.86/2.45 o 362292 4.86/2.45 o 362628 4.86/2.45 o 363849 4.86/2.45 o 364552 4.86/2.45 o 365773 4.86/2.47 o 367322 4.86/2.47 o 368249 4.86/2.47 o 369246 4.86/2.47 o 370173 4.86/2.48 o 370803 4.86/2.48 o 371730 4.86/2.48 o 375119 4.86/2.48 o 376046 4.86/2.48 o 376201 4.86/2.48 o 376531 4.86/2.49 o 377458 4.86/2.49 o 379255 4.86/2.49 o 380182 5.18/2.50 o 380216 5.18/2.50 o 381143 5.18/2.50 o 381773 5.18/2.51 o 382700 5.18/2.51 o 389920 5.18/2.51 o 390847 5.18/2.51 o 392799 5.18/2.51 o 393726 5.18/2.51 o 394056 5.18/2.51 o 394983 5.18/2.52 o 395063 5.18/2.53 o 395393 5.18/2.53 o 396320 5.18/2.53 o 398117 5.18/2.53 o 399044 5.18/2.56 o 400036 5.18/2.56 o 400963 5.18/2.57 o 402377 5.18/2.57 o 403934 5.18/2.57 o 404444 5.18/2.57 o 405296 5.18/2.57 o 405858 5.49/2.60 o 406106 5.49/2.60 o 406299 5.49/2.61 o 406534 5.49/2.61 o 407096 5.49/2.61 o 408458 5.49/2.61 o 409020 5.49/2.61 o 410015 5.49/2.61 o 410577 5.49/2.61 o 410770 5.49/2.61 o 411465 5.49/2.61 o 412027 5.49/2.62 o 412136 5.49/2.62 o 412609 5.49/2.62 o 413171 5.49/2.62 o 413364 5.49/2.63 o 414112 5.49/2.63 o 414674 5.49/2.63 o 415333 5.49/2.63 o 415895 5.49/2.63 o 416088 5.49/2.66 o 416753 5.49/2.66 o 417315 5.49/2.66 o 417974 5.49/2.66 o 418536 5.49/2.66 o 418729 5.49/2.67 o 420698 5.49/2.67 o 421260 5.49/2.67 o 421453 5.79/2.71 o 421544 5.79/2.71 o 421911 5.79/2.71 o 422906 5.79/2.72 o 423468 5.79/2.72 o 424127 5.79/2.72 o 424689 5.79/2.72 o 424882 5.79/2.77 o 425815 5.79/2.77 o 427372 5.79/2.77 o 428559 5.79/2.77 o 430801 5.79/2.77 o 436860 5.79/2.77 o 437422 5.79/2.77 o 437615 5.79/2.78 o 437802 6.10/2.81 o 438122 6.10/2.81 o 438315 6.10/2.82 o 439438 6.10/2.82 o 440659 6.10/2.83 o 440852 6.10/2.83 o 441924 6.10/2.83 o 443145 6.10/2.83 o 443338 6.10/2.83 o 444332 6.10/2.83 o 446574 6.10/2.84 o 446767 6.10/2.87 o 447433 6.10/2.87 o 448654 6.10/2.87 o 448847 6.36/2.94 o 449034 6.36/2.97 o 449046 6.36/2.97 o 449973 6.36/2.98 o 451160 6.36/2.98 o 453402 6.54/3.02 o 453576 6.54/3.02 o 453943 6.54/3.02 o 455500 6.54/3.02 o 456013 6.54/3.02 o 457570 6.54/3.02 o 459095 6.54/3.03 o 459367 6.54/3.03 o 460294 6.54/3.03 o 460892 6.54/3.03 o 461819 6.54/3.04 o 462047 6.54/3.04 o 463189 6.54/3.04 o 467063 6.54/3.04 o 472791 6.73/3.24 o 473103 6.73/3.24 o 473178 6.73/3.24 o 473496 6.73/3.24 o 475420 6.73/3.24 o 476977 6.73/3.25 o 478234 6.73/3.28 o 479731 6.73/3.28 o 480988 7.13/3.64 o 481108 7.13/3.64 o 481475 7.13/3.64 o 483032 7.13/3.64 o 483828 7.13/3.64 o 486030 7.13/3.64 o 487587 7.13/3.65 o 488844 7.91/4.33 o 490231 7.91/4.33 o 490549 7.91/4.33 o 492473 8.66/5.02 o 493894 8.66/5.02 o 494237 8.66/5.03 o 496161 8.95/5.34 o 497666 8.95/5.34 o 499590 11.60/7.93 o 500433 12.30/8.66 o 500924 12.30/8.66 o 500949 12.30/8.67 o 502348 12.30/8.67 o 503191 12.30/8.67 o 503605 12.30/8.67 o 504448 12.30/8.68 o 504904 12.30/8.68 o 505747 12.41/8.71 o 505875 12.41/8.71 o 508791 12.41/8.71 o 509634 14.72/11.01 o 510506 14.72/11.01 o 510849 14.72/11.01 o 512773 14.72/11.01 o 512995 14.72/11.01 o 514830 14.72/11.01 o 516754 14.72/11.04 o 517397 14.72/11.04 o 519321 17.53/13.85 o 520153 30.33/26.52 c First complete search done, starting ALNS search... 30.92/26.91 o 520464 30.92/26.91 o 521014 30.92/26.91 o 521531 30.92/26.91 o 521799 30.92/26.91 o 521832 30.92/26.91 o 522349 30.92/26.91 o 525813 30.92/26.91 o 526363 30.92/26.92 o 526577 30.92/26.92 o 527127 30.92/26.92 o 527395 30.92/26.92 o 527945 30.92/26.92 o 529407 30.92/26.92 o 530171 30.92/26.92 o 530225 30.92/26.92 o 530989 30.92/26.92 o 531539 30.92/26.92 o 532056 30.92/26.92 o 532059 30.92/26.92 o 532470 30.92/26.92 o 533288 30.92/26.92 o 533838 30.92/26.93 o 535176 30.92/26.93 o 535726 30.92/26.93 o 538770 30.92/26.93 o 539320 30.92/26.93 o 539588 30.92/26.93 o 540138 30.92/26.93 o 540655 30.92/26.93 o 540869 30.92/26.93 o 540902 30.92/26.93 o 541419 30.92/26.93 o 541762 30.92/26.93 o 541816 30.92/26.93 o 542030 30.92/26.93 o 542580 30.92/26.93 o 543097 30.92/26.94 o 543261 30.92/26.94 o 543315 30.92/26.94 o 544079 30.92/26.94 o 544596 30.92/26.94 o 544747 30.92/26.94 o 545264 30.92/26.94 o 545858 30.92/26.94 o 550042 30.92/26.94 o 550860 30.92/26.94 o 553636 30.92/26.94 o 554454 30.92/26.94 o 554971 30.92/26.94 o 555241 30.92/26.94 o 555758 30.92/26.95 o 556017 30.92/26.95 o 558173 30.92/26.95 o 558991 30.92/26.95 o 559795 30.92/26.95 o 560597 30.92/26.95 o 562893 30.92/26.95 o 565599 30.92/26.95 o 569193 30.92/26.95 o 570011 30.92/26.95 o 570528 30.92/26.95 o 570871 30.92/26.95 o 571388 30.92/26.95 o 571689 30.92/26.95 o 572206 30.92/26.96 o 572453 30.92/26.96 o 572970 30.92/26.96 o 573003 30.92/26.96 o 573520 30.92/26.96 o 574316 30.92/26.96 o 574866 30.92/26.96 o 575080 30.92/26.96 o 575630 30.92/26.96 o 575994 30.92/26.96 o 576758 30.92/26.96 o 577308 30.92/26.96 o 577825 30.92/26.96 o 577884 30.92/26.96 o 578434 30.92/26.96 o 578951 30.92/26.97 o 579146 30.92/26.97 o 579447 30.92/26.97 o 579964 30.92/26.97 o 580140 30.92/26.97 o 581238 30.92/26.97 o 582056 30.92/26.97 o 582916 30.92/26.97 o 583734 30.92/26.97 o 584027 30.92/26.97 o 584645 30.92/26.97 o 586323 30.92/26.97 o 587351 30.92/26.97 o 589029 30.92/26.97 o 590945 30.92/26.97 o 592623 30.92/26.98 o 593441 31.15/27.01 o 593958 31.15/27.01 o 593991 31.15/27.01 o 594508 31.15/27.01 o 594755 31.15/27.01 o 595272 31.15/27.01 o 595443 31.15/27.02 o 595604 31.15/27.02 o 596154 31.15/27.02 o 597520 31.15/27.02 o 599198 31.15/27.02 o 599748 31.15/27.02 o 600016 31.15/27.02 o 600566 31.15/27.02 o 600780 31.15/27.02 o 601330 31.15/27.02 o 601637 31.15/27.02 o 602401 31.15/27.02 o 602951 31.15/27.02 o 603468 31.15/27.02 o 604088 31.15/27.02 o 604638 31.15/27.03 o 604948 31.15/27.03 o 605766 31.15/27.03 o 606316 31.15/27.03 o 607575 31.15/27.03 o 608125 31.15/27.03 o 609253 31.15/27.03 o 609803 31.15/27.03 o 610071 31.15/27.03 o 610621 31.15/27.03 o 610835 31.15/27.03 o 611385 31.15/27.03 o 611902 31.15/27.03 o 612066 31.15/27.04 o 612777 31.15/27.04 o 613875 31.15/27.04 o 615553 31.15/27.04 o 616371 31.15/27.04 o 617135 31.15/27.04 o 617652 31.15/27.04 o 617685 31.15/27.04 o 618202 31.15/27.04 o 618756 31.15/27.04 o 619306 31.15/27.04 o 619823 31.15/27.04 o 619847 31.15/27.04 o 620397 31.15/27.04 o 620914 31.15/27.05 o 621075 31.15/27.05 o 621129 31.15/27.05 o 621376 31.15/27.05 o 621893 31.15/27.05 o 621963 31.15/27.05 o 622236 31.15/27.05 o 622290 31.15/27.05 o 623054 31.15/27.05 o 623571 31.15/27.05 o 623852 31.15/27.05 o 624369 31.15/27.05 o 624616 31.15/27.05 o 625133 31.15/27.05 o 625166 31.15/27.05 o 625683 31.15/27.06 o 626237 31.15/27.06 o 626787 31.15/27.06 o 627304 31.15/27.06 o 627759 31.15/27.06 o 628276 31.15/27.06 o 628477 31.15/27.06 o 628531 31.15/27.06 o 629295 31.15/27.06 o 629391 31.15/27.06 o 630209 31.15/27.06 o 630973 31.15/27.06 o 631246 31.15/27.06 o 631300 31.15/27.06 o 632064 31.15/27.06 o 632581 31.15/27.07 o 632614 31.15/27.07 o 633131 31.15/27.07 o 633144 31.15/27.07 o 633685 31.15/27.07 o 634235 31.15/27.07 o 634752 31.15/27.07 o 635162 31.15/27.07 o 635679 31.15/27.07 o 635712 31.15/27.07 o 636229 31.15/27.07 o 636242 31.15/27.08 o 636783 31.15/27.08 o 637333 31.15/27.08 o 637850 31.15/27.08 o 638102 31.15/27.08 o 638619 31.15/27.08 o 638652 31.15/27.08 o 639169 31.15/27.08 o 639272 31.15/27.08 o 639545 31.15/27.08 o 639813 31.15/27.09 o 640363 31.15/27.09 o 640400 31.15/27.09 o 640673 31.15/27.09 o 640727 31.15/27.09 o 641491 31.15/27.09 o 642041 31.15/27.09 o 642046 31.15/27.09 o 642596 31.15/27.09 o 642810 31.15/27.09 o 643360 31.15/27.09 o 643877 31.15/27.09 o 644431 31.15/27.09 o 644948 31.15/27.09 o 644981 31.15/27.09 o 645498 31.15/27.10 o 645953 31.15/27.10 o 646503 31.15/27.10 o 646671 31.15/27.10 o 646725 31.15/27.10 o 647489 31.15/27.10 o 647816 31.15/27.10 o 648580 31.15/27.10 o 648676 31.15/27.10 o 649494 31.15/27.10 o 650258 31.15/27.10 o 650808 31.15/27.10 o 651325 31.15/27.10 o 651578 31.15/27.10 o 651611 31.15/27.10 o 652128 31.15/27.11 o 652429 31.15/27.11 o 652946 31.27/27.11 o 653398 31.27/27.11 o 653526 31.27/27.11 o 653885 31.27/27.11 o 654113 31.27/27.11 o 654386 31.27/27.11 o 654440 31.27/27.11 o 654654 31.27/27.11 o 655204 31.27/27.11 o 655420 31.27/27.11 o 655648 31.27/27.11 o 655921 31.27/27.11 o 655975 31.27/27.12 o 656739 31.27/27.12 o 657283 31.27/27.12 o 657511 31.27/27.12 o 657784 31.27/27.12 o 658602 31.27/27.12 o 659462 31.27/27.12 o 660280 31.27/27.12 o 661044 31.27/27.12 o 661594 31.27/27.12 o 662111 31.27/27.12 o 662150 31.27/27.12 o 662397 31.27/27.12 o 662914 31.27/27.12 o 663215 31.27/27.13 o 663732 31.27/27.13 o 664192 31.27/27.13 o 664272 31.27/27.13 o 664822 31.27/27.13 o 665036 31.27/27.13 o 665586 31.27/27.13 o 665854 31.27/27.13 o 666404 31.27/27.13 o 666945 31.27/27.14 o 667495 31.27/27.14 o 667500 31.27/27.14 o 668264 31.27/27.14 o 668814 31.27/27.14 o 668910 31.27/27.14 o 669178 31.27/27.14 o 669728 31.27/27.14 o 669942 31.27/27.14 o 670492 31.27/27.14 o 671009 31.27/27.14 o 671148 31.27/27.15 o 671563 31.27/27.15 o 672080 31.27/27.15 o 672113 31.27/27.15 o 672630 31.27/27.15 o 672769 31.27/27.16 o 672981 31.27/27.16 o 673462 31.27/27.16 o 674012 31.27/27.16 o 674553 31.27/27.16 o 675103 31.27/27.16 o 675108 31.27/27.16 o 675872 31.27/27.16 o 676422 31.27/27.16 o 676518 31.27/27.16 o 676786 31.27/27.16 o 677336 31.27/27.16 o 677550 31.27/27.16 o 678100 31.27/27.16 o 678617 31.27/27.17 o 679207 31.27/27.17 o 679724 31.27/27.17 o 680246 31.27/27.17 o 680951 31.27/27.17 o 681179 31.27/27.17 o 681506 31.27/27.17 o 682270 31.27/27.17 o 682900 31.27/27.17 o 683718 31.27/27.17 o 683991 31.27/27.17 o 684809 31.27/27.17 o 685310 31.27/27.17 o 686128 31.27/27.17 o 686988 31.27/27.17 o 687806 31.27/27.18 o 688570 31.27/27.18 o 689087 31.27/27.18 o 689120 31.27/27.18 o 689637 31.27/27.18 o 690191 31.27/27.18 o 690741 31.27/27.18 o 691258 31.27/27.18 o 691397 31.27/27.19 o 692012 31.27/27.19 o 692529 31.27/27.19 o 692926 31.27/27.19 o 693690 31.27/27.19 o 694207 31.27/27.19 o 694240 31.27/27.19 o 694757 31.27/27.19 o 695311 31.27/27.19 o 695861 31.27/27.19 o 696378 31.27/27.19 o 696834 31.27/27.19 o 697193 31.27/27.20 o 697231 31.27/27.20 o 697995 31.37/27.20 o 698512 31.37/27.20 o 698545 31.37/27.20 o 699062 31.37/27.20 o 699616 31.37/27.20 o 700166 31.37/27.20 o 700683 31.37/27.21 o 700833 31.37/27.21 o 700871 31.37/27.21 o 701635 31.37/27.21 o 702152 31.37/27.21 o 702185 31.37/27.21 o 702702 31.37/27.21 o 703256 31.37/27.21 o 703806 31.37/27.21 o 704323 31.37/27.22 o 704837 31.37/27.22 o 705354 31.37/27.22 o 705424 31.37/27.22 o 705697 31.37/27.22 o 705751 31.37/27.22 o 706515 31.37/27.22 o 707032 31.37/27.22 o 707065 31.37/27.22 o 707582 31.37/27.22 o 708136 31.37/27.22 o 708686 31.37/27.22 o 709203 31.37/27.23 o 709586 31.37/27.23 o 709624 31.37/27.23 o 710388 31.37/27.23 o 710905 31.37/27.23 o 711001 31.37/27.23 o 711302 31.37/27.23 o 711819 31.37/27.23 o 712066 31.37/27.23 o 712583 31.37/27.23 o 712616 31.37/27.24 o 713133 31.37/27.24 o 713347 31.37/27.24 o 713706 31.37/27.24 o 713934 31.37/27.24 o 714261 31.37/27.24 o 715025 31.37/27.24 o 715575 31.37/27.24 o 716092 31.37/27.24 o 716432 31.37/27.24 o 716949 31.37/27.24 o 717196 31.37/27.24 o 717713 31.37/27.26 o 717929 31.37/27.26 o 718143 31.37/27.26 o 718693 31.37/27.26 o 719210 31.37/27.26 o 719764 31.37/27.26 o 720281 31.37/27.26 o 720314 31.37/27.27 o 720831 31.37/27.27 o 720998 31.37/27.27 o 721515 31.37/27.27 o 721945 31.37/27.27 o 721958 31.37/27.27 o 722231 31.37/27.27 o 722285 31.37/27.27 o 722499 31.37/27.27 o 723049 31.37/27.27 o 723566 31.37/27.27 o 723700 31.37/27.27 o 723733 31.37/27.27 o 724250 31.37/27.28 o 724356 31.37/27.28 o 724410 31.37/27.28 o 724624 31.37/27.28 o 725174 31.37/27.28 o 725691 31.37/27.28 o 726245 31.37/27.28 o 726762 31.37/27.28 o 726795 31.37/27.28 o 727312 31.37/27.28 o 727801 31.37/27.28 o 728160 31.37/27.28 o 728388 31.37/27.28 o 728929 31.37/27.28 o 729479 31.37/27.28 o 729996 31.37/27.29 o 730550 31.37/27.29 o 731067 31.37/27.29 o 731100 31.37/27.29 o 731617 31.37/27.29 o 731784 31.37/27.29 o 732301 31.37/27.29 o 732304 31.37/27.29 o 732358 31.37/27.29 o 732572 31.37/27.29 o 733122 31.37/27.29 o 733639 31.37/27.29 o 734193 31.37/27.30 o 734710 31.37/27.30 o 734743 31.48/27.30 o 735260 31.48/27.31 o 735268 31.48/27.31 o 735785 31.48/27.31 o 736056 31.48/27.31 o 736606 31.48/27.31 o 737123 31.48/27.31 o 737677 31.48/27.31 o 738194 31.48/27.31 o 738227 31.48/27.31 o 738744 31.48/27.31 o 738911 31.48/27.32 o 739428 31.48/27.32 o 739496 31.48/27.33 o 739733 31.48/27.33 o 739968 31.48/27.33 o 740485 31.48/27.33 o 740543 31.48/27.33 o 741093 31.48/27.34 o 741403 31.48/27.34 o 741469 31.48/27.34 o 742221 31.48/27.34 o 742771 31.48/27.34 o 743288 31.48/27.34 o 743640 31.48/27.34 o 744157 31.48/27.34 o 744392 31.48/27.34 o 744909 31.48/27.34 o 745325 31.48/27.34 o 745553 31.48/27.34 o 745892 31.48/27.34 o 746094 31.48/27.34 o 746644 31.48/27.34 o 746681 31.48/27.34 o 746954 31.48/27.35 o 747008 31.48/27.35 o 747020 31.48/27.35 o 747772 31.48/27.35 o 748322 31.48/27.35 o 748839 31.48/27.35 o 749191 31.48/27.35 o 749708 31.48/27.35 o 749943 31.48/27.35 o 750460 31.48/27.36 o 750663 31.48/27.36 o 751213 31.48/27.36 o 751730 31.48/27.36 o 751983 31.48/27.36 o 752037 31.48/27.37 o 752284 31.48/27.37 o 752801 31.48/27.37 o 752834 31.48/27.37 o 753351 31.48/27.37 o 753419 31.48/27.39 o 753702 31.48/27.39 o 753715 31.48/27.39 o 754256 31.48/27.39 o 754806 31.48/27.39 o 755323 31.58/27.40 o 755391 32.10/27.74 o 755513 32.10/27.74 o 756118 32.10/27.74 o 756725 32.10/27.74 o 757323 32.10/27.74 o 758087 32.10/27.74 o 758812 32.10/27.75 o 759800 32.10/27.75 o 760960 32.10/27.75 o 761565 32.10/27.75 o 762172 32.10/27.75 o 763534 32.10/27.75 o 764298 32.10/27.75 o 765132 32.10/27.75 o 765737 32.10/27.75 o 767706 32.10/27.75 o 768470 32.10/27.75 o 769068 32.10/27.75 o 769832 32.10/27.75 o 770618 32.10/27.75 o 771223 32.10/27.76 o 773192 32.10/27.76 o 774554 32.10/27.76 o 775318 32.10/27.76 o 775753 32.10/27.76 o 776351 32.10/27.76 o 777115 32.10/27.76 o 777402 32.10/27.76 o 778292 32.10/27.76 o 779056 32.10/27.76 o 780155 32.10/27.76 o 780762 32.10/27.76 o 782124 32.10/27.76 o 782888 32.10/27.77 o 782949 32.10/27.77 o 783713 32.10/27.77 o 784174 32.10/27.77 o 784779 32.10/27.77 o 785386 32.10/27.77 o 786748 32.10/27.77 o 787895 32.10/27.77 o 788659 32.10/27.77 o 788720 32.10/27.77 o 789484 32.10/27.77 o 789660 32.10/27.77 o 790265 32.10/27.78 o 790872 32.10/27.78 o 792234 32.10/27.78 o 792998 32.10/27.78 o 793608 32.10/27.78 o 794206 32.10/27.78 o 794970 32.10/27.78 o 795177 32.10/27.78 o 796539 32.29/27.82 o 797303 32.29/27.82 o 797913 32.29/27.82 o 798511 32.29/27.82 o 799275 32.29/27.83 o 799770 32.29/27.83 o 800660 32.29/27.83 o 800758 32.29/27.83 o 801918 32.29/27.83 o 802523 32.29/27.83 o 803130 32.29/27.83 o 804492 32.29/27.83 o 805256 32.29/27.83 o 805858 32.29/27.84 o 806622 32.29/27.84 o 806688 32.29/27.84 o 808050 32.29/27.84 o 808814 32.29/27.84 o 809085 32.29/27.84 o 809533 32.29/27.84 o 810297 32.29/27.84 o 810895 32.29/27.84 o 811659 32.29/27.84 o 811725 32.29/27.85 o 813087 32.29/27.85 o 813851 32.29/27.85 o 813943 32.29/27.86 o 815100 32.29/27.86 o 815864 32.29/27.86 o 816462 32.29/27.86 o 817226 32.29/27.86 o 817539 32.29/27.86 o 818654 32.29/27.86 o 819418 32.29/27.86 o 819510 32.29/27.87 o 819638 32.29/27.87 o 820402 32.29/27.87 o 820494 32.29/27.87 o 820614 32.29/27.87 o 821598 32.29/27.87 o 822362 32.29/27.87 o 822454 32.29/27.88 o 822470 32.29/27.88 o 823068 32.29/27.88 o 823832 32.29/27.88 o 824052 32.29/27.88 o 824816 32.29/27.88 o 824908 32.29/27.88 o 825048 32.29/27.88 o 825260 32.29/27.88 o 826244 32.29/27.88 o 827008 32.29/27.88 o 827100 32.29/27.89 o 827461 32.29/27.89 o 827553 32.47/27.91 o 827586 32.47/27.91 o 828350 32.47/27.91 o 828461 32.47/27.92 o 828479 32.47/27.92 o 829225 32.47/27.92 o 829243 32.47/27.92 o 829459 32.47/27.92 o 829563 32.47/27.92 o 829783 32.47/27.92 o 830547 32.47/27.92 o 830995 32.47/27.92 o 832357 32.47/27.92 o 833121 32.47/27.92 o 833341 32.47/27.92 o 834105 32.47/27.92 o 834123 32.47/27.92 o 834337 32.47/27.92 o 835321 32.47/27.93 o 836067 32.47/27.93 o 836085 32.47/27.93 o 836661 32.47/27.93 o 837425 32.47/27.93 o 837443 32.47/27.93 o 837535 32.47/27.94 o 837771 32.47/27.94 o 838535 32.47/27.94 o 838609 32.47/27.94 o 838627 32.47/27.94 o 839111 32.47/27.94 o 839875 32.47/27.94 o 839893 32.47/27.94 o 839985 32.47/27.94 o 840497 32.47/27.95 o 841091 32.47/27.95 o 841855 32.47/27.95 o 841929 32.47/27.95 o 841947 32.47/27.95 o 842147 32.47/27.95 o 842911 32.47/27.95 o 842929 32.47/27.95 o 843021 32.47/27.96 o 843531 32.47/27.96 o 843815 32.47/27.96 o 843905 32.47/27.96 o 844125 32.47/27.96 o 844889 32.47/27.96 o 844963 32.47/27.96 o 844981 32.47/27.97 o 845705 32.47/27.97 o 845723 32.47/27.97 o 845989 32.47/27.97 o 846007 32.47/27.97 o 846299 32.47/27.98 o 847063 32.47/27.98 o 847081 32.47/27.98 o 847173 32.47/27.98 o 847534 32.47/27.98 o 847626 32.47/27.99 o 847675 32.47/27.99 o 848659 32.47/27.99 o 849037 32.47/27.99 o 850021 32.47/27.99 o 850785 32.47/28.00 o 851349 32.47/28.00 o 851797 32.47/28.00 o 853159 32.47/28.00 o 853923 32.47/28.00 o 853941 32.47/28.00 o 854161 32.47/28.00 o 854925 32.47/28.00 o 855474 32.47/28.00 o 855492 32.47/28.00 o 856238 32.47/28.00 o 856256 32.47/28.00 o 856803 32.47/28.00 o 858008 32.47/28.00 o 858772 32.47/28.01 o 859370 32.58/28.01 o 860134 32.58/28.01 o 860354 32.58/28.01 o 861118 32.58/28.01 o 861136 32.58/28.01 o 861948 32.58/28.01 o 863310 32.58/28.01 o 864294 32.58/28.01 o 865040 32.58/28.01 o 865058 32.58/28.01 o 865529 32.58/28.01 o 865907 32.58/28.01 o 866127 32.58/28.01 o 866891 32.58/28.01 o 866909 32.58/28.02 o 867493 32.58/28.02 o 868098 32.58/28.02 o 868705 32.58/28.02 o 869083 32.58/28.02 o 870067 32.58/28.02 o 870813 32.58/28.02 o 870831 32.58/28.02 o 870876 32.58/28.02 o 871640 32.58/28.02 o 871860 32.58/28.02 o 872624 32.58/28.02 o 872642 32.58/28.03 o 872952 32.58/28.03 o 873716 32.58/28.03 o 873808 32.58/28.04 o 874381 32.58/28.04 o 874834 32.58/28.05 o 875455 32.58/28.05 o 875908 32.58/28.05 o 876000 33.38/28.71 o 876728 33.38/28.71 o 878066 33.38/28.72 o 879215 33.38/28.72 o 879698 33.38/28.72 o 880192 33.38/28.72 o 880507 33.38/28.72 o 881656 33.38/28.72 o 881836 33.38/28.72 o 883300 33.38/28.72 o 884449 33.38/28.72 o 885192 33.38/28.72 o 886341 33.38/28.72 o 887679 33.38/28.72 o 888828 33.38/28.72 o 890472 33.38/28.72 o 891621 33.38/28.72 o 892913 33.38/28.73 o 893061 33.38/28.73 o 893219 33.38/28.73 o 895706 33.38/28.73 o 896855 33.38/28.73 o 897170 33.38/28.73 o 898319 33.38/28.73 o 899533 33.38/28.73 o 899839 33.38/28.73 o 902326 33.38/28.73 o 903790 33.38/28.73 o 903990 33.38/28.73 o 905454 33.38/28.73 o 906942 33.38/28.73 o 907100 33.38/28.73 o 909587 33.38/28.74 o 911251 33.38/28.74 o 912715 33.38/28.74 o 913297 33.38/28.74 o 914785 33.38/28.74 o 916607 33.38/28.74 o 919094 33.38/28.74 o 920558 33.38/28.74 o 920978 33.38/28.74 o 922800 33.38/28.74 o 925287 33.38/28.74 o 926751 33.38/28.74 o 930477 33.38/28.74 o 931941 33.38/28.74 o 932964 33.38/28.75 o 934428 33.38/28.75 o 934560 33.38/28.75 o 935383 33.38/28.75 o 935583 33.38/28.75 o 937047 33.38/28.75 o 940773 33.38/28.75 o 943260 33.38/28.75 o 944724 33.38/28.75 o 945940 33.38/28.75 o 946763 33.38/28.75 o 948427 33.38/28.75 o 949891 33.38/28.75 o 951953 33.38/28.76 o 954440 33.38/28.76 o 955904 33.38/28.76 o 956104 33.38/28.76 o 957568 33.38/28.76 o 959179 33.38/28.76 o 960843 33.38/28.76 o 962307 33.38/28.76 o 963333 33.38/28.76 o 963726 33.38/28.76 o 964549 33.38/28.76 o 966213 33.38/28.76 o 966429 33.38/28.76 o 967578 33.38/28.76 o 967917 33.38/28.76 o 970404 33.38/28.77 o 970562 33.38/28.77 o 973049 33.38/28.77 o 974713 33.38/28.77 o 976177 33.38/28.77 o 978239 33.38/28.77 o 980726 33.38/28.77 o 982190 33.38/28.77 o 982390 33.38/28.77 o 983854 33.38/28.77 o 984617 33.38/28.77 o 986521 33.38/28.77 o 986679 33.38/28.77 o 989166 33.38/28.77 o 990630 33.38/28.78 o 990830 33.38/28.78 o 992294 33.38/28.78 o 992725 33.38/28.78 o 994629 33.38/28.78 o 994787 33.38/28.78 o 997274 33.38/28.78 o 998738 33.38/28.78 o 998938 33.38/28.78 o 1000402 33.96/29.25 o 1001028 33.96/29.25 o 1002839 33.96/29.25 o 1003494 33.96/29.25 o 1005305 33.96/29.25 o 1005910 33.96/29.25 o 1009468 33.96/29.26 o 1011279 33.96/29.26 o 1011923 33.96/29.26 o 1013734 33.96/29.26 o 1013766 33.96/29.26 o 1014389 33.96/29.26 o 1016876 33.96/29.26 o 1018687 33.96/29.26 o 1020558 33.96/29.26 o 1022369 33.96/29.26 o 1023760 33.96/29.26 o 1024263 33.96/29.26 o 1026750 33.96/29.26 o 1028561 33.96/29.26 o 1029952 33.96/29.26 o 1031223 33.96/29.27 o 1032942 33.96/29.27 o 1034753 33.96/29.27 o 1036144 33.96/29.27 o 1036820 33.96/29.27 o 1037240 33.96/29.27 o 1038631 34.08/29.32 o 1038823 34.08/29.32 o 1038899 34.08/29.32 o 1039514 34.08/29.32 o 1041310 34.08/29.32 o 1042939 34.08/29.32 o 1044667 34.08/29.32 o 1045353 34.08/29.32 o 1045738 34.08/29.32 o 1045814 34.08/29.33 o 1046343 34.08/29.33 o 1046429 34.08/29.33 o 1048225 34.08/29.33 o 1048814 34.08/29.33 o 1050083 34.08/29.33 o 1050466 34.08/29.33 o 1051152 34.08/29.33 o 1051613 34.08/29.33 o 1052142 34.08/29.33 o 1054024 34.08/29.33 o 1055820 34.08/29.33 o 1057449 34.08/29.33 o 1059002 34.08/29.34 o 1059626 34.08/29.34 o 1060237 34.08/29.34 o 1060278 34.08/29.34 o 1060316 34.08/29.34 o 1060661 34.08/29.34 o 1062423 34.08/29.34 o 1064219 34.08/29.34 o 1065425 34.08/29.34 o 1067221 34.08/29.34 o 1068774 34.08/29.34 o 1070030 34.08/29.34 o 1070677 34.08/29.35 o 1070867 34.08/29.35 o 1071003 34.08/29.35 o 1071089 34.08/29.35 o 1072885 34.08/29.35 o 1074091 34.08/29.35 o 1075887 34.08/29.35 o 1077440 34.08/29.35 o 1077995 34.08/29.36 o 1078510 34.08/29.36 o 1078586 34.08/29.36 o 1078979 34.08/29.36 o 1079115 34.08/29.36 o 1079201 34.08/29.36 o 1080997 34.08/29.36 o 1082507 34.08/29.36 o 1084060 34.08/29.37 o 1085065 34.08/29.37 o 1085208 34.08/29.37 o 1085545 34.08/29.37 o 1086550 34.08/29.37 o 1086985 34.08/29.37 o 1087446 34.08/29.37 o 1087975 34.08/29.37 o 1088061 34.08/29.37 o 1089857 34.08/29.38 o 1090862 34.08/29.38 o 1090991 34.08/29.38 o 1091996 34.08/29.38 o 1092501 34.08/29.38 o 1092644 34.08/29.38 o 1093506 34.08/29.38 o 1093649 34.08/29.38 o 1094054 34.08/29.38 o 1095059 34.08/29.38 o 1095202 34.08/29.38 o 1095303 34.08/29.39 o 1095396 34.08/29.39 o 1096401 34.08/29.39 o 1096967 34.08/29.39 o 1097582 34.08/29.39 o 1099378 34.08/29.39 o 1100383 34.08/29.39 o 1101178 34.08/29.39 o 1101321 34.08/29.39 o 1102016 34.08/29.39 o 1103180 34.08/29.39 o 1104185 34.08/29.39 o 1105147 34.08/29.39 o 1105456 34.08/29.40 o 1106395 34.08/29.40 o 1106819 34.19/29.40 o 1106885 34.19/29.40 o 1107890 34.19/29.40 o 1109372 34.19/29.40 o 1110377 34.19/29.40 o 1110882 34.19/29.40 o 1111025 34.19/29.40 o 1111887 34.19/29.40 o 1112030 34.19/29.41 o 1112435 34.19/29.41 o 1113440 34.19/29.41 o 1113583 34.19/29.41 o 1113684 34.19/29.42 o 1114198 34.19/29.42 o 1114341 34.19/29.42 o 1114442 34.19/29.43 o 1115232 34.19/29.43 o 1115990 34.19/29.44 o 1116091 34.19/29.44 o 1116425 34.19/29.44 o 1117430 34.19/29.44 o 1117610 34.19/29.44 o 1118301 34.19/29.44 o 1119092 34.19/29.44 o 1120097 34.19/29.45 o 1120855 34.19/29.45 o 1121905 34.19/29.45 o 1122910 34.19/29.46 o 1123250 34.19/29.46 o 1123386 34.19/29.46 o 1123472 34.19/29.46 o 1124263 34.19/29.46 o 1125268 34.19/29.46 o 1125410 34.19/29.46 o 1125803 34.19/29.46 o 1125939 34.19/29.46 o 1126025 34.19/29.46 o 1127821 34.19/29.46 o 1128826 34.19/29.46 o 1129584 34.19/29.47 o 1130379 34.19/29.47 o 1131137 34.19/29.47 o 1131238 34.19/29.48 o 1132508 34.19/29.48 o 1133513 34.19/29.48 o 1134061 34.19/29.48 o 1135066 34.19/29.48 o 1135824 34.19/29.49 o 1135925 34.32/29.53 o 1136022 34.32/29.53 o 1136813 34.32/29.53 o 1137818 38.09/32.58 o 1138183 38.09/32.58 o 1138733 38.09/32.58 o 1139444 38.09/32.58 o 1141865 38.09/32.58 o 1142415 38.09/32.58 o 1142544 38.09/32.58 o 1143094 38.09/32.58 o 1146226 38.09/32.58 o 1146776 38.09/32.58 o 1148647 38.09/32.58 o 1149197 38.09/32.59 o 1150038 38.09/32.59 o 1150588 38.09/32.59 o 1152418 38.09/32.59 o 1154839 38.09/32.59 o 1156230 38.09/32.59 o 1156780 38.09/32.59 o 1158089 38.09/32.59 o 1158639 38.09/32.59 o 1159689 38.09/32.59 o 1160239 38.23/32.60 o 1160395 38.23/32.60 o 1161783 38.23/32.60 o 1163174 38.23/32.60 o 1164204 38.23/32.60 o 1165595 38.23/32.60 o 1166221 38.23/32.60 o 1167280 38.23/32.60 o 1168105 38.23/32.61 o 1169366 38.23/32.61 o 1170396 38.23/32.61 o 1171787 38.23/32.61 o 1172255 38.23/32.61 o 1173646 38.23/32.61 o 1173855 38.23/32.61 o 1175246 38.23/32.61 o 1175796 38.23/32.61 o 1176323 38.23/32.61 o 1176479 38.23/32.62 o 1177997 38.23/32.62 o 1179258 38.23/32.62 o 1181679 38.23/32.62 o 1181768 38.23/32.62 o 1185450 38.23/32.62 o 1187871 38.23/32.62 o 1189730 38.23/32.62 o 1191330 38.23/32.63 o 1191880 38.23/32.63 o 1192721 38.23/32.63 o 1193271 38.23/32.63 o 1194207 38.23/32.63 o 1196066 38.23/32.64 o 1197666 38.23/32.64 o 1199057 38.23/32.66 o 1200534 38.23/32.67 o 1201957 38.23/32.67 o 1202515 38.23/32.67 o 1206456 38.23/32.67 o 1209704 38.23/32.67 o 1214961 38.23/32.67 o 1215626 38.23/32.67 o 1220883 38.23/32.67 o 1223481 38.23/32.67 o 1224904 38.23/32.67 o 1229403 38.23/32.68 o 1230161 38.23/32.68 o 1234660 38.23/32.68 o 1238601 38.23/32.68 o 1240201 38.23/32.68 o 1240512 38.23/32.68 o 1242112 38.23/32.68 o 1245011 38.44/32.72 o 1246611 38.44/32.72 o 1248115 38.44/32.72 o 1253372 38.44/32.72 o 1254972 38.44/32.72 o 1256729 38.44/32.72 o 1258329 38.44/32.72 o 1259833 38.44/32.72 o 1265090 38.44/32.73 o 1266690 38.44/32.73 o 1267695 40.84/35.03 o 1270807 40.84/35.04 o 1273546 40.84/35.04 o 1275967 40.84/35.04 o 1276230 40.84/35.04 o 1278651 40.84/35.04 o 1278969 40.84/35.04 o 1281390 40.84/35.04 o 1282611 40.84/35.04 o 1285032 40.84/35.04 o 1285350 40.84/35.04 o 1287771 40.84/35.05 o 1288517 40.84/35.05 o 1290105 40.84/35.05 o 1290851 42.53/36.53 o 1292351 42.53/36.53 o 1292361 42.53/36.53 o 1294147 42.53/36.53 o 1295045 42.53/36.53 o 1295988 42.53/36.53 o 1297784 42.53/36.53 o 1299570 42.53/36.53 o 1300635 42.53/36.53 o 1300645 42.53/36.54 o 1302431 42.53/36.54 o 1303522 42.53/36.57 o 1304930 42.53/36.58 o 1305987 42.53/36.58 o 1306056 42.53/36.58 o 1306850 42.53/36.58 o 1307018 42.53/36.58 o 1308819 42.53/36.58 o 1310497 42.53/36.58 o 1311554 42.53/36.59 o 1311765 42.53/36.59 o 1311877 42.53/36.59 o 1312671 42.53/36.59 o 1312839 42.53/36.59 o 1314640 42.53/36.59 o 1316318 42.64/36.61 o 1317554 43.49/37.31 o 1318051 43.49/37.31 o 1319142 43.49/37.31 o 1320150 43.49/37.31 o 1322668 43.49/37.31 o 1323676 43.49/37.31 o 1326220 43.49/37.32 o 1327228 43.49/37.32 o 1327311 43.49/37.32 o 1328319 43.49/37.32 o 1329778 43.49/37.32 o 1330869 43.49/37.32 o 1331877 43.49/37.32 o 1332623 43.85/37.65 o 1332951 43.85/37.65 o 1332957 43.85/37.65 o 1333186 43.85/37.65 o 1333703 43.85/37.66 o 1333708 43.85/37.66 o 1334094 43.85/37.66 o 1334115 43.85/37.66 o 1334347 43.85/37.66 o 1334353 43.85/37.66 o 1335099 43.85/37.66 o 1335616 44.05/37.81 o 1336170 44.05/37.81 o 1336687 44.05/37.82 o 1336916 44.05/37.82 o 1337433 44.05/37.82 o 1338083 44.05/37.82 o 1338600 44.05/37.82 o 1338829 44.05/37.82 o 1339346 44.45/38.26 o 1339661 44.45/38.26 o 1339937 44.45/38.26 o 1340402 44.45/38.26 o 1340921 44.55/38.36 o 1340953 44.55/38.36 o 1341229 44.55/38.36 o 1342213 44.55/38.36 o 1343015 44.55/38.36 o 1343999 44.55/38.36 o 1344518 45.05/38.86 o 1344664 45.05/38.87 o 1344824 45.05/38.87 o 1344895 45.05/38.87 o 1345117 45.05/38.88 o 1345919 45.05/38.88 o 1346903 45.47/39.15 o 1346913 45.47/39.15 o 1347066 45.47/39.15 o 1348326 45.47/39.15 o 1349310 45.67/39.36 o 1350289 45.67/39.36 o 1350565 45.67/39.36 o 1351549 47.24/40.83 o 1351715 47.24/40.83 o 1352232 47.24/40.83 o 1352296 47.24/40.83 o 1352299 47.24/40.83 o 1353304 47.24/40.83 o 1354268 47.24/40.84 o 1354283 47.24/40.84 o 1355273 47.24/40.84 o 1355790 47.24/40.84 o 1356191 47.24/40.84 o 1356664 47.24/40.84 o 1357181 57.03/50.27 o 1358645 59.35/52.20 o 1359309 59.35/52.21 o 1359323 59.35/52.21 o 1360307 59.35/52.21 o 1360712 59.35/52.21 o 1360736 59.35/52.21 o 1361720 59.47/52.34 o 1362291 59.47/52.34 o 1363777 59.47/52.34 o 1364193 59.47/52.34 o 1366614 59.47/52.34 o 1368100 59.47/52.34 o 1370493 59.47/52.34 o 1372914 59.47/52.34 o 1374550 59.47/52.34 o 1376971 59.47/52.35 o 1378435 59.63/52.44 o 1379419 59.63/52.44 o 1384842 59.63/52.44 o 1386306 59.63/52.47 o 1387746 59.63/52.47 o 1389754 59.63/52.47 o 1391636 59.63/52.47 o 1392055 59.63/52.48 o 1393937 59.63/52.48 o 1394063 59.63/52.48 o 1395945 59.63/52.49 o 1396294 59.63/52.49 o 1396343 59.74/52.57 o 1397865 59.74/52.57 o 1400276 59.74/52.58 o 1404057 59.74/52.58 o 1406468 59.84/52.61 o 1406655 59.84/52.61 o 1408255 59.84/52.62 o 1409263 59.84/52.62 o 1409376 59.84/52.62 o 1409387 59.84/52.62 o 1410348 59.84/52.62 o 1411356 59.84/52.62 o 1411439 59.84/52.62 o 1412447 59.84/52.62 o 1412603 59.84/52.62 o 1414203 59.84/52.62 o 1416155 59.84/52.62 o 1417755 59.84/52.63 o 1418763 59.96/52.77 o 1418887 59.96/52.77 o 1420351 60.15/52.86 o 1420372 60.15/52.86 o 1423178 60.15/52.86 o 1424642 60.15/52.87 o 1426033 60.15/52.87 o 1427216 60.15/52.87 o 1428607 60.28/52.96 o 1429450 60.28/52.96 o 1433227 60.28/52.97 o 1437157 60.28/52.97 o 1441469 60.28/52.97 o 1441822 60.28/52.97 o 1443407 60.28/52.97 o 1448158 60.28/52.98 o 1451034 60.28/52.98 o 1455785 60.28/52.98 o 1459562 60.28/53.00 o 1460798 60.40/53.03 o 1461375 60.40/53.04 o 1462711 60.40/53.04 o 1463695 60.40/53.07 o 1464520 60.40/53.07 o 1466789 60.40/53.07 o 1468202 60.50/53.15 o 1468956 60.50/53.15 o 1471076 60.50/53.15 o 1471620 60.50/53.15 o 1474930 60.50/53.16 o 1477050 61.41/54.04 o 1477237 61.41/54.04 o 1478593 61.41/54.04 o 1481014 61.41/54.04 o 1482376 61.41/54.09 o 1482984 61.41/54.09 o 1483033 61.41/54.09 o 1483246 61.41/54.10 o 1483992 61.41/54.10 o 1484041 61.41/54.10 o 1484558 61.41/54.10 o 1484607 61.41/54.10 o 1485566 61.41/54.10 o 1485615 61.41/54.10 o 1486312 61.41/54.10 o 1486361 61.51/54.13 o 1486883 61.51/54.13 o 1487544 61.51/54.13 o 1490441 61.51/54.13 o 1492862 61.62/54.20 o 1493381 61.83/54.42 o 1494180 61.94/54.56 o 1494631 61.94/54.56 o 1495377 61.94/54.57 o 1497051 61.94/54.57 o 1499020 61.94/54.57 o 1500411 61.94/54.57 o 1501157 61.94/54.57 o 1501588 62.04/54.68 o 1502172 62.04/54.68 o 1502204 62.25/54.82 o 1502439 62.25/54.82 o 1502958 62.25/54.83 o 1503429 62.25/54.83 o 1503948 62.46/55.05 o 1504679 62.46/55.05 o 1505663 62.46/55.08 o 1507062 62.46/55.08 o 1508176 62.46/55.08 o 1509959 62.46/55.08 o 1511073 62.46/55.08 o 1511977 62.46/55.08 o 1513091 62.65/55.27 o 1513565 62.65/55.27 o 1514181 62.65/55.27 o 1514490 62.65/55.27 o 1514927 62.65/55.27 o 1515236 62.65/55.27 o 1515543 62.65/55.27 o 1515852 62.65/55.28 o 1515975 62.65/55.28 o 1516591 62.65/55.28 o 1517396 62.65/55.28 o 1517641 62.65/55.28 o 1519003 62.65/55.28 o 1519054 62.65/55.29 o 1520416 62.65/55.29 o 1521032 62.65/55.29 o 1521341 62.85/55.40 o 1522031 62.85/55.40 o 1522659 62.85/55.40 o 1524021 62.85/55.40 o 1524572 62.85/55.40 o 1525934 63.06/55.62 o 1526747 63.06/55.62 o 1528606 63.16/55.77 o 1529273 63.16/55.77 o 1530257 63.16/55.79 o 1531291 63.16/55.79 o 1532275 63.26/55.80 o 1532281 63.26/55.80 o 1533265 63.47/56.08 o 1533328 63.68/56.21 o 1533379 63.68/56.26 o 1534019 63.68/56.26 o 1534261 63.68/56.26 o 1535025 63.68/56.26 o 1535140 63.68/56.26 o 1535362 63.68/56.27 o 1535694 63.68/56.27 o 1537158 63.68/56.27 o 1537922 63.68/56.29 o 1539290 63.68/56.29 o 1539934 63.68/56.29 o 1540175 63.68/56.30 o 1545501 63.68/56.30 o 1546095 63.78/56.30 o 1546332 63.78/56.30 o 1546739 63.78/56.30 o 1552306 63.78/56.30 o 1557632 63.98/56.57 o 1561625 64.09/56.66 o 1562703 64.09/56.66 o 1564163 64.09/56.66 o 1565277 64.09/56.66 o 1565959 64.09/56.66 o 1567073 64.09/56.67 o 1568640 64.09/56.67 o 1569754 64.39/56.94 o 1570792 64.39/56.94 o 1571340 65.94/58.41 o 1572054 65.94/58.48 o 1572189 65.94/58.48 o 1573425 65.94/58.48 o 1574433 65.94/58.49 o 1574884 65.94/58.49 o 1575892 65.94/58.49 o 1577295 65.94/58.49 o 1578303 66.07/58.50 o 1580446 66.07/58.50 o 1581848 66.07/58.51 o 1582856 66.07/58.51 o 1583084 66.07/58.51 o 1584092 66.07/58.53 o 1585004 66.07/58.53 o 1587415 66.07/58.55 o 1588651 66.07/58.55 o 1589659 66.07/58.58 o 1589811 66.07/58.58 o 1590545 66.07/58.58 o 1591309 66.07/58.58 o 1592055 66.07/58.58 o 1592574 66.07/58.58 o 1592969 66.07/58.59 o 1593488 66.07/58.59 o 1593733 66.07/58.59 o 1594252 66.99/59.44 o 1594289 66.99/59.44 o 1594871 66.99/59.44 o 1594990 66.99/59.44 o 1597743 66.99/59.44 o 1597887 66.99/59.44 o 1600640 67.10/59.50 o 1600881 67.10/59.50 o 1601865 67.10/59.50 o 1603263 67.10/59.50 o 1604863 67.10/59.50 o 1605847 67.10/59.51 o 1606043 67.10/59.51 o 1606659 67.10/59.51 o 1607643 67.10/59.51 o 1608123 67.10/59.51 o 1609107 67.10/59.54 o 1610559 67.10/59.54 o 1611516 67.10/59.54 o 1612980 67.51/59.98 o 1616202 70.52/62.76 o 1616378 70.52/62.76 o 1616699 70.52/62.76 o 1617078 70.52/62.76 o 1617463 70.52/62.76 o 1617842 70.62/62.85 o 1618715 70.62/62.85 o 1619461 70.62/62.86 o 1619865 70.62/62.86 o 1620716 70.62/62.86 o 1621724 70.62/62.86 o 1622243 70.62/62.86 o 1622470 70.62/62.86 o 1622989 70.62/62.89 o 1623786 70.62/62.90 o 1624794 70.72/63.00 o 1625892 70.72/63.00 o 1626638 70.72/63.00 o 1627006 70.72/63.00 o 1627752 70.84/63.01 o 1627900 70.84/63.01 o 1629014 70.84/63.01 o 1629760 70.84/63.01 o 1629967 70.84/63.02 o 1630899 70.84/63.02 o 1631645 70.84/63.02 o 1631991 70.84/63.02 o 1633105 70.84/63.02 o 1633999 70.84/63.02 o 1635113 70.84/63.02 o 1635859 70.84/63.02 o 1635922 70.84/63.02 o 1635968 70.84/63.03 o 1636816 70.84/63.03 o 1637382 70.84/63.03 o 1637712 70.84/63.03 o 1639390 70.84/63.03 o 1640136 70.84/63.03 o 1640787 70.84/63.03 o 1641533 70.84/63.03 o 1642465 70.84/63.03 o 1643211 70.84/63.03 o 1643579 70.84/63.04 o 1644325 70.84/63.08 o 1648537 71.03/63.29 o 1649224 71.13/63.40 o 1650541 71.13/63.40 o 1650920 71.23/63.40 o 1651385 71.23/63.40 o 1651764 71.53/63.71 o 1652434 71.53/63.71 o 1653418 71.53/63.71 o 1654347 71.53/63.71 o 1655331 71.63/63.81 o 1657000 71.63/63.82 o 1658241 71.63/63.82 o 1658693 71.63/63.83 o 1660552 71.74/63.93 o 1661254 71.74/63.93 o 1661773 72.37/64.53 o 1664458 72.37/64.54 o 1667062 72.37/64.54 o 1671810 72.78/64.97 o 1672587 72.78/64.97 o 1674161 72.78/64.98 o 1674617 72.78/64.98 o 1676295 72.78/64.98 o 1676476 72.78/64.98 o 1678154 73.01/65.12 o 1679579 73.01/65.19 o 1679621 73.01/65.19 o 1680103 73.01/65.20 o 1680482 73.01/65.20 o 1681936 73.10/65.20 o 1682944 73.10/65.20 o 1683423 73.10/65.20 o 1684765 73.10/65.20 o 1686443 73.10/65.20 o 1687451 73.10/65.20 o 1687830 73.10/65.20 o 1687933 73.10/65.20 o 1688312 73.92/66.10 o 1688497 74.02/66.11 o 1690134 74.02/66.11 o 1692262 74.02/66.11 o 1694270 78.75/70.84 o 1694818 78.85/70.90 o 1696079 78.85/70.90 o 1697992 78.85/70.90 o 1700918 78.85/70.90 o 1704470 78.85/70.91 o 1706383 78.85/70.91 o 1708241 79.06/71.18 o 1708611 79.06/71.19 o 1709375 81.16/73.27 o 1710050 81.16/73.27 o 1710569 81.16/73.29 o 1711948 81.26/73.31 o 1712098 81.26/73.31 o 1713956 81.26/73.31 o 1714475 81.46/73.56 o 1715096 81.46/73.56 o 1716104 84.90/76.92 o 1716365 84.90/76.93 o 1717044 84.90/76.93 o 1718028 84.90/76.93 o 1718382 84.90/76.93 o 1719366 84.90/76.93 o 1719618 84.90/76.93 o 1720602 85.40/77.42 o 1722692 85.40/77.42 o 1723952 85.40/77.42 o 1724796 85.40/77.46 o 1724923 85.40/77.47 o 1724996 85.40/77.47 o 1725375 85.40/77.47 o 1726965 85.40/77.47 o 1727344 85.40/77.48 o 1727484 85.40/77.48 o 1727863 85.70/77.77 o 1729218 85.70/77.77 o 1731226 85.70/77.77 o 1731745 85.70/77.77 o 1732210 85.70/77.77 o 1732729 86.82/78.84 o 1732825 86.82/78.84 o 1732943 86.82/78.85 o 1734621 86.82/78.86 o 1735000 88.14/80.13 o 1735094 88.14/80.13 o 1736694 89.24/81.28 o 1736754 89.24/81.28 o 1737273 89.24/81.29 o 1737738 89.24/81.29 o 1738257 89.24/81.29 o 1739013 89.24/81.29 o 1739997 89.24/81.29 o 1740284 89.24/81.29 o 1742080 89.24/81.29 o 1743064 89.24/81.29 o 1743583 89.34/81.30 o 1743842 89.34/81.30 o 1744826 89.34/81.30 o 1745345 89.34/81.31 o 1745638 89.34/81.31 o 1746157 89.34/81.31 o 1746622 89.34/81.31 o 1747141 89.54/81.51 o 1747637 89.54/81.51 o 1748909 89.54/81.51 o 1749655 89.54/81.51 o 1749893 89.54/81.51 o 1750639 89.54/81.53 o 1751140 89.54/81.53 o 1751984 89.54/81.53 o 1752124 89.54/81.53 o 1752968 89.54/81.54 o 1753714 89.54/81.55 o 1753983 89.54/81.55 o 1754729 89.54/81.55 o 1754827 89.54/81.56 o 1755573 89.54/81.56 o 1756177 89.54/81.56 o 1756275 89.54/81.56 o 1757021 89.64/81.68 o 1757067 89.64/81.68 o 1758667 89.64/81.70 o 1761508 89.74/81.70 o 1763108 90.44/82.46 o 1763531 90.44/82.46 o 1763575 90.44/82.46 o 1763775 90.44/82.46 o 1764242 90.44/82.46 o 1764629 90.44/82.46 o 1765375 90.44/82.46 o 1765842 90.94/82.99 o 1766444 91.15/83.19 o 1767577 91.15/83.19 o 1768561 91.85/83.85 o 1768882 91.85/83.85 o 1769315 91.85/83.86 o 1769694 91.85/83.86 o 1770299 91.85/83.86 o 1770678 91.85/83.86 o 1770915 91.85/83.86 o 1771153 91.85/83.86 o 1771899 91.85/83.86 o 1772278 91.85/83.88 o 1772361 91.85/83.88 o 1772380 91.85/83.88 o 1772731 91.85/83.88 o 1772825 91.85/83.88 o 1772887 91.85/83.88 o 1773320 91.85/83.88 o 1774304 91.85/83.88 o 1774683 91.85/83.88 o 1774920 91.85/83.88 o 1775299 91.85/83.88 o 1775904 91.85/83.88 o 1776283 91.85/83.89 o 1776650 91.85/83.89 o 1777029 92.35/84.31 o 1777033 92.35/84.31 o 1777052 92.35/84.31 o 1779096 92.35/84.31 o 1780955 93.38/85.39 o 1781982 93.38/85.39 o 1782128 93.38/85.39 o 1783242 93.38/85.39 o 1783621 93.38/85.39 o 1784342 93.38/85.39 o 1784721 93.48/85.44 o 1785058 93.48/85.44 o 1786118 93.48/85.44 o 1786264 93.48/85.44 o 1787378 93.48/85.44 o 1788478 93.48/85.49 o 1788857 93.58/85.51 o 1789169 93.58/85.51 o 1789548 93.58/85.51 o 1790283 93.58/85.51 o 1790662 94.30/86.22 o 1791435 94.30/86.22 o 1792601 94.30/86.22 o 1794619 94.30/86.22 o 1795603 94.50/86.44 o 1795886 94.50/86.44 o 1796008 94.50/86.44 o 1796138 94.50/86.44 o 1797122 100.85/92.72 o 1797205 100.85/92.72 o 1797952 100.85/92.72 o 1800972 100.85/92.72 o 1801956 102.05/93.94 o 1802240 102.05/93.94 o 1802707 102.26/94.13 o 1803357 102.55/94.41 o 1803406 105.44/97.29 o 1804708 105.44/97.30 o 1805227 105.44/97.30 o 1805716 105.54/97.30 o 1806235 105.54/97.30 o 1806976 105.54/97.30 o 1807495 125.65/117.25 o 1809836 125.65/117.26 o 1810303 125.85/117.47 o 1814059 125.85/117.47 o 1814526 125.95/117.53 o 1815625 125.95/117.53 o 1816092 125.95/117.55 o 1816277 125.95/117.55 o 1820180 125.95/117.55 o 1820647 143.26/134.72 o 1821924 143.26/134.72 o 1822443 252.05/241.40 s SATISFIABLE 252.05/241.41 v <instantiation> 252.05/241.41 v <list> 252.05/241.41 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 252.05/241.41 v </list> 252.05/241.41 v <values> 252.05/241.41 v 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 252.05/241.41 v </values> 252.05/241.41 v </instantiation>
OK 1822443
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14550 MiB free) memory of node 1: 16384 MiB (10426 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310551-1534328967/watcher-4310551-1534328967 -o /tmp/evaluation-result-4310551-1534328967/solver-4310551-1534328967 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25580 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 797138777 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310551-1534328967.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26105, runsolver pid=26102 Current StackSize limit: 8192 KiB [startup+0.100166 s]* /proc/loadavg: 1.62 1.83 1.80 3/215 26120 /proc/meminfo: memFree=25559164/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14082736 memory=33072 CPUtime=0.11 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 7199 0 0 0 10 1 0 0 20 0 15 0 250459833 14420721664 8268 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3520684 8268 3141 1 0 3482761 0 [pid=26105/tid=26107] ppid=26102 vsize=14082736 memory=-8557575366716460675 CPUtime=0.09 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 5321 0 0 0 9 0 0 0 20 0 15 0 250459834 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474633318528 140474609362781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459836 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459836 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474102985888 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459837 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474101932784 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 8334 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) S 26102 26105 25549 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 8400 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 8400 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459840 14420721664 8400 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 33072 KiB [startup+0.210346 s]* /proc/loadavg: 1.62 1.83 1.80 6/215 26120 /proc/meminfo: memFree=25543784/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14082736 memory=46984 CPUtime=0.3 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 10355 0 0 0 28 2 0 0 20 0 15 0 250459833 14420721664 11746 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3520684 11746 3364 1 0 3482761 0 [pid=26105/tid=26107] ppid=26102 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 8098 0 0 0 18 1 0 0 20 0 15 0 250459834 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474633312128 140474238416026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14082736 memory=288370625447335552 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250459836 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459836 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474102985888 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459837 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474101932784 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) R 26102 26105 25549 0 -1 4202560 391 0 0 0 1 0 0 0 20 0 15 0 250459839 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474099829488 140474610616569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) R 26102 26105 25549 0 -1 4202560 212 0 0 0 1 0 0 0 20 0 15 0 250459839 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474098777040 140474608332863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0.05 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) R 26102 26105 25549 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 15 0 250459839 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459840 14420721664 11746 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 46984 KiB [startup+0.311221 s]* /proc/loadavg: 1.62 1.83 1.80 4/215 26120 /proc/meminfo: memFree=25540744/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14082736 memory=50232 CPUtime=0.43 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 10720 0 0 0 41 2 0 0 20 0 15 0 250459833 14420721664 12558 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3520684 12558 3366 1 0 3482761 0 [pid=26105/tid=26107] ppid=26102 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 8434 0 0 0 28 1 0 0 20 0 15 0 250459834 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474633248704 140474610650496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14082736 memory=4294976238 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14082736 memory=288370625447335552 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459835 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250459836 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459836 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474102985888 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459837 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474101932784 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 250459839 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 250459839 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0.07 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) S 26102 26105 25549 0 -1 1077944384 281 0 0 0 7 0 0 0 20 0 15 0 250459839 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14082736 memory=140249295623808 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459840 14420721664 12558 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50232 KiB [startup+0.700763 s] /proc/loadavg: 1.62 1.83 1.80 4/215 26120 /proc/meminfo: memFree=25518216/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14084804 memory=88572 CPUtime=0.99 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 17557 0 0 0 95 4 0 0 20 0 15 0 250459833 14422839296 22143 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3521201 22143 3497 1 0 3483273 0 [pid=26105/tid=26107] ppid=26102 vsize=14084804 memory=34104 CPUtime=0.67 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 14871 0 0 0 64 3 0 0 20 0 15 0 250459834 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474633311040 140474613167454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14084804 memory=11908 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14084804 memory=492 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14084804 memory=1560 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459835 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14084804 memory=1156 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250459836 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459836 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474102985888 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14084804 memory=1996 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459837 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474101932784 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14084804 memory=7881696724453321575 CPUtime=0.09 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 569 0 0 0 9 0 0 0 20 0 15 0 250459839 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14084804 memory=7453282923461570405 CPUtime=0.06 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 15 0 250459839 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) R 26102 26105 25549 0 -1 4202560 382 0 0 0 15 0 0 0 20 0 15 0 250459839 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474097723888 140474629108314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14084804 memory=972 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459840 14422839296 22143 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88572 KiB [startup+1.50082 s] /proc/loadavg: 1.62 1.83 1.80 6/215 26120 /proc/meminfo: memFree=25473980/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14086852 memory=187880 CPUtime=2.89 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 23942 0 0 0 282 7 0 0 20 0 15 0 250459833 14424936448 46970 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3521713 46970 3553 1 0 3483785 0 [pid=26105/tid=26107] ppid=26102 vsize=14086852 memory=148928 CPUtime=1.47 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 17468 0 0 0 142 5 0 0 20 0 15 0 250459834 14424936448 46970 33554432000 4194304 4196468 140721067480528 140474633321576 140474242148427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14424936448 46970 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14424936448 46970 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459835 14424936448 46970 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459835 14424936448 46970 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 250459836 14424936448 46970 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 ################ # More data... # ################ /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 32641 0 0 0 10126 49 0 0 20 0 15 0 250459834 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474633323984 140474248687556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14092996 memory=3521788 CPUtime=0.44 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 2343 0 0 0 28 16 0 0 20 0 15 0 250459835 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14092996 memory=3519144 CPUtime=0.45 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 1345 0 0 0 28 17 0 0 20 0 15 0 250459835 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14092996 memory=56 CPUtime=0.45 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1593 0 0 0 28 17 0 0 20 0 15 0 250459835 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14092996 memory=3521364 CPUtime=0.42 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 1979 0 0 0 26 16 0 0 20 0 15 0 250459835 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14092996 memory=2972 CPUtime=0.03 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 2831 0 0 0 3 0 0 0 20 0 15 0 250459836 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14092996 memory=1192 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250459836 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474102985952 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14092996 memory=1520 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250459837 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474101932800 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14092996 memory=3544 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14092996 memory=66464 CPUtime=2.86 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 10776 0 0 0 285 1 0 0 20 0 15 0 250459839 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14092996 memory=776 CPUtime=2.83 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 7956 0 0 0 281 2 0 0 20 0 15 0 250459839 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14092996 memory=1876 CPUtime=1.18 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) S 26102 26105 25549 0 -1 1077944384 8544 0 0 0 115 3 0 0 20 0 15 0 250459839 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14092996 memory=3521364 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14092996 memory=3503344 CPUtime=0.04 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 492 0 0 0 2 2 0 0 20 0 15 0 250459840 14431227904 880447 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 110.55 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3521788 KiB [startup+162.301 s] /proc/loadavg: 1.64 1.82 1.81 3/216 26207 /proc/meminfo: memFree=23830480/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14092996 memory=3492424 CPUtime=171.11 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 81160 0 0 0 16970 141 0 0 20 0 15 0 250459833 14431227904 873106 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3523249 873106 3601 1 0 3485321 0 [pid=26105/tid=26107] ppid=26102 vsize=14092996 memory=3489868 CPUtime=161.59 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 36461 0 0 0 16110 49 0 0 20 0 15 0 250459834 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474633323984 140474240292512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14092996 memory=3521948 CPUtime=0.58 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 2625 0 0 0 38 20 0 0 20 0 15 0 250459835 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14092996 memory=3513276 CPUtime=0.57 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 2338 0 0 0 37 20 0 0 20 0 15 0 250459835 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14092996 memory=3494488 CPUtime=0.58 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 1842 0 0 0 38 20 0 0 20 0 15 0 250459835 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14092996 memory=3489868 CPUtime=0.55 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 2241 0 0 0 36 19 0 0 20 0 15 0 250459835 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14092996 memory=3492424 CPUtime=0.06 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 3095 0 0 0 5 1 0 0 20 0 15 0 250459836 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14092996 memory=3036 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250459836 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474102985952 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250459837 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474101932800 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14092996 memory=3494488 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14092996 memory=1996 CPUtime=2.91 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 11305 0 0 0 290 1 0 0 20 0 15 0 250459839 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14092996 memory=3500616 CPUtime=2.92 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 10036 0 0 0 290 2 0 0 20 0 15 0 250459839 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14092996 memory=11068 CPUtime=1.19 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) S 26102 26105 25549 0 -1 1077944384 9272 0 0 0 116 3 0 0 20 0 15 0 250459839 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14092996 memory=3498060 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14092996 memory=3544 CPUtime=0.07 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 513 0 0 0 4 3 0 0 20 0 15 0 250459840 14431227904 873106 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 171.11 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3492424 KiB [startup+222.301 s] /proc/loadavg: 1.40 1.71 1.77 3/216 26208 /proc/meminfo: memFree=23217448/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14092996 memory=3481636 CPUtime=232.49 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 93407 0 0 0 23094 155 0 0 20 0 15 0 250459833 14431227904 870409 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3523249 870409 3601 1 0 3485321 0 [pid=26105/tid=26107] ppid=26102 vsize=14092996 memory=3482660 CPUtime=221.01 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 40918 0 0 0 22051 50 0 0 20 0 15 0 250459834 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474633323440 140474248687556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14092996 memory=20340 CPUtime=1.02 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 3251 0 0 0 79 23 0 0 20 0 15 0 250459835 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14092996 memory=3488968 CPUtime=1.01 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 3086 0 0 0 78 23 0 0 20 0 15 0 250459835 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14092996 memory=3484204 CPUtime=1.03 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 3268 0 0 0 80 23 0 0 20 0 15 0 250459835 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14092996 memory=3484204 CPUtime=0.99 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 3547 0 0 0 78 21 0 0 20 0 15 0 250459835 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14092996 memory=3482664 CPUtime=0.16 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 3664 0 0 0 13 3 0 0 20 0 15 0 250459836 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14092996 memory=3481636 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250459836 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474102985952 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14092996 memory=3484692 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250459837 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474101932800 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14092996 memory=321 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14092996 memory=3492980 CPUtime=2.95 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 12936 0 0 0 294 1 0 0 20 0 15 0 250459839 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14092996 memory=3492904 CPUtime=2.92 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 10882 0 0 0 290 2 0 0 20 0 15 0 250459839 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14092996 memory=5296 CPUtime=1.19 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) S 26102 26105 25549 0 -1 1077944384 9863 0 0 0 116 3 0 0 20 0 15 0 250459839 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14092996 memory=3482660 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14092996 memory=3481636 CPUtime=0.11 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 560 0 0 0 6 5 0 0 20 0 15 0 250459840 14431227904 870409 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 232.49 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3481636 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+241.401 s] /proc/loadavg: 1.36 1.68 1.76 3/216 26208 /proc/meminfo: memFree=23226456/32770624 swapFree=67030680/67108860 [pid=26105] ppid=26102 vsize=14092996 memory=3472892 CPUtime=252.05 cores=0,2,4,6 /proc/26105/stat : 26105 (java) S 26102 26105 25549 0 -1 1077944320 97603 0 0 0 25048 157 0 0 20 0 15 0 250459833 14431227904 868223 33554432000 4194304 4196468 140721067480528 140721067463072 140474629086967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 /proc/26105/statm: 3523249 868223 3601 1 0 3485321 0 [pid=26105/tid=26107] ppid=26102 vsize=14092996 memory=6791534058613427641 CPUtime=239.91 cores=0,2,4,6 /proc/26105/task/26107/stat : 26107 (java) R 26102 26105 25549 0 -1 4202560 42921 0 0 0 23940 51 0 0 20 0 15 0 250459834 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474633323984 140474244329360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26108] ppid=26102 vsize=14092996 memory=4872558044660077418 CPUtime=1.17 cores=0,2,4,6 /proc/26105/task/26108/stat : 26108 (java) S 26102 26105 25549 0 -1 1077944384 3540 0 0 0 94 23 0 0 20 0 15 0 250459835 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474559175696 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26109] ppid=26102 vsize=14092996 memory=6791534058613427641 CPUtime=1.17 cores=0,2,4,6 /proc/26105/task/26109/stat : 26109 (java) S 26102 26105 25549 0 -1 1077944384 3837 0 0 0 93 24 0 0 20 0 15 0 250459835 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474558123152 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26110] ppid=26102 vsize=14092996 memory=4872558044660077418 CPUtime=1.18 cores=0,2,4,6 /proc/26105/task/26110/stat : 26110 (java) S 26102 26105 25549 0 -1 1077944384 3875 0 0 0 95 23 0 0 20 0 15 0 250459835 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474557070096 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26111] ppid=26102 vsize=14092996 memory=2228 CPUtime=1.15 cores=0,2,4,6 /proc/26105/task/26111/stat : 26111 (java) S 26102 26105 25549 0 -1 1077944384 3792 0 0 0 93 22 0 0 20 0 15 0 250459835 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474222033808 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26112] ppid=26102 vsize=14092996 memory=34112 CPUtime=0.19 cores=0,2,4,6 /proc/26105/task/26112/stat : 26112 (java) S 26102 26105 25549 0 -1 1077944384 3939 0 0 0 16 3 0 0 20 0 15 0 250459836 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474104039664 140474629098114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26113] ppid=26102 vsize=14092996 memory=11908 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26113/stat : 26113 (java) S 26102 26105 25549 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250459836 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474102985952 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26114] ppid=26102 vsize=14092996 memory=303430223234596890 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26114/stat : 26114 (java) S 26102 26105 25549 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250459837 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474101932800 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26115] ppid=26102 vsize=14092996 memory=288230583166042426 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26115/stat : 26115 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474100881360 140474629105563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26116] ppid=26102 vsize=14092996 memory=14408220252834352 CPUtime=2.95 cores=0,2,4,6 /proc/26105/task/26116/stat : 26116 (java) S 26102 26105 25549 0 -1 1077944384 12939 0 0 0 294 1 0 0 20 0 15 0 250459839 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474099829488 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26117] ppid=26102 vsize=14092996 memory=3475464 CPUtime=2.92 cores=0,2,4,6 /proc/26105/task/26117/stat : 26117 (java) S 26102 26105 25549 0 -1 1077944384 10884 0 0 0 290 2 0 0 20 0 15 0 250459839 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474098776944 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26118] ppid=26102 vsize=14092996 memory=288230583166042426 CPUtime=1.19 cores=0,2,4,6 /proc/26105/task/26118/stat : 26118 (java) S 26102 26105 25549 0 -1 1077944384 9866 0 0 0 116 3 0 0 20 0 15 0 250459839 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474097723888 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26119] ppid=26102 vsize=14092996 memory=14408220252834352 CPUtime=0 cores=0,2,4,6 /proc/26105/task/26119/stat : 26119 (java) S 26102 26105 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459839 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474096671584 140474629097173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 [pid=26105/tid=26120] ppid=26102 vsize=14092996 memory=0 CPUtime=0.13 cores=0,2,4,6 /proc/26105/task/26120/stat : 26120 (java) S 26102 26105 25549 0 -1 1077944384 578 0 0 0 7 6 0 0 20 0 15 0 250459840 14431227904 868223 33554432000 4194304 4196468 140721067480528 140474095618608 140474629098114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22200320 140721067488347 140721067488526 140721067488526 140721067491279 0 Current children cumulated CPU time: 252.05 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 3472892 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+241.446 s] # the end of solver process 26105 was just reported to runsolver # cumulated CPU time of all completed processes: user=250.505 s, system=1.60044 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 241.446 CPU time (s): 252.105 CPU user time (s): 250.505 CPU system time (s): 1.60044 CPU usage (%): 104.415 Max. virtual memory (cumulated for all children) (KiB): 14092996 Max. memory (cumulated for all children) (KiB): 3524348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 250.505 system time used= 1.60044 maximum resident set size= 3528444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99118 page faults= 0 swaps= 0 block input operations= 0 block output operations= 424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14170 involuntary context switches= 525 # summary of solver processes directly reported to runsolver: # pid: 26105 # total CPU time (s): 252.105 # total CPU user time (s): 250.505 # total CPU system time (s): 1.60044 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.43467 second user time and 2.38877 second system time The end
Begin job on node102 at 2018-08-15 12:29:27 IDJOB=4310551 IDBENCH=141155 IDSOLVER=2796 FILE ID=node102/4310551-1534328967 RUNJOBID= node102-1534328374-25580 PBS_JOBID= 21038150 Free space on /tmp= 39416 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay300_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310551-1534328967/watcher-4310551-1534328967 -o /tmp/evaluation-result-4310551-1534328967/solver-4310551-1534328967 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25580 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 797138777 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310551-1534328967.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456 RANDOM SEED=797138777 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25577480 kB MemAvailable: 28422824 kB Buffers: 160188 kB Cached: 2950124 kB SwapCached: 51224 kB Active: 5061348 kB Inactive: 1574888 kB Active(anon): 3450144 kB Inactive(anon): 135252 kB Active(file): 1611204 kB Inactive(file): 1439636 kB Unevictable: 7348 kB Mlocked: 7348 kB SwapTotal: 67108860 kB SwapFree: 67030680 kB Dirty: 35780 kB Writeback: 0 kB AnonPages: 3508564 kB Mapped: 67196 kB Shmem: 57196 kB Slab: 250432 kB SReclaimable: 220676 kB SUnreclaim: 29756 kB KernelStack: 3792 kB PageTables: 12348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4807876 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3364864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 39380 MiB End job on node102 at 2018-08-15 12:33:28