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-08-14 | SAT (TO) | 2265995 | 252.099 | 238.248 |
| Name | Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml |
| MD5SUM | ef5bf96e0ba9cc2c7a758eef92479658 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2265995 |
| Best CPU time to get the best result obtained on this benchmark | 252.099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 400 |
| 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 | 40 |
| Distribution of variable degrees | [{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}] |
| Minimum constraint arity | 12 |
| Maximum constraint arity | 37 |
| Distribution of constraint arities | [{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":400}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.56 c seed: 584253516 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 3.89/2.03 c Parsing done, starting first complete search... 4.73/2.33 o 0 4.73/2.33 o 19026 4.73/2.34 o 27190 4.73/2.34 o 46216 4.73/2.34 o 46287 4.73/2.35 o 60652 4.73/2.35 o 63660 4.73/2.35 o 66969 4.73/2.35 o 71630 4.73/2.35 o 74813 4.73/2.35 o 77821 4.73/2.36 o 85995 4.73/2.36 o 89003 4.73/2.36 o 95443 4.73/2.36 o 98451 4.73/2.37 o 103873 4.73/2.37 o 106881 4.73/2.37 o 109561 4.73/2.37 o 117877 4.73/2.38 o 134332 4.73/2.38 o 152232 4.73/2.38 o 155826 4.73/2.38 o 158834 4.73/2.38 o 167150 4.73/2.38 o 170602 4.73/2.38 o 180837 4.73/2.39 o 188813 4.73/2.39 o 190358 4.73/2.39 o 192857 4.73/2.40 o 193801 5.01/2.40 o 204929 5.01/2.40 o 207705 5.01/2.40 o 213032 5.01/2.40 o 215697 5.01/2.41 o 216218 5.01/2.41 o 217763 5.01/2.41 o 224648 5.01/2.41 o 226193 5.01/2.41 o 227425 5.01/2.41 o 227549 5.01/2.41 o 234310 5.01/2.41 o 235855 5.01/2.41 o 239637 5.01/2.42 o 241182 5.01/2.42 o 246670 5.01/2.42 o 248215 5.01/2.42 o 255100 5.01/2.42 o 256645 5.01/2.43 o 257371 5.01/2.43 o 260310 5.01/2.43 o 266266 5.01/2.44 o 266874 5.01/2.44 o 272927 5.01/2.44 o 279688 5.01/2.44 o 281233 5.01/2.44 o 284172 5.01/2.45 o 284734 5.01/2.45 o 284800 5.01/2.49 o 287739 5.01/2.49 o 290340 5.01/2.49 o 293279 5.01/2.49 o 296924 5.01/2.49 o 301784 5.01/2.49 o 311750 5.01/2.49 o 314689 5.32/2.50 o 315705 5.32/2.50 o 316692 5.32/2.50 o 318237 5.32/2.50 o 321245 5.32/2.51 o 323696 5.32/2.51 o 325241 5.32/2.51 o 328655 5.32/2.52 o 331594 5.32/2.52 o 354206 5.32/2.54 o 356231 5.32/2.54 o 356793 5.32/2.54 o 358580 5.32/2.54 o 359142 5.32/2.54 o 360125 5.32/2.54 o 360687 5.32/2.55 o 363137 5.32/2.55 o 363699 5.32/2.55 o 366076 5.32/2.55 o 366638 5.32/2.56 o 367110 5.32/2.59 o 367883 5.32/2.59 o 368445 5.32/2.59 o 370822 5.32/2.59 o 371384 5.62/2.60 o 371641 5.62/2.62 o 372055 5.62/2.62 o 372527 5.62/2.63 o 372784 5.62/2.64 o 374584 5.62/2.64 o 375056 5.62/2.66 o 375949 5.62/2.66 o 376421 5.62/2.66 o 376678 5.62/2.67 o 378073 5.62/2.67 o 378545 5.62/2.67 o 378802 5.62/2.68 o 379741 5.62/2.68 o 380213 5.62/2.68 o 382269 5.62/2.68 o 382741 5.62/2.68 o 385281 5.62/2.68 o 385753 5.62/2.69 o 385828 5.62/2.69 o 387427 5.62/2.70 o 387899 5.92/2.70 o 389685 5.92/2.70 o 390157 5.92/2.70 o 392693 5.92/2.70 o 393165 5.92/2.70 o 395705 5.92/2.70 o 396177 5.92/2.71 o 396255 5.92/2.71 o 396727 5.92/2.71 o 399263 5.92/2.71 o 399735 5.92/2.72 o 399926 5.92/2.72 o 400398 5.92/2.72 o 402275 5.92/2.72 o 402747 5.92/2.73 o 403187 5.92/2.73 o 407269 5.92/2.73 o 407741 5.92/2.73 o 407831 5.92/2.73 o 408303 5.92/2.74 o 409206 5.92/2.74 o 409678 5.92/2.74 o 409914 5.92/2.74 o 410386 5.92/2.74 o 410588 5.92/2.74 o 410695 5.92/2.74 o 417251 5.92/2.75 o 417723 5.92/2.75 o 420263 5.92/2.75 o 420735 5.92/2.77 o 421421 5.92/2.77 o 421893 5.92/2.78 o 423176 5.92/2.78 o 423648 5.92/2.78 o 428292 5.92/2.78 o 428764 5.92/2.79 o 429550 5.92/2.79 o 430022 5.92/2.79 o 430693 5.92/2.80 o 431165 5.92/2.80 o 433042 5.92/2.80 o 433514 6.23/2.80 o 434438 6.23/2.81 o 434910 6.23/2.81 o 437450 6.23/2.81 o 437922 6.23/2.81 o 438158 6.23/2.82 o 438630 6.23/2.84 o 440567 6.23/2.84 o 441039 6.23/2.87 o 441290 6.23/2.87 o 442085 6.23/2.87 o 442557 6.23/2.87 o 443373 6.23/2.88 o 446381 6.23/2.88 o 446853 6.23/2.88 o 451763 6.23/2.88 o 452906 6.23/2.88 o 454766 6.23/2.88 o 461336 6.23/2.89 o 463541 6.23/2.89 o 464249 6.23/2.89 o 468657 6.23/2.89 o 469365 6.45/2.95 o 471461 6.45/2.95 o 472169 6.45/2.95 o 475181 6.57/3.03 o 477322 6.57/3.03 o 479671 6.57/3.03 o 480379 6.57/3.04 o 482683 6.57/3.04 o 483391 6.57/3.09 o 484064 6.68/3.12 o 484724 6.68/3.12 o 487133 6.68/3.12 o 489482 6.68/3.12 o 491786 6.68/3.12 o 492494 6.68/3.15 o 493112 6.68/3.15 o 495461 6.68/3.15 o 497870 6.68/3.15 o 498578 6.68/3.16 o 498594 6.68/3.16 o 501003 6.68/3.16 o 503352 6.68/3.16 o 505255 6.68/3.19 o 505926 6.68/3.20 o 508901 6.68/3.20 o 509047 6.68/3.20 o 509137 6.68/3.20 o 509609 6.68/3.20 o 509926 6.68/3.20 o 510117 6.68/3.20 o 512466 6.68/3.20 o 512938 6.68/3.20 o 513174 6.68/3.32 o 513646 6.68/3.32 o 514228 6.68/3.32 o 514700 6.68/3.32 o 514936 6.68/3.32 o 515408 6.68/3.32 o 517948 6.68/3.32 o 518420 6.68/3.32 o 518948 6.68/3.32 o 519420 6.68/3.32 o 519656 6.68/3.32 o 520128 6.68/3.32 o 526226 6.68/3.32 o 526698 6.68/3.32 o 527415 6.68/3.32 o 527887 6.68/3.32 o 527977 6.68/3.32 o 528449 6.68/3.32 o 528685 6.68/3.32 o 529157 6.98/3.48 o 529428 6.98/3.48 o 529900 6.98/3.48 o 529990 6.98/3.48 o 530462 6.98/3.50 o 532337 7.07/3.50 o 532809 7.07/3.50 o 537620 7.07/3.50 o 538182 7.07/3.50 o 538816 7.07/3.50 o 541821 7.07/3.50 o 542383 7.07/3.50 o 542529 7.07/3.51 o 543091 7.07/3.51 o 547865 7.47/3.90 o 549566 7.47/3.91 o 550128 8.05/4.47 o 550961 8.05/4.47 o 551669 8.56/4.95 o 552139 8.66/5.03 o 552856 8.66/5.03 o 553328 8.66/5.03 o 555868 8.66/5.03 o 556340 9.18/5.55 o 556576 9.18/5.55 o 557048 9.79/6.15 o 558999 9.79/6.15 o 559471 9.79/6.15 o 562011 9.79/6.15 o 562483 10.09/6.46 o 563037 10.09/6.46 o 563509 10.09/6.47 o 563745 10.09/6.47 o 564217 10.19/6.51 o 564965 10.19/6.51 o 565437 10.19/6.54 o 566157 10.19/6.54 o 566629 10.19/6.54 o 566719 10.19/6.54 o 567191 10.19/6.54 o 569731 10.19/6.54 o 570203 10.29/6.60 o 570621 10.39/6.73 o 571810 10.39/6.73 o 572282 10.74/7.04 o 572999 10.74/7.04 o 573471 10.74/7.05 o 573707 10.74/7.05 o 574179 11.04/7.37 o 576011 11.04/7.37 o 576483 11.04/7.37 o 576719 11.04/7.37 o 577191 11.14/7.40 o 577212 11.14/7.40 o 577684 11.14/7.40 o 580224 11.14/7.40 o 580696 11.24/7.55 o 581978 11.24/7.56 o 582450 11.24/7.57 o 582581 11.24/7.57 o 583053 11.24/7.57 o 584990 11.24/7.57 o 585462 13.54/9.84 o 585870 13.54/9.84 o 586342 13.54/9.85 o 586423 13.54/9.85 o 588866 13.54/9.85 o 589428 13.54/9.85 o 589900 13.54/9.85 o 591878 13.54/9.85 o 592350 13.54/9.85 o 592440 13.54/9.86 o 592912 15.89/12.00 o 593062 15.89/12.00 o 593534 19.04/15.20 o 595272 19.25/15.31 o 595894 20.84/16.94 o 597195 20.84/16.94 o 604516 20.84/16.99 o 604545 20.84/16.99 o 604595 20.84/16.99 o 607004 30.49/26.56 c First complete search done, starting ALNS search... 31.20/26.94 o 609865 31.20/26.95 o 612812 31.20/26.95 o 613617 31.20/26.95 o 615250 31.20/26.95 o 616055 31.20/26.95 o 617777 31.20/26.95 o 618582 31.20/26.95 o 619205 31.20/26.95 o 620010 31.20/26.95 o 620451 31.20/26.95 o 620960 31.20/26.95 o 623398 31.20/26.95 o 623487 31.20/26.95 o 625925 31.20/26.96 o 626858 31.20/26.96 o 629296 31.20/26.96 o 631510 31.20/26.96 o 632315 31.20/26.96 o 632795 31.20/26.96 o 633600 31.20/26.96 o 635240 31.20/26.96 o 635611 31.20/26.96 o 635835 31.20/26.96 o 638049 31.20/26.96 o 639671 31.20/26.96 o 641885 31.20/26.96 o 642690 31.20/26.97 o 643166 31.20/26.97 o 643487 31.20/26.97 o 643683 31.86/27.32 o 644326 31.86/27.32 o 644654 31.86/27.32 o 644849 31.86/27.33 o 647063 31.86/27.33 o 647083 31.86/27.33 o 649297 31.86/27.33 o 649355 31.86/27.33 o 650068 31.86/27.33 o 650088 31.86/27.33 o 652302 31.86/27.33 o 652991 31.86/27.34 o 655086 31.86/27.34 o 655775 31.86/27.38 o 657611 31.86/27.38 o 657756 31.86/27.39 o 659970 31.86/27.39 o 661279 31.86/27.39 o 661368 31.86/27.39 o 661397 31.86/27.39 o 661572 31.86/27.39 o 661592 31.86/27.39 o 663806 31.86/27.40 o 664495 32.02/27.40 o 664514 32.02/27.40 o 665203 32.02/27.40 o 666590 32.02/27.40 o 667279 32.02/27.41 o 667422 32.02/27.42 o 667494 32.02/27.42 o 667583 32.02/27.42 o 667612 32.02/27.42 o 667787 32.02/27.42 o 667807 32.02/27.42 o 670021 32.02/27.42 o 670360 32.02/27.43 o 670745 32.02/27.43 o 671165 32.02/27.43 o 671254 32.02/27.43 o 671283 32.02/27.43 o 671458 32.02/27.43 o 671478 32.02/27.43 o 673692 32.02/27.43 o 673817 32.02/27.44 o 673837 32.02/27.44 o 676051 32.02/27.44 o 676882 32.02/27.44 o 677360 32.02/27.44 o 677478 32.02/27.44 o 677653 32.02/27.44 o 677673 32.02/27.44 o 679887 32.02/27.45 o 680576 32.02/27.45 o 680595 32.02/27.45 o 681284 32.02/27.46 o 682671 32.02/27.46 o 683360 32.02/27.47 o 683501 32.02/27.47 o 684332 32.02/27.47 o 684810 32.02/27.47 o 684928 32.02/27.48 o 685103 32.02/27.48 o 685123 32.02/27.48 o 687337 32.02/27.48 o 688026 32.02/27.49 o 688045 32.02/27.49 o 688734 32.02/27.50 o 690121 32.02/27.50 o 690810 32.18/27.51 o 691047 32.18/27.51 o 691304 32.18/27.51 o 691393 32.18/27.51 o 691422 32.18/27.51 o 691597 32.18/27.51 o 693142 32.18/27.51 o 693831 32.18/27.53 o 694665 32.18/27.53 o 695354 32.18/27.53 o 696593 32.18/27.53 o 697282 32.18/27.54 o 697849 32.18/27.54 o 698053 32.18/27.54 o 698073 32.18/27.54 o 699598 32.18/27.54 o 700287 32.18/27.55 o 700313 32.18/27.55 o 700333 32.18/27.55 o 702547 32.18/27.55 o 703236 32.18/27.56 o 703392 32.18/27.56 o 703481 32.18/27.56 o 703510 32.18/27.56 o 705230 32.18/27.56 o 705919 32.18/27.57 o 705993 32.18/27.57 o 706413 32.18/27.57 o 706502 32.18/27.57 o 706531 32.18/27.57 o 706706 32.18/27.57 o 706726 32.18/27.57 o 708251 32.18/27.57 o 708940 32.18/27.58 o 709017 32.34/27.67 o 709861 32.34/27.67 o 710550 32.34/27.68 o 710668 32.34/27.68 o 712882 32.34/27.68 o 713571 32.34/27.69 o 715666 32.34/27.69 o 716355 32.44/27.71 o 718143 32.44/27.71 o 718832 32.44/27.72 o 720927 32.44/27.72 o 721616 32.44/27.74 o 721967 32.44/27.74 o 722900 32.44/27.75 o 723589 32.44/27.75 o 725114 32.44/27.75 o 725803 32.44/27.75 o 727898 32.44/27.75 o 728587 32.67/27.94 o 729618 32.67/27.95 o 730307 32.67/27.98 o 730564 32.67/27.98 o 730653 32.67/27.98 o 730857 32.67/27.98 o 730877 32.67/27.98 o 732402 32.67/27.98 o 733091 32.87/28.19 o 733107 32.87/28.19 o 733796 32.87/28.20 o 733956 32.87/28.20 o 734645 32.87/28.20 o 734765 32.98/28.21 o 735138 32.98/28.21 o 735258 32.98/28.21 o 735705 32.98/28.21 o 735909 32.98/28.21 o 735929 32.98/28.22 o 738143 32.98/28.22 o 738263 32.98/28.22 o 738832 32.98/28.22 o 738952 32.98/28.22 o 739540 32.98/28.22 o 740927 32.98/28.22 o 741047 32.98/28.23 o 741616 32.98/28.23 o 741736 32.98/28.24 o 741853 32.98/28.24 o 742110 32.98/28.24 o 742199 32.98/28.24 o 742228 32.98/28.24 o 742403 32.98/28.24 o 742423 32.98/28.24 o 743948 32.98/28.24 o 744637 32.98/28.30 o 745058 33.07/28.31 o 745315 33.07/28.31 o 745404 33.07/28.31 o 745433 33.07/28.31 o 745608 33.07/28.31 o 745628 33.07/28.31 o 747153 33.07/28.31 o 747842 33.28/28.59 o 747946 33.28/28.59 o 750054 33.28/28.59 o 750951 33.28/28.59 o 751233 33.28/28.60 o 751312 33.39/28.60 o 753007 33.39/28.60 o 753206 33.39/28.60 o 754731 33.39/28.60 o 757042 33.39/28.60 o 757324 33.39/28.60 o 758705 33.39/28.60 o 758987 33.39/28.60 o 759198 33.39/28.61 o 759397 33.39/28.61 o 759946 33.39/28.61 o 760228 33.39/28.61 o 760640 33.39/28.61 o 762951 33.39/28.61 o 763233 33.39/28.61 o 763518 33.39/28.61 o 763800 33.39/28.61 o 766523 33.39/28.61 o 766805 33.39/28.61 o 767221 33.39/28.61 o 767503 33.39/28.62 o 767781 33.39/28.62 o 769476 33.39/28.62 o 770506 33.39/28.62 o 773511 33.39/28.62 o 773793 33.39/28.62 o 775822 33.39/28.62 o 776104 33.39/28.62 o 776506 33.39/28.62 o 776788 33.39/28.63 o 776964 33.39/28.63 o 777090 33.39/28.63 o 779401 33.39/28.63 o 779577 33.39/28.63 o 780095 33.39/28.64 o 780271 33.39/28.64 o 782406 33.39/28.64 o 782582 33.39/28.64 o 782688 33.39/28.64 o 782864 33.39/28.64 o 783402 33.39/28.64 o 783684 33.39/28.65 o 784432 33.39/28.65 o 784714 33.39/28.65 o 785126 33.39/28.65 o 787437 33.39/28.65 o 787719 33.39/28.65 o 787895 33.39/28.65 o 788065 33.39/28.65 o 789091 33.39/28.65 o 789373 33.63/28.71 o 789501 33.63/28.71 o 789783 33.63/28.72 o 790332 33.63/28.72 o 791026 33.63/28.72 o 793337 33.63/28.72 o 793619 33.63/28.72 o 793795 33.63/28.72 o 793897 33.63/28.72 o 794073 33.63/28.72 o 795926 33.63/28.72 o 796208 33.63/28.72 o 796384 33.63/28.72 o 796554 33.63/28.72 o 797295 33.63/28.72 o 797577 33.63/28.72 o 797753 33.63/28.73 o 797791 33.63/28.73 o 797967 33.63/28.73 o 799515 33.63/28.73 o 801826 33.63/28.73 o 802002 33.63/28.73 o 802108 33.63/28.73 o 802284 33.63/28.73 o 802296 33.63/28.74 o 802402 33.63/28.74 o 802578 33.63/28.74 o 802711 33.63/28.74 o 804643 33.63/28.74 o 804925 33.63/28.74 o 805101 33.63/28.74 o 805204 33.63/28.74 o 805310 33.63/28.74 o 805486 33.63/28.74 o 805756 33.63/28.74 o 807785 33.63/28.74 o 808067 33.63/28.74 o 808149 33.63/28.74 o 810460 33.63/28.74 o 811986 33.63/28.75 o 812680 33.63/28.75 o 814991 33.63/28.75 o 815273 33.63/28.75 o 815449 33.63/28.75 o 817134 33.63/28.75 o 817416 33.63/28.75 o 817592 33.63/28.75 o 818164 33.63/28.75 o 818340 33.63/28.76 o 821169 33.63/28.76 o 821345 33.63/28.76 o 821451 33.63/28.76 o 821627 33.63/28.76 o 823480 33.63/28.76 o 823762 33.63/28.76 o 823938 33.63/28.77 o 824427 33.63/28.77 o 824709 33.63/28.77 o 824885 33.63/28.77 o 826626 33.63/28.77 o 826802 33.63/28.77 o 828385 33.63/28.77 o 828670 33.63/28.77 o 828881 33.63/28.77 o 830605 33.63/28.77 o 832916 33.63/28.77 o 833092 33.63/28.77 o 833198 33.63/28.77 o 833374 33.63/28.79 o 833464 33.63/28.79 o 833687 33.63/28.79 o 835678 33.63/28.79 o 835960 33.63/28.79 o 836136 33.63/28.79 o 836188 33.63/28.80 o 836345 33.63/28.80 o 836521 33.77/28.80 o 837537 33.77/28.80 o 837819 33.77/28.80 o 837995 33.77/28.80 o 839442 33.77/28.80 o 840000 33.77/28.80 o 841724 33.77/28.80 o 844035 33.77/28.80 o 846026 33.77/28.80 o 846202 33.77/28.80 o 846308 33.77/28.81 o 846484 33.77/28.82 o 847358 33.77/28.82 o 847534 33.77/28.82 o 849349 33.77/28.82 o 849525 33.77/28.82 o 849572 33.77/28.82 o 851563 33.77/28.82 o 851739 33.77/28.82 o 851845 33.77/28.82 o 852021 33.77/28.83 o 852846 33.77/28.83 o 853128 33.77/28.83 o 854225 33.77/28.83 o 854507 33.77/28.83 o 855847 33.77/28.83 o 858061 33.77/28.83 o 858343 33.77/28.83 o 860052 33.77/28.83 o 860334 33.77/28.83 o 860510 33.77/28.83 o 860719 33.77/28.84 o 860895 33.77/28.84 o 861911 33.77/28.84 o 862193 33.77/28.84 o 862369 33.77/28.84 o 864110 33.77/28.84 o 864286 33.77/28.84 o 864573 33.77/28.84 o 866098 33.77/28.84 o 868409 33.77/28.85 o 870400 33.77/28.85 o 870576 33.77/28.85 o 870682 33.77/28.85 o 870858 33.77/28.86 o 870928 33.77/28.87 o 871104 33.77/28.87 o 871327 33.77/28.87 o 871609 33.77/28.87 o 871647 33.77/28.87 o 873638 33.77/28.87 o 873920 33.77/28.87 o 874096 33.77/28.87 o 874583 33.77/28.87 o 874865 33.77/28.88 o 876307 33.77/28.88 o 878618 33.77/28.88 o 878900 33.77/28.88 o 880609 33.77/28.88 o 880891 33.77/28.88 o 881067 33.77/28.89 o 882207 33.77/28.89 o 884518 33.77/28.89 o 886509 33.77/28.89 o 886685 33.77/28.89 o 886791 33.77/28.89 o 886967 33.88/28.93 o 887753 33.88/28.93 o 888035 33.88/28.93 o 888211 33.88/28.98 o 889149 33.88/28.98 o 889431 33.88/28.98 o 889607 33.88/28.98 o 889630 33.88/28.98 o 889806 33.88/28.99 o 890873 33.88/28.99 o 891155 33.88/28.99 o 891193 33.88/28.99 o 893184 33.88/28.99 o 893466 33.88/28.99 o 893642 35.86/30.69 o 900330 35.86/30.69 o 901680 35.86/30.69 o 901962 35.86/30.69 o 903507 35.86/30.69 o 904857 35.86/30.69 o 910418 35.86/30.69 o 911768 35.86/30.69 o 912050 35.86/30.69 o 912088 35.86/30.69 o 918999 35.86/30.70 o 919281 35.86/30.70 o 920349 35.86/30.70 o 920631 36.07/30.70 o 922167 36.07/30.70 o 923517 36.07/30.70 o 923532 36.07/30.70 o 923837 36.07/30.70 o 930748 36.07/30.70 o 932098 36.07/30.70 o 932380 36.07/30.70 o 935596 36.07/30.70 o 936946 36.07/30.70 o 940129 36.07/30.70 o 940434 36.07/30.70 o 947345 36.07/30.71 o 948695 36.07/30.71 o 949193 36.07/30.71 o 950543 36.07/30.71 o 956104 36.07/30.71 o 957454 36.07/30.71 o 963948 36.07/30.71 o 965298 36.07/30.71 o 970183 36.07/30.71 o 971533 36.07/30.71 o 974994 36.07/30.71 o 976344 36.07/30.71 o 978027 36.07/30.71 o 979377 36.07/30.72 o 980083 36.07/30.72 o 981016 36.07/30.72 o 987927 36.07/30.72 o 989277 36.07/30.72 o 989664 36.07/30.72 o 991210 36.07/30.72 o 992560 36.07/30.72 o 993086 36.07/30.72 o 994632 36.07/30.72 o 995982 36.07/30.72 o 997348 36.07/30.72 o 998698 36.07/30.73 o 1001062 36.07/30.73 o 1003916 36.07/30.73 o 1007199 36.07/30.73 o 1009915 36.07/30.73 o 1011265 36.07/30.73 o 1012811 36.07/30.73 o 1014161 36.07/30.73 o 1014858 36.07/30.73 o 1016208 36.07/30.73 o 1017754 36.07/30.73 o 1019104 36.07/30.73 o 1019132 36.07/30.74 o 1020482 36.07/30.74 o 1022028 36.07/30.74 o 1023378 36.07/30.74 o 1024386 36.07/30.74 o 1025736 36.07/30.74 o 1027282 36.07/30.74 o 1028632 36.07/30.74 o 1029766 36.07/30.74 o 1030271 36.07/30.74 o 1030487 36.07/30.75 o 1031621 36.07/30.75 o 1032021 36.07/30.75 o 1033387 36.07/30.75 o 1034737 36.07/30.75 o 1035242 36.07/30.75 o 1036592 36.07/30.75 o 1037726 36.07/30.75 o 1038138 36.07/30.75 o 1039272 36.07/30.75 o 1039488 36.07/30.75 o 1040622 36.07/30.75 o 1040663 36.07/30.75 o 1041168 36.07/30.76 o 1042518 36.07/30.76 o 1042596 36.07/30.76 o 1044451 36.07/30.76 o 1045801 36.07/30.76 o 1046935 36.07/30.76 o 1047347 36.07/30.76 o 1048697 36.07/30.76 o 1049831 36.07/30.76 o 1050247 36.07/30.76 o 1050463 36.07/30.76 o 1051597 36.07/30.77 o 1052032 36.07/30.77 o 1052893 36.07/30.77 o 1053398 36.07/30.77 o 1053614 36.07/30.77 o 1054748 36.07/30.77 o 1055689 36.07/30.77 o 1055789 36.07/30.77 o 1056294 36.07/30.77 o 1056510 36.07/30.78 o 1057644 36.07/30.78 o 1058585 36.07/30.78 o 1058740 36.07/30.78 o 1059601 36.07/30.78 o 1060106 36.07/30.78 o 1060322 36.07/30.78 o 1061456 36.07/30.78 o 1061868 36.07/30.78 o 1063218 36.07/30.78 o 1064352 36.07/30.78 o 1065293 36.07/30.78 o 1065832 36.07/30.79 o 1066693 36.07/30.79 o 1067414 36.07/30.79 o 1068548 36.07/30.79 o 1069489 36.07/30.79 o 1069589 36.07/30.79 o 1070094 36.07/30.79 o 1070310 36.07/30.79 o 1071444 36.07/30.79 o 1072385 36.07/30.79 o 1072515 36.07/30.79 o 1072809 36.07/30.79 o 1073314 36.07/30.80 o 1074664 36.07/30.80 o 1075798 36.18/30.80 o 1075978 36.18/30.80 o 1076210 36.18/30.80 o 1077560 36.18/30.80 o 1078694 36.18/30.80 o 1079635 36.18/30.80 o 1080477 36.18/30.81 o 1081418 36.18/30.81 o 1081536 36.18/30.81 o 1082670 36.18/30.81 o 1082850 36.18/30.81 o 1083711 36.18/30.81 o 1084216 36.18/30.81 o 1084432 36.18/30.81 o 1085566 36.18/30.81 o 1086507 36.18/30.82 o 1086522 36.18/30.82 o 1087463 36.18/30.83 o 1087466 36.18/30.83 o 1088327 36.18/30.83 o 1088399 36.18/30.83 o 1088832 36.18/30.83 o 1089226 36.18/30.83 o 1090182 36.18/30.83 o 1091123 36.18/30.83 o 1091223 36.18/30.83 o 1091295 36.18/30.83 o 1091728 36.18/30.83 o 1091944 36.18/30.84 o 1092122 36.18/30.84 o 1093078 36.18/30.84 o 1094019 36.18/30.84 o 1094686 36.18/30.84 o 1094866 36.18/30.84 o 1095727 36.18/30.84 o 1095799 36.18/30.84 o 1096232 36.18/30.84 o 1096448 36.18/30.84 o 1096626 36.18/30.84 o 1097582 36.18/30.85 o 1098523 36.18/30.85 o 1098581 36.18/30.86 o 1098759 36.18/30.86 o 1099715 36.18/30.86 o 1099872 36.18/30.86 o 1100521 36.18/30.86 o 1101655 36.18/30.86 o 1102611 36.18/30.86 o 1103552 36.18/30.87 o 1103824 36.18/30.87 o 1104685 36.18/30.87 o 1105190 36.18/30.87 o 1105584 36.18/30.87 o 1106540 36.18/30.87 o 1106718 36.18/30.87 o 1107674 36.18/30.87 o 1108086 36.18/30.87 o 1108480 36.18/30.87 o 1109436 36.18/30.87 o 1109614 36.18/30.87 o 1110570 36.18/30.88 o 1111511 36.18/30.88 o 1111928 36.18/30.88 o 1112322 36.18/30.88 o 1113278 36.18/30.88 o 1113356 36.18/30.88 o 1113750 36.18/30.88 o 1114706 36.18/30.88 o 1115605 36.18/30.88 o 1116561 36.18/30.88 o 1116739 36.18/30.88 o 1117695 36.18/30.89 o 1118016 36.18/30.89 o 1118065 36.18/30.89 o 1118498 36.18/30.89 o 1118892 36.18/30.89 o 1119848 36.18/30.89 o 1120459 36.18/30.89 o 1120531 36.18/30.89 o 1120964 36.18/30.89 o 1122314 36.18/30.89 o 1123270 36.18/30.89 o 1123448 36.18/30.89 o 1124404 36.18/30.89 o 1125210 36.18/30.89 o 1126344 36.18/30.89 o 1127300 36.18/30.90 o 1128241 36.28/30.90 o 1128780 36.28/30.90 o 1129190 36.28/30.90 o 1129406 36.28/30.90 o 1130540 36.28/30.90 o 1131496 36.28/30.90 o 1132302 36.28/30.90 o 1133258 36.28/30.90 o 1133436 36.28/30.90 o 1134392 36.28/30.90 o 1135333 36.28/30.91 o 1135690 36.28/30.91 o 1136646 36.28/30.91 o 1136854 36.28/30.91 o 1137248 36.28/30.91 o 1138204 36.28/30.91 o 1138614 36.28/30.91 o 1139964 36.28/30.91 o 1140920 36.28/30.91 o 1141098 36.28/30.91 o 1142054 36.28/30.92 o 1142600 36.28/30.92 o 1143355 36.28/30.92 o 1144207 36.28/30.92 o 1144346 36.28/30.92 o 1144913 36.28/30.92 o 1145774 36.28/30.92 o 1145846 36.28/30.92 o 1146279 36.28/30.92 o 1146673 36.28/30.92 o 1147629 36.28/30.92 o 1147807 36.28/30.92 o 1148763 36.28/30.92 o 1149569 36.28/30.92 o 1150703 36.28/30.93 o 1151659 36.28/30.93 o 1152600 36.28/30.93 o 1152821 36.28/30.93 o 1153762 36.28/30.94 o 1154009 36.28/30.94 o 1154148 36.28/30.94 o 1154715 36.28/30.94 o 1155313 36.28/30.94 o 1155341 36.28/30.94 o 1156475 36.28/30.95 o 1157431 36.28/30.95 o 1157461 36.28/30.95 o 1157639 36.28/30.95 o 1158595 36.28/30.95 o 1159536 36.28/30.95 o 1160327 36.28/30.95 o 1161268 36.28/30.95 o 1161491 36.28/30.95 o 1162432 36.28/30.97 o 1162953 36.28/30.97 o 1163235 36.28/30.97 o 1163944 36.28/30.97 o 1164511 36.28/30.97 o 1165372 36.28/30.97 o 1166065 36.28/30.97 o 1166093 36.28/30.97 o 1166271 36.28/30.97 o 1167227 36.28/30.97 o 1167509 36.28/30.97 o 1168005 36.28/30.97 o 1168033 36.28/30.97 o 1169167 36.28/30.97 o 1169449 36.28/30.97 o 1170123 36.28/30.98 o 1170405 36.28/30.98 o 1171064 36.28/30.98 o 1171346 36.28/30.98 o 1171569 36.28/30.98 o 1172228 36.28/30.98 o 1172510 36.38/31.01 o 1173098 36.38/31.01 o 1173380 36.38/31.02 o 1173728 36.38/31.02 o 1173943 36.38/31.02 o 1173971 36.38/31.02 o 1174149 36.38/31.02 o 1174823 36.38/31.02 o 1175105 36.38/31.02 o 1175719 36.38/31.02 o 1176010 36.38/31.02 o 1176169 36.38/31.02 o 1176244 36.38/31.02 o 1176450 36.38/31.03 o 1177406 36.38/31.03 o 1177826 36.38/31.03 o 1177854 36.38/31.03 o 1178988 36.38/31.03 o 1179408 36.38/31.03 o 1180570 36.38/31.03 o 1181704 36.38/31.03 o 1182660 36.38/31.03 o 1182819 36.38/31.03 o 1183524 36.38/31.03 o 1183815 36.38/31.03 o 1184097 36.38/31.03 o 1184381 36.38/31.03 o 1184663 36.38/31.04 o 1185515 36.38/31.04 o 1185797 36.38/31.04 o 1185806 36.38/31.04 o 1186088 36.38/31.04 o 1186265 36.38/31.04 o 1186293 36.38/31.04 o 1186471 36.38/31.04 o 1187427 36.38/31.04 o 1187622 36.38/31.04 o 1187650 36.38/31.04 o 1188784 36.38/31.04 o 1189204 36.38/31.04 o 1190366 36.38/31.04 o 1191500 36.38/31.04 o 1192456 36.38/31.05 o 1192738 36.38/31.05 o 1192768 36.38/31.05 o 1193620 36.38/31.05 o 1193902 36.38/31.05 o 1194561 36.38/31.05 o 1194843 36.38/31.05 o 1195352 36.38/31.06 o 1195634 36.38/31.06 o 1196293 36.38/31.06 o 1196575 36.38/31.06 o 1196798 36.38/31.06 o 1197457 36.38/31.06 o 1197739 37.18/31.71 o 1198061 37.18/31.71 o 1198404 37.18/31.71 o 1198972 37.18/31.71 o 1199315 37.18/31.71 o 1199767 37.18/31.71 o 1200110 37.18/31.73 o 1200168 37.18/31.73 o 1200274 37.18/31.73 o 1200963 37.18/31.73 o 1201057 37.18/31.73 o 1201102 37.18/31.73 o 1202013 37.18/31.73 o 1202702 37.18/31.73 o 1203045 37.18/31.75 o 1203314 37.18/31.75 o 1203424 37.18/31.75 o 1204113 37.18/31.75 o 1204251 37.18/31.75 o 1204254 37.18/31.75 o 1204296 37.18/31.75 o 1205207 37.18/31.75 o 1205896 37.18/31.75 o 1206035 37.18/31.75 o 1206724 37.18/31.75 o 1206946 37.18/31.75 o 1207635 37.18/31.75 o 1207978 37.18/31.75 o 1208844 37.18/31.75 o 1209187 37.18/31.76 o 1209533 37.18/31.76 o 1209876 37.18/31.76 o 1210328 37.18/31.76 o 1210671 37.18/31.76 o 1210729 37.18/31.76 o 1210900 37.18/31.76 o 1211512 37.18/31.76 o 1211515 37.18/31.76 o 1211557 37.18/31.76 o 1211779 37.18/31.76 o 1212468 37.18/31.76 o 1212574 37.18/31.76 o 1213263 37.18/31.76 o 1213606 37.18/31.79 o 1213765 37.18/31.79 o 1213768 37.18/31.79 o 1213810 37.18/31.79 o 1214721 37.18/31.79 o 1214752 37.18/31.79 o 1214755 37.18/31.79 o 1215708 37.18/31.79 o 1216619 37.18/31.79 o 1216962 37.18/31.79 o 1217308 37.18/31.79 o 1217651 37.28/31.80 o 1217806 37.28/31.80 o 1218601 37.28/31.80 o 1218759 37.28/31.80 o 1219554 37.28/31.80 o 1220243 37.28/31.80 o 1220586 37.28/31.82 o 1220676 37.28/31.82 o 1221022 37.28/31.82 o 1221365 37.28/31.82 o 1221975 37.28/31.83 o 1222318 37.28/31.83 o 1222770 37.28/31.83 o 1223113 37.28/31.85 o 1223613 37.28/31.85 o 1223616 37.28/31.85 o 1223658 37.28/31.85 o 1223880 37.28/31.85 o 1224569 37.28/31.85 o 1224822 37.28/31.85 o 1224825 37.28/31.85 o 1224867 37.28/31.86 o 1225778 37.28/31.86 o 1226467 37.28/31.86 o 1226573 37.28/31.86 o 1227262 37.28/31.86 o 1227317 37.28/31.86 o 1227532 37.28/31.86 o 1228144 37.28/31.86 o 1228147 37.28/31.86 o 1228189 37.28/31.86 o 1229100 37.28/31.86 o 1229789 37.28/31.86 o 1230132 37.77/32.24 o 1230708 37.77/32.24 o 1230819 37.77/32.24 o 1230990 37.77/32.24 o 1231101 37.77/32.24 o 1231181 37.77/32.24 o 1231292 37.77/32.24 o 1231310 37.77/32.24 o 1231421 37.77/32.24 o 1231472 37.77/32.24 o 1231694 37.77/32.24 o 1232101 37.77/32.25 o 1232383 37.77/32.25 o 1232574 37.77/32.25 o 1232665 37.77/32.25 o 1232794 37.77/32.25 o 1232931 37.77/32.25 o 1233122 37.77/32.25 o 1233543 37.77/32.25 o 1233658 37.77/32.25 o 1233810 37.77/32.25 o 1234499 37.77/32.25 o 1234690 37.77/32.25 o 1234819 37.77/32.25 o 1234910 37.77/32.25 o 1235101 37.77/32.25 o 1235212 37.77/32.26 o 1235297 37.77/32.26 o 1235426 37.77/32.26 o 1235488 37.77/32.26 o 1235617 37.77/32.26 o 1235728 37.77/32.26 o 1235770 37.77/32.26 o 1235881 37.77/32.26 o 1235899 37.77/32.26 o 1236010 37.77/32.26 o 1236195 37.77/32.26 o 1236306 37.77/32.26 o 1236782 37.77/32.26 o 1237064 37.77/32.26 o 1237255 37.77/32.27 o 1237471 37.77/32.27 o 1237662 37.77/32.27 o 1237753 37.77/32.27 o 1237944 37.77/32.27 o 1238055 37.77/32.27 o 1238096 37.77/32.27 o 1238378 37.77/32.27 o 1238421 37.77/32.27 o 1238975 37.77/32.27 o 1239664 37.77/32.27 o 1239946 37.77/32.27 o 1240057 37.77/32.27 o 1240137 37.77/32.27 o 1240248 37.77/32.27 o 1240433 37.77/32.27 o 1240544 37.77/32.28 o 1240653 37.77/32.28 o 1240744 37.77/32.28 o 1240935 37.77/32.28 o 1241040 37.77/32.28 o 1241231 37.77/32.28 o 1241342 37.77/32.28 o 1241365 37.77/32.28 o 1241522 37.77/32.28 o 1241810 37.77/32.28 o 1242092 37.77/32.28 o 1242651 37.77/32.28 o 1242933 37.77/32.28 o 1243044 37.77/32.29 o 1243124 37.77/32.29 o 1243235 37.77/32.29 o 1243429 37.77/32.29 o 1243586 37.77/32.29 o 1243745 37.95/32.33 o 1243790 37.95/32.33 o 1243860 37.95/32.33 o 1244012 37.95/32.34 o 1244419 37.95/32.34 o 1244701 37.95/32.34 o 1244715 37.95/32.34 o 1244997 37.95/32.34 o 1245188 37.95/32.34 o 1245299 37.95/32.34 o 1245513 37.95/32.34 o 1245795 37.95/32.34 o 1245986 37.95/32.34 o 1246097 37.95/32.34 o 1246115 37.95/32.34 o 1246226 37.95/32.34 o 1246314 37.95/32.34 o 1246424 37.95/32.35 o 1246615 37.95/32.35 o 1246638 37.95/32.35 o 1246920 37.95/32.35 o 1246999 37.95/32.35 o 1247221 37.95/32.35 o 1247910 37.95/32.35 o 1248206 37.95/32.35 o 1248488 37.95/32.35 o 1248679 37.95/32.35 o 1248790 37.95/32.35 o 1248899 37.95/32.35 o 1249004 37.95/32.35 o 1249115 37.95/32.35 o 1249286 37.95/32.35 o 1249397 37.95/32.36 o 1249477 37.95/32.36 o 1249588 37.95/32.36 o 1249606 37.95/32.36 o 1249717 37.95/32.36 o 1249981 37.95/32.36 o 1250172 37.95/32.36 o 1250388 37.95/32.36 o 1250670 37.95/32.36 o 1250861 37.95/32.36 o 1251467 37.95/32.36 o 1251763 37.95/32.36 o 1251954 37.95/32.36 o 1252156 37.95/32.37 o 1252347 37.95/32.37 o 1252452 37.95/32.37 o 1252643 37.95/32.37 o 1252734 37.95/32.37 o 1252925 37.95/32.37 o 1253036 37.95/32.37 o 1253250 37.95/32.37 o 1253361 37.95/32.37 o 1253532 37.95/32.37 o 1253643 37.95/32.37 o 1253723 37.95/32.37 o 1253834 37.95/32.37 o 1253852 37.95/32.37 o 1253963 37.95/32.37 o 1254122 37.95/32.38 o 1254233 37.95/32.38 o 1254447 37.95/32.38 o 1254638 37.95/32.38 o 1254729 37.95/32.38 o 1254920 37.95/32.38 o 1255031 37.95/32.38 o 1255049 37.95/32.38 o 1255160 37.95/32.38 o 1255241 37.95/32.38 o 1255432 37.95/32.38 o 1255543 37.95/32.38 o 1255645 37.95/32.38 o 1255669 37.95/32.39 o 1255780 37.95/32.39 o 1255881 37.95/32.39 o 1256177 37.95/32.39 o 1256570 37.95/32.39 o 1256866 37.95/32.39 o 1256977 37.95/32.39 o 1257033 37.95/32.39 o 1257144 37.95/32.39 o 1257497 37.95/32.39 o 1257567 37.95/32.39 o 1258408 37.95/32.39 o 1259097 37.95/32.39 o 1259208 37.95/32.39 o 1259393 37.95/32.39 o 1259504 37.95/32.40 o 1259584 37.95/32.40 o 1259695 38.12/32.40 o 1259713 38.12/32.40 o 1259824 38.12/32.40 o 1259895 38.12/32.40 o 1260086 38.12/32.40 o 1260191 38.12/32.40 o 1260382 38.12/32.40 o 1260493 38.12/32.40 o 1260511 38.12/32.40 o 1260622 38.12/32.40 o 1260983 38.12/32.40 o 1261174 38.12/32.41 o 1261376 38.12/32.41 o 1261672 38.12/32.41 o 1261863 38.12/32.41 o 1261869 38.12/32.41 o 1261945 38.12/32.41 o 1262136 38.12/32.41 o 1262634 38.12/32.41 o 1262825 38.12/32.41 o 1262930 38.12/32.41 o 1263121 38.12/32.41 o 1263232 38.12/32.41 o 1263395 38.12/32.41 o 1263622 38.12/32.41 o 1263732 38.12/32.41 o 1263777 38.12/32.42 o 1263847 38.12/32.42 o 1263999 38.12/32.42 o 1264688 38.12/32.42 o 1264707 38.12/32.42 o 1265201 38.12/32.42 o 1265497 38.12/32.42 o 1265506 38.12/32.42 o 1265551 38.12/32.42 o 1265621 38.12/32.42 o 1266462 38.12/32.42 o 1266542 38.12/32.42 o 1266581 38.12/32.42 o 1267195 38.12/32.42 o 1267409 38.12/32.42 o 1267650 38.12/32.43 o 1267695 38.12/32.43 o 1268606 38.12/32.43 o 1269447 38.12/32.43 o 1269743 38.12/32.43 o 1270136 38.12/32.43 o 1270432 38.12/32.43 o 1270543 38.12/32.43 o 1270623 38.12/32.43 o 1270734 38.12/32.43 o 1271230 38.12/32.43 o 1271421 38.12/32.43 o 1271532 38.12/32.43 o 1271891 38.12/32.44 o 1272082 38.12/32.44 o 1272193 38.12/32.44 o 1272429 38.12/32.44 o 1272540 38.12/32.44 o 1273118 38.12/32.44 o 1273229 38.12/32.44 o 1273814 38.12/32.44 o 1273843 38.12/32.44 o 1273971 38.12/32.44 o 1274185 38.12/32.44 o 1274426 38.12/32.44 o 1274471 38.12/32.44 o 1274541 38.12/32.44 o 1274693 38.12/32.44 o 1275382 38.12/32.44 o 1275493 38.12/32.45 o 1275573 38.12/32.45 o 1275684 38.12/32.45 o 1275702 38.12/32.45 o 1275813 38.12/32.45 o 1276180 38.12/32.45 o 1276371 38.12/32.45 o 1276482 38.12/32.45 o 1276500 38.12/32.45 o 1276611 38.12/32.45 o 1276898 38.12/32.46 o 1277089 38.12/32.46 o 1277194 38.12/32.46 o 1277385 38.12/32.46 o 1277690 38.12/32.46 o 1277847 38.12/32.46 o 1278302 38.12/32.46 o 1278417 38.12/32.46 o 1278569 38.12/32.46 o 1279258 38.12/32.46 o 1279449 38.12/32.46 o 1279560 38.12/32.46 o 1279827 38.12/32.46 o 1280516 38.12/32.47 o 1280707 38.12/32.47 o 1280818 38.12/32.47 o 1280927 38.12/32.47 o 1281314 38.12/32.47 o 1281505 38.12/32.47 o 1281616 38.12/32.47 o 1281690 38.12/32.47 o 1281770 38.12/32.47 o 1281881 38.12/32.47 o 1282081 38.12/32.47 o 1282272 38.12/32.47 o 1282377 38.12/32.47 o 1282568 38.12/32.48 o 1282679 38.12/32.48 o 1282697 38.12/32.48 o 1282808 38.12/32.48 o 1282830 38.12/32.48 o 1282987 38.12/32.48 o 1283010 38.12/32.48 o 1283201 38.12/32.48 o 1283296 38.12/32.48 o 1283366 38.12/32.48 o 1283518 38.12/32.48 o 1284207 38.12/32.48 o 1284398 38.12/32.49 o 1284509 38.12/32.49 o 1284618 38.12/32.49 o 1284709 38.12/32.49 o 1285005 38.12/32.49 o 1285196 38.12/32.49 o 1285307 38.12/32.49 o 1285326 38.12/32.49 o 1285396 38.12/32.49 o 1285935 38.12/32.49 o 1286126 38.12/32.49 o 1286237 38.12/32.49 o 1286624 38.12/32.49 o 1286735 38.12/32.49 o 1286815 38.12/32.50 o 1286926 38.12/32.50 o 1287015 38.22/32.50 o 1287043 38.22/32.50 o 1287054 38.22/32.50 o 1287320 38.22/32.50 o 1287511 38.22/32.50 o 1287932 38.22/32.50 o 1287977 38.22/32.50 o 1288047 38.22/32.50 o 1288199 38.22/32.50 o 1288888 38.22/32.50 o 1289079 38.22/32.50 o 1289190 38.22/32.50 o 1289295 38.22/32.50 o 1289375 38.22/32.51 o 1289486 38.22/32.51 o 1289686 38.22/32.51 o 1289877 38.22/32.51 o 1289982 38.22/32.51 o 1290173 38.22/32.51 o 1290284 38.22/32.51 o 1290422 38.22/32.51 o 1290533 38.22/32.51 o 1290613 38.22/32.51 o 1290724 38.22/32.51 o 1290769 38.22/32.51 o 1290960 38.22/32.51 o 1291426 38.22/32.52 o 1291496 38.22/32.52 o 1291648 38.22/32.52 o 1292337 38.22/32.52 o 1292528 38.22/32.52 o 1292535 38.22/32.52 o 1292660 38.22/32.52 o 1292705 38.22/32.52 o 1292775 38.22/32.52 o 1293616 38.22/32.52 o 1293912 38.22/32.52 o 1294103 38.22/32.52 o 1294601 38.22/32.52 o 1294792 38.22/32.52 o 1294903 38.22/32.53 o 1295399 38.22/32.53 o 1295510 38.22/32.53 o 1295590 38.22/32.53 o 1295701 38.22/32.53 o 1295958 38.22/32.53 o 1296149 38.22/32.53 o 1296259 38.22/32.53 o 1296755 38.22/32.53 o 1296912 38.22/32.53 o 1297367 38.22/32.53 o 1297482 38.22/32.53 o 1297634 38.22/32.53 o 1298323 38.22/32.53 o 1298514 38.22/32.54 o 1298625 38.22/32.54 o 1298734 38.22/32.54 o 1299121 38.22/32.54 o 1299232 38.22/32.54 o 1299312 38.22/32.54 o 1299423 38.22/32.54 o 1299428 38.22/32.54 o 1299539 38.22/32.54 o 1299672 38.22/32.55 o 1299863 38.22/32.55 o 1300310 38.22/32.55 o 1300650 38.22/32.55 o 1300789 38.22/32.55 o 1301478 38.22/32.55 o 1301986 38.22/32.55 o 1302675 38.22/32.55 o 1303229 38.22/32.55 o 1303918 38.22/32.55 o 1304109 38.22/32.55 o 1304214 38.22/32.55 o 1304405 38.22/32.55 o 1304516 38.22/32.55 o 1304951 38.22/32.55 o 1305062 38.22/32.56 o 1305409 38.22/32.56 o 1305571 38.22/32.56 o 1305672 38.22/32.56 o 1305872 38.22/32.56 o 1305911 38.22/32.56 o 1306525 38.22/32.56 o 1306980 38.22/32.56 o 1307095 38.22/32.56 o 1307247 38.22/32.56 o 1307936 38.22/32.56 o 1308047 38.22/32.56 o 1308127 38.22/32.56 o 1308238 38.22/32.56 o 1308734 38.22/32.56 o 1308925 38.22/32.57 o 1309036 38.22/32.57 o 1309136 38.22/32.57 o 1309216 38.22/32.57 o 1309327 38.22/32.57 o 1309441 38.22/32.57 o 1309541 38.22/32.57 o 1309732 38.22/32.57 o 1309843 38.22/32.57 o 1310048 38.22/32.58 o 1310339 38.22/32.58 o 1310450 38.22/32.58 o 1310530 38.22/32.58 o 1310641 38.22/32.58 o 1310652 38.22/32.58 o 1310943 38.22/32.58 o 1311134 38.22/32.58 o 1311245 38.22/32.58 o 1311450 38.22/32.58 o 1311641 38.22/32.58 o 1311752 38.22/32.58 o 1311852 38.22/32.58 o 1311932 38.22/32.58 o 1312043 38.22/32.59 o 1312157 38.22/32.59 o 1312257 38.22/32.59 o 1312448 38.22/32.59 o 1312559 38.22/32.59 o 1312764 38.22/32.59 o 1313055 38.22/32.59 o 1313166 38.22/32.59 o 1313246 38.22/32.59 o 1313357 38.22/32.59 o 1313364 38.22/32.59 o 1313555 38.22/32.60 o 1313666 38.22/32.60 o 1313773 38.32/32.60 o 1313953 38.32/32.60 o 1314064 38.32/32.60 o 1314142 38.32/32.60 o 1314304 38.32/32.60 o 1314405 38.32/32.60 o 1314633 38.32/32.60 o 1314644 38.32/32.60 o 1314805 38.32/32.60 o 1314810 38.32/32.60 o 1315101 38.32/32.60 o 1315181 38.32/32.60 o 1315422 38.32/32.61 o 1315467 38.32/32.61 o 1315537 38.32/32.61 o 1315689 38.32/32.61 o 1316378 38.32/32.61 o 1316669 38.32/32.61 o 1316780 38.32/32.61 o 1316860 38.32/32.61 o 1316971 38.32/32.61 o 1317176 38.32/32.61 o 1317467 38.32/32.61 o 1317658 38.32/32.61 o 1317769 38.32/32.61 o 1317803 38.32/32.61 o 1317883 38.32/32.61 o 1317994 38.32/32.62 o 1318174 38.32/32.62 o 1318285 38.32/32.62 o 1318385 38.32/32.62 o 1318485 38.32/32.62 o 1318676 38.32/32.62 o 1318781 38.32/32.62 o 1318972 38.32/32.62 o 1319083 38.32/32.62 o 1319194 38.32/32.62 o 1319305 38.32/32.62 o 1319550 38.32/32.62 o 1320100 38.32/32.62 o 1320391 38.32/32.62 o 1320502 38.32/32.62 o 1320582 38.32/32.63 o 1320693 38.32/32.63 o 1320898 38.32/32.63 o 1321189 38.32/32.63 o 1321380 38.32/32.63 o 1321491 38.32/32.63 o 1321605 38.32/32.63 o 1321716 38.32/32.63 o 1321896 38.32/32.63 o 1322007 38.32/32.63 o 1322212 38.32/32.63 o 1322403 38.32/32.63 o 1322503 38.32/32.63 o 1322694 38.32/32.63 o 1322805 38.32/32.64 o 1322993 38.32/32.64 o 1323284 38.32/32.64 o 1323395 38.32/32.64 o 1323400 38.32/32.64 o 1323580 38.32/32.64 o 1323691 38.32/32.64 o 1323771 38.32/32.64 o 1323882 38.32/32.64 o 1324087 38.32/32.64 o 1324378 38.32/32.64 o 1324569 38.32/32.64 o 1324680 38.32/32.64 o 1324747 38.32/32.65 o 1324858 38.32/32.65 o 1324938 38.32/32.65 o 1325049 38.32/32.65 o 1325443 38.32/32.65 o 1325634 38.32/32.65 o 1326322 38.32/32.65 o 1327011 38.32/32.65 o 1327202 38.32/32.65 o 1327313 38.32/32.65 o 1327493 38.32/32.65 o 1327604 38.32/32.65 o 1327809 38.32/32.65 o 1328000 38.32/32.65 o 1328100 38.32/32.65 o 1328291 38.32/32.66 o 1328402 38.32/32.66 o 1328616 38.32/32.66 o 1328727 38.32/32.66 o 1328807 38.32/32.66 o 1328918 38.32/32.66 o 1329123 38.32/32.66 o 1329414 38.32/32.66 o 1329605 38.32/32.66 o 1329716 38.32/32.66 o 1329790 38.32/32.66 o 1329904 38.32/32.66 o 1330015 38.32/32.66 o 1330195 38.32/32.67 o 1330306 38.32/32.67 o 1330511 38.32/32.67 o 1330702 38.32/32.67 o 1330802 38.32/32.67 o 1330993 38.32/32.67 o 1331104 38.32/32.68 o 1331125 38.32/32.68 o 1331236 38.32/32.68 o 1331277 38.32/32.68 o 1331484 38.32/32.68 o 1331675 38.32/32.68 o 1331775 38.32/32.68 o 1331966 38.32/32.68 o 1332077 38.32/32.68 o 1332144 38.32/32.68 o 1332435 38.32/32.68 o 1332546 38.32/32.69 o 1332626 38.32/32.69 o 1332737 38.32/32.69 o 1332781 38.32/32.69 o 1332972 38.32/32.69 o 1333132 38.32/32.69 o 1333181 38.32/32.69 o 1333472 38.32/32.69 o 1333638 38.32/32.69 o 1334250 38.32/32.69 o 1334517 38.32/32.69 o 1335206 38.32/32.69 o 1335497 38.32/32.69 o 1335688 38.32/32.69 o 1335799 38.32/32.69 o 1335831 38.32/32.70 o 1336122 38.32/32.70 o 1336233 38.42/32.70 o 1336313 38.42/32.70 o 1336424 38.42/32.70 o 1336520 38.42/32.70 o 1336811 38.42/32.70 o 1337002 38.42/32.70 o 1337113 38.42/32.71 o 1337214 38.42/32.71 o 1337250 38.42/32.71 o 1337361 38.42/32.72 o 1337505 38.42/32.72 o 1337696 38.42/32.72 o 1337807 38.42/32.72 o 1337867 38.42/32.72 o 1338057 38.42/32.72 o 1338168 38.42/32.72 o 1338419 38.42/32.72 o 1338710 38.42/32.72 o 1338989 38.42/32.72 o 1339141 38.42/32.72 o 1339830 38.42/32.73 o 1340121 38.42/32.73 o 1340232 38.42/32.73 o 1340312 38.42/32.73 o 1340423 38.42/32.73 o 1340567 38.42/32.73 o 1340758 38.42/32.73 o 1340869 38.42/32.73 o 1341144 38.42/32.73 o 1341435 38.42/32.73 o 1341546 38.42/32.73 o 1341626 38.42/32.73 o 1341737 38.42/32.73 o 1341881 38.42/32.73 o 1342072 38.42/32.74 o 1342183 38.42/32.74 o 1342245 38.42/32.74 o 1342466 38.42/32.74 o 1342577 38.42/32.74 o 1342688 38.42/32.74 o 1343086 38.42/32.74 o 1343377 38.42/32.74 o 1343488 38.42/32.75 o 1343493 38.42/32.75 o 1343673 38.42/32.75 o 1343784 38.42/32.75 o 1343864 38.42/32.75 o 1343975 38.42/32.75 o 1344002 38.42/32.75 o 1344400 38.42/32.75 o 1344691 38.42/32.75 o 1344696 38.42/32.75 o 1344987 38.42/32.75 o 1345178 38.42/32.75 o 1345289 38.42/32.75 o 1345693 38.42/32.75 o 1345804 38.42/32.75 o 1346263 38.42/32.76 o 1346415 38.42/32.76 o 1347104 38.42/32.76 o 1347215 38.42/32.76 o 1347295 38.42/32.76 o 1347406 38.42/32.76 o 1347586 38.42/32.76 o 1347697 38.42/32.76 o 1347698 38.42/32.76 o 1347768 38.42/32.76 o 1347920 38.42/32.76 o 1348418 38.42/32.76 o 1348609 38.42/32.76 o 1348709 38.42/32.76 o 1348900 38.42/32.76 o 1349011 38.42/32.77 o 1349155 38.42/32.77 o 1349266 38.42/32.77 o 1349346 38.42/32.77 o 1349457 38.42/32.78 o 1349481 38.42/32.78 o 1349672 38.42/32.78 o 1349772 38.42/32.78 o 1349963 38.42/32.78 o 1350074 38.42/32.78 o 1350141 38.42/32.78 o 1350432 38.42/32.78 o 1350543 38.42/32.78 o 1350623 38.42/32.79 o 1350734 38.42/32.79 o 1350838 38.42/32.79 o 1351129 38.42/32.79 o 1351815 38.42/32.79 o 1352247 38.42/32.79 o 1352292 38.42/32.79 o 1352362 38.42/32.79 o 1352514 38.42/32.79 o 1353203 38.42/32.79 o 1353494 38.42/32.79 o 1353685 38.42/32.79 o 1353796 38.42/32.80 o 1353840 38.42/32.80 o 1353951 38.53/32.80 o 1354131 38.53/32.80 o 1354242 38.53/32.81 o 1354310 38.53/32.81 o 1354517 38.53/32.81 o 1354708 38.53/32.81 o 1354808 38.53/32.81 o 1354999 38.53/32.81 o 1355110 38.53/32.81 o 1355254 38.53/32.81 o 1355365 38.53/32.81 o 1355445 38.53/32.81 o 1355556 38.53/32.82 o 1355724 38.53/32.82 o 1355835 38.53/32.82 o 1355979 38.53/32.82 o 1356170 38.53/32.83 o 1356281 38.53/32.83 o 1356439 38.53/32.83 o 1356550 38.53/32.83 o 1356730 38.53/32.83 o 1356841 38.53/32.83 o 1356911 38.53/32.83 o 1357064 38.53/32.83 o 1357355 38.53/32.83 o 1357634 38.53/32.83 o 1357786 38.53/32.83 o 1358475 38.53/32.84 o 1358766 38.53/32.84 o 1358877 38.53/32.84 o 1358957 38.53/32.84 o 1359068 38.53/32.84 o 1359212 38.53/32.84 o 1359403 38.53/32.84 o 1359514 38.53/32.84 o 1359559 38.53/32.84 o 1359639 38.53/32.84 o 1359750 38.53/32.84 o 1359794 38.53/32.84 o 1359894 38.53/32.84 o 1360085 38.53/32.84 o 1360196 38.53/32.85 o 1360438 38.53/32.85 o 1360729 38.53/32.85 o 1360840 38.53/32.85 o 1361083 38.53/32.85 o 1361194 38.53/32.85 o 1361858 38.53/32.85 o 1362209 38.53/32.85 o 1362719 38.53/32.85 o 1363186 38.53/32.85 o 1363733 38.53/32.85 o 1363885 38.53/32.85 o 1364574 38.53/32.85 o 1364685 38.53/32.85 o 1364865 38.53/32.86 o 1364976 38.53/32.86 o 1365056 38.53/32.86 o 1365167 38.53/32.86 o 1365311 38.53/32.86 o 1365502 38.53/32.86 o 1365613 38.53/32.86 o 1365673 38.53/32.86 o 1365863 38.53/32.86 o 1365974 38.53/32.86 o 1366068 38.53/32.86 o 1366359 38.53/32.86 o 1366795 38.53/32.86 o 1366947 38.53/32.86 o 1367636 38.53/32.86 o 1367927 38.53/32.87 o 1368038 38.53/32.87 o 1368118 38.53/32.87 o 1368229 38.53/32.87 o 1368373 38.53/32.87 o 1368564 38.53/32.87 o 1368675 38.53/32.87 o 1368805 38.53/32.88 o 1368916 38.53/32.88 o 1369167 38.53/32.88 o 1369458 38.53/32.88 o 1369737 38.53/32.88 o 1369889 38.53/32.88 o 1370578 38.53/32.88 o 1370869 38.53/32.88 o 1370980 38.53/32.88 o 1371060 38.53/32.88 o 1371171 38.53/32.88 o 1371315 38.53/32.88 o 1371506 38.53/32.88 o 1371617 38.53/32.88 o 1371707 38.53/32.89 o 1371818 38.53/32.89 o 1371860 38.53/32.89 o 1372151 38.53/32.89 o 1372430 38.53/32.89 o 1372582 38.53/32.89 o 1373271 38.53/32.89 o 1373562 38.53/32.89 o 1373673 38.53/32.89 o 1373753 38.53/32.89 o 1373864 38.53/32.89 o 1374008 38.53/32.89 o 1374199 38.53/32.89 o 1374310 38.53/32.89 o 1374363 38.53/32.90 o 1374603 38.53/32.90 o 1374714 38.53/32.90 o 1374904 38.63/32.90 o 1375109 38.63/32.90 o 1375400 38.63/32.90 o 1375836 38.63/32.90 o 1375988 38.63/32.90 o 1376677 38.63/32.90 o 1376968 38.63/32.90 o 1377079 38.63/32.90 o 1377159 38.63/32.90 o 1377270 38.63/32.90 o 1377414 38.63/32.90 o 1377605 38.63/32.90 o 1377716 38.63/32.91 o 1377991 38.63/32.91 o 1378282 38.63/32.92 o 1378393 38.63/32.92 o 1378473 38.63/32.92 o 1378584 38.63/32.92 o 1378728 38.63/32.92 o 1378919 38.63/32.92 o 1379030 38.96/33.29 o 1379035 38.96/33.29 o 1379633 38.96/33.29 o 1380322 38.96/33.29 o 1380863 38.96/33.30 o 1380987 38.96/33.30 o 1381198 38.96/33.30 o 1381430 38.96/33.30 o 1382274 38.96/33.30 o 1382815 39.14/33.31 o 1382963 39.14/33.31 o 1383504 39.14/33.32 o 1383710 39.14/33.32 o 1383942 39.14/33.32 o 1384095 39.14/33.32 o 1385327 39.14/33.32 o 1385812 39.14/33.32 o 1386023 39.14/33.32 o 1386255 39.14/33.33 o 1387640 39.14/33.33 o 1388872 39.14/33.33 o 1389413 39.14/33.33 o 1389561 39.14/33.33 o 1390102 39.14/33.34 o 1390320 39.14/33.34 o 1391552 39.14/33.34 o 1392241 39.14/33.35 o 1392557 39.14/33.35 o 1392849 39.14/33.35 o 1393073 39.14/33.35 o 1394458 39.14/33.35 o 1394901 39.14/33.35 o 1396286 39.14/33.35 o 1396618 39.14/33.35 o 1396829 39.14/33.35 o 1398446 39.14/33.35 o 1399831 39.14/33.36 o 1400520 39.14/33.36 o 1401063 39.14/33.36 o 1401752 39.14/33.36 o 1402499 39.14/33.37 o 1402831 39.14/33.37 o 1403427 39.14/33.37 o 1404659 39.14/33.37 o 1404812 39.14/33.37 o 1406044 39.14/33.37 o 1406429 39.14/33.37 o 1407661 39.14/33.37 o 1408350 39.14/33.37 o 1408891 39.14/33.38 o 1410231 39.14/33.38 o 1411616 39.14/33.38 o 1412848 39.14/33.38 o 1412984 39.14/33.38 o 1413389 39.14/33.38 o 1413525 39.14/33.38 o 1414465 39.14/33.38 o 1415006 39.14/33.38 o 1415142 39.14/33.39 o 1415154 39.14/33.39 o 1415290 39.14/33.39 o 1415695 39.14/33.39 o 1415831 39.14/33.39 o 1416266 39.14/33.39 o 1416807 39.14/33.39 o 1417378 39.14/33.39 o 1418763 39.14/33.40 o 1419095 39.37/33.40 o 1420923 39.37/33.40 o 1422308 39.37/33.40 o 1423540 39.37/33.40 o 1424081 39.37/33.40 o 1425157 39.37/33.40 o 1425698 39.37/33.40 o 1425846 39.37/33.40 o 1426387 39.37/33.40 o 1426545 39.37/33.40 o 1427777 39.37/33.41 o 1428162 39.37/33.41 o 1429394 39.37/33.41 o 1430083 39.37/33.41 o 1430624 39.37/33.41 o 1431182 39.37/33.41 o 1431871 39.37/33.41 o 1432412 39.37/33.41 o 1432515 39.37/33.41 o 1432958 39.37/33.42 o 1433802 39.37/33.42 o 1434343 39.37/33.42 o 1435419 39.37/33.42 o 1435960 39.37/33.42 o 1436108 39.37/33.42 o 1436649 39.37/33.42 o 1436651 39.37/33.42 o 1437340 39.37/33.42 o 1437881 39.37/33.42 o 1439083 39.37/33.43 o 1439315 39.37/33.43 o 1440700 39.37/33.43 o 1441116 39.37/33.43 o 1441298 39.37/33.43 o 1443017 39.37/33.43 o 1444845 39.37/33.44 o 1446562 39.37/33.44 o 1448390 39.37/33.44 o 1450007 39.37/33.44 o 1451392 39.37/33.44 o 1452081 39.37/33.44 o 1452622 39.37/33.44 o 1452624 39.37/33.44 o 1453313 39.37/33.44 o 1453854 39.37/33.44 o 1454360 39.37/33.45 o 1455647 39.37/33.45 o 1456188 39.37/33.45 o 1457264 39.37/33.45 o 1457805 39.37/33.45 o 1458649 39.37/33.45 o 1459190 39.37/33.45 o 1459881 39.37/33.45 o 1460422 39.37/33.45 o 1460570 39.37/33.45 o 1461111 39.37/33.46 o 1461604 39.37/33.46 o 1461757 39.37/33.46 o 1462300 39.37/33.46 o 1462989 39.37/33.46 o 1463530 39.37/33.46 o 1464611 39.37/33.46 o 1465054 39.37/33.47 o 1466439 39.37/33.47 o 1466671 39.37/33.47 o 1468056 39.37/33.47 o 1468597 39.37/33.47 o 1468745 39.37/33.47 o 1469286 39.37/33.48 o 1469769 39.37/33.48 o 1470212 39.37/33.48 o 1471597 39.37/33.48 o 1472286 39.37/33.48 o 1472422 39.37/33.48 o 1472827 39.37/33.48 o 1472963 39.37/33.48 o 1472986 39.37/33.48 o 1473473 39.37/33.48 o 1473684 39.37/33.49 o 1473916 39.37/33.49 o 1475301 39.37/33.49 o 1475990 39.37/33.49 o 1476531 39.37/33.49 o 1477035 39.37/33.49 o 1477576 39.37/33.49 o 1478148 39.37/33.49 o 1479076 39.37/33.49 o 1479765 39.37/33.49 o 1480904 39.37/33.49 o 1481593 39.37/33.49 o 1482134 39.37/33.50 o 1482289 39.37/33.50 o 1482830 39.48/33.50 o 1482978 39.48/33.50 o 1483519 39.48/33.50 o 1483883 39.48/33.50 o 1484572 39.48/33.50 o 1485711 39.48/33.50 o 1486400 39.48/33.50 o 1487096 39.48/33.51 o 1487785 39.48/33.51 o 1488326 39.48/33.52 o 1489757 39.48/33.52 o 1491142 39.48/33.52 o 1491683 39.48/33.52 o 1491831 39.48/33.52 o 1492372 39.48/33.52 o 1492404 39.48/33.52 o 1492504 39.48/33.52 o 1492736 39.48/33.52 o 1494121 39.48/33.52 o 1494564 39.48/33.52 o 1495949 39.48/33.53 o 1496638 39.48/33.53 o 1497179 44.40/37.77 o 1499482 44.40/37.78 o 1500280 44.40/37.78 o 1502157 44.40/37.78 o 1502955 44.40/37.78 o 1505679 44.40/37.79 o 1506477 44.40/37.79 o 1508354 44.40/37.79 o 1509152 44.51/37.80 o 1509736 44.51/37.80 o 1512721 44.51/37.81 o 1515396 44.51/37.81 o 1516194 44.51/37.82 o 1516445 44.51/37.82 o 1519430 44.51/37.82 o 1522105 44.51/37.83 o 1522903 44.51/37.84 o 1524781 44.51/37.84 o 1527456 44.51/37.84 o 1528254 45.12/38.44 o 1528592 45.12/38.45 o 1528720 45.12/38.45 o 1529409 45.73/39.01 o 1530003 45.73/39.02 o 1530131 45.73/39.02 o 1530820 45.94/39.21 o 1531011 46.44/39.75 o 1531203 46.44/39.75 o 1531394 46.44/39.75 o 1532020 46.44/39.75 o 1532211 50.02/43.27 o 1532268 50.02/43.27 o 1533511 50.02/43.28 o 1533702 50.02/43.28 o 1534544 50.02/43.28 o 1534735 50.02/43.28 o 1535978 50.02/43.28 o 1536169 50.02/43.28 o 1539059 50.02/43.28 o 1540493 50.02/43.28 o 1540684 50.02/43.28 o 1542586 50.02/43.28 o 1542777 50.02/43.28 o 1547101 50.02/43.28 o 1547292 50.02/43.28 o 1548535 50.02/43.28 o 1548726 50.02/43.29 o 1548906 50.02/43.29 o 1549097 50.02/43.29 o 1552028 50.02/43.29 o 1553462 50.02/43.29 o 1554787 50.02/43.29 o 1559302 50.02/43.29 o 1560736 50.02/43.29 o 1560927 50.02/43.29 o 1561020 50.02/43.29 o 1561788 50.02/43.29 o 1562080 50.02/43.29 o 1567628 50.02/43.29 o 1569062 50.02/43.29 o 1569253 50.02/43.30 o 1572143 50.02/43.30 o 1572334 50.02/43.30 o 1573577 50.02/43.30 o 1573768 50.02/43.30 o 1576889 50.02/43.30 o 1578323 50.02/43.30 o 1581404 50.02/43.30 o 1582838 50.02/43.30 o 1583029 50.02/43.30 o 1586419 50.02/43.30 o 1586610 50.02/43.31 o 1587853 50.12/43.31 o 1588044 50.12/43.34 o 1588077 50.12/43.34 o 1588520 50.12/43.34 o 1589905 50.12/43.35 o 1590754 50.12/43.35 o 1592139 50.12/43.35 o 1592652 50.12/43.35 o 1594037 50.12/43.35 o 1594677 50.12/43.35 o 1596062 50.12/43.35 o 1596640 50.12/43.35 o 1596767 50.12/43.35 o 1596837 50.12/43.35 o 1598665 50.12/43.35 o 1599737 50.12/43.35 o 1601431 50.12/43.35 o 1601558 50.12/43.35 o 1603456 50.12/43.35 o 1603792 50.12/43.36 o 1605690 50.12/43.36 o 1607518 50.12/43.36 o 1608903 50.12/43.36 o 1609014 50.12/43.36 o 1611039 50.12/43.36 o 1612424 50.12/43.36 o 1612867 50.12/43.36 o 1614252 50.12/43.36 o 1614765 50.12/43.36 o 1616150 50.12/43.36 o 1617103 50.12/43.36 o 1617595 50.12/43.36 o 1617665 50.12/43.36 o 1619493 50.12/43.36 o 1620653 50.12/43.37 o 1620780 50.12/43.37 o 1622678 50.12/43.37 o 1623014 50.12/43.37 o 1624912 50.12/43.37 o 1626740 50.12/43.37 o 1627693 50.12/43.37 o 1628125 50.12/43.37 o 1629078 50.22/43.41 o 1629108 50.22/43.41 o 1629451 50.22/43.41 o 1629797 50.22/43.41 o 1630140 50.22/43.41 o 1630510 50.22/43.41 o 1631199 50.22/43.41 o 1631542 50.22/43.42 o 1631667 50.22/43.42 o 1632010 50.22/43.42 o 1635526 50.22/43.42 o 1636928 50.22/43.42 o 1637271 50.22/43.42 o 1637617 50.22/43.42 o 1637960 50.22/43.43 o 1638214 50.22/43.43 o 1638560 50.22/43.43 o 1638903 50.22/43.43 o 1639036 50.22/43.43 o 1639749 50.22/43.43 o 1640438 50.22/43.44 o 1641190 50.22/43.44 o 1642376 50.22/43.44 o 1643778 50.22/43.44 o 1644765 50.22/43.44 o 1646167 50.22/43.44 o 1646856 50.22/43.44 o 1647199 50.22/43.45 o 1647285 50.22/43.45 o 1649829 50.22/43.45 o 1651231 50.22/43.45 o 1651920 50.22/43.45 o 1652263 51.24/44.42 o 1652638 51.24/44.42 o 1654040 51.24/44.42 o 1656414 51.24/44.42 o 1657816 51.24/44.43 o 1658031 51.24/44.43 o 1659433 51.24/44.44 o 1659691 51.24/44.44 o 1660612 51.24/44.44 o 1662065 51.24/44.44 o 1663467 51.24/44.44 o 1663682 51.24/44.44 o 1665084 51.24/44.45 o 1665412 51.24/44.45 o 1666077 51.24/44.45 o 1668709 51.24/44.45 o 1670326 51.24/44.45 o 1671728 51.24/44.46 o 1672853 51.24/44.46 o 1674255 51.24/44.46 o 1674692 51.24/44.46 o 1676094 51.24/44.47 o 1677240 51.24/44.47 o 1677462 51.24/44.47 o 1677677 51.24/44.47 o 1679079 51.24/44.47 o 1679122 51.24/44.47 o 1680739 51.24/44.48 o 1682141 51.24/44.48 o 1682214 51.24/44.49 o 1682779 51.24/44.49 o 1682821 51.24/44.49 o 1684223 51.24/44.49 o 1684471 51.24/44.49 o 1684601 51.24/44.49 o 1685617 51.24/44.49 o 1685839 51.24/44.49 o 1687456 51.24/44.49 o 1688858 51.34/44.50 o 1689781 51.34/44.50 o 1689892 51.34/44.50 o 1689996 51.34/44.50 o 1691398 51.34/44.50 o 1691509 51.34/44.51 o 1692423 51.34/44.51 o 1692534 51.34/44.52 o 1692586 51.34/44.53 o 1692716 51.34/44.53 o 1693044 51.34/44.53 o 1693732 51.34/44.53 o 1693954 51.34/44.53 o 1694169 51.34/44.53 o 1695571 51.34/44.54 o 1696596 51.34/44.55 o 1697591 51.34/44.55 o 1698371 51.34/44.56 o 1698380 51.34/44.56 o 1698448 51.34/44.56 o 1699850 51.34/44.56 o 1699893 51.34/44.56 o 1701510 51.34/44.56 o 1702912 51.34/44.59 o 1703471 51.34/44.59 o 1704778 51.34/44.59 o 1704950 51.34/44.59 o 1705485 51.34/44.59 o 1706173 51.34/44.59 o 1706610 51.34/44.59 o 1708012 51.44/44.60 o 1708227 51.44/44.60 o 1709629 51.44/44.60 o 1710552 51.44/44.60 o 1710767 51.44/44.60 o 1712169 51.44/44.60 o 1712280 53.82/46.72 o 1712449 53.82/46.72 o 1713265 53.82/46.73 o 1713627 53.82/46.73 o 1713815 53.82/46.73 o 1715015 53.82/46.74 o 1715395 53.82/46.74 o 1715832 53.82/46.74 o 1717234 53.82/46.75 o 1718622 53.82/46.76 o 1719822 53.92/46.82 o 1720190 53.92/46.82 o 1720335 53.92/46.82 o 1722233 53.92/46.82 o 1723175 53.92/46.83 o 1723366 53.92/46.83 o 1723529 53.92/46.83 o 1724471 53.92/46.83 o 1724662 53.92/46.83 o 1725076 53.92/46.83 o 1725267 53.92/46.84 o 1725567 53.92/46.84 o 1728061 53.92/46.84 o 1728252 53.92/46.84 o 1729003 53.92/46.84 o 1729194 53.92/46.84 o 1729959 53.92/46.84 o 1730901 53.92/46.84 o 1731092 53.92/46.85 o 1731764 53.92/46.85 o 1731955 53.92/46.85 o 1732255 53.92/46.85 o 1732851 53.92/46.85 o 1734749 53.92/46.85 o 1734940 53.92/46.85 o 1735119 53.92/46.86 o 1735310 53.92/46.86 o 1735610 53.92/46.86 o 1738104 53.92/46.86 o 1738295 53.92/46.86 o 1739646 53.92/46.86 o 1739837 53.92/46.86 o 1742140 53.92/46.86 o 1742331 53.92/46.86 o 1744038 53.92/46.86 o 1744229 53.92/46.86 o 1744980 53.92/46.86 o 1745171 54.02/46.91 o 1745313 54.02/46.91 o 1746881 54.02/46.91 o 1749871 54.02/46.91 o 1751439 54.02/46.96 o 1751698 54.02/46.96 o 1752387 54.02/46.99 o 1753172 54.02/46.99 o 1754594 54.02/46.99 o 1755120 54.02/46.99 o 1756959 54.14/47.02 o 1757648 54.14/47.03 o 1758957 54.14/47.03 o 1759759 54.14/47.03 o 1760379 54.14/47.03 o 1762744 54.14/47.04 o 1764583 54.14/47.04 o 1765272 54.14/47.04 o 1765634 54.14/47.04 o 1767999 54.14/47.04 o 1768688 54.14/47.04 o 1769838 54.14/47.04 o 1770527 54.14/47.09 o 1771825 54.14/47.09 o 1773773 54.14/47.09 o 1775612 54.24/47.11 o 1776301 54.24/47.17 o 1778532 54.24/47.17 o 1780371 54.24/47.18 o 1781060 54.35/47.23 o 1781830 54.35/47.23 o 1781941 54.35/47.23 o 1782173 54.35/47.23 o 1782284 54.35/47.24 o 1782786 54.35/47.24 o 1783129 54.35/47.24 o 1783240 54.35/47.25 o 1784765 54.35/47.25 o 1784876 54.35/47.25 o 1787786 54.35/47.25 o 1787897 54.35/47.26 o 1789614 54.35/47.26 o 1789725 54.35/47.27 o 1790570 54.35/47.27 o 1790681 54.35/47.27 o 1790913 54.35/47.27 o 1791024 54.45/47.34 o 1801081 54.45/47.34 o 1803519 54.45/47.34 o 1803862 54.45/47.34 o 1810524 54.45/47.34 o 1810867 54.45/47.34 o 1812962 54.45/47.34 o 1813305 54.45/47.38 o 1815404 54.45/47.38 o 1819240 54.54/47.42 o 1821095 54.54/47.42 o 1821773 54.54/47.45 o 1822128 54.54/47.45 o 1824352 54.54/47.46 o 1825294 54.54/47.46 o 1829703 54.54/47.46 o 1830645 55.08/47.96 o 1831123 55.08/47.96 o 1831250 55.08/47.96 o 1831939 55.08/47.97 o 1832158 55.08/47.97 o 1832646 55.08/47.97 o 1832744 55.08/47.97 o 1833560 55.08/47.97 o 1833771 55.08/47.97 o 1834152 55.08/47.97 o 1834601 55.08/47.97 o 1834640 55.08/47.97 o 1835554 55.08/47.98 o 1836370 55.08/47.98 o 1837059 55.08/47.99 o 1837604 55.08/47.99 o 1838420 55.08/47.99 o 1839012 55.08/47.99 o 1839461 55.08/47.99 o 1840414 55.08/47.99 o 1841230 55.08/48.00 o 1841919 55.18/48.00 o 1842144 55.18/48.00 o 1842833 55.18/48.00 o 1843394 55.18/48.01 o 1843661 55.18/48.01 o 1844042 55.18/48.01 o 1844491 55.18/48.01 o 1844628 55.18/48.01 o 1845444 55.18/48.02 o 1845655 55.18/48.02 o 1846036 55.18/48.02 o 1846485 55.18/48.02 o 1847438 55.18/48.02 o 1848254 55.18/48.02 o 1848352 55.18/48.02 o 1849168 55.18/48.02 o 1849857 55.18/48.06 o 1850726 55.18/48.06 o 1851612 55.18/48.06 o 1852565 55.18/48.07 o 1853229 55.18/48.07 o 1854182 55.18/48.07 o 1854753 55.18/48.07 o 1855706 55.18/48.07 o 1856187 55.18/48.08 o 1857111 55.18/48.08 o 1857702 55.18/48.08 o 1857791 55.18/48.08 o 1859630 55.18/48.08 o 1861247 55.18/48.08 o 1862771 55.18/48.08 o 1863724 55.28/48.12 o 1864323 55.28/48.12 o 1864424 55.28/48.12 o 1865265 55.28/48.20 o 1866143 55.28/48.20 o 1867760 55.28/48.21 o 1869145 55.42/48.24 o 1870115 55.42/48.24 o 1871363 55.42/48.24 o 1872612 55.42/48.24 o 1873997 55.42/48.25 o 1875752 55.42/48.25 o 1877137 55.42/48.25 o 1879632 55.42/48.25 o 1881017 55.42/48.26 o 1881249 55.42/48.26 o 1882634 55.42/48.27 o 1883202 55.42/48.28 o 1883942 55.42/48.28 o 1887082 55.42/48.28 o 1888699 55.42/48.29 o 1890084 55.52/48.34 o 1890521 55.52/48.34 o 1896312 55.52/48.34 o 1899374 55.61/48.42 o 1899586 55.61/48.42 o 1899904 55.61/48.42 o 1900940 55.61/48.42 o 1901687 55.61/48.43 o 1902104 55.61/48.43 o 1902687 55.61/48.43 o 1903887 55.61/48.43 o 1904634 55.61/48.44 o 1904860 55.61/48.44 o 1905348 55.61/48.44 o 1906095 55.61/48.44 o 1906395 55.61/48.44 o 1906522 55.61/48.44 o 1907722 55.61/48.44 o 1907928 55.61/48.44 o 1909469 55.61/48.44 o 1910669 55.61/48.44 o 1911416 55.61/48.45 o 1912190 55.61/48.45 o 1912937 55.61/48.46 o 1913731 55.61/48.46 o 1914478 55.73/48.51 o 1915877 55.73/48.51 o 1915990 55.73/48.51 o 1917401 55.73/48.51 o 1918800 55.73/48.51 o 1920211 58.10/50.63 o 1920512 58.10/50.63 o 1921259 58.10/50.64 o 1924348 58.10/50.64 o 1925095 58.63/51.13 o 1925283 58.63/51.13 o 1925757 58.63/51.13 o 1926985 58.63/51.14 o 1928185 58.63/51.14 o 1930407 58.63/51.15 o 1931607 58.63/51.15 o 1932560 58.63/51.16 o 1932845 58.63/51.16 o 1933798 58.63/51.16 o 1934045 58.63/51.16 o 1934998 58.63/51.17 o 1935728 58.63/51.17 o 1936928 58.63/51.20 o 1938166 58.75/51.21 o 1939366 58.75/51.21 o 1940319 58.75/51.22 o 1940354 58.75/51.22 o 1940601 58.75/51.22 o 1941554 58.75/51.22 o 1942006 58.75/51.22 o 1943206 58.75/51.22 o 1944722 58.75/51.22 o 1945922 58.75/51.23 o 1946875 59.04/51.57 o 1946964 59.04/51.57 o 1947878 59.04/51.58 o 1947989 59.14/51.63 o 1948747 59.14/51.63 o 1948858 59.14/51.63 o 1949661 59.14/51.63 o 1949772 59.14/51.68 o 1950242 59.14/51.68 o 1951156 59.14/51.68 o 1952241 59.14/51.68 o 1953782 59.14/51.68 o 1954475 59.14/51.68 o 1956016 59.14/51.68 o 1956930 59.14/51.68 o 1957163 59.14/51.68 o 1957740 59.14/51.68 o 1959051 59.14/51.68 o 1959502 59.14/51.68 o 1961285 59.14/51.69 o 1962199 59.14/51.69 o 1962826 59.14/51.69 o 1963740 59.14/51.69 o 1963851 61.56/54.05 o 1963981 61.56/54.06 o 1964797 61.66/54.10 o 1964988 61.66/54.11 o 1965549 61.66/54.11 o 1966365 61.66/54.11 o 1966556 61.66/54.19 o 1966654 61.66/54.20 o 1967279 61.66/54.20 o 1967470 61.86/54.32 o 1968273 61.86/54.32 o 1968371 61.86/54.32 o 1969187 61.86/54.32 o 1969769 61.86/54.32 o 1970639 61.86/54.32 o 1971293 61.86/54.32 o 1972207 61.86/54.33 o 1973023 61.86/54.33 o 1973214 65.60/56.91 o 1973389 67.70/59.03 o 1973696 67.70/59.03 o 1974081 67.70/59.03 o 1974424 68.04/59.36 o 1976183 68.04/59.36 o 1976724 68.04/59.36 o 1976999 68.04/59.36 o 1977540 68.04/59.36 o 1977585 68.04/59.36 o 1978401 68.04/59.36 o 1978942 68.04/59.36 o 1979159 68.04/59.36 o 1980020 68.04/59.36 o 1980561 68.04/59.36 o 1982892 68.04/59.36 o 1984294 68.04/59.36 o 1984835 68.04/59.37 o 1985110 68.04/59.37 o 1985651 68.14/59.46 o 1985660 68.14/59.46 o 1985771 68.14/59.46 o 1985911 68.14/59.46 o 1986099 68.14/59.46 o 1986621 68.14/59.46 o 1987299 68.14/59.46 o 1988404 68.14/59.46 o 1989082 68.14/59.46 o 1989193 68.14/59.47 o 1989262 68.14/59.47 o 1989276 68.14/59.47 o 1989464 68.14/59.47 o 1990664 68.14/59.47 o 1990775 68.14/59.47 o 1992005 68.14/59.47 o 1992116 68.14/59.47 o 1992400 68.14/59.47 o 1993788 68.14/59.47 o 1993899 68.14/59.47 o 1994988 68.14/59.48 o 1995099 68.14/59.48 o 1995666 68.14/59.48 o 1995777 68.24/59.59 o 1995830 68.24/59.59 o 1996173 68.24/59.59 o 1997122 68.24/59.59 o 1998064 68.24/59.60 o 1998407 68.24/59.60 o 1998564 68.35/59.68 o 1998616 68.35/59.69 o 2000233 68.35/59.69 o 2001074 68.35/59.69 o 2002713 68.35/59.69 o 2003554 68.35/59.69 o 2004330 68.35/59.69 o 2005171 68.35/59.69 o 2005987 68.45/59.79 o 2006909 68.45/59.79 o 2007725 68.45/59.79 o 2007823 68.45/59.79 o 2008639 68.55/59.82 o 2011045 68.55/59.82 o 2011959 68.55/59.82 o 2012775 68.55/59.83 o 2016644 68.55/59.86 o 2016903 68.55/59.87 o 2019061 68.55/59.87 o 2023353 68.55/59.88 o 2024169 68.65/59.90 o 2027489 68.65/59.90 o 2028305 68.65/59.90 o 2028403 68.65/59.90 o 2029219 68.65/59.96 o 2033731 68.65/59.96 o 2034931 68.65/59.96 o 2036678 68.65/59.96 o 2037878 71.18/62.41 o 2037882 71.18/62.41 o 2038035 71.18/62.41 o 2038576 71.18/62.41 o 2038767 71.18/62.41 o 2039076 71.18/62.41 o 2039267 71.18/62.41 o 2039531 71.18/62.41 o 2040031 71.18/62.41 o 2040444 71.18/62.41 o 2040845 71.18/62.41 o 2041386 71.18/62.41 o 2041886 71.18/62.41 o 2042077 71.18/62.42 o 2042715 71.18/62.42 o 2043215 71.18/62.42 o 2043406 71.18/62.42 o 2043670 71.18/62.42 o 2043861 71.18/62.42 o 2044583 71.18/62.42 o 2045525 71.18/62.42 o 2045716 71.18/62.42 o 2046025 71.18/62.42 o 2046216 71.18/62.42 o 2046566 71.18/62.42 o 2046757 71.18/62.46 o 2047423 71.18/62.46 o 2047698 71.18/62.46 o 2048376 71.18/62.49 o 2048472 71.18/62.49 o 2048584 71.18/62.49 o 2049425 71.18/62.49 o 2049505 71.28/62.51 o 2049760 71.28/62.51 o 2050301 71.28/62.51 o 2050888 71.28/62.51 o 2051841 71.28/62.51 o 2052351 71.28/62.53 o 2053079 71.28/62.53 o 2055585 71.28/62.54 o 2056538 71.28/62.54 o 2057379 71.28/62.54 o 2058057 71.70/62.95 o 2058562 71.70/62.95 o 2058587 71.70/62.95 o 2059403 71.70/62.95 o 2059787 71.70/62.95 o 2060603 71.80/63.04 o 2061360 72.74/63.63 o 2061377 72.74/63.63 o 2064187 72.74/63.67 o 2065140 72.74/63.70 o 2065711 72.74/63.70 o 2066664 72.94/63.80 o 2067493 72.94/63.86 o 2068554 72.94/63.86 o 2069232 72.94/63.86 o 2069754 72.94/63.86 o 2070432 72.94/63.86 o 2071409 72.94/63.86 o 2072609 72.94/63.86 o 2073287 72.94/63.86 o 2073497 72.94/63.86 o 2074899 72.94/63.87 o 2075577 72.94/63.87 o 2076099 72.94/63.87 o 2076777 73.04/63.98 o 2077749 73.04/63.98 o 2077940 73.14/64.05 o 2078160 73.14/64.05 o 2079594 73.24/64.10 o 2081308 73.55/64.43 o 2081340 73.55/64.43 o 2083238 73.65/64.54 o 2083437 73.65/64.54 o 2083755 73.65/64.54 o 2084571 73.65/64.54 o 2085249 73.65/64.56 o 2085744 73.65/64.56 o 2085776 73.65/64.56 o 2086454 73.65/64.56 o 2087300 73.65/64.56 o 2087978 73.65/64.58 o 2088116 73.65/64.58 o 2088794 73.85/64.78 o 2089310 73.85/64.78 o 2090510 73.96/64.82 o 2090595 73.96/64.83 o 2091062 73.96/64.83 o 2092450 74.06/64.90 o 2093650 74.06/64.99 o 2093841 74.26/65.18 o 2095275 74.87/65.71 o 2095808 74.87/65.72 o 2095865 74.87/65.72 o 2096554 74.87/65.76 o 2098281 74.87/65.76 o 2098970 75.07/65.90 o 2099015 75.07/65.90 o 2100362 75.07/65.90 o 2101040 75.07/65.90 o 2101119 75.07/65.90 o 2101797 75.07/65.90 o 2102521 75.07/65.90 o 2103199 75.48/66.34 o 2103864 75.48/66.35 o 2106565 75.48/66.35 o 2107260 75.48/66.36 o 2108154 75.48/66.36 o 2108849 75.58/66.44 o 2109096 75.58/66.44 o 2109791 75.58/66.44 o 2109842 75.58/66.44 o 2110537 77.09/67.93 o 2112488 77.40/68.29 o 2112763 77.40/68.29 o 2113716 77.40/68.29 o 2114216 77.40/68.29 o 2114407 77.70/68.51 o 2114948 78.70/69.56 o 2115027 81.62/72.49 o 2115034 81.62/72.49 o 2115791 81.62/72.49 o 2116422 81.62/72.49 o 2117179 83.06/73.60 o 2117318 83.06/73.61 o 2117499 83.06/73.61 o 2118859 83.06/73.61 o 2119040 83.06/73.61 o 2119616 83.06/73.61 o 2119797 86.88/77.44 o 2120694 86.88/77.44 o 2121441 86.88/77.44 o 2121552 86.88/77.44 o 2121731 86.88/77.44 o 2122928 86.88/77.44 o 2123039 86.88/77.44 o 2123675 86.88/77.44 o 2123786 90.28/80.61 o 2123879 90.28/80.61 o 2124085 90.28/80.61 o 2124626 90.38/80.76 o 2126133 90.38/80.76 o 2127567 90.59/80.94 o 2127572 90.59/80.94 o 2127752 90.59/80.94 o 2128509 90.59/80.94 o 2129140 90.59/80.95 o 2129897 90.59/80.95 o 2130078 90.59/80.95 o 2130427 90.59/80.95 o 2130608 90.59/80.95 o 2131849 90.59/80.95 o 2133237 90.59/80.95 o 2133418 90.59/80.95 o 2133994 90.59/80.95 o 2134175 90.59/80.98 o 2134671 90.59/80.98 o 2135428 90.59/80.98 o 2135609 91.29/81.63 o 2136784 91.29/81.63 o 2136895 91.29/81.63 o 2137044 91.29/81.63 o 2138612 91.29/81.63 o 2138723 100.68/90.79 o 2139039 100.78/90.82 o 2139728 100.98/91.02 o 2139981 101.38/91.42 o 2140591 101.38/91.42 o 2140712 101.38/91.42 o 2141407 101.38/91.42 o 2142334 101.38/91.43 o 2143150 101.38/91.43 o 2143845 103.79/93.86 o 2144568 103.79/93.86 o 2145257 103.79/93.86 o 2145806 103.79/93.88 o 2146201 103.79/93.88 o 2148226 103.79/93.88 o 2149767 103.79/93.88 o 2150009 103.79/93.88 o 2151550 103.79/93.88 o 2152239 103.79/93.88 o 2152492 103.79/93.89 o 2153181 104.59/94.62 o 2153202 104.59/94.62 o 2153880 104.59/94.62 o 2160235 104.59/94.62 o 2160913 104.59/94.62 o 2164750 104.59/94.62 o 2165428 106.26/96.18 o 2166009 106.26/96.19 o 2166509 106.26/96.19 o 2166756 106.26/96.19 o 2167256 110.04/99.77 o 2167563 110.04/99.77 o 2168104 110.04/99.77 o 2168379 110.04/99.77 o 2168920 110.04/99.77 o 2169579 110.04/99.77 o 2170120 110.04/99.77 o 2170189 110.04/99.77 o 2170287 110.04/99.77 o 2171103 110.04/99.78 o 2171644 110.14/99.85 o 2172351 110.14/99.85 o 2172892 110.14/99.85 o 2173040 110.14/99.85 o 2173581 112.05/101.71 o 2173780 112.05/101.71 o 2174280 112.15/101.83 o 2175075 112.25/101.90 o 2175559 112.25/101.90 o 2175874 112.25/101.90 o 2177100 112.25/101.96 o 2177916 112.25/102.00 o 2178416 112.56/102.29 o 2179302 112.66/102.31 o 2180528 112.66/102.31 o 2181344 112.66/102.31 o 2181844 112.86/102.50 o 2182368 112.86/102.50 o 2184902 112.86/102.51 o 2185844 112.86/102.51 o 2186660 112.96/102.63 o 2187181 112.96/102.63 o 2187362 112.96/102.63 o 2187760 112.96/102.63 o 2188301 112.96/102.63 o 2188482 112.96/102.63 o 2188655 112.96/102.63 o 2189015 112.96/102.63 o 2189196 113.26/102.98 o 2189852 113.26/102.98 o 2190393 113.46/103.15 o 2190403 113.46/103.15 o 2190887 113.46/103.15 o 2191162 113.46/103.15 o 2192267 113.46/103.15 o 2192945 113.46/103.15 o 2194501 113.46/103.15 o 2195179 113.46/103.15 o 2196762 113.46/103.15 o 2197440 113.46/103.19 o 2198787 113.46/103.20 o 2199465 113.57/103.21 o 2200006 114.07/103.74 o 2200339 117.40/106.23 o 2200555 117.60/106.47 o 2202742 117.60/106.49 o 2205552 117.80/106.61 o 2205608 117.80/106.61 o 2205706 117.80/106.61 o 2206522 117.80/106.61 o 2206601 117.80/106.62 o 2206751 117.80/106.62 o 2206830 117.80/106.62 o 2207271 117.80/106.62 o 2208185 117.80/106.63 o 2208264 117.80/106.63 o 2208331 117.80/106.63 o 2208410 117.80/106.63 o 2209765 117.80/106.65 o 2209844 117.80/106.65 o 2210679 117.80/106.66 o 2210758 117.80/106.66 o 2212211 117.80/106.67 o 2213645 117.80/106.68 o 2214559 117.80/106.68 o 2214638 117.80/106.69 o 2215375 117.90/106.71 o 2215454 118.51/107.38 o 2215566 118.51/107.40 o 2215650 118.60/107.40 o 2216407 122.91/111.72 o 2216502 122.91/111.72 o 2217702 122.91/111.72 o 2219035 122.91/111.72 o 2222871 122.91/111.72 o 2224071 126.33/115.17 o 2224722 126.33/115.17 o 2225814 126.44/115.25 o 2229668 126.44/115.26 o 2230168 127.93/116.73 o 2230342 127.93/116.73 o 2231284 127.93/116.73 o 2231753 127.93/116.73 o 2232695 131.77/120.59 o 2234402 132.58/121.38 o 2235194 132.58/121.38 o 2239518 132.58/121.38 o 2240432 132.77/121.54 o 2240484 132.77/121.54 o 2241179 144.34/133.00 o 2241443 144.34/133.00 o 2241702 144.34/133.00 o 2242202 144.34/133.00 o 2242513 144.34/133.00 o 2244411 144.34/133.00 o 2245799 144.34/133.00 o 2246299 144.34/133.00 o 2246546 144.34/133.01 o 2247046 145.15/133.88 o 2247202 145.15/133.88 o 2248155 146.77/135.41 o 2248413 151.66/140.21 o 2248492 167.13/155.02 o 2249020 167.13/155.02 o 2249651 167.13/155.02 o 2250877 167.13/155.02 o 2251830 167.13/155.02 o 2252011 167.23/155.15 o 2252021 167.23/155.15 o 2252202 167.63/155.52 o 2252744 167.63/155.55 o 2252935 167.63/155.59 o 2253116 167.83/155.71 o 2253202 167.83/155.71 o 2253241 167.83/155.71 o 2254155 167.83/155.71 o 2254336 167.83/155.71 o 2254346 167.83/155.71 o 2254527 183.46/170.99 o 2254983 183.46/171.00 o 2255983 183.46/171.00 o 2256270 183.46/171.00 o 2257838 183.56/171.03 o 2258029 183.56/171.03 o 2258654 183.56/171.03 o 2258845 183.87/171.32 o 2259272 183.87/171.32 o 2260088 183.87/171.38 o 2260279 214.84/201.75 o 2260373 214.84/201.75 o 2260860 214.84/201.75 o 2261051 214.84/201.75 o 2261175 214.84/201.75 o 2261254 214.84/201.75 o 2261932 214.84/201.75 o 2262207 214.84/201.75 o 2262885 214.84/201.75 o 2263076 214.84/201.75 o 2263692 214.84/201.76 o 2263888 214.84/201.76 o 2264645 214.84/201.76 o 2264836 214.84/201.76 o 2265323 214.84/201.76 o 2265514 249.88/236.12 o 2265995 252.03/238.21 s SATISFIABLE 252.03/238.22 v <instantiation> 252.03/238.22 v <list> 252.03/238.22 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 252.03/238.22 v </list> 252.03/238.22 v <values> 252.03/238.22 v 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 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 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 1 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 252.03/238.22 v </values> 252.03/238.22 v </instantiation>
OK 2265995
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 (9827 MiB free)
memory of node 1: 16384 MiB (12715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310552-1534329093/watcher-4310552-1534329093 -o /tmp/evaluation-result-4310552-1534329093/solver-4310552-1534329093 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21608 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 584253516 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310552-1534329093.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21622, runsolver pid=21619
[startup+0.100153 s]*
/proc/loadavg: 0.75 1.16 1.32 3/195 21642
/proc/meminfo: memFree=23030380/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14082736 memory=33176 CPUtime=0.12 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 7241 0 0 0 10 2 0 0 20 0 15 0 250472154 14420721664 8294 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3520684 8294 3140 1 0 3482761 0
[pid=21622/tid=21624] ppid=21619 vsize=14082736 memory=-6657564262983111006 CPUtime=0.09 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 5367 0 0 0 8 1 0 0 20 0 15 0 250472155 14420721664 8360 33554432000 4194304 4196468 140729588523504 140069480548976 140069460444510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14082736 memory=5767616253212305545 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 8360 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 8360 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 8360 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 8360 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472157 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472157 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068948792608 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472158 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068947740272 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0.01 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) S 21619 21622 21576 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 250472160 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472161 14420721664 8360 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33176 KiB
[startup+0.210402 s]*
/proc/loadavg: 0.75 1.16 1.32 4/209 21660
/proc/meminfo: memFree=23004076/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14082736 memory=46848 CPUtime=0.3 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 10314 0 0 0 27 3 0 0 20 0 15 0 250472154 14420721664 11712 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3520684 11712 3368 1 0 3482761 0
[pid=21622/tid=21624] ppid=21619 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 8063 0 0 0 17 2 0 0 20 0 15 0 250472155 14420721664 11712 33554432000 4194304 4196468 140729588523504 140069480592048 140069460407653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14082736 memory=4211973610660052362 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 11712 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 11712 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 11712 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 11712 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250472157 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472157 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068948792608 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472158 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068947740272 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) R 21619 21622 21576 0 -1 4202560 433 0 0 0 2 0 0 0 20 0 15 0 250472160 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068945616456 140069476377905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) R 21619 21622 21576 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 250472160 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0.06 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) R 21619 21622 21576 0 -1 4202560 268 0 0 0 6 0 0 0 20 0 15 0 250472160 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14082736 memory=139884455261824 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472161 14420721664 11712 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46848 KiB
[startup+0.310486 s]*
/proc/loadavg: 0.75 1.16 1.32 4/215 21666
/proc/meminfo: memFree=22985060/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14082736 memory=50436 CPUtime=0.43 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 10722 0 0 0 40 3 0 0 20 0 15 0 250472154 14420721664 12609 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3520684 12609 3371 1 0 3482761 0
[pid=21622/tid=21624] ppid=21619 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 8448 0 0 0 26 3 0 0 20 0 15 0 250472155 14420721664 12609 33554432000 4194304 4196468 140729588523504 140069480575600 140069460444510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14082736 memory=4211973610660052362 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 12609 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14082736 memory=5989972951841069545 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 12609 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14082736 memory=7590118235959895188 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 12609 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14082736 memory=139884333497379 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14420721664 12609 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14082736 memory=279768666994888 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250472157 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14082736 memory=61685759 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472157 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068948792608 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14082736 memory=279768788759232 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472158 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068947740272 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14082736 memory=115838975 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 250472160 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 250472160 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14082736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) S 21619 21622 21576 0 -1 1077944384 285 0 0 0 8 0 0 0 20 0 15 0 250472160 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472161 14420721664 12609 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50436 KiB
[startup+0.700758 s]
/proc/loadavg: 0.75 1.16 1.32 4/215 21666
/proc/meminfo: memFree=22952628/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14084804 memory=89084 CPUtime=0.99 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 17583 0 0 0 94 5 0 0 20 0 15 0 250472154 14422839296 22271 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3521201 22271 3503 1 0 3483273 0
[pid=21622/tid=21624] ppid=21619 vsize=14084804 memory=279768666738384 CPUtime=0.67 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 14867 0 0 0 63 4 0 0 20 0 15 0 250472155 14422839296 22271 33554432000 4194304 4196468 140729588523504 140069480579488 140069476385949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14084804 memory=2496919504641 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14422839296 22271 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14084804 memory=2509804406273 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14422839296 22271 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14084804 memory=448690693 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14422839296 22271 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14084804 memory=6379419660154276243 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14422839296 22271 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14084804 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250472157 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14084804 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472157 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068948792608 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14084804 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472158 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068947740272 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14084804 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14084804 memory=14888 CPUtime=0.08 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 601 0 0 0 8 0 0 0 20 0 15 0 250472160 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14084804 memory=3316 CPUtime=0.06 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 334 0 0 0 6 0 0 0 20 0 15 0 250472160 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14084804 memory=15768 CPUtime=0.15 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) R 21619 21622 21576 0 -1 4202560 399 0 0 0 15 0 0 0 20 0 15 0 250472160 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068943530352 140069469460764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14084804 memory=38500 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472161 14422839296 22271 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89084 KiB
[startup+1.50072 s]
/proc/loadavg: 0.75 1.16 1.32 8/215 21666
/proc/meminfo: memFree=22860556/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14086852 memory=178816 CPUtime=2.96 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 24358 0 0 0 289 7 0 0 20 0 15 0 250472154 14424936448 44704 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3521713 44704 3554 1 0 3483785 0
[pid=21622/tid=21624] ppid=21619 vsize=14086852 memory=3868 CPUtime=1.46 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 17435 0 0 0 140 6 0 0 20 0 15 0 250472155 14424936448 44704 33554432000 4194304 4196468 140729588523504 140069480597480 140069105962877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14424936448 44704 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14086852 memory=139884333528572 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472156 14424936448 44704 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14424936448 44704 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14086852 memory=54 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472156 14424936448 44704 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14086852 memory=47 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 250472157 14424936448 44704 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
################
# More data... #
################
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 32737 0 0 0 10034 55 0 0 20 0 15 0 250472155 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140069480598400 140069112776109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14092996 memory=4248736 CPUtime=1.19 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 2926 0 0 0 93 26 0 0 20 0 15 0 250472156 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14092996 memory=4248736 CPUtime=1.18 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 2300 0 0 0 92 26 0 0 20 0 15 0 250472156 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14092996 memory=4244768 CPUtime=1.17 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2201 0 0 0 92 25 0 0 20 0 15 0 250472156 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14092996 memory=279768667851200 CPUtime=1.18 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 1493 0 0 0 93 25 0 0 20 0 15 0 250472156 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14092996 memory=4232168 CPUtime=0.13 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 4040 0 0 0 12 1 0 0 20 0 15 0 250472157 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14092996 memory=4158064 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250472157 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068948792672 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14092996 memory=4147476 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250472158 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068947740288 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14092996 memory=4248736 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14092996 memory=4248736 CPUtime=2.8 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 10902 0 0 0 278 2 0 0 20 0 15 0 250472160 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14092996 memory=139884333654505 CPUtime=2.79 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 7788 0 0 0 277 2 0 0 20 0 15 0 250472160 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14092996 memory=4248736 CPUtime=1.17 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) S 21619 21622 21576 0 -1 1077944384 6701 0 0 0 115 2 0 0 20 0 15 0 250472160 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14092996 memory=4248736 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14092996 memory=4248736 CPUtime=0.04 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 462 0 0 0 1 3 0 0 20 0 15 0 250472161 14431227904 1062184 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 112.66 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4248736 KiB
[startup+162.31 s]
/proc/loadavg: 1.66 1.45 1.41 3/215 21668
/proc/meminfo: memFree=14383284/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14092996 memory=4393956 CPUtime=174.64 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 87151 0 0 0 17276 188 0 0 20 0 15 0 250472154 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3523249 1098489 3618 1 0 3485321 0
[pid=21622/tid=21624] ppid=21619 vsize=14092996 memory=4393956 CPUtime=160.29 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 37017 0 0 0 15973 56 0 0 20 0 15 0 250472155 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140069480601104 140069110706789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14092996 memory=4393956 CPUtime=1.73 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 3848 0 0 0 143 30 0 0 20 0 15 0 250472156 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14092996 memory=4393956 CPUtime=1.71 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 3044 0 0 0 141 30 0 0 20 0 15 0 250472156 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14092996 memory=4393956 CPUtime=1.7 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 2862 0 0 0 142 28 0 0 20 0 15 0 250472156 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14092996 memory=4380984 CPUtime=1.72 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2143 0 0 0 142 30 0 0 20 0 15 0 250472156 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14092996 memory=33 CPUtime=0.2 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 8456 0 0 0 19 1 0 0 20 0 15 0 250472157 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14092996 memory=4393956 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250472157 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068948792672 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250472158 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068947740288 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14092996 memory=3905050391732119909 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14092996 memory=4380984 CPUtime=3.07 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 11870 0 0 0 305 2 0 0 20 0 15 0 250472160 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14092996 memory=4327520 CPUtime=2.85 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 8239 0 0 0 283 2 0 0 20 0 15 0 250472160 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14092996 memory=4327520 CPUtime=1.21 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) S 21619 21622 21576 0 -1 1077944384 7755 0 0 0 119 2 0 0 20 0 15 0 250472160 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14092996 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14092996 memory=68356 CPUtime=0.07 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 482 0 0 0 3 4 0 0 20 0 15 0 250472161 14431227904 1098489 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 174.64 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4393956 KiB
[startup+222.31 s]
/proc/loadavg: 1.81 1.53 1.44 3/215 21669
/proc/meminfo: memFree=14479448/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14092996 memory=4278256 CPUtime=235.59 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 97913 0 0 0 23368 191 0 0 20 0 15 0 250472154 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3523249 1069564 3619 1 0 3485321 0
[pid=21622/tid=21624] ppid=21619 vsize=14092996 memory=4278256 CPUtime=219.96 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 42903 0 0 0 21940 56 0 0 20 0 15 0 250472155 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140069480598080 140069112152413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14092996 memory=4278256 CPUtime=2.03 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 4589 0 0 0 173 30 0 0 20 0 15 0 250472156 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14092996 memory=4390544 CPUtime=2.01 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 3641 0 0 0 171 30 0 0 20 0 15 0 250472156 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14092996 memory=4388036 CPUtime=1.99 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 3163 0 0 0 171 28 0 0 20 0 15 0 250472156 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14092996 memory=4387976 CPUtime=2.02 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 2583 0 0 0 172 30 0 0 20 0 15 0 250472156 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14092996 memory=4390544 CPUtime=0.21 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 8724 0 0 0 20 1 0 0 20 0 15 0 250472157 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14092996 memory=4278256 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250472157 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068948792672 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14092996 memory=4278256 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250472158 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068947740288 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14092996 memory=4278256 CPUtime=3.08 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 12128 0 0 0 306 2 0 0 20 0 15 0 250472160 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14092996 memory=4278256 CPUtime=2.86 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 8849 0 0 0 284 2 0 0 20 0 15 0 250472160 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14092996 memory=4278256 CPUtime=1.22 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) S 21619 21622 21576 0 -1 1077944384 9349 0 0 0 120 2 0 0 20 0 15 0 250472160 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14092996 memory=4388036 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14092996 memory=3868 CPUtime=0.11 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 549 0 0 0 5 6 0 0 20 0 15 0 250472161 14431227904 1069564 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 235.59 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4278256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+238.201 s]*
/proc/loadavg: 2.00 1.59 1.46 3/215 21669
/proc/meminfo: memFree=14491424/32770624 swapFree=67108688/67108860
[pid=21622] ppid=21619 vsize=14092996 memory=4262600 CPUtime=252.03 cores=1,3,5,7
/proc/21622/stat : 21622 (java) S 21619 21622 21576 0 -1 1077944320 102531 0 0 0 25001 202 0 0 20 0 15 0 250472154 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140729588506048 140069476364023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
/proc/21622/statm: 3523249 1065650 3619 1 0 3485321 0
[pid=21622/tid=21624] ppid=21619 vsize=14092996 memory=1572 CPUtime=235.68 cores=1,3,5,7
/proc/21622/task/21624/stat : 21624 (java) R 21619 21622 21576 0 -1 4202560 45410 0 0 0 23511 57 0 0 20 0 15 0 250472155 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140069480593008 140069112775923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21627] ppid=21619 vsize=14092996 memory=-7003737579269690708 CPUtime=2.2 cores=1,3,5,7
/proc/21622/task/21627/stat : 21627 (java) S 21619 21622 21576 0 -1 1077944384 4683 0 0 0 188 32 0 0 20 0 15 0 250472156 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140069428984208 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21628] ppid=21619 vsize=14092996 memory=1224 CPUtime=2.19 cores=1,3,5,7
/proc/21622/task/21628/stat : 21628 (java) S 21619 21622 21576 0 -1 1077944384 3937 0 0 0 187 32 0 0 20 0 15 0 250472156 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140069427931408 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21629] ppid=21619 vsize=14092996 memory=2336 CPUtime=2.17 cores=1,3,5,7
/proc/21622/task/21629/stat : 21629 (java) S 21619 21622 21576 0 -1 1077944384 3270 0 0 0 186 31 0 0 20 0 15 0 250472156 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140069426879120 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21630] ppid=21619 vsize=14092996 memory=4186688 CPUtime=2.2 cores=1,3,5,7
/proc/21622/task/21630/stat : 21630 (java) S 21619 21622 21576 0 -1 1077944384 3802 0 0 0 187 33 0 0 20 0 15 0 250472156 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140069425826320 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21634] ppid=21619 vsize=14092996 memory=924 CPUtime=0.21 cores=1,3,5,7
/proc/21622/task/21634/stat : 21634 (java) S 21619 21622 21576 0 -1 1077944384 9087 0 0 0 20 1 0 0 20 0 15 0 250472157 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068949846640 140069476375170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21635] ppid=21619 vsize=14092996 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21635/stat : 21635 (java) S 21619 21622 21576 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250472157 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068948792672 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21636] ppid=21619 vsize=14092996 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21636/stat : 21636 (java) S 21619 21622 21576 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250472158 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068947740288 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21637] ppid=21619 vsize=14092996 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21637/stat : 21637 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068946688592 140069476382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21638] ppid=21619 vsize=14092996 memory=7284 CPUtime=3.08 cores=1,3,5,7
/proc/21622/task/21638/stat : 21638 (java) S 21619 21622 21576 0 -1 1077944384 12128 0 0 0 306 2 0 0 20 0 15 0 250472160 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068945635440 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21639] ppid=21619 vsize=14092996 memory=804 CPUtime=2.86 cores=1,3,5,7
/proc/21622/task/21639/stat : 21639 (java) S 21619 21622 21576 0 -1 1077944384 8849 0 0 0 284 2 0 0 20 0 15 0 250472160 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068944582640 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21640] ppid=21619 vsize=14092996 memory=4100 CPUtime=1.22 cores=1,3,5,7
/proc/21622/task/21640/stat : 21640 (java) S 21619 21622 21576 0 -1 1077944384 9349 0 0 0 120 2 0 0 20 0 15 0 250472160 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068943530352 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21641] ppid=21619 vsize=14092996 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/21622/task/21641/stat : 21641 (java) S 21619 21622 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472160 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068942477792 140069476374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
[pid=21622/tid=21642] ppid=21619 vsize=14092996 memory=916 CPUtime=0.12 cores=1,3,5,7
/proc/21622/task/21642/stat : 21642 (java) S 21619 21622 21576 0 -1 1077944384 581 0 0 0 5 7 0 0 20 0 15 0 250472161 14431227904 1065650 33554432000 4194304 4196468 140729588523504 140068941425584 140069476375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 21291008 140729588532315 140729588532494 140729588532494 140729588535247 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4262600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+238.247 s]
# the end of solver process 21622 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.047 s, system=2.05203 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 238.248
CPU time (s): 252.099
CPU user time (s): 250.047
CPU system time (s): 2.05203
CPU usage (%): 105.814
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4394144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.047
system time used= 2.05203
maximum resident set size= 4394144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11063
involuntary context switches= 405
# summary of solver processes directly reported to runsolver:
# pid: 21622
# total CPU time (s): 252.099
# total CPU user time (s): 250.047
# total CPU system time (s): 2.05203
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39434 second user time and 2.49254 second system time
The end
Begin job on node106 at 2018-08-15 12:31:33 IDJOB=4310552 IDBENCH=141160 IDSOLVER=2796 FILE ID=node106/4310552-1534329093 RUNJOBID= node106-1534329093-21608 PBS_JOBID= 21038157 Free space on /tmp= 42448 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_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-4310552-1534329093/watcher-4310552-1534329093 -o /tmp/evaluation-result-4310552-1534329093/solver-4310552-1534329093 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21608 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 584253516 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310552-1534329093.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658 RANDOM SEED=584253516 node106.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 : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23084176 kB MemAvailable: 31893588 kB Buffers: 201620 kB Cached: 8822936 kB SwapCached: 0 kB Active: 4560824 kB Inactive: 4520220 kB Active(anon): 3372 kB Inactive(anon): 113648 kB Active(file): 4557452 kB Inactive(file): 4406572 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 35764 kB Writeback: 16 kB AnonPages: 63564 kB Mapped: 56172 kB Shmem: 57824 kB Slab: 301936 kB SReclaimable: 273848 kB SUnreclaim: 28088 kB KernelStack: 3184 kB PageTables: 6272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 358612 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 42376 MiB End job on node106 at 2018-08-15 12:35:31