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) | 32 | 3600.09 | 3617.72 |
| Name | csp/os-taillard-20/ normalized-os-taillard-20-95-6.xml |
| MD5SUM | 5cd20cea40cbbe199e65e8aaf2196708 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 25 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1284 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 7600 |
| Global constraints used (with number of constraints) |
14.79/14.98 c CPU-LOAD 11.14 14.79/14.98 c LOADED 400 V (1284 E), 7600 DTPConstraint, arity 2, 11.14 cpu 20.96/21.19 s SATISFIABLE 20.96/21.19 o 7506 20.96/21.19 v 503 147 440 785 391 308 33 478 655 1015 1030 361 47 1238 849 1096 949 1121 725 1174 220 264 185 619 440 734 705 573 810 413 990 1218 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 464 974 1027 354 8 1221 229 612 148 772 1087 1177 750 890 967 1174 870 625 1213 450 58 568 224 504 264 662 93 360 979 1084 198 1 1137 226 101 1011 849 18 579 475 906 182 442 276 721 396 819 500 747 773 161 1242 500 95 948 117 570 381 785 270 446 857 290 1124 762 1036 682 193 585 1168 538 792 784 977 100 217 468 878 388 1218 935 1171 588 685 895 524 1051 99 818 321 1046 594 139 1244 1008 350 766 9 1073 472 1163 641 885 552 839 448 36 952 358 720 1076 227 1197 1015 479 623 291 649 832 186 1246 465 23 1074 203 11 826 1050 562 408 733 957 34 1059 883 88 819 529 1128 114 621 235 972 423 719 359 1220 873 1151 502 277 328 1038 742 1104 110 1212 783 20 363 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1062 743 611 417 85 521 272 867 785 669 1071 1099 315 181 220 1191 1199 448 747 401 167 608 461 977 572 880 81 2 3 737 1180 119 107 456 1160 334 210 674 234 972 1056 452 730 357 298 860 540 31 285 1143 651 938 1006 546 832 344 213 477 138 512 591 975 1211 773 44 863 889 1049 493 199 1274 650 564 297 102 1229 10 733 979 936 1131 887 1218 1093 198 394 780 502 1097 280 855 1180 165 50 1212 302 1017 213 443 754 610 737 1 191 656 61 432 927 28 805 978 693 143 1007 602 300 183 1121 1199 338 1243 1084 1155 118 415 792 495 1 973 740 363 92 122 497 576 132 793 181 1026 859 1225 20 919 397 655 1093 301 1154 762 713 92 1177 584 364 1034 972 245 827 862 659 127 180 696 451 3 244 1058 836 21.06/21.22 o 7507 21.06/21.22 v 503 147 440 785 391 308 33 478 655 1015 1030 361 47 1238 849 1096 949 1121 725 1174 220 264 185 619 440 734 705 573 810 413 990 1218 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 354 8 1221 229 612 148 772 1087 1177 750 890 967 1174 870 625 1213 450 58 568 224 504 264 662 93 360 979 1084 198 1 1137 226 101 1011 849 18 579 475 906 182 442 276 721 396 819 500 747 773 161 1242 500 95 948 117 570 388 785 270 446 857 290 1124 762 1036 682 193 586 1168 538 792 784 977 100 217 468 875 388 1218 935 1171 588 685 895 524 1051 99 818 321 1046 594 139 1244 1008 350 766 9 1073 472 1163 641 885 552 839 448 36 952 358 720 1076 227 1197 1015 479 623 291 649 832 186 1246 465 21 1074 203 11 826 1050 562 408 733 957 34 1059 883 88 819 529 1128 114 621 235 972 423 719 359 1220 873 1151 502 277 328 1038 742 1104 110 1212 783 20 363 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1062 743 611 417 85 521 272 867 785 669 1071 1099 315 181 220 1191 1199 450 747 401 167 608 461 977 572 880 81 2 3 737 1180 119 107 456 1160 334 210 674 234 972 1056 452 730 357 298 860 540 31 285 1143 651 938 1006 546 832 344 213 477 138 931 591 975 1211 773 44 863 889 1049 493 199 1274 650 564 297 102 1229 10 733 979 936 1131 887 1218 1093 198 394 780 502 1097 280 855 1180 165 50 1212 302 1017 213 443 754 610 737 1 191 656 61 432 927 28 805 978 693 143 1007 602 300 183 1121 1199 338 1243 1084 1155 118 415 792 495 1 973 740 363 92 122 497 576 132 793 181 1026 859 1225 20 919 397 655 1093 301 1154 762 713 92 1177 579 364 1034 972 245 827 862 659 127 180 696 451 3 244 1058 836 21.06/21.23 o 7508 21.06/21.23 v 503 147 440 785 391 308 33 478 655 1009 1030 361 47 1238 849 1096 949 1121 725 1174 220 264 185 619 440 734 705 573 810 413 990 1218 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 354 8 1221 229 612 148 772 1087 1177 750 890 967 1174 870 625 1213 450 58 568 224 504 264 662 93 360 979 1084 198 1 1137 226 101 1011 849 18 579 475 906 182 442 276 721 396 819 500 683 773 161 1242 500 95 948 117 570 388 785 270 446 857 290 1124 762 1036 682 193 586 1168 538 792 784 977 100 217 468 875 388 1218 935 1171 588 685 895 524 1051 99 818 321 1046 594 139 1244 1008 350 766 9 1073 472 1163 641 885 552 839 448 36 952 358 720 1076 227 1197 1015 479 623 291 649 832 186 1246 465 21 1074 203 11 826 1050 562 408 733 957 34 1059 883 88 819 529 1128 114 621 235 972 423 719 359 1220 873 1151 502 277 328 1038 742 1104 110 1212 783 20 363 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1062 743 611 417 85 521 272 867 785 669 1071 1099 315 181 220 1191 1199 450 747 401 167 608 461 977 572 880 81 2 3 737 1180 119 107 456 1160 334 210 674 234 972 1056 452 730 357 298 860 540 31 285 1143 651 938 1006 546 832 344 213 477 138 931 591 975 1211 773 44 863 889 1049 493 199 1274 650 564 297 102 1229 10 733 979 936 1131 887 1218 1093 198 394 780 502 1097 280 855 1180 165 50 1212 302 1017 213 443 754 610 737 1 191 656 61 366 927 28 805 978 693 143 1007 602 300 183 1121 1199 338 1243 1084 1155 118 415 792 495 1 973 740 363 92 122 497 576 132 793 181 1026 859 1225 20 919 397 655 1093 301 1154 762 713 92 1177 579 364 1034 972 245 827 862 659 127 180 696 451 3 244 1058 836 21.06/21.27 o 7509 21.06/21.27 v 503 147 440 785 391 308 33 478 655 1009 1030 361 47 1238 849 1096 949 1121 725 1174 220 264 185 619 440 734 705 573 810 413 990 1218 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 354 8 1221 229 612 148 772 1087 1177 750 890 967 1174 870 625 1213 450 58 568 224 504 264 662 93 360 979 1084 198 1 1137 226 101 1011 849 18 579 475 906 182 442 276 721 396 819 500 683 773 161 1242 500 95 948 117 570 388 785 270 446 857 291 1124 762 1036 682 193 586 1168 538 792 784 977 100 217 468 875 388 1218 935 1171 588 685 895 524 1051 87 818 321 1046 594 139 1244 1008 350 766 9 1073 472 1163 641 642 552 839 448 36 952 358 720 1076 227 1197 1015 487 623 291 649 832 186 1246 465 21 1074 203 11 826 1050 586 408 733 957 34 1059 883 88 819 529 1128 114 621 235 972 423 719 359 1220 873 1151 502 277 328 1038 742 1104 110 1212 783 20 369 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1062 743 611 417 85 521 272 867 785 667 1071 1099 315 181 220 1191 1199 450 747 401 167 608 461 977 572 880 81 2 3 737 1180 109 107 456 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 646 938 1006 546 832 344 213 477 138 931 591 975 1211 773 44 863 889 1049 493 199 1274 650 564 297 102 1229 10 733 979 936 1131 887 1218 1093 198 394 779 502 1097 280 855 1180 165 50 1212 302 1017 213 443 754 610 737 1 191 656 61 366 927 28 805 978 693 143 1007 602 300 191 1121 1199 338 1243 1084 1155 118 415 792 495 1 973 740 363 92 122 497 576 132 793 181 732 859 1225 20 919 397 655 1093 301 1154 762 713 351 1177 579 364 1034 972 245 827 862 659 127 180 696 451 3 244 1058 836 21.06/21.28 o 7510 21.06/21.28 v 503 147 440 785 391 308 33 478 655 1009 1030 361 47 1238 849 1096 949 1121 725 1174 220 264 185 619 440 734 705 573 810 413 990 1218 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 354 8 1221 229 612 148 772 1087 1177 750 890 967 1174 870 625 1213 450 58 568 224 504 264 662 93 360 979 1084 198 1 1137 226 101 1011 849 18 579 475 906 182 442 276 721 396 819 500 683 773 161 1242 500 95 948 117 570 388 785 270 446 857 291 1124 762 1036 682 193 586 1168 538 792 784 977 100 217 468 875 388 1218 935 1171 588 685 895 524 1051 87 818 321 1046 594 139 1244 1008 350 766 9 1073 472 1163 641 642 552 839 448 36 952 358 720 1076 227 1197 1015 487 739 291 649 832 186 1246 465 21 1074 203 11 826 1050 586 408 733 957 34 1059 883 88 819 529 1128 114 621 235 972 423 719 359 1220 873 1151 502 277 328 1038 742 1104 110 1212 783 20 369 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1062 743 611 417 85 521 272 867 785 667 1071 1099 315 181 220 1191 1199 450 747 401 167 608 461 977 572 880 81 2 3 737 1180 109 107 456 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 646 938 1006 546 832 344 213 477 138 931 591 975 1211 773 44 863 889 1049 493 199 1274 650 564 297 102 1229 10 733 979 936 1131 887 1218 1093 198 394 779 502 1097 280 855 1180 165 50 1212 302 1017 213 443 754 610 737 1 191 656 61 366 927 28 805 978 693 143 1007 602 300 191 1121 1199 338 1243 1084 1155 118 415 792 495 1 973 740 363 92 122 497 576 132 793 181 732 859 1225 20 919 397 655 1093 301 1154 762 713 351 1177 579 364 1034 972 245 827 862 659 127 180 696 451 3 244 1058 836 21.46/21.64 o 7511 21.46/21.64 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 955 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 323 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 527 264 662 93 337 979 1084 198 1 1137 226 101 86 849 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 785 270 400 857 291 1124 762 33 682 126 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 1008 350 766 9 904 465 1163 641 645 545 839 448 36 952 368 725 1076 227 1197 1015 487 648 370 649 845 186 1246 462 20 1074 203 42 834 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 743 1186 886 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 297 102 1229 10 70 890 936 1131 887 1218 1093 714 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 55 1081 927 28 805 978 693 143 1007 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 122 497 576 132 793 185 732 859 1225 20 919 394 655 1093 301 1150 762 713 351 1177 569 364 1034 972 245 827 862 659 127 180 696 451 3 1057 397 836 21.46/21.66 o 7512 21.46/21.66 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 955 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 323 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 527 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 785 270 400 857 291 1124 762 33 682 126 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 1008 350 183 9 904 465 1163 641 645 545 839 448 36 952 368 725 1076 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 203 42 834 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 743 1186 886 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 297 102 1229 10 70 890 975 1131 887 1218 1093 714 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 55 1081 927 28 805 978 693 143 1007 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 122 497 576 132 793 185 732 859 1225 20 919 394 655 1093 301 1150 762 713 351 1177 569 364 1034 972 245 827 862 659 127 180 696 451 3 1057 397 836 21.46/21.66 o 7514 21.46/21.66 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 955 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 323 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 527 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 785 270 400 857 291 1124 762 33 682 126 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 1008 350 183 9 904 465 1163 641 645 545 839 448 36 952 368 725 1076 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 203 42 834 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 743 1186 886 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 297 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 55 1081 927 28 805 978 693 143 1007 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 122 497 576 132 793 185 732 859 1225 20 919 394 655 1093 301 1150 762 713 351 1177 569 364 1034 972 245 827 862 659 127 180 696 451 3 1057 397 836 21.46/21.66 o 7515 21.46/21.66 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 955 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 323 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 527 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 785 270 400 857 291 1124 762 33 682 126 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 1008 350 183 9 904 465 1163 641 645 545 839 448 36 952 368 725 1076 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 203 42 834 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 743 1186 886 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 297 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 805 978 693 143 1007 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 122 497 576 132 793 185 732 859 1225 20 919 394 655 1093 301 1150 762 713 351 1177 569 364 1034 972 245 827 862 659 127 180 696 451 3 1057 397 836 21.46/21.68 o 7516 21.46/21.68 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 955 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 546 838 447 974 1027 323 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 527 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 786 270 400 857 291 1124 762 33 682 124 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 1008 350 183 9 904 465 1163 641 645 545 839 448 36 952 368 725 1076 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 211 51 834 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 748 1186 114 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 297 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 805 978 693 143 1006 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 122 497 576 132 793 185 732 859 1225 20 919 394 655 1093 301 1150 762 713 351 1177 569 364 1034 972 245 827 862 659 127 180 696 451 3 1057 397 836 21.56/21.73 o 7519 21.56/21.73 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 926 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 428 838 447 974 1027 613 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 526 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 786 273 400 857 291 1124 762 33 682 124 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 996 350 183 9 904 465 1163 641 1096 545 839 448 36 952 368 725 1076 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 211 20 828 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 748 1186 114 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 285 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 805 978 693 143 1006 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 121 497 576 132 793 177 724 859 1225 20 919 394 655 1093 301 1150 762 713 298 1177 569 364 1034 972 245 827 862 659 127 180 696 479 3 1057 397 836 21.56/21.73 o 7520 21.56/21.73 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 926 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 428 838 447 974 1027 613 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 526 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 388 786 273 400 857 291 1124 762 33 682 124 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 996 350 183 9 904 465 1163 641 1096 545 839 448 36 952 368 725 1045 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 211 20 828 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 748 1186 114 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 285 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 805 978 693 143 1006 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 121 497 576 132 793 177 724 859 1225 20 919 394 655 1093 301 1150 762 713 298 1177 569 364 1034 972 245 827 862 659 127 180 696 479 3 1057 397 836 21.56/21.74 o 7521 21.56/21.74 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 926 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 428 838 447 974 1027 613 8 1215 229 612 148 772 1087 1177 750 885 967 1174 870 625 1213 429 981 549 224 526 264 662 93 337 979 1084 198 1 1137 226 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 441 786 273 400 857 291 1124 762 33 682 124 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 996 350 183 9 904 465 1163 641 1096 545 839 448 36 952 368 725 1045 227 1197 1015 487 648 370 649 845 186 1246 462 18 1074 211 20 828 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 748 1186 114 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 285 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 805 978 693 143 1006 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 121 497 576 132 793 177 724 859 1225 20 919 394 655 1093 301 1150 762 713 298 1177 569 364 1034 972 245 827 862 659 127 180 696 479 3 1057 397 836 21.56/21.75 o 7522 21.56/21.75 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 926 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 428 838 463 974 1027 613 8 1215 241 612 148 772 1087 1177 750 890 967 1174 870 625 1213 429 982 549 224 526 264 662 93 337 979 1084 198 1 1137 5 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 949 948 1062 570 441 786 273 400 857 291 1124 762 33 682 124 587 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 996 350 183 9 904 465 1163 641 1096 545 839 448 36 952 368 725 1045 227 1197 1015 487 648 370 649 833 186 1246 462 18 1074 211 20 828 1050 586 305 733 957 34 1059 891 88 819 824 1133 114 621 235 973 423 719 359 1218 873 1151 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 748 1186 114 107 462 1160 334 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 285 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 805 978 693 143 1006 602 300 186 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 121 497 576 132 793 177 724 859 1225 20 919 394 655 1093 301 1150 762 713 298 1177 569 364 1034 972 245 827 862 659 127 180 696 479 3 1057 397 836 21.66/21.81 o 7523 21.66/21.81 v 503 147 262 785 391 308 33 478 655 441 1058 1031 47 1238 849 333 926 1121 725 1144 220 264 185 535 440 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 332 1150 54 428 838 463 974 1027 613 8 1215 241 612 148 772 1087 1177 750 887 967 1174 870 625 1213 429 982 549 224 526 264 662 93 337 979 1084 198 1 1137 5 101 86 858 328 579 475 906 182 442 276 721 778 819 500 683 1007 1069 1242 500 1036 948 1062 570 441 785 266 400 857 291 1124 762 33 682 124 585 1168 538 999 784 981 92 217 468 875 388 1218 935 1171 588 685 29 524 3 116 818 321 1046 591 139 1244 996 350 185 9 904 465 1163 641 1096 545 839 448 36 952 368 725 1045 227 1197 1015 487 366 362 649 841 186 1246 462 18 1074 209 20 828 1050 586 305 733 957 39 1059 892 88 819 824 1133 114 621 235 973 423 719 359 1218 873 704 518 277 328 1038 742 1104 110 1212 783 20 335 14 923 279 756 475 234 729 555 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 600 417 85 521 272 867 785 667 1071 1103 315 183 227 1191 1199 450 747 807 167 608 478 977 572 880 81 2 3 604 1186 114 107 462 1160 787 210 674 234 972 1056 452 730 355 298 860 540 31 285 1143 649 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 285 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 474 757 610 737 1 191 359 653 1081 927 28 800 978 693 143 1004 602 300 182 1121 1199 337 1243 1084 1155 118 415 835 495 1 973 740 363 92 121 497 576 132 793 177 704 859 1225 20 919 394 655 1093 301 1150 762 713 298 1177 569 364 1034 972 245 827 862 659 127 180 696 479 3 1057 397 836 21.86/22.07 o 7524 21.86/22.07 v 1132 188 987 785 391 308 33 478 655 460 1058 1031 47 1238 849 333 127 1121 725 598 220 264 185 535 544 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 363 1150 54 428 838 463 974 1027 611 8 1215 230 612 148 772 1087 1177 751 887 967 1174 870 625 1213 429 750 549 224 526 279 662 93 320 979 1084 198 1 1137 37 101 86 858 344 579 475 905 182 442 276 721 778 819 1072 683 1007 1069 1242 500 1036 948 1062 570 443 785 266 400 857 291 1124 762 33 682 149 585 1168 538 999 1256 981 90 217 468 758 388 1218 233 1171 588 685 818 524 0 116 818 321 1046 929 139 1244 996 350 185 9 256 465 1163 641 1096 545 839 448 833 952 355 725 1045 227 1197 1015 487 366 362 649 841 186 1246 462 38 1074 209 20 652 1050 586 305 755 957 23 1059 878 88 376 824 1133 114 621 235 973 423 710 359 1218 873 704 518 277 328 1038 742 1104 110 1212 783 28 335 14 923 279 756 475 1009 729 438 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 602 417 85 521 272 867 786 667 1071 1103 315 875 227 1191 1199 450 747 807 167 608 459 977 572 878 49 2 3 961 1186 114 107 310 1181 787 210 674 234 972 1061 452 726 356 298 860 540 31 285 1143 668 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 323 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 50 1212 302 1017 213 483 759 610 737 1 191 395 653 1081 927 28 801 978 693 143 1007 602 300 182 1121 1199 337 1243 1084 1155 118 415 800 495 1 973 956 363 92 122 497 576 722 793 191 122 859 1225 20 919 394 655 1093 301 1148 762 713 298 1177 39 385 1034 972 245 827 862 659 127 180 696 479 3 1085 381 836 21.95/22.14 o 7525 21.95/22.14 v 1132 188 987 785 391 308 33 478 655 460 1058 1031 47 1238 849 333 127 1121 725 575 220 264 185 535 544 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 363 1150 54 428 838 463 974 1027 611 8 1215 230 733 148 772 1087 1177 751 887 967 1174 870 625 1213 429 750 549 224 526 279 662 93 320 979 1084 198 1 1137 37 101 86 858 344 579 475 905 182 442 276 721 778 819 1072 683 1007 1069 1242 500 123 950 1062 570 443 785 177 400 857 291 1124 762 33 682 149 585 1168 538 999 1256 981 90 217 468 758 388 1218 233 1171 588 685 818 524 0 116 818 321 1046 929 139 1244 996 350 185 9 256 465 1163 641 1096 545 36 448 833 952 366 725 1045 229 1197 1015 487 366 362 649 841 186 1246 462 41 1074 209 33 652 1050 586 305 763 957 23 1059 878 88 376 824 1133 114 621 235 973 423 710 359 1218 873 704 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 611 417 85 521 272 867 786 667 1071 1103 315 875 227 1191 1199 450 747 807 167 608 459 976 572 878 49 2 3 961 1186 105 107 473 1175 787 210 674 234 972 1061 452 726 356 298 860 540 31 285 1143 668 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 323 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 927 28 801 978 693 143 1007 602 300 182 1121 1199 337 1243 1084 1155 118 415 842 495 1 973 956 363 92 122 497 576 722 793 191 122 859 1225 20 919 394 655 1093 301 1148 762 713 298 1177 585 385 1034 972 245 827 862 659 101 180 696 479 3 1065 381 836 21.95/22.18 o 7526 21.95/22.18 v 1132 188 987 785 391 308 33 478 655 448 1058 1031 47 1238 849 333 127 1121 725 575 220 264 185 535 544 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 323 1150 54 428 838 463 974 1027 611 8 1215 230 733 148 772 1087 1177 750 887 967 1174 870 625 1213 429 750 549 224 526 279 662 93 320 979 1084 198 1 1137 37 101 86 858 344 579 475 905 182 442 276 721 778 819 1072 683 1007 1069 1242 500 123 950 1062 570 443 785 177 400 857 291 1124 762 33 682 149 585 1177 538 999 1256 981 96 217 468 758 388 1218 187 1171 588 685 817 524 0 91 818 321 1046 929 139 1244 996 350 185 9 256 465 1163 641 1096 545 36 448 833 952 366 725 1045 229 1197 1015 487 366 362 287 841 186 1246 462 41 1074 209 33 652 1050 586 305 763 957 23 1059 878 88 376 824 1133 114 621 235 973 423 710 354 1218 873 704 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 604 375 280 1192 173 215 701 139 1025 929 4 77 327 1061 743 611 417 85 521 272 867 786 667 1071 1103 315 875 227 1191 1199 450 747 807 167 608 459 979 572 878 49 2 3 961 1186 105 95 473 1175 787 210 674 234 948 1061 452 726 356 298 860 540 31 285 1143 668 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 323 102 1229 10 70 890 975 1131 887 1218 1093 197 326 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 801 978 693 143 1005 602 300 182 1121 1199 337 1243 1084 1155 118 415 842 495 1 973 956 363 92 122 497 576 722 793 191 122 859 1225 20 919 394 655 1093 301 1148 762 713 298 1177 585 385 1034 972 245 827 862 659 101 180 696 479 3 1065 381 836 22.05/22.30 o 7527 22.05/22.30 v 1132 188 807 785 391 308 33 478 655 448 1058 1031 62 1238 849 333 127 1121 725 573 220 264 185 535 544 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 367 1150 54 1093 838 463 974 1027 611 8 1215 230 733 148 772 1087 1177 750 887 967 1174 870 625 1213 429 577 566 224 502 279 662 93 320 979 1084 198 1 1137 37 101 86 858 344 579 475 905 182 442 276 721 778 819 491 683 1007 1069 1242 500 123 950 1062 570 443 785 177 400 857 291 1124 762 33 682 194 585 1177 538 999 1256 981 96 217 468 758 388 1218 187 1171 588 685 817 524 0 91 323 321 1046 836 139 1244 996 350 185 9 256 465 1163 641 1096 545 36 448 833 952 366 725 1045 229 1197 1015 475 1103 362 287 841 186 1246 462 41 1074 208 33 652 1050 586 305 763 957 23 1059 631 88 375 824 1133 114 621 235 973 423 710 359 1218 864 708 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 601 375 280 1192 173 215 117 139 1025 929 4 77 327 1061 743 611 417 85 521 272 867 786 669 1071 1103 315 879 227 1191 1199 450 747 807 167 608 459 997 572 878 49 2 3 961 1186 105 95 473 1167 787 210 674 234 948 1072 607 726 356 298 860 540 31 285 1143 665 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 199 1274 650 564 323 102 1229 5 70 890 975 1131 887 1218 1093 197 539 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 807 978 693 143 1005 602 300 212 1121 1199 337 1243 1084 1155 118 415 842 495 1 973 948 363 92 122 497 576 729 652 191 122 859 1225 20 919 394 655 1093 301 1148 762 713 298 1177 574 385 1034 972 245 827 862 659 101 180 696 479 3 1083 397 836 22.15/22.31 o 7528 22.15/22.31 v 1132 188 807 785 391 308 33 478 655 448 1058 1031 62 1238 849 333 127 1121 725 573 220 264 185 535 544 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 367 1150 54 1093 838 463 974 1027 611 8 1215 230 733 148 772 1087 1177 750 887 967 1174 870 625 1213 429 577 566 224 350 279 662 93 320 979 1084 198 1 1137 37 330 86 858 344 579 475 905 182 442 276 721 778 819 491 683 1007 1069 1242 500 123 950 1062 570 443 785 177 400 857 291 1124 762 33 682 194 585 1177 538 999 1256 981 96 217 468 758 388 1218 187 1171 588 685 817 524 0 91 323 321 1046 836 139 1244 996 350 185 9 256 465 1163 641 1096 545 36 448 833 952 366 725 1045 229 1197 1015 475 1103 362 287 841 186 1246 462 41 1074 208 33 652 1050 586 305 763 957 23 1059 631 88 375 824 1133 114 621 235 973 423 710 359 1218 864 708 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 601 375 280 1192 173 215 117 139 1025 929 4 77 327 1061 743 611 417 85 521 272 867 786 669 1071 1103 315 871 227 1191 1199 450 747 807 167 608 459 997 572 878 49 2 3 961 1186 105 95 473 1167 787 210 674 234 948 1072 607 726 356 298 860 540 31 285 1143 665 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 203 1274 650 564 323 102 1229 2 70 890 975 1131 887 1218 1093 197 539 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 807 978 693 143 1005 602 300 212 1121 1199 337 1243 1084 1155 118 415 842 495 1 973 948 363 92 122 497 576 729 652 191 122 859 1225 20 919 394 655 1093 301 1148 762 713 298 1177 574 385 1034 972 245 827 862 659 101 180 696 479 3 1083 397 836 22.15/22.33 o 7529 22.15/22.33 v 1132 188 807 785 391 308 33 478 655 448 1058 1031 62 1238 849 333 127 1121 725 573 220 264 185 535 544 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 367 1150 54 1093 838 463 974 1027 611 8 1215 230 733 148 772 1087 1177 750 887 967 1174 870 625 1213 429 577 566 224 350 279 662 93 320 979 1084 198 1 1137 37 330 86 858 338 579 475 905 182 442 276 721 778 819 491 683 1007 1069 1242 500 123 950 1062 1165 443 785 177 400 857 291 1124 762 33 682 194 585 1177 538 999 1256 981 96 217 468 758 388 1218 187 1171 588 685 938 524 0 91 323 321 1046 836 139 1244 996 350 185 9 256 465 1163 641 1096 545 36 448 833 952 366 725 1045 229 1197 1015 475 1103 362 287 841 186 1246 462 41 1074 208 33 652 1050 586 305 763 957 23 1059 631 88 375 824 1133 114 621 235 973 423 710 359 1218 864 708 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 601 375 280 1192 173 215 117 139 1025 929 4 77 327 1061 743 611 417 85 521 272 867 786 669 1071 1103 315 871 227 1191 1199 375 747 807 167 608 459 997 572 878 49 2 3 961 1186 105 95 473 1167 787 210 674 234 948 1072 607 726 356 298 860 540 31 285 1143 665 938 848 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 203 1274 650 564 323 102 1229 2 70 890 975 1131 887 1218 1093 197 539 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 807 978 693 143 1005 602 300 212 1121 1199 337 1243 1084 1155 118 415 842 495 1 973 948 363 92 122 497 576 729 652 191 218 859 1225 20 919 394 655 1093 301 1148 762 713 298 1177 574 385 1034 972 245 827 862 659 101 180 696 479 3 1080 397 836 22.35/22.50 o 7530 22.35/22.50 v 1132 188 807 785 391 308 33 478 655 448 1045 1031 58 1238 849 333 127 1121 725 573 220 264 185 535 500 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 884 367 1150 54 953 838 463 974 1027 611 8 1215 230 733 148 772 1087 1177 735 887 967 1174 870 410 1213 453 577 566 224 668 279 758 93 318 979 1084 198 1 1137 12 330 86 874 338 579 475 905 192 442 276 721 778 819 491 683 1007 1069 1242 500 145 950 1062 982 443 785 22 402 857 291 1124 762 33 682 182 585 1168 538 379 0 981 96 210 468 758 388 1218 187 1171 588 685 938 524 1 91 323 317 1046 843 139 1244 996 350 185 9 255 465 1163 641 1096 545 36 448 833 952 366 725 1045 229 1197 1015 475 1119 362 287 847 186 1246 462 41 1074 208 850 652 1050 586 305 763 957 23 1059 631 88 375 824 1133 114 621 235 973 423 710 916 1218 864 708 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 197 375 280 1192 173 215 117 139 1025 929 4 77 327 1061 743 581 417 85 521 272 867 1062 666 1124 462 315 867 227 1196 1199 375 747 807 167 608 459 997 572 878 49 2 3 974 1179 105 107 473 1167 779 210 674 234 948 1072 607 726 356 298 860 540 31 285 1143 665 938 154 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 189 1274 650 564 323 102 1229 9 70 890 975 1131 887 1218 1093 197 539 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 807 978 693 143 1207 602 300 204 1121 1199 337 1243 1084 1155 118 415 842 495 1 967 960 363 92 122 497 575 729 652 191 1023 859 1225 20 919 394 655 1093 301 1138 762 713 298 1177 573 385 1034 972 245 827 862 659 101 180 696 479 3 1080 383 836 22.45/22.62 o 7531 22.45/22.62 v 1132 188 807 785 391 308 33 209 655 448 1045 1031 58 1238 849 333 127 1121 725 573 220 264 185 535 500 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 890 367 1150 54 953 838 524 974 1027 611 8 1215 230 733 148 772 1087 1177 735 887 967 1174 870 410 1213 463 602 564 224 654 279 978 93 318 989 1084 198 1 1137 660 330 86 874 338 579 475 881 192 442 276 721 778 819 491 10 1007 1069 1242 500 145 950 1062 982 443 785 22 402 857 289 1124 762 34 682 182 585 1185 538 379 0 981 96 210 468 758 388 1218 187 1171 588 685 938 524 1 91 323 317 1046 843 139 1244 996 350 185 9 235 465 1163 641 1096 545 36 448 832 952 366 725 1045 229 1197 1015 475 1120 362 287 847 186 1246 462 41 1071 208 849 652 1050 586 305 763 957 23 1059 631 88 375 824 1133 114 621 235 973 423 710 916 1218 869 715 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 197 375 280 1192 173 215 117 139 1025 929 4 77 327 1061 743 581 417 85 521 272 867 1062 666 1124 449 315 867 227 1196 1199 375 747 807 167 608 459 985 572 878 49 2 3 962 1179 118 107 473 1167 779 210 674 234 948 1072 607 332 356 298 860 540 31 285 1143 665 938 154 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 189 1274 650 564 323 99 1229 9 70 890 971 1131 887 1218 1093 197 538 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 824 978 693 143 1207 602 300 204 1121 1030 337 460 1084 1155 118 415 842 495 1 977 960 363 92 122 497 575 729 652 191 1017 859 1225 20 919 404 655 1093 301 1138 762 713 298 1177 573 385 1034 972 245 827 862 659 101 180 696 479 3 1080 383 836 22.45/22.63 o 7532 22.45/22.63 v 1132 188 807 785 391 308 33 209 655 448 1045 1031 58 1238 849 333 127 1121 725 573 220 264 185 535 500 734 705 573 810 413 987 771 944 874 120 904 742 20 1133 1075 707 1059 890 367 1150 54 953 838 524 974 1027 611 8 1215 230 733 148 772 1087 1177 735 887 967 1174 870 410 1213 463 602 564 224 654 279 978 93 318 989 1084 198 1 1137 660 330 86 874 338 579 475 881 192 442 276 721 778 819 491 10 1007 1069 1242 500 145 950 1062 982 443 785 22 402 857 289 1124 762 34 682 182 585 1185 538 379 0 981 96 210 468 758 388 1218 187 1171 588 685 938 524 1 91 323 317 1046 843 139 1244 996 350 185 9 235 465 1163 641 1096 545 36 448 832 952 366 725 1045 229 1197 1015 475 1120 362 287 847 186 1246 462 41 1071 208 849 652 1050 586 305 763 957 23 1059 631 88 375 824 1133 114 621 235 973 423 716 916 1218 869 715 518 277 328 1038 742 1104 110 1212 783 28 331 14 923 279 756 475 1009 729 438 980 466 716 197 375 280 1192 173 215 117 139 1025 929 4 77 327 1061 743 581 417 85 521 272 867 1062 666 1124 449 315 867 227 1196 1199 375 747 807 167 608 459 985 572 878 49 2 3 962 1179 118 107 473 1167 779 210 674 234 948 1072 607 332 356 298 860 540 31 285 1143 665 938 154 547 832 344 221 477 996 931 3 975 1211 773 44 863 889 1075 1084 189 1274 650 564 323 99 1229 9 70 890 971 1131 887 1218 1093 197 538 779 488 570 280 855 1180 165 53 1212 302 1017 213 483 759 610 737 1 191 395 641 1081 934 28 824 978 693 143 1207 602 300 204 1121 1030 337 460 1084 1155 118 415 842 495 1 977 960 363 92 122 497 575 729 145 191 1017 859 1225 20 919 404 655 1093 301 1138 762 713 298 1177 573 385 1034 972 245 827 862 659 101 180 696 479 3 1080 383 836 23.35/23.53 o 7533 23.35/23.53 v 1129 936 807 785 391 308 33 186 655 448 1058 510 1147 1238 851 333 127 1121 725 573 220 264 185 535 29 734 705 573 808 413 979 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 54 946 838 522 974 1027 611 8 1214 230 733 159 772 1087 1177 735 887 967 1174 870 1079 1213 463 602 547 232 982 828 287 93 318 136 1091 436 1 1137 660 330 86 186 338 579 475 909 393 558 276 721 778 819 491 10 1007 1069 1242 500 145 960 1062 313 443 786 197 320 857 866 1124 762 34 980 555 585 1184 698 388 1253 27 99 202 468 788 388 1218 936 1171 588 685 726 524 1 196 287 389 1051 838 139 1244 992 350 185 9 437 650 1163 863 1096 545 37 101 553 951 361 725 1045 229 1197 1015 476 978 362 287 847 186 1246 468 41 1077 196 663 647 8 586 1272 767 957 23 1059 631 88 182 824 1133 1126 867 136 973 423 719 362 1218 603 719 518 269 328 1038 742 1104 110 1212 795 36 331 14 923 279 756 475 628 729 438 980 466 716 197 375 280 1128 173 215 117 139 1025 929 4 77 327 1061 743 581 417 85 521 272 867 1062 468 1124 245 315 870 218 701 1199 374 761 807 167 590 471 985 572 883 49 2 3 958 1186 111 98 473 1161 787 210 674 234 717 772 605 1056 357 298 860 540 31 285 759 665 938 154 547 832 346 221 477 996 931 3 975 1211 498 44 863 889 1075 1084 1133 1274 650 1035 351 98 1229 9 70 889 971 95 887 1218 1093 197 538 786 488 570 280 855 1180 165 53 1212 322 1017 213 485 759 610 737 1 191 395 641 1081 936 28 601 978 715 143 1213 639 300 188 1121 1194 340 460 1084 1155 118 415 843 495 1 970 956 363 92 424 486 579 726 145 709 209 838 1225 20 919 478 655 1093 301 1138 973 751 298 1177 90 392 1034 972 245 827 862 659 101 180 696 479 3 1080 385 836 23.65/23.81 o 7535 23.65/23.81 v 1131 946 807 785 391 308 33 184 655 448 1058 510 1147 1238 851 333 127 1121 725 573 220 264 185 535 29 734 705 573 475 413 993 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 54 408 838 522 974 1027 611 8 771 230 733 159 772 1087 1177 735 887 967 1174 870 646 1213 463 606 540 232 978 828 1079 71 318 136 1091 436 1 1137 660 330 86 850 338 579 475 909 194 558 276 721 778 819 491 10 1007 1069 1242 500 145 960 1062 313 443 786 197 320 857 1153 132 762 34 981 555 585 1182 698 388 1253 27 99 217 468 788 388 1218 936 1171 588 685 726 524 1 190 287 389 1051 838 139 1244 992 350 185 9 437 650 1163 863 1096 545 37 101 449 952 361 725 1045 229 1197 200 474 980 362 287 847 186 1246 468 41 1077 196 663 654 8 586 1272 758 957 23 1059 635 88 182 824 1133 1126 892 136 973 423 721 362 1218 603 722 518 269 328 1038 948 1104 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 1128 173 215 117 139 1025 929 4 77 327 1061 743 774 417 85 521 272 867 1062 468 1124 245 317 870 196 701 1199 373 761 807 167 590 475 985 572 879 49 2 3 334 1180 126 98 473 1159 786 210 674 234 712 760 604 1042 379 298 860 540 31 285 759 665 938 154 547 832 346 221 477 996 931 3 975 1211 498 44 863 889 1075 1084 1133 1274 650 1035 351 98 1229 4 70 889 971 578 887 1218 1093 197 538 786 488 570 280 855 1180 165 53 1212 322 1017 213 485 759 610 737 1 191 395 641 1081 932 28 601 978 739 143 1213 639 300 195 1121 1194 1006 460 699 1155 118 415 843 495 1 964 956 363 92 126 486 577 726 145 709 209 838 1225 20 919 394 655 1093 301 1138 973 751 297 1177 97 391 1034 972 245 827 862 659 1122 180 696 479 3 1062 387 836 24.54/24.70 o 7536 24.54/24.70 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 61 487 838 522 974 1027 611 8 771 242 733 154 1213 1087 1177 736 887 967 1174 870 985 1213 221 598 544 388 209 828 106 777 318 487 1091 436 1 1137 660 330 86 896 338 579 475 904 196 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 786 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 998 1218 936 1171 588 685 726 524 6 839 287 379 1074 844 139 1244 990 350 185 9 437 650 1163 864 1096 545 37 101 449 952 360 764 1045 229 1197 1002 475 1110 362 287 847 186 1248 460 27 1072 197 663 970 8 586 1272 767 940 17 1059 632 223 182 221 853 1126 946 136 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 4 77 327 1061 743 649 417 85 521 272 867 306 451 1124 236 313 843 1063 701 1199 373 761 807 167 590 463 985 572 883 6 2 328 865 570 976 1174 473 1177 160 353 674 234 712 760 605 1052 379 298 879 90 31 285 93 662 938 1145 547 832 340 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 660 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 779 488 570 280 929 1180 165 55 1212 322 1017 213 489 759 610 737 1 191 395 641 1081 850 28 314 978 725 143 1213 639 300 205 1121 1194 1045 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1180 866 713 579 838 230 20 919 397 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 874 659 980 180 696 479 3 1078 719 836 24.54/24.70 o 7537 24.54/24.70 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 61 487 838 522 974 1027 611 8 771 242 733 154 1213 1087 1177 736 887 967 1174 870 985 1213 221 598 544 388 209 828 106 777 318 487 1091 436 1 1137 660 330 86 896 338 579 475 904 196 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 786 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 998 1218 936 1171 588 685 726 524 6 839 287 379 1075 844 139 1244 990 350 185 9 437 650 1163 864 1096 545 37 101 449 952 360 764 1045 229 1197 1002 475 1110 362 287 847 186 1248 460 27 1072 197 663 970 8 586 1272 767 940 17 1059 632 223 182 221 853 1126 946 136 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 4 77 327 1061 743 649 417 85 521 272 867 306 451 1124 236 313 843 1063 701 1199 373 761 807 167 590 463 985 572 883 6 2 328 865 570 976 1174 473 1177 160 353 674 234 712 760 605 1052 379 298 879 90 31 285 93 662 938 1145 547 832 340 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 660 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 779 488 570 280 929 1180 165 55 1212 322 1017 213 489 759 610 737 1 191 395 641 1081 850 28 314 978 725 143 1213 639 933 205 1121 1194 1045 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1180 866 713 579 838 230 20 919 397 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 874 659 980 180 696 479 3 1078 719 836 24.54/24.72 o 7538 24.54/24.72 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 61 487 838 522 974 1027 611 8 771 242 733 154 1213 1087 1177 736 887 967 1174 870 985 1213 221 598 544 388 209 828 106 391 318 487 1091 436 1 1137 660 330 86 889 338 579 475 904 196 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 786 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 998 1218 936 1171 588 685 726 524 6 839 287 379 1075 844 139 1244 990 350 185 9 437 650 1163 864 1096 545 37 101 449 952 360 764 1045 229 1197 1002 475 1110 362 287 847 186 1248 460 27 1072 197 663 970 8 586 1272 767 940 17 1059 632 223 182 221 853 1126 893 136 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 4 77 327 1061 743 649 417 85 521 272 867 306 451 1124 236 313 843 1063 701 1199 373 761 807 167 590 463 985 572 883 6 2 328 865 570 976 1174 473 1177 160 353 674 234 712 760 605 1052 379 298 879 90 31 285 93 662 938 1145 547 832 340 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 648 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 779 488 570 280 929 1180 165 55 1212 322 1017 213 489 759 610 737 1 191 395 641 1081 850 28 314 978 725 143 1213 639 933 205 1121 1194 1045 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1180 866 713 579 838 230 20 919 397 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 874 659 980 180 696 479 3 1078 719 836 24.54/24.72 o 7539 24.54/24.72 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 61 487 838 522 974 1027 611 8 771 242 733 154 1213 1087 1177 736 887 967 1174 870 985 1213 221 598 544 387 209 828 106 391 318 487 1091 436 1 1137 660 330 86 889 338 579 475 904 196 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 786 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 998 1218 936 1171 588 685 726 524 6 839 287 379 1075 844 139 1244 990 350 185 9 437 650 1163 864 1096 545 37 101 449 952 360 764 1045 229 1197 1002 475 1110 362 287 847 186 1248 460 27 1072 197 663 970 8 586 1272 767 940 17 1059 632 223 182 221 853 1126 893 136 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 4 77 327 1061 743 649 417 85 521 272 867 306 451 1124 236 313 843 1063 701 1199 373 761 807 167 590 463 985 572 883 49 2 328 865 570 976 1174 473 1177 160 353 674 234 712 760 605 1052 379 298 879 90 31 285 93 662 938 1145 547 832 340 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 648 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 786 488 570 280 929 1180 165 55 1212 322 1017 213 489 759 610 737 1 191 395 641 1081 850 28 314 978 725 143 1213 639 933 205 1121 1194 1045 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1180 866 713 579 838 230 20 919 397 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 874 659 980 180 696 479 3 1078 719 836 24.64/24.83 o 7540 24.64/24.83 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 31 487 838 522 974 1027 611 8 771 242 733 154 771 1087 1177 736 887 967 1174 870 985 1213 221 598 544 387 209 828 106 469 318 10 1091 436 1 1137 660 330 86 880 338 579 475 904 195 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 785 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 996 1218 936 1171 588 685 726 524 10 839 287 379 1073 844 139 1244 990 350 185 9 437 650 1163 864 1096 545 37 101 449 952 355 764 1045 229 1197 1002 474 1090 362 287 847 186 380 460 27 1072 197 663 970 8 586 1272 772 940 17 1059 632 825 182 221 853 1126 893 167 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 818 77 327 1061 743 649 417 85 521 272 1159 183 981 657 236 313 843 1063 701 1201 373 761 807 167 590 463 985 572 883 49 2 328 865 570 982 1174 473 1158 160 353 674 234 712 760 600 1052 379 298 879 90 31 285 93 662 938 1145 1175 832 341 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 656 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 786 488 570 280 929 1180 165 55 1212 322 1017 213 489 733 610 203 1 191 395 641 1081 850 28 305 978 725 143 1213 639 933 198 1121 1194 1014 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1174 866 713 579 838 230 20 919 395 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 875 659 980 180 696 479 3 1078 719 836 24.64/24.83 o 7541 24.64/24.83 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 31 487 838 522 974 1027 611 8 771 242 733 154 771 1087 1177 736 887 967 1174 870 985 1213 221 598 544 387 209 828 106 469 318 10 1091 436 1 1137 660 330 86 880 338 579 475 904 195 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 785 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 996 1218 936 1171 588 685 726 524 10 839 287 379 1073 844 139 1244 995 350 185 9 437 650 1163 864 1096 545 37 101 449 952 355 764 1045 229 1197 1002 474 1090 362 287 847 186 380 460 27 1072 197 663 970 8 586 1272 772 940 17 1059 632 825 182 221 853 1126 893 167 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 818 77 327 1061 743 649 417 85 521 272 1159 183 981 657 236 313 843 1063 701 1201 373 761 807 167 590 463 985 572 883 49 2 328 865 570 982 1174 473 1158 160 353 674 234 712 760 600 1052 379 298 879 90 31 285 592 662 938 1145 1175 832 341 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 656 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 786 488 570 280 929 1180 165 55 1212 322 1017 213 489 733 610 203 1 191 395 641 1081 850 28 305 978 725 143 1213 639 933 198 1121 1194 1014 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1174 866 713 579 838 230 20 919 395 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 875 659 980 180 696 479 3 1078 719 836 24.64/24.84 o 7542 24.64/24.84 v 1129 990 807 785 391 308 33 184 655 448 60 941 515 1238 851 333 127 1121 725 573 220 276 185 535 29 734 705 573 1225 413 452 771 944 874 120 904 742 1022 1133 365 707 1059 884 370 1150 31 487 838 522 974 1027 611 8 771 242 733 154 771 1087 1177 736 887 967 1174 870 985 1213 221 598 544 387 209 828 106 469 318 10 1091 436 1 1137 660 330 86 880 338 579 475 904 195 558 276 721 778 819 491 10 1007 1069 1242 500 295 571 1070 1213 443 785 1070 320 857 865 132 762 35 988 198 586 1176 698 388 1184 27 99 217 468 788 996 1218 936 1171 588 685 726 524 10 839 287 379 1073 844 139 1244 995 350 185 9 437 650 1163 864 1096 545 37 101 449 952 355 764 1045 229 1197 127 474 1090 362 287 847 186 380 460 27 1072 197 663 970 8 586 1272 772 940 17 1059 632 825 182 221 853 1126 893 167 973 426 715 362 1218 614 72 518 269 328 1038 948 1121 110 1212 795 36 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 818 77 327 1061 743 649 417 85 521 272 1159 183 981 657 236 313 843 1063 701 1201 373 761 807 167 590 463 985 572 883 49 2 328 865 570 982 1174 473 1158 160 353 674 234 712 760 600 1052 379 298 868 90 31 285 592 662 938 1145 1175 832 341 221 477 996 931 3 975 761 498 85 863 889 1077 1084 1133 1274 656 787 351 98 1229 4 70 889 976 575 887 1218 1093 197 667 786 488 570 280 929 1180 165 55 1212 322 1017 213 489 733 610 203 1 191 395 641 1081 850 28 305 978 725 143 1213 639 933 198 1121 1194 1014 460 699 1155 118 415 841 495 1 964 1068 363 92 126 486 568 1174 866 713 579 838 230 20 919 395 655 1093 301 1138 570 751 297 1177 97 391 1034 972 245 827 875 659 980 180 696 479 3 1078 719 836 25.14/25.32 o 7543 25.14/25.32 v 1129 990 807 785 391 308 33 233 655 448 60 941 998 1238 851 333 127 1121 725 573 220 276 185 535 29 734 981 573 1225 413 452 771 944 874 99 904 742 1022 1133 365 707 1059 884 370 1150 315 499 838 522 974 1027 611 8 771 223 733 154 1219 1087 1177 736 887 967 1174 870 985 1213 221 10 544 387 671 828 106 469 318 10 1091 436 1025 1137 660 330 86 865 338 579 475 904 195 558 417 721 778 819 491 10 1007 1069 1242 500 295 568 1070 1211 443 786 1074 320 857 193 132 762 35 987 174 605 1176 698 388 342 27 99 211 468 788 768 1218 936 1171 588 685 726 524 9 193 287 376 1067 842 139 1244 369 350 185 9 433 650 1163 870 1096 547 37 101 537 952 429 764 1045 229 1197 127 475 579 1070 287 846 186 380 459 27 1079 197 663 968 8 1003 1272 761 940 17 1059 631 825 843 221 1129 1125 884 167 973 426 712 362 1218 604 72 518 269 328 1038 948 1120 110 1212 795 1054 331 14 923 279 756 475 628 729 866 980 466 716 197 375 280 16 173 215 117 1153 1025 929 687 77 327 1061 743 574 417 85 521 272 1159 177 981 657 236 313 844 1101 701 1201 107 761 807 167 590 378 497 572 884 48 2 328 778 561 982 1174 473 1184 160 353 674 234 712 760 605 1075 379 298 894 94 31 285 592 662 938 1145 1184 832 342 221 477 996 931 3 975 761 498 85 863 889 1077 314 1133 1274 655 1075 351 98 1229 4 70 889 976 575 887 1218 1093 186 182 781 488 570 280 929 1180 165 55 1212 322 1017 213 482 733 610 203 1 191 395 641 1081 846 28 305 978 725 143 1213 639 933 198 1121 1194 1011 460 699 1155 118 415 841 495 1 964 187 363 92 126 486 575 1169 866 713 596 838 241 20 919 394 655 1093 301 1142 570 136 297 1199 54 391 1034 972 245 827 875 659 980 1197 696 472 3 1078 716 836 29.12/29.32 o 7544 29.12/29.32 v 1131 991 807 785 590 308 33 190 655 1047 390 941 57 1238 851 333 127 1121 465 523 356 289 176 535 29 405 140 1072 1225 413 640 771 944 874 570 904 742 204 1133 107 707 553 916 364 1150 677 1155 838 599 330 1027 61 8 771 242 14 157 1216 1087 1177 738 890 1076 1174 602 985 503 221 410 618 1030 670 828 106 1226 318 8 1091 198 1212 217 1180 330 82 857 353 736 475 871 508 184 277 721 1111 40 1224 10 1007 1069 674 1244 10 378 783 477 847 134 329 228 1071 691 906 1174 35 979 1071 599 484 295 781 819 1147 100 277 469 856 483 407 918 673 196 685 730 1213 0 548 779 348 927 1053 139 1244 362 350 185 9 1025 632 1158 853 580 718 1029 101 477 952 1145 733 29 229 1197 127 670 579 369 995 840 186 1254 991 27 1081 195 667 483 8 771 1272 277 940 17 1054 639 825 843 902 227 962 487 167 370 973 371 739 1146 219 64 509 1216 609 68 948 1099 98 1213 200 510 271 14 923 662 427 1004 475 729 866 889 466 716 766 375 280 819 173 573 117 1153 338 1098 510 77 684 602 743 923 417 85 1221 272 1159 602 394 657 197 1020 480 1098 701 1212 82 755 807 1203 330 906 475 572 167 2 836 328 912 1186 1011 1180 27 190 511 353 674 590 1039 792 115 476 370 298 714 1093 31 285 579 648 938 1145 1184 832 373 1078 477 107 931 3 975 761 498 206 863 889 47 314 205 1274 655 1081 352 98 275 4 70 893 982 1132 887 1218 452 751 749 531 478 231 280 1014 1180 26 56 1087 299 548 991 367 726 610 203 154 358 460 630 1219 844 28 191 986 714 143 1213 648 933 199 1121 1194 1014 460 349 1155 118 415 843 495 1 724 187 363 114 126 486 763 1142 866 973 591 838 241 30 944 395 655 1093 301 1187 772 447 299 1205 140 367 1034 972 245 827 665 217 979 1054 114 882 7 1118 570 836 29.12/29.35 o 7545 29.12/29.35 v 1131 991 807 785 590 308 33 190 655 1047 390 941 57 1238 851 333 127 1121 465 523 356 289 176 535 29 405 140 1072 1225 413 640 771 944 874 570 904 742 204 1133 107 707 553 916 364 1150 677 1155 838 599 330 1027 61 8 771 242 14 157 1216 1087 1177 738 890 1076 1174 602 985 503 221 410 618 1030 670 828 106 1226 318 8 1091 198 1212 217 1180 330 82 857 353 736 475 871 508 184 277 721 1111 40 1224 10 1007 1069 674 1244 10 378 783 477 847 134 291 228 1071 691 906 1174 35 979 1071 599 484 295 781 819 1147 100 277 469 856 483 407 918 673 196 685 730 1213 0 548 779 348 927 1053 139 1244 362 350 185 9 1025 632 1158 853 580 718 1029 101 477 952 1145 733 29 229 1197 127 670 579 369 995 840 186 1254 991 27 1081 195 667 483 8 780 1272 277 940 17 1054 639 825 843 902 227 962 487 167 370 970 371 739 1146 219 64 509 1216 609 68 948 1099 98 1213 200 510 271 14 923 662 427 1004 475 729 866 889 466 716 766 375 280 819 173 573 117 1153 338 1098 510 77 684 602 743 923 417 85 1221 272 1159 602 394 657 1028 274 480 1098 701 1212 82 755 807 1203 330 906 475 572 167 2 836 328 912 1186 1011 1180 27 190 511 353 674 590 1039 792 115 476 370 298 714 1093 27 285 579 648 938 1145 1184 832 373 1078 477 107 931 3 975 761 498 206 863 889 47 314 205 1274 655 1081 353 98 275 4 70 893 976 1133 887 1218 452 751 749 531 478 231 280 1014 1180 26 56 1087 299 548 991 367 726 610 203 154 358 460 630 1219 844 28 191 986 714 143 1213 648 933 199 1121 1194 1014 460 349 1155 118 415 843 495 1 724 187 363 114 126 486 763 1142 866 973 591 838 241 30 944 395 655 1093 301 1187 772 447 299 1205 140 367 1034 972 245 827 659 217 979 1054 114 882 7 1118 570 836 30.31/30.53 o 7546 30.31/30.53 v 1131 988 807 785 590 308 33 190 655 1044 390 941 57 1238 857 333 127 1121 465 532 356 289 176 535 29 405 149 1072 1225 413 207 771 944 874 570 904 742 986 1133 107 707 553 916 367 1150 733 1155 838 597 330 1027 61 8 227 463 14 157 382 1087 1177 738 890 1076 788 602 985 503 221 410 618 1030 670 828 107 1226 318 8 1091 198 1215 217 1180 18 82 84 361 736 475 571 487 184 943 721 1111 1152 1224 843 1007 1069 674 1244 10 389 783 508 847 134 289 228 1098 678 906 980 35 1003 1103 584 376 695 288 819 1147 100 277 453 856 487 407 917 673 196 685 730 1213 9 553 779 348 927 1054 139 1244 353 350 185 716 486 633 856 852 580 1100 1031 101 265 952 401 734 27 239 1197 127 667 579 369 992 841 186 1254 469 27 1081 193 657 480 8 770 1272 277 940 17 537 639 825 843 897 233 991 883 167 369 973 374 739 1146 229 73 501 1216 609 68 948 1102 98 1211 200 510 271 14 923 662 427 1004 475 729 866 889 466 716 571 375 280 819 173 573 117 1153 338 1098 510 77 684 602 743 958 397 85 1221 272 1159 602 356 657 1017 348 477 1098 701 1212 82 441 807 1086 847 906 265 572 142 2 750 328 912 1186 1013 1180 26 190 504 353 674 590 1039 792 103 478 365 298 714 1093 27 285 1010 575 938 1145 1185 832 373 1078 477 718 931 3 975 755 498 206 863 889 137 314 205 1274 655 1081 353 192 275 4 70 893 976 1138 887 1218 452 750 748 528 89 231 280 1014 1180 26 56 1087 299 548 991 369 726 610 203 154 358 454 629 1219 857 28 234 986 723 583 1213 622 933 124 1121 1194 1017 460 349 1155 118 415 843 495 1 723 187 363 124 131 486 762 1170 866 973 595 838 241 30 944 398 655 1093 301 1176 772 447 299 1205 140 367 1034 972 245 827 657 217 979 514 114 882 7 1118 570 836 30.31/30.57 o 7547 30.31/30.57 v 1131 988 807 785 590 308 33 190 655 1044 390 941 57 1238 857 333 127 1121 465 532 356 289 176 535 29 405 149 1072 1225 413 207 771 944 874 570 904 742 633 1133 107 707 553 916 321 1150 733 1155 838 597 680 1027 61 8 227 463 14 157 382 1087 1177 738 890 1076 788 602 985 503 221 410 618 1030 670 828 107 1226 318 8 1091 198 1215 217 1180 18 82 84 361 736 475 571 487 184 943 721 1111 1152 1224 843 1007 1069 674 1244 10 389 783 500 847 134 289 228 1098 678 906 980 35 1003 1103 584 376 1211 288 819 1147 100 277 453 856 487 407 917 673 196 685 730 1213 9 551 779 348 928 1054 139 1244 353 350 185 716 486 633 856 852 580 1099 1031 101 265 952 401 734 27 239 1197 127 667 579 369 992 841 186 1254 470 27 1081 193 657 480 8 770 1272 277 940 17 537 639 825 843 897 233 1054 883 167 369 973 374 739 1146 229 73 508 1216 609 68 948 1102 98 1211 200 510 271 14 923 662 427 1004 475 729 866 889 466 716 571 375 280 819 173 573 117 1153 338 1098 510 77 684 602 743 958 397 85 1221 272 1159 602 356 657 1017 348 477 1098 701 1212 82 441 807 1086 847 906 265 572 142 2 750 328 912 1186 1013 1180 34 190 572 353 674 590 1039 792 103 478 365 298 714 1093 27 285 1010 575 938 1145 1185 832 373 1078 477 718 931 3 975 755 498 206 863 889 137 314 205 1274 655 1081 353 192 275 4 70 893 976 1138 887 1218 452 750 748 528 89 231 280 1014 1180 26 56 1087 299 548 991 369 726 610 203 154 358 454 629 1219 857 28 234 986 723 583 1213 622 933 124 1121 1194 1017 460 349 1155 118 415 843 495 1 723 187 363 124 131 486 762 1170 866 973 595 838 241 30 944 398 655 1093 301 1176 772 447 299 1205 140 367 1034 972 245 827 657 217 979 514 114 882 7 1118 570 836 30.41/30.63 o 7548 30.41/30.63 v 1131 988 807 785 590 308 33 190 655 1044 390 941 57 1238 857 333 127 1121 465 532 356 289 176 535 29 405 149 1072 1225 413 207 771 944 874 570 904 742 633 1133 107 707 553 916 321 1150 733 1155 838 597 680 1027 61 8 227 463 14 157 396 1087 1177 738 890 1076 1177 602 985 503 221 410 618 1030 670 828 107 1226 318 8 1091 198 1215 217 1180 18 82 883 361 736 475 571 487 184 293 721 1111 1152 1224 843 1007 1069 674 1244 10 385 783 500 847 134 289 228 1098 678 906 980 35 1003 1103 584 376 1211 288 819 1147 100 277 453 856 476 407 917 673 196 685 730 1213 9 551 779 348 931 1054 139 1244 353 350 185 716 486 633 856 852 580 1099 1031 101 764 952 401 734 27 263 1197 127 667 579 369 992 841 186 1254 470 27 1081 193 656 479 8 770 1272 275 940 17 537 639 825 843 897 233 1054 883 167 369 973 374 739 1146 229 73 496 1216 609 68 948 1102 98 1211 200 510 271 14 923 662 427 1004 475 729 866 889 466 716 571 375 280 819 173 573 117 1153 338 1098 510 77 684 602 743 958 397 85 1221 272 1159 602 356 657 1017 348 477 1098 701 1212 82 441 807 1086 847 906 265 572 142 2 750 328 912 1180 1019 1180 28 190 572 353 674 590 1039 792 103 478 365 298 714 1093 27 285 1010 575 938 1145 1185 832 373 1078 477 714 931 3 975 755 498 206 863 889 137 314 205 1274 655 1081 330 192 275 4 70 893 976 1138 887 1218 452 751 748 528 89 231 280 1014 1180 26 56 1087 299 548 991 369 726 610 203 154 358 454 629 1219 857 28 225 986 723 583 1213 622 933 128 1121 1194 1017 460 349 1155 118 415 843 495 1 723 187 363 124 131 486 762 1170 866 973 595 838 241 30 944 398 655 1093 301 1176 772 447 299 1205 140 367 1034 972 245 827 657 217 979 514 114 882 7 1118 570 836 30.51/30.71 o 7550 30.51/30.71 v 1129 988 807 785 590 308 33 190 655 1044 390 941 57 1238 857 333 127 1121 465 532 356 289 176 535 29 405 149 1072 1225 413 207 771 944 874 570 904 742 633 1133 107 707 553 916 321 1150 733 1155 838 597 680 1027 61 8 227 463 14 157 396 1087 1177 738 890 1076 1177 602 985 503 221 410 618 1030 670 828 107 1226 318 8 1091 198 1215 217 1180 18 82 883 361 736 475 573 487 184 293 721 1111 1152 1224 843 1007 1069 674 1244 10 385 783 500 847 134 289 228 1098 678 906 980 35 1003 1109 584 376 1211 277 819 1147 100 277 453 856 476 407 917 673 196 685 730 1213 9 552 779 348 931 1054 139 1244 353 350 185 716 486 633 1157 852 580 1099 1031 101 764 952 408 734 27 263 1197 127 678 579 369 992 841 186 1254 470 27 1081 193 656 479 8 778 1272 279 940 17 537 639 825 843 897 230 1054 883 167 369 973 374 739 1146 229 73 502 1216 609 68 948 1114 98 1211 200 510 271 14 923 662 427 1004 475 729 866 889 466 716 568 351 280 819 173 573 117 1153 338 1098 510 77 684 602 743 958 397 85 1221 272 1159 602 356 657 1017 348 477 1098 701 1212 82 441 807 1086 847 906 265 572 142 2 750 328 912 1180 1019 1179 28 190 802 353 674 590 1039 792 103 478 365 298 714 1093 27 285 1010 575 938 1145 1185 832 373 1078 477 714 931 3 975 755 498 206 863 889 137 314 205 1274 655 1081 330 892 275 4 70 893 976 1138 887 1218 452 751 748 528 89 231 280 1014 1180 26 56 1087 301 548 991 369 726 610 203 154 358 454 629 1219 857 28 224 986 723 583 1213 622 933 123 1121 1194 1017 460 349 1155 118 415 843 495 1 723 187 363 124 131 486 762 1170 866 982 595 838 241 30 944 398 655 1093 301 1176 772 447 299 1205 140 367 1034 972 245 827 672 217 979 1058 114 882 7 1118 570 836 31.31/31.51 o 7551 31.31/31.51 v 1131 991 807 785 590 308 33 190 655 1050 390 941 57 1238 848 333 127 1121 465 532 356 289 176 535 29 405 149 1072 1225 413 207 771 944 874 570 904 742 633 1133 107 707 553 916 365 1150 745 1155 838 580 680 1027 61 8 1222 463 14 157 241 1087 1177 738 890 1076 1177 602 985 503 221 410 618 1030 670 828 105 1238 318 8 1091 198 1216 389 1180 18 86 883 357 736 475 570 487 184 297 721 1111 1152 1224 843 1007 1069 674 1244 10 388 783 513 847 134 287 228 1094 694 906 980 35 1006 1102 584 483 1209 275 819 1148 100 277 1042 856 476 407 918 673 196 685 730 1213 7 552 779 348 931 1054 139 1244 353 350 185 716 486 632 1157 852 580 15 1031 101 757 952 400 742 1 263 1197 127 682 579 369 992 788 186 1254 465 27 369 1104 664 848 8 1078 1272 279 940 326 0 639 846 802 470 227 1054 875 167 77 973 379 739 1146 212 78 514 1216 609 68 948 1114 98 1211 223 501 271 14 923 662 427 1004 475 729 866 889 466 716 580 351 280 819 173 573 117 1153 320 1098 510 77 684 602 743 958 397 85 1221 272 1159 602 905 657 1018 807 477 1098 701 1205 82 441 863 1086 340 920 265 572 142 2 750 328 912 190 1012 1173 928 197 795 353 674 580 1028 795 103 478 374 298 714 1093 27 285 1011 575 938 1145 1167 92 373 1088 477 788 931 3 975 722 498 206 863 889 137 314 205 1274 642 1081 351 892 275 4 70 642 976 1130 887 1218 452 790 492 535 89 231 280 1014 1180 26 56 1087 935 548 991 367 726 610 203 154 358 454 629 1219 857 28 224 986 723 583 1213 622 933 121 389 1194 1014 460 349 1155 118 415 843 495 1 717 187 363 124 131 486 1014 1186 866 982 595 838 241 30 944 398 655 1093 301 1178 772 447 299 1208 140 369 1034 972 245 827 672 217 979 1203 114 882 7 1118 570 836 31.31/31.52 o 7552 31.31/31.52 v 1132 995 807 785 590 308 33 190 655 1050 390 941 57 1238 848 333 127 1121 465 532 356 289 176 535 427 405 149 1072 1225 413 207 771 944 874 570 904 742 633 1133 107 707 553 916 365 1150 745 1155 838 580 680 1027 61 8 1222 463 14 157 241 1087 1177 738 890 1076 1177 602 985 503 221 410 618 1030 670 828 105 1238 318 8 1091 198 1216 213 1180 18 86 883 357 736 475 570 487 184 297 721 1111 1152 1224 843 1007 1069 674 1244 10 388 783 513 847 134 287 228 1094 694 906 980 35 1006 1102 584 483 1209 275 819 1148 100 277 1042 856 476 407 918 673 196 685 730 1213 7 552 779 348 931 1054 139 1244 353 350 185 716 486 632 1157 852 580 15 1031 101 757 952 400 742 1 263 1197 127 682 579 369 992 788 186 1254 465 27 369 1104 664 848 8 1078 1272 279 940 326 0 639 846 802 470 227 1054 880 167 77 973 379 739 1146 212 78 514 1216 609 68 948 1114 98 1211 223 501 271 14 923 662 427 1004 475 729 866 889 466 716 580 351 280 819 173 573 117 1153 320 1098 510 77 684 602 743 958 397 85 1221 272 1159 602 905 657 1018 807 477 1098 701 1205 82 441 863 1086 340 920 265 572 142 2 750 328 910 190 1012 1173 928 197 795 353 674 580 1028 795 103 478 374 298 714 1093 27 285 1011 575 938 1145 1167 92 373 1088 477 788 931 3 975 722 498 206 863 889 137 314 205 1274 642 1081 351 892 275 4 70 642 976 1130 887 1218 452 790 492 535 89 231 280 1014 1180 26 56 1087 935 548 991 367 726 610 203 154 358 454 629 1219 857 28 224 986 723 583 1213 622 933 121 389 1194 1014 460 349 1155 118 415 843 495 1 717 187 363 124 131 486 1014 1186 866 982 595 838 241 30 944 398 655 1093 301 1178 772 447 299 1208 140 369 1034 972 245 827 672 217 979 1203 114 882 7 1118 570 836 39.17/39.49 o 7553 39.17/39.49 v 87 1023 807 193 49 308 33 681 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 843 260 535 430 1194 985 1219 720 413 1200 493 944 1113 154 1141 81 633 19 107 1096 181 916 363 1150 749 1223 838 583 889 1249 73 880 1012 463 14 678 211 208 1177 738 899 1076 1177 3 581 503 25 409 618 461 333 838 218 1231 992 120 1085 306 672 362 634 333 357 886 38 566 475 699 493 184 278 1046 1144 0 212 843 1007 1069 1246 84 901 470 831 910 690 558 273 757 1090 1 175 980 1192 1006 1178 565 371 798 214 545 1150 107 277 5 635 1025 768 927 461 200 685 585 1215 816 827 499 357 918 1055 359 1244 522 350 303 732 105 1075 1157 844 683 2 782 997 581 952 29 418 1022 219 1192 269 1091 748 364 992 463 982 1254 483 44 828 85 574 170 8 303 1272 671 940 315 1 677 849 467 608 374 1056 890 167 210 975 363 794 1151 682 75 523 1226 647 68 948 1090 111 1211 670 760 308 14 923 207 427 1004 475 729 986 889 466 262 590 351 280 762 832 573 117 1153 320 1098 188 77 684 504 1065 896 397 85 1221 272 1 159 827 130 1022 582 35 1106 1216 753 335 717 501 533 1157 920 252 0 399 222 641 328 78 1187 477 1098 909 365 800 710 975 233 176 581 3 468 881 298 724 1020 1016 300 1212 1192 938 1145 635 743 371 565 517 786 931 3 975 1013 1080 197 863 889 137 314 1135 1274 726 390 672 484 275 4 70 1113 981 907 887 1218 452 802 571 163 92 231 475 1017 1180 26 56 1095 927 541 992 331 739 610 203 154 451 1086 640 1219 833 557 690 309 734 1094 1213 635 933 140 389 1194 1013 460 349 1155 118 415 843 222 1 766 514 363 509 438 21 639 1176 866 985 575 739 782 223 925 109 1123 1093 308 42 567 448 502 1207 140 358 1034 972 245 217 844 308 1055 771 980 333 14 1118 651 288 39.27/39.50 o 7554 39.27/39.50 v 87 1023 807 193 49 308 33 681 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 843 260 535 430 1194 985 1219 720 413 1200 493 944 1113 154 1141 81 633 19 107 1096 181 916 363 1150 749 1223 838 583 889 1249 73 880 1012 463 14 678 211 208 1177 738 899 1076 1177 3 581 503 25 409 618 461 333 838 218 1231 992 120 1085 306 672 362 634 333 357 886 38 566 475 699 493 184 278 1046 1144 0 212 843 117 1069 1246 84 901 470 831 910 690 558 273 757 1090 1 175 980 1192 1006 1178 574 371 798 214 545 1150 107 277 5 635 1025 768 927 461 200 685 585 1215 816 827 499 357 918 1055 359 1244 522 350 303 732 105 1075 1157 844 683 2 782 997 581 952 29 418 1022 219 1192 269 1091 748 364 992 463 982 1254 483 44 828 85 574 170 8 303 1272 671 940 315 1 677 849 467 608 374 1056 890 167 210 975 363 794 1151 682 75 523 1226 647 68 948 1090 111 1211 670 760 308 14 923 207 427 1004 475 729 986 889 466 262 590 351 280 762 832 573 117 1153 320 1098 188 77 684 504 1065 896 397 85 1221 272 1 159 827 130 1022 582 35 1106 1216 753 335 717 501 533 1157 920 252 0 399 222 641 328 78 1187 477 1098 909 365 800 710 975 233 176 581 3 468 881 298 724 1020 1016 300 1212 1192 938 1145 635 743 371 565 517 786 931 3 975 1013 1080 197 863 889 137 314 1135 1274 726 390 672 484 275 4 70 1113 981 907 887 1218 452 802 571 163 92 231 475 1017 1180 26 56 1095 927 541 992 331 739 610 203 154 451 1086 640 1219 833 557 690 309 734 1094 1213 635 933 140 389 1194 1013 460 349 1155 118 415 843 222 1 766 514 363 509 438 21 639 1176 866 985 575 739 782 223 925 109 1123 1093 308 42 567 448 502 1207 140 358 1034 972 245 217 844 308 1055 771 980 333 14 1118 651 288 40.96/41.24 o 7555 40.96/41.24 v 85 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 771 260 535 309 1194 985 1236 1014 413 836 493 944 1113 154 1141 81 633 19 366 1096 181 916 1121 1150 749 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 368 738 892 1076 1177 3 581 503 17 409 618 1023 333 838 113 1231 969 211 1093 306 672 1197 1084 333 366 886 38 572 475 687 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 470 831 909 664 391 275 757 1063 124 38 980 1194 1087 360 573 1182 798 214 545 1150 107 277 10 634 573 424 926 461 200 685 766 1215 820 824 499 357 918 1056 377 1244 522 350 301 732 109 1074 1152 844 683 8 782 997 417 952 594 420 1022 219 1190 133 1091 751 292 988 841 982 1254 471 566 1088 27 31 175 8 395 1272 671 940 320 0 96 217 467 608 236 1056 894 176 683 975 368 784 1151 682 83 523 1226 647 68 948 1083 111 1211 670 760 308 14 923 207 427 1004 475 729 986 889 466 262 582 790 608 22 832 573 117 1153 338 1098 222 77 684 504 1065 898 397 85 1221 272 1 159 842 130 1022 582 34 1099 1216 753 335 717 501 533 425 920 248 0 396 224 641 328 873 1187 230 1098 628 363 800 710 975 1021 176 70 3 468 883 298 724 390 567 1018 68 1192 938 1145 628 743 371 305 517 786 931 3 1187 1013 1092 197 863 889 137 314 153 1274 725 381 683 484 275 4 70 1193 987 897 887 363 452 801 575 1093 92 231 475 1017 1180 26 56 354 415 554 997 275 739 498 203 154 862 1086 640 1219 883 549 233 525 744 1094 561 632 170 932 389 1194 1013 460 349 1161 118 415 843 133 1 771 514 363 509 442 33 639 1176 866 997 575 739 227 914 278 74 1123 1093 308 4 569 448 502 1201 140 1201 1034 972 245 217 867 308 1055 781 980 336 14 1102 651 288 41.06/41.35 o 7556 41.06/41.35 v 85 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 755 260 535 309 1194 985 1236 1014 413 836 493 944 1113 154 1141 81 633 19 366 1096 181 916 365 843 749 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 892 1076 1177 3 581 503 17 409 618 1023 333 838 113 1231 969 204 1093 306 672 1197 1084 333 366 886 38 572 475 687 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 470 833 909 664 391 275 757 1097 124 38 980 1194 1087 371 573 1182 6 214 545 1150 107 277 10 634 573 732 920 461 200 685 766 1215 820 353 499 357 918 1056 377 1244 522 350 301 732 109 1074 1152 844 683 8 782 997 417 952 594 420 1022 219 1190 133 1091 751 365 988 841 982 1254 471 566 1076 27 31 175 8 306 1272 671 940 320 0 96 217 467 608 236 1056 894 176 683 975 368 784 1151 682 83 523 1226 647 68 948 1106 111 1211 122 760 308 14 923 207 427 1004 475 729 21 889 466 262 582 790 608 710 832 573 117 1153 338 1098 222 77 684 504 1065 898 397 85 1221 272 1 159 842 130 1022 582 34 1099 1216 753 335 717 501 533 429 920 248 0 392 251 641 328 873 1187 230 1098 628 365 800 710 975 1021 176 70 3 468 883 298 724 390 567 1018 68 1192 938 1145 628 743 371 305 517 786 931 3 1187 1013 1092 197 863 889 137 314 153 1274 725 381 683 484 275 4 70 1193 987 897 887 363 452 801 575 1093 92 231 475 1017 1180 26 56 354 415 554 997 275 739 498 203 154 862 1086 640 1219 883 32 233 525 744 1094 561 632 165 933 389 1194 1013 460 349 1161 118 415 843 133 1 771 514 363 509 675 21 639 1176 866 997 575 739 227 915 278 74 1123 1093 308 9 569 448 502 1201 140 1201 1034 972 245 217 840 308 1055 781 980 336 14 1102 651 288 41.26/41.52 o 7557 41.26/41.52 v 98 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 755 260 535 309 1194 985 1236 1014 413 820 493 944 1113 154 1141 81 633 19 366 1096 181 916 343 843 749 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 892 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 203 1093 306 672 1197 1084 333 366 886 38 572 475 687 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 470 833 909 666 391 275 757 1097 124 38 980 1194 1083 548 573 1185 6 214 545 1150 107 277 10 634 573 732 917 461 200 685 766 1215 820 359 499 357 918 1056 377 1244 522 350 301 732 109 1074 1152 843 683 8 782 997 853 952 594 420 1022 219 1190 133 1086 751 365 988 841 982 1254 471 566 367 39 839 175 8 306 1272 671 940 320 0 92 217 467 608 235 1056 883 176 683 975 368 784 1151 683 70 523 1226 647 68 948 768 558 1211 122 760 308 14 923 207 427 1004 475 729 21 889 466 262 582 790 608 993 832 573 117 1153 338 1098 222 77 684 504 1065 902 397 85 1191 272 1 159 826 130 1022 582 34 1099 1216 753 335 700 501 533 430 920 232 0 392 232 641 328 873 1187 230 1098 628 364 800 710 975 1021 176 70 3 468 881 298 724 390 567 1018 68 1192 938 1145 628 743 371 304 517 786 931 3 1187 564 1092 197 863 889 137 314 153 1274 724 381 678 484 275 4 70 1193 987 907 887 363 452 801 575 1093 92 231 475 1017 1180 26 56 354 415 554 997 275 739 498 203 154 862 1086 640 1219 883 129 233 525 744 1094 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 133 1 771 514 363 509 441 21 650 1176 866 997 575 739 227 915 278 115 1123 1093 308 5 569 448 502 1201 140 1203 1034 972 245 217 840 308 1055 781 980 336 14 1102 651 288 41.26/41.54 o 7558 41.26/41.54 v 98 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 755 260 535 309 1194 985 1236 1014 413 820 493 944 1113 154 1141 81 633 19 366 1096 181 916 343 843 749 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 892 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 203 1093 306 672 1197 1084 333 366 886 38 572 475 687 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 472 833 909 666 391 275 757 1097 124 38 980 1194 1083 548 573 1185 6 214 545 1150 107 277 10 634 573 732 917 461 200 685 766 1215 820 359 499 357 918 1056 377 1244 522 350 301 732 109 1074 1152 843 683 8 782 997 853 952 594 420 1022 219 1190 133 1086 751 365 993 841 982 1254 471 566 367 39 839 175 8 306 1272 671 940 320 0 99 217 467 608 236 1056 883 176 683 975 368 784 1151 683 70 523 1226 647 68 948 768 558 1211 122 760 308 14 923 207 427 1004 475 729 21 889 466 262 582 790 608 993 832 573 117 1153 338 1098 222 77 684 504 1065 902 397 85 1191 272 1 159 826 130 1022 582 34 1099 1216 753 335 700 501 533 430 920 232 0 392 232 641 328 873 1187 230 1098 628 364 800 710 975 1021 176 70 3 468 881 298 724 618 567 1018 68 1192 938 1145 628 743 371 304 517 786 931 3 1187 564 1092 197 863 889 137 314 153 1274 724 381 678 484 275 4 70 1193 987 907 887 363 452 801 575 1093 92 231 475 1017 1180 26 56 354 415 554 997 275 739 498 203 154 862 1086 640 1219 883 129 233 525 744 1094 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 133 1 778 514 363 509 441 21 650 1176 866 997 575 739 227 915 278 115 1123 1093 308 22 569 448 502 1201 140 1203 1034 972 245 217 840 308 1055 781 980 336 14 1102 651 288 41.26/41.59 o 7559 41.26/41.59 v 98 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 755 260 535 309 1194 985 1236 1014 413 820 493 944 1113 154 1141 81 633 19 366 1096 181 916 343 843 749 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 892 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 207 1093 306 672 1197 1084 333 366 886 38 572 475 687 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 472 833 909 666 391 275 757 1097 124 38 980 1186 1083 462 661 1185 6 214 545 1150 107 277 10 634 573 732 917 461 200 685 766 1215 820 359 499 373 957 1056 377 1244 522 350 301 732 109 1074 1152 864 683 8 782 997 853 952 594 420 1022 219 1190 133 1086 751 365 993 841 982 1254 471 566 1080 39 839 175 8 306 1272 677 940 320 0 99 217 467 608 236 1056 883 176 683 975 368 784 1151 683 70 523 1226 647 68 948 768 554 1211 122 760 308 14 923 207 427 1004 475 729 21 889 466 262 582 790 608 999 832 573 117 1153 338 1098 222 77 684 504 1065 902 397 85 1191 272 1 159 826 130 1022 582 34 1099 1216 753 335 700 501 533 430 920 232 0 392 232 641 328 873 1187 230 1098 630 364 800 710 975 1021 176 70 3 468 881 298 724 618 567 1018 68 1192 938 1145 628 743 371 304 517 786 931 3 1187 564 1092 197 863 889 137 314 153 1274 721 381 678 484 275 4 70 1193 987 908 887 363 452 801 575 1093 92 231 475 1017 1180 26 56 354 415 554 997 275 739 498 203 154 862 1086 640 1219 873 129 233 525 744 1094 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 133 1 778 514 363 509 441 21 650 1176 866 997 575 739 227 909 278 115 1123 1093 308 22 569 448 502 1191 140 1203 1034 972 245 217 840 308 1055 781 980 336 14 1102 651 288 41.26/41.59 o 7560 41.26/41.59 v 98 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 755 260 535 309 1194 985 1236 1014 413 820 493 944 1113 154 1141 81 633 19 366 1096 181 916 343 843 749 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 892 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 207 1093 306 672 1197 1084 333 366 886 38 572 475 687 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 472 833 909 599 391 275 757 1097 124 38 980 1186 1083 462 661 1185 6 214 545 1150 107 277 10 634 573 732 917 461 200 685 766 1215 820 359 499 373 957 1056 377 1244 522 350 301 732 109 1074 1152 864 683 8 782 997 853 952 594 420 1022 219 1190 133 1086 751 365 993 841 982 1254 471 566 1080 39 839 175 8 306 1272 677 940 320 0 99 217 467 608 236 1056 883 176 683 975 368 784 1151 683 70 523 1226 647 68 948 768 554 1211 122 760 308 14 923 207 427 1004 475 729 21 889 466 262 582 790 608 999 832 573 117 1153 338 1098 222 77 684 504 1065 902 397 85 1191 272 1 159 826 130 1022 582 34 1099 1216 753 335 700 501 533 430 920 232 0 392 232 641 328 873 1187 230 1098 630 364 800 710 975 1021 176 70 3 468 881 298 724 618 567 1018 68 1192 938 1145 628 743 371 304 517 786 931 3 1187 564 1092 197 863 889 137 314 153 1274 721 381 678 484 275 4 70 1193 987 908 887 363 452 801 575 1093 92 231 475 1017 1180 26 56 354 415 554 997 275 739 498 203 154 862 1086 640 1219 873 129 233 525 744 1094 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 133 1 778 514 363 509 441 21 650 1176 866 997 575 739 227 909 278 115 1123 1093 308 22 569 448 502 1191 140 1203 1034 972 245 217 840 308 1055 781 980 336 14 1102 651 288 41.75/42.03 o 7561 41.75/42.03 v 91 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 429 260 535 309 1194 985 1236 1014 413 832 493 944 1113 154 1141 81 633 19 366 1096 181 916 347 843 750 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 891 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 211 1093 306 672 1197 1084 333 354 886 38 572 475 663 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 480 833 909 599 392 275 757 122 674 38 980 1067 1086 380 665 1179 801 214 545 1150 107 277 10 634 573 732 929 461 200 685 766 1215 820 346 499 360 949 1058 377 1244 522 350 301 732 109 1074 1152 851 683 8 782 997 862 952 577 420 1022 219 1190 133 1084 751 350 993 843 982 1254 471 566 1083 39 368 175 8 293 1272 674 940 320 0 968 837 467 608 856 1056 674 177 698 975 368 784 1151 217 73 523 1226 647 68 948 641 554 1211 122 1112 308 14 923 207 427 1004 475 729 21 889 466 262 781 790 608 136 832 573 117 1153 338 1098 222 77 684 504 1065 897 397 85 1191 272 1 159 826 130 1022 582 37 1099 1216 753 335 700 501 533 753 920 240 0 392 1205 641 328 874 1185 230 1091 632 364 800 710 975 1021 176 70 3 468 882 298 724 1085 567 1018 68 1192 938 1145 628 743 371 304 517 786 931 3 1187 564 1092 197 863 889 137 314 153 1274 721 381 992 484 275 4 70 1193 986 914 887 363 452 801 575 1093 92 231 475 1017 1180 26 51 50 415 554 997 275 739 498 203 154 862 1086 640 1219 872 1092 233 525 744 75 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 156 1 778 514 363 509 441 0 650 1176 866 997 575 739 227 909 278 115 1123 1093 308 22 569 448 502 849 140 1193 1034 972 245 217 862 308 1055 738 980 336 14 1102 651 288 41.75/42.07 o 7562 41.75/42.07 v 91 1023 807 193 49 308 33 668 578 210 951 279 413 1238 848 1185 1134 1121 465 522 356 429 260 535 309 1194 985 1236 1014 413 832 493 944 1113 154 1141 81 633 19 366 1096 181 916 347 843 753 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 891 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 211 1093 306 672 1197 1084 333 354 886 38 572 475 663 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 480 833 909 599 392 275 757 122 674 38 980 1057 1086 473 665 1179 801 214 545 1150 107 277 10 634 573 732 929 461 200 685 766 1215 820 346 499 364 949 1058 377 1244 522 350 301 732 109 1074 1152 119 683 8 782 997 862 952 577 420 1022 219 1190 133 1084 751 350 993 843 982 1254 471 566 1075 39 368 175 8 293 1272 674 940 320 0 887 837 467 608 856 1056 707 177 698 975 368 784 1151 217 73 523 1226 647 68 948 641 554 1211 122 1112 308 14 923 207 427 1004 475 729 21 889 466 262 781 790 608 136 832 573 117 1153 338 1098 222 77 684 504 1065 897 397 85 1191 272 1 159 826 130 1022 582 37 1099 63 753 335 700 501 533 756 920 240 0 392 1205 641 328 874 1185 230 1091 632 364 800 710 975 1021 176 70 3 468 882 298 724 1085 567 1018 68 1192 938 1145 628 743 371 304 517 786 931 3 1187 564 1092 197 863 889 137 314 153 1274 721 381 992 484 275 4 70 1193 986 914 887 363 452 801 575 1093 92 231 475 1017 1180 26 51 50 415 554 997 275 739 498 203 154 862 1086 640 1219 872 1092 233 525 744 75 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 156 1 778 514 363 509 416 0 650 1176 866 997 575 739 227 909 278 115 1123 1093 308 22 569 448 502 849 140 1193 1034 972 245 217 862 308 1055 738 980 336 14 1102 651 288 42.25/42.52 o 7563 42.25/42.52 v 85 1023 807 193 49 308 33 668 578 210 951 279 413 1238 853 1185 1134 1121 465 522 356 749 260 535 309 1194 985 1236 1014 413 826 493 944 1113 154 1141 81 633 19 366 1096 181 916 362 843 752 1223 268 591 889 1249 76 880 1012 465 14 678 211 208 1182 738 891 1076 1177 3 581 503 17 409 618 1036 333 838 113 1231 969 211 1093 306 672 977 1084 333 363 886 34 572 475 670 484 184 278 1046 1144 0 212 843 117 1069 1246 84 1031 645 833 909 579 392 275 757 122 670 38 980 1071 125 1184 468 1169 801 214 545 1150 107 277 10 634 573 732 925 461 200 685 766 1215 820 365 499 380 952 1058 377 1244 522 350 301 732 105 1074 1152 109 668 8 782 997 867 952 577 420 1022 219 1190 133 1083 751 285 993 843 982 1254 471 566 377 27 29 175 8 477 1272 674 940 320 0 98 837 1094 608 223 876 384 177 689 975 409 784 1151 220 78 512 1226 647 68 948 688 554 1211 122 1099 308 14 923 207 427 1004 475 113 21 889 466 262 787 790 608 276 832 573 117 1153 338 1098 222 77 684 504 1065 895 397 85 1191 272 1 159 834 130 1022 582 1090 1107 63 748 335 700 501 533 750 920 240 0 392 1202 641 328 878 1185 230 1091 623 350 800 710 984 982 176 70 3 468 1053 298 724 621 567 1018 68 1192 938 1145 628 743 372 293 517 786 931 3 1187 562 1092 197 863 889 137 314 153 1274 726 381 683 484 275 4 70 1192 986 907 887 363 452 801 575 1093 92 231 475 1017 1180 26 52 357 415 554 997 275 739 498 203 154 862 1086 640 1219 896 1092 233 518 744 75 561 632 1244 933 389 1194 1013 460 349 1161 118 415 843 156 1 778 514 363 509 429 22 650 1176 866 997 575 739 227 918 278 123 1123 1093 308 0 569 448 502 850 140 1193 1034 972 245 217 868 308 1055 753 980 336 14 1102 651 288 987.95/992.86 o 7564 987.95/992.86 v 100 1191 374 301 989 7 1156 531 740 416 915 1035 1081 635 664 476 201 275 30 850 1155 106 678 197 1235 449 472 1167 717 1269 595 983 342 1095 828 1049 266 13 294 507 898 589 999 307 1278 107 567 763 821 649 699 461 1272 924 21 206 1098 1167 812 413 1080 662 0 683 386 1185 1222 905 14 124 586 420 1040 494 328 915 188 771 294 12 131 1161 982 4 253 815 423 186 499 344 730 196 753 680 917 1060 616 761 909 992 345 1258 976 1065 220 1126 831 686 1210 43 852 936 312 592 483 492 386 121 6 776 292 409 966 351 105 1136 1 320 776 1272 989 944 1092 1202 587 201 62 880 679 494 403 856 886 1272 442 185 1188 230 1 724 617 95 510 667 314 581 740 1038 1138 956 520 184 935 571 731 1151 296 0 391 422 8 822 1044 567 719 693 127 1264 1041 1243 1161 1092 189 1227 1244 796 945 844 406 111 510 507 710 631 954 287 850 20 1041 152 625 1246 1038 1159 894 38 817 365 1262 96 208 459 685 274 592 1266 115 198 10 504 479 144 741 77 713 1 1206 360 243 396 1247 522 1063 105 807 601 308 23 359 217 447 13 423 193 1170 500 271 1083 816 822 1134 362 2 1025 706 890 593 96 619 980 104 286 590 1025 589 1203 833 124 1159 527 390 689 933 1088 13 260 1273 743 458 206 1098 620 102 1056 860 495 4 727 1223 597 906 338 688 0 1155 420 268 235 376 40 898 750 741 1170 356 484 598 322 259 1277 13 1059 403 1046 1034 823 170 1171 917 692 1159 258 387 109 449 877 1227 742 977 152 291 579 371 675 688 802 9 482 1089 173 827 41 644 1064 916 556 497 1183 416 401 171 671 1025 752 3 1271 332 212 1172 779 1051 189 1245 16 249 631 398 780 535 1150 32 715 891 969 753 93 139 588 480 320 1206 806 618 533 984 428 312 378 383 1262 2 278 859 908 1056 106 1072 704 197 1282 1402.83/1409.80 o 7565 1402.83/1409.80 v 237 15 393 622 108 1093 1005 1190 330 1115 902 1059 150 737 531 653 843 825 767 441 484 1145 633 289 939 496 451 861 528 1095 717 115 1233 986 798 431 241 332 36 908 940 229 777 463 1279 560 887 1206 268 744 163 352 1 653 1018 101 29 1120 1116 979 520 25 0 160 5 872 1027 1187 1090 204 736 391 342 1180 262 139 619 911 1004 811 974 876 442 1125 253 654 175 4 26 557 1091 763 1277 392 1229 487 452 347 1034 1058 569 1106 1172 1045 933 190 498 302 872 107 673 1006 1142 6 186 392 770 6 638 776 154 427 20 683 228 1221 1095 1173 583 2 1018 751 188 910 797 490 385 95 918 284 167 602 651 2 726 205 1195 823 356 90 770 257 15 1083 484 254 907 447 1030 1101 551 389 4 106 1096 420 639 601 520 878 1185 1081 739 986 184 494 819 973 297 616 145 54 933 193 1041 3 453 53 454 866 595 763 1192 1126 696 328 933 223 545 428 1089 830 1116 874 384 1014 267 666 160 1065 581 635 48 551 229 465 163 866 376 1204 263 1089 1223 1016 621 713 0 762 478 108 935 657 184 14 335 845 1055 1161 971 914 394 734 116 1119 335 143 1187 651 256 491 977 449 1011 811 15 660 638 870 551 1022 1156 975 4 494 559 103 379 703 1189 213 1087 55 687 811 256 779 1177 558 1215 893 650 35 774 222 296 899 434 125 708 11 501 4 1100 107 1023 454 347 1130 266 1213 1269 368 781 206 1216 1090 680 791 118 1194 377 16 963 859 1 303 471 869 570 1035 965 103 1027 810 838 324 745 229 17 882 658 460 306 1179 916 9 1197 121 1116 569 12 920 597 483 671 1054 1199 871 287 1264 626 1123 1018 224 844 2 87 751 146 419 171 59 130 0 1224 359 833 532 319 910 452 1019 684 1049 638 359 4 259 1148 732 999 384 1111 1182 738 830 968 1278 1057 364 4 599 550 128 1260 240 459 124 646 1280 1419.45/1426.42 o 7566 1419.45/1426.42 v 316 1195 276 467 429 846 1005 108 914 1076 482 975 577 737 635 789 1134 721 206 53 484 488 633 1197 598 104 1008 864 176 1095 6 1035 111 941 798 431 241 332 1158 908 65 235 119 564 1279 403 503 1206 275 380 91 1021 791 690 880 1 805 1119 1116 979 494 123 0 609 5 210 338 1185 400 933 1030 248 707 30 878 144 1081 764 1004 645 985 834 801 457 258 885 151 4 356 610 700 57 1277 1042 1240 1095 120 723 1034 1159 759 733 388 1056 317 495 945 644 555 267 99 1018 243 797 18 1181 5 908 1118 184 712 430 11 835 761 660 924 317 1179 749 359 119 515 1116 227 822 186 938 1000 562 529 1230 179 2 124 431 777 348 1024 255 648 29 452 12 704 569 260 915 865 1116 555 520 4 248 1102 444 730 601 986 844 334 1009 640 135 352 953 734 231 1189 616 127 54 558 182 7 868 445 852 1203 215 947 708 1195 1032 637 342 1100 257 791 528 125 830 1119 884 761 205 282 5 869 248 399 635 674 504 1059 465 1253 1040 992 552 497 1017 1218 450 978 205 0 554 164 109 430 646 1146 14 335 788 267 916 971 303 736 1204 940 484 795 851 117 667 347 0 1065 449 430 964 13 1115 638 216 559 1022 1069 1090 86 204 461 10 270 95 616 727 553 387 942 864 269 631 447 860 1220 800 650 906 710 222 296 1010 434 12 147 1183 501 4 312 8 1120 454 344 820 268 1219 1269 314 598 860 505 754 608 692 1206 1194 1109 404 233 1278 1 731 20 105 935 1037 1243 103 1036 443 838 346 742 940 865 1185 663 478 1098 1218 602 1209 264 121 1116 8 111 933 458 483 671 1050 1199 875 763 1264 626 238 718 1147 1114 2 580 316 33 419 635 11 990 0 1225 189 506 891 589 87 447 291 1184 1046 329 357 815 866 1126 719 845 385 1115 1186 628 261 239 1278 344 108 742 971 1058 1002 1260 533 435 153 19 1280 1419.64/1426.61 o 7567 1419.64/1426.61 v 323 1195 276 467 429 846 1005 108 914 1076 482 975 577 737 635 789 1134 721 206 53 484 488 633 1197 598 104 1008 864 176 755 18 1035 111 941 798 431 241 332 1158 908 65 235 119 564 1279 407 503 1206 275 380 91 1022 791 690 876 1 805 1119 43 979 494 128 0 609 5 210 330 1185 400 933 1030 248 707 22 878 145 1081 773 1004 645 985 834 801 457 258 885 151 4 356 610 700 57 1277 1042 1240 1095 120 723 1034 1159 759 733 394 1056 317 495 813 644 555 274 98 1018 243 797 15 1181 3 908 1118 184 712 430 11 835 761 660 939 317 1179 749 359 119 515 1116 227 821 186 938 1000 562 529 1230 179 2 124 431 616 346 1024 228 648 33 452 12 704 569 1138 915 865 1116 555 520 4 248 1102 444 723 601 986 844 334 1009 640 135 348 953 732 231 1189 616 127 54 558 182 7 868 445 842 1208 215 947 709 1191 1032 637 342 1100 257 791 528 125 830 1119 884 761 205 259 5 869 248 399 635 674 504 1059 465 1253 1040 992 552 497 1017 1218 450 978 205 0 554 164 109 430 646 1146 14 335 1051 267 916 971 303 736 1204 940 484 795 851 117 667 347 0 1065 449 430 964 13 1115 638 216 559 1022 1069 1090 5 204 461 23 287 111 616 727 553 387 942 850 269 631 447 860 1220 800 650 906 710 222 296 1010 434 12 147 1183 501 4 312 8 1120 454 344 820 268 1219 1269 314 598 860 505 754 608 692 1206 1194 1109 404 233 1278 1 731 20 110 935 1037 1243 103 1036 443 838 346 742 953 865 1185 663 478 1098 1218 602 1209 264 121 1116 8 111 933 458 483 671 1050 1199 875 763 1264 626 238 718 1147 1114 2 580 316 33 419 635 11 990 0 1225 189 506 891 589 82 447 291 1184 1046 329 357 815 866 1126 719 845 385 1115 1186 628 261 239 1278 344 108 742 971 918 1002 1260 533 435 153 19 1280 1419.64/1426.62 o 7568 1419.64/1426.62 v 323 1195 276 467 429 846 1005 108 914 1076 482 975 577 737 635 789 1134 721 206 53 484 488 633 1197 598 104 1008 864 176 755 18 1035 111 941 798 431 241 332 1158 908 65 235 119 564 1279 407 503 1206 275 380 91 1022 791 690 876 1 805 1119 43 979 494 128 0 609 5 210 330 1185 400 933 1030 248 707 22 878 145 1081 773 1004 645 985 834 801 457 258 885 151 4 356 610 700 57 1277 1042 1240 1095 120 723 1034 1159 759 733 394 1056 317 495 813 644 555 274 98 1018 243 797 17 1181 6 908 1118 184 712 430 11 835 761 660 939 317 1179 749 359 119 515 1116 227 821 186 938 1000 562 529 1230 179 2 124 431 616 346 1024 228 648 33 452 12 704 569 1138 915 865 1129 555 520 4 248 1102 444 723 601 986 844 334 1009 640 135 348 953 732 231 1189 616 127 54 558 182 7 868 445 842 1208 215 947 709 1191 1032 637 342 1100 257 791 528 125 830 1119 884 761 205 259 5 869 248 399 635 674 504 1059 465 1253 1040 992 552 497 1017 1218 450 978 205 0 554 164 109 430 646 1146 14 335 1051 267 916 971 303 736 1204 940 484 795 851 117 667 347 0 1065 449 430 964 13 1115 638 216 559 1022 1069 1090 5 204 461 727 287 111 616 727 553 387 942 850 269 631 447 860 1220 800 650 906 710 222 296 1010 434 12 147 1183 501 4 312 8 1120 454 344 820 268 1219 1269 314 598 860 505 754 608 692 1206 1194 1109 404 233 1278 1 731 20 110 935 1037 1243 103 1036 443 838 346 742 953 865 1185 663 478 1098 1218 602 1209 264 121 1116 8 111 933 458 483 671 1050 1199 875 763 1264 626 238 718 1147 1114 2 580 316 33 419 635 11 990 0 1225 189 506 891 589 82 447 291 1184 1046 329 357 815 866 1126 719 845 385 1115 1186 628 261 239 1278 344 108 742 971 918 1002 1260 533 435 153 19 1280
OK 32 7568 32 unsatisfied constraints, 7568 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-1111533-1215848273/watcher-1111533-1215848273 -o /tmp/evaluation-result-1111533-1215848273/solver-1111533-1215848273 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1111533-1215848273.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.14 2.24 2.18 4/80 17991 /proc/meminfo: memFree=1754864/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) D 17989 17991 17954 0 -1 4194304 295 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612366185 0 2147483391 4100 65536 18446744072099937270 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [startup+0.0658219 s] /proc/loadavg: 2.14 2.24 2.18 4/80 17991 /proc/meminfo: memFree=1754864/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101825 s] /proc/loadavg: 2.14 2.24 2.18 4/80 17991 /proc/meminfo: memFree=1754864/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.301842 s] /proc/loadavg: 2.14 2.24 2.18 4/80 17991 /proc/meminfo: memFree=1754864/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.701877 s] /proc/loadavg: 2.14 2.24 2.18 4/80 17991 /proc/meminfo: memFree=1754864/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50194 s] /proc/loadavg: 2.14 2.24 2.18 3/90 18002 /proc/meminfo: memFree=1742808/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=844276 CPUtime=1.46 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 5762 0 1 0 142 4 0 0 18 0 9 0 41529404 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 211069 5023 1900 9 0 205630 0 [pid=17993/tid=17995] ppid=17991 vsize=844276 CPUtime=1.22 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 3466 0 1 0 120 2 0 0 25 0 9 0 41529405 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4125774895 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=844276 CPUtime=0.08 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 1068 0 0 0 8 0 0 0 16 0 9 0 41529406 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 41529407 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=844276 CPUtime=0.13 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 496 0 0 0 13 0 0 0 16 0 9 0 41529409 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 864538624 5023 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 849632 [startup+3.10208 s] /proc/loadavg: 2.14 2.24 2.18 3/90 18002 /proc/meminfo: memFree=1739800/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=844276 CPUtime=3.06 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 7549 0 1 0 300 6 0 0 18 0 9 0 41529404 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 211069 6442 2574 9 0 205630 0 [pid=17993/tid=17995] ppid=17991 vsize=844276 CPUtime=2.65 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 3647 0 1 0 263 2 0 0 25 0 9 0 41529405 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4125374917 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=844276 CPUtime=0.25 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 2674 0 0 0 23 2 0 0 16 0 9 0 41529406 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41529407 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=844276 CPUtime=0.13 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 496 0 0 0 13 0 0 0 16 0 9 0 41529409 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 864538624 6442 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 849632 [startup+6.30236 s] /proc/loadavg: 2.13 2.23 2.17 3/90 18002 /proc/meminfo: memFree=1736480/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=844276 CPUtime=6.23 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 8497 0 1 0 614 9 0 0 18 0 9 0 41529404 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 211069 7085 2574 9 0 205630 0 [pid=17993/tid=17995] ppid=17991 vsize=844276 CPUtime=5.56 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 3952 0 1 0 552 4 0 0 25 0 9 0 41529405 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4125672923 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=844276 CPUtime=0.52 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 3317 0 0 0 48 4 0 0 16 0 9 0 41529406 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41529407 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=844276 CPUtime=0.13 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 496 0 0 0 13 0 0 0 16 0 9 0 41529409 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=844276 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 864538624 7085 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 849632 [startup+12.7029 s] /proc/loadavg: 2.12 2.23 2.17 3/91 18003 /proc/meminfo: memFree=1668072/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850824 CPUtime=12.6 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 29797 0 1 0 1239 21 0 0 18 0 10 0 41529404 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212706 24396 2576 9 0 207267 0 [pid=17993/tid=17995] ppid=17991 vsize=850824 CPUtime=10.21 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 5157 0 1 0 1015 6 0 0 25 0 10 0 41529405 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4126585928 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850824 CPUtime=1.86 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 21744 0 0 0 174 12 0 0 16 0 10 0 41529406 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850824 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 41529407 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850824 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 41529407 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850824 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 41529409 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850824 CPUtime=0.49 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2158 0 0 0 48 1 0 0 16 0 10 0 41529409 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850824 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 41529409 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850824 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 41529409 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18003] ppid=17991 vsize=850824 CPUtime=0 /proc/17993/task/18003/stat : 18003 (java) S 17991 17991 17954 0 -1 64 5 0 0 0 0 0 0 0 23 0 10 0 41530342 871243776 24396 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 856180 [startup+25.502 s] /proc/loadavg: 2.09 2.22 2.17 3/90 18003 /proc/meminfo: memFree=1483816/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850904 CPUtime=25.34 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 75412 0 1 0 2494 40 0 0 18 0 9 0 41529404 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212726 69969 2580 9 0 207286 0 [pid=17993/tid=17995] ppid=17991 vsize=850904 CPUtime=21.27 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 7151 0 1 0 2120 7 0 0 25 0 9 0 41529405 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4127308991 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850904 CPUtime=3.46 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 65297 0 0 0 316 30 0 0 16 0 9 0 41529406 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850904 CPUtime=0.57 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2225 0 0 0 56 1 0 0 15 0 9 0 41529409 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69969 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 856260 [startup+51.1012 s] /proc/loadavg: 2.06 2.20 2.17 4/90 18003 ################ # More data... # ################ /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2232 0 0 0 57 1 0 0 16 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3385.75 Current children cumulated vsize (KiB) 856260 [startup+3462.3 s] /proc/loadavg: 2.00 2.02 2.06 3/92 18062 /proc/meminfo: memFree=1086872/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850904 CPUtime=3445.45 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 75429 0 1 0 344493 52 0 0 18 0 9 0 41529404 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212726 69981 2580 9 0 207286 0 [pid=17993/tid=17995] ppid=17991 vsize=850904 CPUtime=3441.38 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 7156 0 1 0 344118 20 0 0 25 0 9 0 41529405 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4127364225 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850904 CPUtime=3.46 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 65302 0 0 0 316 30 0 0 16 0 9 0 41529406 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850904 CPUtime=0.58 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2232 0 0 0 57 1 0 0 16 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3445.45 Current children cumulated vsize (KiB) 856260 [startup+3522.3 s] /proc/loadavg: 2.00 2.02 2.05 3/92 18062 /proc/meminfo: memFree=1078424/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850904 CPUtime=3505.16 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 75429 0 1 0 350463 53 0 0 18 0 9 0 41529404 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212726 69981 2580 9 0 207286 0 [pid=17993/tid=17995] ppid=17991 vsize=850904 CPUtime=3501.08 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 7156 0 1 0 350088 20 0 0 25 0 9 0 41529405 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4127304941 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850904 CPUtime=3.46 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 65302 0 0 0 316 30 0 0 16 0 9 0 41529406 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850904 CPUtime=0.58 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2232 0 0 0 57 1 0 0 16 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3505.16 Current children cumulated vsize (KiB) 856260 [startup+3582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/92 18062 /proc/meminfo: memFree=1078424/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850904 CPUtime=3564.87 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 75429 0 1 0 356434 53 0 0 18 0 9 0 41529404 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212726 69981 2580 9 0 207286 0 [pid=17993/tid=17995] ppid=17991 vsize=850904 CPUtime=3560.79 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 7156 0 1 0 356059 20 0 0 25 0 9 0 41529405 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4127356627 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850904 CPUtime=3.46 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 65302 0 0 0 316 30 0 0 16 0 9 0 41529406 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850904 CPUtime=0.58 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2232 0 0 0 57 1 0 0 16 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3564.87 Current children cumulated vsize (KiB) 856260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3617.7 s] /proc/loadavg: 2.00 2.01 2.04 3/92 18062 /proc/meminfo: memFree=1074008/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850904 CPUtime=3600.09 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 75429 0 1 0 359956 53 0 0 18 0 9 0 41529404 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212726 69981 2580 9 0 207286 0 [pid=17993/tid=17995] ppid=17991 vsize=850904 CPUtime=3596.02 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 7156 0 1 0 359582 20 0 0 25 0 9 0 41529405 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4127315203 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850904 CPUtime=3.46 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 65302 0 0 0 316 30 0 0 16 0 9 0 41529406 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850904 CPUtime=0.58 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2232 0 0 0 57 1 0 0 16 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.09 Current children cumulated vsize (KiB) 856260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+3617.7 s] /proc/loadavg: 2.00 2.01 2.04 3/92 18062 /proc/meminfo: memFree=1074008/2055920 swapFree=4177576/4192956 [pid=17991] ppid=17989 vsize=5356 CPUtime=0 /proc/17991/stat : 17991 (concrete.sh) S 17989 17991 17954 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41529404 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/17991/statm: 1339 242 201 169 0 50 0 [pid=17993] ppid=17991 vsize=850904 CPUtime=3600.09 /proc/17993/stat : 17993 (java) S 17991 17991 17954 0 -1 0 75429 0 1 0 359956 53 0 0 18 0 9 0 41529404 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17993/statm: 212726 69981 2580 9 0 207286 0 [pid=17993/tid=17995] ppid=17991 vsize=850904 CPUtime=3596.02 /proc/17993/task/17995/stat : 17995 (java) R 17991 17991 17954 0 -1 64 7156 0 1 0 359582 20 0 0 25 0 9 0 41529405 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4127315203 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17996] ppid=17991 vsize=850904 CPUtime=3.46 /proc/17993/task/17996/stat : 17996 (java) S 17991 17991 17954 0 -1 64 65302 0 0 0 316 30 0 0 16 0 9 0 41529406 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17997] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17997/stat : 17997 (java) S 17991 17991 17954 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17998] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17998/stat : 17998 (java) S 17991 17991 17954 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41529407 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=17999] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/17999/stat : 17999 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18000] ppid=17991 vsize=850904 CPUtime=0.58 /proc/17993/task/18000/stat : 18000 (java) S 17991 17991 17954 0 -1 64 2232 0 0 0 57 1 0 0 16 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18001] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18001/stat : 18001 (java) S 17991 17991 17954 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17993/tid=18002] ppid=17991 vsize=850904 CPUtime=0 /proc/17993/task/18002/stat : 18002 (java) S 17991 17991 17954 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41529409 871325696 69981 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3600.09 Current children cumulated vsize (KiB) 856260 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17991 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.004999 # while last known CPU time is 3600.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3617.72 CPU time (s): 3600.09 CPU user time (s): 3599.56 CPU system time (s): 0.53 CPU usage (%): 99.5126 Max. virtual memory (cumulated for all children) (KiB): 856324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.004999 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= 15 involuntary context switches= 4 runsolver used 4.43732 second user time and 11.8352 second system time The end
Begin job on node31 at 2008-07-12 09:37:53 IDJOB=1111533 IDBENCH=61289 IDSOLVER=335 FILE ID=node31/1111533-1215848273 PBS_JOBID= 7903464 Free space on /tmp= 66488 MiB SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30 BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-6.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-1111533-1215848273/watcher-1111533-1215848273 -o /tmp/evaluation-result-1111533-1215848273/solver-1111533-1215848273 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1111533-1215848273.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 5cd20cea40cbbe199e65e8aaf2196708 RANDOM SEED=770616881 node31.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.236 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.236 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1755408 kB Buffers: 48652 kB Cached: 95548 kB SwapCached: 8392 kB Active: 182464 kB Inactive: 73452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1755408 kB SwapTotal: 4192956 kB SwapFree: 4177576 kB Dirty: 1832 kB Writeback: 0 kB Mapped: 127424 kB Slab: 29448 kB Committed_AS: 1013940 kB PageTables: 2148 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= 66412 MiB End job on node31 at 2008-07-12 10:38:13