Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-07-02 | SAT (TO) | 2482439 | 2400.12 | 2331.14 |
| Name | Auction/Auction-sum/ Auction-sum-decay400_c18.xml |
| MD5SUM | b20be86eed1a54c36d145f853cc0c945 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2501073 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| 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":"sum","count":400}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.67/0.55 c version: 2018-07-02 0.67/0.56 c seed: 562842526 0.67/0.56 c timeout: 2400 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 3.62/1.96 c Parsing done, starting first complete search... 4.15/2.19 o 0 4.15/2.19 o 19026 4.31/2.20 o 27190 4.31/2.20 o 46216 4.31/2.20 o 46287 4.31/2.21 o 60652 4.31/2.21 o 63660 4.31/2.21 o 66969 4.31/2.21 o 71630 4.31/2.21 o 74813 4.31/2.22 o 77821 4.31/2.22 o 85995 4.31/2.22 o 89003 4.31/2.22 o 95443 4.31/2.22 o 98451 4.31/2.23 o 103873 4.31/2.23 o 106881 4.31/2.23 o 109561 4.31/2.23 o 117877 4.31/2.23 o 134332 4.31/2.24 o 152232 4.31/2.24 o 155826 4.31/2.24 o 158834 4.31/2.24 o 167150 4.31/2.24 o 170602 4.31/2.25 o 180837 4.31/2.25 o 188813 4.31/2.25 o 190358 4.31/2.25 o 192857 4.31/2.26 o 193801 4.31/2.26 o 204929 4.31/2.26 o 207705 4.31/2.26 o 213032 4.31/2.26 o 215697 4.31/2.26 o 216218 4.31/2.26 o 217763 4.31/2.27 o 224648 4.31/2.27 o 226193 4.31/2.27 o 227425 4.31/2.27 o 227549 4.31/2.27 o 234310 4.31/2.27 o 235855 4.31/2.27 o 239637 4.31/2.27 o 241182 4.31/2.28 o 246670 4.31/2.28 o 248215 4.31/2.28 o 255100 4.31/2.28 o 256645 4.31/2.28 o 257371 4.31/2.28 o 260310 4.31/2.29 o 266266 4.31/2.29 o 266874 4.31/2.29 o 272927 4.31/2.29 o 279688 4.31/2.30 o 281233 4.64/2.30 o 284172 4.64/2.30 o 284734 4.64/2.31 o 284800 4.64/2.31 o 287739 4.64/2.31 o 290340 4.64/2.31 o 293279 4.64/2.32 o 296924 4.64/2.32 o 301784 4.64/2.32 o 311750 4.64/2.32 o 314689 4.64/2.33 o 315705 4.64/2.33 o 316692 4.64/2.33 o 318237 4.64/2.34 o 321245 4.64/2.34 o 323696 4.64/2.34 o 325241 4.64/2.34 o 328655 4.64/2.35 o 331594 4.64/2.35 o 354206 4.64/2.37 o 356231 4.64/2.37 o 356793 4.64/2.37 o 358580 4.64/2.37 o 359142 4.64/2.37 o 360125 4.64/2.37 o 360687 4.64/2.38 o 363137 4.64/2.38 o 363699 4.64/2.38 o 366076 4.64/2.38 o 366638 4.64/2.39 o 367110 4.94/2.42 o 367883 4.94/2.42 o 368445 4.94/2.42 o 370822 4.94/2.42 o 371384 4.94/2.42 o 371641 4.94/2.45 o 372055 4.94/2.45 o 372527 4.94/2.45 o 372784 4.94/2.46 o 374584 4.94/2.46 o 375056 4.94/2.47 o 375949 4.94/2.47 o 376421 4.94/2.47 o 376678 4.94/2.48 o 378073 4.94/2.48 o 378545 4.94/2.48 o 378802 4.94/2.49 o 379741 4.94/2.49 o 380213 4.94/2.49 o 382269 4.94/2.49 o 382741 4.94/2.49 o 385281 4.94/2.49 o 385753 5.24/2.50 o 385828 5.24/2.50 o 387427 5.24/2.50 o 387899 5.24/2.52 o 389685 5.24/2.52 o 390157 5.24/2.52 o 392693 5.24/2.52 o 393165 5.24/2.52 o 395705 5.24/2.52 o 396177 5.24/2.53 o 396255 5.24/2.53 o 396727 5.24/2.53 o 399263 5.24/2.53 o 399735 5.24/2.53 o 399926 5.24/2.53 o 400398 5.24/2.53 o 402275 5.24/2.53 o 402747 5.24/2.54 o 403187 5.24/2.54 o 407269 5.24/2.54 o 407741 5.24/2.54 o 407831 5.24/2.54 o 408303 5.24/2.55 o 409206 5.24/2.55 o 409678 5.24/2.55 o 409914 5.24/2.55 o 410386 5.24/2.55 o 410588 5.24/2.55 o 410695 5.24/2.56 o 417251 5.24/2.56 o 417723 5.24/2.56 o 420263 5.24/2.56 o 420735 5.24/2.57 o 421421 5.24/2.57 o 421893 5.24/2.58 o 423176 5.24/2.58 o 423648 5.24/2.58 o 428292 5.24/2.58 o 428764 5.24/2.59 o 429550 5.24/2.59 o 430022 5.24/2.59 o 430693 5.24/2.59 o 431165 5.24/2.59 o 433042 5.24/2.59 o 433514 5.53/2.60 o 434438 5.53/2.60 o 434910 5.53/2.60 o 437450 5.53/2.60 o 437922 5.53/2.61 o 438158 5.53/2.61 o 438630 5.53/2.63 o 440567 5.53/2.63 o 441039 5.53/2.65 o 441290 5.53/2.65 o 442085 5.53/2.65 o 442557 5.53/2.65 o 443373 5.53/2.65 o 446381 5.53/2.65 o 446853 5.53/2.66 o 451763 5.53/2.66 o 452906 5.53/2.66 o 454766 5.53/2.66 o 461336 5.53/2.66 o 463541 5.53/2.66 o 464249 5.53/2.67 o 468657 5.53/2.67 o 469365 5.70/2.70 o 471461 5.70/2.71 o 472169 5.70/2.71 o 475181 5.70/2.76 o 477322 5.70/2.76 o 479671 5.70/2.77 o 480379 5.70/2.77 o 482683 5.70/2.77 o 483391 5.81/2.81 o 484064 5.81/2.83 o 484724 5.81/2.83 o 487133 5.81/2.83 o 489482 5.81/2.83 o 491786 5.81/2.83 o 492494 5.81/2.85 o 493112 5.81/2.85 o 495461 5.81/2.85 o 497870 5.81/2.85 o 498578 5.81/2.86 o 498594 5.81/2.86 o 501003 5.81/2.86 o 503352 5.81/2.86 o 505255 5.81/2.88 o 505926 5.81/2.88 o 508901 5.81/2.88 o 509047 5.81/2.89 o 509137 5.81/2.89 o 509609 5.81/2.89 o 509926 5.81/2.89 o 510117 5.81/2.89 o 512466 5.81/2.89 o 512938 5.81/2.89 o 513174 5.81/2.89 o 513646 5.81/2.89 o 514228 5.81/2.89 o 514700 5.81/2.90 o 514936 5.81/2.90 o 515408 5.91/2.90 o 517948 5.91/2.90 o 518420 5.91/2.90 o 518948 5.91/2.90 o 519420 5.91/2.90 o 519656 5.91/2.91 o 520128 5.91/2.91 o 526226 5.91/2.91 o 526698 5.91/2.93 o 527415 5.91/2.94 o 527887 5.91/2.94 o 527977 5.91/2.94 o 528449 5.91/2.94 o 528685 5.91/2.94 o 529157 6.02/3.09 o 529428 6.02/3.09 o 529900 6.02/3.09 o 529990 6.02/3.09 o 530462 6.02/3.10 o 532337 6.02/3.10 o 532809 6.02/3.10 o 537620 6.02/3.10 o 538182 6.02/3.11 o 538816 6.12/3.11 o 541821 6.12/3.11 o 542383 6.12/3.11 o 542529 6.12/3.11 o 543091 6.12/3.11 o 547865 6.31/3.39 o 549566 6.31/3.39 o 550128 6.73/3.76 o 550961 6.73/3.76 o 551669 7.10/4.37 o 552139 7.20/4.42 o 552856 7.20/4.42 o 553328 7.20/4.42 o 555868 7.20/4.42 o 556340 7.55/4.78 o 556576 7.55/4.78 o 557048 7.98/5.19 o 558999 7.98/5.19 o 559471 7.98/5.19 o 562011 7.98/5.19 o 562483 8.27/5.40 o 563037 8.27/5.40 o 563509 8.27/5.40 o 563745 8.27/5.41 o 564217 8.27/5.43 o 564965 8.27/5.44 o 565437 8.27/5.45 o 566157 8.27/5.45 o 566629 8.27/5.45 o 566719 8.27/5.45 o 567191 8.27/5.46 o 569731 8.27/5.46 o 570203 8.37/5.50 o 570621 8.37/5.58 o 571810 8.37/5.58 o 572282 8.57/5.78 o 572999 8.57/5.78 o 573471 8.57/5.79 o 573707 8.57/5.79 o 574179 8.77/6.00 o 576011 8.77/6.01 o 576483 8.88/6.01 o 576719 8.88/6.01 o 577191 8.88/6.03 o 577212 8.88/6.03 o 577684 8.88/6.03 o 580224 8.88/6.03 o 580696 8.98/6.13 o 581978 8.98/6.13 o 582450 8.98/6.14 o 582581 8.98/6.14 o 583053 8.98/6.14 o 584990 8.98/6.14 o 585462 10.60/7.70 o 585870 10.60/7.70 o 586342 10.60/7.70 o 586423 10.60/7.70 o 588866 10.60/7.71 o 589428 10.60/7.71 o 589900 10.60/7.71 o 591878 10.60/7.71 o 592350 10.60/7.71 o 592440 10.60/7.71 o 592912 12.03/9.14 o 593062 12.03/9.14 o 593534 14.24/11.30 o 595272 14.24/11.38 o 595894 15.34/12.49 o 597195 15.34/12.49 o 604516 15.44/12.53 o 604545 15.44/12.53 o 604595 15.44/12.53 o 607004 27.51/24.51 c First complete search done, starting ALNS search... 28.25/25.00 o 623131 28.25/25.01 o 624516 28.43/25.01 o 625871 28.43/25.02 o 625991 28.43/25.02 o 627022 28.43/25.02 o 627142 28.43/25.02 o 628407 28.43/25.02 o 628527 28.43/25.02 o 633649 28.43/25.02 o 635004 28.43/25.02 o 635034 28.43/25.02 o 635613 28.43/25.02 o 636389 28.43/25.02 o 637540 28.43/25.03 o 637570 28.43/25.03 o 638925 28.43/25.03 o 639045 28.43/25.03 o 639070 28.43/25.03 o 639649 28.43/25.03 o 640221 28.43/25.03 o 641606 28.43/25.03 o 642185 28.43/25.03 o 642305 28.43/25.03 o 642961 28.43/25.03 o 643081 28.43/25.03 o 643186 28.43/25.03 o 643962 28.43/25.03 o 644082 28.43/25.04 o 647221 28.43/25.04 o 648606 28.43/25.04 o 649185 28.43/25.04 o 649305 28.43/25.04 o 649757 28.43/25.04 o 650336 28.43/25.04 o 650456 28.43/25.04 o 651142 28.43/25.04 o 651262 28.43/25.04 o 651721 28.43/25.04 o 651841 28.43/25.04 o 657739 28.43/25.04 o 658318 28.43/25.04 o 659124 28.43/25.04 o 659703 28.43/25.05 o 660275 28.43/25.05 o 661660 28.43/25.05 o 662239 28.43/25.05 o 662359 28.43/25.05 o 664311 28.43/25.05 o 664890 28.43/25.05 o 665010 28.43/25.05 o 665696 28.43/25.05 o 665816 28.43/25.05 o 666275 28.43/25.05 o 666395 28.43/25.05 o 666697 28.43/25.05 o 667276 28.43/25.05 o 667396 28.43/25.05 o 668052 28.43/25.05 o 668172 28.43/25.06 o 668377 28.43/25.06 o 669153 28.43/25.06 o 669298 28.43/25.07 o 669877 28.43/25.07 o 670449 28.43/25.07 o 670833 28.43/25.07 o 671834 28.43/25.07 o 672413 28.43/25.07 o 673189 28.43/25.07 o 673309 28.43/25.07 o 673420 28.43/25.07 o 673992 28.43/25.07 o 675377 28.43/25.07 o 675956 28.43/25.07 o 676732 28.43/25.07 o 676852 28.43/25.07 o 677172 28.43/25.08 o 679129 28.43/25.08 o 679708 28.43/25.08 o 680484 28.43/25.08 o 680604 28.43/25.08 o 680634 28.43/25.08 o 681869 28.43/25.08 o 681989 28.43/25.08 o 682870 28.43/25.08 o 682990 28.43/25.08 o 683694 28.43/25.08 o 683814 28.43/25.08 o 684038 28.43/25.08 o 685039 28.43/25.08 o 685334 28.43/25.09 o 686689 28.43/25.09 o 686719 28.43/25.09 o 688074 28.43/25.09 o 689075 28.43/25.09 o 689320 28.43/25.09 o 690471 28.43/25.09 o 691856 28.43/25.09 o 692857 28.43/25.09 o 693211 28.43/25.09 o 694212 28.43/25.09 o 694332 28.43/25.09 o 695015 28.43/25.09 o 696400 28.43/25.09 o 697755 28.43/25.09 o 698971 28.43/25.09 o 700152 28.43/25.10 o 701507 28.43/25.10 o 701537 28.43/25.10 o 702892 28.43/25.10 o 703012 28.43/25.10 o 703893 28.43/25.10 o 704013 28.43/25.10 o 704741 28.43/25.10 o 704771 28.43/25.10 o 706126 28.43/25.10 o 707127 28.43/25.10 o 707247 28.43/25.10 o 707250 28.43/25.10 o 707370 28.43/25.10 o 707829 28.43/25.10 o 707949 28.43/25.11 o 708044 28.43/25.11 o 708466 28.60/25.11 o 709045 28.60/25.11 o 709851 28.60/25.11 o 710430 28.60/25.11 o 711002 28.60/25.11 o 711386 28.60/25.11 o 712387 28.60/25.11 o 712966 28.60/25.11 o 713086 28.60/25.11 o 713394 28.60/25.11 o 713973 28.60/25.11 o 714545 28.60/25.11 o 715930 28.60/25.11 o 716509 28.60/25.11 o 716629 28.60/25.12 o 717146 28.60/25.12 o 717725 28.60/25.12 o 719682 28.60/25.12 o 720261 28.60/25.12 o 720381 28.60/25.12 o 721067 28.60/25.12 o 721187 28.60/25.12 o 721646 28.60/25.12 o 721766 28.60/25.12 o 722068 28.60/25.12 o 722647 28.60/25.12 o 722767 28.60/25.12 o 722916 28.60/25.12 o 723036 28.60/25.12 o 724301 28.60/25.13 o 724421 28.60/25.13 o 725302 28.60/25.13 o 725422 28.60/25.13 o 725881 28.60/25.13 o 726001 28.60/25.13 o 726657 28.60/25.13 o 726777 28.60/25.13 o 726866 28.60/25.13 o 727867 28.60/25.13 o 728455 28.60/25.13 o 728522 28.60/25.13 o 728642 28.60/25.13 o 729673 28.60/25.13 o 729703 28.60/25.14 o 731058 28.60/25.14 o 731178 28.60/25.14 o 731492 28.60/25.14 o 732268 28.60/25.14 o 732937 28.60/25.14 o 733516 28.60/25.14 o 733636 28.60/25.14 o 734147 28.60/25.14 o 734726 28.60/25.14 o 735502 28.60/25.14 o 736090 28.60/25.15 o 737091 28.60/25.15 o 737235 28.60/25.17 o 737410 28.60/25.17 o 737530 28.60/25.17 o 738620 28.60/25.17 o 739621 28.60/25.17 o 739721 28.60/25.17 o 740722 28.60/25.17 o 741162 28.60/25.17 o 742372 28.60/25.17 o 742547 28.60/25.17 o 743757 28.60/25.17 o 744758 28.60/25.17 o 744903 28.60/25.17 o 745023 28.60/25.18 o 745112 28.60/25.18 o 746113 28.60/25.18 o 746680 28.60/25.18 o 747681 28.60/25.18 o 747775 28.60/25.18 o 748577 28.60/25.18 o 749275 28.60/25.18 o 749455 28.60/25.18 o 749600 28.60/25.18 o 749720 28.60/25.18 o 750810 28.60/25.18 o 751811 28.60/25.18 o 752378 28.60/25.19 o 753379 28.60/25.19 o 754088 28.60/25.19 o 754739 28.60/25.19 o 755437 28.60/25.19 o 756405 28.60/25.19 o 756618 28.60/25.19 o 756763 28.60/25.19 o 757973 28.60/25.19 o 757984 28.60/25.19 o 758666 28.60/25.19 o 758786 28.60/25.19 o 758977 28.60/25.19 o 760332 28.60/25.20 o 760545 28.60/25.20 o 761900 28.60/25.20 o 762020 28.79/25.20 o 763110 28.79/25.20 o 763129 28.79/25.20 o 763707 28.79/25.20 o 764675 28.79/25.20 o 764858 28.79/25.20 o 766243 28.79/25.20 o 766363 28.79/25.20 o 767453 28.79/25.20 o 768032 28.79/25.20 o 768808 28.79/25.20 o 769809 28.79/25.21 o 770108 28.79/25.21 o 770283 28.79/25.21 o 770403 28.79/25.21 o 771493 28.79/25.21 o 771587 28.79/25.21 o 771770 28.79/25.21 o 771800 28.79/25.21 o 771945 28.79/25.21 o 773155 28.79/25.21 o 773445 28.79/25.21 o 774413 28.79/25.21 o 774596 28.79/25.21 o 774626 28.79/25.22 o 775981 28.79/25.22 o 777191 28.79/25.22 o 778192 28.79/25.22 o 778411 28.79/25.22 o 778698 28.79/25.23 o 779500 28.79/25.23 o 779956 28.79/25.23 o 780139 28.79/25.23 o 781524 28.79/25.23 o 782734 28.79/25.23 o 782774 28.79/25.23 o 783282 28.79/25.23 o 784084 28.79/25.23 o 784782 28.79/25.23 o 786108 28.79/25.23 o 787318 28.79/25.23 o 788011 28.79/25.23 o 788709 28.79/25.23 o 789677 28.79/25.23 o 791245 28.79/25.23 o 791365 28.79/25.24 o 792455 28.79/25.24 o 792630 28.79/25.24 o 792750 28.79/25.24 o 793840 28.79/25.24 o 794841 28.79/25.24 o 795420 28.79/25.24 o 795701 28.79/25.24 o 796802 28.79/25.24 o 797604 28.79/25.24 o 798302 28.79/25.24 o 799270 28.79/25.24 o 799628 28.79/25.24 o 800838 28.79/25.25 o 801013 28.79/25.25 o 802223 28.79/25.25 o 803224 28.79/25.25 o 803803 28.79/25.25 o 804579 28.79/25.25 o 805149 28.79/25.25 o 805728 28.79/25.25 o 805848 28.79/25.25 o 806150 28.79/25.25 o 806270 28.79/25.25 o 806729 28.79/25.25 o 806849 28.79/25.26 o 807505 28.79/25.26 o 807625 28.79/25.26 o 807939 28.79/25.26 o 808715 28.79/25.26 o 808740 28.79/25.26 o 809318 28.79/25.26 o 809438 28.79/25.26 o 809707 28.79/25.26 o 810286 28.79/25.26 o 811275 28.79/25.26 o 811854 28.79/25.26 o 811974 28.79/25.26 o 812485 28.79/25.27 o 813064 28.79/25.27 o 813843 28.79/25.27 o 814026 28.79/25.27 o 814410 28.79/25.27 o 815411 28.79/25.27 o 815531 28.79/25.27 o 815620 28.79/25.27 o 816621 28.79/25.27 o 817200 28.79/25.28 o 817976 28.79/25.28 o 818731 28.79/25.29 o 818831 28.79/25.29 o 819633 28.79/25.29 o 820331 28.79/25.29 o 821657 28.79/25.29 o 821777 28.79/25.29 o 822867 28.79/25.29 o 823868 28.79/25.29 o 824447 28.79/25.29 o 825223 28.93/25.30 o 826156 28.93/25.30 o 827157 28.93/25.30 o 827736 28.93/25.30 o 828512 28.93/25.31 o 828611 28.93/25.31 o 829190 28.93/25.31 o 829966 28.93/25.31 o 830967 28.93/25.31 o 831358 28.93/25.31 o 832326 28.93/25.32 o 832684 28.93/25.32 o 833894 28.93/25.32 o 834517 28.93/25.32 o 834637 28.93/25.32 o 835733 28.93/25.32 o 835763 28.93/25.32 o 837118 28.93/25.32 o 838299 28.93/25.32 o 839654 28.93/25.32 o 839774 28.93/25.32 o 839899 28.93/25.33 o 840867 28.93/25.33 o 841050 28.93/25.33 o 842435 28.93/25.33 o 842555 28.93/25.38 o 843970 28.93/25.38 o 845744 28.93/25.38 o 846974 28.93/25.38 o 853954 28.93/25.38 o 855728 28.93/25.39 o 857208 28.93/25.39 o 858982 28.93/25.39 o 860204 28.93/25.39 o 867184 28.93/25.39 o 870438 28.93/25.39 o 872212 28.93/25.39 o 874033 28.93/25.39 o 875807 28.93/25.39 o 878819 28.93/25.39 o 880593 28.93/25.39 o 880954 28.93/25.39 o 881295 28.93/25.39 o 884549 28.93/25.39 o 886323 28.93/25.39 o 887845 28.93/25.39 o 889619 28.93/25.40 o 891099 28.93/25.40 o 892873 28.93/25.40 o 893554 29.12/25.40 o 896808 29.12/25.40 o 898582 29.12/25.40 o 899423 29.12/25.40 o 899825 29.12/25.40 o 900805 29.12/25.40 o 902579 29.12/25.40 o 903420 29.12/25.40 o 903760 29.12/25.40 o 904601 29.12/25.40 o 907355 29.12/25.40 o 908196 29.12/25.40 o 909129 29.12/25.40 o 909970 29.12/25.40 o 913064 29.12/25.41 o 914838 29.12/25.41 o 915679 29.12/25.41 o 916318 29.12/25.41 o 917159 29.12/25.41 o 918092 29.12/25.41 o 918933 29.12/25.41 o 921700 29.12/25.41 o 923474 29.12/25.41 o 924954 29.12/25.41 o 926728 29.12/25.41 o 927569 29.12/25.41 o 928716 29.12/25.41 o 929557 29.12/25.41 o 931962 29.12/25.41 o 932142 29.12/25.41 o 935396 29.12/25.42 o 938692 29.12/25.42 o 941946 29.12/25.42 o 942787 29.12/25.42 o 947328 29.12/25.42 o 948169 29.12/25.42 o 950582 29.12/25.42 o 951423 29.12/25.42 o 952356 29.12/25.42 o 953197 29.12/25.42 o 954765 29.12/25.42 o 955606 29.12/25.42 o 956470 29.12/25.42 o 957950 29.12/25.42 o 959724 29.12/25.42 o 960359 29.12/25.42 o 962133 29.12/25.43 o 962974 29.12/25.43 o 963624 29.12/25.43 o 964557 29.12/25.43 o 965398 29.12/25.43 o 966087 29.12/25.43 o 966681 29.12/25.43 o 967526 29.12/25.43 o 968161 29.12/25.43 o 969935 29.12/25.43 o 970624 29.12/25.43 o 971274 29.12/25.43 o 972359 29.12/25.43 o 973048 29.12/25.44 o 973200 29.12/25.44 o 973889 29.12/25.44 o 974395 29.12/25.44 o 975236 29.12/25.44 o 975925 29.12/25.44 o 976262 29.12/25.44 o 976741 29.12/25.44 o 977430 29.12/25.44 o 977767 29.12/25.44 o 977919 29.12/25.44 o 978271 29.12/25.44 o 978608 34.23/29.73 o 978965 34.23/29.73 o 979412 34.23/29.73 o 980081 34.23/29.73 o 980580 34.23/29.73 o 982616 34.23/29.73 o 982929 34.23/29.73 o 984965 34.23/29.73 o 986163 34.23/29.73 o 988199 34.23/29.74 o 988646 34.23/29.75 o 989108 34.23/29.75 o 989555 34.23/29.75 o 991144 34.23/29.75 o 991591 34.23/29.75 o 991606 34.23/29.75 o 992053 34.23/29.75 o 992273 34.23/29.75 o 993177 34.23/29.75 o 994081 34.23/29.75 o 994454 34.23/29.75 o 996490 34.23/29.75 o 996937 34.23/29.75 o 997761 34.23/29.75 o 998208 34.23/29.76 o 998551 34.23/29.76 o 999471 34.23/29.76 o 1000375 34.23/29.76 o 1000454 34.23/29.76 o 1001279 34.23/29.76 o 1001643 34.23/29.76 o 1003688 34.23/29.76 o 1004135 34.23/29.76 o 1005724 34.23/29.76 o 1006171 34.23/29.78 o 1006241 34.23/29.78 o 1007830 34.23/29.78 o 1008277 34.23/29.78 o 1008470 34.23/29.79 o 1008719 34.23/29.79 o 1009691 34.23/29.79 o 1010138 34.23/29.79 o 1011927 34.23/29.79 o 1012180 34.23/29.79 o 1012231 34.23/29.79 o 1012595 34.23/29.79 o 1012604 34.23/29.79 o 1014640 34.23/29.79 o 1015028 34.23/29.79 o 1017064 34.23/29.79 o 1017511 34.33/29.85 o 1017897 34.33/29.85 o 1019933 34.33/29.85 o 1020380 34.33/29.85 o 1020431 34.33/29.85 o 1020794 34.33/29.85 o 1021241 34.33/29.85 o 1023218 34.33/29.85 o 1023665 34.33/29.85 o 1025254 34.33/29.85 o 1025701 34.33/29.85 o 1025762 34.33/29.85 o 1025771 34.33/29.85 o 1027360 34.33/29.86 o 1027807 34.33/29.86 o 1029221 34.33/29.86 o 1029237 34.33/29.86 o 1031273 34.33/29.86 o 1032134 34.33/29.86 o 1032209 34.33/29.86 o 1032513 34.33/29.86 o 1034558 34.33/29.86 o 1036594 34.33/29.86 o 1037041 36.09/31.43 o 1037757 36.09/31.43 o 1038417 36.09/31.43 o 1039391 36.09/31.43 o 1040617 36.09/31.44 o 1040989 36.09/31.44 o 1041748 36.09/31.44 o 1042120 36.09/31.44 o 1043034 36.09/31.44 o 1043923 36.09/31.44 o 1045209 36.09/31.44 o 1046340 36.09/31.44 o 1046435 36.09/31.44 o 1047566 36.09/31.45 o 1048737 36.09/31.45 o 1049963 36.09/31.45 o 1050612 36.09/31.45 o 1051526 36.09/31.45 o 1052812 36.09/31.45 o 1054746 36.09/31.45 o 1055118 36.09/31.45 o 1055890 36.09/31.45 o 1056794 36.09/31.45 o 1056873 36.09/31.45 o 1057907 36.09/31.45 o 1060107 36.09/31.46 o 1060479 36.09/31.46 o 1061393 36.09/31.46 o 1063681 36.09/31.46 o 1064053 36.09/31.46 o 1064967 36.09/31.46 o 1065881 36.09/31.46 o 1067167 36.09/31.46 o 1067479 36.09/31.46 o 1068393 36.09/31.46 o 1068610 36.09/31.46 o 1069524 36.09/31.46 o 1070413 36.09/31.46 o 1070785 36.09/31.47 o 1071639 36.09/31.47 o 1072011 36.09/31.47 o 1072770 36.09/31.47 o 1073142 36.09/31.47 o 1074056 36.09/31.47 o 1074100 36.09/31.47 o 1075231 36.09/31.47 o 1075386 36.09/31.47 o 1076517 36.09/31.48 o 1077325 36.09/31.48 o 1077697 36.09/31.48 o 1078611 36.09/31.48 o 1078828 36.09/31.48 o 1079742 36.09/31.49 o 1080029 36.09/31.49 o 1080631 36.09/31.49 o 1081857 36.09/31.49 o 1082229 36.09/31.49 o 1082988 36.09/31.49 o 1083360 36.22/31.50 o 1084274 36.22/31.50 o 1085136 36.22/31.50 o 1085280 36.22/31.51 o 1085508 36.22/31.51 o 1085652 36.22/31.51 o 1086422 36.22/31.51 o 1086566 36.22/31.51 o 1087045 36.22/31.51 o 1087385 36.22/31.51 o 1087759 36.22/31.51 o 1090619 36.22/31.52 o 1092819 36.22/31.52 o 1094045 36.22/31.52 o 1095176 36.22/31.52 o 1095382 36.22/31.52 o 1096096 36.22/31.52 o 1097825 36.22/31.52 o 1098956 36.22/31.52 o 1100025 36.22/31.52 o 1101156 36.22/31.52 o 1101251 36.22/31.52 o 1102382 36.22/31.52 o 1102754 36.22/31.52 o 1103668 36.22/31.53 o 1103772 36.22/31.53 o 1104998 36.22/31.53 o 1106129 36.22/31.53 o 1107069 36.22/31.53 o 1108200 36.22/31.53 o 1108304 36.22/31.53 o 1109435 36.22/31.54 o 1109530 36.22/31.54 o 1109747 36.22/31.54 o 1110661 36.22/31.55 o 1111457 36.22/31.55 o 1111829 36.22/31.55 o 1115031 36.22/31.55 o 1117231 36.22/31.55 o 1117603 36.22/31.55 o 1117963 36.22/31.55 o 1119003 36.22/31.55 o 1121203 36.22/31.55 o 1121575 36.22/31.55 o 1122237 36.22/31.55 o 1122609 36.22/31.55 o 1124437 36.22/31.56 o 1124809 36.22/31.56 o 1125568 36.22/31.56 o 1125940 36.22/31.56 o 1126794 36.22/31.56 o 1127166 36.22/31.56 o 1127585 36.22/31.56 o 1128654 36.22/31.56 o 1129785 36.22/31.56 o 1129880 36.22/31.56 o 1131011 36.22/31.56 o 1131383 36.22/31.56 o 1131514 36.22/31.57 o 1132740 36.22/31.57 o 1133112 36.22/31.57 o 1133871 36.22/31.57 o 1134243 36.22/31.57 o 1135157 36.22/31.57 o 1135462 36.22/31.57 o 1135472 36.22/31.57 o 1136376 36.22/31.57 o 1136829 36.22/31.57 o 1137332 36.22/31.57 o 1138558 36.22/31.58 o 1139689 36.22/31.58 o 1139793 36.22/31.58 o 1140924 36.22/31.58 o 1141019 36.22/31.58 o 1141236 36.22/31.58 o 1142150 36.22/31.59 o 1142307 36.22/31.59 o 1142359 36.22/31.59 o 1143116 36.22/31.59 o 1143273 36.22/31.59 o 1144005 36.22/31.59 o 1145136 36.22/31.59 o 1145231 36.22/31.59 o 1146362 36.22/31.60 o 1146519 36.22/31.60 o 1146674 36.22/31.60 o 1147648 36.32/31.60 o 1147805 36.32/31.60 o 1148823 36.32/31.60 o 1148883 36.32/31.60 o 1148978 36.32/31.60 o 1150109 36.32/31.60 o 1150266 36.32/31.61 o 1151180 36.32/31.61 o 1152311 36.32/31.61 o 1152468 36.32/31.62 o 1153175 36.32/31.62 o 1153392 36.32/31.62 o 1154306 36.32/31.62 o 1154463 36.32/31.62 o 1154475 36.32/31.62 o 1154690 36.32/31.62 o 1154847 36.32/31.62 o 1155350 36.32/31.63 o 1155722 36.32/31.63 o 1156326 36.32/31.63 o 1156421 36.32/31.63 o 1157552 36.32/31.63 o 1157924 36.32/31.63 o 1158081 36.32/31.63 o 1158838 36.32/31.63 o 1158995 36.32/31.63 o 1160013 36.32/31.63 o 1160385 36.32/31.63 o 1161299 36.32/31.63 o 1161456 36.32/31.64 o 1161599 36.32/31.64 o 1161659 36.32/31.64 o 1161754 36.32/31.64 o 1162885 36.32/31.64 o 1163042 36.32/31.64 o 1163052 36.32/31.64 o 1163209 36.32/31.64 o 1164084 36.32/31.64 o 1165000 36.32/31.64 o 1165060 36.32/31.65 o 1166286 36.32/31.65 o 1166443 36.32/31.65 o 1167417 36.32/31.65 o 1167574 36.32/31.65 o 1167833 36.32/31.65 o 1168747 36.32/31.65 o 1168964 36.32/31.65 o 1169878 36.32/31.65 o 1170035 36.32/31.66 o 1170116 36.32/31.66 o 1170118 36.32/31.66 o 1171030 36.32/31.66 o 1171187 36.32/31.66 o 1172161 36.32/31.66 o 1172318 36.32/31.66 o 1172533 36.32/31.66 o 1172690 36.32/31.66 o 1173447 36.32/31.67 o 1173604 36.32/31.67 o 1174622 36.32/31.67 o 1174994 36.32/31.67 o 1175908 36.32/31.67 o 1176065 36.32/31.69 o 1176994 36.32/31.69 o 1177151 36.32/31.70 o 1177255 36.32/31.70 o 1177315 36.42/31.70 o 1177410 36.42/31.70 o 1178169 36.42/31.70 o 1178541 36.42/31.70 o 1179455 36.42/31.70 o 1179612 36.42/31.73 o 1179702 36.42/31.73 o 1179762 36.42/31.73 o 1179857 36.42/31.73 o 1180988 36.42/31.73 o 1181032 36.42/31.73 o 1181092 36.42/31.73 o 1182318 36.42/31.73 o 1183449 36.42/31.77 o 1183974 36.42/31.77 o 1184778 36.42/31.77 o 1185849 36.42/31.77 o 1186980 36.42/31.77 o 1187352 36.42/31.77 o 1188266 36.42/31.78 o 1188430 36.42/31.78 o 1189319 36.42/31.78 o 1190545 36.42/31.78 o 1190917 36.42/31.78 o 1191831 36.42/31.78 o 1192048 36.42/31.79 o 1192962 36.42/31.79 o 1193006 36.42/31.79 o 1193378 36.42/31.79 o 1194137 36.42/31.79 o 1194509 36.42/31.79 o 1195423 36.52/31.83 o 1196272 36.52/31.83 o 1196332 36.52/31.83 o 1196427 36.52/31.83 o 1197558 36.62/31.98 o 1198438 36.62/31.98 o 1199569 36.73/32.04 o 1199722 36.73/32.04 o 1200853 36.73/32.04 o 1201008 36.73/32.04 o 1202139 36.73/32.04 o 1202183 36.73/32.04 o 1202243 36.73/32.04 o 1203469 36.73/32.05 o 1204600 36.73/32.05 o 1205480 36.73/32.05 o 1206611 37.02/32.35 o 1206791 37.02/32.35 o 1207922 37.02/32.36 o 1208802 37.02/32.37 o 1209933 37.02/32.38 o 1210157 37.02/32.39 o 1210261 37.02/32.39 o 1211487 37.02/32.39 o 1212618 37.02/32.39 o 1213498 37.02/32.40 o 1214629 37.41/32.62 o 1215633 37.52/32.75 o 1215657 37.52/32.76 o 1215803 37.52/32.76 o 1216934 37.52/32.76 o 1217659 37.52/32.76 o 1218031 37.52/32.76 o 1218945 37.52/32.78 o 1219774 37.52/32.79 o 1220432 37.52/32.79 o 1220434 37.52/32.79 o 1220499 37.52/32.79 o 1221630 37.52/32.79 o 1222634 37.52/32.80 o 1222727 37.64/32.80 o 1223641 37.64/32.80 o 1223731 37.64/32.80 o 1224645 37.64/32.81 o 1225095 37.64/32.81 o 1225188 37.64/32.81 o 1225820 37.64/32.81 o 1226192 37.64/32.81 o 1227106 47.36/42.29 o 1227641 47.36/42.29 o 1228461 47.36/42.29 o 1230050 47.36/42.30 o 1231438 47.49/42.30 o 1231600 47.49/42.33 o 1231779 47.49/42.33 o 1233033 47.49/42.33 o 1233955 47.49/42.33 o 1233990 47.49/42.33 o 1235011 47.49/42.33 o 1236399 47.49/42.33 o 1236600 47.49/42.33 o 1237988 47.49/42.34 o 1238150 47.49/42.38 o 1239281 47.49/42.38 o 1239443 47.59/42.40 o 1240077 47.59/42.41 o 1240755 47.59/42.41 o 1242143 47.59/42.41 o 1242344 47.59/42.41 o 1243732 47.59/42.42 o 1243894 47.59/42.43 o 1244678 47.59/42.43 o 1246267 47.59/42.43 o 1246945 47.59/42.43 o 1248333 47.59/42.43 o 1248534 47.59/42.43 o 1249922 47.59/42.43 o 1250084 51.10/45.73 o 1251271 51.10/45.73 o 1254999 51.10/45.73 o 1255516 51.10/45.73 o 1260471 51.10/45.73 o 1263207 51.10/45.73 o 1268162 51.10/45.73 o 1271890 51.10/45.73 o 1274737 51.10/45.73 o 1275964 51.10/45.73 o 1279692 51.10/45.73 o 1282043 51.10/45.73 o 1285771 51.10/45.74 o 1288756 51.10/45.74 o 1291060 51.10/45.74 o 1294045 51.10/45.74 o 1294788 51.10/45.74 o 1297773 51.10/45.74 o 1298986 51.10/45.74 o 1301971 51.10/45.74 o 1302201 51.10/45.74 o 1305139 51.10/45.74 o 1306263 51.10/45.74 o 1307490 51.10/45.74 o 1311218 51.10/45.74 o 1314203 51.10/45.74 o 1316355 51.10/45.75 o 1317196 51.10/45.75 o 1317333 51.10/45.75 o 1318174 51.10/45.75 o 1319485 51.10/45.75 o 1320326 51.10/45.76 o 1323790 51.10/45.76 o 1326920 51.10/45.76 o 1327761 51.10/45.77 o 1328461 51.10/45.77 o 1329302 51.25/45.80 o 1334549 51.25/45.80 o 1336789 51.25/45.80 o 1338223 51.25/45.80 o 1344096 51.25/45.80 o 1350175 51.25/45.80 o 1351609 51.25/45.81 o 1352415 51.25/45.81 o 1353849 51.25/45.81 o 1355409 51.25/45.81 o 1361488 51.25/45.82 o 1362966 51.25/45.82 o 1369045 51.25/45.82 o 1370479 52.94/47.50 o 1371322 52.94/47.50 o 1371903 52.94/47.50 o 1372534 52.94/47.50 o 1373488 52.94/47.50 o 1374579 52.94/47.50 o 1375029 52.94/47.50 o 1376120 52.94/47.50 o 1376701 52.94/47.50 o 1377447 53.08/47.50 o 1377921 53.08/47.50 o 1378659 53.08/47.50 o 1380704 53.08/47.50 o 1382245 53.08/47.50 o 1383336 53.08/47.50 o 1385866 53.08/47.51 o 1387407 53.08/47.51 o 1388498 53.08/47.51 o 1389228 53.08/47.51 o 1390319 53.08/47.51 o 1393141 53.08/47.51 o 1394138 53.08/47.51 o 1398462 53.08/47.51 o 1399553 53.08/47.51 o 1401072 53.08/47.51 o 1402163 53.08/47.51 o 1405396 53.08/47.51 o 1406487 53.08/47.51 o 1406937 53.08/47.52 o 1408028 53.08/47.52 o 1408982 53.08/47.52 o 1410073 53.08/47.52 o 1410293 53.08/47.52 o 1410797 53.08/47.52 o 1412338 53.08/47.52 o 1413025 53.08/47.52 o 1413612 53.08/47.52 o 1413630 53.08/47.52 o 1415675 53.08/47.52 o 1415890 53.08/47.52 o 1420214 53.08/47.52 o 1422259 53.08/47.53 o 1423800 53.08/47.53 o 1424307 53.08/47.53 o 1424891 53.08/47.53 o 1425398 53.08/47.53 o 1427218 53.08/47.53 o 1429263 53.08/47.53 o 1430804 53.08/47.54 o 1431895 53.08/47.54 o 1432402 53.08/47.56 o 1432547 53.08/47.56 o 1434576 53.08/47.56 o 1435083 53.08/47.56 o 1435587 53.08/47.56 o 1438123 53.08/47.57 o 1438630 53.08/47.57 o 1440524 53.08/47.57 o 1441031 53.08/47.57 o 1441301 53.08/47.57 o 1444848 53.08/47.57 o 1445355 53.08/47.57 o 1447384 53.08/47.57 o 1447891 53.08/47.57 o 1449465 53.08/47.57 o 1449492 53.08/47.57 o 1449533 53.08/47.57 o 1449879 53.08/47.57 o 1450656 53.08/47.57 o 1454203 53.08/47.57 o 1456739 53.08/47.57 o 1457246 53.08/47.58 o 1459266 53.08/47.58 o 1459773 53.08/47.58 o 1460834 53.08/47.58 o 1461341 53.08/47.58 o 1462947 53.08/47.58 o 1465483 53.08/47.58 o 1467978 53.08/47.58 o 1468755 53.08/47.58 o 1472302 53.08/47.58 o 1474838 53.08/47.58 o 1476406 53.08/47.58 o 1477365 53.08/47.58 o 1478933 53.08/47.58 o 1479440 54.46/48.85 o 1480347 54.46/48.85 o 1480421 54.46/48.85 o 1483979 54.46/48.85 o 1484053 54.46/48.85 o 1486185 54.46/48.85 o 1486259 54.46/48.85 o 1487753 54.46/48.85 o 1487827 54.46/48.85 o 1488445 54.46/48.85 o 1488519 54.46/48.85 o 1488934 54.46/48.86 o 1491140 54.46/48.86 o 1492708 54.46/48.86 o 1493400 54.46/48.86 o 1493474 54.46/48.86 o 1494289 54.46/48.86 o 1494981 54.46/48.86 o 1495055 54.46/48.87 o 1496495 54.46/48.87 o 1496569 54.46/48.88 o 1497187 54.46/48.88 o 1497261 54.46/48.89 o 1497721 54.46/48.89 o 1497795 54.46/48.89 o 1498413 54.46/48.90 o 1498487 56.01/50.33 o 1498740 56.01/50.34 o 1498785 56.01/50.34 o 1499916 56.01/50.34 o 1500843 56.01/50.34 o 1501974 56.01/50.35 o 1502151 56.11/50.41 o 1502372 56.52/50.89 o 1502424 56.52/50.89 o 1502609 56.52/50.89 o 1503116 56.52/50.90 o 1503526 56.52/50.90 o 1504218 56.62/50.90 o 1504725 56.62/50.90 o 1505225 56.62/50.92 o 1505478 56.62/50.92 o 1505985 56.62/50.92 o 1506129 56.62/50.92 o 1507514 56.62/50.92 o 1508021 56.62/50.92 o 1508521 56.62/50.94 o 1509173 56.62/50.94 o 1509680 56.62/50.94 o 1510180 56.62/50.94 o 1510558 56.62/50.94 o 1511058 56.62/50.94 o 1511065 56.62/50.94 o 1511565 56.62/50.94 o 1511757 56.62/50.95 o 1512257 56.62/50.95 o 1512621 56.62/50.96 o 1513773 56.62/50.96 o 1514280 56.62/50.97 o 1515158 56.62/50.97 o 1515665 56.62/50.97 o 1515850 56.62/50.97 o 1516357 56.62/50.97 o 1516857 56.62/50.98 o 1517501 56.62/50.98 o 1518886 56.62/50.98 o 1519578 56.62/50.98 o 1520078 56.62/50.98 o 1520085 56.62/50.98 o 1520585 56.62/50.99 o 1520931 56.62/50.99 o 1521623 56.73/51.02 o 1522130 56.73/51.04 o 1522630 56.73/51.04 o 1522997 56.73/51.04 o 1523875 56.73/51.04 o 1524382 56.73/51.05 o 1524567 56.73/51.05 o 1525074 56.73/51.05 o 1525574 56.73/51.05 o 1525920 56.73/51.06 o 1526612 56.73/51.06 o 1527112 56.73/51.06 o 1527119 56.73/51.06 o 1527619 56.73/51.10 o 1527662 56.73/51.10 o 1528354 56.73/51.10 o 1528861 56.83/51.13 o 1529361 56.83/51.17 o 1529716 56.83/51.17 o 1530223 56.83/51.17 o 1531101 56.83/51.17 o 1531608 56.83/51.17 o 1531752 56.83/51.17 o 1533137 56.83/51.17 o 1533644 56.83/51.19 o 1534796 56.83/51.19 o 1535303 56.83/51.19 o 1536181 56.83/51.20 o 1536688 56.83/51.20 o 1536865 56.92/51.22 o 1538524 56.92/51.22 o 1539909 56.92/51.22 o 1540416 56.92/51.22 o 1540469 56.92/51.22 o 1541854 56.92/51.22 o 1542361 56.92/51.22 o 1543513 56.92/51.22 o 1544020 56.92/51.23 o 1544898 56.92/51.23 o 1545405 56.92/51.23 o 1545558 56.92/51.23 o 1546943 56.92/51.23 o 1547450 56.92/51.23 o 1547635 56.92/51.23 o 1548142 56.92/51.23 o 1548642 56.92/51.24 o 1548685 56.92/51.24 o 1549377 56.92/51.24 o 1549877 56.92/51.24 o 1549884 56.92/51.24 o 1550384 56.92/51.26 o 1550574 56.92/51.26 o 1551081 56.92/51.26 o 1551581 56.92/51.28 o 1551921 56.92/51.29 o 1552114 56.92/51.29 o 1552806 56.92/51.29 o 1553306 57.02/51.31 o 1554159 57.02/51.31 o 1554659 57.02/51.33 o 1554851 57.02/51.33 o 1555351 57.02/51.34 o 1555356 57.02/51.34 o 1555856 57.02/51.34 o 1556048 57.02/51.34 o 1556548 57.02/51.35 o 1556555 57.02/51.38 o 1557055 57.02/51.39 o 1557093 57.02/51.39 o 1557100 57.02/51.39 o 1557600 57.02/51.39 o 1557605 57.02/51.39 o 1557790 57.02/51.39 o 1558297 57.02/51.39 o 1558797 57.12/51.43 o 1558902 57.12/51.43 o 1559402 57.12/51.44 o 1559910 57.12/51.44 o 1560012 57.12/51.44 o 1561254 57.12/51.44 o 1561946 57.12/51.45 o 1562446 57.12/51.45 o 1562453 57.12/51.45 o 1562953 57.12/51.49 o 1563064 57.12/51.49 o 1563107 57.12/51.49 o 1563614 57.12/51.49 o 1564114 57.22/51.50 o 1564188 57.22/51.50 o 1564299 57.22/51.50 o 1564695 57.22/51.50 o 1564806 57.22/51.54 o 1565147 57.22/51.54 o 1565332 57.22/51.54 o 1565339 57.22/51.54 o 1565839 57.22/51.57 o 1565950 57.22/51.57 o 1566196 57.22/51.57 o 1566389 57.22/51.57 o 1566574 57.22/51.58 o 1567081 57.22/51.58 o 1567581 57.22/51.58 o 1567692 57.32/51.66 o 1567911 57.32/51.66 o 1567922 57.32/51.67 o 1568422 57.32/51.67 o 1568761 57.32/51.67 o 1568912 57.32/51.67 o 1569266 57.32/51.67 o 1569605 57.32/51.67 o 1569958 57.32/51.67 o 1570297 57.32/51.67 o 1570458 57.32/51.67 o 1570797 57.32/51.67 o 1570965 57.32/51.68 o 1571304 57.32/51.69 o 1571700 57.32/51.69 o 1572200 57.32/51.69 o 1572207 57.32/51.69 o 1572707 57.65/51.97 o 1572761 57.65/51.97 o 1572872 57.65/51.97 o 1573157 57.65/51.97 o 1573664 57.65/51.97 o 1574164 57.65/51.97 o 1574275 57.65/51.99 o 1574326 57.76/52.02 o 1574419 57.76/52.02 o 1574612 57.76/52.02 o 1575304 57.76/52.02 o 1575804 57.76/52.03 o 1576032 57.76/52.03 o 1576143 57.76/52.03 o 1576569 57.76/52.03 o 1576908 57.76/52.03 o 1577261 57.76/52.04 o 1577600 57.76/52.04 o 1577711 57.76/52.04 o 1577879 57.76/52.04 o 1578218 57.76/52.05 o 1578259 57.76/52.05 o 1578289 57.76/52.05 o 1578481 57.76/52.05 o 1578981 57.76/52.05 o 1578988 57.76/52.05 o 1579488 57.76/52.05 o 1579827 57.76/52.07 o 1580128 57.76/52.07 o 1580239 57.76/52.08 o 1580249 57.76/52.08 o 1580426 57.76/52.08 o 1580433 57.76/52.08 o 1580933 57.76/52.08 o 1580934 57.76/52.08 o 1581441 57.76/52.08 o 1581585 57.76/52.08 o 1582278 57.76/52.08 o 1582970 57.76/52.08 o 1583477 57.76/52.09 o 1583977 57.76/52.09 o 1584316 57.76/52.09 o 1584427 57.86/52.13 o 1584527 57.86/52.13 o 1584638 57.86/52.13 o 1585027 57.86/52.13 o 1585138 57.86/52.13 o 1585212 57.86/52.13 o 1585219 57.86/52.13 o 1585719 57.86/52.13 o 1585830 57.95/52.22 o 1585930 57.95/52.22 o 1586115 57.95/52.22 o 1586622 57.95/52.23 o 1586850 57.95/52.23 o 1586961 57.95/52.24 o 1587011 57.95/52.24 o 1587350 57.95/52.24 o 1587461 57.95/52.25 o 1587667 57.95/52.25 o 1587672 57.95/52.26 o 1588172 57.95/52.26 o 1588364 57.95/52.26 o 1588864 57.95/52.27 o 1588903 57.95/52.28 o 1589131 57.95/52.28 o 1589242 57.95/52.28 o 1589634 57.95/52.28 o 1589973 57.95/52.28 o 1589977 57.95/52.29 o 1590484 57.95/52.29 o 1591321 57.95/52.29 o 1592013 57.95/52.29 o 1592520 57.95/52.29 o 1592859 57.95/52.29 o 1592970 57.95/52.29 o 1593020 57.95/52.29 o 1593359 57.95/52.29 o 1593470 58.05/52.30 o 1593681 58.05/52.30 o 1594181 58.05/52.31 o 1594373 58.05/52.31 o 1594873 74.02/68.28 o 1595239 74.02/68.28 o 1595962 74.02/68.28 o 1601323 74.02/68.28 o 1605864 77.61/71.78 o 1606621 77.61/71.78 o 1608210 77.61/71.78 o 1608533 77.61/71.78 o 1613653 77.61/71.78 o 1615242 77.61/71.78 o 1616127 77.61/71.78 o 1617628 77.61/71.79 o 1619217 77.61/71.79 o 1620102 77.61/71.79 o 1620890 77.61/71.79 o 1624086 77.61/71.79 o 1624207 77.61/71.79 o 1624977 77.61/71.80 o 1625227 77.61/71.80 o 1626889 77.72/71.80 o 1632009 77.72/71.80 o 1634920 77.72/71.80 o 1640040 77.72/71.80 o 1641629 77.72/71.80 o 1644015 77.72/71.80 o 1645604 77.72/71.80 o 1646489 77.72/71.81 o 1647321 77.72/71.81 o 1648910 77.72/71.81 o 1651296 77.72/71.81 o 1652885 77.72/71.81 o 1653770 77.72/71.82 o 1654693 77.72/71.83 o 1656282 77.72/71.84 o 1657167 78.12/72.23 o 1657900 78.12/72.23 o 1658741 78.12/72.23 o 1659031 78.12/72.23 o 1659872 78.12/72.24 o 1660152 78.12/72.24 o 1661283 78.12/72.25 o 1663715 78.12/72.25 o 1666349 78.12/72.25 o 1667480 78.12/72.25 o 1668007 78.12/72.25 o 1669138 78.12/72.25 o 1670641 78.12/72.25 o 1671772 78.12/72.25 o 1672613 78.12/72.26 o 1674217 78.12/72.27 o 1675875 78.12/72.27 o 1676527 78.12/72.27 o 1678509 78.12/72.27 o 1679350 78.12/72.28 o 1681140 78.12/72.28 o 1683774 78.12/72.28 o 1684615 78.12/72.28 o 1685756 78.12/72.28 o 1686597 78.12/72.29 o 1687584 78.12/72.29 o 1689242 78.12/72.29 o 1691876 78.22/72.31 o 1694507 78.22/72.31 o 1696489 78.22/72.32 o 1697141 78.22/72.32 o 1699123 78.22/72.32 o 1699964 80.34/74.44 o 1703075 80.34/74.44 o 1704017 80.34/74.45 o 1704955 80.34/74.45 o 1708265 80.34/74.45 o 1710092 80.34/74.45 o 1713402 80.34/74.46 o 1714344 80.34/74.46 o 1714631 80.34/74.46 o 1714815 80.34/74.46 o 1715145 80.34/74.46 o 1716642 80.34/74.47 o 1719952 80.34/74.47 o 1720894 80.34/74.47 o 1722386 80.34/74.47 o 1723328 80.34/74.47 o 1725696 80.34/74.48 o 1726638 100.53/94.53 o 1726985 100.53/94.53 o 1727059 100.53/94.53 o 1729297 100.53/94.53 o 1729371 100.53/94.53 o 1730294 100.53/94.53 o 1732221 100.53/94.53 o 1734201 100.53/94.53 o 1736513 100.53/94.53 o 1736587 100.53/94.53 o 1736942 100.53/94.53 o 1741234 100.53/94.53 o 1741308 100.53/94.53 o 1743546 100.53/94.53 o 1743620 100.53/94.54 o 1744160 100.53/94.54 o 1746472 100.53/94.54 o 1746901 100.53/94.54 o 1751193 100.53/94.54 o 1753505 100.53/94.54 o 1753579 100.53/94.54 o 1753887 100.53/94.54 o 1754872 100.53/94.54 o 1755524 100.53/94.54 o 1755707 100.53/94.55 o 1760428 100.53/94.55 o 1762740 100.53/94.55 o 1762814 100.53/94.55 o 1764720 100.53/94.56 o 1764794 100.53/94.56 o 1767032 100.53/94.56 o 1767106 100.53/94.56 o 1770134 100.53/94.57 o 1772446 100.53/94.57 o 1774426 100.53/94.57 o 1776738 100.53/94.58 o 1776812 100.64/94.60 o 1777585 100.64/94.61 o 1780887 100.64/94.61 o 1781660 100.64/94.61 o 1783521 100.64/94.61 o 1784294 100.64/94.67 o 1785312 100.64/94.67 o 1787839 100.74/94.71 o 1788818 100.74/94.71 o 1792163 100.74/94.75 o 1793923 100.74/94.75 o 1795308 100.74/94.75 o 1795604 100.74/94.75 o 1799850 100.74/94.75 o 1801235 100.84/94.82 o 1801238 100.84/94.82 o 1801446 100.84/94.82 o 1802672 100.84/94.82 o 1803179 100.84/94.83 o 1804061 100.84/94.83 o 1805495 100.84/94.83 o 1806002 100.84/94.83 o 1808593 100.84/94.83 o 1809100 100.84/94.84 o 1810027 100.84/94.84 o 1810534 100.84/94.84 o 1811253 100.84/94.84 o 1811760 100.96/94.90 o 1812300 100.96/94.91 o 1812864 100.96/94.91 o 1814130 100.96/94.92 o 1815391 100.96/94.92 o 1816333 100.96/94.94 o 1816429 100.96/94.94 o 1817690 100.96/94.94 o 1818956 100.96/94.94 o 1820217 100.96/94.94 o 1821159 100.96/94.95 o 1821487 100.96/94.96 o 1821806 100.96/94.96 o 1822748 100.96/95.00 o 1823589 101.07/95.02 o 1824635 101.07/95.02 o 1824988 101.07/95.03 o 1828032 101.07/95.03 o 1829728 101.07/95.03 o 1830287 101.07/95.03 o 1831635 101.07/95.03 o 1833331 101.07/95.03 o 1834078 101.07/95.03 o 1837080 101.07/95.03 o 1840124 101.07/95.03 o 1840477 101.07/95.03 o 1843521 101.07/95.04 o 1845217 101.07/95.04 o 1846390 101.07/95.04 o 1847738 101.07/95.04 o 1849434 101.07/95.07 o 1852338 101.07/95.07 o 1853179 101.07/95.08 o 1853536 101.07/95.08 o 1856823 101.07/95.08 o 1861355 101.07/95.08 o 1862196 101.07/95.08 o 1863438 101.07/95.08 o 1864279 101.07/95.08 o 1865890 101.07/95.08 o 1866582 101.07/95.08 o 1867505 101.07/95.08 o 1875324 101.07/95.08 o 1876165 101.07/95.08 o 1879856 101.07/95.08 o 1880697 101.18/95.11 o 1880888 101.29/95.20 o 1881883 101.29/95.20 o 1882462 101.29/95.20 o 1882898 101.29/95.20 o 1883477 101.29/95.21 o 1883840 101.29/95.21 o 1884419 101.29/95.22 o 1884491 101.29/95.22 o 1884854 101.29/95.22 o 1885433 101.29/95.23 o 1886872 101.29/95.23 o 1886992 101.29/95.23 o 1887887 101.29/95.23 o 1888829 101.29/95.23 o 1889408 101.29/95.24 o 1890263 101.29/95.25 o 1890842 101.29/95.29 o 1892797 101.29/95.30 o 1894023 101.29/95.30 o 1894365 101.42/95.30 o 1895591 101.42/95.30 o 1896999 101.42/95.30 o 1898225 101.42/95.30 o 1899316 101.42/95.30 o 1899380 101.42/95.30 o 1900446 101.42/95.30 o 1902014 101.42/95.30 o 1903105 101.42/95.30 o 1903240 101.42/95.30 o 1904331 101.42/95.36 o 1905605 101.42/95.36 o 1906547 101.42/95.36 o 1907054 101.42/95.36 o 1907127 101.42/95.37 o 1907562 101.42/95.37 o 1908069 102.85/96.73 o 1909355 102.85/96.74 o 1909934 102.85/96.75 o 1910125 102.96/96.86 o 1910814 102.96/96.86 o 1911393 103.06/96.96 o 1913126 103.06/96.97 o 1913705 103.06/96.97 o 1913896 103.06/97.00 o 1913999 103.06/97.00 o 1914190 103.06/97.00 o 1915275 103.17/97.01 o 1915854 103.17/97.01 o 1916045 103.36/97.21 o 1916816 103.36/97.21 o 1917395 103.36/97.21 o 1917586 103.56/97.48 o 1918672 103.56/97.48 o 1918863 103.66/97.50 o 1919251 103.66/97.50 o 1919442 103.76/97.63 o 1920161 103.76/97.63 o 1920740 103.76/97.64 o 1920931 103.96/97.87 o 1922017 103.96/97.87 o 1922596 103.96/97.88 o 1922787 104.47/98.34 o 1924246 104.47/98.35 o 1924437 104.47/98.36 o 1924825 104.47/98.36 o 1925016 104.57/98.45 o 1925889 104.57/98.45 o 1925963 104.57/98.45 o 1926921 104.57/98.45 o 1926995 104.57/98.45 o 1928218 104.57/98.45 o 1929807 104.57/98.46 o 1929881 104.57/98.46 o 1932510 104.57/98.46 o 1932584 104.57/98.46 o 1934099 104.57/98.46 o 1934173 104.68/98.59 o 1935277 104.68/98.59 o 1936024 104.68/98.59 o 1936502 104.68/98.59 o 1937249 104.80/98.62 o 1938513 104.80/98.62 o 1939260 104.80/98.63 o 1941011 104.80/98.63 o 1941758 104.80/98.63 o 1944798 104.80/98.63 o 1945545 104.80/98.68 o 1946056 104.80/98.68 o 1947095 104.80/98.68 o 1947648 104.80/98.68 o 1950882 104.90/98.70 o 1951629 104.90/98.72 o 1952318 104.90/98.74 o 1952666 104.90/98.74 o 1953355 104.90/98.74 o 1953413 104.90/98.74 o 1954102 104.90/98.79 o 1954291 104.90/98.79 o 1955038 104.90/98.79 o 1955516 104.90/98.79 o 1956263 105.00/98.83 o 1958750 105.00/98.85 o 1959497 105.00/98.85 o 1960186 105.00/98.89 o 1960439 105.00/98.89 o 1961255 105.10/98.93 o 1963749 105.10/98.93 o 1965813 105.10/98.98 o 1965852 105.10/98.98 o 1965990 105.10/98.98 o 1967845 105.10/98.98 o 1970282 105.10/98.98 o 1972137 105.21/99.07 o 1973696 105.21/99.07 o 1974922 105.21/99.08 o 1976008 105.21/99.08 o 1977234 105.21/99.08 o 1978094 105.21/99.09 o 1979795 105.21/99.09 o 1981021 105.31/99.11 o 1981554 105.31/99.11 o 1982301 105.31/99.11 o 1985730 105.31/99.12 o 1987298 105.31/99.12 o 1988045 105.50/99.36 o 1991400 105.50/99.36 o 1991907 105.60/99.40 o 1992095 105.60/99.47 o 1992220 105.60/99.47 o 1994714 105.60/99.47 o 1996542 105.60/99.48 o 1997790 105.60/99.48 o 1999006 105.60/99.48 o 2000834 105.84/99.66 o 2001328 105.84/99.66 o 2002101 105.94/99.72 o 2003024 105.94/99.72 o 2004433 105.94/99.72 o 2008220 105.94/99.72 o 2009608 105.94/99.72 o 2009682 105.94/99.75 o 2017708 105.94/99.75 o 2018799 105.94/99.79 o 2022281 105.94/99.79 o 2025325 106.06/99.80 o 2025515 106.06/99.82 o 2028559 106.06/99.83 o 2030329 106.06/99.83 o 2031147 106.06/99.83 o 2034191 106.17/99.92 o 2034370 106.17/99.97 o 2034628 106.17/99.97 o 2036489 106.17/99.97 o 2037262 106.17/99.97 o 2037616 106.17/99.97 o 2038831 106.17/99.97 o 2041465 106.17/99.98 o 2042238 106.28/100.01 o 2043810 106.28/100.01 o 2044284 106.28/100.01 o 2046444 106.28/100.01 o 2047217 106.28/100.11 o 2048033 106.38/100.11 o 2048806 106.47/100.20 o 2050681 106.47/100.20 o 2051438 106.47/100.21 o 2052249 106.47/100.21 o 2053006 106.47/100.21 o 2053915 106.47/100.21 o 2055483 106.47/100.21 o 2055952 106.47/100.21 o 2057520 106.47/100.22 o 2058293 106.68/100.47 o 2059896 106.68/100.47 o 2060987 106.68/100.47 o 2061363 106.68/100.47 o 2063073 106.68/100.47 o 2065356 106.68/100.47 o 2067290 106.68/100.47 o 2068381 106.88/100.62 o 2070743 106.88/100.62 o 2075541 106.88/100.62 o 2075719 106.88/100.63 o 2080517 107.73/101.49 o 2081724 107.83/101.51 o 2082666 107.95/101.62 o 2083834 107.95/101.62 o 2087068 107.95/101.62 o 2087760 107.95/101.62 o 2090816 107.95/101.62 o 2091508 107.95/101.62 o 2094050 107.95/101.62 o 2094742 107.95/101.62 o 2094891 107.95/101.62 o 2095583 108.04/101.72 o 2095619 108.04/101.72 o 2095869 108.04/101.72 o 2096710 108.04/101.74 o 2098839 108.04/101.74 o 2099930 108.04/101.74 o 2101599 108.04/101.74 o 2102690 108.04/101.74 o 2103531 108.04/101.74 o 2103825 108.04/101.74 o 2104075 108.04/101.74 o 2104916 108.56/102.20 o 2105827 108.56/102.23 o 2108391 108.56/102.23 o 2110927 108.56/102.23 o 2112495 108.56/102.23 o 2113437 108.67/102.31 o 2114301 108.67/102.31 o 2114993 108.67/102.32 o 2115432 108.67/102.32 o 2116124 108.78/102.40 o 2116404 108.78/102.41 o 2117665 108.91/102.50 o 2119040 108.91/102.50 o 2120171 108.91/102.55 o 2120250 115.79/109.34 o 2120274 115.79/109.34 o 2120322 115.79/109.34 o 2121789 115.79/109.34 o 2121863 136.52/129.83 o 2121915 136.52/129.83 o 2122494 136.52/129.83 o 2122675 136.52/129.83 o 2122743 136.52/129.83 o 2122774 136.52/129.83 o 2122844 136.52/129.83 o 2122869 136.52/129.83 o 2122993 136.52/129.83 o 2123504 136.52/129.83 o 2123685 136.52/129.83 o 2124083 136.52/129.84 o 2124264 136.52/129.87 o 2124541 136.52/129.87 o 2124557 136.52/129.87 o 2125128 136.52/129.87 o 2125196 136.52/129.87 o 2125227 136.52/129.87 o 2125297 136.52/129.87 o 2125322 136.52/129.88 o 2125446 136.52/129.88 o 2126138 136.52/129.88 o 2126717 136.63/129.90 o 2126898 136.63/129.92 o 2127040 136.63/129.92 o 2127221 137.03/130.38 o 2127556 137.03/130.38 o 2128687 137.14/130.45 o 2131808 137.14/130.45 o 2133242 137.14/130.45 o 2134468 137.24/130.56 o 2135162 137.24/130.56 o 2135662 137.24/130.56 o 2138806 137.24/130.56 o 2140374 137.24/130.57 o 2141692 137.24/130.57 o 2143260 137.24/130.57 o 2143760 137.34/130.68 o 2145142 137.34/130.68 o 2145169 137.34/130.68 o 2145408 137.34/130.68 o 2146997 137.34/130.68 o 2147935 137.34/130.68 o 2149524 137.44/130.71 o 2149999 137.44/130.72 o 2151588 137.44/130.74 o 2151741 137.44/130.74 o 2153330 138.14/131.25 o 2153946 138.14/131.26 o 2154635 138.14/131.26 o 2154961 138.14/131.26 o 2155650 138.14/131.26 o 2155979 138.14/131.26 o 2156012 138.14/131.26 o 2156195 138.14/131.26 o 2157491 138.14/131.26 o 2158506 138.14/131.27 o 2159195 139.00/132.10 o 2159415 139.00/132.10 o 2159522 139.00/132.10 o 2160211 139.00/132.10 o 2160354 139.00/132.10 o 2161049 139.00/132.10 o 2161265 139.00/132.10 o 2161960 139.00/132.10 o 2162649 139.10/132.12 o 2162776 139.10/132.13 o 2162896 139.10/132.13 o 2163471 139.10/132.13 o 2163591 139.10/132.13 o 2163724 139.10/132.13 o 2163888 139.10/132.13 o 2164635 139.10/132.13 o 2165324 139.10/132.13 o 2165519 139.10/132.13 o 2165577 139.10/132.13 o 2166266 139.10/132.13 o 2166272 139.10/132.13 o 2166961 139.10/132.13 o 2167081 139.10/132.13 o 2167165 139.10/132.17 o 2167854 139.60/132.63 o 2168558 139.60/132.68 o 2173986 139.60/132.69 o 2177531 139.70/132.70 o 2183027 139.70/132.70 o 2186572 140.04/133.04 o 2187239 140.04/133.04 o 2188370 140.04/133.04 o 2188780 140.04/133.04 o 2189911 140.04/133.04 o 2190214 140.04/133.04 o 2191345 140.15/133.12 o 2191424 163.68/156.10 o 2192497 163.68/156.11 o 2192604 163.68/156.11 o 2194193 163.78/156.11 o 2195104 164.61/156.95 o 2195213 164.61/156.95 o 2195908 164.61/156.95 o 2196017 164.61/156.95 o 2198654 164.61/156.95 o 2199745 164.61/156.95 o 2200440 164.61/156.95 o 2201033 164.61/156.95 o 2201728 164.61/156.95 o 2201837 164.61/156.95 o 2205565 164.61/156.95 o 2206260 164.61/156.95 o 2206656 164.61/156.95 o 2207351 184.91/176.79 o 2207840 184.91/176.79 o 2208681 184.91/176.79 o 2208872 184.91/176.80 o 2209101 184.91/176.80 o 2209292 184.91/176.80 o 2209942 185.01/176.80 o 2210133 185.01/176.87 o 2210211 185.01/176.87 o 2211014 185.01/176.87 o 2211434 185.01/176.87 o 2212275 185.01/176.88 o 2212466 197.89/189.42 o 2212996 197.89/189.42 o 2213271 197.89/189.42 o 2214018 197.89/189.42 o 2214286 197.89/189.42 o 2215033 197.89/189.42 o 2215228 197.89/189.42 o 2215975 197.89/189.42 o 2216495 197.89/189.42 o 2217242 202.48/193.95 o 2217393 203.30/194.75 o 2218296 203.30/194.75 o 2218796 203.50/194.93 o 2219730 203.50/194.94 o 2220230 203.50/194.96 o 2220672 203.50/194.96 o 2221172 203.91/195.31 o 2221513 203.91/195.33 o 2222013 216.12/207.21 o 2223362 216.12/207.21 o 2223661 216.12/207.21 o 2225398 216.12/207.21 o 2226133 216.12/207.22 o 2231088 216.12/207.22 o 2233407 216.12/207.22 o 2238362 217.45/208.51 o 2239777 217.45/208.52 o 2240908 240.31/230.82 o 2241081 240.31/230.82 o 2241262 240.31/230.82 o 2241336 240.31/230.83 o 2242019 240.31/230.83 o 2242093 240.31/230.83 o 2243110 240.31/230.83 o 2243184 240.31/230.83 o 2244125 240.31/230.83 o 2244199 240.31/230.83 o 2244306 240.31/230.83 o 2244380 240.31/230.83 o 2244966 240.31/230.83 o 2245147 240.31/230.83 o 2245221 240.52/231.10 o 2245415 240.52/231.10 o 2245420 240.52/231.11 o 2246783 240.62/231.11 o 2247822 240.62/231.11 o 2249207 240.62/231.11 o 2250222 240.62/231.12 o 2250358 240.62/231.12 o 2251373 240.62/231.12 o 2251743 240.62/231.12 o 2252758 240.62/231.12 o 2252939 241.54/232.06 o 2253170 241.54/232.06 o 2254604 241.73/232.22 o 2255619 255.89/246.02 o 2257358 255.89/246.09 o 2258001 255.89/246.09 o 2258075 256.08/246.26 o 2259289 256.08/246.26 o 2260373 256.08/246.26 o 2265218 256.08/246.26 o 2267046 256.08/246.27 o 2267819 256.19/246.30 o 2267881 256.19/246.30 o 2268395 256.19/246.31 o 2268576 271.17/260.92 o 2273103 271.17/260.93 o 2273284 271.39/261.18 o 2273659 271.39/261.18 o 2274790 271.48/261.20 o 2276520 271.48/261.20 o 2277905 271.48/261.29 o 2279036 274.94/264.55 o 2279621 274.94/264.55 o 2280752 275.66/265.22 o 2280982 275.66/265.22 o 2283398 275.66/265.22 o 2283406 275.66/265.22 o 2285822 275.66/265.28 o 2287224 276.38/266.00 o 2289136 276.49/266.06 o 2290403 278.33/267.81 o 2290439 278.33/267.81 o 2290550 278.33/267.81 o 2292397 278.33/267.81 o 2294136 278.33/267.81 o 2295832 278.33/267.81 o 2296502 278.33/267.81 o 2296545 278.33/267.82 o 2298241 296.29/285.38 o 2300502 296.60/285.63 o 2302091 296.71/285.75 o 2303476 301.55/290.41 o 2304642 301.55/290.41 o 2305458 301.55/290.41 o 2305639 301.55/290.43 o 2308370 301.55/290.43 o 2308551 301.55/290.47 o 2309186 301.55/290.47 o 2309367 301.55/290.47 o 2309836 301.55/290.47 o 2310652 301.55/290.47 o 2310833 305.90/294.69 o 2313529 306.00/294.74 o 2314303 306.00/294.74 o 2314498 306.00/294.74 o 2315314 306.00/294.75 o 2319048 306.00/294.75 o 2320744 306.00/294.77 o 2321560 312.66/301.23 o 2322267 312.98/301.53 o 2322401 312.98/301.53 o 2322704 312.98/301.53 o 2323835 312.98/301.57 o 2324443 312.98/301.57 o 2325574 313.08/301.69 o 2325590 313.08/301.69 o 2325761 313.38/301.96 o 2325895 313.38/301.96 o 2327329 313.61/302.15 o 2328460 314.10/302.66 o 2328772 314.10/302.66 o 2328879 314.10/302.66 o 2328932 314.10/302.66 o 2329627 314.10/302.66 o 2329773 314.10/302.66 o 2330468 314.10/302.66 o 2330649 314.42/302.97 o 2330948 314.42/302.97 o 2331963 320.17/308.53 o 2332096 320.17/308.53 o 2332223 320.27/308.61 o 2333541 320.27/308.61 o 2334632 322.02/310.38 o 2341692 322.02/310.38 o 2343080 322.75/310.84 o 2344534 322.75/310.84 o 2344715 322.75/310.84 o 2345665 322.75/310.84 o 2345846 322.75/310.84 o 2345966 322.75/310.86 o 2346042 322.75/310.86 o 2347173 322.85/310.94 o 2347234 322.85/310.94 o 2347354 322.85/310.97 o 2347461 322.85/310.97 o 2348395 322.85/310.97 o 2348895 332.76/320.64 o 2348921 332.76/320.64 o 2350628 334.92/322.70 o 2351145 334.92/322.70 o 2352530 334.92/322.70 o 2353371 334.92/322.70 o 2353905 334.92/322.70 o 2354746 334.92/322.70 o 2355290 334.92/322.70 o 2356131 356.64/343.63 o 2356905 356.64/343.63 o 2357847 356.64/343.63 o 2358594 359.01/345.98 o 2359197 359.22/346.15 o 2359385 359.22/346.15 o 2360074 359.22/346.15 o 2360819 359.22/346.15 o 2361508 359.42/346.31 o 2362695 359.42/346.31 o 2363710 366.29/353.08 o 2368267 366.48/353.29 o 2368721 366.48/353.29 o 2369410 366.48/353.29 o 2370262 366.48/353.29 o 2370951 366.59/353.31 o 2372241 366.59/353.31 o 2372289 366.59/353.31 o 2373830 366.59/353.31 o 2374519 366.59/353.31 o 2374685 366.59/353.31 o 2375537 366.59/353.31 o 2376226 367.71/354.46 o 2376259 367.71/354.48 o 2377998 387.56/373.73 o 2378483 387.76/373.93 o 2379673 387.76/373.93 o 2381369 459.89/444.10 o 2381614 494.66/477.91 o 2382556 494.66/477.91 o 2383498 494.66/477.91 o 2384705 494.66/477.91 o 2385647 494.66/477.91 o 2386246 494.66/477.91 o 2387188 500.39/483.59 o 2387379 500.39/483.59 o 2388394 509.93/492.88 o 2388899 510.03/492.99 o 2390512 510.14/493.04 o 2391454 556.75/537.87 o 2391770 556.75/537.87 o 2391961 556.85/537.95 o 2392344 556.85/537.95 o 2393359 556.85/538.00 o 2393550 604.31/584.38 o 2394356 604.31/584.38 o 2394537 604.31/584.38 o 2395405 604.31/584.38 o 2396420 604.31/584.38 o 2396601 604.31/584.38 o 2396839 604.31/584.39 o 2397020 604.31/584.39 o 2397854 604.31/584.39 o 2398035 604.31/584.39 o 2398796 604.31/584.39 o 2398977 605.34/585.30 o 2399261 605.34/585.30 o 2400276 605.34/585.30 o 2401116 605.34/585.30 o 2402131 605.34/585.30 o 2402550 605.34/585.30 o 2403565 605.34/585.30 o 2404507 605.54/585.54 o 2404688 662.02/640.48 o 2404762 746.30/722.78 o 2404812 746.30/722.78 o 2405416 746.30/722.78 o 2405490 746.30/722.79 o 2405580 746.30/722.79 o 2406327 746.30/722.79 o 2406401 746.30/722.79 o 2407121 746.30/722.79 o 2407195 746.30/722.79 o 2407868 746.30/722.79 o 2407942 767.82/743.71 o 2408057 767.82/743.76 o 2408468 767.82/743.76 o 2408604 767.82/743.76 o 2409309 767.82/743.76 o 2409445 767.92/743.80 o 2409490 767.92/743.81 o 2409626 768.02/743.91 o 2409637 768.02/743.91 o 2410394 768.02/743.91 o 2411025 768.02/743.91 o 2411782 768.02/743.91 o 2411963 768.02/743.91 o 2412191 768.02/743.91 o 2413032 768.02/743.91 o 2413213 768.02/743.91 o 2413933 768.02/743.91 o 2414114 768.02/743.91 o 2414379 768.02/743.91 o 2415321 768.02/743.91 o 2415502 768.02/743.92 o 2416162 768.02/743.92 o 2416343 768.02/743.92 o 2416919 768.02/743.92 o 2417100 768.02/743.97 o 2417236 768.87/744.71 o 2417426 768.87/744.71 o 2417613 768.87/744.71 o 2418059 768.87/744.71 o 2419001 768.87/744.71 o 2419842 768.87/744.71 o 2420599 768.87/744.76 o 2420735 768.97/744.81 o 2420780 768.97/744.81 o 2420916 771.54/747.31 o 2420957 771.54/747.31 o 2421383 771.54/747.31 o 2421457 810.93/785.57 o 2422248 810.93/785.57 o 2423263 810.93/785.57 o 2424036 810.93/785.57 o 2424559 810.93/785.57 o 2425332 810.93/785.57 o 2425574 810.93/785.57 o 2426347 810.93/785.57 o 2427104 813.78/788.35 o 2428291 813.78/788.36 o 2429038 813.98/788.51 o 2431363 813.98/788.51 o 2432120 813.98/788.51 o 2432378 813.98/788.51 o 2433135 895.71/868.37 o 2433727 895.71/868.37 o 2434500 895.71/868.37 o 2434691 900.93/873.41 o 2434858 900.93/873.41 o 2435858 900.93/873.41 o 2436399 900.93/873.41 o 2436535 1017.77/987.01 o 2436556 1017.77/987.01 o 2436630 1113.00/1079.67 o 2436846 1113.00/1079.67 o 2437603 1113.00/1079.67 o 2437739 1205.29/1169.53 o 2439211 1205.29/1169.53 o 2440323 1205.29/1169.53 o 2441891 1205.29/1169.53 o 2442664 1206.73/1171.00 o 2442833 1206.73/1171.00 o 2443606 1245.89/1209.21 o 2444004 1245.89/1209.21 o 2444099 1246.75/1210.01 o 2444246 1246.75/1210.01 o 2445019 1247.85/1211.19 o 2445114 1248.40/1211.68 o 2445155 1248.40/1211.68 o 2445433 1248.40/1211.68 o 2445528 1248.40/1211.68 o 2446448 1248.40/1211.68 o 2446543 1248.40/1211.68 o 2447221 1248.40/1211.68 o 2447316 1250.75/1213.92 o 2447978 1251.05/1214.28 o 2448073 1263.95/1226.88 o 2448283 1263.95/1226.88 o 2448464 1263.95/1226.88 o 2448538 1264.31/1227.15 o 2449298 1264.31/1227.15 o 2449372 1264.31/1227.15 o 2449479 1264.31/1227.15 o 2449553 1302.92/1264.46 o 2450623 1303.32/1264.82 o 2451140 1303.32/1264.82 o 2451189 1303.32/1264.82 o 2452574 1322.77/1283.82 o 2453642 1325.05/1286.10 o 2453782 1325.05/1286.10 o 2456462 1327.22/1288.13 o 2458498 1465.78/1423.10 o 2458657 1465.78/1423.10 o 2458793 1686.72/1637.73 o 2458953 1686.72/1637.73 o 2459642 1687.32/1638.38 o 2462723 1687.32/1638.38 o 2464759 1687.32/1638.38 o 2465774 1687.32/1638.38 o 2466463 1699.70/1650.49 o 2466685 1921.70/1865.78 o 2467316 1921.70/1865.78 o 2467345 1921.70/1865.78 o 2469286 1921.70/1865.78 o 2470547 1921.70/1865.78 o 2471562 1921.90/1865.90 o 2471698 2236.63/2172.47 o 2471762 2236.63/2172.48 o 2473196 2236.63/2172.48 o 2473332 2236.63/2172.48 o 2474107 2236.63/2172.48 o 2474243 2236.63/2172.48 o 2474880 2236.63/2172.48 o 2475016 2241.69/2177.41 o 2475163 2241.69/2177.41 o 2476424 2243.66/2179.39 o 2477297 2243.66/2179.39 o 2478731 2261.93/2196.76 o 2479992 2282.49/2216.82 o 2480448 2282.49/2216.83 o 2480501 2282.49/2216.83 o 2481762 2282.49/2216.83 o 2482303 2294.81/2228.86 o 2482439 2400.09/2331.11 s SATISFIABLE 2400.09/2331.11 v <instantiation> 2400.09/2331.11 v <list> 2400.09/2331.11 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2400.09/2331.11 v </list> 2400.09/2331.11 v <values> 2400.09/2331.11 v 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 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 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 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 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 2400.09/2331.11 v </values> 2400.09/2331.11 v </instantiation>
OK 2482439
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 (12078 MiB free)
memory of node 1: 16384 MiB (14262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291731-1532257343/watcher-4291731-1532257343 -o /tmp/evaluation-result-4291731-1532257343/solver-4291731-1532257343 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26746 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 562842526 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291731-1532257343.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=30520, runsolver pid=30517
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.58 1.40 1.35 4/217 30535
/proc/meminfo: memFree=26955316/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14082740 memory=32572 CPUtime=0.11 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 7058 0 0 0 10 1 0 0 20 0 15 0 43297479 14420725760 8143 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3520685 8143 3155 1 0 3482761 0
[pid=30520/tid=30522] ppid=30517 vsize=14082740 memory=-8629632960754388606 CPUtime=0.08 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 5082 0 0 0 8 0 0 0 20 0 15 0 43297479 14420725760 8143 33554432000 4194304 4196468 140724198799888 140278166405448 140278050123129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 8143 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297481 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43297482 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277635286048 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43297482 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277634233200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0.01 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) R 30517 30520 26714 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 43297484 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277630024304 140278140906656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297485 14420725760 8143 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32572 KiB
[startup+0.210503 s]*
/proc/loadavg: 1.58 1.40 1.35 5/217 30535
/proc/meminfo: memFree=26939688/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14082740 memory=46236 CPUtime=0.3 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 10206 0 0 0 29 1 0 0 20 0 15 0 43297479 14420725760 11559 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3520685 11559 3359 1 0 3482761 0
[pid=30520/tid=30522] ppid=30517 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 1077944384 7789 0 0 0 19 1 0 0 20 0 15 0 43297479 14420725760 11559 33554432000 4194304 4196468 140724198799888 140278166432368 140278162216661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14082740 memory=345 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 11559 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14082740 memory=4050344353598387872 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43297481 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43297482 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277635286048 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43297482 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277634233200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) R 30517 30520 26714 0 -1 4202560 510 0 0 0 1 0 0 0 20 0 15 0 43297484 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277632129904 140278146102609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 15 0 43297484 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0.06 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) R 30517 30520 26714 0 -1 4202560 399 0 0 0 6 0 0 0 20 0 15 0 43297484 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277630021240 140278141061724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297485 14420725760 11559 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46236 KiB
[startup+0.311645 s]*
/proc/loadavg: 1.58 1.40 1.35 5/217 30535
/proc/meminfo: memFree=26935904/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14082740 memory=49744 CPUtime=0.43 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 10607 0 0 0 41 2 0 0 20 0 15 0 43297479 14420725760 12436 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3520685 12436 3362 1 0 3482761 0
[pid=30520/tid=30522] ppid=30517 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 8141 0 0 0 28 1 0 0 20 0 15 0 43297479 14420725760 12436 33554432000 4194304 4196468 140724198799888 140278166415696 140278142482162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 12436 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14082740 memory=3905947690545821344 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43297481 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43297482 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277635286048 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43297482 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277634233200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 43297484 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 131 0 0 0 2 0 0 0 20 0 15 0 43297484 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0.08 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) S 30517 30520 26714 0 -1 1077944384 435 0 0 0 8 0 0 0 20 0 15 0 43297484 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277630024304 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14082740 memory=140207801874048 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297485 14420725760 12436 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49744 KiB
[startup+0.700706 s]
/proc/loadavg: 1.58 1.40 1.35 4/217 30535
/proc/meminfo: memFree=26913712/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14084808 memory=87948 CPUtime=0.98 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 17389 0 0 0 94 4 0 0 20 0 15 0 43297479 14422843392 21987 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3521202 21987 3499 1 0 3483273 0
[pid=30520/tid=30522] ppid=30517 vsize=14084808 memory=1724 CPUtime=0.67 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 14447 0 0 0 64 3 0 0 20 0 15 0 43297479 14422843392 21987 33554432000 4194304 4196468 140724198799888 140278166431760 140278162228381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14422843392 21987 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14084808 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14084808 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14084808 memory=1956 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43297481 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14084808 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43297482 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277635286048 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14084808 memory=8356 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43297482 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277634233200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14084808 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14084808 memory=7811323491934034026 CPUtime=0.07 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 702 0 0 0 7 0 0 0 20 0 15 0 43297484 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14084808 memory=5787213827130353767 CPUtime=0.07 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 284 0 0 0 7 0 0 0 20 0 15 0 43297484 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) R 30517 30520 26714 0 -1 4202560 573 0 0 0 15 0 0 0 20 0 15 0 43297484 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277630024304 140278140745509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297485 14422843392 21987 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 87948 KiB
[startup+1.50078 s]
/proc/loadavg: 1.58 1.40 1.35 6/217 30535
/proc/meminfo: memFree=26868360/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14086856 memory=183620 CPUtime=2.94 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 24381 0 0 0 287 7 0 0 20 0 15 0 43297479 14424940544 45905 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3521714 45905 3555 1 0 3483785 0
[pid=30520/tid=30522] ppid=30517 vsize=14086856 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 16690 0 0 0 141 5 0 0 20 0 15 0 43297479 14424940544 45905 33554432000 4194304 4196468 140724198799888 140278166440952 140277803376807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14086856 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14424940544 45905 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14086856 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43297480 14424940544 45905 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14086856 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14424940544 45905 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43297480 14424940544 45905 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 15 0 43297481 14424940544 45905 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
################
# More data... #
################
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 134538 0 0 0 223943 59 0 0 20 0 15 0 43297479 14431232000 349992 33554432000 4194304 4196468 140724198799888 140278166443584 140277802677835 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14093000 memory=1418436 CPUtime=19.68 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 21538 0 0 0 1893 75 0 0 20 0 15 0 43297480 14431232000 349992 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14093000 memory=1417408 CPUtime=19.64 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 19929 0 0 0 1888 76 0 0 20 0 15 0 43297480 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14093000 memory=1417408 CPUtime=19.64 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 21066 0 0 0 1889 75 0 0 20 0 15 0 43297480 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14093000 memory=1417408 CPUtime=19.65 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 21883 0 0 0 1890 75 0 0 20 0 15 0 43297480 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14093000 memory=1399968 CPUtime=1.54 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 90551 0 0 0 131 23 0 0 20 0 15 0 43297481 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277635286112 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14093000 memory=1435876 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277634233216 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14093000 memory=1417408 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14093000 memory=1418436 CPUtime=3.07 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 24876 0 0 0 304 3 0 0 20 0 15 0 43297484 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14093000 memory=1417408 CPUtime=3.29 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 28759 0 0 0 326 3 0 0 20 0 15 0 43297484 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14093000 memory=4140 CPUtime=1.28 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) S 30517 30520 26714 0 -1 1077944384 25647 0 0 0 124 4 0 0 20 0 15 0 43297484 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277630024304 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14093000 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14093000 memory=1417408 CPUtime=1.22 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1732 0 0 0 54 68 0 0 20 0 15 0 43297485 14431232000 349992 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 2329.12 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1399968 KiB
[startup+2322.3 s]
/proc/loadavg: 0.88 1.16 1.35 2/194 30655
/proc/meminfo: memFree=28039096/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14093000 memory=1306624 CPUtime=2391.01 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 398955 0 0 0 238652 449 0 0 20 0 15 0 43297479 14431232000 326656 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3523250 326656 3619 1 0 3485321 0
[pid=30520/tid=30522] ppid=30517 vsize=14093000 memory=1306624 CPUtime=2299.36 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 135959 0 0 0 229876 60 0 0 20 0 15 0 43297479 14431232000 326656 33554432000 4194304 4196468 140724198799888 140278166443472 140277809286216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14093000 memory=1306624 CPUtime=20.3 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 22519 0 0 0 1955 75 0 0 20 0 15 0 43297480 14431232000 326656 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14093000 memory=1306624 CPUtime=20.25 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 20683 0 0 0 1949 76 0 0 20 0 15 0 43297480 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14093000 memory=1306624 CPUtime=20.25 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 21494 0 0 0 1950 75 0 0 20 0 15 0 43297480 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14093000 memory=0 CPUtime=20.27 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 22424 0 0 0 1952 75 0 0 20 0 15 0 43297480 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14093000 memory=1326120 CPUtime=1.57 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 93078 0 0 0 133 24 0 0 20 0 15 0 43297481 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14093000 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277635286112 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14093000 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277634233216 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14093000 memory=7888 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14093000 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 24878 0 0 0 304 3 0 0 20 0 15 0 43297484 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14093000 memory=4639622827774857296 CPUtime=3.3 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 29070 0 0 0 327 3 0 0 20 0 15 0 43297484 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14093000 memory=1306624 CPUtime=1.28 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) S 30517 30520 26714 0 -1 1077944384 25649 0 0 0 124 4 0 0 20 0 15 0 43297484 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277630024304 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14093000 memory=1307652 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14093000 memory=6791534058613427641 CPUtime=1.26 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1761 0 0 0 55 71 0 0 20 0 15 0 43297485 14431232000 326656 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 2391.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1306624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2331.11 s]
/proc/loadavg: 0.83 1.14 1.34 2/194 30655
/proc/meminfo: memFree=28037976/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14093000 memory=1307896 CPUtime=2400.09 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 399189 0 0 0 239557 452 0 0 20 0 15 0 43297479 14431232000 326974 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3523250 326974 3619 1 0 3485321 0
[pid=30520/tid=30522] ppid=30517 vsize=14093000 memory=164 CPUtime=2308.08 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 135994 0 0 0 230748 60 0 0 20 0 15 0 43297479 14431232000 326974 33554432000 4194304 4196468 140724198799888 140278166443424 140277809286211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14093000 memory=9924 CPUtime=20.39 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 22559 0 0 0 1963 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14093000 memory=1289184 CPUtime=20.34 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 20727 0 0 0 1958 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14093000 memory=1289184 CPUtime=20.34 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 21531 0 0 0 1958 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14093000 memory=1307896 CPUtime=20.36 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 22446 0 0 0 1960 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14093000 memory=1307896 CPUtime=1.58 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 93132 0 0 0 134 24 0 0 20 0 15 0 43297481 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14093000 memory=1289184 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277635286112 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277634233216 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14093000 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14093000 memory=288230621803970871 CPUtime=3.07 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 24878 0 0 0 304 3 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14093000 memory=-1 CPUtime=3.3 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 29070 0 0 0 327 3 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14093000 memory=280415328256112 CPUtime=1.28 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) S 30517 30520 26714 0 -1 1077944384 25649 0 0 0 124 4 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277630024304 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14093000 memory=1289184 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14093000 memory=1306624 CPUtime=1.26 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1763 0 0 0 55 71 0 0 20 0 15 0 43297485 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1307896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2331.14 s]
# the end of solver process 30520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.59 s, system=4.52962 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2331.11 s]
/proc/loadavg: 0.83 1.14 1.34 2/194 30655
/proc/meminfo: memFree=28037976/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=14093000 memory=1307896 CPUtime=2400.09 cores=1,3,5,7
/proc/30520/stat : 30520 (java) S 30517 30520 26714 0 -1 1077944320 399189 0 0 0 239557 452 0 0 20 0 15 0 43297479 14431232000 326974 33554432000 4194304 4196468 140724198799888 140724198782432 140278162206455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
/proc/30520/statm: 3523250 326974 3619 1 0 3485321 0
[pid=30520/tid=30522] ppid=30517 vsize=14093000 memory=164 CPUtime=2308.08 cores=1,3,5,7
/proc/30520/task/30522/stat : 30522 (java) R 30517 30520 26714 0 -1 4202560 135994 0 0 0 230748 60 0 0 20 0 15 0 43297479 14431232000 326974 33554432000 4194304 4196468 140724198799888 140278166443424 140277809286211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30523] ppid=30517 vsize=14093000 memory=9924 CPUtime=20.39 cores=1,3,5,7
/proc/30520/task/30523/stat : 30523 (java) S 30517 30520 26714 0 -1 1077944384 22559 0 0 0 1963 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140278129765520 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30524] ppid=30517 vsize=14093000 memory=1289184 CPUtime=20.34 cores=1,3,5,7
/proc/30520/task/30524/stat : 30524 (java) S 30517 30520 26714 0 -1 1077944384 20727 0 0 0 1958 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277756918800 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30525] ppid=30517 vsize=14093000 memory=1289184 CPUtime=20.34 cores=1,3,5,7
/proc/30520/task/30525/stat : 30525 (java) S 30517 30520 26714 0 -1 1077944384 21531 0 0 0 1958 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277755866000 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30526] ppid=30517 vsize=14093000 memory=1307896 CPUtime=20.36 cores=1,3,5,7
/proc/30520/task/30526/stat : 30526 (java) S 30517 30520 26714 0 -1 1077944384 22446 0 0 0 1960 76 0 0 20 0 15 0 43297480 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277754813200 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30527] ppid=30517 vsize=14093000 memory=1307896 CPUtime=1.58 cores=1,3,5,7
/proc/30520/task/30527/stat : 30527 (java) S 30517 30520 26714 0 -1 1077944384 93132 0 0 0 134 24 0 0 20 0 15 0 43297481 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277636340080 140278162217602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30528] ppid=30517 vsize=14093000 memory=1289184 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30528/stat : 30528 (java) S 30517 30520 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277635286112 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30529] ppid=30517 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30529/stat : 30529 (java) S 30517 30520 26714 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43297482 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277634233216 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30530] ppid=30517 vsize=14093000 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30530/stat : 30530 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277633181520 140278162225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30531] ppid=30517 vsize=14093000 memory=288230621803970871 CPUtime=3.07 cores=1,3,5,7
/proc/30520/task/30531/stat : 30531 (java) S 30517 30520 26714 0 -1 1077944384 24878 0 0 0 304 3 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277632129904 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30532] ppid=30517 vsize=14093000 memory=-1 CPUtime=3.3 cores=1,3,5,7
/proc/30520/task/30532/stat : 30532 (java) S 30517 30520 26714 0 -1 1077944384 29070 0 0 0 327 3 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277631077104 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30533] ppid=30517 vsize=14093000 memory=280415328256112 CPUtime=1.28 cores=1,3,5,7
/proc/30520/task/30533/stat : 30533 (java) S 30517 30520 26714 0 -1 1077944384 25649 0 0 0 124 4 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277630024304 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30534] ppid=30517 vsize=14093000 memory=1289184 CPUtime=0 cores=1,3,5,7
/proc/30520/task/30534/stat : 30534 (java) S 30517 30520 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43297484 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277628971744 140278162216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
[pid=30520/tid=30535] ppid=30517 vsize=14093000 memory=1306624 CPUtime=1.26 cores=1,3,5,7
/proc/30520/task/30535/stat : 30535 (java) S 30517 30520 26714 0 -1 1077944384 1763 0 0 0 55 71 0 0 20 0 15 0 43297485 14431232000 326974 33554432000 4194304 4196468 140724198799888 140277627919024 140278162217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 17948672 140724198802517 140724198802697 140724198802697 140724198805455 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1307896 KiB
Child status: 143
Real time (s): 2331.14
CPU time (s): 2400.12
CPU user time (s): 2395.59
CPU system time (s): 4.52962
CPU usage (%): 102.959
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1556988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.59
system time used= 4.52962
maximum resident set size= 1558016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82412
involuntary context switches= 2686
# summary of solver processes directly reported to runsolver:
# pid: 30520
# total CPU time (s): 2400.12
# total CPU user time (s): 2395.59
# total CPU system time (s): 4.52962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1359 second user time and 21.8344 second system time
The end
Begin job on node149 at 2018-07-22 13:02:23 IDJOB=4291731 IDBENCH=141152 IDSOLVER=2746 FILE ID=node149/4291731-1532257343 RUNJOBID= node149-1532226534-26746 PBS_JOBID= 21018956 Free space on /tmp= 51848 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-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-4291731-1532257343/watcher-4291731-1532257343 -o /tmp/evaluation-result-4291731-1532257343/solver-4291731-1532257343 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26746 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 562842526 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291731-1532257343.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945 RANDOM SEED=562842526 node149.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.60 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.60 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.60 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.60 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: 26972864 kB MemAvailable: 29646064 kB Buffers: 109388 kB Cached: 2823856 kB SwapCached: 0 kB Active: 3839604 kB Inactive: 1471464 kB Active(anon): 2327316 kB Inactive(anon): 70200 kB Active(file): 1512288 kB Inactive(file): 1401264 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35956 kB Writeback: 40 kB AnonPages: 2387536 kB Mapped: 48880 kB Shmem: 17032 kB Slab: 178548 kB SReclaimable: 150968 kB SUnreclaim: 27580 kB KernelStack: 3520 kB PageTables: 9888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3263308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2232320 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 51848 MiB End job on node149 at 2018-07-22 13:41:14