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) | 33 | 3600.07 | 3634.52 |
| Name | csp/os-taillard-20/ normalized-os-taillard-20-95-0.xml |
| MD5SUM | 0d7f52239cc079a8b40c34e4f80db59c |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 26 |
| 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 | 1154 |
| 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) |
15.63/15.80 c CPU-LOAD 11.67 15.63/15.80 c LOADED 400 V (1154 E), 7600 DTPConstraint, arity 2, 11.67 cpu 21.47/21.76 s SATISFIABLE 21.47/21.76 o 7499 21.47/21.76 v 1012 418 965 865 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 207 417 335 509 343 254 5 1056 920 543 802 955 834 712 1073 127 645 666 1016 1120 288 541 125 83 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 983 24 363 625 116 712 1145 766 746 962 1070 498 1121 10 339 553 129 238 771 1085 10 327 207 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 552 894 924 114 2 788 795 767 648 466 252 986 437 442 135 1045 1034 857 542 5 504 645 476 245 339 182 1113 834 943 492 86 325 624 421 194 732 457 434 68 205 612 285 796 993 914 951 1080 365 636 234 742 538 817 1 1103 113 1094 900 204 1064 126 373 473 255 564 217 38 821 716 539 271 2 992 134 147 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 85 607 686 290 507 934 858 185 336 726 17 1023 550 435 136 286 1047 20 726 442 421 86 779 569 906 137 510 220 1078 880 303 380 989 674 652 431 372 253 632 7 802 565 9 461 122 204 259 705 979 1077 342 691 920 320 750 938 35 489 156 254 942 1024 1097 356 842 776 746 616 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 917 33 706 92 858 332 555 452 471 773 1051 948 116 982 11 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 805 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 150 953 456 792 528 346 863 685 331 230 586 297 55 490 691 1089 19 968 139 472 21.47/21.79 o 7500 21.47/21.79 v 1012 418 965 865 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 207 417 335 509 343 254 5 1056 920 543 802 955 834 712 1073 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 983 24 363 625 116 712 1145 766 746 962 1070 498 1121 10 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 552 894 924 114 2 788 795 767 648 466 252 986 437 442 135 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 624 421 194 732 457 434 68 205 612 285 796 993 914 951 1080 365 636 234 742 538 817 1 1103 113 1094 900 204 1064 126 373 473 255 564 217 38 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 85 607 686 290 507 934 858 185 336 726 17 1023 550 435 136 286 1047 20 726 442 421 86 779 569 906 137 510 220 1078 880 303 380 989 674 652 431 372 253 632 7 802 565 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 1097 356 842 776 746 616 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 917 33 706 92 858 332 555 452 471 773 1051 948 116 982 11 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 150 953 456 792 528 346 863 685 331 230 590 297 55 490 691 1089 19 968 139 472 21.57/21.84 o 7501 21.57/21.84 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 192 417 335 509 343 254 5 1056 920 543 802 955 834 712 426 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 988 24 363 625 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 552 894 924 114 2 788 795 767 1092 466 264 986 437 442 135 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 622 421 194 732 457 434 68 205 612 285 796 993 914 951 1080 365 636 234 742 538 817 1 1103 113 1094 900 204 1064 126 373 473 255 564 217 38 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 136 286 1047 20 726 442 421 41 779 569 906 137 510 220 1078 880 290 380 989 674 652 431 372 253 632 7 802 565 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 1097 356 841 776 746 604 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 917 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 589 297 55 490 691 1089 19 968 139 472 21.57/21.84 o 7502 21.57/21.84 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 192 417 335 509 343 254 5 1056 920 543 802 955 834 712 426 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 988 24 363 625 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 552 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 622 421 194 732 457 434 68 205 612 285 796 993 914 951 1080 365 636 234 742 538 817 1 1103 113 1094 900 204 1064 126 373 473 255 564 217 38 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 136 286 1047 20 726 442 421 41 779 569 906 137 510 220 1078 880 290 380 989 674 652 431 372 253 632 7 802 565 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 1097 356 841 776 746 604 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 917 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 589 297 55 490 691 1089 19 968 139 472 21.57/21.86 o 7503 21.57/21.86 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 192 417 335 509 343 254 5 1056 920 543 802 955 834 712 426 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 988 24 363 625 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 622 148 194 732 457 434 68 205 612 285 796 993 914 951 1080 853 636 234 742 538 817 1 1103 113 1094 900 204 1064 126 373 473 255 564 217 38 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 132 286 1047 20 726 442 421 41 779 569 906 137 510 220 1078 880 290 380 989 674 652 431 372 253 632 7 802 565 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 1097 356 841 776 746 604 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 589 297 55 490 691 1089 19 968 139 472 21.57/21.87 o 7504 21.57/21.87 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 192 417 335 509 343 254 5 1056 920 543 802 955 834 712 426 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 988 24 363 625 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 622 148 194 732 457 434 68 205 612 285 796 993 914 951 1080 853 636 234 742 538 817 1 1103 113 1094 900 204 41 126 373 473 255 567 217 38 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 132 286 1047 20 726 442 421 41 779 569 906 137 510 220 1078 880 290 380 989 674 652 431 372 253 632 7 802 565 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 1097 356 841 776 746 604 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 589 297 57 490 691 1089 19 968 139 472 21.57/21.89 o 7505 21.57/21.89 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 192 417 335 509 343 254 5 1058 920 543 802 1025 834 712 426 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 988 303 363 625 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 622 148 194 732 457 434 68 205 612 285 796 993 914 951 1080 853 636 234 742 538 817 1 1103 113 1094 900 204 41 126 373 473 255 567 217 43 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 132 286 1047 1076 726 442 421 41 779 569 906 137 510 220 1078 880 290 380 989 674 652 431 372 253 632 7 802 743 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 1097 356 841 776 746 604 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 589 297 57 490 691 1080 19 968 139 472 21.57/21.89 o 7507 21.57/21.89 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 352 135 192 417 335 509 343 254 5 1058 920 543 802 1025 834 712 426 127 645 666 1016 1120 288 541 125 665 767 338 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 988 303 363 625 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 1070 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 434 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 86 325 622 148 194 732 457 434 68 205 612 285 796 993 914 951 1080 853 636 234 742 538 817 1 1103 113 1094 900 204 41 126 373 473 255 567 217 43 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 132 286 1047 1076 726 442 421 41 779 569 906 137 510 220 1078 880 290 380 989 674 652 431 372 253 632 7 802 743 9 467 122 204 259 705 979 1077 342 691 920 320 1088 938 35 489 156 254 942 1024 230 356 841 776 746 604 413 664 247 609 398 857 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 589 297 57 490 691 1080 19 968 139 472 21.67/21.95 o 7508 21.67/21.95 v 1012 418 965 874 224 340 132 243 686 81 633 735 434 19 533 1109 835 1098 489 539 669 351 135 192 417 335 509 343 254 5 1058 920 543 230 1024 834 712 84 127 645 666 994 1120 288 558 125 0 767 337 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 986 303 366 628 116 712 1145 766 746 962 1070 498 1121 8 339 553 129 238 771 1085 10 327 217 64 687 757 323 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 209 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 245 339 182 1113 834 943 492 84 325 622 148 194 732 457 434 68 205 612 285 796 993 914 951 1080 853 636 234 742 538 817 1 1103 113 1094 900 204 41 126 373 473 255 567 217 43 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 80 607 686 290 507 934 858 185 336 726 17 1023 550 435 132 286 1047 1083 726 442 421 41 779 569 906 137 510 220 1078 880 939 380 989 674 652 431 372 253 632 7 802 743 10 467 122 204 259 705 979 1077 342 691 920 320 1088 938 15 489 156 254 942 1024 230 356 841 776 746 604 413 664 247 609 398 841 1088 960 492 563 559 17 427 861 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1051 948 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 593 297 57 490 691 1080 19 968 139 472 21.67/22.00 o 7509 21.67/22.00 v 1012 418 965 675 224 340 132 243 0 81 633 735 434 19 533 1109 835 1098 489 539 669 351 135 192 417 335 509 343 254 5 1058 922 543 230 1024 834 712 84 127 645 666 994 1120 288 558 125 0 767 337 424 324 1071 896 382 790 215 41 546 1093 467 596 1077 986 303 366 628 116 712 1145 766 746 962 1070 498 1121 5 339 553 129 238 771 1085 10 327 217 64 687 757 323 598 651 909 134 940 986 892 826 426 276 529 23 903 907 680 646 817 209 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 783 339 182 1113 834 943 492 84 325 622 148 194 732 457 434 68 205 612 285 796 993 914 951 1080 367 636 234 742 538 817 1 1103 114 1094 900 204 41 126 373 473 255 567 217 43 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 491 923 540 765 1055 525 634 228 92 749 686 290 507 934 858 185 336 726 17 1023 550 435 132 286 1047 1083 726 442 421 41 779 569 906 137 510 220 1078 880 939 380 989 674 652 431 579 253 632 7 803 743 10 463 122 204 259 705 979 1077 342 691 920 320 1088 938 15 489 156 254 942 1024 230 356 841 776 746 604 413 664 247 609 398 841 739 960 492 563 559 17 427 870 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1052 342 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 880 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 346 863 685 331 230 593 297 57 490 691 1080 19 968 139 472 21.77/22.06 o 7510 21.77/22.06 v 1012 418 965 751 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 489 539 669 351 135 192 417 335 509 343 254 5 1058 922 543 230 1024 834 712 84 127 645 666 994 1120 288 563 125 0 767 337 424 322 1071 896 382 790 215 41 546 1093 467 596 1077 981 303 366 628 116 712 1145 766 746 962 1070 498 1121 5 339 553 129 238 771 1085 10 327 217 64 687 757 323 598 651 909 134 940 986 892 826 426 156 529 23 903 907 680 646 817 872 309 8 734 1058 243 1000 988 380 859 117 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 783 339 182 1113 834 943 492 84 325 622 148 194 732 457 434 413 205 612 285 796 993 914 951 1080 367 636 234 742 538 817 1 1103 114 1094 900 204 41 126 320 473 255 567 217 42 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 219 923 540 765 1072 1 634 228 92 749 686 290 507 934 858 185 336 726 17 522 1035 435 132 286 1047 1083 726 442 421 41 779 569 906 137 510 220 1078 880 630 380 989 674 652 431 579 253 632 7 803 743 10 463 122 204 259 705 979 1077 342 691 920 320 1088 938 15 489 156 262 942 1024 230 356 841 776 746 604 413 664 0 609 398 841 739 960 492 563 559 17 427 870 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 471 773 1052 342 116 982 5 778 5 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 255 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 953 456 792 528 362 863 738 331 230 593 297 57 490 691 1080 19 968 139 472 21.77/22.08 o 7511 21.77/22.08 v 1012 418 965 751 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 489 539 669 351 135 192 417 335 509 343 254 5 1058 922 543 230 1024 834 712 84 127 645 666 994 1120 288 563 125 0 767 337 424 322 1071 896 382 790 215 41 546 1093 467 596 1077 981 303 366 628 116 712 1145 766 746 962 1070 498 1121 5 339 553 129 238 771 1085 10 327 217 64 687 757 323 598 651 909 134 940 986 892 826 426 156 529 23 903 907 680 646 817 872 309 8 734 1058 243 1000 988 380 859 425 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 783 339 182 1113 834 943 492 84 325 622 148 194 732 457 434 413 205 612 285 796 998 914 951 1080 367 636 234 742 538 817 1 1103 114 1094 900 204 41 126 320 473 255 568 217 42 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 219 930 540 765 1072 1 634 228 92 749 686 290 507 934 858 185 336 726 17 522 1035 435 132 286 1047 1083 726 442 421 41 779 569 906 137 510 220 1091 880 630 380 989 674 652 431 579 253 632 7 803 743 10 463 122 204 259 705 979 1077 342 691 920 320 1088 938 15 489 156 262 277 1024 230 356 841 776 746 604 413 664 0 609 398 841 739 960 492 563 551 17 427 870 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 457 773 1052 342 116 982 5 778 24 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 255 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 924 456 792 528 362 863 738 331 230 593 297 57 490 691 1080 19 968 139 472 21.77/22.09 o 7512 21.77/22.09 v 1012 418 965 751 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 489 539 669 351 135 192 417 335 509 343 254 5 1058 922 543 230 1024 834 712 84 127 645 666 994 1120 288 563 125 0 767 337 424 322 1071 896 382 790 215 41 546 1093 467 596 1077 981 303 366 628 116 712 1145 766 746 962 1070 498 1121 5 339 553 129 238 771 1085 10 327 217 64 687 757 323 598 651 909 134 488 986 892 826 426 156 529 23 903 907 680 646 817 872 309 8 734 1058 243 1000 988 380 859 425 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 783 339 182 1113 834 943 492 84 325 622 148 194 732 457 434 413 205 612 285 796 998 914 951 1080 367 636 234 742 538 817 1 1103 114 1094 900 204 41 126 320 473 255 568 217 42 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 219 930 540 765 1072 1 634 228 92 749 686 290 507 934 858 185 336 726 17 522 1035 435 132 286 1047 1083 726 442 421 41 779 569 906 137 510 220 1091 880 630 380 989 674 652 431 579 253 632 7 803 743 10 463 122 204 259 705 979 1077 342 691 920 320 1088 938 15 489 156 262 277 1024 230 356 841 776 746 604 413 664 0 609 398 841 739 960 492 563 551 17 427 870 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 457 773 1052 342 116 982 5 778 24 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 255 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 924 456 792 528 362 863 738 331 230 593 297 57 490 691 1080 19 968 139 472 21.87/22.10 o 7513 21.87/22.10 v 1012 418 965 751 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 489 539 669 351 135 192 417 335 509 343 254 5 1058 922 543 230 1024 834 712 84 127 645 666 994 1120 288 563 125 0 767 337 424 322 1071 896 382 790 215 41 546 1093 467 596 1077 981 303 366 628 116 712 1145 766 746 962 1070 498 1121 5 339 915 129 238 771 1085 10 310 217 64 687 757 323 598 651 909 134 488 986 892 826 426 156 529 23 903 907 680 646 817 872 309 8 734 1058 243 1000 988 380 859 425 535 470 192 640 486 347 538 106 894 924 114 2 788 795 767 1092 466 264 986 437 442 406 1045 1034 857 542 5 504 660 476 783 339 182 1113 834 943 492 84 325 622 148 194 732 457 434 413 205 612 285 796 998 914 951 525 367 636 234 742 538 817 1 1103 114 1094 900 204 42 126 320 473 255 568 217 42 821 692 539 271 2 992 134 380 762 125 1076 558 441 707 785 1025 894 817 734 584 184 5 296 336 91 855 681 943 930 540 765 1072 1 634 228 92 749 686 290 507 934 858 185 336 726 17 522 1035 435 132 286 1047 1083 726 442 421 41 779 569 906 137 510 220 1091 880 630 380 989 674 652 431 579 253 632 7 803 743 10 463 122 204 259 705 979 1077 342 691 920 320 1088 938 15 489 156 262 277 1024 230 356 841 776 746 604 413 664 0 609 398 841 739 960 492 563 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1070 782 14 67 622 1023 174 286 412 925 33 706 92 858 332 555 452 457 773 1052 342 116 982 5 778 24 954 1049 318 1065 271 1018 745 601 875 225 652 787 422 1126 525 711 255 568 450 488 512 1019 763 1128 97 854 954 292 414 192 73 375 1048 648 457 214 924 456 792 528 362 863 738 331 230 593 297 57 490 691 1080 19 968 139 472 22.06/22.37 o 7514 22.06/22.37 v 1012 418 965 673 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 288 539 669 351 135 39 417 335 509 343 254 5 840 922 543 230 1024 834 712 84 127 645 666 994 1120 288 563 95 0 767 337 424 322 1071 896 382 790 215 41 546 1093 467 596 862 981 303 380 622 116 712 1145 766 746 962 1070 498 1121 5 339 907 129 238 771 1085 10 243 243 915 687 757 340 598 651 909 1084 488 986 892 826 426 156 529 23 129 907 680 646 817 872 309 8 734 1058 243 1000 988 198 859 425 535 470 369 640 486 347 540 106 894 86 114 0 788 795 767 1092 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 84 325 622 148 194 732 457 434 405 205 612 286 796 992 882 951 525 1081 631 234 742 538 817 1 368 104 1094 900 204 42 126 320 473 255 569 217 40 821 692 551 271 2 992 134 380 762 125 1076 558 441 923 785 1025 894 817 734 160 184 5 296 335 91 638 681 943 836 540 765 1072 1 634 228 92 749 686 290 507 934 858 185 336 726 17 522 1035 435 110 286 1047 1083 726 442 421 384 779 569 906 134 510 220 797 880 8 380 989 674 652 431 579 253 632 7 803 743 27 476 122 204 259 705 979 1077 342 1061 920 320 1088 938 15 489 156 603 277 1024 230 356 841 776 746 604 413 664 2 102 398 851 739 960 481 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1073 782 14 67 631 1061 174 286 412 925 33 706 92 858 332 555 452 457 773 1010 342 116 142 5 1110 24 312 1034 925 1065 271 1018 745 601 862 225 653 338 422 1126 525 900 255 556 450 488 709 1019 710 1128 97 854 954 292 414 192 73 375 1026 648 457 214 934 456 792 528 384 863 738 331 807 593 297 56 490 691 1080 1065 978 143 472 22.06/22.38 o 7515 22.06/22.38 v 1012 418 965 673 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 288 539 669 351 135 39 417 335 509 343 254 5 840 922 543 230 1024 834 712 84 127 645 666 994 1120 288 563 95 0 767 337 424 322 1071 896 382 790 215 41 546 1093 467 596 862 981 303 380 622 116 712 1145 766 746 962 1070 498 1121 5 339 907 129 238 771 1085 10 243 243 915 687 757 340 598 651 909 1084 488 986 892 220 426 156 529 23 129 907 680 646 817 872 309 8 734 1058 243 1000 988 198 859 425 535 470 369 640 486 347 540 106 894 86 114 0 788 795 767 1092 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 84 325 622 148 194 732 457 434 405 205 612 286 796 992 882 951 525 1081 631 234 742 538 817 1 368 104 1094 900 204 42 126 320 473 255 569 217 40 821 692 551 271 2 992 134 380 762 125 1076 558 441 923 785 1025 894 817 734 160 184 5 296 335 91 638 681 943 836 540 765 1072 1 634 228 92 749 686 290 507 934 858 185 336 726 17 522 1035 435 110 286 1047 1083 726 442 421 384 779 569 906 134 510 220 797 880 8 380 989 674 652 431 579 253 632 7 803 743 27 476 122 204 259 705 979 1077 342 1061 920 320 1088 938 15 489 156 603 277 1024 230 356 841 776 746 604 413 664 2 102 398 851 739 960 481 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1073 782 14 67 631 1061 174 286 412 925 33 706 92 858 332 555 452 457 773 1010 342 116 142 5 1110 24 312 1034 925 1065 271 1018 745 601 862 225 653 338 422 1126 525 900 255 556 450 488 709 1019 710 1128 97 854 954 292 414 192 73 375 1026 648 457 214 934 456 792 528 384 863 738 331 807 593 297 56 490 691 1080 1065 978 143 472 22.26/22.54 o 7516 22.26/22.54 v 1012 416 958 673 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 288 539 669 351 135 39 417 335 509 343 236 5 840 922 543 223 1024 834 712 84 127 645 666 994 1120 288 440 95 0 767 501 424 322 1071 896 382 790 181 41 546 1093 183 596 272 981 303 380 620 116 712 1145 766 746 962 1070 498 1121 5 339 907 129 238 771 1085 10 245 1093 915 687 757 340 598 651 943 1066 488 1000 892 220 426 156 529 23 129 907 680 646 817 872 309 8 734 1058 243 1000 988 198 859 425 535 470 369 655 486 347 540 106 894 86 115 0 788 795 767 927 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1044 325 622 148 194 732 457 434 405 205 612 286 796 992 882 951 525 1081 631 234 742 538 817 1 368 104 1094 900 204 43 126 320 473 255 571 217 40 821 692 538 271 2 996 134 380 760 125 1076 558 441 923 785 1025 894 817 734 159 184 5 296 333 91 638 681 943 836 540 765 1072 1 634 228 92 749 686 290 507 927 860 335 336 726 17 522 1035 435 135 282 1047 1083 726 442 421 624 57 569 906 134 510 220 797 880 909 380 989 674 652 812 579 253 632 7 370 743 27 476 122 204 259 705 979 1077 342 1061 920 320 1088 938 15 489 156 603 277 1024 230 356 841 776 746 604 413 664 1 102 398 841 272 960 481 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1073 782 14 67 631 1118 174 286 412 925 33 706 92 858 324 555 452 460 773 1010 625 116 843 5 1110 24 312 1034 925 1065 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 97 354 954 292 414 192 73 375 1059 648 457 198 934 456 793 528 961 863 738 348 807 593 297 56 490 691 1080 1065 978 137 472 22.26/22.55 o 7517 22.26/22.55 v 1012 416 958 673 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 288 539 669 351 135 39 417 335 509 343 236 5 840 922 543 223 1024 834 712 84 127 645 666 994 1120 288 440 95 0 767 501 424 322 1071 896 382 790 181 41 546 1093 183 596 272 981 303 380 620 116 712 1145 766 746 962 1070 498 1121 5 339 907 129 238 771 1085 10 245 1093 915 687 757 340 598 651 943 1066 488 1000 892 220 426 156 529 23 129 907 680 646 817 872 309 8 734 1058 243 1000 988 198 859 425 535 470 369 655 486 347 540 106 894 86 115 0 788 795 767 927 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1044 325 622 148 194 732 457 434 405 205 612 286 796 992 882 951 525 1081 631 234 742 538 817 1 368 104 1094 900 204 43 126 320 473 255 571 217 40 821 692 538 271 2 996 134 380 760 125 1076 558 441 923 785 1025 894 817 734 159 184 5 296 333 91 638 681 943 836 540 765 1072 1 634 228 92 749 686 290 507 927 860 335 336 726 17 127 1035 435 135 282 1047 1083 726 442 421 624 57 569 906 134 510 220 797 880 909 380 989 674 652 812 579 253 632 7 370 743 27 476 122 204 259 705 979 1077 342 1061 920 320 1088 938 15 489 156 603 277 1024 230 356 841 776 746 604 413 664 1 102 398 841 272 960 481 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1073 782 14 67 631 1118 174 286 412 925 33 706 92 858 324 555 452 460 773 1010 625 116 843 5 1110 24 312 1034 925 1065 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 97 354 954 292 414 192 73 375 1059 648 457 198 934 456 793 528 613 863 738 348 807 593 297 56 490 691 1080 1065 978 137 472 22.26/22.57 o 7518 22.26/22.57 v 1012 416 958 673 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 288 534 669 351 135 39 417 335 509 343 236 5 817 922 543 223 1024 834 712 84 127 645 666 994 1120 288 440 95 0 767 501 424 322 1071 896 382 790 181 41 546 1093 183 596 272 981 303 380 620 116 712 1145 766 746 962 1070 498 1121 5 339 898 129 238 771 1085 10 245 1093 915 687 757 340 598 651 943 1066 488 1000 892 220 426 156 529 23 129 907 680 646 817 872 309 8 734 1058 243 1000 988 198 859 425 535 470 369 655 486 347 540 106 894 86 115 0 788 795 767 927 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1048 325 622 148 194 732 457 434 405 205 612 286 796 992 882 951 525 1081 631 234 742 538 817 1 368 104 1094 900 204 43 126 320 473 255 571 217 40 821 692 538 271 2 996 134 380 760 125 1076 558 441 923 785 1025 894 817 734 159 184 5 296 333 91 638 681 943 836 540 765 1072 1 634 228 92 749 686 290 507 927 860 335 336 726 17 127 1035 435 135 282 1047 1083 726 442 421 624 57 569 906 136 510 220 797 880 909 380 989 674 652 812 579 253 632 7 370 743 27 476 122 204 259 705 979 1077 342 1061 920 320 1088 938 15 489 156 603 277 1024 230 356 841 776 746 604 413 662 252 102 398 857 272 960 481 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1073 782 14 67 631 1118 174 286 412 925 33 706 92 858 324 555 452 460 773 1010 625 116 843 5 1110 24 312 1034 925 1065 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 97 354 954 292 414 192 73 375 1059 648 457 198 934 456 793 528 613 863 738 348 807 593 297 56 490 691 1080 1065 978 137 472 22.26/22.58 o 7519 22.26/22.58 v 1012 416 958 673 224 340 132 243 0 81 633 863 434 19 533 1109 835 1098 288 534 669 351 135 39 417 335 509 343 246 5 817 922 543 223 1024 834 712 84 127 645 666 994 1120 288 440 95 0 767 501 424 322 1071 896 382 790 181 41 546 1093 183 596 272 981 303 380 620 116 712 1145 766 746 962 1070 498 1121 5 339 898 129 238 771 1085 10 245 841 915 687 757 340 598 651 943 1066 488 1000 892 220 426 156 529 23 129 907 680 646 817 872 309 8 734 1058 243 1000 988 198 859 425 535 470 369 655 486 347 540 106 894 86 115 0 788 795 767 927 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1048 325 622 148 194 732 457 434 405 205 612 286 796 992 882 951 525 1081 631 234 742 538 817 1 368 104 1094 900 204 43 126 320 473 255 571 217 40 821 692 538 271 2 996 134 380 760 125 1076 558 441 923 785 1025 894 817 734 159 184 5 296 333 91 638 681 943 836 540 765 1072 1 421 228 92 749 686 290 507 927 860 335 336 726 17 127 1035 435 135 282 1047 1083 726 442 421 624 57 569 906 136 510 220 797 880 909 380 989 674 652 812 579 253 632 7 370 743 27 476 122 204 259 705 979 1077 342 1061 920 320 1088 938 15 489 156 603 277 1024 230 356 841 776 746 604 413 662 252 102 398 857 272 960 481 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 758 1073 782 14 67 631 1118 174 286 412 925 33 706 93 858 324 555 452 460 773 1010 625 116 843 5 1110 24 312 1034 925 1065 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 97 354 954 292 414 192 73 375 1059 648 457 198 934 456 793 528 613 863 738 348 807 593 297 56 490 691 1080 1065 978 137 472 22.56/22.85 o 7520 22.56/22.85 v 1012 416 666 741 224 340 132 264 0 81 633 863 900 24 536 1109 835 1098 288 534 669 352 135 40 417 335 509 338 226 5 826 922 543 223 1024 847 712 84 127 645 666 994 1120 748 440 95 0 767 243 424 322 1071 908 382 790 181 41 547 1093 873 596 272 981 303 380 615 116 712 1145 766 746 962 1070 498 1121 5 339 898 10 238 771 1089 10 245 841 915 687 757 342 598 651 943 73 488 1000 892 220 426 156 529 23 129 907 680 646 805 872 309 12 734 1058 243 1000 988 198 859 425 535 471 369 655 486 347 539 106 894 86 117 0 639 795 767 924 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1034 325 622 148 194 732 454 434 405 205 612 288 796 992 883 951 525 1081 631 234 742 538 817 1 368 129 1094 900 204 1059 126 320 473 255 566 217 40 823 658 538 271 2 996 134 380 760 125 1076 558 441 923 785 1025 989 575 734 159 184 7 296 333 91 638 681 943 835 540 765 1072 1 398 228 92 749 686 290 507 927 860 181 571 726 17 1048 1004 435 135 285 1047 1083 726 442 421 624 68 569 906 136 510 220 797 880 912 380 989 674 652 812 1093 1047 632 7 370 743 203 476 122 868 259 705 979 1074 342 1061 920 320 1088 938 15 489 156 3 258 1024 230 356 777 776 746 481 413 662 254 96 398 857 272 960 486 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 753 1073 782 14 67 553 1118 174 286 412 925 33 706 94 858 324 555 452 460 773 1010 625 116 843 2 1110 31 312 1034 924 807 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 99 354 954 292 414 192 73 960 1059 648 457 198 958 456 343 528 613 863 738 334 807 593 297 56 490 691 1080 1065 978 137 472 22.56/22.86 o 7522 22.56/22.86 v 1012 416 666 741 224 340 132 264 0 81 633 863 900 24 536 1109 835 1098 288 534 669 352 135 40 417 335 509 338 226 5 826 922 543 223 1024 847 712 84 127 645 666 994 1120 748 440 95 0 767 243 424 322 1071 908 382 790 181 41 547 1093 873 596 272 981 303 380 615 116 712 1145 766 746 962 1070 498 1121 5 339 898 10 238 771 1089 10 245 841 915 687 757 342 598 651 943 73 488 1000 892 220 426 156 529 23 129 907 680 646 805 872 309 12 734 1058 243 1000 988 198 859 425 535 471 369 655 486 347 539 106 894 86 117 0 639 795 767 924 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1034 325 622 148 194 732 454 434 405 205 612 288 796 992 883 951 525 1081 631 234 742 538 817 1 368 129 1094 900 204 1059 126 320 473 255 566 217 40 823 658 538 271 2 996 134 380 760 125 1076 558 441 923 785 1025 989 575 734 159 184 7 296 333 91 638 681 943 835 540 765 1072 1 398 228 92 749 686 290 507 927 860 181 571 726 17 1048 1004 435 135 285 1047 1083 726 442 421 624 61 569 906 136 510 220 797 880 912 380 989 674 652 812 1093 1047 632 7 370 743 110 476 122 868 259 705 979 1074 342 1061 920 320 1088 938 15 489 156 3 258 1024 230 356 777 776 746 481 413 662 254 96 398 857 272 960 486 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 753 1073 782 14 67 553 1118 174 286 412 925 33 706 94 858 324 555 452 460 773 1010 625 116 843 2 1110 31 312 1034 924 807 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 99 354 954 292 414 192 73 960 1059 648 457 198 958 456 343 528 613 863 738 334 807 593 297 56 490 691 1080 1065 978 137 472 22.56/22.88 o 7523 22.56/22.88 v 1012 416 666 741 224 340 132 264 0 81 633 863 900 24 536 1109 835 1098 288 534 669 351 135 40 417 335 509 338 226 5 826 922 543 223 1024 852 712 84 127 645 666 994 1120 748 440 95 0 767 243 424 322 1071 908 382 790 181 41 547 1093 873 596 272 981 303 380 615 116 712 1145 766 746 962 1070 498 1121 5 339 898 10 238 771 1089 10 245 841 915 687 757 342 363 651 943 73 488 1000 892 220 426 156 529 23 129 907 680 646 805 872 309 12 734 1058 243 1000 988 198 859 425 535 471 369 655 486 347 539 106 894 86 117 0 639 795 767 924 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1034 325 622 148 194 732 454 434 405 205 612 288 796 992 883 951 525 1081 631 234 742 538 817 1 368 129 1094 900 204 1059 126 320 473 255 566 217 40 823 658 549 271 2 996 134 380 760 125 1076 558 441 923 785 1025 989 805 734 159 184 7 296 333 91 638 681 943 835 540 765 1072 1 398 228 92 749 686 290 507 927 860 181 571 726 17 1048 1004 435 135 285 1047 1083 726 442 421 624 61 569 906 136 510 220 797 880 912 380 989 674 652 812 1093 1047 632 7 370 743 110 476 122 868 259 705 979 1074 342 1061 920 320 1088 938 15 489 156 3 258 1024 230 356 777 748 746 481 413 662 254 96 398 857 272 960 486 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 753 1073 782 14 67 553 1118 174 286 412 925 33 706 94 858 324 555 452 460 773 1010 625 116 843 2 1110 31 312 1034 924 807 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 99 354 954 292 414 192 73 960 1059 648 457 198 958 456 343 528 614 863 738 334 807 593 297 56 490 691 1080 1065 978 137 472 22.56/22.88 o 7526 22.56/22.88 v 1012 416 666 741 224 340 132 264 0 81 633 863 434 24 536 1109 835 1098 288 534 669 351 135 40 417 335 509 338 226 5 826 922 543 223 1024 852 712 84 127 645 666 994 1120 748 440 95 0 767 243 424 322 1071 908 382 790 181 41 547 1093 873 596 272 981 303 380 615 116 712 1145 766 746 962 1070 498 1121 5 339 898 10 238 771 1089 10 245 841 915 687 757 342 363 651 943 73 488 1000 892 220 426 156 529 23 129 907 680 646 805 872 309 12 734 1058 243 1000 988 198 859 425 535 471 369 655 486 347 539 106 894 86 117 0 639 795 767 924 466 264 986 437 190 406 1045 782 857 542 5 504 660 476 269 352 182 1113 834 943 492 1034 325 622 148 194 732 454 434 405 205 612 288 796 992 883 951 525 1081 631 234 742 538 817 1 368 129 1094 900 204 1059 126 320 473 255 566 217 40 823 658 549 271 2 996 134 380 760 125 1076 558 441 923 785 1025 989 805 734 159 184 7 296 333 91 638 681 943 835 540 765 1072 1 398 228 92 749 686 290 507 927 860 181 571 726 17 1048 1004 435 135 285 1047 1083 726 442 421 624 61 569 906 136 510 220 797 880 912 380 989 674 652 812 1093 1047 632 7 370 743 110 476 122 868 259 705 979 1074 342 1061 920 320 1088 938 15 489 156 3 258 1024 230 356 777 748 746 481 413 662 254 96 398 857 272 960 486 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 753 1073 782 14 67 553 1118 174 286 412 925 33 706 94 858 324 555 452 460 773 1010 625 116 843 0 1110 31 312 1034 924 807 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 99 354 954 292 414 192 73 960 1059 648 457 198 958 456 343 528 614 863 738 334 807 593 297 56 490 691 1080 1065 978 137 472 22.56/22.89 o 7527 22.56/22.89 v 1012 416 666 741 224 340 132 264 0 81 633 863 434 24 536 1109 835 1098 288 534 669 351 135 40 417 335 509 338 226 5 826 922 543 223 1024 852 712 84 127 645 666 994 1120 748 440 95 0 767 243 424 322 1071 908 382 790 181 41 547 1093 873 596 272 981 303 380 615 116 712 1145 766 746 962 1070 498 1121 5 339 898 10 238 771 1089 10 245 841 915 687 757 342 363 651 943 73 488 1000 892 220 426 156 529 23 129 907 680 646 805 872 309 12 734 1058 243 1000 988 198 859 425 535 471 369 655 486 347 539 106 894 86 117 0 639 795 767 924 466 264 986 437 190 406 1045 754 857 542 5 504 660 476 269 352 182 1113 834 943 492 1034 325 622 148 194 732 454 434 405 205 612 288 796 992 883 951 525 1081 631 234 742 549 817 1 368 129 1094 900 204 1059 126 320 473 255 566 217 40 823 658 549 271 2 996 134 380 760 125 1076 558 441 923 785 1025 989 805 734 159 184 7 296 333 91 638 681 943 835 540 765 1072 1 398 228 92 749 686 290 507 927 860 181 571 726 17 1048 1004 435 135 285 1047 1083 726 442 421 624 61 569 906 136 510 220 797 880 912 380 989 674 652 812 1093 1047 632 7 370 743 110 476 122 868 259 705 979 1074 342 1061 920 320 1088 938 15 489 156 3 258 1024 230 356 777 748 746 481 413 662 254 96 398 857 272 960 486 548 551 17 427 460 731 329 999 887 177 243 854 364 632 131 753 1073 782 14 67 553 1118 174 286 412 925 33 706 94 858 324 555 452 460 773 1010 625 116 843 0 1110 31 312 1034 924 807 271 1018 745 601 862 225 647 338 422 1126 525 900 255 556 450 488 804 1019 710 1128 99 354 954 292 414 192 73 960 1059 648 457 198 958 456 343 528 614 863 738 334 807 593 297 56 490 691 1080 1065 978 137 472 22.76/23.02 o 7530 22.76/23.02 v 1012 425 666 741 224 948 132 264 0 81 633 863 434 16 536 1109 835 1098 375 534 669 351 135 40 417 335 509 338 226 5 839 922 543 223 1024 850 712 84 127 645 666 994 1120 748 439 95 0 767 243 641 322 1071 908 382 790 181 41 547 1093 873 596 272 981 303 380 615 116 712 1145 766 746 962 1070 498 1121 5 339 898 10 238 771 1089 10 245 841 915 687 757 342 363 651 943 73 488 1000 892 220 426 156 529 105 129 907 680 646 805 872 309 12 734 1058 243 1000 988 198 859 425 535 471 369 655 486 347 539 113 894 86 117 0 636 795 767 924 466 264 986 437 190 406 1045 754 857 542 5 102 660 476 269 371 182 1113 834 943 492 1034 325 622 148 194 732 454 434 405 205 612 288 796 994 288 951 525 1081 631 234 742 894 817 1 368 129 1094 900 204 1060 126 320 473 255 566 217 39 816 658 549 271 2 996 134 380 760 125 1076 558 441 923 785 1025 989 805 734 159 184 7 296 333 91 638 681 943 838 540 765 1072 1 398 228 86 749 686 290 507 927 860 181 571 726 17 1048 1004 435 135 290 1047 1083 726 442 421 624 74 569 905 136 510 220 797 880 912 380 989 674 652 812 1093 1047 632 7 370 743 110 476 122 868 259 705 979 1074 342 1061 920 320 1088 938 36 484 156 3 258 1024 230 356 777 748 746 479 413 662 254 615 398 857 263 960 486 572 551 17 427 36 731 329 999 887 177 243 854 364 668 131 753 1073 782 14 67 553 1118 174 286 412 925 33 706 94 858 324 555 452 933 773 1010 625 116 843 3 1110 31 312 1034 924 807 271 1018 745 601 862 225 647 337 443 1126 525 900 255 556 450 488 804 1019 710 1128 99 354 954 292 414 192 73 960 1059 648 457 198 958 456 340 528 614 863 738 381 807 601 297 56 490 691 1080 1065 978 137 472 23.55/23.87 o 7531 23.55/23.87 v 1012 767 1115 256 224 940 126 857 0 81 633 662 434 13 542 1109 835 1098 375 557 524 327 135 1110 417 476 509 333 22 0 242 924 543 223 1008 834 712 668 127 645 666 994 1120 748 439 95 0 767 132 641 322 1071 884 382 790 181 41 547 1093 249 596 272 981 313 367 620 873 712 1145 766 746 962 482 498 1121 5 1081 563 122 238 771 1085 10 246 826 901 687 757 984 363 651 933 166 488 985 892 220 426 156 529 59 129 907 680 646 805 872 309 0 734 1058 243 997 988 198 859 425 535 471 369 657 486 343 538 266 894 86 119 0 795 792 767 1096 100 245 986 437 190 406 1045 754 859 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 732 454 434 405 205 612 288 796 998 572 89 525 1081 635 234 742 891 817 1 368 129 1094 946 204 833 126 112 473 255 566 217 39 855 960 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 341 296 904 91 51 255 605 838 540 765 314 1 398 228 90 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 285 1047 1083 540 442 421 624 77 567 905 136 510 221 797 880 25 380 1003 683 652 812 570 1047 632 7 374 752 102 472 891 868 259 705 979 1078 342 1061 920 320 1088 939 36 738 516 9 254 1024 230 360 842 749 1082 309 413 618 127 474 398 854 739 960 486 569 546 32 427 863 731 329 999 887 177 238 854 340 657 145 739 1073 6 438 67 593 1118 174 295 412 925 33 658 92 858 332 555 452 268 776 1006 341 116 843 14 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 292 28 192 73 960 1066 648 457 198 931 456 59 528 601 863 738 368 806 587 297 56 22 681 1081 1065 958 137 472 23.65/23.91 o 7532 23.65/23.91 v 1012 767 1115 256 224 940 126 857 0 81 633 662 434 13 542 1109 835 1098 375 557 819 327 135 1110 417 476 509 333 14 0 242 924 543 223 1008 829 712 668 127 645 666 994 1120 748 439 95 0 767 132 641 322 1071 884 382 790 181 41 547 1093 249 596 272 981 313 367 620 873 712 1145 766 746 962 482 498 1121 21 1081 563 122 238 771 1085 10 253 833 901 687 757 984 363 651 933 166 488 985 892 220 426 156 529 59 129 907 680 646 805 872 309 0 734 1058 243 997 988 198 859 425 535 471 369 657 486 343 538 266 894 86 119 0 795 792 767 1091 100 245 986 437 190 406 1045 754 859 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 732 454 434 405 205 612 288 796 967 572 89 525 1081 635 234 742 891 817 1 368 129 1094 946 204 833 126 112 473 255 566 217 39 855 960 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 320 296 904 91 51 255 605 838 540 765 314 1 398 228 90 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 285 1047 1083 540 442 421 624 77 567 905 136 510 221 797 880 25 380 1003 683 652 812 570 1047 632 7 374 752 102 472 891 868 259 705 979 1076 342 1061 920 320 1088 939 36 738 530 9 254 1024 230 360 842 749 1082 309 413 618 127 474 398 651 739 960 486 569 546 32 427 863 731 329 999 887 177 238 854 340 657 145 739 1073 6 438 67 593 1118 174 295 412 925 33 658 92 858 332 555 452 266 776 1006 341 116 843 14 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 292 28 192 73 960 1066 648 457 198 931 456 59 528 601 863 738 368 806 587 297 366 22 681 1081 1065 958 137 472 23.65/23.93 o 7533 23.65/23.93 v 1012 767 1115 256 224 940 126 857 0 81 633 662 434 13 542 1109 835 1098 375 557 819 343 135 1110 417 476 509 333 14 0 242 924 543 223 1008 829 712 668 127 645 666 994 1120 748 439 95 0 767 132 641 322 1071 884 382 790 181 41 547 1093 249 596 272 981 313 367 620 873 712 1145 766 746 962 482 498 1121 21 1081 563 122 238 771 1085 10 253 833 901 687 757 984 363 651 933 166 488 985 892 220 426 156 529 59 129 907 680 646 805 872 309 0 734 1058 243 997 988 198 859 425 535 471 369 657 486 341 538 266 894 86 119 0 795 792 767 1091 100 245 986 437 190 406 1045 754 859 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 732 454 434 405 205 612 288 796 967 572 89 525 1081 635 234 742 891 817 1 368 129 1094 946 204 833 126 112 473 255 566 217 39 855 653 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 320 296 904 91 51 255 605 838 540 765 314 1 398 228 90 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 285 1047 1083 96 442 421 624 77 567 905 136 510 221 797 880 25 380 1003 683 652 812 196 1047 632 7 374 752 102 472 891 868 259 705 979 1076 342 1061 920 320 1088 939 36 738 530 9 254 1024 230 360 842 749 1082 309 413 618 127 474 398 651 739 960 486 569 546 32 427 863 731 329 999 887 177 238 854 340 657 145 739 1073 6 438 67 593 1118 174 295 412 925 33 658 92 858 332 555 452 266 776 1006 341 116 843 14 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 403 28 192 73 960 1066 648 457 198 931 456 59 528 601 863 738 368 806 587 297 366 22 681 1081 1065 958 137 472 23.65/23.94 o 7534 23.65/23.94 v 1012 767 1115 256 224 940 126 857 0 81 633 662 434 13 542 1109 835 1098 375 557 811 343 135 1110 417 476 509 333 14 0 242 924 543 223 1008 829 712 668 127 645 666 994 1120 748 439 95 0 767 132 641 322 1071 884 382 790 181 41 547 1093 249 596 272 981 313 367 620 873 712 1145 766 746 962 482 498 1121 21 1081 563 122 238 771 1085 10 245 833 901 687 757 984 363 651 933 166 488 985 892 220 426 156 529 59 129 907 680 646 805 872 309 0 734 1058 243 997 988 198 859 425 535 471 369 657 486 341 538 266 894 86 119 0 795 792 767 1091 100 245 986 437 190 406 1045 754 859 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 732 454 434 405 205 612 288 796 967 572 89 525 1081 635 234 742 891 817 1 368 129 1094 946 204 833 126 112 473 255 566 217 39 855 653 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 320 296 904 91 51 255 605 838 540 765 314 1 398 228 90 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 285 1047 1083 96 442 421 624 77 567 905 136 510 221 797 880 25 380 1003 683 652 812 196 1047 632 7 374 752 102 472 891 868 259 705 979 1076 342 1061 920 320 1088 939 6 738 530 9 254 1024 230 360 842 749 1082 309 413 618 127 474 398 651 739 960 486 569 546 32 427 863 731 329 999 887 177 238 854 340 657 145 739 1073 6 438 67 593 1118 174 295 412 925 33 658 92 858 332 555 452 266 776 1006 341 116 843 14 1110 121 304 1034 924 807 271 1018 745 601 862 225 649 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 403 28 192 73 960 1066 648 457 198 928 456 59 528 601 863 738 368 806 587 297 366 22 681 1081 1065 958 137 472 23.75/24.03 o 7536 23.75/24.03 v 1012 767 185 256 224 940 126 857 0 81 633 662 434 13 269 1109 835 1098 375 557 811 352 135 1110 417 476 509 333 14 0 242 924 543 227 1008 829 712 668 127 645 666 994 1120 748 439 98 0 767 95 641 322 1071 884 382 790 181 41 547 1093 249 596 272 981 313 367 620 873 712 1145 766 746 962 482 498 1121 11 1081 563 109 238 771 1087 10 245 833 901 687 757 995 363 651 933 166 488 985 892 220 426 146 529 59 129 907 680 646 805 872 309 0 734 1058 243 997 988 198 859 425 535 471 369 663 486 341 538 528 894 86 119 0 795 792 767 1086 100 246 986 437 190 406 1045 754 858 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 517 454 434 405 205 612 288 796 967 572 89 525 1081 635 234 742 891 817 1 368 129 1094 946 204 835 126 112 473 255 566 217 39 855 930 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 320 296 904 91 51 255 605 836 540 765 314 1 398 228 90 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 287 1047 1083 96 442 421 624 77 564 905 136 510 221 797 880 25 380 1003 683 652 812 196 1047 632 7 374 752 102 472 891 868 259 705 979 1077 342 1061 920 320 1088 939 6 738 530 9 254 1024 230 360 842 749 1082 309 413 626 127 467 398 651 739 960 486 569 546 32 427 863 731 329 999 887 177 238 854 340 652 145 739 1073 6 438 67 593 1118 174 289 412 925 33 658 92 858 332 555 452 266 776 1016 341 116 843 14 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 403 28 192 73 960 1066 648 457 198 928 456 59 528 601 863 738 368 806 587 297 366 22 681 1081 1065 958 137 472 23.75/24.08 o 7537 23.75/24.08 v 1012 767 185 256 224 945 126 857 0 81 633 662 434 13 259 1109 835 1098 375 557 811 333 135 1110 417 476 509 349 14 0 242 924 543 227 1008 829 712 668 127 645 666 994 1120 748 439 104 0 767 95 641 322 1071 884 382 790 181 41 547 1093 249 596 272 975 313 367 620 873 712 1145 766 746 962 482 498 1121 11 1081 563 109 238 771 1087 10 245 833 901 687 757 995 363 651 933 166 488 985 892 220 426 146 529 59 129 907 680 646 805 872 309 0 734 1058 243 997 988 198 859 425 535 471 369 663 486 341 538 528 894 86 119 0 795 792 767 1086 100 246 986 437 190 406 1045 754 858 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 517 454 434 405 205 612 288 796 967 572 89 525 1081 637 234 742 891 817 1 368 129 1094 946 204 835 126 112 473 255 566 217 39 862 930 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 298 296 899 91 51 255 605 836 540 765 314 1 398 228 87 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 287 1047 1083 96 442 421 624 77 564 905 136 510 221 797 880 25 380 1003 683 652 812 196 1047 632 7 374 752 102 472 891 868 259 705 979 1073 342 1061 920 320 1088 939 5 95 530 9 254 1024 230 360 842 749 1082 309 413 626 127 467 398 651 739 960 486 570 546 32 427 863 731 329 999 887 177 238 854 340 652 145 739 1073 6 438 67 593 1118 174 289 412 925 33 658 92 858 332 555 452 266 776 1016 341 116 843 6 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 403 28 192 73 960 1062 648 457 198 954 456 59 528 601 863 738 368 806 587 297 366 22 681 1081 1065 958 137 472 23.85/24.11 o 7538 23.85/24.11 v 1012 767 185 256 224 945 126 857 0 81 633 662 434 13 259 1109 835 1098 375 557 811 333 135 1110 417 476 509 349 14 0 242 924 543 227 1008 829 712 668 127 645 666 994 1120 748 439 104 0 767 95 641 322 1071 884 382 790 181 41 547 1093 251 596 272 975 313 367 620 873 712 1145 766 746 962 482 498 1121 11 1081 563 109 238 771 1087 10 245 833 901 687 757 995 363 651 933 166 488 985 892 220 426 146 529 59 129 907 680 646 805 872 309 0 734 1058 243 995 988 198 859 425 535 471 369 663 486 341 538 528 894 86 119 0 787 792 767 1097 100 246 986 437 190 406 1045 754 858 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 517 454 434 405 205 612 288 796 967 572 89 525 1081 637 234 742 891 817 1 368 129 1094 946 204 835 126 112 473 255 566 217 38 862 930 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 298 2 899 91 51 255 605 835 540 765 314 1 398 228 87 749 686 175 507 927 867 665 571 726 17 1050 1004 441 679 287 538 1083 96 442 421 624 77 564 905 136 510 221 797 880 25 380 1003 683 652 812 196 1047 632 7 374 752 104 472 891 868 259 705 979 1073 342 1061 920 320 1088 939 5 95 530 9 254 1024 230 360 842 749 1082 309 413 626 127 467 398 651 739 960 486 570 546 32 427 863 731 329 999 887 177 238 854 340 652 145 739 1073 6 438 67 593 1118 174 289 412 925 33 658 92 858 332 555 452 266 776 1016 341 116 843 6 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 97 354 954 403 28 192 73 960 1062 648 457 198 954 456 59 528 601 863 738 368 806 587 297 366 22 681 1081 1065 958 137 472 23.85/24.18 o 7539 23.85/24.18 v 1012 767 185 281 224 945 126 857 0 81 633 662 434 13 259 1109 835 1098 375 557 811 333 135 1110 417 476 509 349 712 1 242 924 543 227 1008 829 712 668 127 645 666 994 1120 748 439 104 0 767 95 641 322 1071 884 382 790 181 41 547 1093 251 596 272 975 313 367 620 873 712 1145 766 746 962 482 498 1121 0 1081 563 109 238 771 1087 10 259 833 901 687 757 995 363 651 61 166 488 985 892 220 426 146 529 59 129 907 680 646 805 872 309 0 734 1058 243 995 988 198 859 425 535 471 369 663 486 341 538 528 894 86 119 0 787 797 767 1095 100 246 986 437 190 406 1045 754 858 542 418 102 660 476 269 333 182 1113 834 943 492 1045 325 622 148 194 517 454 434 405 205 612 288 796 967 572 89 525 1081 642 234 742 891 817 1 368 129 1094 946 204 835 126 112 473 255 566 217 38 862 930 658 271 2 1029 134 380 757 125 1076 558 441 580 785 1025 422 805 734 650 181 298 2 899 91 51 374 605 835 540 765 314 1 398 228 87 749 686 175 507 927 863 665 571 726 17 1050 1004 441 679 287 40 1083 96 442 421 624 77 564 905 136 510 221 797 880 132 380 1003 683 652 812 196 1047 632 7 374 752 104 472 891 868 259 705 979 1073 342 1061 920 320 1088 937 5 95 530 9 254 1024 230 360 842 749 1082 309 413 626 101 467 398 657 739 960 486 548 546 32 427 863 731 329 999 892 177 238 854 340 652 145 739 1073 6 438 67 593 1118 174 289 412 925 33 658 92 858 332 555 452 266 776 1016 341 116 843 6 1110 121 304 1034 924 807 271 1018 745 601 862 225 647 354 443 1126 525 900 225 556 450 488 802 1019 710 1128 101 354 954 403 28 192 73 960 1062 648 457 198 954 456 59 528 606 863 738 368 806 617 297 341 22 481 1081 1063 958 137 472 25.43/25.72 o 7541 25.43/25.72 v 1012 121 875 288 224 937 123 681 0 788 633 662 436 13 286 1109 835 1098 375 548 819 347 135 1110 417 476 528 341 538 46 251 915 545 245 1008 177 712 665 127 642 659 994 1120 669 439 98 749 1128 94 641 324 1071 884 382 790 181 41 547 1093 251 596 272 974 313 365 624 873 712 1145 766 746 962 482 527 1121 5 1081 563 104 238 771 1089 10 256 822 901 687 757 992 364 651 61 181 488 806 892 235 427 134 529 49 129 1040 680 996 805 872 309 0 734 1057 243 186 988 909 859 425 554 471 369 650 486 331 502 617 894 86 1074 0 789 792 136 554 100 246 986 437 190 406 924 730 858 542 418 102 660 476 269 333 610 1113 834 943 492 1045 325 622 797 194 517 454 434 405 205 612 288 796 967 1040 89 525 1081 642 234 859 891 817 1 368 129 1094 946 204 666 126 113 475 255 566 217 38 321 852 380 271 2 1029 134 525 757 125 1076 558 456 580 785 1040 422 20 734 643 181 292 2 899 91 51 386 941 838 540 765 861 1 397 224 89 749 686 175 507 927 302 182 557 726 17 1050 1040 435 684 283 400 1083 16 442 421 624 67 564 905 175 510 220 797 880 120 380 1003 703 652 812 203 1047 632 7 372 752 104 474 891 868 259 705 979 1080 342 1061 920 320 1088 939 2 825 530 113 254 1024 230 360 841 749 1082 309 413 655 120 467 398 626 382 960 490 569 544 32 458 868 731 329 999 885 177 238 854 344 672 145 739 1073 6 438 67 594 1118 174 283 412 925 33 705 92 858 623 978 451 872 776 1011 343 116 843 11 1110 121 304 1034 922 807 271 1018 745 601 862 225 649 354 443 1126 525 811 225 550 6 488 282 1019 709 1128 367 546 954 872 28 192 73 960 1054 648 457 196 984 456 59 528 603 222 740 382 788 574 297 870 22 481 122 1063 958 124 472 28.00/28.34 o 7542 28.00/28.34 v 1030 123 579 263 855 943 487 747 0 188 633 653 424 6 793 1109 96 1098 375 1008 81 396 135 1110 467 916 528 342 559 46 825 925 605 246 1012 177 919 711 808 754 658 1020 1120 614 476 90 418 1128 839 743 325 1071 896 382 758 185 7 512 1093 253 596 642 976 313 364 506 873 712 1145 764 746 962 482 883 1121 2 1081 257 125 238 771 1089 10 262 824 920 687 757 998 364 187 61 548 489 602 892 235 427 137 812 651 129 1026 431 996 805 106 309 0 734 1076 243 878 988 184 859 943 554 389 369 991 381 322 466 640 894 86 1075 0 469 780 136 566 100 225 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1075 1040 89 525 539 644 234 859 891 817 1 368 129 1094 946 204 757 126 113 589 255 463 217 38 141 854 840 271 2 1029 392 347 683 125 1076 810 472 580 785 1040 411 20 734 636 181 276 2 896 91 51 386 997 835 540 81 870 1 397 243 740 63 686 639 507 918 301 198 551 726 1090 741 1029 435 700 289 400 1083 16 434 421 620 67 494 910 174 999 201 797 880 120 380 1003 553 652 812 38 1047 632 231 360 752 104 269 891 480 546 705 979 1079 857 1061 920 1011 1091 539 9 104 959 112 254 1022 230 360 859 805 213 309 413 626 7 467 398 639 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 656 786 834 1073 6 438 67 267 1118 174 752 412 924 33 684 98 114 486 883 461 579 789 997 342 116 425 12 1110 769 304 741 918 1129 271 1018 325 599 127 225 647 346 443 1032 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 195 963 286 59 528 37 220 760 132 820 607 297 375 22 482 392 1061 937 663 472 28.00/28.34 o 7543 28.00/28.34 v 1030 123 579 263 855 943 487 747 0 188 633 653 424 6 793 1109 96 1098 375 1008 81 396 135 1110 467 916 528 342 559 46 825 925 605 246 1012 177 919 711 808 754 658 1020 1120 614 476 90 418 1128 839 743 325 1071 896 382 758 185 7 512 1093 253 596 642 976 313 364 506 873 712 1145 764 746 962 482 883 1121 2 1081 257 125 238 771 1089 10 262 824 920 687 757 998 364 187 61 548 489 602 892 235 427 137 812 651 129 1026 431 996 805 106 309 0 734 1076 243 878 988 184 859 943 554 389 369 991 381 322 466 640 894 86 1075 0 469 780 136 566 100 225 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1080 1040 89 525 539 644 234 859 891 817 1 368 129 1094 946 204 757 126 113 589 255 463 217 38 141 854 840 271 2 1029 392 347 683 125 1076 810 472 580 785 1040 411 20 734 636 181 276 2 896 91 51 386 997 835 540 81 870 1 397 243 740 63 686 639 507 918 301 198 551 726 1090 741 1029 435 700 289 400 1083 16 434 421 620 67 494 910 174 999 201 797 880 120 380 1003 553 652 812 38 1047 632 231 360 752 104 269 891 480 546 705 979 1079 857 1061 920 1011 1091 539 9 104 959 112 254 1022 230 360 859 805 213 309 413 626 7 467 398 639 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 656 786 834 1073 6 438 67 267 1118 174 752 412 924 33 684 98 114 486 883 461 579 789 997 342 116 425 12 1110 769 304 741 918 1129 271 1018 325 599 127 225 647 346 443 1032 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 195 963 286 59 528 37 220 760 132 820 607 297 375 22 482 392 1061 937 876 472 28.10/28.41 o 7544 28.10/28.41 v 1031 123 579 263 855 943 487 755 0 188 633 653 424 6 793 1109 96 1098 375 1008 81 396 135 1110 467 916 528 362 559 48 825 925 605 246 1012 177 922 711 808 754 658 1020 1120 614 481 87 418 1128 839 743 325 1071 896 382 758 185 7 512 1093 253 596 642 976 313 364 506 873 712 1145 764 746 962 482 883 1121 2 1081 257 125 238 771 1089 10 262 824 920 687 757 998 364 187 61 548 489 602 892 235 427 137 812 651 129 1026 431 996 805 106 309 0 734 1076 243 878 988 184 859 943 554 389 369 995 381 322 464 654 894 86 1075 0 469 780 136 566 100 226 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1081 1040 89 525 539 644 234 859 891 817 1 368 129 1094 946 204 757 126 113 589 255 463 217 38 141 854 840 271 2 1029 392 347 683 125 1076 810 472 580 785 1040 411 20 734 636 181 276 2 896 91 51 386 603 835 540 81 870 1 397 243 740 63 686 639 507 918 301 198 551 726 1090 741 1029 435 700 289 400 1083 16 434 421 620 67 494 910 174 999 201 797 880 120 380 1003 553 652 812 38 1047 632 231 360 752 104 269 891 480 546 705 979 1079 857 1061 920 1011 1091 539 9 104 959 112 254 1022 230 360 859 805 213 309 413 631 7 467 398 639 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 656 786 834 1073 6 438 659 267 1118 174 752 412 924 33 684 98 114 563 883 461 586 789 997 342 116 425 12 1110 769 304 741 918 1129 271 1018 325 599 127 225 647 346 449 621 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 195 953 286 59 528 37 220 760 132 820 607 297 375 22 705 392 1061 939 876 472 28.10/28.41 o 7545 28.10/28.41 v 1031 123 579 263 855 943 487 755 0 188 633 653 424 6 793 1109 96 1098 375 1008 81 396 135 1110 467 916 528 362 559 48 825 925 605 246 1012 177 922 711 808 754 658 1020 1120 614 481 87 418 1128 839 743 325 1071 896 382 758 185 7 512 1093 253 596 642 976 313 364 506 873 712 1145 764 746 962 482 883 1121 2 1081 257 125 238 771 1089 10 262 824 920 687 757 998 364 187 61 548 489 602 892 235 427 137 812 651 129 1026 431 996 805 106 309 0 734 1076 243 878 988 184 859 943 554 389 369 995 381 322 464 654 894 86 1075 0 469 780 136 566 100 226 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1081 1040 89 525 539 644 234 859 891 817 1 368 129 1094 946 204 757 126 113 589 255 463 217 38 141 854 840 271 2 1029 392 347 683 125 1076 810 472 580 785 1040 411 20 734 636 181 276 2 896 91 51 386 603 835 540 81 870 1 397 243 740 63 686 639 507 918 301 198 551 726 1090 741 1029 435 700 289 400 1083 16 434 421 620 67 494 910 174 999 201 797 880 120 380 1003 553 652 812 38 1047 632 231 360 752 104 269 891 480 546 705 979 1079 857 1061 920 1011 1091 539 9 104 959 112 254 1022 230 360 859 805 213 309 413 631 7 467 398 639 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 656 786 834 1073 6 438 659 267 1118 174 752 412 924 33 684 98 114 563 883 461 586 789 997 342 116 425 12 1110 769 304 741 918 1129 271 1018 325 599 127 225 647 346 449 621 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 195 953 286 59 528 584 220 760 132 820 607 297 375 22 705 392 1061 939 876 472 28.49/28.84 o 7546 28.49/28.84 v 1031 123 579 263 855 871 488 750 0 188 633 653 433 6 284 1109 96 1098 375 959 75 390 135 1110 467 916 528 356 557 47 825 273 639 246 1012 177 938 687 808 754 658 1020 1120 614 460 90 418 1128 839 743 325 1071 896 382 758 185 7 512 1093 254 596 642 976 313 364 492 873 712 1145 764 746 962 482 883 1121 2 1081 257 120 238 771 1089 10 262 828 920 687 757 991 364 187 61 548 489 602 892 235 427 137 812 651 129 1026 431 996 936 106 309 0 734 1076 259 878 988 184 859 558 531 482 369 992 381 322 463 639 894 86 1075 0 469 780 136 566 100 226 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1080 1040 89 525 549 644 234 859 891 817 1 368 129 1094 946 204 756 126 113 589 255 463 217 38 141 843 849 271 2 1029 392 347 683 125 1076 810 457 580 785 1040 411 20 734 636 181 257 2 896 91 51 386 1004 835 540 83 870 1 397 243 741 63 686 18 507 918 303 198 551 726 1090 761 1029 435 711 289 400 1083 16 434 421 620 67 494 910 181 129 190 797 880 120 380 996 553 652 812 38 1047 632 4 362 752 136 269 891 480 546 705 979 1079 857 1061 920 1011 1091 610 6 106 529 899 254 1022 991 360 856 805 599 309 413 631 1 467 398 714 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 569 786 628 1073 6 438 659 264 1118 174 752 412 924 33 684 95 115 474 883 461 586 789 997 342 116 425 12 1110 769 304 741 893 1129 271 1018 325 647 127 225 896 346 444 621 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 194 953 286 59 528 585 220 760 123 820 605 297 375 22 695 128 1061 942 877 472 28.59/28.94 o 7547 28.59/28.94 v 1031 123 579 263 855 871 488 750 0 188 633 653 430 6 284 1109 96 1098 375 944 61 561 135 1110 467 916 528 361 557 47 825 273 646 246 1012 177 938 687 808 754 658 1020 1120 614 460 109 418 1128 839 743 325 1071 896 382 758 185 7 507 1093 254 596 642 974 313 364 499 873 712 1145 764 746 962 482 883 1121 2 1081 257 120 238 771 1089 10 262 834 920 687 757 991 364 187 61 548 489 602 892 235 427 137 812 651 129 1026 431 996 936 106 309 0 734 1076 259 48 988 184 859 414 531 482 369 992 381 322 463 639 894 86 1075 0 623 780 136 566 100 226 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1080 1040 89 525 549 644 234 859 891 817 1 368 129 1094 946 204 756 126 113 589 255 463 217 38 141 843 849 271 2 1029 392 347 683 125 1076 810 457 580 785 1040 411 20 734 636 181 274 2 896 91 51 386 1001 835 540 83 870 1 397 243 741 63 686 18 507 920 305 198 551 726 1090 761 1029 435 697 289 400 1083 157 434 421 620 67 499 910 181 129 183 797 880 18 380 996 553 652 812 38 1047 632 36 362 752 136 269 891 480 546 705 979 1079 857 1061 920 1011 1091 610 9 106 528 899 254 1022 991 360 856 805 599 309 413 631 1 467 398 714 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 864 786 628 1073 6 438 659 267 1118 174 752 412 924 33 684 94 115 474 883 461 586 789 997 342 116 425 12 1110 769 304 741 893 1129 271 1018 325 647 127 225 896 346 444 621 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 193 939 286 59 528 585 220 760 123 820 605 297 375 22 695 126 1061 941 877 472 28.59/28.95 o 7548 28.59/28.95 v 1031 123 579 263 855 871 488 750 0 188 633 653 430 6 284 1109 96 1098 375 944 61 561 135 1110 467 916 528 361 557 47 825 273 646 246 1012 177 938 687 808 754 658 1020 1120 614 460 109 418 1128 839 743 325 1071 896 382 758 185 7 507 1093 254 596 642 974 313 364 499 873 712 1145 764 746 962 482 883 1121 2 1081 257 120 238 771 1089 10 262 1019 920 687 757 991 364 187 61 548 489 604 892 235 427 137 812 651 129 1026 431 996 936 106 309 0 734 1076 259 48 988 184 859 414 531 482 369 992 381 322 469 650 894 86 1075 0 623 780 136 566 100 226 926 437 181 406 729 730 860 542 418 11 660 644 269 333 610 1113 834 943 492 1045 325 103 797 194 517 454 434 405 205 612 288 796 1080 1040 89 525 549 644 234 859 891 817 1 368 129 1094 946 204 756 126 113 589 255 463 217 38 141 843 849 271 2 1029 392 347 683 125 1076 810 457 580 785 1040 411 20 734 636 181 274 2 896 91 51 386 1001 835 540 83 870 1 397 243 741 63 686 18 507 920 305 198 551 726 1090 761 1029 435 697 289 400 1083 157 434 421 620 67 499 910 181 129 183 797 880 18 380 996 553 652 812 38 1047 632 36 362 752 136 269 891 480 546 705 979 1079 857 1061 920 1011 1091 610 9 106 528 899 254 1022 991 360 856 805 599 309 413 631 1 467 398 714 386 960 194 558 714 23 447 865 0 329 997 124 492 238 550 344 864 786 628 1073 6 438 659 267 1118 174 752 412 924 33 684 94 115 474 883 461 586 789 997 342 116 425 12 1110 769 304 741 893 1129 271 1018 325 647 127 225 848 346 444 621 525 266 1015 1048 6 488 93 17 704 1128 611 545 954 425 28 192 73 960 333 855 457 193 939 286 59 528 585 220 760 123 820 605 297 375 22 695 126 1061 941 877 472 41.37/41.81 o 7549 41.37/41.81 v 76 1037 1113 790 2 551 357 199 69 21 175 661 661 873 457 1109 628 1098 131 938 821 727 465 14 954 58 236 521 1013 621 268 89 587 864 224 176 371 1096 808 445 64 912 1120 643 456 978 327 1128 368 238 402 1071 828 803 691 554 1 156 1093 256 596 509 933 540 369 152 301 1101 1145 622 746 314 482 883 558 7 1081 713 772 238 773 689 392 450 1019 1 1096 757 923 319 188 134 79 550 655 892 634 1021 218 812 1084 103 736 406 150 214 524 160 0 1021 647 465 256 988 50 785 827 552 937 883 1016 381 325 458 680 994 306 1031 796 6 785 136 154 100 218 942 437 659 406 574 280 875 332 13 416 660 1007 234 1022 1117 554 834 458 82 584 325 142 797 194 765 451 102 656 938 694 288 913 1078 1039 400 677 977 519 237 859 739 621 2 880 126 72 272 206 786 996 134 709 255 1016 217 1 764 359 872 1097 559 491 139 881 627 1004 293 444 604 580 785 1077 1039 98 125 2 0 478 754 883 258 720 981 1112 822 540 11 447 495 1111 386 918 516 885 801 651 113 326 193 551 726 242 1013 674 756 634 5 400 772 208 954 421 1019 1095 495 249 847 461 187 340 434 720 176 569 130 652 609 802 141 1084 20 166 747 446 49 1119 2 536 705 888 359 857 340 923 632 837 240 3 92 1032 498 786 900 676 591 199 1114 1100 906 447 593 339 973 955 705 385 617 162 1006 933 27 353 1062 0 141 444 446 298 779 550 894 833 653 213 683 6 438 634 100 1118 175 340 658 34 690 1016 94 281 550 939 812 743 834 449 376 116 133 17 1148 481 408 297 884 1129 267 196 435 213 558 719 456 331 626 989 1054 266 860 1061 6 830 459 1132 666 1128 559 361 954 425 28 906 73 973 755 153 233 755 195 49 680 997 361 595 984 69 279 1058 145 402 138 929 180 768 499 862 350 41.37/41.82 o 7550 41.37/41.82 v 76 1037 1113 790 2 551 357 199 69 21 175 661 661 873 457 1109 628 1098 131 938 821 727 465 14 954 58 1 521 1013 621 268 89 587 864 224 176 371 1096 808 445 64 912 1120 643 456 965 327 1128 368 238 402 1071 828 803 691 554 1 156 1093 256 596 509 933 540 369 152 301 1101 1145 622 746 314 482 883 558 7 1081 713 772 238 773 689 392 450 1019 1 1096 757 923 319 188 134 79 550 655 892 634 1021 218 812 1084 103 736 406 150 214 524 160 0 1021 647 465 256 988 50 785 827 552 937 883 1016 381 325 456 680 994 306 1031 796 6 785 136 154 100 218 942 437 659 406 574 280 875 332 13 416 660 1007 234 1022 1117 554 834 458 82 584 325 142 797 194 765 451 102 656 938 694 288 913 1078 1039 400 677 977 519 237 859 739 621 2 880 126 72 272 206 786 996 134 709 255 1016 217 1 764 359 872 1097 559 491 139 881 627 1004 293 444 604 580 785 1077 1039 98 125 2 0 478 754 883 258 720 981 1112 822 540 11 447 495 1111 386 918 516 885 801 651 113 326 193 551 726 242 1013 674 756 634 5 400 772 208 954 421 1019 1095 495 249 847 461 187 340 434 720 176 569 130 652 609 802 141 1084 20 166 747 446 49 1119 2 536 705 888 359 857 340 923 632 837 240 3 92 1032 498 786 900 676 591 199 1114 1100 906 447 593 339 973 955 705 385 617 162 1006 933 27 353 1062 0 141 444 446 298 779 550 894 833 653 213 683 6 438 634 100 1118 175 340 658 34 690 1016 94 281 550 939 812 743 834 449 376 116 133 17 1148 481 408 297 884 1129 267 196 435 213 558 719 456 331 626 989 1054 266 860 1061 6 830 459 1132 666 1128 559 361 954 425 28 906 73 973 755 153 233 755 195 49 680 997 361 595 984 69 279 1058 145 402 138 929 180 768 499 862 350 42.16/42.67 o 7551 42.16/42.67 v 76 1015 395 790 2 562 289 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 697 465 14 954 58 1 521 1013 702 268 89 596 864 169 179 368 1096 808 445 64 912 1120 660 457 967 327 1128 402 238 402 387 829 803 691 554 1 156 1093 257 596 509 933 540 351 152 301 1101 1145 620 746 314 482 883 550 34 1081 0 772 238 773 689 392 450 1009 1 1096 598 922 364 658 134 79 555 267 892 634 1020 218 812 1084 103 736 406 150 214 524 160 0 1021 647 471 256 352 50 373 827 552 977 883 555 381 325 454 680 994 125 1019 802 6 883 136 154 100 235 1094 437 659 406 763 280 875 335 13 416 660 874 234 1028 1117 554 834 458 82 594 325 142 1038 194 765 467 102 656 938 694 288 913 1078 1039 400 677 977 452 237 859 739 621 2 880 126 72 270 206 714 996 134 936 255 470 217 1 803 359 674 1097 572 554 139 881 1005 1004 293 444 610 580 785 1077 1039 98 125 456 905 167 754 0 258 720 981 1112 822 540 11 447 495 1111 386 918 516 885 801 651 109 326 193 551 726 242 1013 674 756 23 39 400 785 210 954 421 632 1095 494 249 860 461 876 340 434 720 176 569 1036 652 609 306 141 1084 990 167 747 446 48 1119 2 536 705 888 361 857 1100 923 632 837 242 2 92 1032 81 623 900 676 791 225 1114 1100 500 447 589 339 973 955 709 385 617 162 1006 933 27 353 1062 0 141 445 551 298 779 1147 894 834 653 209 683 6 438 634 101 1118 175 340 658 691 39 1016 99 281 550 939 830 744 747 450 376 116 133 2 1148 481 408 297 884 1129 267 196 435 213 558 719 625 331 775 989 1054 266 860 1060 6 830 464 1132 666 1128 559 361 954 425 28 906 73 973 769 153 233 753 480 193 5 997 389 596 665 69 286 1058 145 384 138 929 211 724 565 861 350 42.26/42.71 o 7552 42.26/42.71 v 76 1015 399 790 2 562 289 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 697 465 14 954 58 1 521 1013 702 268 89 596 864 169 179 368 1096 808 445 64 912 1120 660 457 985 327 1128 402 238 402 387 829 803 691 554 1 156 1093 257 596 509 933 540 353 152 301 1101 1145 620 746 314 482 883 550 34 1081 0 772 238 773 689 8 450 1009 1 1096 598 922 364 658 134 79 555 267 892 634 1020 218 812 1084 103 736 406 150 214 524 160 0 1021 647 800 256 352 50 373 827 552 977 883 555 381 325 454 680 994 125 1019 802 6 883 136 154 100 235 1094 437 659 406 763 280 875 335 13 416 660 874 234 1017 1117 554 834 458 82 594 325 142 1038 194 765 467 102 656 938 694 288 913 1078 1039 400 677 977 452 237 859 739 621 2 880 126 72 270 206 714 996 134 948 255 470 217 1 803 359 674 1097 572 554 139 881 1005 1004 293 444 610 580 785 1077 1039 98 125 456 905 167 754 0 258 720 981 1112 822 540 11 447 495 1111 386 918 516 885 801 651 109 326 193 551 726 242 1013 674 756 23 39 400 785 210 954 421 632 1095 494 249 846 461 876 340 434 720 176 549 1036 652 609 306 141 1084 990 167 747 446 48 1119 2 536 705 888 361 857 1100 923 632 830 242 2 92 1032 88 623 900 676 791 225 1114 1100 500 447 589 339 973 955 709 385 617 162 1006 933 27 353 1062 0 141 445 551 298 779 1147 894 834 653 209 683 6 438 634 101 1118 175 340 658 691 39 1016 99 281 550 939 830 744 747 450 376 116 133 2 1148 481 408 297 884 1129 267 196 435 213 558 719 619 331 775 989 1054 266 860 1060 6 830 464 1132 666 1128 559 361 954 425 28 906 73 973 769 153 233 849 477 193 5 997 389 595 665 69 286 1058 145 384 138 929 211 724 565 861 350 42.26/42.76 o 7554 42.26/42.76 v 76 1015 399 790 2 554 317 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 692 465 14 954 58 1 521 1013 702 268 89 596 864 169 179 368 1096 808 445 64 912 1120 660 457 985 327 1128 400 238 402 387 829 803 691 554 1 156 1093 257 596 509 933 540 353 152 301 1101 1145 620 746 314 482 883 550 34 1081 0 772 238 773 689 8 450 1027 1 1096 598 922 364 658 134 79 555 267 892 634 1020 218 812 1084 103 736 406 150 214 524 160 0 1021 647 800 256 352 50 373 827 552 977 883 555 381 325 454 680 994 125 1019 802 6 883 136 154 100 235 1094 437 659 406 763 280 875 335 13 416 660 874 234 1017 1117 554 834 458 82 594 325 142 792 194 765 963 102 656 938 694 288 913 1078 1039 400 677 977 452 237 859 739 621 2 880 126 72 270 206 714 996 134 948 255 472 217 1 803 359 696 1097 570 554 139 881 1005 1004 293 444 610 580 785 1077 1039 98 125 456 905 174 754 0 258 720 981 1112 822 540 11 447 495 1111 386 918 516 885 801 651 109 326 193 551 726 242 1013 674 756 23 39 400 785 210 954 421 632 1095 494 249 846 461 1019 340 434 720 176 549 1036 652 609 306 141 1084 990 167 747 446 41 1119 2 536 705 888 361 857 1100 923 632 830 242 2 92 1032 88 623 900 676 791 225 1114 1100 500 447 589 339 973 955 709 385 617 162 1006 933 27 353 1062 0 141 445 550 298 779 1147 894 833 653 209 683 6 438 634 101 1118 175 340 658 691 39 1016 99 281 550 939 830 747 747 450 376 116 133 2 1148 481 408 297 884 1129 267 196 435 213 558 719 619 331 775 989 1054 266 860 1023 6 830 464 1132 666 1128 559 361 954 425 28 906 73 973 769 153 233 849 477 193 5 997 389 595 665 69 286 1058 145 384 138 929 211 724 565 861 350 42.56/43.00 o 7555 42.56/43.00 v 76 1015 399 790 2 561 319 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 699 465 14 954 58 1 521 1013 703 268 89 586 864 169 179 368 1096 808 445 64 912 1120 660 457 964 327 1128 400 778 400 387 829 803 691 554 1 156 1093 247 596 509 933 540 366 153 301 1101 1145 617 746 314 482 883 550 49 1081 0 772 1046 773 691 388 450 1033 2 1096 598 926 364 658 134 79 555 276 892 634 1021 218 812 1084 103 736 406 150 214 524 160 0 1021 647 800 256 352 50 373 914 552 977 883 579 381 325 467 680 994 125 1019 802 6 883 136 154 100 235 1094 437 659 406 763 280 875 335 13 416 660 874 234 1017 1117 554 834 458 82 594 325 148 792 194 765 966 102 656 938 694 288 913 1078 1039 400 677 983 452 237 859 739 621 2 880 126 72 269 206 714 996 134 948 255 460 217 1 803 359 691 1097 570 570 139 881 1040 480 293 444 610 580 785 1077 1039 98 125 456 905 174 754 0 258 720 981 1112 822 540 11 447 495 1111 386 918 516 885 801 651 109 326 195 551 726 242 1011 674 756 23 21 400 785 210 954 421 632 1095 494 249 846 461 1019 340 434 720 176 569 1033 652 609 306 141 1084 990 172 747 446 41 1119 2 536 705 888 361 857 1100 923 632 836 234 2 93 1032 0 618 900 676 791 216 1114 1100 500 447 589 339 973 955 709 385 617 162 1006 933 27 353 1062 0 141 445 708 298 779 1147 894 832 653 209 11 6 438 634 101 1118 175 340 658 691 39 1016 99 281 550 939 830 747 747 450 376 116 133 3 1148 481 408 297 884 1129 267 196 435 213 558 719 618 331 775 989 1054 266 860 1022 6 830 464 1132 666 1128 559 361 954 425 28 906 73 973 769 153 233 849 482 193 5 997 389 597 665 69 286 1058 145 391 138 929 211 724 565 861 350 43.25/43.71 o 7556 43.25/43.71 v 75 1015 570 790 2 380 281 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 699 465 14 300 58 1 521 1017 705 268 89 586 870 169 915 368 1096 808 445 64 912 1120 660 457 964 327 1128 400 778 403 387 827 803 691 554 1 156 1093 256 596 509 933 540 39 153 922 1101 1145 621 746 314 482 883 550 343 1081 0 772 1046 773 691 388 450 1018 2 1096 1081 927 297 658 134 79 555 466 892 634 1014 218 812 1080 103 736 406 150 214 524 470 0 1021 647 800 256 352 50 373 920 552 977 883 569 381 325 471 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 589 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 275 206 712 996 134 942 255 471 449 1 803 359 697 1097 572 631 139 881 1016 1005 293 444 608 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 159 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1010 674 756 24 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 554 1018 652 609 306 141 1084 990 176 747 446 47 1119 2 537 705 888 360 857 1100 923 632 689 206 814 93 1032 3 92 361 676 791 211 1114 1100 500 447 588 332 969 955 709 385 617 162 1006 933 519 353 1062 0 141 445 691 298 779 1147 894 832 653 209 11 6 438 549 583 1118 173 340 658 691 970 1016 96 281 49 939 830 754 840 449 375 116 133 16 1148 476 408 297 886 1129 267 196 435 213 558 719 617 331 775 859 1054 266 860 560 6 830 464 1132 666 1128 560 361 954 425 28 906 73 980 769 153 233 754 475 193 5 997 400 596 665 69 926 1064 145 381 138 1081 202 722 267 861 350 43.25/43.72 o 7557 43.25/43.72 v 75 1015 570 790 2 380 281 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 699 465 14 300 58 1 521 1017 705 268 89 586 870 169 915 368 1096 808 445 64 912 1120 660 457 964 327 1128 400 778 403 387 827 803 691 554 1 156 1093 256 596 509 933 540 39 153 922 1101 1145 621 746 314 482 883 550 343 1081 0 772 1046 773 691 388 450 1018 2 1096 1081 927 297 658 134 79 555 466 892 634 1014 218 812 1080 103 736 406 150 214 524 161 0 1021 647 800 256 352 50 373 920 552 977 883 569 381 325 471 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 595 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 275 206 712 996 134 942 255 471 449 1 803 359 697 1097 572 631 139 881 1007 1005 293 444 608 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 46 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1010 674 756 24 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 554 1018 652 609 306 141 1084 990 176 747 446 47 1119 2 537 705 888 360 857 1100 923 632 689 206 814 93 1032 3 92 361 676 791 211 1114 1100 500 447 588 332 969 955 709 385 617 162 1006 933 519 353 1062 0 141 445 691 298 779 1147 894 832 653 209 11 6 438 549 583 1118 173 340 658 691 970 1016 96 281 49 939 830 754 840 449 375 116 133 16 1148 476 408 297 886 1129 267 196 435 213 558 719 617 331 775 859 1054 266 860 560 6 830 464 1132 666 1128 560 361 954 425 28 906 73 980 769 153 233 754 475 193 5 997 400 596 665 69 926 1064 145 381 138 1081 202 722 267 861 350 43.25/43.72 o 7558 43.25/43.72 v 75 1015 570 790 2 380 281 199 69 21 175 662 557 869 448 1109 1077 1098 131 938 821 699 465 14 300 58 1 521 1017 705 268 89 586 870 169 915 368 1096 808 445 64 912 1120 660 457 964 327 1128 400 778 403 387 827 803 691 554 1 156 1093 256 596 509 933 540 39 153 922 1101 1145 621 746 314 482 883 550 343 1081 0 772 1046 773 691 388 450 1018 2 1096 1081 927 297 658 134 79 555 466 892 634 1014 218 812 1080 103 736 406 150 214 524 161 0 1021 647 800 256 352 50 373 920 552 977 883 569 381 325 471 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 595 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 275 206 712 996 134 942 255 471 449 1 803 359 697 1097 572 631 139 881 1007 1005 293 444 608 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 46 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1010 674 756 24 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 554 1018 652 609 306 141 1084 990 176 747 446 47 1119 2 537 705 888 360 857 1100 923 632 689 206 814 93 1032 3 895 361 676 791 211 1114 1100 500 447 588 332 969 955 709 385 617 162 1006 933 519 353 1062 0 141 445 691 298 779 1147 894 832 653 209 11 6 438 549 583 1118 173 340 658 691 970 1016 96 281 49 939 830 754 840 449 375 116 133 16 1148 476 408 297 886 1129 267 196 435 213 558 719 617 331 775 859 1054 266 860 560 6 830 464 1132 666 1128 560 361 954 425 28 906 73 980 769 153 233 754 475 193 5 997 400 596 665 69 926 1064 145 381 138 1081 202 722 267 861 350 43.35/43.87 o 7559 43.35/43.87 v 75 1015 570 790 2 380 281 199 69 21 175 662 557 869 448 1109 1077 541 131 938 821 702 465 14 957 58 1 521 1017 606 268 89 586 870 169 180 368 1096 808 445 64 912 1120 660 457 991 327 1128 400 778 397 387 827 803 691 554 1 156 1093 256 596 509 933 540 33 153 922 1101 1145 627 746 314 482 883 550 331 1081 0 772 1046 773 691 388 454 1031 2 1096 1081 926 297 658 134 73 555 466 892 634 1010 218 812 1080 103 736 406 150 214 524 161 0 1021 647 800 256 352 50 373 920 552 977 883 569 381 325 471 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 595 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 275 206 712 996 134 936 255 474 449 1 803 359 693 1097 572 336 139 617 999 1005 293 444 610 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 46 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1010 674 756 19 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 554 1018 652 609 306 141 1084 990 177 747 446 47 1119 2 537 705 888 360 857 1100 923 632 119 206 812 93 1032 209 895 361 676 28 696 1114 1100 500 447 588 332 969 955 709 385 617 162 1006 933 519 353 1062 0 141 445 691 294 779 1147 894 832 653 209 11 6 438 549 589 1118 173 340 658 691 970 1016 96 281 573 939 817 754 50 450 375 116 133 15 1148 476 408 297 885 1129 267 196 435 213 558 719 617 331 775 859 1054 266 860 560 6 830 464 1132 666 1128 1024 361 954 425 28 906 73 980 769 153 233 754 475 193 5 997 401 596 665 69 202 1064 145 386 138 827 922 722 267 861 350 43.45/43.93 o 7560 43.45/43.93 v 75 1015 1114 790 2 380 281 199 69 21 175 662 557 869 448 1109 1077 541 131 940 821 702 465 14 957 58 1 521 1017 606 268 89 586 870 170 179 368 1096 808 445 64 912 1120 660 457 987 327 1128 927 778 400 387 827 803 691 554 1 156 1093 256 596 509 933 540 33 153 922 1101 1145 627 746 314 482 883 550 331 1081 0 772 1046 773 691 388 454 1031 2 1096 1081 931 297 658 134 73 555 466 892 634 1018 218 812 1080 103 736 406 150 214 524 161 0 1021 647 800 256 352 50 373 920 552 977 883 572 381 325 466 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 595 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 273 206 712 996 134 936 255 466 449 1 803 360 693 1097 572 336 139 617 999 1005 293 444 611 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 46 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1010 674 756 19 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 180 1018 652 609 306 141 1084 990 174 747 446 47 1119 2 537 705 888 360 857 1100 923 632 119 225 812 93 1032 209 895 361 676 28 696 1114 1100 500 447 588 332 969 955 709 385 617 162 1006 933 519 353 1062 0 141 445 691 294 779 1147 894 832 653 209 11 6 438 549 589 1118 173 340 658 691 970 1016 96 281 573 939 817 754 50 450 375 116 133 15 1148 476 408 297 885 1129 267 196 435 213 558 719 617 331 775 859 1054 266 860 560 6 830 464 1132 666 1128 1024 361 954 425 28 906 73 980 769 153 233 752 480 193 5 997 401 596 665 69 202 1064 145 386 138 827 922 713 267 861 350 43.64/44.17 o 7561 43.64/44.17 v 75 1015 1115 790 2 371 281 199 69 21 175 662 557 869 448 1109 1077 541 131 943 821 702 465 14 959 58 1 521 1017 615 268 89 596 870 693 176 368 1096 808 445 64 912 1120 660 457 987 327 1128 400 778 404 387 827 803 691 554 1 156 1093 256 596 509 933 540 40 153 922 1101 1145 622 746 314 575 883 550 330 1081 0 772 1046 773 691 388 454 1013 2 1096 1081 925 297 658 134 73 555 285 892 634 1020 218 812 1076 103 736 406 150 214 524 161 0 1021 647 800 256 352 50 373 920 552 977 883 569 381 325 467 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 587 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 466 206 716 996 134 936 832 476 449 1 803 330 231 1097 572 646 139 881 1008 1005 293 444 612 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 46 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1016 674 756 20 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 190 1018 652 609 306 141 1084 990 174 747 446 47 1119 2 537 705 888 360 857 1100 923 632 119 230 812 100 1032 210 895 361 676 28 697 1114 1100 500 447 588 333 969 955 713 385 617 162 1006 933 519 353 1062 0 141 445 691 294 779 1147 894 832 653 209 11 6 438 549 589 1118 173 340 658 691 970 1016 97 281 573 939 817 754 49 450 376 116 133 5 1148 476 408 297 885 1129 267 196 435 213 558 719 620 331 775 859 1054 266 860 560 6 830 460 1132 666 1128 1024 361 954 425 28 906 216 980 769 153 233 743 482 193 5 997 391 596 665 69 202 1064 145 384 138 827 923 721 267 860 350 43.64/44.19 o 7563 43.64/44.19 v 75 1015 1115 790 2 371 281 199 69 21 175 662 557 869 448 1109 1077 541 131 943 821 701 465 14 959 58 1 521 1017 615 268 89 596 870 693 176 368 1096 808 445 64 912 1120 660 457 987 327 1128 400 778 404 387 827 803 691 554 1 156 1093 256 596 509 933 540 40 153 922 1101 1145 622 746 314 575 883 550 330 1081 0 772 1046 773 691 388 454 1013 2 1096 1081 925 297 658 134 73 555 285 892 634 1020 218 812 1076 103 736 406 150 214 524 161 0 1021 647 800 256 352 50 373 920 552 977 883 569 381 325 467 680 994 451 1019 802 6 898 136 154 100 235 1094 437 659 406 763 280 875 343 13 416 660 874 234 1017 1117 554 834 458 82 587 325 148 792 194 765 867 102 656 938 694 288 578 1078 1039 400 677 983 452 237 832 739 621 2 185 126 72 466 206 716 996 134 936 214 476 449 1 802 330 231 1097 572 646 139 881 1008 1005 293 444 616 580 785 1077 1039 98 125 462 905 173 754 0 258 720 981 1112 822 540 560 447 495 1111 386 918 516 885 801 651 144 326 0 551 726 251 1031 674 756 20 14 400 785 686 954 421 632 1095 494 249 846 461 108 340 434 720 176 190 1018 652 609 306 141 1084 990 174 747 446 47 1119 2 537 705 888 360 857 1100 923 632 119 230 812 100 1032 210 895 361 676 28 697 1114 1100 500 447 588 333 969 955 713 385 617 162 1006 933 519 353 1062 0 141 445 691 294 779 1147 894 832 653 209 11 6 438 549 589 1118 173 340 658 691 970 1016 97 281 573 939 817 754 49 450 376 116 133 5 1148 476 408 297 885 1129 267 196 435 213 558 719 620 331 775 859 1054 266 860 560 6 830 460 1132 666 1128 1024 361 954 425 28 906 216 980 769 153 233 743 482 193 5 997 391 596 665 69 202 1064 145 384 138 827 923 721 267 860 350 1392.07/1405.48 o 7564 1392.07/1405.48 v 388 42 182 464 7 550 930 830 154 228 768 295 442 1078 650 820 618 1146 104 1003 193 896 557 853 1095 15 7 316 236 396 473 685 982 94 673 610 774 43 1 22 865 227 1144 1122 279 752 706 406 555 1098 173 390 4 514 424 97 954 614 835 1010 361 542 415 534 77 793 888 909 943 196 1137 513 759 30 0 653 338 603 956 398 860 1089 11 563 409 910 707 122 312 138 63 197 248 1028 456 848 658 765 981 1086 1080 339 599 696 4 740 665 921 834 780 412 24 230 1010 287 147 96 503 1036 647 1063 14 462 178 939 323 1143 838 567 554 159 1042 667 3 755 100 1 418 38 365 639 425 569 14 245 936 889 1004 736 368 542 205 75 182 819 2 314 379 1074 1116 536 696 769 669 716 410 1139 34 966 1075 107 610 130 891 1121 242 839 316 1048 783 649 305 757 961 10 1149 79 1131 471 638 550 876 217 771 19 713 444 651 1067 157 918 269 432 546 721 1040 32 1114 693 652 76 471 950 1090 787 364 229 0 539 154 15 316 406 952 1043 846 85 824 990 774 248 1078 22 550 452 1012 169 671 272 593 990 839 1131 548 0 320 1117 269 210 30 756 643 724 86 445 613 160 544 384 935 892 622 988 1132 1111 659 310 11 759 410 945 529 146 865 1077 548 286 0 87 505 1081 157 75 895 176 374 849 76 2 558 270 27 1152 279 599 463 657 1015 1073 766 460 422 618 283 157 1031 588 778 1146 1 745 909 352 975 562 863 12 519 660 75 179 1135 1016 698 541 598 475 380 419 570 1055 10 951 98 510 843 774 1050 210 889 862 294 73 447 657 371 1098 761 1072 729 1149 1133 496 312 596 182 888 986 15 229 993 942 340 1092 967 843 1085 11 818 444 220 2 1094 161 189 115 554 594 753 720 381 902 605 814 543 203 316 646 17 248 697 612 1051 198 148 80 792 454 986 1139 1450.90/1464.87 o 7565 1450.90/1464.87 v 112 251 1098 171 503 1030 311 832 601 709 1136 624 402 48 754 619 905 589 8 926 1029 288 471 107 1096 1006 237 829 13 245 540 388 902 747 521 627 159 693 1 1009 757 76 549 1132 421 241 855 403 195 632 982 31 1038 648 902 569 126 321 53 676 899 1049 959 534 599 705 392 154 562 62 1137 13 554 257 436 800 44 183 292 1116 547 917 1 622 60 799 289 986 110 735 424 1030 480 872 110 790 1001 1087 194 352 299 834 686 785 172 914 885 19 614 734 96 245 960 1074 1100 183 458 508 390 216 554 334 402 732 1074 342 21 227 640 966 126 462 909 307 853 59 1 379 526 488 277 70 699 855 914 571 29 986 772 1143 155 663 1043 49 328 270 232 947 425 518 248 186 206 942 477 370 519 31 839 1088 217 635 969 570 502 879 108 752 532 694 353 486 846 753 11 1149 856 1131 935 0 1032 424 152 570 22 306 84 691 259 976 851 392 843 916 703 823 203 163 528 583 294 4 1064 126 884 472 555 270 790 624 585 140 326 310 95 1093 636 600 244 535 620 769 22 1047 933 231 403 903 491 851 655 558 1035 49 1001 404 323 131 345 747 889 471 0 815 190 250 265 997 594 1100 109 1130 250 12 26 1032 596 35 756 309 705 221 886 852 486 143 951 0 538 733 320 626 501 388 742 816 42 954 730 4 1022 915 1152 1062 96 410 155 253 307 836 326 709 162 779 224 902 409 542 1146 1 1010 636 466 1085 1138 847 93 746 448 10 179 1135 930 316 817 656 483 1042 1080 461 112 954 845 10 518 217 752 662 551 382 461 1072 162 3 985 14 125 555 834 466 1149 535 921 680 756 347 53 986 1123 272 349 528 553 662 852 959 11 1068 399 409 738 2 142 709 500 895 787 46 246 198 757 557 1 9 638 171 415 244 838 990 311 496 87 542 356 687 900 1051 409 1139 2695.03/2720.81 o 7566 2695.03/2720.81 v 592 829 85 3 728 889 649 256 1140 1069 354 169 394 523 959 580 1052 339 128 745 897 556 1054 322 821 1150 168 987 85 735 474 383 196 880 176 25 647 1099 1143 965 743 210 478 1101 827 1019 164 1130 305 502 921 980 23 450 584 521 106 372 274 673 966 28 206 882 541 758 11 653 687 309 988 939 1 890 733 437 177 1102 66 1032 724 1087 755 321 590 648 67 416 832 837 507 1032 213 542 128 269 926 427 18 952 64 910 210 165 30 868 0 798 308 1024 555 438 958 159 636 1132 1084 701 261 499 7 1006 352 1011 583 97 1111 20 687 351 771 282 206 1150 923 458 1132 660 521 139 286 350 17 646 1020 516 1147 1101 90 795 807 982 181 928 453 11 608 942 1055 769 395 1096 1021 941 489 607 1139 518 1045 985 593 119 174 791 286 857 752 10 911 331 317 762 9 538 2 1150 1020 393 18 407 110 934 673 633 1069 198 475 865 253 417 600 794 1148 691 876 1108 896 932 486 645 205 88 1012 1135 293 12 405 182 537 951 1136 686 779 428 205 451 87 590 175 516 568 247 364 322 0 1011 842 1037 606 908 401 759 486 519 642 700 1018 1105 1031 3 854 325 264 64 959 679 600 691 134 205 63 1111 419 896 1146 96 590 946 188 499 848 812 285 379 12 1004 905 0 687 782 1055 4 201 590 356 198 298 467 285 425 483 1117 587 888 999 107 788 938 462 710 593 992 300 1040 886 97 1121 717 1146 1096 430 653 214 112 1029 341 22 380 507 799 548 1109 565 0 176 602 318 1132 109 905 954 239 469 800 205 935 1046 795 362 718 20 918 88 1004 426 896 1012 226 511 528 990 491 819 627 1051 806 701 349 40 1101 833 891 94 419 1 640 728 431 379 1033 44 560 1121 19 392 966 338 188 756 285 720 809 1132 958 651 399 474 913 124 743 27 665 186 358 1037 290 493 269 581 0 2696.91/2722.73 o 7567 2696.91/2722.73 v 592 829 85 3 322 889 649 256 1140 1069 354 169 378 517 961 580 1052 339 128 745 899 556 1054 315 808 1150 168 985 87 730 474 7 210 872 622 374 633 0 1143 965 743 210 478 1101 827 1019 164 1130 305 502 921 351 23 448 584 521 106 361 274 673 966 28 206 882 541 758 11 653 687 309 988 939 1 890 418 442 177 1102 66 1032 724 1083 755 321 590 648 67 416 829 840 507 1023 211 542 128 269 926 427 18 952 368 910 210 165 30 868 0 798 308 1024 555 438 958 159 636 1132 1084 701 45 680 185 1006 361 806 584 97 1111 8 689 1015 484 282 732 1150 924 423 1132 660 302 129 286 350 17 660 1020 528 1147 1101 90 795 807 982 181 928 453 11 587 942 1055 769 395 1096 1021 941 489 607 1139 517 1045 985 593 119 184 791 286 857 727 10 911 336 317 762 9 538 2 1150 1020 999 18 407 99 925 662 648 1069 202 475 858 253 417 600 794 1148 955 876 1108 896 932 57 512 693 88 212 1135 295 649 405 182 22 432 1136 686 779 428 205 451 87 590 175 958 568 247 371 322 0 1011 842 1037 606 908 401 764 486 517 642 700 1018 1105 1031 204 854 325 264 65 959 679 600 691 130 17 63 1111 417 896 1146 96 580 946 188 479 848 812 285 379 12 1017 905 0 687 782 1052 8 601 585 348 200 298 471 285 425 467 1117 1046 888 999 107 774 938 462 692 593 992 300 1040 884 108 1121 717 1146 1096 430 653 214 97 1029 341 14 270 507 799 1027 1109 537 694 176 584 318 1132 96 905 401 239 469 1 205 936 1046 797 789 621 20 918 102 1004 426 896 1012 790 511 528 990 491 273 627 1051 700 203 343 40 565 841 891 94 419 1 579 728 431 379 1033 44 560 1121 19 392 966 338 188 756 285 192 824 1132 960 406 33 479 913 124 804 24 649 187 1149 354 290 703 1048 587 0
OK 33 7567 33 unsatisfied constraints, 7567 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-1111527-1215848107/watcher-1111527-1215848107 -o /tmp/evaluation-result-1111527-1215848107/solver-1111527-1215848107 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1111527-1215848107.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.00 2.00 2.00 4/81 15332 /proc/meminfo: memFree=1674200/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 1 0 41514246 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 206381482066 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0 /proc/15332/statm: 1339 230 191 169 0 50 0 [pid=15333] ppid=15332 vsize=124 CPUtime=0 /proc/15333/stat : 15333 (dirname) R 15332 15332 13348 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 41514247 126976 22 996147200 4194304 4208292 548682069008 18446744073709551615 206378694025 0 0 4096 0 0 0 0 17 1 0 0 /proc/15333/statm: 31 22 16 3 0 3 0 [startup+0.0748139 s] /proc/loadavg: 2.00 2.00 2.00 4/81 15332 /proc/meminfo: memFree=1674200/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.10182 s] /proc/loadavg: 2.00 2.00 2.00 4/81 15332 /proc/meminfo: memFree=1674200/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.301855 s] /proc/loadavg: 2.00 2.00 2.00 4/81 15332 /proc/meminfo: memFree=1674200/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.701928 s] /proc/loadavg: 2.00 2.00 2.00 4/81 15332 /proc/meminfo: memFree=1674200/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+1.50207 s] /proc/loadavg: 2.00 2.00 2.00 3/91 15343 /proc/meminfo: memFree=1662408/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=844272 CPUtime=1.46 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 5709 0 1 0 141 5 0 0 18 0 9 0 41514247 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 211068 4982 1900 9 0 205629 0 [pid=15335/tid=15336] ppid=15332 vsize=844272 CPUtime=1.21 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 3450 0 1 0 119 2 0 0 25 0 9 0 41514248 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4125926619 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=844272 CPUtime=0.1 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 1025 0 0 0 9 1 0 0 16 0 9 0 41514249 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 41514250 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=844272 CPUtime=0.12 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 503 0 0 0 12 0 0 0 16 0 9 0 41514252 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 864534528 4982 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 849628 [startup+3.10137 s] /proc/loadavg: 2.08 2.02 2.01 3/91 15343 /proc/meminfo: memFree=1659336/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=844272 CPUtime=3.05 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 7469 0 1 0 298 7 0 0 18 0 9 0 41514247 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 211068 6386 2574 9 0 205629 0 [pid=15335/tid=15336] ppid=15332 vsize=844272 CPUtime=2.61 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 3619 0 1 0 258 3 0 0 25 0 9 0 41514248 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=844272 CPUtime=0.28 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 2616 0 0 0 26 2 0 0 16 0 9 0 41514249 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41514250 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=844272 CPUtime=0.12 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 503 0 0 0 12 0 0 0 16 0 9 0 41514252 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 864534528 6386 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 849628 [startup+6.30296 s] /proc/loadavg: 2.08 2.02 2.01 3/91 15343 /proc/meminfo: memFree=1656200/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=844272 CPUtime=6.22 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 8404 0 1 0 612 10 0 0 18 0 9 0 41514247 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 211068 7028 2574 9 0 205629 0 [pid=15335/tid=15336] ppid=15332 vsize=844272 CPUtime=5.51 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 3912 0 1 0 547 4 0 0 25 0 9 0 41514248 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4125922538 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=844272 CPUtime=0.56 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 3258 0 0 0 52 4 0 0 16 0 9 0 41514249 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41514250 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=844272 CPUtime=0.12 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 503 0 0 0 12 0 0 0 16 0 9 0 41514252 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=844272 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 864534528 7028 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 849628 [startup+12.7011 s] /proc/loadavg: 2.22 2.05 2.02 5/92 15344 /proc/meminfo: memFree=1594560/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850980 CPUtime=12.56 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 26997 0 1 0 1233 23 0 0 18 0 10 0 41514247 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212745 22788 2576 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850980 CPUtime=10.03 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 5122 0 1 0 998 5 0 0 25 0 10 0 41514248 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4125673063 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850980 CPUtime=1.96 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 18915 0 0 0 182 14 0 0 16 0 10 0 41514249 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850980 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 41514250 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850980 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 41514250 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850980 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 41514252 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850980 CPUtime=0.53 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2224 0 0 0 51 2 0 0 16 0 10 0 41514252 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850980 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 41514252 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850980 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 41514252 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15344] ppid=15332 vsize=850980 CPUtime=0 /proc/15335/task/15344/stat : 15344 (java) S 15332 15332 13348 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 41515243 871403520 22788 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 856336 [startup+25.5025 s] /proc/loadavg: 2.19 2.05 2.01 3/91 15344 /proc/meminfo: memFree=1432128/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850984 CPUtime=25.23 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 67022 0 1 0 2482 41 0 0 18 0 9 0 41514247 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212746 62765 2580 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850984 CPUtime=20.96 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 7268 0 1 0 2089 7 0 0 25 0 9 0 41514248 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4127316000 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850984 CPUtime=3.61 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 56729 0 0 0 331 30 0 0 16 0 9 0 41514249 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850984 CPUtime=0.63 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2287 0 0 0 61 2 0 0 15 0 9 0 41514252 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62765 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 856340 ################ # More data... # ################ /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2294 0 0 0 62 2 0 0 16 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3370.07 Current children cumulated vsize (KiB) 856340 [startup+3462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 15393 /proc/meminfo: memFree=1542336/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850984 CPUtime=3429.5 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 67032 0 1 0 342903 47 0 0 18 0 9 0 41514247 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212746 62771 2580 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850984 CPUtime=3425.22 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 7271 0 1 0 342508 14 0 0 25 0 9 0 41514248 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127331856 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850984 CPUtime=3.61 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 56729 0 0 0 331 30 0 0 16 0 9 0 41514249 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850984 CPUtime=0.64 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2294 0 0 0 62 2 0 0 16 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3429.5 Current children cumulated vsize (KiB) 856340 [startup+3522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 15393 /proc/meminfo: memFree=1542336/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850984 CPUtime=3488.93 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 67032 0 1 0 348846 47 0 0 18 0 9 0 41514247 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212746 62771 2580 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850984 CPUtime=3484.65 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 7271 0 1 0 348451 14 0 0 25 0 9 0 41514248 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127365227 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850984 CPUtime=3.61 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 56729 0 0 0 331 30 0 0 16 0 9 0 41514249 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850984 CPUtime=0.64 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2294 0 0 0 62 2 0 0 16 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3488.93 Current children cumulated vsize (KiB) 856340 [startup+3582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 15393 /proc/meminfo: memFree=1542208/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850984 CPUtime=3548.37 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 67032 0 1 0 354789 48 0 0 18 0 9 0 41514247 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212746 62771 2580 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850984 CPUtime=3544.08 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 7271 0 1 0 354394 14 0 0 25 0 9 0 41514248 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127305768 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850984 CPUtime=3.61 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 56729 0 0 0 331 30 0 0 16 0 9 0 41514249 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850984 CPUtime=0.64 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2294 0 0 0 62 2 0 0 16 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3548.37 Current children cumulated vsize (KiB) 856340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3634.5 s] /proc/loadavg: 2.00 2.00 2.00 3/91 15393 /proc/meminfo: memFree=1542208/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850984 CPUtime=3600.07 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 67032 0 1 0 359959 48 0 0 18 0 9 0 41514247 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212746 62771 2580 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850984 CPUtime=3595.78 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 7271 0 1 0 359564 14 0 0 25 0 9 0 41514248 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127305837 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850984 CPUtime=3.61 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 56729 0 0 0 331 30 0 0 16 0 9 0 41514249 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850984 CPUtime=0.64 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2294 0 0 0 62 2 0 0 16 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3600.07 Current children cumulated vsize (KiB) 856340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+3634.5 s] /proc/loadavg: 2.00 2.00 2.00 3/91 15393 /proc/meminfo: memFree=1542208/2055920 swapFree=4181172/4192956 [pid=15332] ppid=15330 vsize=5356 CPUtime=0 /proc/15332/stat : 15332 (concrete.sh) S 15330 15332 13348 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41514246 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15332/statm: 1339 242 201 169 0 50 0 [pid=15335] ppid=15332 vsize=850984 CPUtime=3600.07 /proc/15335/stat : 15335 (java) S 15332 15332 13348 0 -1 0 67032 0 1 0 359959 48 0 0 18 0 9 0 41514247 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/15335/statm: 212746 62771 2580 9 0 207306 0 [pid=15335/tid=15336] ppid=15332 vsize=850984 CPUtime=3595.78 /proc/15335/task/15336/stat : 15336 (java) R 15332 15332 13348 0 -1 64 7271 0 1 0 359564 14 0 0 25 0 9 0 41514248 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127305837 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15337] ppid=15332 vsize=850984 CPUtime=3.61 /proc/15335/task/15337/stat : 15337 (java) S 15332 15332 13348 0 -1 64 56729 0 0 0 331 30 0 0 16 0 9 0 41514249 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15338] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15338/stat : 15338 (java) S 15332 15332 13348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15339] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15339/stat : 15339 (java) S 15332 15332 13348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41514250 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15340] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15340/stat : 15340 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15341] ppid=15332 vsize=850984 CPUtime=0.64 /proc/15335/task/15341/stat : 15341 (java) S 15332 15332 13348 0 -1 64 2294 0 0 0 62 2 0 0 16 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15342] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15342/stat : 15342 (java) S 15332 15332 13348 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=15335/tid=15343] ppid=15332 vsize=850984 CPUtime=0 /proc/15335/task/15343/stat : 15343 (java) S 15332 15332 13348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 41514252 871407616 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3600.07 Current children cumulated vsize (KiB) 856340 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15332 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.004998 # while last known CPU time is 3600.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 3634.52 CPU time (s): 3600.07 CPU user time (s): 3599.59 CPU system time (s): 0.48 CPU usage (%): 99.0522 Max. virtual memory (cumulated for all children) (KiB): 856660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.002999 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= 5 runsolver used 4.69329 second user time and 11.8762 second system time The end
Begin job on node2 at 2008-07-12 09:35:08 IDJOB=1111527 IDBENCH=61288 IDSOLVER=335 FILE ID=node2/1111527-1215848107 PBS_JOBID= 7903355 Free space on /tmp= 66508 MiB SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30 BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-0.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-1111527-1215848107/watcher-1111527-1215848107 -o /tmp/evaluation-result-1111527-1215848107/solver-1111527-1215848107 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1111527-1215848107.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 0d7f52239cc079a8b40c34e4f80db59c RANDOM SEED=1880005549 node2.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.261 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 : 5931.00 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.261 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: 1674680 kB Buffers: 45104 kB Cached: 92984 kB SwapCached: 6004 kB Active: 246344 kB Inactive: 73708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1674680 kB SwapTotal: 4192956 kB SwapFree: 4181172 kB Dirty: 1836 kB Writeback: 0 kB Mapped: 197588 kB Slab: 45868 kB Committed_AS: 487168 kB PageTables: 2352 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66508 MiB End job on node2 at 2008-07-12 10:35:44