Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-07-02 | SAT (TO) | 2015882 | 2400.09 | 2333.14 |
| 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 | 1958918 |
| Best CPU time to get the best result obtained on this benchmark | 2520.08 |
| 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.69/0.54 c version: 2018-07-02 0.69/0.55 c seed: 547230983 0.69/0.55 c timeout: 2400 0.69/0.55 c memlimit: 11000 0.69/0.55 c nbcore: 4 0.69/0.57 c Parsing instance... 3.75/1.98 c Parsing done, starting first complete search... 5.06/2.41 o 0 5.06/2.41 o 4434 5.06/2.41 o 8147 5.06/2.41 o 12581 5.06/2.41 o 40805 5.06/2.41 o 45239 5.06/2.41 o 49375 5.06/2.41 o 59543 5.06/2.41 o 63977 5.06/2.41 o 68113 5.06/2.41 o 68427 5.06/2.41 o 68725 5.06/2.41 o 72861 5.06/2.41 o 100098 5.06/2.41 o 104234 5.06/2.41 o 127375 5.06/2.41 o 131511 5.06/2.41 o 133036 5.06/2.41 o 137684 5.06/2.41 o 139209 5.06/2.41 o 141820 5.06/2.41 o 143345 5.06/2.41 o 144272 5.06/2.41 o 148210 5.06/2.41 o 149137 5.06/2.41 o 149735 5.06/2.41 o 150662 5.06/2.41 o 150926 5.06/2.41 o 168613 5.06/2.41 o 175077 5.06/2.41 o 177001 5.06/2.41 o 201114 5.06/2.41 o 205548 5.06/2.41 o 211737 5.06/2.41 o 212655 5.06/2.41 o 223463 5.06/2.41 o 224988 5.06/2.41 o 227449 5.06/2.41 o 228974 5.06/2.41 o 230388 5.06/2.41 o 231251 5.06/2.41 o 232776 5.06/2.41 o 233087 5.06/2.41 o 233649 5.06/2.41 o 242672 5.06/2.41 o 244197 5.06/2.41 o 248333 5.06/2.41 o 249774 5.06/2.41 o 251698 5.06/2.41 o 252260 5.06/2.41 o 253255 5.06/2.41 o 253817 5.06/2.41 o 259645 5.06/2.41 o 260207 5.06/2.41 o 265094 5.06/2.41 o 266619 5.06/2.41 o 269230 5.06/2.41 o 270755 5.06/2.41 o 272815 5.06/2.41 o 274340 5.06/2.41 o 278476 5.06/2.41 o 278702 5.06/2.41 o 279697 5.06/2.41 o 280259 5.06/2.41 o 287414 5.06/2.41 o 287976 5.06/2.41 o 290131 5.06/2.41 o 294117 5.06/2.41 o 295044 5.06/2.41 o 295531 5.06/2.41 o 296458 5.06/2.41 o 297919 5.06/2.41 o 298846 5.06/2.41 o 299140 5.06/2.41 o 300067 5.06/2.41 o 300629 5.06/2.41 o 303276 5.06/2.41 o 303838 5.06/2.41 o 304203 5.06/2.41 o 304765 5.06/2.41 o 309488 5.06/2.41 o 311045 5.06/2.41 o 323376 5.06/2.41 o 323938 5.06/2.41 o 332595 5.06/2.41 o 334519 5.06/2.41 o 335446 5.06/2.41 o 338985 5.06/2.41 o 339912 5.06/2.41 o 340909 5.06/2.41 o 341836 5.06/2.41 o 342107 5.06/2.41 o 342669 5.06/2.41 o 343664 5.06/2.41 o 344226 5.06/2.41 o 345588 5.06/2.41 o 346150 5.06/2.41 o 347002 5.06/2.41 o 347564 5.06/2.41 o 348339 5.06/2.41 o 348901 5.06/2.41 o 354541 5.06/2.41 o 355103 5.06/2.44 o 361567 5.06/2.44 o 361637 5.06/2.44 o 362292 5.06/2.44 o 362628 5.06/2.44 o 363849 5.06/2.44 o 364552 5.06/2.44 o 365773 5.06/2.47 o 367322 5.06/2.47 o 368249 5.06/2.47 o 369246 5.06/2.47 o 370173 5.06/2.47 o 370803 5.06/2.47 o 371730 5.06/2.47 o 375119 5.06/2.47 o 376046 5.06/2.48 o 376201 5.06/2.48 o 376531 5.06/2.48 o 377458 5.06/2.48 o 379255 5.06/2.48 o 380182 5.06/2.49 o 380216 5.06/2.49 o 381143 5.06/2.49 o 381773 5.06/2.49 o 382700 5.06/2.50 o 389920 5.06/2.50 o 390847 5.39/2.50 o 392799 5.39/2.50 o 393726 5.39/2.50 o 394056 5.39/2.50 o 394983 5.39/2.51 o 395063 5.39/2.51 o 395393 5.39/2.51 o 396320 5.39/2.51 o 398117 5.39/2.51 o 399044 5.39/2.54 o 400036 5.39/2.54 o 400963 5.39/2.54 o 402377 5.39/2.54 o 403934 5.39/2.54 o 404444 5.39/2.55 o 405296 5.39/2.55 o 405858 5.39/2.57 o 406106 5.39/2.57 o 406299 5.39/2.58 o 406534 5.39/2.58 o 407096 5.39/2.58 o 408458 5.39/2.58 o 409020 5.39/2.58 o 410015 5.39/2.58 o 410577 5.39/2.58 o 410770 5.39/2.58 o 411465 5.39/2.58 o 412027 5.39/2.59 o 412136 5.39/2.59 o 412609 5.39/2.59 o 413171 5.39/2.59 o 413364 5.39/2.60 o 414112 5.39/2.60 o 414674 5.39/2.60 o 415333 5.70/2.60 o 415895 5.70/2.60 o 416088 5.70/2.62 o 416753 5.70/2.62 o 417315 5.70/2.62 o 417974 5.70/2.62 o 418536 5.70/2.62 o 418729 5.70/2.63 o 420698 5.70/2.63 o 421260 5.70/2.63 o 421453 5.70/2.67 o 421544 5.70/2.67 o 421911 5.70/2.67 o 422906 5.70/2.67 o 423468 5.70/2.67 o 424127 5.70/2.67 o 424689 5.70/2.67 o 424882 5.97/2.71 o 425815 5.97/2.71 o 427372 5.97/2.72 o 428559 5.97/2.72 o 430801 5.97/2.72 o 436860 5.97/2.72 o 437422 5.97/2.72 o 437615 5.97/2.72 o 437802 5.97/2.74 o 438122 5.97/2.74 o 438315 5.97/2.75 o 439438 5.97/2.75 o 440659 5.97/2.75 o 440852 5.97/2.76 o 441924 5.97/2.76 o 443145 5.97/2.76 o 443338 5.97/2.76 o 444332 5.97/2.76 o 446574 5.97/2.76 o 446767 5.97/2.79 o 447433 5.97/2.79 o 448654 5.97/2.79 o 448847 6.15/2.84 o 449034 6.15/2.87 o 449046 6.15/2.87 o 449973 6.15/2.87 o 451160 6.15/2.87 o 453402 6.27/2.92 o 453576 6.27/2.92 o 453943 6.27/2.92 o 455500 6.27/2.92 o 456013 6.27/2.92 o 457570 6.27/2.92 o 459095 6.27/2.93 o 459367 6.27/2.93 o 460294 6.27/2.93 o 460892 6.27/2.93 o 461819 6.27/2.93 o 462047 6.27/2.93 o 463189 6.27/2.93 o 467063 6.27/2.93 o 472791 6.48/3.13 o 473103 6.48/3.13 o 473178 6.48/3.13 o 473496 6.48/3.13 o 475420 6.48/3.14 o 476977 6.48/3.14 o 478234 6.48/3.17 o 479731 6.48/3.17 o 480988 6.87/3.52 o 481108 6.87/3.52 o 481475 6.87/3.52 o 483032 6.87/3.52 o 483828 6.87/3.52 o 486030 6.87/3.52 o 487587 6.87/3.53 o 488844 7.50/4.18 o 490231 7.50/4.18 o 490549 7.50/4.18 o 492473 8.28/4.88 o 493894 8.28/4.88 o 494237 8.28/4.88 o 496161 8.59/5.19 o 497666 8.59/5.19 o 499590 11.24/7.74 o 500433 11.94/8.47 o 500924 11.94/8.47 o 500949 11.94/8.47 o 502348 11.94/8.47 o 503191 11.94/8.47 o 503605 11.94/8.47 o 504448 11.94/8.49 o 504904 11.94/8.49 o 505747 12.05/8.51 o 505875 12.05/8.51 o 508791 12.05/8.51 o 509634 14.25/10.78 o 510506 14.25/10.78 o 510849 14.25/10.78 o 512773 14.25/10.78 o 512995 14.25/10.78 o 514830 14.25/10.78 o 516754 14.36/10.81 o 517397 14.36/10.81 o 519321 17.05/13.57 o 520153 30.25/26.60 c First complete search done, starting ALNS search... 31.19/27.27 o 522773 31.19/27.27 o 523778 31.19/27.27 o 524721 31.19/27.27 o 527936 31.19/27.27 o 528941 31.19/27.27 o 530191 31.19/27.27 o 534411 31.19/27.29 o 534918 31.19/27.29 o 535354 31.19/27.29 o 539574 31.19/27.30 o 540579 31.19/27.30 o 540920 31.39/27.30 o 545140 31.39/27.30 o 546145 31.39/27.30 o 546998 31.39/27.30 o 548003 31.39/27.30 o 550698 31.39/27.30 o 554918 31.39/27.30 o 556776 31.39/27.30 o 557781 31.39/27.30 o 558306 31.39/27.30 o 559541 31.39/27.30 o 559835 31.39/27.31 o 559836 31.39/27.31 o 560746 31.39/27.31 o 565402 31.39/27.31 o 565909 31.39/27.31 o 570565 31.39/27.31 o 574785 31.39/27.31 o 576643 31.39/27.31 o 577648 31.39/27.31 o 578444 31.39/27.31 o 579907 31.39/27.31 o 580912 31.39/27.31 o 581307 31.39/27.31 o 581765 31.39/27.31 o 582770 31.39/27.32 o 584563 31.39/27.32 o 586421 31.39/27.32 o 587426 31.39/27.32 o 589268 31.39/27.32 o 590273 31.39/27.32 o 591126 31.39/27.32 o 592131 31.39/27.32 o 592417 31.39/27.32 o 592459 31.39/27.32 o 593464 31.39/27.32 o 597074 31.39/27.32 o 597581 31.39/27.32 o 598017 31.39/27.32 o 602237 31.39/27.33 o 603242 31.39/27.33 o 604095 31.39/27.33 o 605100 31.39/27.33 o 606942 31.39/27.33 o 608800 31.39/27.33 o 609805 31.39/27.33 o 610091 31.39/27.33 o 612205 31.39/27.33 o 614063 31.39/27.33 o 615068 31.39/27.33 o 616030 31.39/27.33 o 616488 31.39/27.33 o 616973 31.39/27.34 o 618330 31.39/27.34 o 620188 31.39/27.34 o 621193 31.39/27.34 o 621234 31.39/27.34 o 624449 31.39/27.34 o 625454 31.39/27.34 o 626307 31.39/27.34 o 627312 31.39/27.34 o 627598 31.39/27.34 o 627611 31.39/27.34 o 627897 31.39/27.34 o 628883 31.39/27.34 o 630741 31.39/27.35 o 631746 31.39/27.35 o 632032 31.39/27.35 o 632045 31.39/27.35 o 632331 31.39/27.35 o 632683 31.39/27.35 o 633536 31.39/27.35 o 634541 31.39/27.35 o 634840 31.39/27.35 o 634999 31.39/27.35 o 636004 31.39/27.35 o 636303 31.39/27.35 o 637797 31.39/27.35 o 639655 31.39/27.36 o 640660 31.39/27.36 o 640959 31.39/27.36 o 641245 31.39/27.36 o 642226 31.39/27.36 o 643231 31.39/27.36 o 643517 31.39/27.36 o 643633 31.39/27.36 o 645491 31.39/27.36 o 646496 31.39/27.36 o 646954 31.39/27.36 o 647959 31.39/27.36 o 649752 31.39/27.36 o 651610 31.39/27.37 o 652615 31.39/27.37 o 652901 31.39/27.37 o 652914 31.39/27.37 o 653200 31.39/27.37 o 654183 31.39/27.37 o 654641 31.39/27.37 o 655646 31.39/27.37 o 655868 31.39/27.37 o 657439 31.39/27.37 o 658444 31.39/27.37 o 659297 31.39/27.38 o 660302 31.39/27.38 o 660704 31.39/27.38 o 662562 31.39/27.38 o 663567 31.39/27.38 o 664025 31.39/27.38 o 665030 31.39/27.38 o 666823 31.39/27.38 o 668681 31.39/27.38 o 669686 31.39/27.38 o 669972 31.74/27.51 o 671177 31.74/27.51 o 672861 31.74/27.51 o 674719 31.74/27.51 o 676466 31.74/27.51 o 676502 31.74/27.51 o 676955 31.74/27.52 o 678813 31.74/27.52 o 680560 31.74/27.52 o 680671 31.74/27.52 o 682418 31.74/27.52 o 684213 31.74/27.52 o 685960 31.74/27.52 o 687644 31.74/27.52 o 689439 31.74/27.52 o 691186 31.74/27.52 o 692797 31.74/27.53 o 693912 31.74/27.53 o 694212 31.74/27.53 o 695533 31.74/27.53 o 697391 31.74/27.53 o 699138 31.74/27.53 o 700822 31.74/27.53 o 700933 31.74/27.53 o 702680 31.74/27.53 o 702732 31.74/27.53 o 704344 31.74/27.54 o 706091 31.74/27.54 o 707149 31.74/27.54 o 709007 31.74/27.54 o 710754 31.74/27.54 o 712255 31.74/27.54 o 712366 31.74/27.54 o 714113 31.74/27.54 o 714296 31.74/27.54 o 715908 31.74/27.54 o 717655 31.74/27.57 o 718174 31.84/27.61 o 718809 31.84/27.61 o 719328 31.84/27.61 o 720667 31.84/27.61 o 721186 31.84/27.61 o 722168 31.84/27.61 o 722279 31.84/27.61 o 724026 31.84/27.61 o 724545 31.84/27.64 o 725018 31.84/27.64 o 725537 31.84/27.64 o 726765 31.84/27.64 o 727284 31.84/27.66 o 727694 31.84/27.66 o 728213 31.84/27.66 o 728497 31.84/27.66 o 729489 31.84/27.66 o 731236 31.84/27.66 o 731755 31.84/27.67 o 732737 31.84/27.67 o 732848 31.84/27.67 o 734595 31.84/27.67 o 735114 40.69/35.41 o 735190 40.69/35.41 o 735551 40.69/35.41 o 736047 40.69/35.41 o 736676 40.69/35.41 o 737220 40.69/35.41 o 737361 40.69/35.41 o 737905 40.69/35.41 o 738159 40.69/35.41 o 738375 40.69/35.42 o 738871 40.69/35.42 o 739548 40.69/35.42 o 739556 40.69/35.42 o 740233 40.69/35.42 o 740777 40.69/35.42 o 740782 40.69/35.42 o 741326 40.69/35.43 o 741675 40.69/35.44 o 741908 40.69/35.44 o 742041 40.69/35.44 o 742585 40.69/35.44 o 742926 40.69/35.44 o 743335 40.69/35.44 o 743831 40.69/35.44 o 744508 40.69/35.44 o 744516 40.69/35.44 o 745193 40.69/35.45 o 745905 40.69/35.45 o 746590 40.69/35.45 o 747267 40.69/35.46 o 747811 40.69/35.46 o 747816 40.69/35.46 o 748360 40.81/35.51 o 748521 40.81/35.51 o 749910 40.81/35.51 o 750595 40.81/35.52 o 751272 40.81/35.52 o 751816 40.81/35.52 o 751821 40.81/35.52 o 752365 40.91/35.63 o 753546 40.91/35.63 o 754231 40.91/35.63 o 754908 40.91/35.63 o 755452 40.91/35.64 o 755457 40.91/35.64 o 756001 41.01/35.77 o 756111 41.01/35.77 o 756244 41.01/35.78 o 756788 41.01/35.78 o 757130 41.01/35.78 o 757807 41.01/35.79 o 758351 41.01/35.79 o 758576 41.01/35.79 o 758584 41.01/35.79 o 758717 41.01/35.79 o 759261 41.01/35.80 o 759326 41.01/35.80 o 759334 41.11/35.80 o 760011 41.11/35.80 o 760507 41.11/35.80 o 761192 41.11/35.80 o 761869 41.11/35.80 o 762581 41.11/35.80 o 763258 41.11/35.80 o 763266 41.11/35.80 o 763943 41.11/35.81 o 764487 41.11/35.81 o 764707 41.11/35.81 o 765251 41.11/35.81 o 765721 41.11/35.82 o 766217 41.11/35.82 o 766902 41.11/35.82 o 767579 41.11/35.82 o 768123 41.11/35.86 o 768128 41.11/35.86 o 768672 41.22/35.90 o 769615 41.22/35.90 o 770292 41.22/35.90 o 770300 41.22/35.90 o 770977 41.22/35.91 o 771521 41.22/35.91 o 771526 41.22/35.91 o 772070 41.22/35.92 o 773251 41.22/35.93 o 773928 41.22/35.93 o 773936 41.22/35.93 o 774613 41.22/35.94 o 775157 41.22/35.94 o 775162 41.22/35.94 o 775706 41.33/36.04 o 776066 41.33/36.04 o 776071 41.33/36.04 o 776615 41.33/36.05 o 777084 41.33/36.06 o 777300 41.33/36.06 o 777796 41.33/36.06 o 778473 41.33/36.06 o 778481 41.33/36.06 o 779158 41.33/36.07 o 779702 41.33/36.07 o 779707 41.33/36.07 o 780251 41.43/36.19 o 780339 41.52/36.20 o 780774 41.52/36.20 o 781459 41.52/36.20 o 781736 41.52/36.21 o 782413 41.52/36.21 o 782957 41.52/36.21 o 782962 41.52/36.21 o 783506 41.52/36.22 o 783698 41.52/36.22 o 783975 41.52/36.22 o 784410 41.52/36.22 o 785095 41.52/36.22 o 785772 41.52/36.22 o 786049 41.52/36.23 o 786593 41.52/36.23 o 786598 41.52/36.23 o 787142 41.52/36.25 o 787373 41.52/36.25 o 787808 41.52/36.26 o 788485 41.52/36.26 o 788762 41.52/36.26 o 788770 41.52/36.26 o 789447 41.52/36.26 o 789991 41.52/36.27 o 789996 41.52/36.27 o 790540 41.52/36.27 o 791444 41.52/36.28 o 791721 41.52/36.28 o 792121 41.52/36.28 o 792398 41.52/36.28 o 792806 41.52/36.28 o 793083 41.52/36.28 o 793350 41.52/36.28 o 793627 41.52/36.28 o 793899 41.52/36.28 o 794176 41.67/36.31 o 794697 41.67/36.31 o 795382 41.67/36.31 o 795926 41.67/36.31 o 796059 41.67/36.31 o 796603 41.67/36.31 o 796608 41.67/36.31 o 797152 41.67/36.31 o 797429 41.67/36.34 o 797444 41.67/36.34 o 797660 41.67/36.34 o 798156 41.67/36.34 o 798841 41.67/36.34 o 799518 41.67/36.34 o 800062 41.67/36.34 o 800067 41.67/36.34 o 800611 41.67/36.34 o 800649 41.67/36.34 o 801326 41.67/36.34 o 801870 41.67/36.34 o 801874 41.67/36.34 o 801957 41.67/36.34 o 802249 41.67/36.35 o 802318 41.67/36.35 o 803003 41.67/36.35 o 803547 41.67/36.35 o 803876 41.67/36.35 o 804171 41.67/36.35 o 805190 41.67/36.35 o 805734 41.67/36.35 o 805875 41.67/36.35 o 806419 41.67/36.35 o 806552 41.67/36.35 o 807096 41.67/36.35 o 807101 41.67/36.35 o 807645 41.67/36.35 o 808810 41.67/36.36 o 809495 41.67/36.36 o 810172 41.67/36.36 o 810716 41.67/36.36 o 810721 41.67/36.36 o 811265 41.67/36.36 o 811542 41.67/36.37 o 812011 41.67/36.37 o 812688 41.67/36.37 o 813232 41.67/36.37 o 813237 41.67/36.37 o 813781 41.67/36.37 o 814450 41.67/36.37 o 814946 41.67/36.37 o 815623 41.67/36.38 o 815631 41.67/36.38 o 816308 41.67/36.38 o 816852 41.67/36.38 o 816857 41.67/36.38 o 817401 41.67/36.38 o 817678 41.78/36.40 o 817870 41.78/36.40 o 818086 41.78/36.40 o 818582 41.78/36.40 o 819259 41.78/36.40 o 819267 41.78/36.40 o 819944 41.78/36.41 o 820488 41.78/36.41 o 820493 41.78/36.41 o 821037 41.78/36.42 o 821314 41.89/36.56 o 821611 41.89/36.56 o 821744 41.89/36.56 o 822288 41.89/36.57 o 822565 42.19/36.80 o 823225 42.19/36.80 o 823721 42.19/36.80 o 824398 42.19/36.80 o 824406 42.19/36.80 o 825083 42.19/36.80 o 825627 42.19/36.81 o 826206 42.19/36.81 o 826750 42.19/36.81 o 826883 42.19/36.82 o 827427 42.19/36.83 o 827516 42.19/36.83 o 827532 42.19/36.83 o 827736 42.19/36.83 o 827857 42.19/36.83 o 828534 42.19/36.83 o 829246 42.19/36.83 o 829931 42.19/36.83 o 830608 42.19/36.83 o 831152 42.19/36.83 o 831723 42.19/36.83 o 832267 42.19/36.83 o 832408 42.19/36.83 o 832952 42.19/36.85 o 833321 42.19/36.85 o 833329 42.19/36.85 o 834006 42.19/36.86 o 834550 42.19/36.86 o 834566 42.19/36.86 o 834637 42.19/36.86 o 834891 42.19/36.86 o 835435 42.19/36.86 o 836280 42.19/36.86 o 836965 42.19/36.86 o 837509 42.19/36.86 o 837642 42.19/36.86 o 838186 42.19/36.86 o 838191 42.19/36.86 o 838735 42.19/36.87 o 838765 42.19/36.87 o 839442 42.19/36.87 o 839986 42.53/37.16 o 840070 42.53/37.16 o 840614 42.53/37.16 o 840747 42.53/37.16 o 841291 42.53/37.16 o 841296 42.53/37.16 o 841840 42.53/37.17 o 841951 42.53/37.17 o 841959 42.53/37.18 o 842636 42.53/37.18 o 843180 42.53/37.18 o 843196 42.53/37.18 o 843267 42.53/37.18 o 843737 42.53/37.18 o 844281 42.53/37.18 o 844910 42.53/37.18 o 845595 42.53/37.18 o 846139 42.53/37.18 o 846272 42.53/37.18 o 846816 42.53/37.18 o 846821 42.53/37.18 o 847365 42.62/37.23 o 847826 42.62/37.23 o 848370 42.62/37.23 o 848375 42.62/37.23 o 848919 42.62/37.23 o 849268 42.62/37.23 o 849366 42.62/37.23 o 849862 42.62/37.23 o 850547 42.62/37.23 o 851224 42.62/37.23 o 851768 42.62/37.24 o 851784 42.62/37.24 o 851847 42.62/37.24 o 852101 42.62/37.24 o 852645 42.62/37.24 o 853498 42.62/37.24 o 854175 42.62/37.24 o 854719 42.62/37.24 o 854727 42.62/37.24 o 854860 42.62/37.24 o 855404 42.62/37.24 o 855409 42.62/37.24 o 855953 42.62/37.25 o 856064 42.62/37.25 o 856072 42.62/37.25 o 856749 42.62/37.25 o 857293 42.62/37.25 o 857309 42.62/37.25 o 857380 42.62/37.25 o 857634 42.62/37.25 o 858178 42.62/37.25 o 859023 42.62/37.25 o 859708 42.62/37.25 o 860252 42.62/37.25 o 860385 42.62/37.26 o 860929 42.62/37.26 o 860934 42.62/37.26 o 861478 42.92/37.55 o 861508 42.92/37.55 o 862185 42.92/37.55 o 862729 43.02/37.62 o 862749 43.02/37.62 o 863293 43.69/38.20 o 868263 43.69/38.20 o 870684 43.69/38.20 o 872697 43.69/38.20 o 875118 43.69/38.20 o 878203 43.69/38.21 o 882637 43.69/38.21 o 885058 43.69/38.21 o 886544 43.69/38.21 o 892064 43.69/38.21 o 894485 43.69/38.21 o 897074 43.69/38.21 o 898952 43.69/38.21 o 907014 43.69/38.21 o 909435 43.69/38.21 o 910921 43.69/38.21 o 911448 43.69/38.21 o 913869 43.69/38.21 o 915355 43.69/38.21 o 917618 43.69/38.21 o 918145 43.69/38.21 o 922052 43.69/38.22 o 924496 43.69/38.22 o 926917 43.69/38.22 o 927201 43.69/38.22 o 929622 43.69/38.22 o 930413 43.69/38.22 o 932857 43.69/38.22 o 933118 43.69/38.22 o 935562 43.69/38.22 o 935908 43.69/38.22 o 937110 43.69/38.22 o 939815 43.69/38.22 o 942259 43.69/38.22 o 944680 43.69/38.22 o 946179 43.69/38.23 o 946850 43.69/38.23 o 947685 43.69/38.23 o 949675 43.69/38.23 o 952119 43.69/38.23 o 952465 43.69/38.23 o 956372 43.69/38.23 o 958816 43.69/38.23 o 961237 43.69/38.23 o 961521 43.69/38.23 o 963942 43.69/38.23 o 964836 43.69/38.23 o 965097 43.69/38.23 o 967541 43.69/38.24 o 969962 43.69/38.24 o 971381 43.69/38.24 o 973541 43.69/38.24 o 973825 43.69/38.24 o 976246 43.69/38.24 o 977395 43.69/38.24 o 979879 43.69/38.24 o 981465 43.69/38.24 o 983194 43.69/38.24 o 985899 43.69/38.24 o 987034 43.69/38.25 o 989478 43.69/38.25 o 989739 43.69/38.25 o 992183 43.69/38.25 o 994604 45.56/39.85 o 994755 45.56/39.85 o 995432 45.56/39.86 o 996176 45.56/39.86 o 998587 45.56/39.86 o 999264 45.56/39.89 o 1000046 45.56/39.89 o 1000723 45.66/39.90 o 1001824 45.66/39.90 o 1004245 45.66/39.92 o 1004922 45.66/39.92 o 1005656 45.66/39.92 o 1008077 45.66/39.92 o 1008754 45.66/39.93 o 1010488 45.66/39.93 o 1011165 45.66/39.93 o 1011302 45.66/39.93 o 1012046 45.66/39.93 o 1012723 45.66/39.93 o 1014457 45.66/39.93 o 1015134 45.66/39.99 o 1016180 45.66/39.99 o 1016857 45.86/40.18 o 1017162 45.86/40.18 o 1017839 46.06/40.31 o 1018885 46.06/40.31 o 1019562 46.26/40.53 o 1019899 46.26/40.53 o 1020576 46.26/40.55 o 1021418 46.26/40.55 o 1022912 46.26/40.55 o 1023196 46.26/40.55 o 1023206 46.26/40.55 o 1025617 46.26/40.56 o 1026294 46.26/40.56 o 1026431 46.26/40.56 o 1026881 46.26/40.56 o 1027175 46.26/40.56 o 1029586 46.26/40.56 o 1030263 46.87/41.12 o 1031158 46.87/41.12 o 1031207 46.87/41.12 o 1031835 46.87/41.12 o 1031884 46.87/41.13 o 1032202 46.87/41.13 o 1032936 46.87/41.13 o 1033613 46.87/41.13 o 1035357 46.87/41.13 o 1036034 46.87/41.13 o 1037768 46.87/41.13 o 1038445 46.87/41.15 o 1039032 46.87/41.15 o 1039326 46.87/41.16 o 1041737 46.87/41.16 o 1042414 47.36/41.67 o 1042424 47.36/41.67 o 1043101 47.36/41.68 o 1043688 47.36/41.68 o 1043982 47.36/41.69 o 1046393 47.36/41.69 o 1047070 47.87/42.03 o 1047547 47.87/42.03 o 1049607 47.87/42.03 o 1050284 47.87/42.08 o 1052120 47.87/42.08 o 1052797 47.87/42.09 o 1053297 47.87/42.09 o 1053581 47.87/42.09 o 1053591 47.87/42.09 o 1055325 47.87/42.09 o 1056002 47.87/42.09 o 1056589 47.87/42.09 o 1056883 47.87/42.09 o 1059294 47.87/42.09 o 1059971 48.36/42.58 o 1060606 48.36/42.58 o 1062350 48.36/42.58 o 1063027 48.36/42.59 o 1063527 48.36/42.59 o 1063811 48.36/42.59 o 1063821 48.36/42.59 o 1065555 48.36/42.59 o 1066232 48.47/42.60 o 1066819 48.47/42.60 o 1067113 48.47/42.60 o 1069524 48.47/42.60 o 1070201 49.37/43.57 o 1070443 49.37/43.57 o 1071120 49.37/43.58 o 1071227 49.37/43.58 o 1071237 49.37/43.58 o 1073648 49.37/43.59 o 1074325 49.37/43.59 o 1075206 49.37/43.59 o 1075883 49.37/43.59 o 1077617 49.37/43.59 o 1078294 53.82/47.86 o 1079037 53.82/47.86 o 1079109 53.82/47.86 o 1079927 53.82/47.88 o 1079978 53.92/47.96 o 1080042 53.92/47.96 o 1080860 53.92/47.98 o 1080911 54.03/48.01 o 1081511 54.03/48.01 o 1081562 57.68/51.61 o 1082002 57.68/51.61 o 1082133 57.68/51.61 o 1082144 57.68/51.61 o 1083557 57.68/51.61 o 1086578 57.68/51.61 o 1087991 57.68/51.61 o 1088122 57.68/51.61 o 1090023 57.68/51.62 o 1090154 57.68/51.62 o 1090949 57.68/51.62 o 1095383 57.68/51.62 o 1096938 57.68/51.62 o 1101372 57.68/51.62 o 1101503 57.68/51.62 o 1102785 57.68/51.62 o 1102916 57.68/51.62 o 1103296 57.68/51.62 o 1104709 57.68/51.62 o 1104840 57.68/51.62 o 1104992 57.68/51.62 o 1105123 57.68/51.62 o 1106916 57.68/51.62 o 1107047 57.68/51.62 o 1108329 57.68/51.63 o 1108460 57.68/51.63 o 1109340 57.68/51.63 o 1110753 57.68/51.63 o 1110884 57.68/51.63 o 1112333 57.68/51.63 o 1112464 57.68/51.63 o 1114029 57.68/51.63 o 1115953 57.68/51.63 o 1116084 57.68/51.63 o 1116453 57.68/51.63 o 1116584 57.68/51.63 o 1118377 57.68/51.63 o 1118508 57.68/51.63 o 1119790 57.68/51.63 o 1119921 57.68/51.64 o 1120769 57.68/51.64 o 1122182 57.68/51.64 o 1122313 57.68/51.64 o 1122547 57.68/51.64 o 1122678 57.68/51.64 o 1123015 57.68/51.64 o 1124939 57.68/51.64 o 1125070 57.68/51.64 o 1126352 57.68/51.64 o 1126483 58.91/52.85 o 1126598 58.91/52.85 o 1126602 58.91/52.85 o 1126620 58.91/52.86 o 1127117 58.91/52.86 o 1127121 58.91/52.86 o 1127502 58.91/52.86 o 1127506 58.91/52.86 o 1127614 58.91/52.86 o 1128133 58.91/52.86 o 1128137 58.91/52.86 o 1128630 58.91/52.86 o 1128634 59.16/53.09 o 1129071 59.16/53.09 o 1129568 59.16/53.09 o 1129572 59.25/53.16 o 1129955 59.25/53.16 o 1130067 59.25/53.16 o 1130586 59.25/53.16 o 1130590 59.25/53.16 o 1131083 59.25/53.16 o 1131087 59.25/53.16 o 1131210 59.25/53.17 o 1131263 59.25/53.17 o 1131760 59.25/53.17 o 1131868 59.25/53.17 o 1131980 59.25/53.17 o 1132499 59.25/53.17 o 1132996 59.25/53.17 o 1133000 59.25/53.17 o 1133493 59.25/53.17 o 1133990 59.25/53.17 o 1133994 59.25/53.17 o 1134012 59.25/53.17 o 1134016 59.25/53.17 o 1134509 59.25/53.17 o 1134513 60.05/53.91 o 1134736 60.05/53.91 o 1134758 60.05/53.91 o 1135255 60.05/53.92 o 1135259 60.05/53.92 o 1135640 60.05/53.92 o 1135752 60.05/53.92 o 1136271 60.05/53.92 o 1136275 60.05/53.92 o 1136768 60.05/53.92 o 1136772 60.55/54.45 o 1137218 60.55/54.45 o 1137715 60.55/54.45 o 1137719 61.16/55.09 o 1137914 61.16/55.09 o 1137918 61.26/55.11 o 1138230 61.26/55.11 o 1138342 61.26/55.11 o 1138364 61.26/55.11 o 1138861 61.26/55.11 o 1138865 61.26/55.12 o 1138932 61.26/55.12 o 1138936 61.26/55.12 o 1139090 61.26/55.12 o 1139609 61.26/55.12 o 1139695 61.26/55.12 o 1140326 61.26/55.12 o 1140845 61.26/55.12 o 1140849 61.26/55.12 o 1141342 61.26/55.12 o 1141346 61.26/55.13 o 1141839 61.26/55.13 o 1142358 61.26/55.13 o 1142855 61.26/55.13 o 1142859 61.26/55.15 o 1143283 61.26/55.15 o 1143287 61.26/55.15 o 1143305 61.26/55.15 o 1143802 61.26/55.15 o 1143806 63.11/57.00 o 1143920 63.11/57.00 o 1143924 63.11/57.00 o 1144417 63.11/57.00 o 1144421 63.41/57.28 o 1144890 63.41/57.28 o 1144974 63.41/57.28 o 1145112 63.41/57.28 o 1145143 63.41/57.28 o 1145165 63.41/57.28 o 1145662 63.41/57.28 o 1145770 63.41/57.28 o 1145882 63.41/57.28 o 1146401 63.41/57.28 o 1146898 63.41/57.28 o 1146902 63.41/57.29 o 1147395 63.41/57.29 o 1147892 63.41/57.29 o 1147896 63.41/57.29 o 1147914 63.41/57.29 o 1147918 63.41/57.29 o 1148411 63.41/57.29 o 1148415 63.51/57.31 o 1148839 63.51/57.32 o 1148861 63.51/57.32 o 1149358 63.51/57.32 o 1149362 71.86/65.51 o 1150604 71.86/65.51 o 1151628 71.86/65.51 o 1153141 71.86/65.51 o 1155180 71.86/65.51 o 1156693 71.86/65.51 o 1157237 71.86/65.51 o 1160327 71.86/65.51 o 1160871 71.86/65.51 o 1161840 71.86/65.52 o 1162384 72.15/65.74 o 1162450 72.15/65.74 o 1162759 72.15/65.74 o 1163081 72.15/65.74 o 1163390 72.15/65.74 o 1163521 72.15/65.76 o 1163811 72.15/65.76 o 1163914 72.15/65.76 o 1164026 72.15/65.76 o 1164545 72.15/65.76 o 1164676 72.15/65.76 o 1164854 72.15/65.76 o 1164985 72.15/65.76 o 1165475 72.15/65.76 o 1165784 72.15/65.78 o 1165789 72.15/65.78 o 1166308 72.15/65.78 o 1166420 72.15/65.78 o 1166939 72.15/65.78 o 1167248 72.15/65.78 o 1167379 72.25/65.80 o 1167997 72.25/65.80 o 1168306 72.25/65.80 o 1168437 72.25/65.80 o 1168727 72.25/65.80 o 1168830 72.25/65.80 o 1169461 72.25/65.80 o 1169592 72.25/65.80 o 1169770 72.25/65.80 o 1169901 72.25/65.80 o 1169980 72.25/65.80 o 1170289 72.25/65.80 o 1170420 72.25/65.84 o 1170487 72.25/65.84 o 1170875 72.25/65.84 o 1171006 72.25/65.84 o 1171115 72.25/65.84 o 1171253 72.25/65.84 o 1171772 72.25/65.84 o 1171884 72.25/65.84 o 1172403 72.25/65.85 o 1172990 72.25/65.85 o 1173544 72.25/65.85 o 1173647 72.25/65.85 o 1174278 72.25/65.85 o 1174797 72.25/65.85 o 1174928 72.25/65.85 o 1175106 72.25/65.85 o 1175237 72.25/65.86 o 1175444 72.25/65.86 o 1176031 72.25/65.87 o 1176688 72.25/65.87 o 1177319 72.25/65.87 o 1177838 72.25/65.87 o 1178147 72.25/65.87 o 1178278 72.36/65.92 o 1178601 72.36/65.92 o 1178732 72.36/65.93 o 1179100 72.36/65.93 o 1179687 72.36/65.93 o 1180241 72.36/65.94 o 1180344 72.36/65.94 o 1180975 72.36/65.94 o 1181494 72.36/65.94 o 1181625 72.36/65.95 o 1182097 72.36/65.95 o 1183385 72.36/65.95 o 1183904 72.36/65.95 o 1184035 72.36/65.95 o 1184147 72.36/65.95 o 1184535 72.36/65.96 o 1184666 72.36/65.97 o 1184688 72.36/65.97 o 1184819 72.36/65.99 o 1184942 72.36/65.99 o 1184981 72.36/65.99 o 1185143 72.36/65.99 o 1185662 72.36/65.99 o 1186431 72.36/65.99 o 1186950 72.36/65.99 o 1187062 72.36/65.99 o 1187581 72.36/66.00 o 1187712 72.36/66.00 o 1188184 72.36/66.00 o 1188738 72.36/66.00 o 1189472 72.36/66.00 o 1190103 72.36/66.00 o 1190234 72.36/66.00 o 1190622 72.36/66.00 o 1190753 72.47/66.05 o 1191602 72.47/66.05 o 1192233 72.47/66.05 o 1192752 72.47/66.05 o 1192883 72.47/66.06 o 1193399 72.47/66.06 o 1194643 72.47/66.06 o 1195274 72.47/66.07 o 1195793 72.47/66.07 o 1195924 72.47/66.09 o 1195929 72.47/66.09 o 1196567 72.47/66.09 o 1197086 72.47/66.09 o 1197217 72.47/66.09 o 1197329 72.47/66.09 o 1197717 72.47/66.09 o 1197848 72.47/66.10 o 1198045 72.47/66.10 o 1198216 72.47/66.10 o 1198602 72.47/66.10 o 1198641 72.57/66.11 o 1198726 72.57/66.11 o 1199245 72.57/66.11 o 1199460 72.57/66.11 o 1199979 72.57/66.11 o 1200091 72.57/66.11 o 1200610 72.57/66.11 o 1200741 72.57/66.12 o 1201124 72.57/66.12 o 1201163 72.57/66.12 o 1201213 72.57/66.12 o 1202501 72.57/66.12 o 1203132 72.57/66.12 o 1203263 72.57/66.12 o 1203651 72.57/66.12 o 1203782 72.57/66.15 o 1204257 72.57/66.15 o 1204888 72.57/66.15 o 1205407 72.57/66.16 o 1205601 72.57/66.16 o 1205640 72.57/66.16 o 1205722 72.57/66.16 o 1206356 72.57/66.16 o 1207090 72.57/66.16 o 1207609 72.57/66.16 o 1208876 72.57/66.16 o 1209395 72.57/66.16 o 1209507 72.57/66.17 o 1210026 72.57/66.17 o 1210157 72.66/66.21 o 1211232 72.66/66.21 o 1211789 72.66/66.21 o 1211828 72.66/66.21 o 1212333 72.66/66.21 o 1212509 72.66/66.21 o 1213797 72.66/66.21 o 1214428 72.66/66.22 o 1214559 72.66/66.23 o 1214947 72.66/66.23 o 1215078 72.66/66.25 o 1215422 72.66/66.25 o 1215941 72.66/66.25 o 1216072 72.66/66.27 o 1216445 72.66/66.27 o 1216491 72.66/66.27 o 1216558 72.66/66.28 o 1217802 72.66/66.28 o 1218359 72.66/66.28 o 1218398 72.66/66.28 o 1218903 72.66/66.28 o 1218999 72.66/66.28 o 1220367 72.66/66.28 o 1220998 72.66/66.28 o 1221129 72.66/66.28 o 1221517 72.66/66.29 o 1221648 72.66/66.29 o 1221655 72.66/66.29 o 1222286 72.66/66.29 o 1222805 72.66/66.29 o 1222936 72.76/66.35 o 1223011 72.76/66.35 o 1223736 72.76/66.36 o 1224255 72.76/66.36 o 1224293 72.76/66.36 o 1224332 72.76/66.36 o 1224837 72.76/66.36 o 1224933 72.76/66.36 o 1225567 72.76/66.36 o 1226301 72.76/66.36 o 1226820 72.76/66.37 o 1226951 72.76/66.37 o 1227589 72.76/66.37 o 1228108 72.76/66.37 o 1228239 72.76/66.38 o 1228351 72.76/66.38 o 1228739 72.76/66.38 o 1228870 72.86/66.48 o 1229221 72.86/66.48 o 1229352 72.86/66.49 o 1229740 72.86/66.49 o 1229871 72.86/66.49 o 1229983 72.86/66.49 o 1230371 72.86/66.49 o 1230502 72.96/66.51 o 1230861 72.96/66.51 o 1230973 72.96/66.51 o 1231492 72.96/66.51 o 1231623 72.96/66.52 o 1232106 72.96/66.53 o 1232763 72.96/66.53 o 1233394 72.96/66.54 o 1233525 72.96/66.54 o 1233913 72.96/66.54 o 1234044 72.96/66.59 o 1234244 72.96/66.59 o 1234375 73.06/66.61 o 1234781 73.06/66.61 o 1235515 73.06/66.61 o 1236146 73.06/66.61 o 1236665 73.06/66.62 o 1236796 73.06/66.63 o 1237173 73.06/66.63 o 1237804 73.06/66.63 o 1238323 73.06/66.63 o 1238454 73.06/66.63 o 1238557 73.06/66.63 o 1238669 73.06/66.63 o 1239057 73.06/66.63 o 1239188 73.06/66.65 o 1239444 73.06/66.65 o 1239547 73.06/66.65 o 1239659 73.06/66.65 o 1240178 73.06/66.65 o 1240309 73.06/66.66 o 1240792 73.06/66.68 o 1241449 73.06/66.68 o 1242080 73.06/66.69 o 1242211 73.06/66.69 o 1242599 73.06/66.69 o 1242730 73.26/66.81 o 1243260 73.26/66.81 o 1243391 73.26/66.82 o 1243891 73.26/66.82 o 1244022 73.26/66.83 o 1244410 73.26/66.83 o 1244541 73.47/67.02 o 1244698 73.47/67.02 o 1244913 73.47/67.02 o 1245432 73.47/67.02 o 1245544 73.47/67.02 o 1246063 73.47/67.02 o 1246194 73.47/67.05 o 1246665 73.47/67.05 o 1246796 73.47/67.05 o 1247184 73.47/67.05 o 1247315 73.47/67.05 o 1247597 73.47/67.05 o 1247794 73.47/67.05 o 1248455 73.47/67.05 o 1248974 73.47/67.06 o 1249086 73.47/67.06 o 1249605 73.47/67.06 o 1249736 73.59/67.12 o 1250244 73.59/67.12 o 1250375 73.59/67.12 o 1250763 73.59/67.12 o 1250894 73.59/67.14 o 1251150 73.59/67.15 o 1251365 73.59/67.15 o 1251884 73.59/67.15 o 1252015 73.59/67.15 o 1252106 73.59/67.15 o 1252498 73.59/67.15 o 1253155 73.59/67.15 o 1253786 73.59/67.15 o 1253917 73.59/67.16 o 1254305 73.59/67.16 o 1254436 73.88/67.42 o 1254568 73.88/67.42 o 1254699 73.88/67.42 o 1255087 73.88/67.42 o 1255218 73.88/67.49 o 1255302 73.88/67.49 o 1255518 73.88/67.49 o 1255649 73.88/67.49 o 1255729 73.88/67.49 o 1256248 73.88/67.49 o 1256463 73.88/67.49 o 1256982 73.88/67.49 o 1257113 73.98/67.50 o 1257204 73.98/67.50 o 1257420 73.98/67.50 o 1257551 73.98/67.50 o 1257596 73.98/67.50 o 1258150 73.98/67.50 o 1258253 73.98/67.50 o 1258884 73.98/67.50 o 1259015 73.98/67.50 o 1259403 73.98/67.50 o 1259534 73.98/67.55 o 1260005 73.98/67.55 o 1260524 73.98/67.55 o 1260655 73.98/67.55 o 1260746 73.98/67.55 o 1260962 73.98/67.55 o 1261138 73.98/67.55 o 1261795 73.98/67.55 o 1262426 73.98/67.56 o 1262557 73.98/67.56 o 1262945 73.98/67.56 o 1263076 74.49/68.02 o 1263184 74.49/68.02 o 1263505 74.49/68.02 o 1263636 74.49/68.02 o 1264106 74.49/68.02 o 1264109 74.49/68.02 o 1264221 74.49/68.02 o 1264740 74.49/68.02 o 1264955 74.49/68.02 o 1265474 74.49/68.02 o 1265605 74.49/68.05 o 1265630 74.49/68.05 o 1266184 74.49/68.05 o 1266287 74.49/68.05 o 1266918 74.49/68.05 o 1267049 74.49/68.06 o 1268256 74.49/68.06 o 1268387 74.49/68.06 o 1268887 74.49/68.06 o 1269018 74.49/68.06 o 1269406 74.49/68.06 o 1269537 74.49/68.07 o 1269943 74.49/68.07 o 1270677 74.49/68.07 o 1271308 74.49/68.07 o 1271827 74.49/68.07 o 1271958 74.49/68.09 o 1272214 74.49/68.09 o 1272345 74.49/68.09 o 1272429 74.49/68.09 o 1272948 74.49/68.09 o 1273079 74.49/68.09 o 1273170 74.49/68.09 o 1273386 74.49/68.09 o 1273517 74.49/68.09 o 1274219 74.49/68.09 o 1274850 74.49/68.10 o 1274981 74.49/68.10 o 1275369 74.49/68.10 o 1275500 74.68/68.24 o 1275778 74.68/68.24 o 1275874 74.68/68.24 o 1275877 74.68/68.24 o 1276508 74.68/68.24 o 1276611 74.68/68.24 o 1277242 74.68/68.24 o 1277761 74.68/68.24 o 1277892 74.68/68.25 o 1278251 74.68/68.25 o 1278382 74.68/68.25 o 1278882 74.68/68.25 o 1279013 74.68/68.25 o 1279334 74.68/68.26 o 1279492 74.68/68.26 o 1279839 74.68/68.26 o 1280015 74.68/68.26 o 1280050 74.68/68.26 o 1280569 74.68/68.26 o 1280784 74.68/68.26 o 1281303 74.68/68.26 o 1281434 74.98/68.53 o 1281621 74.98/68.53 o 1281752 74.98/68.53 o 1282073 74.98/68.53 o 1282231 74.98/68.53 o 1282578 74.98/68.53 o 1282754 74.98/68.54 o 1282892 74.98/68.54 o 1283411 74.98/68.54 o 1283523 74.98/68.54 o 1284042 74.98/68.54 o 1284173 75.18/68.79 o 1284286 75.18/68.79 o 1284417 75.18/68.79 o 1284805 75.18/68.79 o 1284936 75.18/68.79 o 1285257 75.18/68.80 o 1285415 75.28/68.80 o 1285762 75.28/68.80 o 1285938 75.28/68.80 o 1285973 75.28/68.80 o 1286492 75.28/68.80 o 1286707 75.28/68.80 o 1287226 75.28/68.80 o 1287357 75.59/69.18 o 1287666 75.59/69.18 o 1287797 75.59/69.19 o 1288118 75.59/69.19 o 1288276 75.59/69.19 o 1288623 75.59/69.19 o 1288799 75.59/69.19 o 1288937 75.59/69.19 o 1289456 75.59/69.19 o 1289568 75.59/69.20 o 1290087 75.72/69.20 o 1290218 75.82/69.34 o 1290302 75.82/69.34 o 1290681 75.82/69.34 o 1290846 75.82/69.34 o 1291225 75.82/69.34 o 1291474 75.82/69.34 o 1292018 75.82/69.34 o 1293005 75.82/69.34 o 1293895 75.82/69.34 o 1294439 75.82/69.34 o 1294815 75.82/69.34 o 1295359 75.82/69.35 o 1295573 75.82/69.35 o 1296084 75.82/69.35 o 1296667 75.82/69.35 o 1298478 75.82/69.35 o 1299088 75.82/69.35 o 1300899 75.82/69.35 o 1301443 75.82/69.35 o 1303372 75.82/69.35 o 1303399 75.82/69.35 o 1303714 75.82/69.35 o 1305793 75.82/69.35 o 1306337 75.82/69.35 o 1307604 75.82/69.35 o 1308148 75.82/69.35 o 1308494 75.82/69.36 o 1309038 75.82/69.36 o 1309854 75.82/69.36 o 1310744 75.82/69.36 o 1311251 75.82/69.36 o 1311864 75.82/69.36 o 1313743 75.82/69.36 o 1314058 75.82/69.36 o 1316137 75.82/69.36 o 1317948 75.82/69.36 o 1318838 75.82/69.36 o 1319382 75.82/69.36 o 1319495 75.82/69.36 o 1319872 75.82/69.36 o 1320762 75.82/69.36 o 1321306 83.39/76.73 o 1321310 83.39/76.73 o 1322729 83.39/76.73 o 1327163 83.39/76.73 o 1329181 83.39/76.78 o 1329227 83.39/76.78 o 1329962 83.39/76.78 o 1330647 83.39/76.78 o 1331475 83.39/76.78 o 1332160 83.39/76.78 o 1332789 83.39/76.78 o 1334253 83.39/76.79 o 1334302 83.39/76.79 o 1334346 83.39/76.79 o 1335766 83.39/76.79 o 1337098 83.39/76.79 o 1337147 83.39/76.79 o 1338611 83.39/76.79 o 1339565 83.39/76.79 o 1341078 83.39/76.79 o 1342542 83.39/76.79 o 1343962 83.48/76.86 o 1344419 83.48/76.86 o 1344468 83.48/76.86 o 1344506 83.48/76.86 o 1345050 83.48/76.86 o 1345099 83.48/76.86 o 1345686 83.48/76.86 o 1345735 83.48/76.86 o 1346317 83.48/76.86 o 1346366 83.48/76.87 o 1346861 83.48/76.87 o 1346910 83.48/76.89 o 1347380 83.48/76.89 o 1347429 83.48/76.89 o 1347573 83.48/76.89 o 1347685 83.48/76.89 o 1348204 83.48/76.89 o 1348229 83.48/76.89 o 1348748 83.48/76.89 o 1348797 83.48/76.89 o 1349153 83.48/76.89 o 1349202 83.48/76.90 o 1349346 83.48/76.90 o 1349977 83.59/76.90 o 1350521 83.59/76.90 o 1350570 83.59/76.90 o 1351040 83.59/76.90 o 1351089 83.59/76.90 o 1351145 83.59/76.90 o 1351689 83.59/76.90 o 1352208 83.59/76.90 o 1352310 83.59/76.90 o 1352829 83.59/76.90 o 1352941 83.59/76.90 o 1353460 83.59/76.91 o 1353485 83.59/76.91 o 1354004 83.59/76.91 o 1354139 83.59/76.91 o 1354770 83.59/76.91 o 1355314 83.59/76.91 o 1355950 83.59/76.91 o 1356494 83.59/76.91 o 1356581 83.59/76.92 o 1357125 83.59/76.92 o 1357644 83.59/76.92 o 1357693 83.59/76.93 o 1357707 83.59/76.93 o 1358338 83.59/76.93 o 1358857 83.59/76.93 o 1358906 83.59/76.93 o 1359401 83.59/76.93 o 1359450 83.59/76.94 o 1359491 83.59/76.94 o 1360010 83.59/76.94 o 1360035 83.59/76.94 o 1360554 83.59/76.94 o 1360671 83.59/76.94 o 1361215 83.59/76.94 o 1361302 83.59/76.94 o 1361846 83.59/76.94 o 1362365 83.59/76.95 o 1362500 83.59/76.96 o 1363131 83.59/76.96 o 1363650 83.59/76.96 o 1364311 83.59/76.96 o 1364830 83.59/76.96 o 1364942 83.59/76.96 o 1365461 83.59/76.96 o 1365486 83.59/76.96 o 1366005 83.59/76.96 o 1366054 83.59/76.97 o 1366332 83.59/76.97 o 1366963 83.59/76.97 o 1368143 83.59/76.98 o 1368774 83.59/76.98 o 1369318 83.59/76.98 o 1369367 83.59/76.98 o 1369837 83.59/76.98 o 1369886 94.55/87.84 o 1369923 94.55/87.84 o 1373481 94.55/87.84 o 1376186 94.65/87.92 o 1376759 94.65/87.92 o 1377140 94.65/87.92 o 1378127 94.65/87.93 o 1378798 94.65/87.93 o 1379289 94.65/87.93 o 1380657 94.65/87.94 o 1381784 94.65/87.94 o 1383643 94.65/87.94 o 1385011 94.65/87.94 o 1385998 94.65/87.94 o 1386485 94.65/87.94 o 1387853 94.65/87.94 o 1388840 94.65/87.94 o 1390839 94.65/87.94 o 1391826 94.65/87.94 o 1392207 94.65/87.94 o 1393194 94.65/87.94 o 1394066 94.65/87.95 o 1395053 94.65/87.95 o 1395100 94.65/87.95 o 1397654 94.65/87.95 o 1399022 94.65/87.95 o 1399513 94.65/87.95 o 1400881 94.65/87.95 o 1401868 94.65/87.95 o 1402840 94.65/87.95 o 1403712 94.65/87.95 o 1404699 94.65/87.95 o 1405080 94.65/87.95 o 1406067 95.57/88.81 o 1406148 95.57/88.81 o 1406258 95.57/88.81 o 1408117 95.57/88.81 o 1408166 95.57/88.81 o 1409059 95.57/88.81 o 1409108 95.57/88.81 o 1409511 95.57/88.81 o 1411480 95.57/88.82 o 1411529 95.57/88.82 o 1413339 95.57/88.82 o 1413388 96.08/89.37 o 1414803 96.08/89.37 o 1414852 97.38/90.65 o 1414888 97.38/90.65 o 1414937 97.38/90.65 o 1415038 97.38/90.65 o 1415506 97.38/90.65 o 1416897 97.38/90.66 o 1416946 97.38/90.69 o 1417210 97.38/90.69 o 1417803 97.38/90.69 o 1418934 97.38/90.69 o 1419386 97.38/90.69 o 1419496 97.38/90.69 o 1419891 97.38/90.69 o 1421355 97.38/90.69 o 1421404 97.38/90.69 o 1421900 97.38/90.69 o 1421949 97.38/90.69 o 1423364 97.38/90.69 o 1423413 97.98/91.23 o 1423684 97.98/91.23 o 1425148 97.98/91.23 o 1425197 98.08/91.32 o 1425831 98.08/91.32 o 1425941 98.08/91.32 o 1427800 98.08/91.33 o 1427849 98.08/91.37 o 1429264 98.08/91.38 o 1429313 98.18/91.40 o 1430020 98.18/91.40 o 1430069 98.18/91.42 o 1430235 98.18/91.43 o 1430305 98.18/91.43 o 1430988 98.18/91.43 o 1431076 98.18/91.43 o 1432207 98.18/91.43 o 1432659 98.18/91.43 o 1433164 98.18/91.43 o 1434628 98.18/91.44 o 1435023 98.18/91.44 o 1436487 98.18/91.44 o 1436536 99.09/92.32 o 1436887 99.09/92.32 o 1436936 99.09/92.33 o 1438746 99.09/92.33 o 1438795 99.09/92.33 o 1440210 99.09/92.33 o 1440259 99.29/92.54 o 1442042 99.29/92.54 o 1442091 99.29/92.55 o 1443506 99.29/92.55 o 1443555 99.49/92.71 o 1443664 99.49/92.72 o 1445523 99.49/92.72 o 1446987 99.49/92.72 o 1448378 99.49/92.72 o 1448427 99.59/92.86 o 1449101 99.59/92.87 o 1449236 99.59/92.87 o 1450960 99.59/92.88 o 1452424 99.59/92.88 o 1452473 99.59/92.88 o 1452986 99.59/92.88 o 1453035 99.59/92.88 o 1453381 99.59/92.88 o 1454845 99.59/92.88 o 1454894 100.70/93.95 o 1455399 100.70/93.95 o 1455448 100.70/93.95 o 1456863 100.70/93.95 o 1456912 102.21/95.46 o 1457119 102.21/95.46 o 1457571 102.21/95.46 o 1457681 102.21/95.46 o 1458076 102.21/95.46 o 1459540 102.21/95.46 o 1459589 102.21/95.46 o 1460094 102.21/95.47 o 1460143 102.21/95.47 o 1461558 102.21/95.47 o 1461607 103.12/96.31 o 1462876 103.12/96.32 o 1462916 103.12/96.32 o 1463026 103.12/96.33 o 1463421 103.12/96.33 o 1464885 103.32/96.50 o 1466003 103.32/96.50 o 1466548 103.32/96.50 o 1468012 103.32/96.51 o 1468417 103.32/96.51 o 1468490 103.32/96.51 o 1469881 103.32/96.55 o 1469900 103.32/96.55 o 1470352 103.32/96.55 o 1470462 103.32/96.55 o 1470857 103.32/96.55 o 1472321 103.32/96.55 o 1472875 103.32/96.55 o 1474339 103.32/96.55 o 1474884 103.32/96.55 o 1476348 103.83/97.06 o 1476881 103.83/97.06 o 1476930 103.83/97.06 o 1478345 103.83/97.07 o 1478394 103.83/97.09 o 1479098 103.83/97.11 o 1479147 103.93/97.11 o 1479257 103.93/97.11 o 1479652 103.93/97.11 o 1481116 103.93/97.11 o 1481165 105.53/98.78 o 1481243 105.53/98.78 o 1483102 105.53/98.78 o 1483151 105.53/98.78 o 1484566 105.53/98.78 o 1484615 106.24/99.43 o 1485130 106.24/99.43 o 1486351 106.24/99.43 o 1487593 106.24/99.43 o 1488814 106.24/99.43 o 1489376 106.24/99.43 o 1490889 106.24/99.44 o 1491449 106.24/99.44 o 1493185 106.24/99.44 o 1494698 106.24/99.44 o 1495425 106.24/99.44 o 1495648 106.24/99.44 o 1497161 106.24/99.45 o 1497314 106.24/99.45 o 1498702 106.24/99.45 o 1501123 106.24/99.45 o 1501165 106.24/99.45 o 1503586 106.24/99.46 o 1505099 106.24/99.47 o 1506320 106.24/99.48 o 1506379 106.24/99.48 o 1508115 106.24/99.48 o 1509628 106.24/99.48 o 1510355 106.24/99.48 o 1510578 106.24/99.48 o 1512091 106.36/99.53 o 1512305 106.36/99.53 o 1513223 106.36/99.53 o 1516290 106.36/99.54 o 1516603 106.36/99.55 o 1517947 106.36/99.55 o 1519183 106.36/99.55 o 1523168 106.36/99.55 o 1526235 106.36/99.55 o 1528629 106.36/99.56 o 1528787 106.36/99.56 o 1529460 106.36/99.56 o 1531854 106.36/99.57 o 1533367 106.46/99.61 o 1533829 106.46/99.61 o 1533839 106.46/99.61 o 1534356 106.46/99.61 o 1534460 106.46/99.61 o 1534478 106.46/99.62 o 1534938 106.46/99.62 o 1534946 106.46/99.62 o 1535465 106.46/99.62 o 1535677 106.46/99.62 o 1536204 106.46/99.62 o 1536682 106.46/99.62 o 1537209 106.46/99.62 o 1537355 106.46/99.62 o 1537373 106.46/99.62 o 1538360 106.46/99.62 o 1538887 106.46/99.62 o 1539406 106.46/99.62 o 1539923 106.46/99.63 o 1540366 106.46/99.63 o 1540721 106.46/99.63 o 1540962 106.46/99.63 o 1541067 106.46/99.63 o 1541262 106.46/99.63 o 1541270 106.46/99.63 o 1541789 106.46/99.63 o 1541861 106.46/99.63 o 1542388 106.46/99.63 o 1542866 106.46/99.64 o 1543393 106.46/99.64 o 1543720 106.46/99.64 o 1544725 106.46/99.64 o 1545252 106.46/99.64 o 1545771 106.46/99.64 o 1546288 106.46/99.65 o 1546756 106.46/99.66 o 1546758 106.46/99.66 o 1547275 106.56/99.74 o 1547892 106.56/99.75 o 1548317 106.56/99.75 o 1548841 106.56/99.76 o 1549846 106.56/99.76 o 1550477 106.56/99.76 o 1550849 106.56/99.76 o 1551854 106.56/99.76 o 1552485 106.66/99.80 o 1553061 106.66/99.80 o 1553692 106.66/99.80 o 1553955 106.66/99.80 o 1555069 106.66/99.81 o 1555700 106.66/99.81 o 1556074 106.66/99.82 o 1556705 106.76/99.99 o 1557680 106.76/100.00 o 1560346 106.76/100.00 o 1561665 106.87/100.08 o 1561945 106.87/100.10 o 1563264 106.87/100.10 o 1563645 106.87/100.10 o 1563880 106.87/100.11 o 1566546 106.97/100.11 o 1567865 106.97/100.18 o 1569808 106.97/100.19 o 1570307 106.97/100.19 o 1570504 106.97/100.19 o 1571296 106.97/100.19 o 1571510 106.97/100.19 o 1571745 106.97/100.19 o 1572742 106.97/100.19 o 1575730 107.07/100.23 o 1577049 107.07/100.27 o 1578058 107.07/100.27 o 1578383 107.07/100.27 o 1578980 107.07/100.27 o 1579813 107.07/100.28 o 1581428 107.07/100.28 o 1584416 107.07/100.28 o 1585735 107.17/100.33 o 1586740 107.61/100.73 o 1586935 107.61/100.73 o 1587042 107.61/100.73 o 1587119 107.61/100.74 o 1587558 107.61/100.74 o 1587753 107.61/100.74 o 1588085 107.61/100.74 o 1588280 107.61/100.74 o 1588292 107.61/100.74 o 1588819 107.61/100.74 o 1589014 107.61/100.74 o 1589173 107.61/100.75 o 1589357 107.61/100.75 o 1589796 107.61/100.75 o 1589991 107.61/100.75 o 1590530 107.61/100.75 o 1590725 107.61/100.75 o 1591057 107.61/100.75 o 1591252 107.72/100.82 o 1593211 107.72/100.82 o 1593738 114.52/107.40 o 1594601 114.52/107.40 o 1595837 114.52/107.40 o 1595889 114.52/107.40 o 1597125 114.52/107.47 o 1598203 114.62/107.50 o 1599439 114.62/107.50 o 1599491 114.62/107.50 o 1600727 115.03/107.98 o 1601162 115.03/107.98 o 1601214 115.03/107.98 o 1602450 116.66/109.50 o 1602850 116.66/109.50 o 1602899 116.66/109.50 o 1603571 116.66/109.50 o 1604287 116.66/109.50 o 1604960 116.66/109.50 o 1605965 116.66/109.50 o 1606206 116.66/109.50 o 1606628 116.66/109.50 o 1606922 116.66/109.50 o 1608600 116.66/109.51 o 1609605 116.66/109.51 o 1609654 116.66/109.52 o 1609836 116.66/109.52 o 1610841 116.66/109.52 o 1610890 116.66/109.56 o 1612690 116.66/109.56 o 1614368 116.66/109.56 o 1615628 120.56/113.38 o 1616985 120.56/113.38 o 1617180 120.56/113.38 o 1617502 120.56/113.38 o 1617697 120.56/113.38 o 1618099 120.56/113.38 o 1618616 120.56/113.38 o 1618811 120.56/113.39 o 1619014 120.56/113.39 o 1619209 120.56/113.40 o 1620030 120.56/113.40 o 1620138 120.56/113.40 o 1622099 120.66/113.40 o 1623213 120.66/113.40 o 1623408 122.49/115.25 o 1623770 122.71/115.40 o 1626037 122.71/115.40 o 1626091 122.71/115.40 o 1626470 122.71/115.40 o 1630022 122.71/115.43 o 1631991 122.71/115.44 o 1633669 122.71/115.44 o 1635252 122.71/115.44 o 1637221 122.71/115.48 o 1637673 122.71/115.48 o 1639642 122.81/115.59 o 1642889 122.81/115.59 o 1644149 122.92/115.63 o 1645009 122.92/115.63 o 1646014 122.92/115.63 o 1646269 122.92/115.63 o 1647274 122.92/115.68 o 1648366 122.92/115.68 o 1648580 122.92/115.68 o 1650044 124.98/117.62 o 1650919 124.98/117.62 o 1651616 124.98/117.62 o 1652730 124.98/117.66 o 1653788 124.98/117.66 o 1654902 124.98/117.66 o 1656007 124.98/117.69 o 1658067 124.98/117.69 o 1660039 124.98/117.69 o 1661850 124.98/117.69 o 1662955 125.08/117.70 o 1662964 125.08/117.70 o 1664069 125.08/117.75 o 1664120 125.29/117.91 o 1664182 125.29/117.91 o 1668113 125.60/118.20 o 1668443 125.60/118.21 o 1669199 125.60/118.21 o 1669896 125.60/118.21 o 1671010 125.60/118.23 o 1671497 125.60/118.23 o 1672611 125.60/118.23 o 1672728 125.60/118.23 o 1673827 125.60/118.23 o 1674941 125.60/118.27 o 1675428 125.70/118.30 o 1676542 125.70/118.37 o 1677794 125.70/118.39 o 1681626 125.80/118.41 o 1683120 125.80/118.41 o 1686952 127.25/119.87 o 1687461 127.25/119.87 o 1688252 127.25/119.87 o 1688604 127.25/119.87 o 1689540 127.46/120.09 o 1693787 128.19/120.66 o 1694309 128.19/120.66 o 1694440 128.19/120.67 o 1695245 128.19/120.68 o 1695376 128.29/120.75 o 1696130 128.29/120.75 o 1696261 128.29/120.75 o 1696666 128.29/120.75 o 1696990 128.29/120.75 o 1697926 128.29/120.75 o 1698057 128.40/120.82 o 1698417 128.40/120.82 o 1698548 128.50/120.93 o 1699903 128.50/120.93 o 1699915 128.50/120.93 o 1701016 128.50/120.93 o 1703034 128.50/120.94 o 1703095 128.50/120.94 o 1703158 128.50/120.94 o 1705113 128.50/120.94 o 1705125 128.82/121.26 o 1705417 128.82/121.26 o 1706353 128.82/121.26 o 1706413 128.82/121.26 o 1706484 128.82/121.26 o 1707256 128.82/121.26 o 1708492 128.82/121.26 o 1709428 128.82/121.26 o 1710244 128.82/121.26 o 1711180 128.82/121.26 o 1711480 128.82/121.26 o 1712416 128.82/121.26 o 1712815 128.82/121.26 o 1713492 128.82/121.26 o 1713724 128.82/121.26 o 1713795 128.82/121.27 o 1714007 128.82/121.27 o 1714567 128.82/121.27 o 1715803 128.82/121.27 o 1716739 128.82/121.27 o 1716870 128.92/121.38 o 1718997 128.92/121.38 o 1719984 128.92/121.38 o 1720277 128.92/121.38 o 1720287 128.92/121.38 o 1721980 128.92/121.38 o 1724218 128.92/121.38 o 1725205 129.02/121.45 o 1726016 129.02/121.45 o 1726952 129.02/121.45 o 1727770 129.02/121.45 o 1728377 129.02/121.46 o 1729195 129.02/121.46 o 1730236 129.02/121.46 o 1731054 129.02/121.46 o 1731172 129.02/121.46 o 1731990 129.02/121.47 o 1732047 129.02/121.47 o 1732983 129.02/121.48 o 1733801 129.34/121.72 o 1734215 129.34/121.72 o 1734349 129.34/121.72 o 1734876 129.34/121.72 o 1734980 129.34/121.72 o 1735507 129.34/121.72 o 1736026 129.34/121.72 o 1736157 129.34/121.78 o 1736426 129.34/121.78 o 1737275 129.34/121.78 o 1737794 129.34/121.78 o 1738302 129.34/121.78 o 1738398 129.34/121.78 o 1739766 129.34/121.78 o 1740406 129.34/121.79 o 1741774 129.34/121.79 o 1742293 129.34/121.79 o 1742378 129.34/121.79 o 1742897 129.34/121.79 o 1743746 129.34/121.79 o 1744265 129.54/121.98 o 1745080 129.84/122.28 o 1745510 129.94/122.34 o 1746100 129.94/122.34 o 1746281 129.94/122.34 o 1746495 129.94/122.34 o 1747959 129.94/122.37 o 1748062 129.94/122.37 o 1749740 129.94/122.38 o 1751429 129.94/122.38 o 1753288 129.94/122.38 o 1754966 144.59/136.62 o 1755566 144.59/136.62 o 1755857 144.59/136.62 o 1757535 145.41/137.44 o 1758047 145.41/137.48 o 1759725 146.42/138.47 o 1759810 146.42/138.47 o 1761779 146.42/138.47 o 1763457 146.42/138.47 o 1763678 146.42/138.47 o 1763969 146.42/138.47 o 1765647 152.37/144.25 o 1767111 194.92/185.89 o 1767879 195.43/186.38 o 1769171 195.64/186.50 o 1769290 195.64/186.52 o 1769793 195.64/186.52 o 1773724 195.74/186.63 o 1773851 195.74/186.64 o 1773888 195.74/186.64 o 1774415 195.74/186.64 o 1775002 195.74/186.64 o 1775529 195.74/186.64 o 1776392 195.74/186.64 o 1776568 195.74/186.65 o 1776686 195.74/186.65 o 1777250 195.74/186.65 o 1778364 195.74/186.65 o 1779109 195.74/186.65 o 1780223 195.74/186.66 o 1780750 195.74/186.67 o 1780985 195.74/186.67 o 1780988 195.74/186.67 o 1781470 195.74/186.67 o 1782584 195.74/186.67 o 1783329 195.74/186.68 o 1784443 195.74/186.68 o 1784970 195.74/186.68 o 1786410 195.74/186.69 o 1786937 195.74/186.69 o 1787524 195.74/186.69 o 1788051 195.84/186.70 o 1788627 195.84/186.70 o 1789485 195.84/186.70 o 1790599 195.84/186.70 o 1791126 216.64/207.08 o 1792692 216.64/207.09 o 1794503 239.32/229.18 o 1794581 239.32/229.18 o 1795842 239.32/229.18 o 1796660 239.32/229.18 o 1797494 239.32/229.18 o 1798312 241.47/231.22 o 1798599 241.47/231.25 o 1798712 241.47/231.25 o 1800571 242.10/231.86 o 1800821 243.13/232.83 o 1801910 243.13/232.84 o 1803769 264.25/253.45 o 1805880 264.25/253.45 o 1806789 286.89/275.55 o 1806799 286.89/275.55 o 1806848 286.89/275.55 o 1808087 286.89/275.55 o 1808136 319.44/307.33 o 1808336 319.44/307.33 o 1808467 319.44/307.33 o 1809572 319.44/307.33 o 1809703 319.44/307.33 o 1810415 319.44/307.33 o 1811651 319.44/307.34 o 1811782 319.44/307.34 o 1812273 319.44/307.34 o 1812404 319.44/307.34 o 1813509 319.44/307.34 o 1813640 320.67/308.59 o 1814602 320.67/308.59 o 1814605 320.67/308.59 o 1817603 320.67/308.59 o 1818587 320.67/308.59 o 1819575 320.67/308.59 o 1820559 320.98/308.81 o 1821183 321.91/309.73 o 1821405 321.91/309.73 o 1821690 321.91/309.73 o 1822217 321.91/309.73 o 1822674 321.91/309.73 o 1823201 333.96/321.52 o 1823452 368.47/355.29 o 1823789 368.47/355.29 o 1824179 368.47/355.29 o 1825467 369.50/356.22 o 1825528 369.50/356.25 o 1826816 369.50/356.26 o 1827206 369.50/356.26 o 1828494 371.45/358.14 o 1829066 371.45/358.14 o 1830354 371.45/358.17 o 1830744 371.64/358.34 o 1832032 374.00/360.61 o 1832452 374.00/360.61 o 1832971 374.10/360.79 o 1833436 374.22/360.89 o 1833955 384.65/371.07 o 1834253 384.65/371.07 o 1835237 384.94/371.31 o 1836206 384.94/371.33 o 1838175 384.94/371.34 o 1839159 400.50/386.31 o 1839799 400.61/386.41 o 1840024 400.61/386.41 o 1841488 400.81/386.70 o 1842604 400.81/386.70 o 1844160 400.91/386.70 o 1845624 408.07/393.79 o 1846144 408.07/393.79 o 1846553 408.07/393.79 o 1849573 408.07/393.79 o 1850578 410.22/395.83 o 1850976 410.22/395.83 o 1851025 410.22/395.83 o 1851484 410.22/395.83 o 1852948 410.22/395.83 o 1852997 410.22/395.83 o 1854935 410.22/395.83 o 1854984 410.22/395.83 o 1856907 410.22/395.83 o 1856956 410.22/395.83 o 1858371 410.22/395.83 o 1858420 413.79/399.30 o 1858454 413.79/399.30 o 1859918 413.79/399.30 o 1860250 413.79/399.30 o 1861714 414.11/399.60 o 1862719 428.24/413.49 o 1862787 428.24/413.50 o 1864120 428.24/413.50 o 1864251 428.44/413.63 o 1864577 428.44/413.65 o 1865650 428.44/413.65 o 1866194 428.44/413.65 o 1867658 431.30/416.48 o 1867789 445.25/430.09 o 1869830 445.35/430.12 o 1872911 447.00/431.78 o 1873455 457.96/442.33 o 1874758 457.96/442.33 o 1875745 457.96/442.33 o 1876264 457.96/442.33 o 1876267 457.96/442.33 o 1876655 457.96/442.33 o 1879968 457.96/442.33 o 1880487 457.96/442.34 o 1880955 457.96/442.34 o 1881474 457.96/442.34 o 1881939 457.96/442.34 o 1882458 462.64/446.86 o 1882605 462.64/446.86 o 1883238 462.64/446.86 o 1884352 462.85/447.03 o 1884492 462.85/447.03 o 1885476 462.85/447.03 o 1885606 462.85/447.04 o 1886590 462.85/447.07 o 1887223 462.85/447.07 o 1888337 462.85/447.09 o 1888999 462.85/447.10 o 1889983 463.25/447.42 o 1890553 463.25/447.42 o 1891097 463.87/448.07 o 1892149 464.18/448.30 o 1892791 464.18/448.30 o 1894469 464.18/448.31 o 1895499 464.18/448.31 o 1896920 464.18/448.31 o 1897861 464.18/448.31 o 1899940 464.18/448.31 o 1901618 466.22/450.31 o 1902906 474.80/458.74 o 1903636 474.80/458.75 o 1903767 475.23/459.11 o 1904022 475.23/459.12 o 1904152 475.23/459.12 o 1905136 475.23/459.12 o 1906121 475.23/459.12 o 1907105 475.23/459.15 o 1907236 510.54/493.69 o 1907442 510.64/493.75 o 1908392 510.64/493.75 o 1909680 510.96/494.08 o 1910813 511.06/494.14 o 1912101 511.46/494.59 o 1912356 511.46/494.59 o 1912407 511.56/494.68 o 1914006 511.56/494.68 o 1914162 511.56/494.68 o 1914541 511.56/494.68 o 1916400 534.69/517.29 o 1917560 534.69/517.29 o 1917609 535.10/517.65 o 1919529 535.20/517.73 o 1919578 535.81/518.38 o 1920736 535.81/518.38 o 1920785 541.69/523.99 o 1920803 541.69/523.99 o 1921273 541.69/523.99 o 1921322 542.93/525.16 o 1922612 542.93/525.16 o 1923131 542.93/525.16 o 1923180 543.34/525.52 o 1924512 543.34/525.52 o 1924561 543.34/525.52 o 1925031 543.34/525.52 o 1925080 543.34/525.52 o 1926591 543.34/525.52 o 1927110 543.34/525.52 o 1927159 544.56/526.70 o 1927890 544.56/526.73 o 1929862 544.56/526.74 o 1930381 587.96/569.00 o 1930852 587.96/569.00 o 1931836 673.12/652.19 o 1934724 715.95/693.94 o 1935221 715.95/693.95 o 1935740 716.98/694.90 o 1936442 716.98/694.90 o 1936961 722.09/699.99 o 1937615 722.09/699.99 o 1938134 722.20/700.07 o 1938836 722.20/700.09 o 1939355 777.34/753.33 o 1942148 785.01/760.87 o 1943742 785.01/760.87 o 1943791 785.01/760.89 o 1945206 785.11/760.91 o 1945255 785.22/761.02 o 1945582 785.22/761.02 o 1945631 786.44/762.26 o 1945637 786.75/762.51 o 1946546 786.75/762.51 o 1947199 786.75/762.51 o 1948663 786.75/762.54 o 1948712 811.52/786.76 o 1949222 811.52/786.76 o 1950458 811.52/786.78 o 1950900 811.62/786.88 o 1952136 834.06/808.81 o 1952324 834.16/808.98 o 1952615 834.16/808.98 o 1953134 834.16/808.98 o 1953729 834.16/808.98 o 1954248 834.57/809.34 o 1955132 834.57/809.34 o 1956246 834.89/809.61 o 1957056 834.89/809.61 o 1958170 834.89/809.63 o 1958689 835.20/809.99 o 1959835 835.31/810.03 o 1961759 835.31/810.05 o 1962278 835.71/810.41 o 1964276 835.71/810.45 o 1966200 835.71/810.50 o 1966719 835.81/810.52 o 1967314 835.81/810.52 o 1967833 835.91/810.66 o 1968439 835.91/810.66 o 1968958 981.51/952.68 o 1969235 981.51/952.68 o 1969366 981.83/952.92 o 1969381 981.83/952.92 o 1970495 993.73/964.35 o 1971143 993.73/964.38 o 1971325 993.73/964.38 o 1972450 993.73/964.38 o 1973564 1071.99/1040.78 o 1974057 1071.99/1040.78 o 1975961 1071.99/1040.78 o 1977979 1071.99/1040.78 o 1978110 1141.30/1108.14 o 1978450 1141.39/1108.22 o 1980448 1141.39/1108.22 o 1982372 1141.49/1108.31 o 1983356 1170.92/1136.80 o 1983827 1170.92/1136.80 o 1984941 1170.92/1136.81 o 1985072 1171.25/1137.16 o 1986129 1171.34/1137.25 o 1986683 1171.34/1137.25 o 1988147 1954.59/1899.75 o 1988466 1966.57/1911.47 o 1988644 1966.57/1911.47 o 1988693 1966.57/1911.47 o 1989163 1966.57/1911.48 o 1989212 2042.57/1985.50 o 1990048 2042.67/1985.50 o 1990434 2044.74/1987.53 o 1990609 2044.74/1987.53 o 1990740 2044.74/1987.53 o 1991542 2044.74/1987.53 o 1992656 2044.84/1987.60 o 1993936 2044.84/1987.67 o 1995050 2044.94/1987.74 o 1995181 2044.94/1987.74 o 1995230 2047.32/1990.02 o 1996970 2047.32/1990.03 o 1997356 2047.51/1990.28 o 1998557 2047.61/1990.35 o 1999671 2047.71/1990.42 o 2000415 2047.71/1990.42 o 2001529 2047.71/1990.49 o 2002389 2047.71/1990.49 o 2004247 2047.81/1990.56 o 2005361 2047.91/1990.63 o 2005747 2048.01/1990.71 o 2006210 2048.01/1990.71 o 2007267 2048.01/1990.71 o 2007829 2048.01/1990.71 o 2007830 2048.01/1990.71 o 2009688 2097.05/2038.32 o 2010128 2097.05/2038.32 o 2011021 2097.05/2038.32 o 2012146 2206.52/2145.07 o 2012651 2206.52/2145.07 o 2014768 2206.52/2145.07 o 2015882 2400.05/2333.11 s SATISFIABLE 2400.05/2333.11 v <instantiation> 2400.05/2333.11 v <list> 2400.05/2333.11 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] 2400.05/2333.11 v </list> 2400.05/2333.11 v <values> 2400.05/2333.11 v 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 1 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 1 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 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 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 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 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 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 1 0 0 0 0 0 0 1 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 1 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 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 1 0 0 0 1 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 1 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 1 1 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 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 1 0 0 0 1 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 1 0 1 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 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 1 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 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 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 1 0 0 0 0 0 0 1 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 1 0 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 1 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 1 0 0 1 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 1 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 1 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 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 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 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 1 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 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 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 1 0 0 1 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 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 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 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 1 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 1 1 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 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 1 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 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 1 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 1 0 0 0 1 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 1 0 0 0 0 0 1 0 0 1 0 0 0 1 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 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 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 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 1 2400.05/2333.11 v </values> 2400.05/2333.11 v </instantiation>
OK 2015882
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 (10317 MiB free)
memory of node 1: 16384 MiB (10876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291746-1532260876/watcher-4291746-1532260876 -o /tmp/evaluation-result-4291746-1532260876/solver-4291746-1532260876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 547230983 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291746-1532260876.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=3315, runsolver pid=3311
[startup+0.100092 s]*
/proc/loadavg: 1.84 1.98 2.02 4/218 3348
/proc/meminfo: memFree=21668644/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14082740 memory=32632 CPUtime=0.11 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 7087 0 0 0 10 1 0 0 20 0 15 0 43650803 14420725760 8158 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3520685 8158 3137 1 0 3482761 0
[pid=3315/tid=3321] ppid=3311 vsize=14082740 memory=-8253362762721355408 CPUtime=0.09 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 5160 0 0 0 8 1 0 0 20 0 15 0 43650804 14420725760 8158 33554432000 4194304 4196468 140728698149088 139992806310256 139992802129053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14082740 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 8158 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 8158 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 8158 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 8158 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650806 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43650806 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991713534880 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43650807 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991712482288 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0.01 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) R 3311 3315 3256 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 43650809 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991400143600 139992788431511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 8158 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32632 KiB
[startup+0.214073 s]*
/proc/loadavg: 1.84 1.98 2.02 10/218 3348
/proc/meminfo: memFree=21636324/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14082740 memory=46772 CPUtime=0.31 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 10373 0 0 0 29 2 0 0 20 0 15 0 43650803 14420725760 11693 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3520685 11693 3366 1 0 3482761 0
[pid=3315/tid=3321] ppid=3311 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 8071 0 0 0 19 1 0 0 20 0 15 0 43650804 14420725760 11760 33554432000 4194304 4196468 140728698149088 139992806333840 139992802119062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 11760 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14082740 memory=140654839387248 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 11760 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 11760 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 11760 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43650806 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43650806 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991713534880 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43650807 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991712482288 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) R 3311 3315 3256 0 -1 4202560 372 0 0 0 1 0 0 0 20 0 15 0 43650809 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991710378480 139992779571712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 43650809 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0.06 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) S 3311 3315 3256 0 -1 1077944384 323 0 0 0 6 0 0 0 20 0 15 0 43650809 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991400143600 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 11760 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46772 KiB
[startup+0.310351 s]*
/proc/loadavg: 1.84 1.98 2.02 3/218 3348
/proc/meminfo: memFree=21629004/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14082740 memory=50504 CPUtime=0.44 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 10726 0 0 0 41 3 0 0 20 0 15 0 43650803 14420725760 12626 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3520685 12626 3373 1 0 3482761 0
[pid=3315/tid=3321] ppid=3311 vsize=14082740 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 8398 0 0 0 28 2 0 0 20 0 15 0 43650804 14420725760 12626 33554432000 4194304 4196468 140728698149088 139992806268864 139992786187614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14082740 memory=304556136177336343 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 12626 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14082740 memory=15403191348807320 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 12626 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 12626 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14420725760 12626 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43650806 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43650806 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991713534880 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43650807 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991712482288 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 43650809 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 43650809 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0.07 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) R 3311 3315 3256 0 -1 4202560 339 0 0 0 7 0 0 0 20 0 15 0 43650809 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991400143600 139992781382824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14082740 memory=140654839383680 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650809 14420725760 12626 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50504 KiB
[startup+0.700746 s]
/proc/loadavg: 1.84 1.98 2.02 4/218 3348
/proc/meminfo: memFree=21583428/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14084808 memory=88780 CPUtime=1 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 17610 0 0 0 96 4 0 0 20 0 15 0 43650803 14422843392 22195 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3521202 22195 3504 1 0 3483273 0
[pid=3315/tid=3321] ppid=3311 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 14848 0 0 0 64 3 0 0 20 0 15 0 43650804 14422843392 22195 33554432000 4194304 4196468 140728698149088 139992806332384 139992802129053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14422843392 22195 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14422843392 22195 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14422843392 22195 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14422843392 22195 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43650806 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43650806 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991713534880 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43650807 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991712482288 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14084808 memory=7236547281622689387 CPUtime=0.05 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 525 0 0 0 5 0 0 0 20 0 15 0 43650809 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14084808 memory=5787213827063244903 CPUtime=0.09 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 404 0 0 0 9 0 0 0 20 0 15 0 43650809 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14084808 memory=4629539461233085814 CPUtime=0.15 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) S 3311 3315 3256 0 -1 1077944384 449 0 0 0 15 0 0 0 20 0 15 0 43650809 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991400143600 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650809 14422843392 22195 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88780 KiB
[startup+1.50078 s]
/proc/loadavg: 1.84 1.98 2.02 5/218 3348
/proc/meminfo: memFree=21505612/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14086856 memory=188280 CPUtime=2.94 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 21326 0 0 0 286 8 0 0 20 0 15 0 43650803 14424940544 47070 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3521714 47070 3548 1 0 3483785 0
[pid=3315/tid=3321] ppid=3311 vsize=14086856 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 16006 0 0 0 142 5 0 0 20 0 15 0 43650804 14424940544 47070 33554432000 4194304 4196468 140728698149088 139992806343264 139992400463223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14086856 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14424940544 47070 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14086856 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14424940544 47070 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14086856 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43650805 14424940544 47070 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14086856 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43650805 14424940544 47070 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14086856 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43650806 14424940544 47070 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
################
# More data... #
################
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 145587 0 0 0 223829 59 0 0 20 0 15 0 43650804 14431232000 265231 33554432000 4194304 4196468 140728698149088 139992806344256 139992399551031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14093000 memory=1061948 CPUtime=19.36 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 16065 0 0 0 1876 60 0 0 20 0 15 0 43650805 14431232000 265231 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14093000 memory=1073212 CPUtime=19.34 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 17374 0 0 0 1875 59 0 0 20 0 15 0 43650805 14431232000 265231 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14093000 memory=1060924 CPUtime=19.34 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 19498 0 0 0 1875 59 0 0 20 0 15 0 43650805 14431232000 265231 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14093000 memory=1061948 CPUtime=19.34 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 16155 0 0 0 1872 62 0 0 20 0 15 0 43650805 14431232000 265231 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14093000 memory=4140 CPUtime=2.48 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 65674 0 0 0 212 36 0 0 20 0 15 0 43650806 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14093000 memory=1061948 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43650806 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991713534944 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14093000 memory=1061948 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43650807 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991712482304 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14093000 memory=1070964 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14093000 memory=4140 CPUtime=2.98 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 17828 0 0 0 295 3 0 0 20 0 15 0 43650809 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14093000 memory=1061948 CPUtime=2.93 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 18836 0 0 0 290 3 0 0 20 0 15 0 43650809 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14093000 memory=1061948 CPUtime=1.26 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) S 3311 3315 3256 0 -1 1077944384 29249 0 0 0 123 3 0 0 20 0 15 0 43650809 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991400143600 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14093000 memory=1060924 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14093000 memory=1228 CPUtime=1.26 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1329 0 0 0 58 68 0 0 20 0 15 0 43650809 14431232000 265231 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 2327.26 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1060924 KiB
[startup+2322.3 s]
/proc/loadavg: 1.14 1.36 1.43 3/215 3488
/proc/meminfo: memFree=19578308/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14093000 memory=946484 CPUtime=2388.66 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 351084 0 0 0 238471 395 0 0 20 0 15 0 43650803 14431232000 236621 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3523250 236621 3618 1 0 3485321 0
[pid=3315/tid=3321] ppid=3311 vsize=14093000 memory=956228 CPUtime=2298.37 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 146949 0 0 0 229778 59 0 0 20 0 15 0 43650804 14431232000 236621 33554432000 4194304 4196468 140728698149088 139992806344256 139992401194272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14093000 memory=956228 CPUtime=19.83 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 16242 0 0 0 1923 60 0 0 20 0 15 0 43650805 14431232000 236621 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14093000 memory=956228 CPUtime=19.8 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 17456 0 0 0 1921 59 0 0 20 0 15 0 43650805 14431232000 236621 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14093000 memory=946484 CPUtime=19.8 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 19682 0 0 0 1921 59 0 0 20 0 15 0 43650805 14431232000 236621 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14093000 memory=967516 CPUtime=19.8 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 16226 0 0 0 1918 62 0 0 20 0 15 0 43650805 14431232000 236621 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14093000 memory=3840 CPUtime=2.51 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 65839 0 0 0 214 37 0 0 20 0 15 0 43650806 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14093000 memory=957256 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43650806 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991713534944 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14093000 memory=957256 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43650807 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991712482304 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14093000 memory=14836 CPUtime=2.98 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 17828 0 0 0 295 3 0 0 20 0 15 0 43650809 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14093000 memory=946484 CPUtime=2.93 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 18836 0 0 0 290 3 0 0 20 0 15 0 43650809 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14093000 memory=2412 CPUtime=1.26 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) S 3311 3315 3256 0 -1 1077944384 29249 0 0 0 123 3 0 0 20 0 15 0 43650809 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991400143600 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14093000 memory=978288 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14093000 memory=4140 CPUtime=1.29 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1345 0 0 0 59 70 0 0 20 0 15 0 43650809 14431232000 236621 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 2388.66 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 946484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2333.11 s]
/proc/loadavg: 1.36 1.40 1.44 3/216 3496
/proc/meminfo: memFree=19611700/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14093000 memory=925464 CPUtime=2400.05 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 352285 0 0 0 239610 395 0 0 20 0 15 0 43650803 14431232000 231366 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3523250 231366 3618 1 0 3485321 0
[pid=3315/tid=3321] ppid=3311 vsize=14093000 memory=956228 CPUtime=2308.97 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 147217 0 0 0 230838 59 0 0 20 0 15 0 43650804 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992806344144 139992405995271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14093000 memory=945472 CPUtime=20.02 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 16257 0 0 0 1942 60 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14093000 memory=935212 CPUtime=20 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 17472 0 0 0 1941 59 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14093000 memory=935212 CPUtime=19.99 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 19692 0 0 0 1940 59 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14093000 memory=2000 CPUtime=20 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 16407 0 0 0 1937 63 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14093000 memory=925464 CPUtime=2.53 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 66539 0 0 0 216 37 0 0 20 0 15 0 43650806 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14093000 memory=281309487443936 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43650806 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991713534944 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14093000 memory=935724 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43650807 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991712482304 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14093000 memory=935724 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14093000 memory=2244 CPUtime=2.98 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 17830 0 0 0 295 3 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14093000 memory=935212 CPUtime=2.93 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 18839 0 0 0 290 3 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14093000 memory=935212 CPUtime=1.26 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) S 3311 3315 3256 0 -1 1077944384 29251 0 0 0 123 3 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991400143600 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14093000 memory=935212 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14093000 memory=925464 CPUtime=1.3 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1349 0 0 0 59 71 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 925464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2333.14 s]
# the end of solver process 3315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.13 s, system=3.96539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2333.11 s]
/proc/loadavg: 1.36 1.40 1.44 3/216 3496
/proc/meminfo: memFree=19611700/32770624 swapFree=67108860/67108860
[pid=3315] ppid=3311 vsize=14093000 memory=925464 CPUtime=2400.05 cores=1,3,5,7
/proc/3315/stat : 3315 (java) S 3311 3315 3256 0 -1 1077944320 352285 0 0 0 239610 395 0 0 20 0 15 0 43650803 14431232000 231366 33554432000 4194304 4196468 140728698149088 140728698131632 139992802107127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
/proc/3315/statm: 3523250 231366 3618 1 0 3485321 0
[pid=3315/tid=3321] ppid=3311 vsize=14093000 memory=956228 CPUtime=2308.97 cores=1,3,5,7
/proc/3315/task/3321/stat : 3321 (java) R 3311 3315 3256 0 -1 4202560 147217 0 0 0 230838 59 0 0 20 0 15 0 43650804 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992806344144 139992405995271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3323] ppid=3311 vsize=14093000 memory=945472 CPUtime=20.02 cores=1,3,5,7
/proc/3315/task/3323/stat : 3323 (java) S 3311 3315 3256 0 -1 1077944384 16257 0 0 0 1942 60 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992717175568 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3324] ppid=3311 vsize=14093000 memory=935212 CPUtime=20 cores=1,3,5,7
/proc/3315/task/3324/stat : 3324 (java) S 3311 3315 3256 0 -1 1077944384 17472 0 0 0 1941 59 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992716123024 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3325] ppid=3311 vsize=14093000 memory=935212 CPUtime=19.99 cores=1,3,5,7
/proc/3315/task/3325/stat : 3325 (java) S 3311 3315 3256 0 -1 1077944384 19692 0 0 0 1940 59 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992395410448 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3326] ppid=3311 vsize=14093000 memory=2000 CPUtime=20 cores=1,3,5,7
/proc/3315/task/3326/stat : 3326 (java) S 3311 3315 3256 0 -1 1077944384 16407 0 0 0 1937 63 0 0 20 0 15 0 43650805 14431232000 231366 33554432000 4194304 4196468 140728698149088 139992394357904 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3331] ppid=3311 vsize=14093000 memory=925464 CPUtime=2.53 cores=1,3,5,7
/proc/3315/task/3331/stat : 3331 (java) S 3311 3315 3256 0 -1 1077944384 66539 0 0 0 216 37 0 0 20 0 15 0 43650806 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991714588656 139992802118274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3333] ppid=3311 vsize=14093000 memory=281309487443936 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3333/stat : 3333 (java) S 3311 3315 3256 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43650806 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991713534944 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3335] ppid=3311 vsize=14093000 memory=935724 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3335/stat : 3335 (java) S 3311 3315 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43650807 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991712482304 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3337] ppid=3311 vsize=14093000 memory=935724 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3337/stat : 3337 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991711430864 139992802125723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3338] ppid=3311 vsize=14093000 memory=2244 CPUtime=2.98 cores=1,3,5,7
/proc/3315/task/3338/stat : 3338 (java) S 3311 3315 3256 0 -1 1077944384 17830 0 0 0 295 3 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991710378480 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3339] ppid=3311 vsize=14093000 memory=935212 CPUtime=2.93 cores=1,3,5,7
/proc/3315/task/3339/stat : 3339 (java) S 3311 3315 3256 0 -1 1077944384 18839 0 0 0 290 3 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991709325936 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3340] ppid=3311 vsize=14093000 memory=935212 CPUtime=1.26 cores=1,3,5,7
/proc/3315/task/3340/stat : 3340 (java) S 3311 3315 3256 0 -1 1077944384 29251 0 0 0 123 3 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991400143600 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3345] ppid=3311 vsize=14093000 memory=935212 CPUtime=0 cores=1,3,5,7
/proc/3315/task/3345/stat : 3345 (java) S 3311 3315 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991399091296 139992802117333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
[pid=3315/tid=3347] ppid=3311 vsize=14093000 memory=925464 CPUtime=1.3 cores=1,3,5,7
/proc/3315/task/3347/stat : 3347 (java) S 3311 3315 3256 0 -1 1077944384 1349 0 0 0 59 71 0 0 20 0 15 0 43650809 14431232000 231366 33554432000 4194304 4196468 140728698149088 139991398037808 139992802118274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140728698152021 140728698152201 140728698152201 140728698154959 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 925464 KiB
Child status: 143
Real time (s): 2333.14
CPU time (s): 2400.09
CPU user time (s): 2396.13
CPU system time (s): 3.96539
CPU usage (%): 102.87
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1762024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.13
system time used= 3.96539
maximum resident set size= 1768768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103981
involuntary context switches= 3824
# summary of solver processes directly reported to runsolver:
# pid: 3315
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.13
# total CPU system time (s): 3.96539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9439 second user time and 22.2493 second system time
The end
Begin job on node137 at 2018-07-22 14:01:16 IDJOB=4291746 IDBENCH=141155 IDSOLVER=2746 FILE ID=node137/4291746-1532260876 RUNJOBID= node137-1532260876-3288 PBS_JOBID= 21018969 Free space on /tmp= 56892 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 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-4291746-1532260876/watcher-4291746-1532260876 -o /tmp/evaluation-result-4291746-1532260876/solver-4291746-1532260876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 547230983 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291746-1532260876.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456 RANDOM SEED=547230983 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21705176 kB MemAvailable: 31933596 kB Buffers: 237276 kB Cached: 10190004 kB SwapCached: 0 kB Active: 1780784 kB Inactive: 8703376 kB Active(anon): 59776 kB Inactive(anon): 16944 kB Active(file): 1721008 kB Inactive(file): 8686432 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 71500 kB Writeback: 0 kB AnonPages: 63648 kB Mapped: 35372 kB Shmem: 17036 kB Slab: 276184 kB SReclaimable: 249440 kB SUnreclaim: 26744 kB KernelStack: 3120 kB PageTables: 5904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 56824 MiB End job on node137 at 2018-07-22 14:40:10