Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete + CSP4J - MCRW Engine 2008-05-30 | MSAT (TO) | 18 | 3600.01 | 3639.93 |
| Name | csp/js-taillard-15/ normalized-js-taillard-15-95-2.xml |
| MD5SUM | 82e30b1cc0425fc71c427eb8ae1415f1 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MOPT |
| Best Number of falsified constraints | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1098.43 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 1785 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1171 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1785 |
| Global constraints used (with number of constraints) |
3.15/3.25 c CPU-LOAD 1.45 3.15/3.25 c LOADED 225 V (1171 E), 210 DiffConstraint, 1575 DTPConstraint, arity 2, 1.45 cpu 7.89/8.04 s SATISFIABLE 7.89/8.04 o 1696 7.89/8.04 v 286 1002 348 915 730 580 984 48 864 379 159 573 826 15 189 1061 84 371 462 677 467 275 547 596 751 101 26 196 387 666 743 227 569 712 755 710 1039 368 1021 56 656 684 109 214 671 451 963 226 355 644 357 136 930 988 131 504 446 255 613 903 689 1112 70 747 952 520 381 425 375 663 894 942 103 790 579 834 1073 52 215 105 339 520 163 477 792 651 1091 141 302 956 68 659 118 980 449 811 859 555 645 685 795 73 157 582 89 38 466 326 831 38 78 167 56 315 251 45 95 413 268 260 351 974 1059 830 428 311 657 813 175 242 364 521 47 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 389 798 4 144 167 500 1092 495 672 898 434 520 467 1033 342 509 603 162 510 567 96 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 78 773 854 828 865 58 180 891 283 887 978 1040 359 467 290 22 547 907 958 1 88 144 418 836 221 276 604 849 350 1055 101 280 423 125 7.89/8.06 o 1697 7.89/8.06 v 286 1002 348 915 701 580 984 48 864 379 159 573 826 15 189 1061 84 371 462 677 467 275 547 596 751 101 26 196 387 666 743 227 569 712 755 710 1039 368 1021 56 656 684 109 214 671 451 963 226 355 644 357 136 274 604 1095 504 446 255 613 903 689 1112 70 747 952 520 381 425 375 663 894 942 103 790 579 834 1073 52 119 105 339 520 163 477 792 651 1091 141 302 956 68 659 118 980 449 811 859 555 645 685 795 6 157 582 89 38 466 326 1030 38 78 167 56 315 251 45 95 413 268 260 351 974 1059 830 428 550 657 813 175 242 364 663 47 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 389 798 4 144 167 500 1092 495 672 898 434 520 467 1033 342 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 78 773 854 828 865 58 180 891 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 836 221 276 604 849 350 1055 101 280 423 125 7.89/8.06 o 1698 7.89/8.06 v 286 1002 348 915 701 580 984 48 864 379 159 573 826 15 189 1061 84 371 462 677 467 275 547 596 751 101 26 196 387 666 743 227 569 712 755 710 1039 368 1021 56 656 684 109 214 671 451 963 226 355 644 357 136 274 604 1095 504 446 255 613 903 689 1112 70 747 952 520 381 425 375 663 894 942 103 790 579 834 1073 52 119 105 339 520 163 477 792 651 1091 141 302 956 68 659 118 256 449 811 859 555 645 685 795 6 157 582 89 38 466 326 1030 38 78 167 56 315 251 45 95 413 268 260 351 974 1059 830 428 550 657 813 193 242 364 663 47 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 389 798 4 144 167 500 1092 495 672 898 434 520 467 1033 342 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 78 773 854 828 865 58 180 985 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 836 221 276 604 849 350 1055 101 280 423 125 7.89/8.07 o 1699 7.89/8.07 v 286 1002 348 915 701 580 984 48 864 379 159 573 826 15 189 1061 84 371 462 677 467 275 547 596 751 101 26 196 387 666 743 227 569 712 755 710 1039 368 1021 56 656 684 109 214 671 451 963 226 355 644 357 136 274 604 1095 504 446 255 613 903 689 1112 70 747 952 520 381 425 375 663 894 942 103 790 579 834 1073 52 119 105 339 520 163 477 792 651 1091 141 302 956 68 659 118 256 449 811 859 555 645 685 795 6 157 582 89 38 466 652 1030 38 78 167 56 315 251 45 95 413 268 260 351 974 1059 830 428 541 657 813 193 242 364 663 47 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 389 798 4 144 167 500 1092 495 672 898 434 520 467 1033 342 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 78 773 854 828 865 58 180 985 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 836 221 276 604 849 350 1055 101 280 423 125 7.89/8.08 o 1700 7.89/8.08 v 286 1002 348 915 701 580 984 48 864 379 159 573 826 15 189 1061 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 712 755 710 1039 368 1021 56 656 684 109 214 671 451 963 226 355 644 357 136 274 604 337 504 446 255 613 903 689 1112 70 747 952 520 381 425 375 663 894 942 103 790 579 834 1073 1123 1148 249 339 520 163 477 792 651 1091 141 302 956 68 659 118 256 449 811 859 555 645 685 795 6 157 582 89 38 466 652 1132 38 78 167 56 315 251 45 95 413 268 260 351 974 1059 830 422 797 654 813 193 242 364 663 689 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 389 798 4 144 167 500 1092 495 672 898 434 520 467 1033 342 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 78 773 854 828 865 58 180 985 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 836 221 276 604 849 927 1055 101 280 423 125 7.89/8.08 o 1701 7.89/8.08 v 286 1002 348 915 701 580 984 48 864 379 159 573 826 15 189 1061 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 1102 755 710 1039 368 1021 56 656 684 109 214 671 451 963 226 355 644 357 136 274 604 337 417 446 255 613 903 689 1112 70 747 952 520 381 425 375 663 894 942 103 790 579 834 1073 1123 1148 249 339 520 163 477 792 651 1091 141 302 956 68 659 118 256 449 811 859 555 645 685 795 6 157 582 89 38 466 652 1132 38 78 167 56 315 251 45 95 413 268 260 351 974 1059 830 422 797 654 813 193 242 364 663 689 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 389 798 4 144 167 500 1092 495 672 898 434 520 467 1033 342 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 78 773 854 828 865 58 180 985 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 836 221 276 604 849 927 1055 101 280 423 125 7.99/8.11 o 1702 7.99/8.11 v 286 1002 348 915 701 859 984 48 892 379 159 573 826 15 189 1058 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 684 109 214 671 451 963 235 355 644 357 136 274 604 337 417 446 255 613 1057 689 1112 70 747 860 520 381 425 375 663 894 942 103 790 579 834 1073 1123 1148 249 339 520 163 477 792 651 1091 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 582 89 38 466 652 1132 38 78 167 56 315 251 45 95 413 268 260 351 974 1056 830 422 797 654 813 193 242 364 663 689 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 898 434 520 854 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 695 773 854 828 865 8 180 945 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 614 221 276 604 849 927 1055 101 280 423 125 7.99/8.11 o 1703 7.99/8.11 v 286 1002 348 915 701 859 984 48 892 379 159 573 826 15 189 1058 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 684 109 214 671 451 963 235 355 644 357 136 274 604 337 417 446 255 613 1057 689 1112 70 747 860 520 381 425 375 663 894 942 103 790 579 834 1073 1123 1148 249 339 520 824 477 792 651 1091 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 582 89 38 466 652 1132 38 78 167 56 315 251 45 95 413 268 260 351 974 1056 830 422 797 654 813 193 242 364 663 689 759 939 978 1049 18 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 898 434 520 854 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 68 810 965 117 304 695 773 854 828 865 8 180 945 283 887 978 1040 359 467 1037 22 547 907 958 1 88 144 418 614 221 276 604 849 927 1055 101 280 405 125 7.99/8.14 o 1704 7.99/8.14 v 286 1002 348 915 718 859 984 48 892 379 159 573 826 15 189 1034 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 684 109 214 671 451 963 235 355 644 357 136 274 604 337 417 446 255 613 1057 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1148 249 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 582 89 38 466 652 1132 38 78 167 56 315 251 45 316 413 268 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 659 810 965 117 304 695 773 854 828 865 8 180 907 283 887 978 241 359 467 1037 22 547 907 958 1 88 144 418 614 221 276 604 849 936 1055 101 280 405 125 7.99/8.14 o 1705 7.99/8.14 v 286 1002 348 915 718 859 984 48 892 379 159 573 826 15 189 1034 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 684 109 214 671 451 963 223 355 644 357 136 274 604 337 417 446 255 613 1057 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 249 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 582 89 38 466 652 1132 38 78 167 56 315 251 45 316 413 268 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1082 55 200 618 659 810 965 117 304 695 773 854 828 865 8 180 907 283 887 978 241 359 467 1037 22 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.15 o 1706 7.99/8.15 v 286 1002 348 915 718 859 984 48 892 379 159 573 826 15 189 1034 84 371 462 677 467 275 547 596 751 101 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 963 223 355 644 357 136 274 604 337 417 592 255 613 1057 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 249 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 584 74 38 466 652 1132 38 78 167 56 315 251 45 316 413 268 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 55 200 618 659 810 965 1126 304 695 773 854 828 865 8 180 943 283 887 978 241 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.16 o 1707 7.99/8.16 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 1034 84 371 462 677 461 275 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 136 274 604 337 417 592 255 613 1057 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 584 74 38 466 652 1132 38 78 167 56 315 251 45 316 413 268 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 55 200 618 659 810 965 1126 304 695 773 854 828 865 8 180 943 283 887 978 241 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.16 o 1708 7.99/8.16 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 1034 84 371 462 677 461 275 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 136 274 604 337 417 592 255 613 1021 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 584 74 38 466 652 1132 38 78 167 56 315 411 45 316 413 268 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 748 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 55 200 618 659 810 965 1126 304 695 773 854 828 865 8 180 943 283 887 978 241 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.17 o 1709 7.99/8.17 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 275 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 584 74 38 466 652 1132 38 78 167 56 315 411 45 316 413 872 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 510 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 55 200 618 659 810 965 1126 304 695 773 854 828 865 8 180 943 283 887 978 241 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.17 o 1710 7.99/8.17 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 860 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 6 157 584 74 38 466 652 1132 38 78 167 56 315 411 45 316 413 872 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 507 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 55 200 618 659 810 965 1126 304 695 773 854 828 865 8 180 943 283 887 978 241 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.18 o 1711 7.99/8.18 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 812 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 1126 157 584 989 38 466 652 1132 4 78 167 56 315 411 45 316 413 872 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 507 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 52 200 618 659 810 965 1126 304 695 773 854 1038 865 8 180 943 283 887 978 241 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.18 o 1713 7.99/8.18 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 812 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 792 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 685 930 1126 157 584 989 38 466 652 1132 4 78 167 56 315 411 45 316 413 872 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 507 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 52 200 618 659 810 965 1126 304 695 773 854 1038 865 8 180 943 283 887 978 1035 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.18 o 1714 7.99/8.18 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 1021 56 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 812 520 808 1056 375 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 44 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 411 45 316 413 872 260 351 974 1056 830 422 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 946 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 507 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 52 200 618 659 810 965 1126 304 695 773 854 1038 865 8 180 943 283 887 978 1035 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.19 o 1715 7.99/8.19 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 25 196 387 666 743 227 569 1102 755 840 1041 368 468 597 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 812 520 808 1056 74 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 44 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 411 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 507 567 66 264 630 1043 1122 199 716 160 83 293 425 1014 870 918 1084 52 200 618 659 810 965 1126 304 695 773 854 1038 865 8 180 943 283 887 978 1035 359 467 1037 1123 547 907 958 1 88 144 418 614 221 276 568 849 936 1055 101 280 405 125 7.99/8.19 o 1716 7.99/8.19 v 286 1002 348 915 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 3 196 387 666 743 227 569 1102 755 840 1041 368 468 597 656 14 109 214 671 451 984 223 355 644 357 119 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1056 74 663 894 942 103 790 579 834 1073 1123 1156 250 339 520 824 477 44 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 411 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 237 491 514 688 798 4 144 167 500 1092 495 672 61 434 520 652 1033 102 509 603 162 507 567 66 264 630 1043 1122 199 716 160 266 293 425 1014 870 918 1084 52 200 618 659 810 965 1126 304 695 773 854 1038 865 8 180 943 286 887 978 1035 359 467 1037 1123 547 907 958 1 88 144 418 956 221 276 568 849 936 1055 101 280 405 125 8.09/8.21 o 1717 8.09/8.21 v 286 1002 348 436 718 859 984 48 892 379 1070 573 826 15 189 476 84 371 462 677 461 451 547 596 751 953 3 196 387 666 727 227 569 1102 755 840 1041 368 468 597 656 14 109 214 671 451 984 223 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1056 74 663 894 942 103 790 579 104 1073 1123 1156 157 339 520 824 477 44 651 1085 141 302 956 68 659 13 256 449 811 859 555 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 411 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 237 491 514 688 798 4 144 167 500 1105 495 672 42 434 520 652 1033 102 509 603 162 507 567 56 264 630 1043 48 199 716 160 266 293 425 1014 870 918 1084 52 200 618 659 810 965 1133 304 695 773 854 1038 865 33 180 916 286 887 978 1035 359 467 1037 1123 547 907 958 1 88 144 418 165 221 276 568 849 524 1055 101 280 405 125 8.09/8.22 o 1718 8.09/8.22 v 286 1002 348 436 718 859 984 48 892 379 1070 573 826 15 189 197 84 371 462 677 461 451 547 596 751 953 3 196 387 666 727 227 569 712 755 840 1041 368 468 597 656 1 109 214 671 451 984 223 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 942 103 790 579 104 1073 1123 1156 157 339 520 824 477 44 651 1085 141 302 956 68 659 13 256 449 811 925 555 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 1053 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 500 1105 495 672 42 434 520 652 1033 102 509 603 162 507 567 56 264 630 1043 48 199 716 160 266 293 425 1014 870 943 1084 52 200 618 659 810 965 1133 304 695 773 854 1038 865 33 180 916 286 887 978 1035 359 467 1037 1123 547 907 958 1 88 144 418 165 221 276 568 849 524 1055 101 280 405 125 8.09/8.24 o 1719 8.09/8.24 v 286 1002 362 78 718 859 980 48 892 379 1070 573 826 15 189 197 84 371 462 677 461 451 547 596 751 953 3 196 387 666 727 227 569 712 755 840 1041 368 468 597 656 1 109 214 671 451 984 223 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 942 103 790 579 104 1073 1123 1156 157 339 520 824 478 44 651 1085 141 302 956 68 659 13 256 449 811 925 280 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 1053 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 500 926 495 672 42 434 520 652 1033 102 509 603 162 507 567 56 264 630 1043 48 199 716 160 266 293 425 1014 870 943 1084 52 200 618 659 810 965 1133 304 695 773 854 1038 491 33 180 916 286 887 978 1035 359 467 1037 1123 547 907 977 1 88 144 767 165 221 276 568 849 524 1055 101 280 405 125 8.09/8.24 o 1720 8.09/8.24 v 286 1002 362 78 718 859 980 48 892 379 1070 573 826 15 189 197 84 371 462 677 461 451 547 596 751 953 3 196 387 666 727 227 569 712 755 840 1041 368 468 597 656 1 109 214 671 451 984 223 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 942 103 790 1097 104 1073 1123 1156 157 339 520 824 478 24 651 1085 141 302 956 68 659 13 256 449 811 925 280 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 1053 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 500 926 495 672 42 434 520 652 1033 102 509 603 162 507 567 56 264 630 1043 48 199 716 160 266 293 425 1014 870 943 1084 52 200 618 659 810 965 1133 304 695 773 854 1038 491 33 180 916 286 887 978 1035 359 467 1037 1123 547 907 977 1 88 144 767 165 221 276 568 849 524 1055 101 280 405 125 8.09/8.24 o 1721 8.09/8.24 v 286 1002 362 78 718 859 980 48 892 379 1070 573 826 15 189 197 84 371 462 677 461 451 547 596 751 953 3 196 387 666 727 227 569 712 767 840 1041 368 468 597 656 1 109 214 671 451 984 223 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 942 103 790 1097 104 1073 1123 1156 157 339 520 824 478 24 651 1085 141 302 956 68 659 13 256 449 811 925 280 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 1053 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 500 926 495 672 42 434 520 652 1033 102 509 603 162 507 567 56 264 630 1043 48 199 716 160 266 293 425 1014 870 943 1084 52 200 618 659 810 965 1133 304 695 773 854 1038 491 33 180 916 286 887 978 1035 359 467 1037 1123 547 907 977 1 88 144 767 165 221 276 568 849 524 1055 101 280 405 125 8.09/8.24 o 1722 8.09/8.24 v 286 1002 362 78 718 859 980 48 892 379 1070 573 826 15 189 197 84 371 462 677 461 451 547 596 751 953 3 363 387 666 727 227 569 712 767 840 1041 368 468 597 656 1 109 214 671 451 984 223 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 942 103 790 1097 104 1073 1123 1156 157 339 520 824 478 24 651 1085 141 302 956 68 659 13 256 449 811 925 280 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 1053 45 316 413 872 260 351 974 1056 830 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 500 246 495 672 42 434 520 652 1033 382 509 603 162 507 567 56 264 630 1043 48 199 716 160 266 293 425 1014 870 943 1078 52 200 618 659 810 965 1133 304 695 773 854 1038 491 33 180 916 286 887 978 1035 359 467 1037 1123 547 907 977 1 88 144 767 165 221 276 568 849 524 1055 101 280 405 125 8.09/8.26 o 1723 8.09/8.26 v 286 1002 362 78 718 859 1044 48 892 379 1070 573 826 15 189 201 84 371 462 685 461 451 547 596 751 953 3 363 387 666 727 227 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 984 231 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 927 103 790 1097 104 1073 1123 1156 157 339 520 824 478 24 651 1085 141 302 956 68 659 13 256 449 811 925 280 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 56 315 1053 45 316 413 872 260 351 974 1056 178 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 500 246 495 672 42 434 520 652 1033 382 509 603 162 507 567 56 264 630 1043 46 199 716 160 266 293 425 1014 870 943 1100 52 200 618 659 810 965 1134 304 695 773 854 1038 491 32 180 933 286 887 978 1035 359 467 1037 1123 547 907 977 1 88 144 767 165 221 276 568 849 524 1055 101 280 405 655 8.09/8.28 o 1724 8.09/8.28 v 286 838 362 78 718 859 1044 48 892 968 1070 573 826 15 189 201 84 371 462 685 461 395 547 596 751 953 3 363 387 666 727 227 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 231 355 644 764 1116 274 604 337 417 592 255 613 1021 689 1112 70 747 812 1054 808 1058 74 663 894 927 103 790 1097 104 1073 1123 1156 157 339 520 824 478 126 651 1085 141 302 956 68 659 13 256 449 811 925 280 645 761 930 1126 157 584 989 38 466 652 1132 4 78 280 505 315 435 45 316 413 872 260 351 974 1056 178 460 698 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 520 246 495 672 42 434 520 652 1033 97 509 603 162 507 567 56 264 630 1043 30 199 716 160 266 293 425 1014 870 1009 1100 52 200 618 659 810 965 1134 304 695 773 854 1038 491 32 180 933 286 887 978 1035 359 467 1037 1123 547 907 977 1 88 144 767 165 221 276 568 849 524 1055 101 280 405 655 8.19/8.33 o 1725 8.19/8.33 v 286 838 926 1100 718 859 1044 48 892 968 1069 573 826 1145 207 273 959 371 462 685 896 425 547 596 751 953 40 363 387 666 727 227 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 223 355 95 764 1116 460 604 337 417 592 262 613 1021 689 1112 70 747 812 1058 808 1056 379 663 894 927 98 790 1097 104 1073 1123 15 157 339 520 830 478 126 651 1085 141 302 956 68 659 13 256 449 811 1011 280 645 761 930 1152 157 584 989 38 466 652 1132 9 78 280 505 315 417 45 316 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 520 203 495 672 885 434 520 652 1162 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 933 1100 52 200 618 659 810 965 1134 304 695 773 854 1038 491 32 180 966 286 887 978 1035 216 467 1037 71 547 834 974 1 88 144 767 165 1048 276 568 838 528 1055 101 280 405 655 8.19/8.33 o 1726 8.19/8.33 v 286 838 926 1100 718 859 1044 48 892 968 1069 573 826 1145 207 273 959 371 462 685 896 425 547 596 751 953 40 363 387 666 727 227 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 223 355 95 764 1116 460 604 337 417 592 262 613 1021 689 1112 70 747 812 1058 808 1056 379 663 894 927 98 790 1097 104 1073 1123 15 157 339 520 830 478 126 651 1085 141 302 956 68 659 13 256 449 811 1011 280 645 761 930 1152 157 584 989 38 466 652 1132 9 78 280 505 315 417 45 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 520 203 495 672 885 434 520 652 1162 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 933 1100 52 200 618 659 810 965 1134 304 695 773 854 1038 491 32 180 966 286 887 978 1035 216 467 1037 71 547 834 974 1 88 144 767 165 1048 276 568 838 528 1055 101 280 405 655 8.19/8.34 o 1727 8.19/8.34 v 286 838 926 1100 718 859 1044 48 892 968 1069 573 826 1145 207 273 959 371 462 685 896 425 547 596 751 953 40 363 387 666 727 963 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 223 355 95 764 1116 460 604 337 417 592 262 613 1021 689 1112 70 747 812 1058 808 1056 379 663 894 927 98 790 1097 104 1073 1123 15 157 339 520 830 478 126 651 1085 141 302 956 68 659 13 256 449 811 1011 275 645 761 930 1152 157 584 989 38 466 652 1132 9 78 280 505 319 417 45 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 943 442 562 948 173 491 514 688 798 4 144 167 520 203 495 672 885 434 520 652 1162 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 933 1100 52 200 618 659 810 965 1134 304 695 773 854 1038 1 32 180 966 286 887 978 1035 216 467 1037 71 547 834 974 1 88 144 767 165 1048 276 568 838 528 1055 101 280 405 655 8.19/8.36 o 1728 8.19/8.36 v 286 838 937 1100 718 859 1044 48 892 968 1069 573 826 1145 207 273 959 382 462 685 896 169 547 596 751 953 1115 363 387 666 727 963 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 223 355 95 764 1116 460 604 337 417 592 262 613 1021 689 1112 70 747 812 1058 808 1056 379 663 894 927 98 790 1097 104 1073 1123 15 157 339 520 830 478 574 651 1085 141 302 956 68 659 23 256 449 811 1011 275 645 761 930 1152 157 584 989 38 466 652 1132 9 78 280 505 319 417 45 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 350 442 562 982 194 491 514 844 798 4 144 167 520 203 495 672 885 434 520 652 1162 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 947 1096 52 200 618 659 810 965 1134 304 695 773 854 1038 1 32 180 902 285 887 978 1035 216 467 1037 41 547 834 974 1 88 144 767 165 1048 276 568 838 968 1055 101 280 405 655 8.19/8.37 o 1729 8.19/8.37 v 286 838 937 1100 718 859 1000 48 892 968 1069 573 826 1145 207 273 959 382 462 685 896 169 547 596 751 953 1115 1164 387 666 727 963 569 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 223 355 75 764 1116 460 604 337 417 592 262 613 1021 689 1112 70 747 812 1058 808 1056 379 663 894 927 98 790 1097 104 1073 1123 15 157 339 520 830 478 574 651 1059 141 302 956 68 659 23 256 449 811 1011 275 645 761 930 1152 157 584 989 38 466 652 1132 9 78 280 505 319 417 45 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 144 293 350 442 562 982 194 491 514 844 798 4 144 167 520 203 495 672 885 434 520 652 1162 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 947 1096 52 200 618 659 810 965 1134 304 695 773 854 1038 1 32 180 902 12 887 978 75 226 467 1037 41 547 834 974 1 88 144 767 165 1048 276 568 838 968 1055 101 280 405 655 8.19/8.39 o 1730 8.19/8.39 v 286 838 937 1100 718 859 1000 48 892 968 89 573 826 1142 207 273 959 382 462 685 896 169 547 596 751 953 1115 1164 387 666 727 963 1022 712 767 840 1041 368 468 597 656 14 109 214 671 451 956 225 397 75 764 1116 460 604 337 417 592 262 613 1008 689 1112 70 747 812 1048 166 1056 51 663 894 67 98 790 1097 104 1073 1123 15 157 339 520 830 478 574 651 1059 3 302 956 68 659 23 256 449 811 1011 275 645 761 930 104 157 584 989 38 466 652 1132 9 78 280 517 319 417 45 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 174 293 350 442 562 982 194 491 514 844 798 4 144 167 520 203 495 672 885 434 520 652 1155 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 947 1096 52 200 618 659 810 965 1134 304 695 773 854 1038 1 32 180 902 12 887 978 75 226 467 1037 41 547 834 974 1 88 144 767 165 1048 276 568 838 968 1056 101 280 405 655 8.19/8.40 o 1731 8.19/8.40 v 286 838 937 1100 718 859 996 64 892 1068 89 573 826 1142 207 273 959 382 462 685 896 169 547 596 751 953 1115 1164 387 666 727 963 1022 707 767 840 1041 368 468 597 656 14 109 214 671 451 956 225 397 75 764 1116 460 604 337 417 592 262 613 1008 689 1112 70 747 812 1048 466 1056 51 663 894 44 98 790 1097 104 1073 1123 15 157 339 520 830 478 574 651 1059 3 302 956 68 659 23 256 449 811 1011 275 645 761 930 104 157 584 989 38 466 652 1132 9 78 280 517 319 417 45 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 760 174 293 350 442 562 982 194 491 514 844 1145 4 144 167 520 357 495 672 895 434 520 652 1155 97 509 603 162 507 567 56 264 630 1043 30 199 716 68 266 293 425 1014 870 947 1096 52 200 618 659 810 965 1134 304 695 773 854 1038 1 32 180 902 12 887 978 75 226 467 1037 41 547 834 974 1 88 144 767 165 1048 276 568 838 968 1056 101 280 405 655 8.29/8.42 o 1732 8.29/8.42 v 286 838 937 1100 718 859 996 75 892 1056 89 573 826 1142 207 273 959 382 462 685 893 169 547 596 751 953 1115 1164 387 666 727 963 1034 707 767 840 1038 368 468 597 656 14 109 214 671 451 729 225 397 75 764 50 460 604 337 417 592 262 613 1009 689 1112 70 747 812 1045 466 1056 51 663 894 44 98 790 1097 104 1073 1123 15 157 339 520 830 478 574 651 1059 3 302 956 68 659 23 256 449 811 1011 333 645 761 939 104 157 584 989 38 466 652 1132 9 78 280 510 319 417 30 307 413 872 260 351 974 1056 178 460 759 654 813 47 242 364 663 689 759 939 978 7 32 356 174 293 350 442 562 953 194 491 514 844 1145 4 144 167 520 357 495 672 895 434 520 652 1155 97 509 603 162 507 567 56 264 630 1043 30 199 1081 68 266 293 425 1014 870 947 1096 52 200 618 659 810 990 187 304 695 773 854 1038 1 32 180 902 12 887 978 75 226 467 1037 41 547 834 974 1 88 144 767 848 1048 276 568 838 968 1056 101 280 405 655 8.39/8.51 o 1733 8.39/8.51 v 286 838 223 1100 718 859 998 75 892 1033 89 573 826 1142 207 273 959 411 462 685 892 438 547 596 751 953 1141 268 387 666 727 963 1041 707 767 840 1038 368 468 597 1113 14 109 214 671 451 724 223 397 97 765 914 930 604 732 1006 592 347 613 616 689 1110 133 747 812 1039 466 1056 39 663 894 940 91 790 1097 104 1073 260 880 157 339 520 272 478 574 651 1059 142 302 956 68 659 23 256 449 811 1011 333 645 761 939 1043 163 584 1093 38 466 652 1113 9 78 280 520 319 417 822 307 413 3 260 351 974 1024 178 460 555 654 813 47 242 364 663 689 759 939 978 1103 32 356 174 293 350 442 562 972 174 491 514 844 1145 4 144 167 520 155 495 672 1134 434 520 652 1155 97 509 603 162 507 567 78 264 630 881 30 199 22 68 154 293 425 1014 870 947 1080 52 200 618 659 810 990 31 304 695 773 854 1038 1 32 180 902 290 887 978 75 226 467 806 41 547 834 974 1 88 144 767 848 987 376 568 838 968 1063 107 280 405 655 8.39/8.54 o 1734 8.39/8.54 v 286 844 223 1100 718 859 1016 75 892 1033 89 573 826 1142 207 273 908 411 462 685 897 438 547 596 751 953 48 268 387 666 727 963 1070 707 767 840 1038 368 468 597 1113 14 109 214 671 451 724 223 397 101 765 914 930 604 732 1006 592 347 613 616 689 1110 351 747 812 1039 466 1056 375 663 894 940 91 790 1097 104 1073 260 880 157 339 1088 272 478 574 651 1059 142 302 956 68 659 23 256 449 811 1039 333 645 761 939 1070 163 584 1093 38 466 652 1113 9 78 280 520 319 417 822 307 413 3 260 351 974 1024 214 460 555 654 813 47 242 364 663 689 759 939 978 1103 32 356 174 293 350 442 562 983 174 491 514 844 1145 4 144 167 520 155 495 672 1134 434 520 652 834 83 509 603 162 507 573 78 264 630 881 30 199 22 68 154 293 425 1014 870 947 1080 52 200 618 659 810 990 31 304 695 773 854 1038 1 32 180 940 290 887 978 77 226 467 806 41 547 834 974 1 88 144 767 848 987 65 568 838 968 1063 107 280 405 655 8.39/8.57 o 1736 8.39/8.57 v 286 851 223 530 718 859 1016 75 892 1033 89 573 826 1142 207 273 908 411 462 685 897 438 547 596 751 953 48 268 387 666 727 963 1018 707 767 840 1038 368 468 597 1113 14 109 214 671 451 793 225 1 101 765 914 937 604 732 936 592 347 613 616 689 1110 351 747 812 1068 390 493 605 663 894 929 91 790 1097 104 1073 260 880 180 339 1088 272 478 574 651 1109 140 302 956 68 659 23 256 449 811 1039 333 645 761 939 1070 163 584 1093 38 466 652 1113 9 78 280 520 319 417 822 309 413 3 260 351 974 1049 181 460 555 654 813 195 242 364 663 689 759 939 978 1103 32 356 174 293 350 442 562 983 174 491 514 844 1145 4 144 167 487 155 495 672 1134 434 520 652 834 89 509 603 162 507 573 101 264 630 881 30 199 22 68 154 293 425 1014 870 947 1072 52 200 618 659 810 990 31 304 695 773 854 1038 1 32 180 940 290 887 978 77 226 467 806 41 547 834 974 1 88 144 767 848 987 65 568 838 968 1068 107 280 405 655 8.48/8.61 o 1738 8.48/8.61 v 286 851 223 530 718 859 1046 75 892 1068 89 573 826 1150 207 273 908 391 462 685 897 438 547 596 751 953 64 268 387 666 727 963 1018 707 767 840 1038 368 468 597 1113 14 109 214 671 451 793 225 1 101 765 914 946 604 732 936 592 347 613 616 689 1110 351 747 812 1068 262 372 605 663 894 929 98 790 1097 104 1073 250 880 180 339 1088 272 478 574 651 1109 140 302 956 68 659 23 256 449 811 1039 337 645 761 996 1070 163 584 1093 38 466 652 1090 9 78 280 1133 319 417 822 309 413 22 260 351 974 1049 181 460 555 654 813 195 242 364 663 689 759 939 978 1086 32 356 157 293 350 442 562 983 31 491 514 844 1145 4 144 167 487 155 495 672 1134 434 520 652 834 89 509 603 162 507 573 895 264 630 881 30 199 22 68 154 293 425 1014 870 947 1072 52 200 618 659 810 990 27 304 695 773 854 1038 1 32 180 940 290 887 989 77 226 467 806 41 547 834 974 1 88 144 767 848 987 65 568 838 968 1068 91 280 405 655 8.77/8.90 o 1739 8.77/8.90 v 286 3 238 530 718 855 17 64 892 1068 89 573 826 957 1062 273 983 1042 395 4 897 662 331 596 751 1013 103 268 387 924 727 963 1040 707 767 840 1089 368 468 617 552 644 66 214 671 451 764 224 445 523 765 914 946 1078 260 419 501 337 613 616 103 227 351 747 812 974 0 372 605 663 1071 165 372 790 1100 104 300 365 898 109 339 449 795 478 574 651 1108 140 302 956 68 201 1120 257 449 791 166 438 645 761 996 1130 163 584 1093 38 466 652 896 924 78 280 959 1111 417 530 688 894 9 260 351 697 1006 196 460 555 654 82 176 242 364 663 689 759 939 978 1070 20 356 489 844 332 442 562 1047 55 491 514 844 1145 4 144 167 826 191 495 510 775 438 520 652 835 288 509 603 162 507 5 131 264 630 881 1113 199 728 55 154 293 425 1014 870 947 1064 117 200 618 659 810 990 221 304 695 773 854 1038 1 32 180 925 139 887 979 1066 226 681 46 331 547 834 974 1 88 144 767 848 997 60 568 357 728 1068 109 280 405 655 8.77/8.91 o 1740 8.77/8.91 v 286 3 238 530 718 855 17 64 892 1068 89 573 826 957 1062 273 983 1042 395 4 897 1101 331 596 751 1013 103 268 387 924 727 963 1040 707 767 840 1089 368 468 617 552 644 66 214 671 451 764 224 445 523 765 914 946 1078 260 419 501 337 613 616 103 227 351 747 812 974 0 372 605 663 1071 165 372 790 1100 104 300 365 898 20 339 449 795 478 574 651 1108 140 302 956 68 201 1120 257 449 791 166 438 645 761 996 1130 163 584 1093 38 466 652 896 924 78 280 959 1111 417 530 688 894 9 260 351 697 1006 196 460 555 654 1038 176 242 364 663 689 759 939 978 1070 20 356 489 844 332 442 562 1047 55 491 514 844 1145 4 144 167 826 191 495 510 775 426 520 652 997 288 509 603 162 507 5 131 264 630 881 124 199 728 55 154 293 425 1014 870 947 1064 117 200 618 659 810 990 221 304 695 773 854 1038 1 32 180 925 139 887 979 1066 226 681 46 331 547 834 974 1 88 144 767 848 997 66 568 357 728 1068 109 280 405 655 8.77/9.00 o 1741 8.77/9.00 v 286 855 203 530 718 800 16 64 892 1089 89 573 826 957 1062 273 986 96 395 544 897 1101 489 596 751 1048 108 268 387 924 727 963 1036 707 767 840 1089 368 468 849 561 644 46 214 671 451 736 251 445 523 765 914 946 1043 260 419 173 337 613 616 103 288 351 747 812 974 0 372 605 663 914 165 372 790 1100 104 300 365 1136 20 339 449 833 46 574 651 1108 140 302 956 68 201 1138 257 449 791 1118 438 645 761 987 99 163 584 1093 19 466 652 896 924 78 280 430 581 417 530 688 894 23 260 351 697 1003 196 460 555 654 1038 3 242 364 663 689 759 939 978 246 260 356 489 844 335 442 562 1047 55 491 514 844 1145 4 144 167 836 444 495 510 775 426 520 652 997 190 509 1003 162 507 5 131 264 630 881 134 199 728 811 44 293 425 1014 870 947 1064 52 200 618 659 810 990 234 304 695 773 854 1038 1 32 180 937 139 887 979 1056 226 681 46 331 547 834 974 1 88 144 767 848 983 68 568 108 728 1060 109 280 405 655 8.87/9.09 o 1742 8.87/9.09 v 286 1050 207 530 718 800 16 64 892 1091 89 573 826 957 1062 273 954 96 395 801 897 1073 489 596 751 1048 73 268 387 924 727 963 1013 712 767 840 1089 368 468 849 890 1093 46 214 671 451 723 901 168 523 765 914 946 1006 258 183 215 337 613 616 103 288 351 747 812 974 0 372 605 663 915 141 372 790 1100 104 300 365 1136 20 339 449 818 491 574 651 709 140 302 956 68 201 25 257 449 791 972 438 645 761 997 88 163 584 1093 19 466 652 938 15 78 280 10 295 417 530 688 894 5 260 351 697 1077 1110 460 555 654 1045 172 242 364 663 689 759 939 34 246 260 356 489 838 315 442 562 1047 430 491 514 844 1145 4 144 167 821 58 495 510 744 426 520 652 995 196 509 1003 162 507 957 131 264 630 6 138 199 728 811 3 293 425 1014 870 947 1075 554 200 618 659 810 970 234 304 695 773 854 1038 1 32 180 937 127 887 979 1056 226 681 813 331 547 834 974 1 88 144 767 848 1003 79 568 151 728 1062 109 280 405 655 8.97/9.13 o 1743 8.97/9.13 v 286 1050 207 530 718 848 16 64 892 1091 89 573 826 957 1062 273 954 96 395 804 897 1083 51 596 751 1048 73 268 387 924 727 963 1013 713 767 840 1089 368 468 849 890 1093 46 214 671 451 723 901 168 523 765 914 946 1029 258 412 1064 337 613 616 103 288 351 747 812 974 0 372 605 663 1007 141 372 790 1100 104 300 365 1136 20 339 449 783 471 574 651 709 140 302 956 68 201 25 257 449 791 972 438 645 761 997 88 163 584 1093 19 466 652 938 941 78 280 10 295 417 530 688 894 4 260 351 697 1077 1110 460 555 654 1045 7 242 364 663 689 759 939 34 246 260 356 489 847 315 442 562 1047 430 491 514 844 1145 4 144 167 821 58 495 510 744 426 520 652 995 196 509 1003 162 507 957 131 264 630 9 138 199 728 811 38 293 425 1014 870 947 1075 25 204 618 659 810 970 235 304 695 773 854 1038 1 32 180 937 134 887 979 1075 226 681 813 336 547 834 974 1 88 144 767 848 1003 79 568 151 728 1062 109 280 405 655 9.07/9.25 o 1744 9.07/9.25 v 286 1090 207 530 718 848 949 1089 892 1103 89 573 826 957 1062 273 546 129 395 465 897 443 544 596 751 37 73 268 387 924 727 963 1022 84 767 840 1089 368 468 849 890 1093 46 214 671 451 723 899 165 523 765 914 946 1029 5 412 334 348 613 616 103 288 351 747 827 974 0 372 605 663 913 186 372 790 1100 104 300 365 1148 20 339 449 833 407 574 651 709 170 348 956 68 201 27 257 449 791 888 438 645 761 1022 129 163 584 1093 19 466 652 938 960 57 280 852 295 417 530 688 894 19 260 351 697 991 213 460 555 654 1045 3 242 309 663 689 759 939 34 246 260 356 482 630 315 442 562 1093 151 491 514 844 1145 4 144 167 821 57 495 1073 286 426 520 652 900 206 509 1003 162 507 955 156 264 630 29 138 199 728 811 38 293 425 1014 870 947 1107 66 204 618 659 810 970 232 304 695 773 854 1038 1 32 180 904 1019 887 979 1071 226 681 954 225 547 834 974 1 88 144 767 848 1003 48 567 151 728 1062 109 280 405 655 9.07/9.27 o 1745 9.07/9.27 v 286 1090 207 530 718 848 949 1089 892 1103 89 573 826 957 1062 273 546 129 395 465 897 443 544 596 751 37 73 268 387 924 727 963 1022 84 767 840 1089 368 468 849 890 1093 46 214 671 451 723 899 165 523 765 914 946 1029 5 230 334 348 613 616 103 288 351 747 827 974 0 372 605 663 1026 181 372 790 1100 104 300 365 1148 20 339 449 833 407 574 651 709 118 348 956 68 201 482 257 449 791 23 546 645 761 1022 129 163 584 1093 19 466 652 938 952 43 280 852 290 417 530 688 875 19 260 351 697 991 181 460 555 654 1045 3 242 309 663 689 759 939 34 246 260 356 482 630 273 442 562 1093 151 491 514 844 1145 4 144 167 821 57 495 1073 286 426 520 652 900 211 509 1003 162 507 955 156 264 630 29 138 199 728 811 38 293 425 1014 870 947 1107 66 204 618 659 810 970 232 304 695 773 854 1038 1 32 180 904 1028 892 979 1071 226 681 930 225 547 834 974 1 88 144 767 848 1003 48 567 151 728 1062 109 280 405 655 9.47/9.60 o 1746 9.47/9.60 v 286 845 207 1029 62 335 370 720 892 1094 89 573 826 957 1062 273 959 1099 408 465 862 289 544 596 751 950 1096 249 387 924 727 963 1022 87 456 806 937 43 468 849 890 1093 46 214 671 451 723 911 483 523 765 914 946 1029 4 230 334 348 613 616 103 288 351 747 827 965 10 372 605 970 43 171 372 790 1100 104 300 365 375 1050 339 541 771 407 574 651 990 109 348 956 68 201 485 528 630 64 517 546 645 761 1018 6 163 584 1093 19 466 703 272 449 565 657 947 290 417 530 688 872 984 1089 351 697 991 1118 460 555 654 1119 146 242 309 663 689 759 939 34 246 260 356 703 165 262 442 562 816 907 491 514 844 1145 4 144 167 814 97 495 1080 232 426 520 655 839 79 509 1003 162 507 1000 146 264 630 748 144 199 728 783 863 1015 289 1014 60 521 901 1050 204 618 659 810 979 220 304 695 773 854 1038 1 32 180 904 118 276 979 1078 226 681 930 57 542 834 1008 1 88 144 767 1092 21 447 1078 176 728 1073 109 280 405 655 9.47/9.67 o 1747 9.47/9.67 v 286 851 191 552 84 335 370 720 892 1104 89 573 826 957 1062 273 959 1121 408 465 873 289 544 596 751 950 1096 1152 387 924 727 963 1022 53 456 806 937 35 468 849 890 1093 46 214 671 451 723 911 475 523 765 914 946 1029 4 230 334 348 613 616 103 288 351 747 827 939 73 372 605 970 43 171 372 790 1100 104 300 365 375 1050 339 541 771 413 574 651 990 13 348 956 68 201 485 528 868 422 517 546 645 761 1018 38 163 584 1093 19 466 703 267 449 565 657 959 92 417 530 688 872 984 1089 351 697 991 1117 460 555 654 1112 146 242 309 663 689 759 939 34 246 260 356 703 165 262 442 562 816 907 286 514 844 1145 4 144 167 814 6 495 1092 232 426 520 655 12 86 509 1003 162 507 1000 172 264 630 743 144 199 728 783 863 1015 1063 1014 60 521 901 39 204 618 659 810 977 234 304 695 773 854 1038 1 32 180 901 92 276 979 1074 226 681 1043 68 542 834 1008 1 88 144 767 1112 21 447 1076 176 728 1067 109 280 405 655 9.57/9.79 o 1748 9.57/9.79 v 286 590 202 552 84 335 370 720 892 1100 89 573 826 957 1062 273 959 1109 426 465 864 304 544 596 751 950 989 222 387 924 727 963 1022 6 456 820 937 37 468 849 890 1093 46 214 671 451 723 922 1075 523 765 914 946 1029 0 230 334 348 613 616 103 288 351 747 827 926 230 372 605 989 108 171 372 790 1100 104 300 365 375 583 339 541 771 32 574 651 16 102 348 956 68 201 485 528 920 108 517 546 645 761 1018 53 163 584 1093 19 466 685 800 449 565 657 1021 120 417 530 688 872 984 1089 351 697 991 1119 460 555 654 765 863 992 301 663 689 759 939 34 246 260 356 699 165 262 442 562 796 474 494 535 844 1145 4 144 167 814 6 495 1094 264 426 520 655 942 21 509 1003 162 507 1105 172 264 630 744 113 199 728 783 863 1015 1063 1127 60 521 898 20 204 618 659 810 972 202 304 695 773 854 1038 1 32 180 901 6 276 979 1054 226 681 60 410 542 834 1008 1 88 144 860 9 228 447 1072 176 728 1056 109 280 405 655 9.86/10.00 o 1749 9.86/10.00 v 286 1050 262 526 57 335 370 720 892 1095 89 573 826 957 1062 273 917 17 426 453 23 389 544 596 751 889 7 222 387 924 727 963 1022 78 456 820 937 50 468 849 890 1093 46 214 671 451 723 897 484 525 765 914 946 1029 11 230 334 348 613 616 103 161 351 747 827 926 3 295 605 889 122 171 372 790 964 104 300 365 1064 6 339 541 771 8 574 651 961 16 348 956 68 201 485 528 920 1060 315 546 645 761 1018 31 163 584 1093 19 466 685 842 917 565 700 73 131 417 530 688 872 984 1089 351 697 1129 372 460 555 654 765 882 27 298 663 689 759 939 34 246 260 356 1097 155 262 442 562 794 238 494 535 844 1145 4 144 167 698 126 495 1094 70 426 520 655 942 1093 509 1003 162 507 977 146 264 630 747 132 199 728 783 863 1015 1063 1127 60 521 1015 93 204 618 659 810 963 200 300 695 773 854 1038 1 32 180 901 120 276 979 1062 226 270 385 410 542 834 1008 1 88 144 847 1070 227 447 1085 176 728 1056 109 280 405 655 10.56/10.77 o 1750 10.56/10.77 v 286 715 839 1025 233 335 370 720 880 30 142 578 826 1015 1062 31 253 304 376 453 869 1073 143 596 751 1012 1102 1148 387 924 727 963 1022 45 456 825 937 41 468 849 1033 1093 46 214 980 451 723 1089 450 549 765 914 946 1120 5 230 334 348 613 625 103 161 351 747 827 905 701 288 605 884 38 183 372 790 964 104 300 365 990 31 339 541 764 232 557 610 675 261 348 961 68 201 485 528 920 1059 613 630 645 761 1012 1091 163 584 1093 19 466 685 989 461 574 637 948 1064 2 191 671 872 877 1089 351 1154 115 405 460 555 722 822 15 253 298 663 689 759 939 34 246 260 356 749 625 692 870 552 792 139 494 535 844 1033 4 144 167 315 400 495 664 938 401 520 655 919 1084 509 1003 162 507 56 135 264 630 741 1031 198 456 538 863 1015 1063 1127 60 521 964 116 214 618 659 810 1060 259 300 695 773 854 1038 1 32 180 972 140 276 950 1059 192 270 385 410 542 834 1008 1 88 100 635 176 206 447 1085 176 302 368 107 280 405 655 10.66/10.80 o 1751 10.66/10.80 v 286 715 839 64 235 335 370 720 880 4 142 578 826 1015 1062 31 253 304 376 453 869 1017 549 596 751 1012 1102 1148 387 924 727 963 1022 45 456 825 937 41 468 849 1033 1093 46 214 980 451 723 1086 450 549 765 914 946 1120 5 230 334 348 613 625 103 161 351 747 827 411 145 288 605 884 38 183 372 790 964 104 300 365 990 31 339 541 740 232 557 610 675 261 348 961 68 201 485 528 920 1059 613 630 645 761 1012 1091 163 584 1093 19 466 685 989 461 574 637 948 1064 28 191 671 872 877 1089 351 1154 115 405 460 555 722 822 15 253 298 663 689 759 939 34 246 260 356 576 625 692 870 548 792 139 494 535 844 1033 4 144 167 315 400 495 664 938 971 520 655 919 1086 509 1003 162 507 991 1111 264 630 727 139 198 456 538 863 1015 1063 1127 60 714 964 116 214 618 659 810 1060 259 300 695 773 854 1038 1 32 180 929 150 276 950 1059 192 270 385 410 542 834 1008 1 88 100 635 178 206 447 1085 176 302 368 105 280 405 655 11.24/11.48 o 1752 11.24/11.48 v 286 715 853 125 235 335 370 720 880 1059 142 578 826 1015 1042 31 253 304 376 453 869 1041 378 596 751 881 169 271 387 924 727 963 1022 44 456 792 939 39 468 849 1033 1093 46 214 980 546 723 30 475 549 765 914 946 1120 5 230 334 348 613 625 76 176 351 501 649 969 240 288 605 883 40 183 372 790 964 104 300 465 707 78 339 541 731 820 405 621 932 280 348 961 68 201 485 627 12 29 613 630 645 761 983 7 163 584 1093 19 466 685 832 921 1106 373 970 1053 511 691 731 872 892 1089 351 847 927 1115 462 555 722 978 125 257 298 663 689 759 939 52 246 260 356 576 625 875 439 553 1051 456 494 535 844 1033 4 144 165 315 400 495 680 1148 414 555 655 919 1036 509 1003 162 507 816 142 530 630 866 18 368 456 538 863 1015 1063 1127 60 799 942 1126 199 618 790 810 1061 216 300 695 773 854 1038 1 32 126 987 76 276 950 1065 192 270 385 410 542 834 1010 1 88 100 231 354 1099 447 568 61 302 1056 111 280 405 655 12.13/12.34 o 1753 12.13/12.34 v 286 694 1040 21 235 335 370 702 831 888 124 578 826 1015 1042 31 253 304 376 453 869 1072 522 596 771 1026 18 100 387 924 544 652 1022 16 456 792 896 1062 807 849 1033 1093 46 157 980 318 700 804 426 549 765 914 946 1120 5 230 334 353 305 625 76 176 351 501 649 718 842 302 395 442 615 192 372 790 964 104 300 465 487 502 712 905 957 90 647 1009 228 292 348 961 68 201 485 966 227 422 613 630 645 761 1066 519 668 887 1093 19 466 685 828 923 98 373 970 1085 234 691 731 872 892 1089 351 847 927 962 2 555 722 981 1130 167 298 663 689 759 939 52 246 285 360 820 17 249 439 545 118 472 494 535 844 1033 4 144 165 315 400 51 175 263 394 555 671 122 199 509 1003 162 507 1035 127 530 630 964 1057 358 456 538 863 1015 1068 1127 60 715 1106 49 199 618 718 880 64 216 300 686 786 854 1038 1 32 126 636 733 885 158 338 581 245 385 410 542 834 967 1 88 100 231 961 139 379 568 668 879 1073 173 280 405 655 12.13/12.39 o 1754 12.13/12.39 v 286 694 1040 21 235 335 370 702 831 5 117 578 826 1015 1042 31 253 304 376 453 869 1069 328 596 771 1026 18 100 387 924 544 652 1022 16 456 792 896 1062 807 849 1033 1093 46 157 980 318 700 803 171 549 765 914 946 1120 5 230 334 373 525 625 76 176 351 501 649 718 842 972 398 442 695 192 372 790 964 104 300 465 487 502 712 905 955 90 647 1009 26 292 348 961 68 201 485 966 228 422 613 630 645 761 1074 521 668 887 1093 19 466 685 828 940 109 373 970 1089 136 691 731 872 892 1089 351 847 927 962 2 555 722 981 13 167 298 663 689 759 939 52 246 285 360 820 210 287 439 553 66 472 494 535 844 1033 4 144 165 315 402 51 175 263 394 555 652 122 199 509 1003 162 507 1035 190 530 630 964 1057 358 456 538 863 1015 1068 1127 60 715 1106 49 199 618 718 1125 64 216 300 686 786 854 1038 1 32 126 636 733 885 1001 338 444 784 385 410 542 834 967 1 88 100 231 331 795 379 568 668 879 1073 173 280 554 655 14.20/14.42 o 1755 14.20/14.42 v 286 694 1040 21 235 335 370 798 126 186 413 671 826 1031 1064 31 253 304 376 748 854 1075 1140 374 771 1024 1129 86 387 924 544 652 1029 62 207 253 484 568 711 849 1033 1093 46 538 980 318 730 849 333 589 765 809 946 1120 5 230 258 373 525 625 76 130 351 501 636 718 969 989 176 442 48 366 518 963 1137 104 398 436 484 502 686 869 934 559 786 1 191 290 348 961 68 201 485 612 867 439 613 630 817 919 24 140 678 979 1019 19 466 722 799 27 63 140 195 399 503 950 481 767 847 1089 22 636 746 124 194 555 739 1082 28 260 313 663 689 759 1075 52 246 285 360 499 603 790 878 948 265 353 494 520 844 1033 4 121 165 926 1088 1 33 283 460 555 667 866 897 871 1003 162 685 1038 164 514 630 1059 115 185 456 538 797 1015 1068 1127 193 350 684 779 818 932 1135 1146 93 216 300 686 786 854 1038 1 32 126 629 739 1056 113 338 444 838 1037 252 542 834 967 1 81 127 231 751 290 388 568 668 879 1066 99 280 554 912 14.30/14.55 o 1756 14.30/14.55 v 286 694 1040 21 235 335 370 726 127 186 413 671 826 1031 1064 31 253 304 376 748 854 1075 325 374 881 1024 1107 43 387 924 544 951 1029 62 207 253 484 568 711 849 1033 1093 46 538 980 318 730 838 543 589 765 809 946 1120 5 230 258 373 525 625 76 130 351 501 636 718 969 1000 161 967 223 366 518 963 1137 104 398 436 484 502 686 50 481 577 786 904 99 290 348 961 68 201 485 612 1128 449 613 630 817 919 24 140 223 979 1019 19 466 722 985 11 68 140 195 399 503 1020 478 767 847 1089 22 636 794 1124 194 555 739 1082 5 260 313 663 689 759 1075 52 246 285 360 499 603 790 878 934 248 353 494 627 844 1033 4 121 165 926 1088 1137 33 283 460 555 769 1017 378 507 1003 162 685 999 173 514 630 1039 115 185 456 538 797 1015 1068 1127 193 350 684 779 818 932 1135 1150 93 216 300 686 786 854 1038 1 32 126 629 739 1055 113 338 444 866 1047 426 542 834 967 1 81 127 231 338 890 375 568 668 879 1075 99 280 554 912 14.30/14.56 o 1757 14.30/14.56 v 286 694 1040 21 235 335 370 726 127 186 413 671 826 1031 1064 31 253 304 376 748 854 1075 200 374 881 1024 1085 43 387 924 544 951 1029 62 207 253 484 568 711 849 1033 1093 46 538 980 318 730 838 391 589 765 809 946 1120 5 230 258 373 525 625 76 130 351 501 636 718 969 1000 164 967 187 366 518 963 1137 104 398 436 484 502 686 50 481 577 786 904 99 290 348 961 68 201 485 612 1137 449 613 630 817 919 24 140 223 979 1019 19 466 722 985 11 68 140 195 399 503 1020 478 767 847 1089 22 636 794 80 194 555 739 1082 5 260 313 663 689 759 1075 52 246 285 360 499 603 790 878 938 242 353 494 627 844 1033 4 121 165 926 1088 1137 33 283 460 555 769 1017 298 507 1003 162 685 999 173 514 630 1039 115 185 456 538 797 1015 1068 1127 193 350 684 779 818 932 1135 1150 93 216 300 686 786 854 1038 1 32 126 629 739 1055 113 338 444 866 1047 426 542 834 967 1 81 127 231 338 890 375 568 668 879 1075 99 280 554 912 14.50/14.77 o 1758 14.50/14.77 v 286 694 1040 21 235 335 370 708 95 186 413 671 826 1031 1064 31 253 304 376 748 854 1075 1140 374 881 1024 1092 304 387 924 544 951 1029 62 121 253 484 568 711 849 1033 1093 46 538 980 318 730 853 358 550 765 809 946 1120 5 230 258 373 525 625 76 130 351 501 636 718 987 484 976 1082 22 366 518 789 1137 104 398 436 484 502 697 1060 454 577 786 974 148 290 348 961 68 201 485 612 1141 321 613 630 817 919 17 140 223 979 1019 19 466 722 802 1145 54 140 195 399 467 603 675 767 847 1089 22 636 905 80 194 555 740 1082 25 260 313 663 689 759 1075 52 246 285 360 499 603 790 878 933 246 353 494 627 844 1033 4 121 165 926 1088 1162 33 283 460 555 764 130 447 507 1003 162 685 1002 174 514 630 1036 53 185 456 538 797 1015 1068 1127 193 350 684 779 818 932 1135 1152 93 216 300 686 786 854 1038 1 32 126 629 739 949 181 396 708 888 1160 435 542 834 967 1 81 127 231 302 309 369 568 668 879 1058 99 280 554 912 17.36/17.62 o 1759 17.36/17.62 v 273 527 1040 21 224 335 370 756 1089 329 413 562 826 958 1064 31 253 304 376 408 841 1067 1148 337 679 284 367 465 610 924 544 712 1029 62 121 253 484 664 797 849 1033 1093 46 538 980 114 1053 56 357 557 765 809 946 21 166 230 258 387 525 646 76 130 351 501 554 945 1096 442 706 899 12 452 839 948 1137 9 398 436 452 502 707 1003 155 730 786 826 174 268 344 961 118 201 891 964 247 321 613 630 817 938 1005 1112 252 979 1023 19 466 676 802 1156 0 142 207 371 438 604 675 767 941 1089 40 426 445 646 43 552 740 840 893 934 1077 663 689 759 1075 52 246 285 375 479 603 713 808 867 989 63 483 604 844 1033 4 121 165 748 1122 32 93 283 460 598 776 1058 167 479 655 162 304 439 531 579 651 776 1004 358 456 495 787 1015 1068 1127 193 360 684 1074 118 399 501 624 853 1041 298 505 786 844 1038 1 32 124 362 665 752 164 366 897 955 1056 1 542 817 967 1 81 127 228 302 308 363 568 668 879 1072 188 277 574 912 22.71/23.03 o 1760 22.71/23.03 v 50 289 591 675 752 838 870 10 172 303 453 562 826 863 1072 146 264 766 886 913 85 454 812 831 915 1023 13 605 610 924 544 712 1029 72 205 265 416 650 1080 58 95 192 401 538 553 114 267 444 532 574 765 797 948 1121 164 228 343 721 977 995 76 240 351 523 572 747 938 991 1133 0 543 746 845 969 1137 15 398 436 454 492 684 989 1082 0 166 268 581 1001 24 961 118 201 325 634 690 98 198 383 692 826 1013 41 459 979 1055 19 219 373 802 958 1036 145 266 370 463 604 641 913 919 1089 328 426 561 769 95 714 829 1076 1130 38 208 376 630 759 1063 52 246 355 718 239 313 390 486 806 996 108 528 585 829 1033 4 121 164 295 625 65 297 385 476 993 4 412 615 826 1130 167 357 439 502 579 651 1089 191 304 443 530 787 987 1068 1127 183 367 453 723 783 961 371 607 877 364 469 582 786 847 1038 1 17 620 715 933 1075 266 1040 0 205 381 414 528 676 819 1 81 127 218 378 955 107 507 754 862 1069 46 260 574 706 24.68/25.02 o 1761 24.68/25.02 v 50 289 498 672 752 838 870 1 172 307 453 703 826 1031 1072 146 264 766 886 935 263 363 812 831 889 989 52 255 610 924 160 712 1029 72 190 260 416 830 1012 1044 72 192 401 538 553 114 267 444 532 574 765 797 948 1128 164 228 343 594 977 995 76 276 351 523 572 747 845 991 1133 8 277 746 845 969 1137 15 289 436 454 492 684 989 1082 0 166 268 424 728 930 986 118 201 325 634 702 945 1095 1144 709 837 1059 316 459 715 1107 19 219 373 802 958 983 1064 226 370 463 604 641 913 919 1089 326 426 535 586 805 921 84 396 850 147 206 376 630 759 1063 52 163 363 84 267 324 392 482 820 1055 1134 470 585 829 1033 4 121 398 499 612 903 972 385 497 975 56 412 615 826 1130 167 328 416 871 637 672 735 166 299 443 530 787 987 1068 1127 8 665 766 1 89 492 561 572 595 340 456 691 786 847 948 1 17 105 715 783 897 982 1057 27 166 381 414 528 755 1063 0 81 127 218 839 1087 54 176 754 862 1069 46 260 574 706 36.46/36.98 o 1762 36.46/36.98 v 239 345 515 596 815 319 472 513 1112 70 148 406 937 951 1069 120 264 766 890 1068 20 140 323 486 596 822 369 399 639 924 160 364 674 808 1059 254 439 605 724 747 938 993 350 673 740 41 194 332 559 589 692 813 1121 1 43 413 561 716 824 983 76 326 393 530 587 742 870 984 1120 28 335 746 859 981 1137 157 242 295 535 640 848 951 1019 10 87 175 254 808 897 986 111 213 335 643 690 748 44 97 311 338 451 682 703 927 1107 8 137 373 558 614 887 1069 102 477 571 348 797 913 1060 1141 5 426 587 921 989 3 210 759 861 107 232 577 630 779 1001 118 153 175 292 475 579 651 738 873 1035 1140 256 663 849 961 4 121 398 576 772 230 342 714 907 40 96 434 789 871 1059 47 199 423 713 819 847 988 1077 42 128 689 852 987 1068 1127 37 213 1131 1 278 489 562 961 51 389 419 508 754 839 948 1 17 586 743 810 887 958 1034 78 227 381 414 533 968 1063 3 95 127 181 345 421 491 973 416 545 1072 140 248 406 895 36.55/37.04 o 1763 36.55/37.04 v 239 345 515 596 813 389 472 513 1116 70 148 406 937 951 1069 120 264 766 890 1068 20 140 323 486 596 829 189 399 639 924 160 364 674 808 117 254 439 549 724 747 926 146 350 673 740 41 194 332 559 589 692 813 1121 1 43 413 561 716 824 983 76 326 393 530 587 742 870 984 1120 28 335 746 859 981 1137 157 242 295 535 640 848 951 1019 7 87 175 254 808 897 986 111 213 335 643 690 753 1017 100 311 338 451 682 703 927 1107 8 137 373 558 614 887 1053 86 477 571 616 797 913 1060 1141 5 426 587 921 989 10 210 759 861 983 232 577 630 779 1001 118 153 175 292 475 579 651 738 873 1035 10 256 663 849 961 4 121 398 576 772 999 647 711 907 1042 96 434 789 871 1059 47 199 423 713 819 847 988 1077 42 128 689 852 987 1068 1127 37 213 1131 1 278 489 562 789 29 389 419 508 754 839 948 1 17 586 743 810 887 958 1034 77 227 381 414 533 968 1063 3 95 127 181 345 421 874 975 362 545 1060 140 248 406 895 50.89/51.56 o 1764 50.89/51.56 v 534 50 231 323 446 705 796 67 157 390 564 848 937 951 1077 104 226 293 1132 189 388 848 964 982 48 166 365 737 762 1052 160 330 437 635 88 300 385 499 611 742 792 838 962 1085 1107 41 202 302 387 515 663 722 785 945 1019 120 506 580 823 844 76 162 362 448 531 742 870 979 1046 135 256 634 866 1039 1137 116 242 295 416 459 552 650 1092 29 215 382 682 942 1032 1088 74 213 335 377 672 856 1092 28 55 381 1096 4 121 639 681 8 459 664 717 762 849 158 403 564 746 817 867 924 1041 1141 293 514 708 1085 44 430 523 622 988 1016 80 277 308 585 1001 23 153 204 285 367 538 631 721 770 950 542 711 744 880 1069 4 121 445 546 11 221 383 502 529 684 745 526 558 852 1131 231 317 658 721 786 851 934 1031 223 614 788 955 987 1068 1127 7 278 1131 1 46 167 291 420 613 967 168 302 368 431 609 15 29 192 546 789 865 953 1043 28 227 381 475 733 932 1106 2 88 130 404 532 617 760 1022 1115 14 75 641 813 973 1066 404.01/408.80 o 1765 404.01/408.80 v 14 83 393 486 311 594 1087 136 220 287 478 578 788 891 940 21 341 589 706 1067 114 257 487 543 685 873 924 958 1035 1132 205 314 381 552 621 843 1078 361 607 660 772 137 299 911 1147 83 350 473 605 710 960 1060 1109 81 324 636 661 824 939 1056 3 59 200 274 365 612 773 879 979 81 341 498 855 929 1156 87 541 598 612 766 976 260 674 852 899 288 559 778 992 1059 14 156 370 393 484 862 990 1015 1043 1087 195 284 874 1032 1090 88 402 508 562 576 598 678 20 401 458 574 787 853 977 1144 134 208 234 324 546 715 812 927 108 278 568 693 726 812 1155 4 198 224 269 563 655 750 839 924 1046 134 174 415 812 1005 164 395 458 852 934 1125 0 107 171 280 501 648 705 812 1026 3 161 347 469 803 1115 8 164 218 551 678 854 885 1005 1068 8 120 216 360 413 567 899 166 218 384 403 725 899 960 1154 3 70 454 745 966 1065 12 602 696 774 1041 143 609 814 997 52 512 665 697 1130 28 116 255 362 439 513 662 111 392 629 851.06/860.91 o 1766 851.06/860.91 v 118 232 327 557 764 1045 115 281 360 418 591 688 802 811 968 11 490 648 713 883 1007 35 132 372 573 744 809 854 928 1121 42 414 487 754 877 708 859 930 1136 12 129 224 417 981 1090 22 135 335 555 662 1090 1134 1145 15 180 439 621 757 1036 1081 0 275 599 908 994 100 179 261 382 483 636 777 821 1030 1159 1 221 520 574 655 1072 41 183 285 331 392 520 722 782 913 240 334 530 633 673 758 944 58 81 97 184 256 488 687 917 165 189 328 384 424 458 747 850 1033 1122 1147 11 89 459 1142 0 208 234 279 356 603 660 892 983 418 527 732 988 1058 1117 3 85 365 545 1025 1092 471 956 1063 105 543 561 600 697 1147 12 183 277 370 250 538 770 826 1062 59 111 385 756 830 983 90 215 430 596 747 833 76 237 316 412 471 620 663 840 1118 416 659 1128 146 277 402 503 554 278 667 693 765 894 962 1143 12 92 449 552 960 1061 7 130 292 398 584 676 809 1032 1106 405 487 504 699 799 863 1027 14 299 413 558 722 834 954 1032 853.03/862.92 o 1767 853.03/862.92 v 118 237 319 557 820 1007 111 287 360 414 602 860 942 958 973 244 490 648 706 831 934 1102 24 119 581 744 809 854 928 1121 181 414 487 618 683 748 934 1034 1136 12 77 224 417 1044 1090 22 135 332 555 644 1090 1134 1145 15 180 465 621 767 1036 1081 0 52 107 511 581 656 896 14 126 477 636 777 821 1030 1159 1 221 520 574 625 1072 41 152 285 331 392 520 722 795 913 240 334 530 606 673 758 976 1034 1067 1110 210 442 488 687 730 3 189 328 384 391 458 747 850 1033 1122 1147 11 357 675 1142 0 208 234 279 356 914 1024 29 103 165 483 707 994 261 372 3 85 158 230 337 392 471 956 1055 104 543 561 600 697 1147 0 205 246 751 848 901 955 1014 1062 59 135 385 756 830 930 90 256 430 596 747 831 927 83 316 412 461 620 663 787 833 416 466 865 991 266 402 813 1040 245 585 693 765 894 962 1143 12 92 439 552 960 1061 7 84 196 411 644 676 809 1032 1106 407 993 204 338 503 576 672 1022 302 410 562 722 853 955 1032
OK 18 1767 18 unsatisfied constraints, 1767 satisfied constraints
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112173-1215863012/watcher-1112173-1215863012 -o /tmp/evaluation-result-1112173-1215863012/solver-1112173-1215863012 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112173-1215863012.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.05 2.01 4/105 12615 /proc/meminfo: memFree=1774368/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) R 12613 12615 11722 0 -1 4194304 258 0 0 0 0 0 0 0 20 0 1 0 42998727 5484544 226 996147200 4194304 4889804 548682068752 18446744073709551615 4447499 0 0 4100 65536 0 0 0 17 1 0 0 /proc/12615/statm: 1339 226 188 169 0 50 0 [startup+0.073127 s] /proc/loadavg: 2.19 2.05 2.01 4/105 12615 /proc/meminfo: memFree=1774368/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101124 s] /proc/loadavg: 2.19 2.05 2.01 4/105 12615 /proc/meminfo: memFree=1774368/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.301162 s] /proc/loadavg: 2.19 2.05 2.01 4/105 12615 /proc/meminfo: memFree=1774368/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.701237 s] /proc/loadavg: 2.19 2.05 2.01 4/105 12615 /proc/meminfo: memFree=1774368/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50239 s] /proc/loadavg: 2.19 2.05 2.01 3/115 12626 /proc/meminfo: memFree=1756880/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=846256 CPUtime=1.47 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 13068 0 1 0 139 8 0 0 20 0 10 0 42998728 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 211564 12191 2574 9 0 206125 0 [pid=12618/tid=12619] ppid=12615 vsize=846256 CPUtime=0.74 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 3773 0 1 0 71 3 0 0 25 0 10 0 42998728 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12620] ppid=12615 vsize=846256 CPUtime=0.54 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 7814 0 0 0 51 3 0 0 16 0 10 0 42998729 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=846256 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 42998730 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=846256 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 42998730 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=846256 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 42998732 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=846256 CPUtime=0.16 /proc/12618/task/12624/stat : 12624 (java) R 12615 12615 11722 0 -1 64 745 0 0 0 16 0 0 0 16 0 10 0 42998732 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 101997263 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=846256 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 42998732 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=846256 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 42998732 866566144 12191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 851612 [startup+3.10169 s] /proc/loadavg: 2.19 2.05 2.01 3/116 12627 /proc/meminfo: memFree=1731720/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850960 CPUtime=3.05 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 27893 0 1 0 291 14 0 0 20 0 9 0 42998728 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212740 26885 2579 9 0 207300 0 [pid=12618/tid=12619] ppid=12615 vsize=850960 CPUtime=1.53 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4207 0 1 0 149 4 0 0 25 0 9 0 42998728 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850960 CPUtime=0.94 /proc/12618/task/12620/stat : 12620 (java) R 12615 12615 11722 0 -1 64 20674 0 0 0 87 7 0 0 16 0 9 0 42998729 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 102721916 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850960 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850960 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850960 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850960 CPUtime=0.56 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2275 0 0 0 54 2 0 0 15 0 9 0 42998732 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850960 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850960 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871383040 26885 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 856316 [startup+6.30228 s] /proc/loadavg: 2.25 2.06 2.02 3/115 12627 /proc/meminfo: memFree=1675792/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=6.22 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 27939 0 1 0 607 15 0 0 20 0 9 0 42998728 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 26929 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=4.43 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4214 0 1 0 439 4 0 0 25 0 9 0 42998728 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4127319084 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.18 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20698 0 0 0 111 7 0 0 16 0 9 0 42998729 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.57 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2290 0 0 0 55 2 0 0 15 0 9 0 42998732 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 26929 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 856252 [startup+12.7015 s] /proc/loadavg: 2.23 2.06 2.02 3/115 12627 /proc/meminfo: memFree=1675160/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=12.53 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28113 0 1 0 1238 15 0 0 20 0 9 0 42998728 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27102 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=10.72 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4378 0 1 0 1068 4 0 0 25 0 9 0 42998728 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4127353274 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.18 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20698 0 0 0 111 7 0 0 16 0 9 0 42998729 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.59 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2300 0 0 0 57 2 0 0 15 0 9 0 42998732 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27102 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 856252 [startup+25.5029 s] /proc/loadavg: 2.18 2.06 2.02 3/115 12627 /proc/meminfo: memFree=1674200/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=25.17 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28260 0 1 0 2502 15 0 0 20 0 9 0 42998728 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27248 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=23.37 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4522 0 1 0 2332 5 0 0 25 0 9 0 42998728 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4127295225 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.19 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20700 0 0 0 112 7 0 0 16 0 9 0 42998729 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.59 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2301 0 0 0 57 2 0 0 16 0 9 0 42998732 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27248 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 856252 [startup+51.1027 s] /proc/loadavg: 2.12 2.05 2.01 3/115 12627 /proc/meminfo: memFree=1674200/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 ################ # More data... # ################ /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2307 0 0 0 58 2 0 0 16 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3363.42 Current children cumulated vsize (KiB) 856252 [startup+3462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/115 12635 /proc/meminfo: memFree=1671256/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=3422.73 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28283 0 1 0 342253 20 0 0 20 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27259 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=3420.91 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4535 0 1 0 342082 9 0 0 25 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4127300376 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.19 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20704 0 0 0 112 7 0 0 16 0 9 0 42998729 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.6 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2307 0 0 0 58 2 0 0 16 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3422.73 Current children cumulated vsize (KiB) 856252 [startup+3522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/116 12877 /proc/meminfo: memFree=1690264/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=3482.44 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28283 0 1 0 348222 22 0 0 20 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27259 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=3480.61 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4535 0 1 0 348050 11 0 0 25 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4127353285 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.19 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20704 0 0 0 112 7 0 0 16 0 9 0 42998729 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.6 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2307 0 0 0 58 2 0 0 16 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3482.44 Current children cumulated vsize (KiB) 856252 [startup+3582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/116 12877 /proc/meminfo: memFree=1690072/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=3542.42 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28283 0 1 0 354220 22 0 0 20 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27259 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=3540.59 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4535 0 1 0 354048 11 0 0 25 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4127296685 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.19 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20704 0 0 0 112 7 0 0 16 0 9 0 42998729 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.6 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2307 0 0 0 58 2 0 0 16 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3542.42 Current children cumulated vsize (KiB) 856252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3639.91 s] /proc/loadavg: 2.00 2.00 2.00 3/116 12877 /proc/meminfo: memFree=1689944/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=3600.01 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28283 0 1 0 359979 22 0 0 20 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27259 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=3598.18 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4535 0 1 0 359807 11 0 0 25 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4127296685 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.19 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20704 0 0 0 112 7 0 0 16 0 9 0 42998729 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.6 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2307 0 0 0 58 2 0 0 16 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.01 Current children cumulated vsize (KiB) 856252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+3639.91 s] /proc/loadavg: 2.00 2.00 2.00 3/116 12877 /proc/meminfo: memFree=1689944/2055920 swapFree=4192812/4192956 [pid=12615] ppid=12613 vsize=5356 CPUtime=0 /proc/12615/stat : 12615 (concrete.sh) S 12613 12615 11722 0 -1 4194304 315 128 0 0 0 0 0 0 16 0 1 0 42998727 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12615/statm: 1339 242 201 169 0 50 0 [pid=12618] ppid=12615 vsize=850896 CPUtime=3600.01 /proc/12618/stat : 12618 (java) S 12615 12615 11722 0 -1 0 28283 0 1 0 359979 22 0 0 20 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12618/statm: 212724 27259 2580 9 0 207284 0 [pid=12618/tid=12619] ppid=12615 vsize=850896 CPUtime=3598.18 /proc/12618/task/12619/stat : 12619 (java) R 12615 12615 11722 0 -1 64 4535 0 1 0 359807 11 0 0 25 0 9 0 42998728 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4127296685 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12620] ppid=12615 vsize=850896 CPUtime=1.19 /proc/12618/task/12620/stat : 12620 (java) S 12615 12615 11722 0 -1 64 20704 0 0 0 112 7 0 0 16 0 9 0 42998729 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12621] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12621/stat : 12621 (java) S 12615 12615 11722 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12622] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12622/stat : 12622 (java) S 12615 12615 11722 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 42998730 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12623] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12623/stat : 12623 (java) S 12615 12615 11722 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12624] ppid=12615 vsize=850896 CPUtime=0.6 /proc/12618/task/12624/stat : 12624 (java) S 12615 12615 11722 0 -1 64 2307 0 0 0 58 2 0 0 16 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12618/tid=12625] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12625/stat : 12625 (java) S 12615 12615 11722 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12618/tid=12626] ppid=12615 vsize=850896 CPUtime=0 /proc/12618/task/12626/stat : 12626 (java) S 12615 12615 11722 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 42998732 871317504 27259 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.01 Current children cumulated vsize (KiB) 856252 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12615 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 3600.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3639.93 CPU time (s): 3600.01 CPU user time (s): 3599.79 CPU system time (s): 0.22 CPU usage (%): 98.9034 Max. virtual memory (cumulated for all children) (KiB): 856316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 3 runsolver used 5.00624 second user time and 14.8827 second system time The end
Begin job on node81 at 2008-07-12 13:43:32 IDJOB=1112173 IDBENCH=61374 IDSOLVER=335 FILE ID=node81/1112173-1215863012 PBS_JOBID= 7903456 Free space on /tmp= 126816 MiB SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30 BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-2.xml COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112173-1215863012/watcher-1112173-1215863012 -o /tmp/evaluation-result-1112173-1215863012/solver-1112173-1215863012 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112173-1215863012.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 82e30b1cc0425fc71c427eb8ae1415f1 RANDOM SEED=1703886707 node81.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1774784 kB Buffers: 31320 kB Cached: 115152 kB SwapCached: 0 kB Active: 124500 kB Inactive: 88592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1774784 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1296 kB Writeback: 0 kB Mapped: 88196 kB Slab: 50068 kB Committed_AS: 1126688 kB PageTables: 4140 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 126816 MiB End job on node81 at 2008-07-12 14:44:14