Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2018-07-02 | SAT (TO) | 2493564 | 2400.1 | 2329.52 |
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 | 2494709 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
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-07-02 0.67/0.55 c seed: 924652506 0.67/0.55 c timeout: 2400 0.67/0.55 c memlimit: 11000 0.67/0.55 c nbcore: 4 0.67/0.57 c Parsing instance... 3.74/1.98 c Parsing done, starting first complete search... 4.43/2.22 o 0 4.43/2.22 o 19026 4.43/2.22 o 27190 4.43/2.22 o 46216 4.43/2.23 o 46287 4.43/2.23 o 60652 4.43/2.24 o 63660 4.43/2.24 o 66969 4.43/2.24 o 71630 4.43/2.24 o 74813 4.43/2.24 o 77821 4.43/2.24 o 85995 4.43/2.24 o 89003 4.43/2.25 o 95443 4.43/2.25 o 98451 4.43/2.25 o 103873 4.43/2.25 o 106881 4.43/2.26 o 109561 4.43/2.26 o 117877 4.43/2.26 o 134332 4.43/2.26 o 152232 4.43/2.26 o 155826 4.43/2.26 o 158834 4.43/2.26 o 167150 4.43/2.27 o 170602 4.43/2.27 o 180837 4.43/2.27 o 188813 4.43/2.27 o 190358 4.43/2.28 o 192857 4.43/2.28 o 193801 4.43/2.28 o 204929 4.43/2.28 o 207705 4.43/2.28 o 213032 4.43/2.29 o 215697 4.43/2.29 o 216218 4.43/2.29 o 217763 4.43/2.29 o 224648 4.43/2.29 o 226193 4.43/2.29 o 227425 4.43/2.29 o 227549 4.73/2.30 o 234310 4.73/2.30 o 235855 4.73/2.30 o 239637 4.73/2.30 o 241182 4.73/2.30 o 246670 4.73/2.30 o 248215 4.73/2.30 o 255100 4.73/2.31 o 256645 4.73/2.31 o 257371 4.73/2.31 o 260310 4.73/2.31 o 266266 4.73/2.32 o 266874 4.73/2.32 o 272927 4.73/2.32 o 279688 4.73/2.32 o 281233 4.73/2.33 o 284172 4.73/2.33 o 284734 4.73/2.34 o 284800 4.73/2.34 o 287739 4.73/2.34 o 290340 4.73/2.35 o 293279 4.73/2.35 o 296924 4.73/2.35 o 301784 4.73/2.35 o 311750 4.73/2.35 o 314689 4.73/2.37 o 315705 4.73/2.37 o 316692 4.73/2.37 o 318237 4.73/2.37 o 321245 4.73/2.38 o 323696 4.73/2.38 o 325241 4.73/2.38 o 328655 4.73/2.38 o 331594 4.73/2.39 o 354206 5.05/2.41 o 356231 5.05/2.41 o 356793 5.05/2.41 o 358580 5.05/2.41 o 359142 5.05/2.41 o 360125 5.05/2.41 o 360687 5.05/2.41 o 363137 5.05/2.41 o 363699 5.05/2.42 o 366076 5.05/2.42 o 366638 5.05/2.45 o 367110 5.05/2.48 o 367883 5.05/2.48 o 368445 5.05/2.48 o 370822 5.05/2.48 o 371384 5.05/2.49 o 371641 5.36/2.51 o 372055 5.36/2.51 o 372527 5.36/2.51 o 372784 5.36/2.53 o 374584 5.36/2.53 o 375056 5.36/2.55 o 375949 5.36/2.55 o 376421 5.36/2.55 o 376678 5.36/2.56 o 378073 5.36/2.57 o 378545 5.36/2.57 o 378802 5.36/2.57 o 379741 5.36/2.57 o 380213 5.36/2.58 o 382269 5.36/2.58 o 382741 5.36/2.58 o 385281 5.36/2.58 o 385753 5.36/2.58 o 385828 5.36/2.59 o 387427 5.36/2.59 o 387899 5.36/2.59 o 389685 5.36/2.59 o 390157 5.36/2.59 o 392693 5.36/2.59 o 393165 5.36/2.59 o 395705 5.36/2.59 o 396177 5.66/2.60 o 396255 5.66/2.60 o 396727 5.66/2.61 o 399263 5.66/2.61 o 399735 5.66/2.61 o 399926 5.66/2.61 o 400398 5.66/2.61 o 402275 5.66/2.61 o 402747 5.66/2.62 o 403187 5.66/2.62 o 407269 5.66/2.62 o 407741 5.66/2.62 o 407831 5.66/2.62 o 408303 5.66/2.63 o 409206 5.66/2.63 o 409678 5.66/2.63 o 409914 5.66/2.63 o 410386 5.66/2.63 o 410588 5.66/2.63 o 410695 5.66/2.63 o 417251 5.66/2.64 o 417723 5.66/2.64 o 420263 5.66/2.64 o 420735 5.66/2.66 o 421421 5.66/2.66 o 421893 5.66/2.67 o 423176 5.66/2.67 o 423648 5.66/2.67 o 428292 5.66/2.67 o 428764 5.66/2.68 o 429550 5.66/2.68 o 430022 5.66/2.68 o 430693 5.66/2.68 o 431165 5.66/2.68 o 433042 5.66/2.68 o 433514 5.66/2.69 o 434438 5.66/2.69 o 434910 5.66/2.69 o 437450 5.66/2.69 o 437922 5.92/2.70 o 438158 5.92/2.70 o 438630 5.92/2.72 o 440567 5.92/2.72 o 441039 5.92/2.75 o 441290 5.92/2.75 o 442085 5.92/2.75 o 442557 5.92/2.76 o 443373 5.92/2.76 o 446381 5.92/2.76 o 446853 5.92/2.76 o 451763 5.92/2.76 o 452906 5.92/2.76 o 454766 5.92/2.76 o 461336 5.92/2.77 o 463541 5.92/2.77 o 464249 5.92/2.77 o 468657 5.92/2.77 o 469365 6.07/2.82 o 471461 6.07/2.82 o 472169 6.07/2.82 o 475181 6.17/2.90 o 477322 6.17/2.90 o 479671 6.17/2.90 o 480379 6.17/2.91 o 482683 6.17/2.91 o 483391 6.17/2.96 o 484064 6.17/2.98 o 484724 6.17/2.98 o 487133 6.17/2.98 o 489482 6.17/2.98 o 491786 6.17/2.98 o 492494 6.28/3.01 o 493112 6.28/3.01 o 495461 6.28/3.01 o 497870 6.28/3.01 o 498578 6.28/3.02 o 498594 6.28/3.02 o 501003 6.28/3.02 o 503352 6.28/3.02 o 505255 6.28/3.05 o 505926 6.28/3.05 o 508901 6.28/3.05 o 509047 6.28/3.05 o 509137 6.28/3.05 o 509609 6.28/3.06 o 509926 6.28/3.06 o 510117 6.28/3.06 o 512466 6.28/3.06 o 512938 6.28/3.06 o 513174 6.28/3.06 o 513646 6.28/3.06 o 514228 6.28/3.06 o 514700 6.28/3.06 o 514936 6.28/3.07 o 515408 6.28/3.07 o 517948 6.28/3.07 o 518420 6.28/3.07 o 518948 6.28/3.08 o 519420 6.28/3.08 o 519656 6.28/3.08 o 520128 6.28/3.08 o 526226 6.28/3.08 o 526698 6.38/3.11 o 527415 6.38/3.12 o 527887 6.38/3.12 o 527977 6.38/3.12 o 528449 6.38/3.12 o 528685 6.38/3.12 o 529157 6.57/3.32 o 529428 6.57/3.32 o 529900 6.57/3.32 o 529990 6.57/3.32 o 530462 6.57/3.33 o 532337 6.57/3.33 o 532809 6.57/3.34 o 537620 6.57/3.34 o 538182 6.57/3.34 o 538816 6.57/3.34 o 541821 6.57/3.34 o 542383 6.57/3.34 o 542529 6.57/3.34 o 543091 6.57/3.34 o 547865 6.97/3.71 o 549566 6.97/3.71 o 550128 7.55/4.23 o 550961 7.55/4.23 o 551669 7.95/4.68 o 552139 8.05/4.75 o 552856 8.05/4.75 o 553328 8.05/4.75 o 555868 8.05/4.76 o 556340 8.60/5.24 o 556576 8.60/5.24 o 557048 9.11/5.78 o 558999 9.11/5.78 o 559471 9.11/5.78 o 562011 9.11/5.78 o 562483 9.42/6.06 o 563037 9.42/6.06 o 563509 9.42/6.07 o 563745 9.42/6.07 o 564217 9.52/6.11 o 564965 9.52/6.11 o 565437 9.52/6.13 o 566157 9.52/6.13 o 566629 9.52/6.13 o 566719 9.52/6.13 o 567191 9.52/6.13 o 569731 9.52/6.13 o 570203 9.52/6.19 o 570621 9.71/6.31 o 571810 9.71/6.31 o 572282 9.91/6.58 o 572999 9.91/6.58 o 573471 9.91/6.59 o 573707 9.91/6.59 o 574179 10.21/6.89 o 576011 10.21/6.90 o 576483 10.21/6.90 o 576719 10.36/6.90 o 577191 10.36/6.92 o 577212 10.36/6.92 o 577684 10.36/6.92 o 580224 10.36/6.93 o 580696 10.47/7.06 o 581978 10.47/7.06 o 582450 10.47/7.07 o 582581 10.47/7.07 o 583053 10.47/7.07 o 584990 10.47/7.07 o 585462 12.57/9.16 o 585870 12.57/9.16 o 586342 12.57/9.17 o 586423 12.57/9.17 o 588866 12.57/9.17 o 589428 12.57/9.17 o 589900 12.57/9.17 o 591878 12.57/9.17 o 592350 12.57/9.18 o 592440 12.57/9.18 o 592912 14.71/11.16 o 593062 14.71/11.16 o 593534 17.77/14.12 o 595272 17.86/14.23 o 595894 19.36/15.74 o 597195 19.36/15.74 o 604516 19.36/15.79 o 604545 19.36/15.79 o 604595 19.36/15.79 o 607004 34.77/31.04 c First complete search done, starting ALNS search... 35.27/31.41 o 608996 35.27/31.41 o 609801 35.27/31.41 o 610541 35.27/31.41 o 611346 35.27/31.41 o 612622 35.27/31.41 o 613259 35.27/31.41 o 615608 35.27/31.42 o 617153 35.27/31.42 o 618031 35.27/31.42 o 619576 35.27/31.42 o 620056 35.27/31.42 o 621601 35.27/31.42 o 623127 35.27/31.42 o 623723 35.27/31.42 o 624587 35.27/31.42 o 626132 35.27/31.42 o 626937 35.27/31.43 o 627234 35.27/31.43 o 627780 35.27/31.43 o 627889 35.27/31.43 o 628694 35.27/31.43 o 629434 35.27/31.43 o 630239 35.50/31.67 o 630678 35.50/31.67 o 630955 35.50/31.67 o 631760 35.50/31.68 o 632491 35.50/31.68 o 633296 35.50/31.68 o 633970 35.50/31.68 o 634566 35.50/31.68 o 634881 35.50/31.68 o 635686 35.50/31.68 o 636170 35.50/31.68 o 636975 35.50/31.68 o 637399 35.50/31.68 o 637696 35.50/31.68 o 638292 35.50/31.68 o 639156 35.50/31.68 o 639412 35.50/31.69 o 640701 35.50/31.69 o 641506 35.50/31.69 o 641783 35.50/31.69 o 642588 35.61/31.70 o 643335 35.61/31.70 o 643978 35.61/31.70 o 644718 35.61/31.71 o 645523 35.61/31.71 o 645988 35.61/31.71 o 646852 35.61/31.71 o 647108 35.61/31.71 o 648397 35.61/31.71 o 648634 35.61/31.71 o 649923 35.61/31.71 o 650094 35.61/31.71 o 651639 35.61/31.71 o 652928 35.61/31.71 o 653733 35.61/31.72 o 654010 35.61/31.72 o 654815 35.61/31.77 o 654956 35.61/31.77 o 655552 35.61/31.77 o 655867 35.61/31.77 o 656672 35.61/31.77 o 657156 35.61/31.77 o 657961 35.61/31.77 o 658238 35.61/31.77 o 659043 35.61/31.79 o 659790 35.61/31.79 o 660067 35.61/31.79 o 660872 35.61/31.79 o 661173 35.61/31.80 o 661978 35.71/31.80 o 662827 35.71/31.80 o 663732 35.71/31.80 o 664833 35.71/31.80 o 665089 35.71/31.80 o 666378 35.71/31.80 o 666549 35.71/31.80 o 668094 35.71/31.80 o 669383 35.71/31.80 o 670188 35.71/31.80 o 670465 35.71/31.80 o 671270 35.93/32.06 o 671857 35.93/32.06 o 673336 35.93/32.06 o 675250 35.93/32.06 o 676055 35.93/32.06 o 678987 35.93/32.07 o 679676 35.93/32.07 o 679682 35.93/32.07 o 680371 35.93/32.07 o 682816 35.93/32.07 o 683511 35.93/32.07 o 684157 35.93/32.07 o 684386 35.93/32.07 o 685191 35.93/32.07 o 688123 35.93/32.07 o 690134 35.93/32.07 o 691544 35.93/32.07 o 692866 35.93/32.07 o 693169 35.93/32.07 o 694780 35.93/32.07 o 698517 35.93/32.08 o 699212 35.93/32.08 o 699901 35.93/32.08 o 704504 35.93/32.08 o 705193 35.93/32.08 o 705199 35.93/32.08 o 705888 35.93/32.08 o 706004 35.93/32.09 o 706693 35.93/32.09 o 706918 35.93/32.09 o 707028 35.93/32.09 o 707723 35.93/32.09 o 709674 35.93/32.09 o 710479 35.93/32.09 o 710778 35.93/32.09 o 716126 35.93/32.09 o 718686 35.93/32.09 o 724034 35.93/32.09 o 724839 35.93/32.09 o 725534 35.93/32.09 o 726223 35.93/32.09 o 727771 35.93/32.09 o 728460 35.93/32.09 o 728466 35.93/32.10 o 729155 35.93/32.10 o 730276 35.93/32.10 o 730971 35.93/32.10 o 732762 35.93/32.10 o 732851 35.93/32.10 o 735019 36.66/32.46 o 735174 36.66/32.47 o 736791 36.66/32.47 o 737048 36.66/32.47 o 737132 36.66/32.47 o 737389 36.66/32.47 o 738023 36.66/32.47 o 738364 36.66/32.47 o 738941 36.66/32.47 o 739095 36.66/32.47 o 739352 36.66/32.47 o 740327 36.66/32.47 o 741204 36.66/32.47 o 741589 36.66/32.47 o 742821 36.66/32.47 o 743162 36.66/32.48 o 744554 36.66/32.48 o 744811 36.66/32.48 o 744895 36.66/32.48 o 745152 36.66/32.48 o 745688 36.66/32.48 o 747305 36.66/32.48 o 747646 36.66/32.48 o 748197 36.66/32.48 o 748538 36.66/32.48 o 750691 36.66/32.48 o 751032 36.66/32.48 o 751767 36.66/32.48 o 754261 36.66/32.48 o 755647 36.66/32.48 o 758141 36.66/32.49 o 758482 36.66/32.49 o 759758 36.66/32.49 o 760099 36.66/32.49 o 760356 36.66/32.49 o 760990 36.66/32.49 o 761331 36.66/32.49 o 761712 36.66/32.49 o 763523 36.66/32.49 o 764087 36.66/32.49 o 764456 36.66/32.49 o 764614 36.66/32.49 o 767108 36.66/32.49 o 769412 36.66/32.49 o 771906 36.66/32.49 o 773523 36.66/32.50 o 773780 36.66/32.50 o 774755 36.66/32.50 o 775096 36.79/32.50 o 775303 36.79/32.50 o 775839 36.79/32.50 o 776180 36.79/32.50 o 776224 36.79/32.50 o 777456 36.79/32.50 o 777797 36.79/32.50 o 777892 36.79/32.50 o 777997 36.79/32.50 o 779016 36.79/32.50 o 779273 36.79/32.51 o 779357 36.79/32.51 o 779614 36.79/32.51 o 780354 36.79/32.51 o 780695 36.79/32.51 o 782322 36.79/32.51 o 783939 36.79/32.51 o 784626 36.79/32.51 o 787120 36.79/32.51 o 788737 36.79/32.51 o 789078 36.79/32.51 o 789335 36.79/32.51 o 790287 36.79/32.51 o 790544 36.79/32.51 o 790628 36.79/32.51 o 790885 36.79/32.52 o 791625 36.79/32.52 o 791966 36.79/32.52 o 793593 36.79/32.52 o 795210 36.79/32.52 o 798391 36.79/32.52 o 800008 36.79/32.52 o 800349 36.79/32.52 o 800606 36.79/32.52 o 800885 36.79/32.52 o 801226 36.79/32.52 o 801483 36.79/32.52 o 802502 36.79/32.52 o 802759 36.79/32.52 o 802843 36.79/32.52 o 803100 36.79/32.53 o 803586 36.79/32.53 o 803927 36.79/32.53 o 805203 36.79/32.53 o 805544 36.79/32.53 o 805801 36.79/32.53 o 805896 36.79/32.53 o 806435 36.79/32.53 o 806530 36.79/32.53 o 806776 36.79/32.53 o 806871 36.79/32.53 o 807393 36.79/32.53 o 807734 36.79/32.53 o 808080 36.79/32.53 o 809697 36.79/32.54 o 810574 36.79/32.54 o 812191 36.79/32.54 o 812532 36.79/32.54 o 812627 36.79/32.54 o 812968 36.79/32.54 o 813225 36.79/32.54 o 813320 36.79/32.54 o 814420 36.79/32.54 o 814761 36.79/32.54 o 814856 36.79/32.54 o 816914 36.79/32.54 o 817009 36.79/32.54 o 817255 36.79/32.54 o 817350 36.79/32.54 o 817462 36.79/32.54 o 819615 36.79/32.55 o 819956 36.79/32.55 o 820051 36.79/32.55 o 821232 36.79/32.55 o 821327 36.79/32.55 o 821573 36.79/32.55 o 821668 36.79/32.56 o 821858 36.79/32.56 o 822199 36.79/32.56 o 822518 36.79/32.56 o 823082 36.79/32.56 o 823451 36.79/32.56 o 823913 36.79/32.56 o 824170 36.79/32.56 o 825706 36.79/32.56 o 826583 36.79/32.57 o 828200 36.79/32.57 o 829284 36.79/32.57 o 830901 36.79/32.57 o 831242 36.79/32.57 o 831337 36.79/32.57 o 831594 36.79/32.57 o 833130 36.79/32.57 o 835624 36.79/32.57 o 835831 36.79/32.57 o 838325 36.79/32.57 o 838666 36.79/32.57 o 839942 36.79/32.58 o 840283 36.79/32.58 o 840378 36.79/32.58 o 840395 36.79/32.58 o 840652 36.79/32.58 o 842188 36.79/32.58 o 844682 36.79/32.58 o 844889 36.79/32.58 o 847383 36.79/32.59 o 849000 36.79/32.59 o 849132 36.79/32.59 o 851229 36.79/32.59 o 853930 36.79/32.59 o 855547 36.79/32.59 o 856424 36.79/32.59 o 858041 36.79/32.59 o 858136 36.79/32.59 o 858382 36.79/32.59 o 858477 36.79/32.59 o 859502 36.79/32.59 o 861119 36.79/32.59 o 861996 36.79/32.59 o 863613 36.79/32.60 o 863954 36.79/32.60 o 864049 36.96/32.60 o 864268 36.96/32.60 o 864609 36.96/32.61 o 865042 36.96/32.61 o 865960 36.96/32.61 o 867139 36.96/32.61 o 867346 36.96/32.61 o 869840 36.96/32.61 o 870181 36.96/32.61 o 871457 36.96/32.61 o 871798 36.96/32.62 o 872256 36.96/32.62 o 872597 36.96/32.62 o 873873 36.96/32.62 o 874214 36.96/32.63 o 874630 36.96/32.63 o 874971 36.96/32.63 o 875161 36.96/32.63 o 876522 36.96/32.63 o 877577 36.96/32.63 o 878938 36.96/32.64 o 879695 36.96/32.64 o 880036 36.96/32.64 o 880046 36.96/32.66 o 880088 36.96/32.67 o 880504 36.96/32.67 o 880845 36.96/32.67 o 881364 36.96/32.67 o 882121 36.96/32.67 o 882462 36.96/32.67 o 882725 36.96/32.67 o 883066 36.96/32.67 o 883482 36.96/32.67 o 883823 36.96/32.67 o 884159 36.96/32.67 o 884916 36.96/32.68 o 885257 36.96/32.68 o 885502 36.96/32.68 o 885843 36.96/32.68 o 885856 36.96/32.69 o 886197 36.96/32.69 o 886215 36.96/32.69 o 886556 36.96/32.69 o 886972 36.96/32.70 o 887313 36.96/32.70 o 887649 37.16/32.70 o 888406 37.16/32.70 o 888747 37.16/32.70 o 888930 37.16/32.70 o 889346 37.16/32.70 o 889687 37.16/32.71 o 889935 37.16/32.71 o 890276 37.16/32.71 o 891404 37.16/32.72 o 892537 37.16/32.72 o 893898 37.16/32.72 o 894655 37.16/32.72 o 894996 37.16/32.72 o 895167 37.16/32.72 o 895508 37.16/32.72 o 896027 37.16/32.72 o 896784 37.16/32.72 o 897125 37.16/32.72 o 897388 37.16/32.72 o 897729 37.16/32.72 o 898145 37.16/32.72 o 898486 37.16/32.73 o 899085 37.16/32.73 o 899426 37.16/32.73 o 899589 37.16/32.73 o 899772 37.16/32.73 o 900449 37.16/32.73 o 901206 37.16/32.74 o 901582 37.16/32.74 o 902943 37.16/32.74 o 903700 37.16/32.74 o 905072 37.16/32.74 o 905829 37.16/32.74 o 906433 37.16/32.74 o 907190 37.16/32.74 o 907531 37.16/32.74 o 907714 37.16/32.74 o 908130 37.16/32.75 o 908471 37.16/32.75 o 909536 37.16/32.75 o 909614 37.16/32.75 o 910596 37.16/32.75 o 912030 37.16/32.76 o 912725 37.16/32.76 o 914086 37.16/32.76 o 914159 37.16/32.76 o 915520 37.16/32.76 o 916277 37.16/32.76 o 916618 37.16/32.76 o 917217 37.16/32.76 o 917558 37.16/32.77 o 918116 37.16/32.77 o 918793 37.16/32.77 o 919550 37.16/32.78 o 920849 37.16/32.78 o 920922 37.16/32.78 o 922283 37.16/32.78 o 923040 37.16/32.78 o 923381 37.16/32.78 o 923564 37.16/32.78 o 923980 37.16/32.78 o 924321 37.16/32.79 o 924842 37.16/32.79 o 925064 37.16/32.79 o 925924 37.16/32.79 o 926681 37.16/32.79 o 927358 37.16/32.79 o 928115 37.16/32.79 o 929414 37.30/32.80 o 929487 37.30/32.80 o 930848 37.30/32.80 o 931605 37.30/32.80 o 931788 37.30/32.80 o 932545 37.30/32.81 o 932721 37.30/32.81 o 933062 37.30/32.82 o 933111 37.30/32.82 o 933988 37.30/32.82 o 935605 37.30/32.82 o 937039 37.30/32.82 o 938035 37.30/32.82 o 938912 37.30/32.82 o 939095 37.30/32.83 o 940529 37.30/32.83 o 941286 37.30/32.83 o 941469 37.30/32.83 o 942226 37.30/32.84 o 942749 37.30/32.84 o 944110 37.30/32.84 o 944183 37.30/32.84 o 945544 37.30/32.84 o 946301 37.30/32.84 o 946484 37.30/32.84 o 947241 37.30/32.85 o 947886 37.30/32.85 o 949320 37.30/32.86 o 950077 37.30/32.86 o 950260 37.30/32.86 o 951017 37.30/32.87 o 951260 37.30/32.87 o 951516 37.30/32.87 o 952877 37.30/32.87 o 953218 37.30/32.87 o 953291 37.30/32.87 o 954311 37.30/32.87 o 954652 37.30/32.87 o 954850 37.30/32.88 o 956284 37.30/32.88 o 957419 37.30/32.88 o 957512 37.30/32.88 o 957523 37.30/32.88 o 957809 37.30/32.88 o 958598 37.30/32.88 o 958805 37.30/32.88 o 959682 37.30/32.88 o 959865 37.30/32.88 o 961299 37.30/32.89 o 961640 37.30/32.89 o 962056 37.30/32.89 o 962397 37.30/32.89 o 962996 37.30/32.89 o 963337 37.30/32.89 o 963488 37.30/32.89 o 964849 37.30/32.90 o 965013 37.42/32.90 o 965802 37.42/32.90 o 966009 37.42/32.90 o 966886 37.42/32.90 o 967069 37.42/32.90 o 968503 37.42/32.90 o 969864 37.42/32.90 o 970621 37.42/32.90 o 970804 37.42/32.90 o 971561 37.42/32.91 o 971755 37.42/32.91 o 972096 37.42/32.91 o 972392 37.42/32.91 o 972931 37.42/32.92 o 973309 37.42/32.92 o 974066 37.42/32.92 o 974488 37.42/32.92 o 975572 37.42/32.92 o 977189 37.42/32.92 o 977946 37.42/32.93 o 978019 37.42/32.93 o 978623 37.42/32.93 o 979380 37.42/32.93 o 979563 37.42/32.93 o 980320 37.42/32.94 o 980474 37.42/32.94 o 981231 37.42/32.94 o 981676 37.42/32.94 o 981859 37.42/32.94 o 982616 37.42/32.95 o 982836 37.42/32.95 o 984221 37.42/32.95 o 984270 37.42/32.95 o 985655 37.42/32.96 o 986566 37.42/32.96 o 987323 37.42/32.96 o 987352 37.42/32.96 o 987506 37.42/32.96 o 988263 37.42/32.99 o 988678 37.42/32.99 o 988861 37.42/32.99 o 989618 37.42/33.00 o 989734 37.42/33.00 o 989990 37.42/33.00 o 990440 37.42/33.00 o 991351 37.42/33.00 o 991795 37.42/33.00 o 992706 37.42/33.01 o 993229 37.53/33.01 o 994140 37.53/33.01 o 994897 37.53/33.02 o 994926 37.53/33.02 o 995080 37.53/33.02 o 995837 37.53/33.03 o 996253 37.53/33.03 o 996332 37.53/33.03 o 996776 37.53/33.03 o 997687 37.53/33.04 o 998444 37.53/33.04 o 998473 37.53/33.04 o 998627 37.53/33.04 o 999384 37.53/33.05 o 999794 37.53/33.06 o 999977 37.53/33.06 o 1000734 37.53/33.10 o 1001407 37.53/33.10 o 1001846 37.53/33.10 o 1002757 37.53/33.10 o 1003514 37.53/33.10 o 1003543 37.53/33.10 o 1003697 37.53/33.10 o 1004454 37.68/33.12 o 1004505 37.68/33.12 o 1004846 37.68/33.13 o 1005445 37.68/33.13 o 1005786 37.68/33.13 o 1006512 37.68/33.13 o 1006666 37.68/33.13 o 1007423 37.68/33.14 o 1007682 37.68/33.14 o 1008618 37.68/33.14 o 1008667 37.68/33.14 o 1008697 37.68/33.14 o 1010052 37.68/33.14 o 1011402 37.68/33.15 o 1012313 37.68/33.15 o 1013070 37.68/33.15 o 1013253 37.68/33.15 o 1014010 37.68/33.18 o 1014127 37.68/33.18 o 1014468 37.68/33.18 o 1015038 37.68/33.18 o 1015379 37.68/33.18 o 1015795 37.68/33.18 o 1016136 37.68/33.18 o 1016735 37.68/33.18 o 1017076 37.68/33.19 o 1017358 37.68/33.19 o 1018269 37.68/33.19 o 1019026 37.68/33.19 o 1019367 37.68/33.19 o 1019774 37.68/33.19 o 1020531 37.68/33.19 o 1020872 37.68/33.19 o 1021026 37.68/33.20 o 1021442 37.68/33.20 o 1021783 37.77/33.20 o 1022382 37.77/33.20 o 1022723 37.77/33.20 o 1023449 37.77/33.20 o 1023603 37.77/33.20 o 1024360 37.77/33.21 o 1024543 37.77/33.21 o 1025300 37.77/33.21 o 1025923 37.77/33.21 o 1026834 37.77/33.21 o 1027591 37.77/33.21 o 1027746 37.77/33.22 o 1028339 37.77/33.22 o 1029096 37.77/33.22 o 1029250 37.77/33.22 o 1030007 37.77/33.22 o 1030190 37.77/33.22 o 1030947 37.77/33.23 o 1031108 37.77/33.25 o 1031731 37.77/33.25 o 1032642 37.77/33.25 o 1033399 37.77/33.25 o 1034147 37.77/33.25 o 1034904 37.77/33.25 o 1035058 37.77/33.26 o 1035815 37.77/33.26 o 1035998 37.77/33.26 o 1036755 37.77/33.27 o 1037167 37.77/33.27 o 1037508 37.77/33.27 o 1037924 37.77/33.27 o 1038265 37.77/33.27 o 1038894 37.77/33.28 o 1039487 37.77/33.28 o 1040244 37.77/33.28 o 1040398 37.77/33.28 o 1041155 37.77/33.28 o 1041496 37.77/33.28 o 1041903 37.77/33.29 o 1042814 37.77/33.29 o 1043155 37.77/33.29 o 1043571 37.77/33.29 o 1043912 37.77/33.29 o 1044073 37.77/33.29 o 1044821 37.77/33.29 o 1045732 37.77/33.29 o 1046489 37.88/33.30 o 1046702 37.88/33.30 o 1048052 37.88/33.30 o 1048963 37.88/33.30 o 1049720 37.88/33.30 o 1049762 37.88/33.30 o 1049994 37.88/33.30 o 1050024 37.88/33.31 o 1050468 37.88/33.31 o 1051379 37.88/33.31 o 1052136 37.88/33.31 o 1052165 37.88/33.31 o 1052319 37.88/33.31 o 1053076 37.88/33.36 o 1053233 37.88/33.36 o 1053990 37.88/33.39 o 1054658 37.88/33.40 o 1055415 37.88/33.40 o 1055598 37.98/33.40 o 1056355 37.98/33.44 o 1057092 37.98/33.44 o 1057390 37.98/33.44 o 1057401 37.98/33.44 o 1057837 37.98/33.44 o 1057840 37.98/33.44 o 1058751 37.98/33.44 o 1059508 37.98/33.45 o 1059735 37.98/33.45 o 1059889 37.98/33.45 o 1060646 37.98/33.45 o 1060829 37.98/33.45 o 1061586 37.98/33.49 o 1061800 38.08/33.53 o 1061958 38.08/33.53 o 1062715 38.08/33.53 o 1063096 38.08/33.53 o 1063853 38.08/33.54 o 1064036 38.08/33.54 o 1064793 38.08/33.55 o 1064997 38.08/33.55 o 1065000 38.08/33.55 o 1065911 38.08/33.55 o 1066668 38.08/33.56 o 1066788 38.08/33.56 o 1066823 38.08/33.56 o 1067416 38.08/33.56 o 1068173 38.08/33.56 o 1068327 38.08/33.56 o 1069084 38.08/33.56 o 1069267 38.08/33.56 o 1070024 38.22/33.61 o 1070439 38.32/33.76 o 1070886 38.42/33.81 o 1071120 38.42/33.81 o 1071567 38.42/33.81 o 1072060 38.42/33.81 o 1072507 38.42/33.81 o 1072922 38.42/33.88 o 1072997 38.42/33.88 o 1073444 38.42/33.88 o 1073859 38.55/33.90 o 1073927 38.55/33.90 o 1073938 38.55/33.90 o 1074377 38.55/33.90 o 1074531 38.55/33.90 o 1075288 38.55/33.90 o 1075735 38.55/33.90 o 1076033 38.55/33.90 o 1076036 38.55/33.90 o 1076947 38.55/33.90 o 1077394 38.55/33.90 o 1077704 38.55/33.91 o 1078151 38.55/33.91 o 1078644 38.55/33.91 o 1079091 38.55/33.91 o 1079506 38.55/33.94 o 1079561 38.55/33.94 o 1079902 38.55/33.95 o 1080008 38.55/33.95 o 1080349 38.55/33.95 o 1080360 38.55/33.95 o 1080807 38.55/33.95 o 1081066 38.55/33.95 o 1081220 38.55/33.95 o 1081977 38.55/33.95 o 1082424 38.55/33.96 o 1082765 38.55/33.96 o 1082926 38.55/33.96 o 1082968 38.55/33.96 o 1083200 38.55/33.96 o 1083235 38.55/33.96 o 1084138 38.55/33.96 o 1084585 38.55/33.97 o 1084895 38.55/33.97 o 1085342 38.55/33.97 o 1085752 38.55/33.97 o 1086008 38.55/33.97 o 1086014 38.55/33.97 o 1086019 38.55/33.97 o 1086455 38.55/33.98 o 1086458 38.55/33.98 o 1087369 38.55/33.98 o 1088126 38.55/33.98 o 1088573 38.55/33.98 o 1088874 38.55/33.98 o 1089321 38.55/33.98 o 1089631 38.55/33.98 o 1090078 38.55/33.98 o 1090542 38.55/33.98 o 1090989 38.55/33.99 o 1091482 38.55/33.99 o 1091929 38.55/34.00 o 1092344 42.42/37.55 o 1093383 42.42/37.55 o 1094072 42.42/37.55 o 1094555 42.42/37.55 o 1095254 42.42/37.55 o 1095943 42.42/37.56 o 1096425 42.42/37.56 o 1097775 42.42/37.56 o 1098464 42.42/37.56 o 1098502 42.42/37.56 o 1099163 42.42/37.56 o 1099852 42.42/37.56 o 1100985 42.42/37.57 o 1101205 42.42/37.57 o 1102081 42.42/37.57 o 1102098 42.42/37.57 o 1102119 42.42/37.57 o 1103469 42.42/37.57 o 1103853 42.42/37.57 o 1104701 42.42/37.57 o 1105064 42.42/37.57 o 1107100 42.42/37.57 o 1108488 42.42/37.58 o 1109838 42.42/37.58 o 1110527 42.42/37.58 o 1111620 42.42/37.58 o 1112309 42.42/37.58 o 1113613 42.42/37.58 o 1113647 42.42/37.58 o 1113685 42.42/37.59 o 1115035 42.42/37.59 o 1116050 42.42/37.59 o 1117400 42.42/37.59 o 1118089 42.42/37.60 o 1118247 42.42/37.60 o 1118745 42.53/37.60 o 1119074 42.53/37.60 o 1119722 42.53/37.60 o 1121110 42.53/37.60 o 1121799 42.53/37.60 o 1122245 42.53/37.60 o 1122934 42.53/37.61 o 1123667 42.53/37.61 o 1123996 42.53/37.61 o 1126032 42.53/37.61 o 1126721 42.53/37.61 o 1127403 42.53/37.61 o 1128092 42.53/37.61 o 1128791 42.53/37.61 o 1129480 42.53/37.61 o 1130141 42.53/37.61 o 1130830 42.53/37.62 o 1130948 42.53/37.62 o 1132298 42.53/37.62 o 1132336 42.53/37.62 o 1133686 42.53/37.62 o 1134375 42.53/37.63 o 1134703 42.53/37.63 o 1135402 42.53/37.63 o 1136091 42.53/37.63 o 1136752 42.53/37.63 o 1137441 42.53/37.63 o 1137768 42.53/37.63 o 1139118 42.53/37.64 o 1139807 42.53/37.64 o 1139828 42.53/37.64 o 1140489 42.53/37.64 o 1141178 42.53/37.64 o 1141576 42.53/37.64 o 1141597 42.53/37.65 o 1142947 42.53/37.65 o 1142972 42.53/37.65 o 1143258 42.53/37.65 o 1143765 42.53/37.65 o 1144855 42.53/37.65 o 1144976 42.53/37.65 o 1146364 42.53/37.66 o 1147012 42.53/37.66 o 1148400 42.53/37.66 o 1149750 42.53/37.66 o 1150439 42.53/37.67 o 1151042 42.53/37.67 o 1151731 42.53/37.67 o 1152430 42.53/37.67 o 1153119 42.53/37.68 o 1153414 42.53/37.68 o 1154344 42.53/37.68 o 1155715 42.53/37.68 o 1155732 42.53/37.68 o 1157103 42.53/37.68 o 1158412 42.53/37.68 o 1159783 42.53/37.69 o 1160124 42.53/37.69 o 1161512 42.53/37.69 o 1162804 42.53/37.69 o 1164192 42.53/37.69 o 1165563 42.53/37.69 o 1166252 42.53/37.70 o 1166294 42.63/37.70 o 1166983 42.63/37.70 o 1168402 42.63/37.70 o 1170438 42.63/37.70 o 1171809 42.63/37.71 o 1172296 42.63/37.71 o 1173667 42.63/37.71 o 1173718 42.63/37.72 o 1176083 42.63/37.72 o 1177454 42.63/37.72 o 1178119 42.63/37.72 o 1179490 42.63/37.72 o 1179507 42.63/37.72 o 1180878 42.63/37.73 o 1181567 42.63/37.74 o 1182245 42.63/37.74 o 1183222 42.63/37.74 o 1184610 42.63/37.74 o 1185258 42.63/37.75 o 1186646 42.63/37.75 o 1187335 42.63/37.75 o 1188995 42.63/37.75 o 1189684 42.63/37.75 o 1190383 42.63/37.75 o 1191072 42.63/37.76 o 1191696 42.63/37.76 o 1193084 42.63/37.76 o 1193773 42.63/37.78 o 1195638 42.63/37.79 o 1196327 42.73/37.80 o 1196336 42.73/37.80 o 1196651 42.73/37.80 o 1196980 42.73/37.80 o 1198327 42.73/37.80 o 1199016 42.73/37.81 o 1199482 42.73/37.81 o 1200171 42.73/37.81 o 1200528 42.73/37.81 o 1201210 42.73/37.81 o 1201899 42.73/37.82 o 1201957 42.73/37.83 o 1202646 42.73/37.84 o 1203183 42.73/37.84 o 1203872 42.73/37.89 o 1204265 42.73/37.89 o 1204954 42.83/37.90 o 1205108 42.83/37.90 o 1205309 42.83/37.90 o 1206056 42.83/37.90 o 1206535 42.83/37.90 o 1207282 42.83/37.91 o 1207906 42.83/37.91 o 1208653 42.83/37.91 o 1209342 42.83/37.91 o 1209778 42.83/37.91 o 1209836 42.83/37.91 o 1210525 42.83/37.91 o 1211207 42.83/37.91 o 1211896 42.83/37.92 o 1212205 42.83/37.92 o 1212723 42.83/37.92 o 1212786 42.83/37.92 o 1213533 42.83/37.92 o 1214012 42.83/37.92 o 1214759 42.83/37.93 o 1215448 42.83/37.94 o 1215751 42.83/37.94 o 1216148 42.83/37.94 o 1216837 42.83/37.94 o 1216876 42.83/37.94 o 1217623 42.83/37.94 o 1218102 42.83/37.94 o 1218849 42.83/37.94 o 1219538 42.83/37.97 o 1219830 42.83/37.97 o 1220519 42.83/37.97 o 1220577 42.83/37.98 o 1221266 42.94/38.05 o 1221650 42.94/38.05 o 1221708 42.94/38.05 o 1222397 42.94/38.07 o 1222503 42.94/38.07 o 1222982 42.94/38.07 o 1223729 42.94/38.07 o 1224113 42.94/38.07 o 1224860 42.94/38.07 o 1225549 42.94/38.08 o 1225625 42.94/38.08 o 1226314 42.94/38.08 o 1226372 42.94/38.08 o 1227061 42.94/38.08 o 1227743 42.94/38.08 o 1228432 43.04/38.12 o 1228540 43.04/38.12 o 1228924 43.04/38.12 o 1229671 43.04/38.12 o 1230360 43.04/38.13 o 1231105 43.04/38.13 o 1231126 43.04/38.13 o 1231250 43.04/38.13 o 1231345 43.04/38.13 o 1232476 43.04/38.13 o 1233223 43.04/38.13 o 1233912 43.04/38.13 o 1234228 43.04/38.14 o 1234975 43.04/38.14 o 1235664 43.04/38.14 o 1236048 43.04/38.14 o 1236106 43.04/38.14 o 1236795 43.04/38.15 o 1237313 43.04/38.15 o 1238002 43.04/38.15 o 1238160 43.04/38.15 o 1238318 43.04/38.16 o 1239065 43.04/38.16 o 1239449 43.04/38.16 o 1240196 43.04/38.16 o 1240885 43.13/38.20 o 1241329 43.13/38.20 o 1242018 43.13/38.20 o 1242076 43.13/38.20 o 1242765 43.13/38.21 o 1242862 43.13/38.21 o 1242986 43.13/38.21 o 1243081 43.13/38.21 o 1244212 43.13/38.21 o 1244901 43.13/38.21 o 1244959 43.13/38.21 o 1245648 43.13/38.22 o 1246166 43.13/38.22 o 1246855 43.13/38.22 o 1247013 43.13/38.22 o 1247076 43.13/38.22 o 1247171 43.13/38.22 o 1248302 43.13/38.22 o 1249049 43.13/38.22 o 1249738 43.24/38.32 o 1250164 43.24/38.32 o 1250548 43.24/38.32 o 1250606 43.24/38.32 o 1251295 43.24/38.35 o 1251813 43.24/38.35 o 1252502 43.24/38.35 o 1252660 43.24/38.35 o 1252723 43.24/38.36 o 1253470 43.24/38.36 o 1253949 43.24/38.36 o 1254696 43.24/38.36 o 1255385 43.34/38.43 o 1255758 43.34/38.43 o 1256358 43.34/38.43 o 1257105 43.34/38.43 o 1257794 43.64/38.70 o 1258085 43.64/38.71 o 1258185 43.64/38.71 o 1258306 43.64/38.71 o 1258401 43.64/38.71 o 1259532 43.64/38.71 o 1260221 43.64/38.71 o 1260279 43.64/38.71 o 1260968 43.64/38.77 o 1261508 43.64/38.77 o 1262132 43.64/38.77 o 1262190 43.64/38.77 o 1262879 43.64/38.77 o 1263037 43.64/38.78 o 1263100 43.64/38.78 o 1263847 43.64/38.78 o 1264326 43.64/38.78 o 1265073 43.64/38.78 o 1265762 44.32/39.23 o 1266303 44.42/39.36 o 1266818 44.42/39.36 o 1266880 44.42/39.36 o 1267421 44.42/39.36 o 1267627 44.42/39.36 o 1268168 44.42/39.37 o 1268474 44.42/39.37 o 1269160 44.42/39.37 o 1269284 44.42/39.37 o 1269379 44.42/39.37 o 1269763 44.42/39.37 o 1269821 44.42/39.38 o 1270510 44.42/39.38 o 1271051 44.52/39.41 o 1271155 44.52/39.41 o 1271902 44.52/39.41 o 1272443 44.52/39.41 o 1272591 44.52/39.41 o 1273132 44.52/39.43 o 1273798 44.52/39.43 o 1274339 44.52/39.44 o 1274452 44.52/39.44 o 1274600 44.52/39.44 o 1275141 44.52/39.45 o 1275455 44.52/39.45 o 1275996 44.52/39.45 o 1276681 44.52/39.45 o 1277222 45.06/39.83 o 1277475 45.06/39.83 o 1277533 45.06/39.83 o 1278222 45.06/39.83 o 1278763 45.37/40.18 o 1278872 45.46/40.26 o 1279390 45.46/40.26 o 1279538 45.46/40.26 o 1280079 45.46/40.27 o 1280340 45.46/40.27 o 1280881 45.46/40.27 o 1280926 45.46/40.27 o 1281195 45.46/40.27 o 1281290 45.46/40.27 o 1281674 45.46/40.27 o 1281732 45.46/40.28 o 1282421 45.46/40.28 o 1282962 49.33/44.00 o 1283029 49.33/44.00 o 1283340 49.33/44.00 o 1284631 49.33/44.00 o 1285078 49.33/44.00 o 1285389 49.33/44.00 o 1285472 49.33/44.00 o 1285783 49.33/44.00 o 1285919 49.33/44.00 o 1286230 49.33/44.00 o 1286256 49.33/44.01 o 1286567 49.47/44.01 o 1286874 49.47/44.01 o 1287321 49.47/44.01 o 1287715 49.47/44.01 o 1288162 49.47/44.01 o 1290286 49.47/44.01 o 1291127 49.47/44.01 o 1292222 49.47/44.02 o 1293063 49.47/44.02 o 1293510 49.47/44.02 o 1293847 49.47/44.02 o 1294158 49.47/44.02 o 1294391 49.47/44.02 o 1294417 49.47/44.02 o 1294728 49.47/44.02 o 1294868 49.47/44.02 o 1294978 49.47/44.02 o 1295315 49.47/44.03 o 1295894 49.47/44.03 o 1296341 49.47/44.03 o 1297830 49.47/44.03 o 1298277 49.47/44.03 o 1299879 49.47/44.03 o 1300326 49.47/44.03 o 1300663 49.47/44.03 o 1300974 49.47/44.03 o 1303693 49.47/44.03 o 1305629 49.47/44.03 o 1305966 49.47/44.03 o 1306277 49.47/44.04 o 1306413 49.47/44.04 o 1306724 49.47/44.04 o 1306807 49.47/44.04 o 1306917 49.47/44.04 o 1307254 49.47/44.04 o 1307565 49.47/44.04 o 1308512 49.47/44.04 o 1308959 49.47/44.04 o 1309270 49.47/44.04 o 1310277 49.47/44.04 o 1310588 49.47/44.05 o 1312213 49.47/44.05 o 1312524 49.47/44.05 o 1314262 49.47/44.05 o 1314573 49.47/44.05 o 1314709 49.47/44.05 o 1315020 49.47/44.05 o 1315103 49.47/44.05 o 1315550 49.47/44.05 o 1315861 49.47/44.05 o 1315887 49.47/44.05 o 1316198 49.47/44.06 o 1316220 49.47/44.06 o 1316671 49.47/44.06 o 1317118 49.47/44.06 o 1320083 49.47/44.06 o 1322019 49.47/44.06 o 1322466 49.47/44.06 o 1322860 49.47/44.06 o 1323307 49.47/44.06 o 1323644 49.47/44.06 o 1323955 49.47/44.07 o 1324362 49.47/44.07 o 1325203 49.47/44.07 o 1325540 49.47/44.07 o 1325851 49.47/44.08 o 1325961 49.47/44.08 o 1325987 49.47/44.08 o 1326298 49.47/44.08 o 1326534 49.47/44.08 o 1326845 49.47/44.09 o 1327292 49.47/44.09 o 1327629 49.47/44.09 o 1327686 49.47/44.09 o 1328023 49.47/44.09 o 1328133 49.47/44.09 o 1328470 49.47/44.09 o 1328894 49.47/44.09 o 1329341 49.47/44.09 o 1329735 49.47/44.09 o 1330182 49.47/44.09 o 1330519 49.47/44.09 o 1330830 49.47/44.11 o 1330983 49.47/44.11 o 1331320 49.47/44.11 o 1331631 49.47/44.11 o 1332078 49.47/44.11 o 1332472 49.47/44.11 o 1332919 49.47/44.11 o 1333256 49.47/44.12 o 1333567 49.47/44.12 o 1333974 49.59/44.12 o 1334815 49.59/44.12 o 1335152 49.59/44.12 o 1335463 49.59/44.12 o 1335599 49.59/44.12 o 1335910 49.59/44.13 o 1336146 49.59/44.13 o 1336457 49.59/44.13 o 1336794 49.59/44.13 o 1337298 49.59/44.13 o 1337635 49.59/44.13 o 1337745 49.59/44.13 o 1338082 49.59/44.13 o 1338506 49.59/44.13 o 1339347 49.59/44.13 o 1339794 49.59/44.13 o 1340131 49.59/44.13 o 1340442 49.59/44.14 o 1340576 49.59/44.14 o 1340887 49.59/44.14 o 1340913 49.59/44.14 o 1341224 49.59/44.14 o 1341315 49.59/44.14 o 1343102 49.59/44.14 o 1343439 49.59/44.14 o 1343549 49.59/44.14 o 1343886 49.59/44.14 o 1345038 49.59/44.14 o 1345485 49.59/44.15 o 1345822 49.59/44.15 o 1345879 49.59/44.15 o 1346216 49.59/44.15 o 1346326 49.59/44.15 o 1346663 49.59/44.15 o 1346974 49.59/44.15 o 1347160 49.59/44.15 o 1347921 49.59/44.15 o 1348368 49.59/44.15 o 1348762 49.59/44.16 o 1349209 49.59/44.16 o 1349520 49.59/44.16 o 1351735 49.59/44.16 o 1352576 49.59/44.16 o 1353671 49.59/44.16 o 1354512 49.59/44.16 o 1354823 49.59/44.16 o 1354959 49.59/44.16 o 1355270 49.59/44.16 o 1355296 49.59/44.17 o 1355607 49.59/44.17 o 1356014 49.59/44.17 o 1356325 49.59/44.17 o 1356855 49.59/44.17 o 1357166 49.59/44.17 o 1357192 49.59/44.17 o 1357503 49.59/44.17 o 1357639 49.59/44.17 o 1357950 49.59/44.18 o 1358186 49.59/44.18 o 1358497 49.59/44.18 o 1358834 49.59/44.18 o 1359338 49.59/44.18 o 1359675 49.59/44.18 o 1359785 49.59/44.18 o 1360122 49.59/44.18 o 1360546 49.59/44.18 o 1361387 49.59/44.18 o 1361834 49.59/44.18 o 1362171 49.59/44.18 o 1362482 49.59/44.19 o 1362584 49.59/44.19 o 1362895 49.59/44.19 o 1363736 49.59/44.19 o 1364183 49.59/44.19 o 1364520 49.59/44.19 o 1364831 50.05/44.55 o 1365181 50.05/44.55 o 1365938 50.05/44.55 o 1366616 50.05/44.55 o 1367211 50.05/44.56 o 1367404 50.05/44.56 o 1367999 50.05/44.56 o 1368161 50.05/44.56 o 1368756 50.05/44.57 o 1369103 50.16/44.67 o 1369399 50.16/44.67 o 1369994 50.16/44.68 o 1370341 50.16/44.68 o 1370752 50.16/44.68 o 1370831 50.16/44.68 o 1371509 50.16/44.68 o 1371773 50.16/44.68 o 1372451 50.16/44.68 o 1372617 50.16/44.69 o 1373374 50.16/44.69 o 1373812 50.16/44.69 o 1373957 50.16/44.69 o 1374088 50.16/44.69 o 1374836 50.16/44.69 o 1374908 50.16/44.69 o 1376453 50.16/44.69 o 1377210 50.16/44.69 o 1377888 50.16/44.69 o 1378073 50.16/44.69 o 1378152 50.16/44.69 o 1378830 50.36/44.88 o 1379404 50.36/44.88 o 1379553 50.36/44.88 o 1380310 50.36/44.88 o 1380792 50.36/44.88 o 1380939 50.36/44.88 o 1381408 50.36/44.88 o 1381816 50.36/44.88 o 1381888 50.36/44.88 o 1383433 50.36/44.88 o 1384190 50.36/44.88 o 1384868 50.36/44.89 o 1385463 50.46/44.90 o 1385810 51.16/45.61 o 1386000 51.16/45.61 o 1386185 51.16/45.61 o 1386264 51.16/45.61 o 1386942 51.16/45.64 o 1386967 51.16/45.64 o 1387149 51.16/45.64 o 1387906 51.16/45.64 o 1388584 51.16/45.65 o 1388694 51.16/45.65 o 1389372 51.16/45.65 o 1389451 51.16/45.65 o 1390129 51.16/45.65 o 1390393 51.16/45.65 o 1391071 51.96/46.42 o 1391130 51.96/46.42 o 1391808 51.96/46.42 o 1392072 51.96/46.42 o 1392750 52.06/46.55 o 1392894 52.06/46.55 o 1393234 52.06/46.55 o 1393714 52.06/46.55 o 1394502 52.06/46.55 o 1395259 52.06/46.55 o 1395937 52.06/46.55 o 1396122 52.06/46.55 o 1396201 52.06/46.55 o 1396879 54.66/48.74 o 1403542 54.66/48.74 o 1405440 54.66/48.74 o 1407577 54.66/48.74 o 1409475 54.66/48.74 o 1411931 54.66/48.75 o 1413829 54.66/48.75 o 1416255 54.66/48.75 o 1418153 54.66/48.75 o 1419154 54.66/48.75 o 1419443 54.66/48.75 o 1423478 54.66/48.75 o 1425376 54.66/48.75 o 1425927 54.66/48.75 o 1425957 54.66/48.75 o 1426246 54.66/48.75 o 1430281 54.66/48.76 o 1432179 54.66/48.76 o 1433924 54.66/48.76 o 1436061 54.66/48.76 o 1437959 57.11/50.96 o 1437989 57.11/50.96 o 1438681 57.11/50.96 o 1438746 57.11/50.96 o 1439438 57.11/50.97 o 1439514 57.11/50.97 o 1440271 57.11/50.97 o 1440332 57.11/50.97 o 1441463 57.11/50.98 o 1441873 57.11/50.98 o 1443004 57.11/50.98 o 1443761 57.11/50.99 o 1444453 57.25/51.01 o 1444991 57.25/51.01 o 1445683 57.25/51.01 o 1445748 57.25/51.01 o 1446440 57.25/51.01 o 1446879 57.25/51.02 o 1447571 57.25/51.03 o 1448070 57.25/51.03 o 1448465 57.25/51.03 o 1450006 57.25/51.03 o 1450763 57.25/51.04 o 1451455 57.25/51.04 o 1451894 57.25/51.04 o 1452586 57.25/51.06 o 1452748 57.25/51.06 o 1453505 57.25/51.06 o 1453879 57.25/51.06 o 1454636 57.25/51.08 o 1456222 57.25/51.09 o 1457763 57.25/51.09 o 1458894 57.25/51.09 o 1459651 57.25/51.10 o 1460343 57.36/51.11 o 1460656 57.36/51.11 o 1461413 57.36/51.11 o 1461787 57.36/51.11 o 1462544 57.36/51.11 o 1463236 57.36/51.11 o 1463594 57.36/51.11 o 1464286 57.36/51.11 o 1464574 57.36/51.11 o 1464860 57.36/51.11 o 1465991 57.36/51.12 o 1467478 57.36/51.12 o 1468609 57.36/51.12 o 1469301 57.36/51.12 o 1469366 57.36/51.12 o 1470058 57.36/51.13 o 1470636 57.36/51.14 o 1470857 57.36/51.14 o 1471616 57.36/51.14 o 1471886 57.36/51.15 o 1473017 57.36/51.15 o 1474520 57.36/51.15 o 1475651 57.36/51.15 o 1476408 57.36/51.16 o 1477100 57.36/51.18 o 1477282 57.36/51.19 o 1477543 57.36/51.19 o 1478262 57.36/51.19 o 1478461 57.36/51.19 o 1478807 57.36/51.19 o 1479663 57.36/51.19 o 1480361 57.36/51.19 o 1480756 57.36/51.19 o 1482297 57.36/51.19 o 1483054 57.36/51.20 o 1483428 57.45/51.20 o 1484185 57.45/51.20 o 1484877 57.45/51.20 o 1484938 57.45/51.21 o 1485630 57.45/51.21 o 1486069 57.45/51.21 o 1486761 57.45/51.21 o 1486826 57.45/51.21 o 1487518 57.45/51.21 o 1488061 57.45/51.22 o 1488818 57.45/51.22 o 1489053 57.45/51.23 o 1489902 57.45/51.23 o 1490594 57.45/51.23 o 1491045 57.45/51.23 o 1491901 57.45/51.23 o 1491917 57.45/51.23 o 1492599 57.45/51.23 o 1492994 57.45/51.23 o 1493404 57.45/51.23 o 1494535 57.45/51.23 o 1495474 57.45/51.24 o 1495602 57.45/51.24 o 1495618 57.45/51.24 o 1495827 57.45/51.24 o 1496300 57.45/51.24 o 1496695 57.45/51.24 o 1498236 57.45/51.24 o 1499076 57.45/51.24 o 1499092 57.45/51.24 o 1499301 57.45/51.24 o 1499774 57.45/51.24 o 1501710 57.45/51.24 o 1503251 57.45/51.25 o 1504382 57.45/51.25 o 1505139 57.45/51.26 o 1505477 57.45/51.26 o 1506608 57.45/51.26 o 1507365 57.45/51.28 o 1507888 57.45/51.28 o 1508178 57.45/51.28 o 1508573 57.45/51.29 o 1509357 57.45/51.29 o 1510114 57.45/51.29 o 1510488 57.55/51.30 o 1511245 57.55/51.34 o 1512563 57.55/51.36 o 1512958 57.55/51.36 o 1514499 57.55/51.37 o 1515630 57.55/51.37 o 1516387 57.55/51.38 o 1516725 57.55/51.38 o 1517856 57.55/51.38 o 1518613 57.65/51.40 o 1518853 57.65/51.40 o 1519610 57.65/51.41 o 1519984 57.65/51.41 o 1520741 57.65/51.42 o 1521079 57.65/51.42 o 1522210 57.65/51.43 o 1522967 57.65/51.45 o 1523138 57.65/51.45 o 1523258 57.65/51.46 o 1523596 57.65/51.46 o 1524353 57.65/51.46 o 1524727 57.65/51.46 o 1525484 57.65/51.49 o 1525579 57.75/51.52 o 1526215 57.75/51.52 o 1526384 57.75/51.52 o 1527515 57.75/51.52 o 1527925 57.75/51.52 o 1529056 57.75/51.52 o 1529813 57.75/51.54 o 1531464 57.75/51.54 o 1533005 57.75/51.54 o 1533409 57.75/51.54 o 1533882 57.75/51.54 o 1535818 57.75/51.54 o 1537359 57.75/51.55 o 1538116 57.75/51.55 o 1538490 57.75/51.55 o 1539247 57.75/51.55 o 1539705 57.75/51.55 o 1540836 57.75/51.55 o 1541593 57.75/51.58 o 1541743 57.75/51.58 o 1542117 57.75/51.58 o 1542874 57.75/51.59 o 1543052 57.85/51.61 o 1543440 57.85/51.61 o 1544981 57.85/51.64 o 1545043 57.85/51.64 o 1545389 57.85/51.64 o 1546887 57.85/51.64 o 1546943 57.85/51.64 o 1548879 57.85/51.65 o 1550420 57.85/51.66 o 1551551 57.85/51.66 o 1552308 57.85/51.67 o 1552766 57.85/51.67 o 1553897 57.85/51.67 o 1554654 57.85/51.68 o 1554952 57.85/51.68 o 1555709 57.85/51.69 o 1556083 57.85/51.69 o 1556840 57.85/51.69 o 1557298 57.96/51.70 o 1558429 57.96/51.70 o 1559186 57.96/51.73 o 1560018 57.96/51.73 o 1560775 57.96/51.79 o 1562291 57.96/51.79 o 1563422 57.96/51.80 o 1564179 58.06/51.80 o 1564227 58.06/51.80 o 1564637 58.06/51.80 o 1565768 58.06/51.80 o 1566525 58.06/51.82 o 1567751 58.06/51.82 o 1567767 58.06/51.82 o 1568796 58.06/51.82 o 1568844 58.06/51.82 o 1570385 58.06/51.83 o 1571142 58.06/51.83 o 1571516 58.06/51.83 o 1572273 58.06/51.84 o 1572321 58.06/51.87 o 1572562 58.06/51.87 o 1572731 58.06/51.87 o 1573862 58.06/51.88 o 1574619 58.17/51.92 o 1575127 58.17/51.92 o 1576156 58.17/51.92 o 1577745 58.17/51.97 o 1579286 58.17/51.97 o 1580043 58.17/51.97 o 1580417 58.17/51.97 o 1581174 58.17/51.97 o 1581740 58.28/52.02 o 1581981 58.28/52.02 o 1583281 58.28/52.02 o 1583540 58.28/52.02 o 1583598 58.28/52.02 o 1584290 58.28/52.02 o 1585139 58.28/52.02 o 1585831 58.28/52.02 o 1586728 58.28/52.02 o 1587420 58.28/52.02 o 1588720 58.28/52.03 o 1589851 58.28/52.03 o 1590608 58.28/52.03 o 1591066 58.28/52.03 o 1592197 58.28/52.03 o 1592954 83.44/76.62 o 1593251 83.44/76.62 o 1593620 83.44/76.63 o 1593703 83.44/76.63 o 1594450 83.44/76.63 o 1594656 83.44/76.63 o 1595403 83.44/76.64 o 1595683 83.44/76.64 o 1596135 83.44/76.64 o 1597088 83.44/76.64 o 1597835 83.44/76.65 o 1597998 83.44/76.67 o 1599197 83.44/76.67 o 1600150 83.54/76.71 o 1600493 83.54/76.71 o 1600588 83.54/76.71 o 1600607 83.54/76.73 o 1600970 83.54/76.73 o 1601717 83.54/76.75 o 1602568 83.54/76.75 o 1603398 83.54/76.75 o 1604351 83.54/76.76 o 1604446 83.54/76.79 o 1605220 83.54/76.79 o 1605967 83.54/76.79 o 1606518 83.54/76.79 o 1607265 83.54/76.79 o 1607361 83.54/76.79 o 1607621 83.54/76.79 o 1608574 83.54/76.79 o 1609404 83.54/76.79 o 1610357 83.54/76.79 o 1611104 83.64/76.81 o 1611253 83.64/76.81 o 1612466 83.64/76.82 o 1612672 83.64/76.82 o 1613419 83.64/76.83 o 1613536 83.64/76.84 o 1613891 83.64/76.84 o 1614151 83.64/76.84 o 1615104 83.64/76.84 o 1615851 85.24/78.46 o 1615859 85.24/78.46 o 1615885 85.24/78.46 o 1616196 85.24/78.46 o 1616426 85.24/78.47 o 1616737 85.54/78.79 o 1616755 85.54/78.79 o 1616892 85.54/78.79 o 1616986 85.54/78.79 o 1617096 85.54/78.79 o 1617122 85.54/78.79 o 1617433 85.54/78.79 o 1617516 85.54/78.79 o 1617585 85.54/78.79 o 1617722 85.54/78.79 o 1617816 85.54/78.79 o 1617926 85.54/78.80 o 1618263 85.64/78.80 o 1618683 85.64/78.80 o 1619020 85.75/79.00 o 1621168 85.75/79.00 o 1624590 85.75/79.00 o 1625803 85.75/79.00 o 1626607 85.75/79.00 o 1627820 85.75/79.00 o 1630029 85.75/79.00 o 1631242 85.75/79.00 o 1632915 85.75/79.00 o 1634128 85.75/79.00 o 1635809 85.75/79.00 o 1638695 85.75/79.01 o 1639908 88.35/81.45 o 1640283 88.35/81.45 o 1642984 88.35/81.45 o 1645604 88.35/81.45 o 1648305 88.35/81.46 o 1649219 88.35/81.46 o 1649440 88.35/81.46 o 1652141 88.35/81.46 o 1654761 88.35/81.46 o 1657462 88.35/81.46 o 1658376 88.35/81.46 o 1663520 88.35/81.46 o 1664434 88.35/81.47 o 1666221 88.35/81.47 o 1667135 88.35/81.47 o 1668757 88.35/81.47 o 1669671 88.35/81.47 o 1670582 88.35/81.48 o 1670773 88.75/81.81 o 1676460 88.75/81.81 o 1678485 88.75/81.81 o 1682080 88.75/81.81 o 1684105 88.75/81.81 o 1685844 88.75/81.82 o 1686524 88.75/81.85 o 1687947 88.75/81.85 o 1690441 88.75/81.85 o 1691188 88.75/81.85 o 1691525 88.75/81.85 o 1693697 88.75/81.85 o 1694444 88.75/81.85 o 1694781 88.75/81.85 o 1696191 88.75/81.85 o 1696528 88.75/81.85 o 1696938 88.75/81.85 o 1697275 88.75/81.89 o 1697553 88.75/81.89 o 1698189 88.75/81.89 o 1698730 88.75/81.89 o 1698946 88.75/81.89 o 1699487 88.75/81.89 o 1699667 88.75/81.89 o 1700844 88.75/81.89 o 1701601 88.75/81.89 o 1701611 88.75/81.89 o 1703545 88.75/81.89 o 1704302 88.75/81.90 o 1704843 88.86/81.90 o 1705086 88.86/81.90 o 1705843 88.86/81.90 o 1706384 88.86/81.90 o 1706520 88.86/81.90 o 1707061 88.86/81.90 o 1707277 88.86/81.90 o 1707818 88.86/81.91 o 1708009 88.86/81.91 o 1708076 88.86/81.91 o 1708833 88.86/81.91 o 1709024 88.86/81.91 o 1709374 88.86/81.91 o 1709565 88.86/81.92 o 1709881 88.86/81.92 o 1710017 88.86/81.92 o 1710774 88.86/81.92 o 1711315 88.86/81.92 o 1711898 88.86/81.92 o 1712439 88.86/81.92 o 1713439 88.86/81.92 o 1713980 88.86/81.92 o 1715373 88.86/81.92 o 1715914 88.86/81.92 o 1716130 88.86/81.92 o 1716671 88.86/81.93 o 1716929 88.86/81.93 o 1717686 88.86/81.93 o 1718227 88.86/81.93 o 1718418 88.86/82.00 o 1720739 88.86/82.00 o 1721801 88.86/82.00 o 1725595 88.86/82.00 o 1726657 88.86/82.00 o 1728725 88.86/82.01 o 1729787 88.97/82.03 o 1731221 88.97/82.07 o 1732097 88.97/82.07 o 1734462 88.97/82.07 o 1737905 88.97/82.07 o 1740270 88.97/82.07 o 1741017 88.97/82.07 o 1741558 88.97/82.10 o 1741814 88.97/82.10 o 1742595 88.97/82.10 o 1747387 88.97/82.10 o 1749583 88.97/82.10 o 1754375 88.97/82.10 o 1754712 88.97/82.10 o 1756085 88.97/82.10 o 1756422 88.97/82.10 o 1760877 88.97/82.10 o 1761214 89.07/82.13 o 1761946 89.07/82.13 o 1762487 89.07/82.13 o 1765522 89.07/82.13 o 1766063 89.07/82.13 o 1766363 89.07/82.13 o 1766904 89.19/82.28 o 1766924 89.19/82.28 o 1767681 89.19/82.28 o 1768429 89.19/82.28 o 1769340 89.19/82.28 o 1770097 89.29/82.30 o 1770228 89.29/82.31 o 1770451 89.29/82.31 o 1771433 89.29/82.31 o 1772190 89.29/82.31 o 1772961 89.29/82.31 o 1773718 89.29/82.31 o 1773872 89.29/82.31 o 1774629 89.29/82.32 o 1775310 89.29/82.32 o 1776067 89.69/82.77 o 1776476 89.69/82.77 o 1778412 89.69/82.77 o 1778859 89.69/82.77 o 1778860 89.69/82.77 o 1780349 89.69/82.77 o 1780796 89.69/82.77 o 1781570 89.69/82.77 o 1783410 89.69/82.77 o 1785346 89.69/82.78 o 1785793 89.69/82.78 o 1786371 89.69/82.78 o 1786818 89.69/82.79 o 1787868 89.69/82.79 o 1790660 89.69/82.80 o 1792596 89.79/82.80 o 1793043 89.79/82.80 o 1793621 89.79/82.80 o 1794068 89.79/82.83 o 1795549 89.79/82.83 o 1796229 89.79/82.84 o 1799272 89.79/82.84 o 1801768 89.79/82.85 o 1802448 89.79/82.85 o 1803052 89.79/82.85 o 1803732 89.79/82.85 o 1805302 89.79/82.85 o 1807798 89.79/82.85 o 1808478 89.79/82.86 o 1812034 89.79/82.86 o 1812714 89.79/82.87 o 1814301 89.79/82.87 o 1818064 89.79/82.88 o 1818744 89.79/82.89 o 1820560 89.79/82.89 o 1821240 89.79/82.89 o 1821378 89.89/82.90 o 1823194 89.89/82.90 o 1823874 89.89/82.94 o 1824702 89.89/82.94 o 1824816 89.89/82.94 o 1825727 89.89/82.97 o 1825757 89.89/82.97 o 1827346 89.89/82.97 o 1828391 89.89/82.97 o 1829980 89.89/82.97 o 1830406 89.89/82.97 o 1831995 91.25/84.25 o 1832055 91.25/84.27 o 1833007 91.25/84.27 o 1833198 91.25/84.28 o 1833998 91.25/84.28 o 1836414 91.25/84.29 o 1837799 91.25/84.29 o 1837990 91.35/84.31 o 1838342 91.35/84.31 o 1838533 91.35/84.31 o 1839727 91.35/84.31 o 1839918 91.35/84.33 o 1840449 91.35/84.33 o 1841834 91.35/84.34 o 1842025 92.90/85.71 o 1842723 92.90/85.71 o 1844108 92.90/85.71 o 1844204 92.90/85.71 o 1845728 92.90/85.71 o 1847113 92.90/85.71 o 1848463 92.90/85.71 o 1850083 92.90/85.71 o 1851468 92.90/85.71 o 1851607 92.90/85.71 o 1852992 92.90/85.77 o 1853307 92.90/85.77 o 1853380 92.90/85.78 o 1854221 92.90/85.78 o 1854646 92.90/85.78 o 1854707 92.90/85.78 o 1855012 92.90/85.78 o 1855058 92.90/85.78 o 1855220 92.90/85.78 o 1855532 92.90/85.78 o 1856446 92.90/85.78 o 1856652 92.90/85.78 o 1856860 92.90/85.78 o 1858086 92.90/85.78 o 1859000 92.90/85.78 o 1859841 92.90/85.79 o 1860183 92.90/85.79 o 1861008 92.90/85.80 o 1861922 92.90/85.80 o 1862763 93.07/85.80 o 1863092 93.07/85.81 o 1863686 93.07/85.81 o 1863918 93.07/85.82 o 1865148 93.07/85.82 o 1865989 93.07/85.83 o 1866414 93.07/85.83 o 1867514 93.07/85.83 o 1868214 93.07/85.83 o 1868403 93.07/85.83 o 1868732 93.07/85.83 o 1869029 93.07/85.83 o 1869334 93.07/85.83 o 1870768 93.07/85.84 o 1871609 93.07/85.84 o 1871682 93.07/85.84 o 1872523 93.07/85.84 o 1872908 93.07/85.84 o 1873749 93.07/85.84 o 1874496 93.07/85.84 o 1875040 93.07/85.85 o 1875134 93.07/85.85 o 1875881 93.07/85.88 o 1876213 93.07/85.88 o 1878847 93.07/85.88 o 1880436 93.07/85.89 o 1882238 93.07/85.89 o 1883827 93.20/85.90 o 1884955 93.20/85.90 o 1887589 93.20/85.90 o 1889178 93.41/86.19 o 1894700 93.41/86.19 o 1897196 93.41/86.19 o 1898946 93.41/86.19 o 1901442 93.50/86.22 o 1905306 93.50/86.22 o 1906740 93.50/86.22 o 1907420 93.50/86.22 o 1911241 93.50/86.22 o 1911921 93.50/86.22 o 1912675 93.50/86.22 o 1913355 93.50/86.23 o 1914495 93.50/86.23 o 1915929 93.50/86.23 o 1916609 93.50/86.25 o 1916900 93.50/86.25 o 1921254 93.50/86.25 o 1922688 93.50/86.28 o 1923339 93.50/86.29 o 1923881 93.50/86.29 o 1924628 93.50/86.29 o 1925926 93.50/86.29 o 1928627 93.50/86.29 o 1928938 93.50/86.29 o 1929374 93.50/86.29 o 1929685 93.63/86.32 o 1929788 93.63/86.32 o 1931034 93.63/86.32 o 1932468 93.73/86.41 o 1933242 93.73/86.41 o 1933689 93.73/86.41 o 1934831 93.73/86.41 o 1935278 109.93/102.43 o 1936184 109.93/102.43 o 1936631 109.93/102.43 o 1938864 109.93/102.43 o 1939311 109.93/102.49 o 1940339 109.93/102.49 o 1941281 109.93/102.49 o 1941472 109.93/102.50 o 1942875 109.93/102.50 o 1943817 110.06/102.50 o 1944008 110.06/102.53 o 1944972 110.06/102.53 o 1945419 110.06/102.53 o 1946006 110.06/102.54 o 1946453 110.06/102.56 o 1948069 110.06/102.57 o 1948980 110.06/102.57 o 1950575 110.06/102.57 o 1951486 110.29/102.70 o 1951991 110.29/102.70 o 1952438 110.29/102.70 o 1952832 110.29/102.70 o 1953279 110.29/102.70 o 1953746 110.29/102.71 o 1954193 110.29/102.71 o 1954530 110.40/102.80 o 1954946 110.40/102.80 o 1956357 110.40/102.80 o 1957037 110.92/103.31 o 1957692 110.92/103.32 o 1957883 110.92/103.32 o 1958139 110.92/103.32 o 1958330 110.92/103.32 o 1958341 110.92/103.33 o 1959182 110.92/103.33 o 1959629 110.92/103.33 o 1959759 110.92/103.33 o 1959939 110.92/103.33 o 1960386 110.92/103.33 o 1960687 110.92/103.33 o 1961528 110.92/103.33 o 1961975 110.92/103.34 o 1962166 131.37/123.65 o 1962443 131.37/123.65 o 1962501 131.37/123.65 o 1963258 131.37/123.65 o 1963329 131.37/123.65 o 1964240 131.37/123.65 o 1964997 131.37/123.65 o 1965039 131.37/123.65 o 1965193 131.37/123.65 o 1965950 131.37/123.67 o 1966381 131.37/123.67 o 1967209 131.37/123.67 o 1968120 131.37/123.68 o 1968162 131.37/123.68 o 1969073 131.37/123.68 o 1969830 131.48/123.74 o 1971614 131.48/123.77 o 1973311 131.48/123.77 o 1974253 131.48/123.77 o 1977665 131.48/123.77 o 1978607 131.48/123.77 o 1979448 133.85/126.02 o 1980273 133.85/126.02 o 1980953 133.85/126.02 o 1981184 133.85/126.02 o 1981864 133.85/126.08 o 1982037 133.85/126.09 o 1982484 133.96/126.11 o 1982834 133.96/126.11 o 1983049 133.96/126.11 o 1983659 133.96/126.12 o 1984573 133.96/126.15 o 1985020 133.96/126.16 o 1985340 133.96/126.16 o 1985626 133.96/126.16 o 1986004 133.96/126.16 o 1986918 133.96/126.16 o 1987365 133.96/126.17 o 1987446 133.96/126.17 o 1987893 133.96/126.17 o 1988360 133.96/126.17 o 1988807 134.05/126.24 o 1988904 134.05/126.25 o 1988924 134.05/126.25 o 1989534 134.05/126.25 o 1990448 134.05/126.26 o 1990762 134.05/126.26 o 1991233 134.05/126.26 o 1991519 134.05/126.26 o 1991669 134.05/126.26 o 1991734 134.05/126.26 o 1992344 134.05/126.26 o 1993258 134.05/126.28 o 1993438 134.05/126.28 o 1994880 134.15/126.30 o 1995794 134.15/126.31 o 1996131 134.15/126.31 o 1996171 134.15/126.31 o 1996642 134.15/126.32 o 1996928 134.15/126.32 o 1997078 134.15/126.32 o 1997143 134.15/126.32 o 1998667 134.15/126.32 o 1999581 134.15/126.35 o 2000028 134.15/126.37 o 2000154 134.15/126.37 o 2000601 134.15/126.39 o 2000682 134.15/126.39 o 2001596 134.15/126.39 o 2002043 155.34/147.12 o 2002790 155.34/147.12 o 2003537 155.34/147.13 o 2004217 155.34/147.13 o 2004479 155.34/147.13 o 2005159 155.43/147.21 o 2005284 155.43/147.21 o 2006031 155.43/147.22 o 2006226 155.43/147.22 o 2006973 155.43/147.22 o 2007653 155.53/147.30 o 2008868 155.53/147.30 o 2009179 155.53/147.30 o 2010893 155.53/147.30 o 2011204 155.53/147.30 o 2011650 155.53/147.31 o 2011961 155.53/147.33 o 2013937 155.53/147.34 o 2014694 155.53/147.34 o 2015005 155.53/147.34 o 2015141 155.53/147.35 o 2015452 155.53/147.36 o 2016673 155.53/147.36 o 2017430 155.53/147.36 o 2017692 155.53/147.38 o 2017766 155.53/147.38 o 2019717 155.53/147.38 o 2020474 155.53/147.39 o 2020921 155.64/147.40 o 2021232 155.64/147.42 o 2022281 155.64/147.42 o 2022728 155.64/147.42 o 2023038 155.64/147.42 o 2023485 155.64/147.42 o 2023796 155.64/147.42 o 2024232 155.64/147.49 o 2024706 155.64/147.49 o 2025017 155.64/147.49 o 2028555 155.64/147.49 o 2031256 155.74/147.50 o 2031567 155.74/147.50 o 2032488 155.74/147.50 o 2032799 155.74/147.57 o 2033313 155.74/147.57 o 2034154 155.74/147.57 o 2034695 155.74/147.57 o 2035249 155.74/147.57 o 2035790 155.74/147.57 o 2036090 155.74/147.57 o 2036631 155.74/147.58 o 2036772 155.74/147.58 o 2037323 155.74/147.59 o 2037867 155.74/147.59 o 2038708 155.84/147.61 o 2039249 155.84/147.65 o 2041736 155.84/147.66 o 2042047 155.84/147.66 o 2042277 155.84/147.66 o 2042588 156.27/148.10 o 2043035 156.37/148.19 o 2043171 156.48/148.21 o 2044137 156.48/148.21 o 2045051 156.48/148.21 o 2045808 156.48/148.22 o 2047211 156.48/148.22 o 2047968 156.48/148.22 o 2050216 156.48/148.22 o 2050973 156.48/148.22 o 2051130 156.48/148.22 o 2051887 177.53/168.75 o 2053098 177.53/168.76 o 2058185 177.53/168.78 o 2060679 179.06/170.22 o 2060706 179.06/170.22 o 2061201 179.06/170.22 o 2061648 179.06/170.22 o 2062195 179.06/170.22 o 2062296 179.06/170.22 o 2063137 179.06/170.22 o 2063584 179.06/170.23 o 2063884 179.06/170.23 o 2064331 179.18/170.31 o 2064887 179.18/170.31 o 2065078 179.28/170.42 o 2065412 179.28/170.44 o 2065486 179.28/170.44 o 2065953 179.28/170.44 o 2066400 179.28/170.44 o 2066631 179.28/170.44 o 2067078 179.28/170.44 o 2067311 179.28/170.44 o 2067758 179.38/170.56 o 2068966 179.38/170.56 o 2069997 179.80/170.94 o 2071807 179.80/170.94 o 2075352 205.18/195.79 o 2075860 205.18/195.80 o 2076349 205.18/195.80 o 2080086 205.28/195.80 o 2081610 205.28/195.83 o 2082024 205.28/195.84 o 2082983 205.28/195.85 o 2083472 205.28/195.85 o 2088733 205.28/195.88 o 2090257 205.39/195.92 o 2092660 205.39/195.94 o 2097921 246.98/236.40 o 2101306 246.98/236.40 o 2101442 246.98/236.40 o 2104907 246.98/236.40 o 2105591 246.98/236.43 o 2110942 246.98/236.43 o 2111078 247.08/236.55 o 2111933 247.08/236.55 o 2112774 247.70/237.11 o 2113046 247.70/237.11 o 2113304 249.24/238.65 o 2114562 249.24/238.65 o 2116200 249.24/238.65 o 2118916 249.55/238.98 o 2118918 249.55/238.98 o 2120092 249.55/239.01 o 2120933 249.66/239.03 o 2121020 249.66/239.03 o 2121861 249.66/239.03 o 2122875 249.66/239.03 o 2123716 249.66/239.09 o 2123786 249.87/239.27 o 2124627 250.19/239.54 o 2124730 250.19/239.55 o 2126146 250.19/239.55 o 2127735 252.75/242.02 o 2127838 252.75/242.02 o 2128679 252.75/242.02 o 2129312 252.75/242.02 o 2130265 252.75/242.02 o 2131106 280.76/268.90 o 2131134 280.76/268.91 o 2131270 280.76/268.91 o 2131445 280.76/268.91 o 2131581 280.97/269.11 o 2131606 280.97/269.11 o 2132680 280.97/269.11 o 2132991 280.97/269.11 o 2133360 280.97/269.11 o 2133671 281.16/269.37 o 2133807 281.26/269.40 o 2134339 281.26/269.40 o 2134475 281.26/269.40 o 2134650 281.26/269.40 o 2134786 296.41/284.26 o 2135958 296.41/284.26 o 2139900 299.07/286.85 o 2139984 299.07/286.85 o 2140120 299.78/287.54 o 2140321 299.78/287.54 o 2140457 299.78/287.54 o 2142263 299.78/287.55 o 2142943 299.78/287.55 o 2143621 299.78/287.55 o 2143697 299.78/287.56 o 2144377 299.78/287.56 o 2145055 299.78/287.56 o 2145596 299.78/287.56 o 2145732 300.19/288.00 o 2146422 300.19/288.00 o 2147169 300.19/288.00 o 2148449 300.19/288.00 o 2153464 300.31/288.01 o 2154211 300.31/288.02 o 2154889 300.71/288.50 o 2155078 303.16/290.89 o 2156090 303.26/290.95 o 2157462 303.26/290.95 o 2159201 303.26/290.96 o 2159360 303.26/290.96 o 2161099 303.26/290.98 o 2162640 303.26/290.98 o 2164051 303.26/290.98 o 2164362 305.74/293.32 o 2164901 305.74/293.32 o 2165037 305.74/293.32 o 2165065 305.74/293.32 o 2165812 305.74/293.32 o 2165948 305.74/293.32 o 2166476 305.74/293.32 o 2166612 305.74/293.32 o 2167223 305.74/293.32 o 2167359 305.84/293.40 o 2167513 305.84/293.40 o 2167527 305.84/293.40 o 2167831 305.84/293.40 o 2168318 305.84/293.40 o 2168818 305.84/293.40 o 2168982 305.84/293.40 o 2169729 305.84/293.40 o 2169865 311.30/298.70 o 2170322 318.05/305.32 o 2170701 318.05/305.32 o 2173228 318.05/305.32 o 2174817 318.05/305.35 o 2175232 318.05/305.36 o 2176683 318.05/305.36 o 2177130 318.05/305.36 o 2177795 318.05/305.36 o 2179693 318.05/305.36 o 2180475 318.05/305.36 o 2182373 318.05/305.36 o 2182820 319.59/306.87 o 2183396 319.59/306.87 o 2183710 319.59/306.87 o 2184309 319.59/306.87 o 2185251 319.59/306.87 o 2186762 319.59/306.88 o 2187273 319.59/306.88 o 2187443 319.59/306.88 o 2187757 319.59/306.88 o 2189298 319.59/306.88 o 2190240 319.80/307.04 o 2190817 319.80/307.04 o 2191006 319.90/307.18 o 2192455 319.90/307.18 o 2192967 319.90/307.18 o 2199164 320.21/307.46 o 2199402 320.21/307.46 o 2201937 320.21/307.46 o 2202848 320.21/307.46 o 2203633 320.21/307.46 o 2204544 320.21/307.46 o 2205041 320.21/307.46 o 2205668 320.21/307.47 o 2208487 320.21/307.47 o 2210183 320.21/307.47 o 2211094 321.23/308.45 o 2211789 321.95/309.12 o 2211840 321.95/309.12 o 2211893 321.95/309.12 o 2212340 321.95/309.12 o 2212804 321.95/309.12 o 2213251 322.04/309.26 o 2213620 322.04/309.26 o 2213651 322.04/309.26 o 2214562 322.04/309.28 o 2215062 322.16/309.31 o 2215973 322.16/309.33 o 2216833 322.16/309.33 o 2217362 322.16/309.33 o 2217389 322.16/309.33 o 2217819 322.16/309.33 o 2217850 322.16/309.33 o 2218761 322.16/309.33 o 2219261 322.16/309.34 o 2220172 322.26/309.40 o 2220619 322.26/309.43 o 2220640 322.26/309.43 o 2221070 322.26/309.43 o 2221101 322.26/309.43 o 2222012 322.26/309.43 o 2222512 322.26/309.43 o 2223423 322.26/309.43 o 2223870 322.26/309.45 o 2223901 322.26/309.45 o 2224348 322.26/309.45 o 2224358 322.26/309.45 o 2225769 322.26/309.46 o 2226711 322.26/309.46 o 2227158 322.26/309.48 o 2227622 322.37/309.50 o 2228069 326.39/313.46 o 2228148 356.84/343.19 o 2228151 356.84/343.19 o 2228354 356.84/343.20 o 2228412 356.84/343.20 o 2229101 356.93/343.20 o 2229169 356.93/343.20 o 2229858 356.93/343.20 o 2230049 357.56/343.84 o 2230071 357.56/343.84 o 2230751 357.56/343.84 o 2230818 357.56/343.84 o 2231498 381.13/366.83 o 2232071 381.13/366.83 o 2232382 381.13/366.86 o 2232578 381.13/366.86 o 2233520 381.13/366.86 o 2233831 382.38/368.00 o 2233901 382.38/368.00 o 2234037 384.22/369.74 o 2237828 384.22/369.74 o 2239611 386.88/372.32 o 2239661 393.05/378.31 o 2241737 393.05/378.32 o 2241873 393.37/378.62 o 2243773 393.37/378.69 o 2243909 396.12/381.31 o 2244201 396.22/381.40 o 2244313 396.22/381.41 o 2245908 396.22/381.41 o 2246819 396.32/381.51 o 2246955 396.42/381.64 o 2248343 430.85/414.92 o 2248515 430.85/414.92 o 2249275 430.85/414.92 o 2249964 430.85/414.92 o 2251300 430.85/414.92 o 2251989 430.85/414.92 o 2252889 430.85/414.92 o 2253578 444.78/428.58 o 2258447 444.78/428.58 o 2258647 444.78/428.58 o 2259571 444.78/428.58 o 2264526 493.68/476.37 o 2264995 493.68/476.37 o 2265752 502.78/485.22 o 2265899 502.78/485.23 o 2266449 512.06/494.23 o 2266979 512.06/494.23 o 2267168 512.06/494.23 o 2267170 512.06/494.23 o 2267359 512.56/494.76 o 2268171 512.56/494.77 o 2268362 512.56/494.77 o 2269605 512.56/494.77 o 2269796 513.09/495.21 o 2271015 513.09/495.25 o 2271880 513.09/495.26 o 2271942 513.09/495.26 o 2272777 513.09/495.26 o 2272864 513.09/495.26 o 2273126 513.09/495.26 o 2274560 513.09/495.26 o 2274751 513.09/495.26 o 2274940 515.34/497.44 o 2275210 515.34/497.44 o 2276799 515.44/497.58 o 2277546 515.64/497.78 o 2278354 515.64/497.78 o 2279160 515.64/497.78 o 2281794 515.64/497.78 o 2283383 515.64/497.78 o 2284130 523.63/505.51 o 2284241 524.34/506.22 o 2285335 524.34/506.23 o 2286542 524.34/506.23 o 2287953 524.34/506.23 o 2290948 524.34/506.23 o 2293566 524.34/506.23 o 2294977 541.41/522.24 o 2299008 541.41/522.24 o 2300396 541.41/522.24 o 2301076 547.84/528.54 o 2301503 547.84/528.54 o 2301526 547.84/528.54 o 2302914 548.64/529.39 o 2302957 548.64/529.39 o 2303306 548.64/529.39 o 2303329 548.64/529.39 o 2304740 548.96/529.66 o 2305865 549.06/529.77 o 2307276 549.26/529.93 o 2308664 550.40/531.07 o 2309866 550.50/531.12 o 2311112 550.50/531.12 o 2312500 555.01/535.52 o 2313313 555.01/535.52 o 2314008 558.59/539.08 o 2314107 558.59/539.08 o 2314138 558.59/539.08 o 2314858 558.59/539.08 o 2315049 558.59/539.09 o 2315327 558.59/539.09 o 2315358 558.59/539.09 o 2316269 558.59/539.09 o 2316460 558.59/539.09 o 2316649 580.76/560.43 o 2317564 580.76/560.46 o 2319182 580.76/560.46 o 2319929 580.76/560.46 o 2320609 580.76/560.46 o 2321207 580.76/560.46 o 2321887 580.76/560.46 o 2321954 580.76/560.46 o 2322634 590.44/569.81 o 2323763 590.44/569.81 o 2323824 590.44/569.81 o 2325174 590.44/569.81 o 2325637 590.44/569.81 o 2325808 590.44/569.81 o 2325965 590.44/569.81 o 2327376 590.44/569.81 o 2328726 590.44/569.81 o 2328984 598.01/577.20 o 2330397 598.01/577.25 o 2330533 598.11/577.30 o 2331628 598.11/577.30 o 2331764 598.11/577.30 o 2333077 598.11/577.30 o 2333213 598.21/577.46 o 2334074 598.31/577.56 o 2334876 598.31/577.56 o 2335748 598.31/577.57 o 2335901 598.31/577.57 o 2336860 598.31/577.57 o 2336979 598.31/577.57 o 2338428 598.41/577.62 o 2338564 598.92/578.11 o 2338946 598.92/578.11 o 2339376 598.92/578.11 o 2340065 598.92/578.11 o 2340358 598.92/578.11 o 2340402 598.92/578.11 o 2341313 598.92/578.11 o 2342070 598.92/578.11 o 2342515 598.92/578.11 o 2343272 598.92/578.11 o 2345042 598.92/578.11 o 2345799 598.92/578.11 o 2346825 598.92/578.11 o 2347582 598.92/578.12 o 2347736 598.92/578.12 o 2348493 598.92/578.12 o 2349182 598.92/578.12 o 2349651 598.92/578.12 o 2349719 598.92/578.12 o 2350408 655.26/633.15 o 2351252 655.26/633.16 o 2351699 655.26/633.16 o 2351890 664.70/642.04 o 2352209 664.70/642.04 o 2352757 664.70/642.04 o 2354206 664.70/642.04 o 2355432 664.70/642.04 o 2356510 664.70/642.04 o 2356733 664.70/642.04 o 2357959 675.58/652.69 o 2358388 675.58/652.69 o 2359068 698.69/675.26 o 2359317 698.69/675.26 o 2359997 700.82/677.31 o 2361997 701.22/677.77 o 2362677 701.53/678.09 o 2362866 703.15/679.60 o 2362916 703.15/679.60 o 2365452 703.15/679.60 o 2366901 708.77/685.15 o 2367123 708.77/685.15 o 2367314 709.06/685.42 o 2368712 709.17/685.55 o 2368903 712.67/689.00 o 2369064 712.88/689.18 o 2371765 713.07/689.36 o 2373153 713.07/689.36 o 2373329 713.30/689.50 o 2374548 713.30/689.50 o 2375936 713.30/689.50 o 2376112 713.40/689.65 o 2378099 713.40/689.65 o 2378794 721.79/697.87 o 2378954 721.79/697.87 o 2379145 721.79/697.87 o 2379711 721.79/697.87 o 2379902 721.79/697.87 o 2380502 721.79/697.87 o 2381156 721.79/697.87 o 2381913 721.79/697.87 o 2382104 729.86/705.76 o 2384355 729.86/705.76 o 2384491 729.86/705.76 o 2384531 729.86/705.76 o 2384667 765.23/740.22 o 2389229 765.23/740.22 o 2391012 765.23/740.22 o 2391180 765.23/740.22 o 2392963 913.91/884.63 o 2393162 913.91/884.63 o 2393424 913.91/884.63 o 2394104 913.91/884.63 o 2394992 913.91/884.63 o 2395672 913.91/884.63 o 2395903 913.91/884.63 o 2396583 967.34/936.79 o 2396718 967.34/936.79 o 2397475 967.34/936.79 o 2398170 967.34/936.79 o 2398351 967.34/936.79 o 2398442 967.34/936.79 o 2398623 1050.60/1017.71 o 2398816 1050.60/1017.71 o 2400980 1050.60/1017.71 o 2405013 1050.60/1017.71 o 2405301 1050.60/1017.71 o 2406469 1050.60/1017.71 o 2411498 1050.60/1017.71 o 2415531 1053.00/1020.07 o 2417035 1053.00/1020.07 o 2417730 1053.49/1020.53 o 2418448 1053.49/1020.53 o 2422109 1053.49/1020.53 o 2424645 1053.49/1020.53 o 2425340 1075.31/1041.88 o 2425743 1075.31/1041.88 o 2426654 1078.78/1045.26 o 2427191 1078.78/1045.26 o 2428640 1084.81/1051.14 o 2429901 1112.19/1077.80 o 2430647 1150.37/1115.08 o 2431069 1150.66/1115.38 o 2433134 1150.66/1115.38 o 2433814 1150.66/1115.38 o 2434917 1150.66/1115.38 o 2435597 1150.66/1115.38 o 2435859 1150.66/1115.38 o 2436539 1150.66/1115.38 o 2436815 1150.66/1115.39 o 2437757 1150.66/1115.39 o 2438437 1150.66/1115.39 o 2439017 1150.66/1115.39 o 2439697 1150.66/1115.39 o 2439959 1150.66/1115.39 o 2440639 1150.87/1115.58 o 2441220 1150.87/1115.58 o 2441900 1151.27/1115.98 o 2441950 1151.27/1115.98 o 2442892 1151.27/1115.98 o 2443848 1151.27/1115.98 o 2444790 1151.27/1115.98 o 2446050 1151.27/1115.98 o 2446992 1151.27/1115.98 o 2447311 1151.27/1115.98 o 2448253 1151.27/1115.98 o 2448933 1161.49/1125.42 o 2450942 1161.49/1125.42 o 2452353 1258.99/1220.68 o 2452400 1258.99/1220.68 o 2453023 1258.99/1220.68 o 2453937 1258.99/1220.69 o 2454842 1258.99/1220.69 o 2457058 1258.99/1220.69 o 2457972 1260.69/1222.30 o 2458763 1260.69/1222.31 o 2459401 1260.69/1222.31 o 2461884 1260.69/1222.31 o 2462798 1261.03/1222.62 o 2463069 1261.03/1222.62 o 2464100 1261.03/1222.62 o 2465014 1261.03/1222.62 o 2465271 1262.93/1224.54 o 2466341 1262.93/1224.54 o 2466532 1263.10/1224.68 o 2467446 1268.25/1229.74 o 2468030 1268.25/1229.75 o 2468477 1289.13/1249.69 o 2469218 1289.23/1249.80 o 2469330 1289.23/1249.80 o 2470448 1289.33/1249.80 o 2471836 1328.48/1288.19 o 2472025 1328.48/1288.19 o 2472714 1328.48/1288.19 o 2472866 1328.48/1288.19 o 2473555 1328.48/1288.19 o 2473642 1328.48/1288.20 o 2474483 1328.48/1288.20 o 2475172 1461.58/1417.66 o 2475953 1462.86/1418.82 o 2476500 1462.86/1418.82 o 2477341 1464.66/1420.66 o 2478394 1464.66/1420.66 o 2479083 1466.72/1422.60 o 2480347 1541.46/1495.51 o 2480877 1572.57/1525.48 o 2482156 1775.98/1723.40 o 2487260 2020.48/1960.88 o 2487629 2020.69/1961.05 o 2492130 2020.69/1961.05 o 2493564 2400.07/2329.50 s SATISFIABLE 2400.07/2329.50 v <instantiation> 2400.07/2329.50 v <list> 2400.07/2329.50 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2400.07/2329.51 v </list> 2400.07/2329.51 v <values> 2400.07/2329.51 v 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 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 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 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 1 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 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 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 0 0 1 1 1 0 0 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2400.07/2329.51 v </values> 2400.07/2329.51 v </instantiation>
OK 2493564
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 (9524 MiB free) memory of node 1: 16384 MiB (14735 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291771-1532261363/watcher-4291771-1532261363 -o /tmp/evaluation-result-4291771-1532261363/solver-4291771-1532261363 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2533 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 924652506 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291771-1532261363.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2655, runsolver pid=2652 Current StackSize limit: 8192 KiB [startup+0.10008 s]* /proc/loadavg: 0.71 0.65 0.79 4/218 2670 /proc/meminfo: memFree=24826352/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14082740 memory=33428 CPUtime=0.11 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 7296 0 0 0 10 1 0 0 20 0 15 0 43699466 14420725760 8357 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3520685 8357 3136 1 0 3482761 0 [pid=2655/tid=2657] ppid=2652 vsize=14082740 memory=-8393406194699302080 CPUtime=0.09 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 5362 0 0 0 8 1 0 0 20 0 15 0 43699466 14420725760 8357 33554432000 4194304 4196468 140720881296032 140538373015952 140538352870750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 8357 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 8357 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 8357 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 8357 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699468 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699469 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537909372320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699469 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537908319728 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0.01 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) R 2652 2655 2501 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 43699471 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537836321008 140538347490464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699472 14420725760 8357 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 33428 KiB [startup+0.217573 s]* /proc/loadavg: 0.71 0.65 0.79 5/218 2670 /proc/meminfo: memFree=24817884/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14082740 memory=47176 CPUtime=0.32 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 10408 0 0 0 30 2 0 0 20 0 15 0 43699466 14420725760 11794 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3520685 11794 3380 1 0 3482761 0 [pid=2655/tid=2657] ppid=2652 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 8127 0 0 0 19 1 0 0 20 0 15 0 43699466 14420725760 11794 33554432000 4194304 4196468 140720881296032 140538373022528 140538352870750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 11794 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14082740 memory=140536916922848 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 11794 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 11794 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 11794 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43699468 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699469 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537909372320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699469 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537908319728 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 43699471 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 43699471 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0.06 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) R 2652 2655 2501 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 15 0 43699471 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537836321008 140538347744168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699472 14420725760 11794 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 47176 KiB [startup+0.310607 s]* /proc/loadavg: 0.71 0.65 0.79 3/218 2670 /proc/meminfo: memFree=24819220/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14082740 memory=50124 CPUtime=0.42 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 10717 0 0 0 40 2 0 0 20 0 15 0 43699466 14420725760 12531 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3520685 12531 3381 1 0 3482761 0 [pid=2655/tid=2657] ppid=2652 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 8424 0 0 0 28 2 0 0 20 0 15 0 43699466 14420725760 12596 33554432000 4194304 4196468 140720881296032 140538372971472 140538352870750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 12596 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14082740 memory=15961638201378456 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 12596 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 12596 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14420725760 12596 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43699468 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699469 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537909372320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699469 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537908319728 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 43699471 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 43699471 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0.07 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) S 2652 2655 2501 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 15 0 43699471 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537836321008 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14082740 memory=140536916919936 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699472 14420725760 12596 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 50124 KiB [startup+0.700714 s] /proc/loadavg: 0.71 0.65 0.79 3/218 2670 /proc/meminfo: memFree=24797948/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14084808 memory=88928 CPUtime=0.99 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 17601 0 0 0 94 5 0 0 20 0 15 0 43699466 14422843392 22232 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3521202 22232 3498 1 0 3483273 0 [pid=2655/tid=2657] ppid=2652 vsize=14084808 memory=9200 CPUtime=0.67 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 14868 0 0 0 63 4 0 0 20 0 15 0 43699466 14422843392 22232 33554432000 4194304 4196468 140720881296032 140538373005176 140538368812189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14084808 memory=16432 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14422843392 22232 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14084808 memory=1792 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14422843392 22232 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14084808 memory=644 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14422843392 22232 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14084808 memory=956 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14422843392 22232 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14084808 memory=1232 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43699468 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14084808 memory=2336 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699469 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537909372320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14084808 memory=4104 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699469 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537908319728 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14084808 memory=6153431502485415780 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14084808 memory=7881696724453321575 CPUtime=0.09 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 618 0 0 0 9 0 0 0 20 0 15 0 43699471 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14084808 memory=7444843076533644388 CPUtime=0.05 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 309 0 0 0 5 0 0 0 20 0 15 0 43699471 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) S 2652 2655 2501 0 -1 1077944384 423 0 0 0 15 0 0 0 20 0 15 0 43699471 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537836321008 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14084808 memory=1200 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699472 14422843392 22232 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084808 KiB Current children cumulated memory: 88928 KiB [startup+1.50071 s] /proc/loadavg: 0.71 0.65 0.79 6/218 2670 /proc/meminfo: memFree=24755064/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14086856 memory=189736 CPUtime=2.98 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 25846 0 0 0 290 8 0 0 20 0 15 0 43699466 14424940544 47434 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3521714 47434 3554 1 0 3483785 0 [pid=2655/tid=2657] ppid=2652 vsize=14086856 memory=150808 CPUtime=1.47 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 17185 0 0 0 141 6 0 0 20 0 15 0 43699466 14424940544 47434 33554432000 4194304 4196468 140720881296032 140538373024856 140537995538420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14424940544 47434 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14424940544 47434 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699467 14424940544 47434 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699467 14424940544 47434 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 43699468 14424940544 47434 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 ################ # More data... # ################ /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 140891 0 0 0 223950 68 0 0 20 0 15 0 43699466 14431232000 548330 33554432000 4194304 4196468 140720881296032 140538373027280 140538001312594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14093000 memory=2219488 CPUtime=19.94 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 23835 0 0 0 1913 81 0 0 20 0 15 0 43699467 14431232000 548330 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14093000 memory=2193320 CPUtime=19.95 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 25279 0 0 0 1912 83 0 0 20 0 15 0 43699467 14431232000 548330 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14093000 memory=2193320 CPUtime=19.92 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 23510 0 0 0 1908 84 0 0 20 0 15 0 43699467 14431232000 548330 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14093000 memory=2193320 CPUtime=19.97 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 22374 0 0 0 1913 84 0 0 20 0 15 0 43699467 14431232000 548330 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14093000 memory=2193320 CPUtime=1.46 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 84868 0 0 0 122 24 0 0 20 0 15 0 43699468 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14093000 memory=1300 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537909372384 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14093000 memory=1732 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537908319744 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14093000 memory=2219488 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14093000 memory=14864 CPUtime=3 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 26087 0 0 0 298 2 0 0 20 0 15 0 43699471 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14093000 memory=2219488 CPUtime=3.48 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 30588 0 0 0 345 3 0 0 20 0 15 0 43699471 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14093000 memory=2219488 CPUtime=1.29 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) S 2652 2655 2501 0 -1 1077944384 30592 0 0 0 125 4 0 0 20 0 15 0 43699471 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537836321008 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14093000 memory=2219488 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14093000 memory=2219488 CPUtime=1.22 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1891 0 0 0 54 68 0 0 20 0 15 0 43699472 14431232000 548330 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 2330.51 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2193320 KiB [startup+2322.3 s] /proc/loadavg: 1.52 1.53 1.46 3/215 2744 /proc/meminfo: memFree=22146928/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14093000 memory=2188572 CPUtime=2392.53 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 420184 0 0 0 238759 494 0 0 20 0 15 0 43699466 14431232000 547143 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3523250 547143 3626 1 0 3485321 0 [pid=2655/tid=2657] ppid=2652 vsize=14093000 memory=2188572 CPUtime=2299.5 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 144420 0 0 0 229881 69 0 0 20 0 15 0 43699466 14431232000 547143 33554432000 4194304 4196468 140720881296032 140538373023600 140538001312161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14093000 memory=2218836 CPUtime=20.59 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 24171 0 0 0 1976 83 0 0 20 0 15 0 43699467 14431232000 547143 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14093000 memory=2218836 CPUtime=20.6 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 26046 0 0 0 1975 85 0 0 20 0 15 0 43699467 14431232000 547143 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14093000 memory=2218324 CPUtime=20.57 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 24299 0 0 0 1971 86 0 0 20 0 15 0 43699467 14431232000 547143 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14093000 memory=2218324 CPUtime=20.62 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 22740 0 0 0 1976 86 0 0 20 0 15 0 43699467 14431232000 547143 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14093000 memory=2218324 CPUtime=1.48 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 87535 0 0 0 124 24 0 0 20 0 15 0 43699468 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14093000 memory=2218324 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537909372384 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14093000 memory=2218836 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537908319744 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14093000 memory=2218324 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14093000 memory=2058 CPUtime=3.01 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 26207 0 0 0 299 2 0 0 20 0 15 0 43699471 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14093000 memory=2188572 CPUtime=3.51 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 30799 0 0 0 348 3 0 0 20 0 15 0 43699471 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14093000 memory=2188572 CPUtime=1.29 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) S 2652 2655 2501 0 -1 1077944384 30594 0 0 0 125 4 0 0 20 0 15 0 43699471 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537836321008 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14093000 memory=2188572 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14093000 memory=2188572 CPUtime=1.26 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1920 0 0 0 56 70 0 0 20 0 15 0 43699472 14431232000 547143 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 2392.53 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2188572 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2329.5 s] /proc/loadavg: 1.74 1.58 1.48 3/215 2744 /proc/meminfo: memFree=22160204/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14093000 memory=2186520 CPUtime=2400.07 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 420432 0 0 0 239512 495 0 0 20 0 15 0 43699466 14431232000 546630 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3523250 546630 3626 1 0 3485321 0 [pid=2655/tid=2657] ppid=2652 vsize=14093000 memory=2218836 CPUtime=2306.62 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 144576 0 0 0 230593 69 0 0 20 0 15 0 43699466 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538373026424 140538001312028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14093000 memory=2218324 CPUtime=20.66 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 24178 0 0 0 1983 83 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14093000 memory=2218836 CPUtime=20.67 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 26058 0 0 0 1982 85 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14093000 memory=2218324 CPUtime=20.65 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 24314 0 0 0 1979 86 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14093000 memory=2058 CPUtime=20.7 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 22750 0 0 0 1984 86 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14093000 memory=2188572 CPUtime=1.48 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 87537 0 0 0 124 24 0 0 20 0 15 0 43699468 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14093000 memory=2188572 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537909372384 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14093000 memory=2186520 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537908319744 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14093000 memory=1732 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14093000 memory=1704 CPUtime=3.1 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 26246 0 0 0 308 2 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14093000 memory=796 CPUtime=3.53 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 30806 0 0 0 350 3 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14093000 memory=1300 CPUtime=1.29 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) S 2652 2655 2501 0 -1 1077944384 30594 0 0 0 125 4 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537836321008 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14093000 memory=1732 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14093000 memory=1704 CPUtime=1.26 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1920 0 0 0 56 70 0 0 20 0 15 0 43699472 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2186520 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2329.52 s] # the end of solver process 2655 was just reported to runsolver # cumulated CPU time of all completed processes: user=2395.14 s, system=4.96437 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2329.5 s] /proc/loadavg: 1.74 1.58 1.48 3/215 2744 /proc/meminfo: memFree=22160204/32770624 swapFree=67108852/67108860 [pid=2655] ppid=2652 vsize=14093000 memory=2186520 CPUtime=2400.07 cores=1,3,5,7 /proc/2655/stat : 2655 (java) S 2652 2655 2501 0 -1 1077944320 420432 0 0 0 239512 495 0 0 20 0 15 0 43699466 14431232000 546630 33554432000 4194304 4196468 140720881296032 140720881278576 140538368790263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 /proc/2655/statm: 3523250 546630 3626 1 0 3485321 0 [pid=2655/tid=2657] ppid=2652 vsize=14093000 memory=2218836 CPUtime=2306.62 cores=1,3,5,7 /proc/2655/task/2657/stat : 2657 (java) R 2652 2655 2501 0 -1 4202560 144576 0 0 0 230593 69 0 0 20 0 15 0 43699466 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538373026424 140538001312028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2658] ppid=2652 vsize=14093000 memory=2218324 CPUtime=20.66 cores=1,3,5,7 /proc/2655/task/2658/stat : 2658 (java) S 2652 2655 2501 0 -1 1077944384 24178 0 0 0 1983 83 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538321410320 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2659] ppid=2652 vsize=14093000 memory=2218836 CPUtime=20.67 cores=1,3,5,7 /proc/2655/task/2659/stat : 2659 (java) S 2652 2655 2501 0 -1 1077944384 26058 0 0 0 1982 85 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538320357776 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2660] ppid=2652 vsize=14093000 memory=2218324 CPUtime=20.65 cores=1,3,5,7 /proc/2655/task/2660/stat : 2660 (java) S 2652 2655 2501 0 -1 1077944384 24314 0 0 0 1979 86 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538319305232 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2661] ppid=2652 vsize=14093000 memory=2058 CPUtime=20.7 cores=1,3,5,7 /proc/2655/task/2661/stat : 2661 (java) S 2652 2655 2501 0 -1 1077944384 22750 0 0 0 1984 86 0 0 20 0 15 0 43699467 14431232000 546630 33554432000 4194304 4196468 140720881296032 140538318252688 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2662] ppid=2652 vsize=14093000 memory=2188572 CPUtime=1.48 cores=1,3,5,7 /proc/2655/task/2662/stat : 2662 (java) S 2652 2655 2501 0 -1 1077944384 87537 0 0 0 124 24 0 0 20 0 15 0 43699468 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537910426096 140538368801410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2663] ppid=2652 vsize=14093000 memory=2188572 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2663/stat : 2663 (java) S 2652 2655 2501 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537909372384 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2664] ppid=2652 vsize=14093000 memory=2186520 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2664/stat : 2664 (java) S 2652 2655 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699469 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537908319744 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2665] ppid=2652 vsize=14093000 memory=1732 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2665/stat : 2665 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537839479504 140538368808859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2666] ppid=2652 vsize=14093000 memory=1704 CPUtime=3.1 cores=1,3,5,7 /proc/2655/task/2666/stat : 2666 (java) S 2652 2655 2501 0 -1 1077944384 26246 0 0 0 308 2 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537838426096 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2667] ppid=2652 vsize=14093000 memory=796 CPUtime=3.53 cores=1,3,5,7 /proc/2655/task/2667/stat : 2667 (java) S 2652 2655 2501 0 -1 1077944384 30806 0 0 0 350 3 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537837373552 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2668] ppid=2652 vsize=14093000 memory=1300 CPUtime=1.29 cores=1,3,5,7 /proc/2655/task/2668/stat : 2668 (java) S 2652 2655 2501 0 -1 1077944384 30594 0 0 0 125 4 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537836321008 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2669] ppid=2652 vsize=14093000 memory=1732 CPUtime=0 cores=1,3,5,7 /proc/2655/task/2669/stat : 2669 (java) S 2652 2655 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699471 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537835268704 140538368800469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 [pid=2655/tid=2670] ppid=2652 vsize=14093000 memory=1704 CPUtime=1.26 cores=1,3,5,7 /proc/2655/task/2670/stat : 2670 (java) S 2652 2655 2501 0 -1 1077944384 1920 0 0 0 56 70 0 0 20 0 15 0 43699472 14431232000 546630 33554432000 4194304 4196468 140720881296032 140537834216240 140538368801410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28520448 140720881300565 140720881300745 140720881300745 140720881303503 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2186520 KiB Child status: 143 Real time (s): 2329.52 CPU time (s): 2400.1 CPU user time (s): 2395.14 CPU system time (s): 4.96437 CPU usage (%): 103.03 Max. virtual memory (cumulated for all children) (KiB): 14093000 Max. memory (cumulated for all children) (KiB): 2279940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.14 system time used= 4.96437 maximum resident set size= 2279940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 420590 page faults= 0 swaps= 0 block input operations= 112 block output operations= 2976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 78874 involuntary context switches= 2986 # summary of solver processes directly reported to runsolver: # pid: 2655 # total CPU time (s): 2400.1 # total CPU user time (s): 2395.14 # total CPU system time (s): 4.96437 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.9161 second user time and 22.6301 second system time The end
Begin job on node148 at 2018-07-22 14:09:23 IDJOB=4291771 IDBENCH=141160 IDSOLVER=2746 FILE ID=node148/4291771-1532261363 RUNJOBID= node148-1532261360-2533 PBS_JOBID= 21018973 Free space on /tmp= 51956 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 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-4291771-1532261363/watcher-4291771-1532261363 -o /tmp/evaluation-result-4291771-1532261363/solver-4291771-1532261363 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2533 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 924652506 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291771-1532261363.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658 RANDOM SEED=924652506 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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: 24841496 kB MemAvailable: 31684460 kB Buffers: 149924 kB Cached: 6875468 kB SwapCached: 8 kB Active: 1478748 kB Inactive: 5833960 kB Active(anon): 240704 kB Inactive(anon): 66112 kB Active(file): 1238044 kB Inactive(file): 5767848 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 240 kB Writeback: 32708 kB AnonPages: 272704 kB Mapped: 49064 kB Shmem: 17024 kB Slab: 311844 kB SReclaimable: 265532 kB SUnreclaim: 46312 kB KernelStack: 3552 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1421412 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 51920 MiB End job on node148 at 2018-07-22 14:48:13