Trace number 1111528

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - Tabu Engine 2008-05-30MSAT (TO)26 3600.02 3621.62

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-0.xml
MD5SUM0d7f52239cc079a8b40c34e4f80db59c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints26
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1154
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

15.62/15.82	c CPU-LOAD 11.71
15.62/15.82	c LOADED 400 V (1154 E), 7600 DTPConstraint, arity 2, 11.71 cpu
21.46/21.79	s SATISFIABLE
21.46/21.79	o 7496
21.46/21.79	v 351 279 919 155 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 666 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 978 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 564 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 67 189 1041 642 126 20 353 858 542 936 108 449 854 809 279 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.81	o 7497
21.56/21.81	v 351 279 919 155 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 666 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 978 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 564 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 67 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.81	o 7498
21.56/21.81	v 351 279 919 155 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 666 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 564 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 67 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.82	o 7499
21.56/21.82	v 351 279 919 155 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 564 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 67 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.83	o 7500
21.56/21.83	v 351 279 919 155 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 1053 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 67 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.84	o 7501
21.56/21.84	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 1053 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 67 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.85	o 7502
21.56/21.85	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 1053 968 392 1084 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.85	o 7503
21.56/21.85	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 109 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.86	o 7504
21.56/21.86	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 683 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.86	o 7505
21.56/21.86	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1041 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.87	o 7506
21.56/21.87	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 627 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.88	o 7507
21.56/21.88	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 511 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.88	o 7508
21.56/21.88	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 50 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.89	o 7509
21.56/21.89	v 351 279 919 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.56/21.90	o 7510
21.56/21.90	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 838 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.91	o 7511
21.65/21.91	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 285 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.91	o 7512
21.65/21.91	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 845 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.92	o 7513
21.65/21.92	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1033 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.93	o 7514
21.65/21.93	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 13 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.93	o 7515
21.65/21.93	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 257 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.94	o 7516
21.65/21.94	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 1090 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.95	o 7517
21.65/21.95	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 231 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 249 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.95	o 7518
21.65/21.95	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 61 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 249 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.65/21.96	o 7519
21.65/21.96	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 394 457 1101 150 558 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 352 776 557 674 980 636 144 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 94 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 94 1053 968 392 880 234 685 462 998 187 320 1110 78 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 799 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 20 639 308 929 760 143 168 1026 249 551 406 1057 471 815 458 294 1055 657 188 1044 2 777 1001 609 901 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 706 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.75/22.03	o 7520
21.75/22.03	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 397 457 1101 150 545 544 640 163 815 951 281 248 85 7 641 1084 786 888 1076 1147 758 794 508 686 326 0 776 557 674 980 636 220 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 43 639 308 929 760 143 168 1026 249 551 406 1057 471 815 458 294 1055 657 188 1044 2 803 1001 609 904 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 860 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.75/22.03	o 7521
21.75/22.03	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 397 457 1101 150 545 544 640 163 815 951 281 248 85 7 354 1084 786 888 1076 1147 758 794 508 686 326 0 776 557 674 980 636 220 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 43 639 308 929 760 143 168 1026 249 551 406 1057 471 815 458 294 1055 657 188 1044 2 803 1001 609 904 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 860 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.75/22.04	o 7522
21.75/22.04	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 397 457 1101 150 545 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 508 686 326 0 776 557 674 980 636 220 441 73 171 44 368 459 420 10 175 513 228 1117 722 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 539 43 639 308 929 760 143 168 1026 249 551 406 1057 471 815 458 294 1055 657 188 1044 2 803 1001 609 904 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 860 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.75/22.07	o 7523
21.75/22.07	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 585 1105 865 725 397 457 1101 150 479 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 220 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 886 811 232 518 928 84 872 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 648 278 548 792 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 540 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 803 1001 609 904 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 353 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 998 35 555 335 965 768 1057 263 1130 748 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.84/22.12	o 7524
21.84/22.12	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1105 865 725 397 446 1101 150 479 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 198 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 886 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 540 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 761 1001 609 904 569 429 379 98 768 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 366 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 998 35 555 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.84/22.13	o 7525
21.84/22.13	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1105 865 725 397 446 1101 150 479 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 198 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 540 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 761 1001 609 904 569 429 379 98 820 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 366 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 998 35 555 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 869 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.84/22.14	o 7526
21.84/22.14	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1105 865 725 397 446 1101 150 479 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 198 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 445 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 587 158 455 1022 16 519 822 1067 1000 329 188 776 106 949 940 343 783 2 470 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 540 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 761 1001 609 904 569 429 379 98 820 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 366 858 542 936 108 449 854 809 489 213 1111 406 960 665 699 998 35 555 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.84/22.18	o 7527
21.84/22.18	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1105 865 725 397 446 1101 150 479 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 198 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 497 268 1129 867 970 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 940 343 791 2 413 163 1086 409 539 47 613 135 706 874 1136 1034 29 191 363 894 436 700 836 5 540 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 761 1001 609 904 569 429 379 94 820 652 522 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 405 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 547 146 965 265 186 942 531 451 621 863 265 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.94/22.23	o 7528
21.94/22.23	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1109 865 725 397 1018 1101 150 479 544 640 163 815 951 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 198 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 970 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 940 343 791 2 413 163 1086 409 539 47 613 135 250 874 1136 1034 29 191 363 894 436 700 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 761 1001 609 904 569 429 379 94 820 652 535 1026 102 653 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 959 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 395 1091 189 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 547 146 965 265 186 942 531 451 621 863 726 121 385 625 721 1069 957 812 319 16 964 1091 8 
21.94/22.28	o 7529
21.94/22.28	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1109 902 725 397 1018 1101 150 479 544 640 163 815 437 267 248 85 7 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 198 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 36 1078 550 464 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 970 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 940 343 791 2 418 163 1086 707 539 47 613 135 250 874 1136 1034 29 191 363 894 436 700 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 471 815 458 294 1055 657 188 1044 2 761 1001 609 904 569 429 379 94 820 662 535 1026 102 652 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 959 265 689 9 529 785 935 958 1072 737 550 1000 835 287 810 483 473 1091 191 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 547 146 965 265 186 942 531 451 621 863 726 121 385 625 721 1069 957 812 319 16 964 1091 8 
22.04/22.34	o 7530
22.04/22.34	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1109 902 725 397 1018 1101 150 479 544 640 163 815 437 267 248 85 8 354 1084 786 888 1076 1147 758 794 522 686 326 0 776 557 674 980 636 203 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 38 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 995 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 940 343 791 2 418 163 1086 707 539 47 613 135 250 874 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 1069 815 458 294 456 657 188 1044 2 761 1001 609 904 569 429 379 94 820 662 535 1026 102 652 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 954 265 689 9 506 785 935 958 1072 737 550 1000 835 287 810 483 473 391 191 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 547 146 965 265 186 942 531 451 621 863 726 121 385 625 721 1069 957 812 319 16 964 1091 8 
22.04/22.38	o 7531
22.04/22.38	v 351 279 150 195 520 738 56 964 12 439 679 540 809 815 425 1047 129 39 1114 580 1109 902 725 397 1018 1101 150 479 544 640 163 815 437 267 248 85 8 354 1084 786 888 1076 1147 758 794 976 686 326 0 776 557 674 980 636 209 441 73 171 44 368 459 420 671 175 513 228 1117 979 773 811 324 613 142 191 787 1019 479 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 874 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 38 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 992 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 940 343 791 2 418 163 1086 707 539 47 613 135 250 874 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 1069 815 454 294 456 657 188 1044 2 761 1001 609 904 569 429 379 94 820 662 535 1026 102 652 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 406 265 689 9 506 785 935 958 1072 737 550 1000 835 287 810 483 473 391 191 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 547 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 957 812 290 16 964 1091 8 
22.15/22.45	o 7532
22.15/22.45	v 351 279 150 195 520 738 56 982 12 439 679 540 809 815 425 1047 129 39 1114 580 1109 902 725 397 1018 1101 150 479 544 640 163 809 437 267 248 85 8 354 1084 786 888 1076 1147 758 794 976 686 326 0 776 557 674 980 636 229 441 73 171 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 168 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 38 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 992 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 926 343 791 2 418 163 1086 703 539 47 613 135 250 874 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 1069 815 454 294 456 657 188 1044 2 761 1001 609 904 569 429 379 94 820 662 535 1026 102 652 616 31 117 174 508 756 954 328 851 1063 864 450 349 803 406 265 716 9 506 785 935 958 1072 737 550 1000 835 287 810 483 473 391 191 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 548 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 957 812 290 16 964 1091 8 
22.15/22.48	o 7533
22.15/22.48	v 351 279 150 195 520 738 56 982 12 439 679 540 809 815 425 1047 129 39 1114 580 1109 902 725 397 991 1101 150 479 544 640 163 809 437 267 248 85 8 354 1084 786 888 1076 1147 758 794 976 686 326 0 776 557 674 980 636 229 441 73 171 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 906 811 232 518 928 84 168 688 1071 145 798 344 704 219 393 0 135 1109 305 472 589 407 1007 484 1019 11 577 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 621 193 383 11 688 776 314 324 941 27 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 470 884 869 992 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1067 1000 329 188 776 584 694 926 343 791 2 418 163 1086 703 539 47 613 135 250 874 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 1069 815 454 294 456 657 188 1044 2 761 1001 609 904 569 429 379 94 820 662 535 1026 102 652 616 31 117 174 505 756 954 328 851 1083 864 450 349 803 1037 265 898 9 506 785 935 958 1072 737 550 1000 835 287 810 483 473 391 191 1041 642 126 20 366 858 542 936 90 449 854 809 489 213 1111 406 960 665 699 998 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 548 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 957 812 312 16 964 1091 8 
22.35/22.61	o 7534
22.35/22.61	v 351 283 150 195 520 738 56 982 12 439 679 540 818 815 425 1047 129 39 1114 580 1109 902 725 397 991 1101 150 479 544 640 163 811 437 267 255 85 8 354 1084 786 890 1076 1147 758 794 976 686 326 0 776 557 674 980 636 229 441 73 171 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 969 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 11 572 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 73 229 461 193 383 11 688 776 314 324 941 27 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 466 884 869 992 978 641 720 27 1077 981 196 448 324 97 338 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 694 926 343 791 2 418 163 1086 481 539 47 613 135 250 874 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 473 815 454 294 456 657 188 1044 2 761 1001 609 904 566 429 379 94 820 655 281 1026 102 652 616 403 117 174 505 756 954 328 851 1083 864 450 349 803 1037 265 894 9 506 785 935 958 1072 737 550 1000 835 287 810 483 473 391 191 1041 642 126 20 366 858 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 548 335 965 768 1057 263 1130 734 909 849 459 712 57 1112 403 613 1043 994 921 218 246 331 548 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 957 812 312 16 964 1091 8 
22.35/22.67	o 7535
22.35/22.67	v 349 283 150 195 520 738 56 982 12 439 679 540 818 815 425 1047 129 39 1114 580 353 902 725 397 991 1101 150 479 544 640 163 811 437 267 255 85 8 354 1084 786 890 1076 1147 758 794 976 686 326 0 776 557 674 980 636 229 441 73 163 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 988 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 11 572 2 210 862 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 62 229 461 193 383 11 688 776 314 324 941 27 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 466 884 869 992 978 641 720 27 1077 981 196 448 324 97 339 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 694 926 343 791 2 418 163 1086 481 539 47 613 135 250 874 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 473 815 466 294 456 657 188 1044 2 761 1001 609 904 566 429 379 94 820 655 281 1026 102 652 616 403 117 174 505 756 954 328 851 1083 864 450 349 803 1037 265 894 9 506 785 935 958 1072 737 550 1000 835 287 810 482 473 391 191 1041 642 126 15 366 858 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 562 335 965 768 1057 263 1130 734 909 849 500 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 957 812 312 16 964 1091 8 
22.35/22.68	o 7536
22.35/22.68	v 349 283 150 195 520 738 56 982 12 439 679 540 818 815 425 1047 129 39 1114 580 353 902 725 397 991 1101 150 479 544 640 163 811 437 267 255 85 8 354 1084 786 890 1076 1147 758 794 976 686 326 0 776 557 674 980 636 229 441 73 163 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 988 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 5 572 2 210 838 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 62 229 461 193 383 11 688 776 314 324 941 27 1078 550 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 466 884 869 992 978 641 720 27 1077 981 196 448 324 97 339 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 694 926 343 791 2 418 163 1086 481 539 47 613 135 250 867 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 168 1026 249 563 406 1057 473 815 466 294 456 657 188 1044 2 761 1001 609 904 566 429 379 94 820 655 281 1026 102 652 616 403 117 174 505 756 954 328 851 1083 864 450 349 803 1037 265 894 9 506 785 935 958 1072 737 550 1000 835 287 810 482 473 391 191 1041 642 126 15 366 858 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 562 335 965 768 1057 263 1130 734 909 849 500 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 957 812 312 16 964 1091 8 
22.44/22.76	o 7537
22.44/22.76	v 349 283 150 195 520 738 56 982 12 439 679 540 818 815 425 1047 129 39 1114 580 353 902 725 397 991 1101 150 823 538 640 163 890 437 267 255 85 8 354 1084 786 890 1076 1147 758 794 976 686 326 0 776 557 674 980 636 177 441 73 163 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 616 533 860 1029 1079 681 591 354 300 160 68 444 771 985 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 5 572 2 210 838 895 758 82 1053 968 392 880 234 685 462 998 187 320 1110 62 229 461 193 383 11 688 776 314 324 941 27 1078 528 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 29 1002 83 524 254 824 1058 612 103 897 1081 681 466 884 869 992 978 641 720 27 1076 981 196 448 324 97 339 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 701 926 343 791 2 418 163 1086 481 539 47 613 135 250 867 1136 1034 29 191 363 894 436 697 836 5 545 43 639 308 929 760 143 1081 1026 249 563 406 1057 473 815 2 294 456 657 188 1044 2 761 1001 609 904 566 429 379 94 820 655 922 1026 102 652 616 403 117 174 505 756 954 328 851 1083 864 450 349 803 1037 265 894 9 518 785 935 958 1072 737 550 1000 835 287 810 482 473 391 191 1041 642 126 15 366 858 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 562 335 965 768 1057 263 1130 734 909 849 500 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 451 621 863 726 121 385 594 693 1069 1053 812 312 16 964 1091 8 
22.75/23.05	o 7538
22.75/23.05	v 345 283 150 192 520 729 56 977 12 439 679 540 818 815 410 1047 129 39 1114 580 353 896 725 397 991 1101 150 823 538 640 163 909 437 267 246 85 1 1108 1084 786 890 274 1147 758 794 530 686 326 0 776 1090 674 980 636 194 441 73 163 44 368 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 1029 1079 681 591 354 300 160 71 444 771 985 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 5 569 73 210 838 895 758 76 1053 968 392 880 234 685 462 998 187 320 1110 31 229 468 193 383 11 688 776 314 324 941 27 1078 533 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 897 1081 714 466 884 869 992 978 641 720 27 1076 981 196 448 324 97 339 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 606 498 889 336 571 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 701 926 343 803 2 418 163 1086 481 538 47 613 135 250 867 1136 1034 29 191 363 894 436 700 836 5 545 43 639 308 929 760 143 165 1026 249 563 406 1057 462 815 10 294 456 657 188 1044 6 761 1001 609 906 566 429 379 85 816 657 1099 1026 109 652 616 403 117 174 505 756 954 328 851 1083 869 450 349 803 1037 265 894 9 530 785 935 958 1072 737 550 1000 835 287 810 482 473 391 195 1041 642 126 15 366 866 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 562 335 965 768 1057 263 1130 734 909 849 510 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 451 621 863 726 121 385 603 693 1069 1053 812 312 16 964 1091 8 
22.94/23.21	o 7539
22.94/23.21	v 928 283 150 192 520 742 56 977 12 439 679 540 818 815 410 1047 129 39 1114 580 353 896 725 397 991 1101 150 823 505 640 163 909 437 267 247 85 1 350 1084 786 890 274 1147 758 794 530 686 326 0 776 1090 674 980 636 194 441 73 163 44 363 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 1029 1079 681 591 354 300 160 71 444 771 985 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 5 569 112 1024 838 897 758 76 1053 968 392 880 234 685 462 998 187 320 1110 73 229 465 193 383 11 688 777 314 324 941 27 1078 540 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 897 1081 714 466 883 869 992 978 641 720 27 1076 981 196 448 324 97 341 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 600 498 889 336 571 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 701 926 343 803 2 418 163 1086 481 538 47 613 135 250 867 1136 1034 29 191 363 894 436 700 836 5 541 43 639 308 929 760 143 1075 1026 249 563 406 1057 186 815 22 294 456 657 188 1057 6 761 1001 609 906 566 429 379 85 816 657 1089 1026 109 652 616 403 117 174 505 756 954 328 851 1083 871 450 349 803 1037 265 894 9 658 785 935 958 1072 737 550 1000 835 287 810 482 473 391 195 1041 642 126 15 366 866 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 562 335 965 768 1057 263 1130 734 909 849 510 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 451 621 863 726 121 385 603 693 1069 1053 812 312 16 964 1091 8 
23.04/23.31	o 7540
23.04/23.31	v 928 706 150 192 520 290 56 977 12 439 679 540 818 815 410 1047 129 39 1114 580 353 896 725 397 991 1101 150 823 505 640 163 909 437 267 247 85 1 350 1084 786 890 274 1147 758 794 530 686 326 0 776 1090 674 980 636 194 441 73 163 44 359 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 71 444 771 985 202 31 910 811 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 5 569 112 1024 838 897 758 65 1053 968 392 880 234 685 462 998 187 320 1110 46 229 465 193 383 11 688 777 314 324 941 27 1078 540 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 877 1081 714 466 883 869 992 978 641 720 27 1076 981 196 448 324 97 341 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 600 502 889 336 571 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 701 926 343 803 2 418 163 1086 193 538 47 613 135 250 867 1136 1034 29 191 363 894 436 700 836 5 544 43 639 308 929 760 143 1075 1026 249 563 406 1057 186 815 22 294 456 657 188 1057 6 761 1001 609 906 566 429 379 96 816 657 1089 1026 109 652 616 403 117 174 505 756 954 328 851 1083 871 450 349 803 1037 265 290 9 658 785 935 958 1072 737 548 1000 835 287 810 482 473 391 195 1041 642 126 15 366 866 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 575 335 965 768 1057 263 1130 734 909 849 510 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 451 621 863 726 121 385 603 693 417 1053 812 312 16 964 1091 8 
23.14/23.40	o 7541
23.14/23.40	v 928 706 150 192 520 303 56 977 12 439 679 540 818 815 410 1047 129 39 1114 580 353 896 725 397 991 1101 150 823 505 640 163 909 437 267 247 85 1 674 1084 786 890 277 1147 758 794 530 686 326 0 776 1090 674 980 636 194 441 73 163 44 359 459 420 665 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 71 444 771 985 202 31 910 812 232 518 928 84 167 688 1071 145 798 344 704 219 863 0 135 1109 305 472 589 407 1007 484 1019 5 569 112 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 41 612 465 193 383 11 688 777 314 324 941 28 1078 540 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 877 1081 714 466 883 869 992 978 641 720 27 1076 981 196 448 324 97 341 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 600 502 889 336 571 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 519 822 1071 1000 329 188 776 586 701 926 343 803 2 418 163 1086 193 538 47 613 135 250 867 1136 1034 29 191 363 894 436 484 836 5 544 43 639 308 929 760 143 1075 1026 249 563 406 1057 186 815 19 294 456 657 188 1057 6 761 1001 609 903 566 429 379 96 816 662 1089 1026 105 652 616 403 117 174 505 756 954 328 851 1083 871 885 349 803 1037 265 290 9 658 785 935 958 1072 737 548 1000 835 287 810 482 473 391 195 1041 642 126 15 347 866 542 936 90 449 854 809 489 195 1111 406 960 665 699 994 35 575 335 965 768 1057 263 1130 734 909 849 510 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 549 621 863 726 121 360 603 693 417 1053 812 296 16 964 1091 8 
23.44/23.73	o 7542
23.44/23.73	v 928 706 150 192 520 296 55 977 12 439 679 542 821 812 410 1047 129 39 1114 301 353 899 725 397 991 1101 150 823 552 640 163 897 437 261 247 85 1 1106 1084 786 890 277 1147 758 794 530 686 326 0 776 1090 674 980 648 194 441 73 163 44 359 459 420 634 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 106 444 771 985 202 31 910 813 232 518 928 84 479 688 1071 145 798 344 704 219 872 0 135 1109 305 469 589 407 1007 484 1019 5 574 112 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 95 238 448 193 383 11 688 776 314 324 941 40 1078 599 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 878 1081 714 466 883 869 992 978 641 720 27 1076 981 196 448 324 97 341 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 901 336 581 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 803 2 418 163 1086 193 531 47 613 135 250 867 1136 1034 29 191 363 894 436 466 836 5 544 43 639 308 929 760 143 1075 1026 249 563 406 1057 186 815 10 294 456 657 188 462 6 761 1001 609 903 566 429 379 96 816 662 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 891 9 36 785 935 958 1072 737 548 1000 835 287 810 482 473 391 195 1041 645 126 18 347 866 542 936 82 449 854 809 1029 216 1111 406 960 665 699 968 35 575 335 327 768 1057 263 1130 734 909 849 510 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 621 863 726 121 360 603 693 417 1053 812 1086 16 964 1091 8 
23.53/23.88	o 7543
23.53/23.88	v 928 706 150 195 520 50 55 977 12 439 679 542 821 812 410 1047 129 39 1114 301 353 899 725 397 996 1101 150 823 552 640 163 466 437 261 247 85 1 1108 1084 786 890 277 1147 758 794 530 686 326 0 776 1090 674 980 648 194 441 73 163 44 359 459 420 634 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 92 444 771 985 202 31 910 813 232 518 928 84 479 688 1071 145 798 344 704 219 872 0 135 1109 305 469 589 407 1007 484 1019 5 574 112 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 452 240 611 193 383 11 688 776 314 324 941 40 1078 534 982 732 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 878 1081 714 466 883 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 901 336 581 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 785 2 418 163 1086 193 531 47 613 135 250 867 1136 1034 29 191 363 894 436 698 836 5 544 43 639 308 929 760 143 1075 1026 249 561 406 1057 186 815 10 294 456 657 188 462 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 14 36 785 935 958 1072 737 548 1000 835 287 810 482 473 391 195 1041 645 126 32 347 866 542 936 82 449 854 809 1029 203 1111 406 960 665 699 968 35 575 335 250 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 621 862 726 121 360 603 693 417 1053 838 1086 16 964 1091 8 
23.63/23.93	o 7544
23.63/23.93	v 928 706 771 195 520 50 55 977 12 439 679 542 821 812 410 1047 129 39 1114 301 353 899 725 397 996 1101 150 823 552 640 163 466 437 261 247 85 1 1108 1084 786 890 277 1147 758 794 530 686 326 0 776 1090 674 980 648 194 441 73 163 44 359 459 420 634 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 92 444 771 985 202 31 910 813 232 518 928 84 479 688 1071 145 798 344 704 219 872 0 135 1109 305 469 589 407 1007 484 1019 5 574 112 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 452 240 611 193 383 11 688 776 314 324 941 40 1078 534 982 143 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 878 1081 714 466 883 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 548 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 901 336 570 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 787 2 418 163 1086 193 522 47 613 135 250 867 1136 1034 29 191 363 894 436 486 836 5 544 43 639 308 929 760 143 1075 1026 249 561 406 1057 186 815 10 294 456 657 188 462 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 14 36 785 935 958 1072 737 548 1000 835 287 810 482 461 391 195 1041 645 126 32 347 866 542 936 82 449 854 809 1029 203 1111 406 960 665 699 968 35 575 335 250 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 621 862 726 121 360 603 693 417 1053 838 1072 16 964 1091 8 
23.83/24.12	o 7545
23.83/24.12	v 928 706 771 195 520 62 544 977 12 635 679 542 821 826 410 1047 129 39 1114 301 353 899 725 397 1020 1101 150 821 552 640 163 466 437 261 247 85 1 1108 1084 786 897 277 1147 758 794 530 686 326 0 776 1090 674 980 648 184 441 73 163 44 359 459 420 634 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 73 444 771 985 202 31 921 17 232 518 928 84 479 688 1071 145 798 344 704 219 872 0 135 1109 305 469 589 407 1007 484 1019 5 574 112 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 452 237 611 193 383 11 688 776 314 324 941 40 1078 534 982 143 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 905 1081 714 477 885 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 910 336 570 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 787 2 418 163 1086 193 542 47 613 135 250 867 1136 1034 29 191 363 894 436 479 836 5 538 43 639 308 929 760 143 1075 1026 249 26 406 1057 186 815 20 294 458 657 188 287 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 14 525 785 935 958 1072 737 548 1000 835 287 810 482 461 340 195 1041 638 126 32 347 870 30 936 82 449 854 809 1029 205 1111 406 960 665 699 968 35 575 335 250 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 525 862 726 121 360 603 693 417 1053 838 1072 16 964 1091 8 
23.83/24.13	o 7546
23.83/24.13	v 928 706 771 195 520 62 544 977 12 635 679 542 821 826 410 1047 129 39 1114 301 353 899 725 397 1020 1101 150 821 552 640 163 466 437 261 247 85 1 1108 1084 786 897 277 1147 758 794 530 686 326 0 776 1090 674 980 648 184 441 73 163 44 359 459 420 634 175 513 228 1117 745 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 73 444 771 985 202 31 921 17 232 518 928 84 479 688 1071 145 798 344 704 219 872 0 135 1109 305 469 589 407 1007 484 1019 5 574 108 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 452 237 611 193 383 11 688 776 314 324 941 40 1078 534 982 143 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 905 1081 714 477 885 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 910 336 570 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 787 2 418 163 1086 193 542 47 613 135 250 867 1136 1034 29 191 363 894 436 479 836 5 538 43 639 308 929 760 143 1075 1026 249 26 406 1057 186 815 20 294 458 657 188 287 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 14 525 785 935 958 1072 737 548 1000 835 287 810 482 461 340 195 1041 638 126 32 347 870 30 936 82 314 854 809 1029 205 1111 406 960 665 699 968 35 575 335 435 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 525 862 726 121 360 603 693 417 1053 838 1072 16 964 1091 8 
23.83/24.14	o 7547
23.83/24.14	v 928 706 771 195 520 62 544 977 12 635 679 542 821 826 410 1047 129 39 1114 301 353 899 725 397 1020 1101 150 821 552 640 163 466 437 261 247 85 1 1108 1084 786 897 277 1147 758 794 530 686 326 0 776 1090 674 980 648 184 441 73 163 44 359 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 73 444 771 985 202 748 921 17 232 518 928 84 479 688 1071 145 798 344 704 219 872 0 135 1109 305 469 589 407 1007 484 1019 5 574 108 1024 838 897 758 61 1053 968 392 880 234 685 462 998 187 320 1110 452 237 611 193 383 11 688 776 314 324 941 40 1078 534 982 143 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 905 1081 714 477 885 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 910 336 570 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 787 2 418 163 1086 193 542 47 613 135 250 867 1136 1034 29 191 363 894 436 479 836 5 538 43 639 308 929 760 143 1075 1026 249 26 406 1057 186 815 20 294 458 657 188 287 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 14 525 785 935 958 1072 737 548 1000 835 287 810 482 461 340 195 1041 638 126 32 347 870 30 936 82 314 854 809 1029 205 1111 406 960 665 699 968 35 575 335 435 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 525 862 726 121 360 603 693 417 1053 838 1072 16 964 1091 8 
23.93/24.21	o 7548
23.93/24.21	v 928 706 771 195 520 62 544 977 12 440 679 542 821 826 410 1047 129 39 1114 295 353 899 725 397 1020 1101 150 821 552 640 163 466 437 261 247 85 1 1108 1084 786 897 264 1147 758 794 530 686 326 0 776 1090 674 980 648 184 441 73 166 44 359 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 860 811 1079 681 591 354 300 160 73 445 771 985 202 748 921 17 232 518 928 84 479 688 1071 145 798 344 704 219 869 0 135 1109 305 470 589 407 1007 484 1019 5 574 108 1024 838 897 758 71 1053 968 392 880 234 685 462 998 187 320 1110 452 237 611 193 383 11 688 776 314 324 941 40 1078 534 982 143 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 905 1081 714 477 885 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 910 336 570 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 787 2 418 163 1086 193 542 47 613 135 250 867 1136 1034 29 191 363 894 436 701 836 5 538 43 639 308 929 760 143 1075 1026 249 461 406 1057 186 815 20 294 458 657 188 290 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 14 525 785 935 958 1072 737 548 1000 835 287 810 482 461 340 195 1041 638 126 32 361 870 30 936 82 314 854 809 1029 205 1111 406 960 665 699 968 35 575 335 435 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 790 525 862 726 121 360 603 693 417 1053 838 1084 16 964 1091 8 
24.13/24.41	o 7549
24.13/24.41	v 928 706 771 195 520 62 566 977 12 440 679 542 821 826 411 1047 129 39 1114 294 353 899 725 397 1020 1101 150 819 552 640 163 466 437 269 248 85 1 678 1084 786 898 267 1147 758 794 530 686 326 0 776 1090 674 980 733 184 441 73 160 44 359 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 37 811 1079 681 591 354 300 160 869 445 771 985 202 748 921 17 232 518 928 84 479 688 1071 145 798 344 704 219 863 0 135 1109 305 459 589 407 1007 484 1019 5 574 108 1024 838 897 758 67 1053 968 392 880 234 685 462 998 187 320 1110 452 237 611 193 383 11 688 776 314 324 941 40 1078 534 982 143 1021 862 1056 175 780 1139 138 383 915 3 451 678 1002 83 524 254 824 1058 612 103 905 1081 714 477 347 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 910 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 794 2 418 163 1086 193 548 47 613 135 250 867 1136 1034 29 191 363 894 436 701 836 5 538 43 639 308 929 760 143 1075 1026 249 461 406 1057 186 815 20 294 458 657 188 283 6 761 1001 609 903 566 429 379 96 816 648 1089 1026 107 652 616 403 117 174 505 756 954 328 851 1083 871 444 349 803 1037 265 721 4 867 785 935 958 1072 737 548 1000 835 287 810 482 464 363 203 1041 638 126 32 343 870 30 936 90 314 854 809 1029 217 1111 406 960 665 699 968 35 563 335 435 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 422 525 862 726 121 363 603 693 417 1053 812 1075 16 964 1091 8 
24.33/24.65	o 7550
24.33/24.65	v 928 706 771 196 520 62 569 977 12 440 679 543 810 826 411 1047 129 39 1114 294 353 899 725 397 1020 1101 150 819 552 640 163 466 437 269 248 85 1 970 1084 786 895 924 1147 758 794 530 686 326 0 776 1090 674 980 77 149 458 246 160 44 359 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 37 811 1079 681 591 354 300 160 869 445 771 985 202 748 921 17 232 518 928 84 479 688 1071 145 798 344 704 219 880 0 135 1109 305 459 589 402 1007 484 1019 5 574 105 1024 838 897 758 77 1053 968 392 880 234 685 462 998 187 320 1110 450 236 611 193 383 11 688 774 314 324 941 40 1078 545 982 143 1021 862 1056 175 780 1139 138 383 913 3 451 678 1002 83 524 254 824 1058 612 103 910 1081 714 477 365 869 992 978 641 720 27 1076 981 196 448 324 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 895 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 794 2 418 163 1086 193 555 47 613 135 250 867 1136 1034 29 176 363 894 436 701 836 5 538 43 639 308 929 760 143 1075 1026 249 461 406 1057 186 815 7 294 458 657 188 1061 6 761 1001 609 903 566 429 379 96 816 661 1078 1026 107 652 616 403 117 174 505 756 954 328 851 1083 864 444 349 803 1037 265 721 4 867 785 935 958 1072 737 548 1000 835 287 810 482 447 358 203 1041 638 126 32 343 870 30 936 117 314 854 809 1029 217 1111 406 960 665 699 968 35 569 335 448 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 860 511 862 726 121 363 603 693 417 1053 812 121 16 964 1091 8 
24.53/24.86	o 7551
24.53/24.86	v 928 706 771 196 520 62 567 977 12 440 679 543 819 826 410 1047 129 39 1114 294 353 899 725 397 1020 1101 150 817 552 640 163 466 437 269 248 85 1 970 1084 786 239 924 1147 758 794 530 686 326 0 776 1090 674 980 77 149 447 246 160 44 359 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 17 1030 1079 681 591 354 300 160 869 445 771 352 202 748 921 816 232 518 928 84 757 688 1071 145 798 344 704 219 880 0 135 1109 305 459 589 1021 1007 484 1019 5 574 106 1024 838 897 758 60 1053 968 392 880 234 685 462 998 187 320 1110 450 236 611 193 383 11 688 774 314 324 941 40 1078 545 982 143 1021 862 1056 175 780 1139 138 383 913 3 451 678 1002 83 524 254 824 1058 612 103 910 1081 714 476 344 869 992 978 641 720 27 1076 981 196 440 323 97 551 278 889 647 780 41 20 405 788 691 300 800 374 171 1061 220 594 502 895 336 574 268 1129 867 1022 56 316 633 725 1054 415 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 701 926 343 794 2 418 163 1086 498 555 47 613 135 250 867 1136 1034 29 176 363 894 436 701 836 5 538 43 639 308 929 760 143 1075 1026 249 461 406 1057 186 815 7 294 458 657 188 267 6 761 1001 609 903 566 429 379 96 816 661 1078 1026 99 652 616 403 117 174 505 756 954 328 851 1083 864 444 349 803 1037 265 721 4 866 785 935 958 1072 737 548 1000 835 287 810 482 447 358 203 1041 639 126 32 343 870 30 936 117 314 854 809 1029 217 1111 406 960 665 699 968 35 569 335 448 768 1057 263 1130 734 909 849 526 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 186 942 531 786 507 862 726 121 363 603 693 417 1053 812 1089 16 964 1091 8 
25.12/25.46	o 7552
25.12/25.46	v 928 706 771 198 520 62 555 977 12 634 679 543 819 837 410 1047 129 39 1114 294 353 899 725 397 1019 1101 150 817 552 641 163 461 432 264 252 85 1 970 1084 786 239 924 1147 758 794 530 686 326 0 776 1090 674 980 505 149 431 73 160 44 359 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 971 365 42 912 501 611 533 36 1030 1079 681 591 354 300 160 869 445 771 356 202 748 921 816 232 515 928 84 410 688 1071 145 798 344 704 219 870 0 135 1109 305 459 589 1021 1007 484 1019 5 575 73 1024 838 897 756 63 1053 968 392 880 234 685 462 998 187 320 1110 448 236 611 193 383 11 688 776 314 324 941 40 1078 543 982 143 1021 862 1056 175 780 1139 138 383 913 3 451 678 1002 83 524 254 824 1058 612 103 914 1081 714 482 335 869 992 978 641 720 27 1076 981 196 423 323 97 551 278 889 655 780 41 20 405 788 687 300 800 374 171 1061 220 608 510 895 336 578 268 1129 867 1022 56 316 633 725 1054 409 88 882 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 696 926 343 781 2 418 163 1086 498 558 47 613 135 250 867 1136 1034 29 176 363 894 436 702 836 5 538 43 639 308 929 760 143 1075 1026 249 460 406 1057 186 815 2 294 458 657 188 189 1035 761 1001 609 903 566 429 379 79 817 648 1078 1026 89 652 616 403 117 174 505 756 954 328 851 1083 872 444 349 803 1037 265 721 4 870 785 935 958 1072 737 548 1000 835 287 810 482 472 343 203 1 639 126 32 357 870 30 936 80 314 854 809 1029 198 1111 406 960 665 699 968 35 549 335 444 768 1057 263 1130 734 909 849 502 712 57 1112 403 613 1043 994 921 218 246 331 1048 146 965 265 186 942 531 861 516 862 726 121 363 603 693 417 1053 812 1062 16 964 1091 8 
25.52/25.88	o 7553
25.52/25.88	v 928 706 771 195 520 62 548 977 12 628 679 543 823 831 410 1047 129 39 1114 294 353 899 725 397 1019 1101 150 831 552 641 163 461 434 264 255 85 1 970 1084 786 239 924 1147 758 794 530 686 326 0 776 1090 674 980 641 150 440 73 160 44 350 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 36 1030 1079 681 591 354 300 160 869 447 771 356 202 748 921 816 232 515 928 84 417 688 1071 145 798 344 704 219 874 0 135 1109 305 459 589 1021 1007 484 1019 5 566 95 1024 838 890 756 70 1053 968 392 880 234 685 462 998 187 317 1110 448 236 611 193 383 11 688 776 314 324 941 40 1078 548 982 143 1021 862 1056 175 780 1139 138 383 917 3 451 678 1002 83 524 254 824 1058 612 103 880 1081 714 482 335 869 992 978 641 720 27 1074 981 196 423 323 97 551 278 889 655 780 41 20 405 788 686 300 800 374 171 1061 220 600 510 895 336 578 268 1129 867 1022 56 316 633 725 1054 409 88 900 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 696 926 343 781 2 418 163 1086 498 556 47 613 135 250 867 1136 1034 29 176 363 894 436 841 836 5 538 43 639 308 929 760 143 1075 1026 249 460 406 1057 186 815 2 294 458 657 188 902 1035 761 1001 609 903 566 429 379 90 815 648 1078 1026 93 652 616 403 117 174 505 756 954 328 851 1083 872 444 349 803 1037 265 721 4 870 785 935 958 1072 737 548 1000 835 287 810 482 467 393 203 1 639 126 32 357 867 30 936 96 314 854 809 1029 216 1111 406 960 665 699 968 35 546 335 446 768 1057 263 1130 734 909 849 512 712 57 1112 403 613 1043 994 921 218 246 331 1048 146 965 265 186 942 529 452 505 862 726 121 355 603 693 417 1053 812 1061 16 964 1092 8 
25.62/25.98	o 7554
25.62/25.98	v 928 706 771 195 520 62 548 977 12 628 679 543 825 831 410 1047 129 39 1114 275 353 899 725 397 1021 1101 150 831 552 641 163 461 434 264 255 85 1 970 1084 786 239 924 1147 758 794 530 686 326 0 776 1090 674 980 376 150 611 73 160 44 414 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 36 1030 1079 681 591 354 300 160 869 447 771 356 202 748 921 816 232 513 928 84 417 688 1071 145 798 344 704 219 874 0 135 1109 305 459 589 1021 1007 484 1019 5 566 95 1024 838 890 756 72 1053 968 392 880 234 685 462 998 187 317 1110 448 236 611 193 383 11 688 778 314 324 941 40 1078 548 982 143 1021 862 1056 175 780 1139 138 383 917 3 451 678 1002 83 524 254 824 1058 612 103 880 1081 714 482 335 869 992 978 641 720 27 1074 981 196 423 323 97 551 278 889 655 780 41 20 405 788 686 300 800 374 171 1061 220 600 510 895 336 578 268 1129 867 1022 56 316 633 725 1054 414 88 900 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 696 926 343 781 2 418 163 1086 498 556 47 613 135 250 867 1136 1034 29 176 363 894 436 841 836 5 538 43 639 308 929 760 143 1075 1026 249 460 406 1057 186 815 2 294 458 657 188 901 1035 761 1001 609 903 566 429 379 90 815 648 1078 1026 93 652 616 403 117 174 505 756 954 328 851 1083 872 444 349 803 1037 265 721 4 870 785 935 958 1072 737 548 1000 835 287 810 482 467 393 203 1 638 126 32 357 865 30 936 87 314 854 809 1029 216 1111 406 960 665 699 968 35 546 335 446 768 1057 263 1130 734 909 849 512 712 57 1112 403 613 1043 994 921 218 246 331 1048 146 965 265 186 942 529 347 515 862 726 121 355 603 693 417 1053 812 1062 16 964 1092 8 
25.91/26.20	o 7555
25.91/26.20	v 928 706 771 186 520 62 561 977 12 352 679 543 811 831 410 1047 129 39 1114 275 353 899 725 397 1021 1101 150 816 552 641 163 461 434 266 255 85 1 970 1084 786 239 924 1147 758 794 530 686 326 0 776 1090 674 980 376 150 610 73 160 44 416 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 36 1030 1079 681 591 399 300 160 869 1083 771 362 202 748 921 816 232 512 928 84 419 688 1071 145 798 344 704 219 878 0 135 1109 305 459 589 1021 1007 484 1019 5 566 65 1024 838 890 756 72 1053 968 392 880 234 685 462 998 187 317 1110 448 236 611 193 383 11 688 780 314 324 941 40 1078 548 982 143 1021 862 1056 175 780 1139 138 383 911 3 451 678 1002 83 524 254 824 1058 612 103 912 1081 714 482 335 869 992 978 641 720 27 1074 981 196 423 323 97 551 278 889 645 780 41 20 405 788 686 300 800 374 171 1061 220 600 510 895 336 578 268 1129 867 1022 56 316 633 725 1054 416 88 900 0 158 455 1022 16 562 822 1071 1000 329 188 776 502 696 926 343 781 2 418 163 1086 503 556 47 613 135 250 867 1136 1034 29 176 363 894 436 841 836 5 538 43 639 308 929 760 143 1075 1026 249 462 406 1057 186 815 2 294 458 657 188 908 1035 761 1001 609 903 566 429 379 90 821 645 1078 1026 100 652 616 403 117 174 505 756 954 328 851 1083 872 444 349 803 1037 265 721 4 870 785 935 958 1072 737 548 1000 835 287 810 482 467 390 203 1 638 126 32 357 870 30 936 101 314 854 809 1029 212 835 406 960 665 699 968 35 553 335 446 768 1057 263 1130 734 909 849 502 712 57 1112 403 613 1043 994 921 218 246 331 1048 146 965 265 186 942 529 784 515 862 726 121 355 603 693 417 1053 812 1079 16 964 1092 8 
28.38/28.71	o 7556
28.38/28.71	v 928 706 771 182 520 54 547 977 12 352 679 549 825 817 410 1047 129 39 1114 269 353 899 725 397 1015 1101 150 1019 552 641 163 811 434 267 253 85 1 970 1084 786 241 924 1147 758 799 506 686 326 0 776 1090 674 980 348 152 591 73 163 44 426 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 36 1030 1084 681 591 399 300 160 869 1075 771 367 202 748 921 816 232 506 928 84 852 688 1071 145 798 344 704 219 397 0 135 1109 305 459 589 1021 1007 484 1019 15 572 375 1024 838 894 756 70 1053 968 392 880 234 685 462 998 187 317 1110 448 236 611 193 383 11 688 774 314 324 941 40 1078 545 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 254 824 1058 612 103 358 1081 714 482 338 869 47 978 641 720 27 1076 981 196 425 547 98 783 278 893 654 992 903 20 405 788 686 300 800 374 171 1061 220 597 511 895 336 580 268 1129 867 1022 56 316 633 725 1054 410 88 900 0 158 455 1022 16 547 822 1071 1000 329 188 776 502 700 926 343 804 2 418 163 1086 498 556 47 613 135 250 867 1136 1034 29 176 363 894 436 841 836 5 538 43 639 308 929 760 143 1075 1026 249 461 406 1057 186 815 3 292 464 658 188 460 1035 761 1001 609 906 566 429 379 86 821 647 1078 1026 102 652 616 130 113 174 501 756 954 328 851 1083 872 444 349 803 1037 265 721 2 32 785 935 958 1066 737 1045 1000 835 287 810 482 454 548 190 1 642 126 32 349 863 30 936 95 314 854 809 1029 218 835 406 960 665 699 968 35 567 335 446 768 1057 263 1130 734 909 849 503 712 57 1112 403 613 1043 994 921 218 246 331 1055 146 965 265 184 942 531 452 515 862 726 121 355 595 693 417 1053 812 1089 16 964 1089 8 
35.52/35.96	o 7557
35.52/35.96	v 928 706 771 179 520 57 566 977 12 352 679 543 817 818 404 1047 129 39 1114 270 353 899 725 397 1015 1101 150 819 549 628 163 469 437 267 252 85 1 970 1084 786 241 924 1147 758 799 530 686 326 0 776 1090 674 980 348 154 608 73 160 44 436 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 30 1030 1083 681 591 399 300 160 869 1084 771 353 202 748 921 816 232 508 928 84 852 688 1071 145 798 344 704 219 397 0 135 1109 305 460 589 1021 1007 484 1019 2 569 378 1024 838 894 756 72 1056 968 393 880 223 685 462 998 187 317 1110 448 236 611 193 383 11 688 766 438 324 941 40 1078 538 982 143 1021 862 1056 175 780 1139 138 62 913 3 450 678 1002 83 524 254 824 1058 612 103 358 1081 714 482 335 869 43 978 641 650 27 232 981 1065 422 548 135 783 788 893 714 992 899 20 405 788 686 300 800 374 171 1061 220 599 501 895 336 573 268 1129 867 1022 56 316 633 725 1054 410 88 900 0 158 455 1022 16 552 822 1071 1000 329 188 776 502 699 926 343 803 2 418 163 1086 498 558 47 613 135 250 867 1136 1034 29 176 363 894 436 841 836 5 544 43 639 308 929 760 143 1075 1026 249 468 406 1057 186 815 29 289 454 658 179 274 1035 761 1001 609 906 566 429 379 95 824 660 1078 1026 99 652 616 125 108 170 510 756 954 328 851 1083 872 444 349 803 1037 265 721 14 23 785 935 958 1076 737 1057 1000 835 287 810 482 467 548 196 1 621 126 32 349 863 30 936 92 314 854 809 1029 208 835 406 960 665 699 968 35 544 335 446 768 1057 263 1130 734 909 849 513 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 265 264 942 530 874 518 864 726 121 355 603 693 417 1053 812 198 19 965 1089 8 
38.29/38.73	o 7558
38.29/38.73	v 928 706 771 179 520 47 554 977 12 352 679 543 819 816 406 1047 129 39 1114 283 353 899 725 397 1015 1101 150 826 549 642 163 468 434 268 247 85 1 970 1084 786 242 924 1147 758 799 492 686 326 0 776 1090 674 980 348 146 596 73 160 44 420 459 420 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 20 1030 1084 681 591 397 300 160 869 1078 771 418 202 748 921 816 232 504 928 84 852 688 1071 145 798 344 704 219 397 0 135 1109 305 455 589 1021 1007 484 1019 2 569 104 1024 838 895 756 87 1056 968 393 880 228 685 462 998 187 317 1110 448 236 611 193 383 11 689 768 438 324 941 40 1078 530 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 254 824 1058 612 103 358 1081 714 482 335 869 45 978 641 649 27 241 981 1082 418 548 135 1033 801 892 701 992 898 20 405 788 686 300 800 374 171 1061 220 600 499 895 336 577 268 1129 867 1022 56 316 626 725 1054 410 88 900 0 158 452 1022 16 552 822 1071 1000 329 188 776 502 693 926 343 792 2 418 163 1086 505 558 47 611 135 250 867 1136 1034 29 176 363 894 436 841 836 5 544 44 639 308 929 760 143 1075 1026 249 468 406 1057 186 815 29 291 454 658 179 273 1035 761 1001 609 901 566 429 379 93 820 646 1078 1026 97 652 616 128 114 170 510 756 954 328 851 1083 872 444 349 803 1037 265 721 5 524 785 935 958 1090 737 1044 1000 835 287 810 482 452 548 195 1 608 126 32 349 863 30 936 100 314 854 809 1029 219 835 406 960 665 699 968 35 558 335 446 768 1057 263 1130 734 909 849 523 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 264 262 942 534 870 507 864 726 121 355 602 693 417 1053 812 198 19 965 1089 8 
45.52/46.07	o 7559
45.52/46.07	v 928 706 771 179 520 57 555 977 12 352 679 551 827 830 396 1047 129 39 1114 272 353 899 716 397 1015 1101 150 818 634 632 165 551 437 270 253 85 10 970 1084 786 244 924 1147 758 799 501 686 326 0 776 1090 674 980 348 165 594 73 160 44 420 459 420 936 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 26 1030 1079 681 591 396 300 160 869 1076 771 358 202 748 921 816 232 515 928 84 865 688 1071 145 798 344 704 219 395 0 135 1109 305 462 589 1021 1007 484 1019 2 575 105 1024 838 893 756 78 1050 968 393 880 231 685 462 998 187 317 1110 448 236 611 193 383 11 722 777 438 324 941 40 1078 542 982 143 1021 862 1056 175 780 1139 138 62 913 3 450 678 1002 83 524 254 824 1058 612 103 358 1081 714 482 335 869 41 978 641 727 27 243 981 1082 421 547 135 1033 801 888 656 992 904 20 405 788 686 300 800 374 171 1061 220 604 511 895 336 576 268 1129 867 1022 56 316 613 725 1054 410 88 900 0 158 457 1022 16 551 822 1071 1000 329 188 776 502 688 932 343 806 2 418 163 1086 503 556 47 611 135 250 867 1136 1034 29 176 363 894 436 841 836 5 544 43 639 308 929 760 143 1075 1026 249 464 406 1057 186 815 24 292 477 660 179 462 1035 761 1001 609 898 566 429 379 95 817 662 1078 1026 97 652 616 125 111 170 508 756 954 328 851 1083 872 444 349 803 1037 265 721 8 511 785 935 958 1072 737 1063 1000 835 287 810 482 459 548 189 1 629 126 32 349 863 30 936 91 314 854 809 1029 209 835 406 960 665 699 968 35 538 335 446 768 1057 263 1130 734 909 849 508 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 264 262 773 527 926 511 861 726 121 355 594 693 421 1053 813 191 19 971 1089 8 
51.46/52.07	o 7560
51.46/52.07	v 928 706 771 179 520 65 570 977 12 352 679 549 809 835 407 1047 129 39 1114 272 353 899 716 397 1015 1101 150 829 633 161 164 546 437 271 251 85 10 970 1084 786 134 926 1147 758 799 494 686 326 0 776 1090 674 980 348 219 598 73 980 44 416 459 420 938 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 21 1030 1080 681 591 398 300 160 869 1080 771 365 202 748 921 816 232 509 928 84 865 688 1071 145 798 344 704 219 393 0 135 1109 305 461 589 1021 1007 484 1019 2 575 381 1024 838 893 756 72 1051 968 393 880 222 685 462 998 187 317 1110 448 236 611 193 383 11 719 776 438 324 941 40 1078 549 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 247 824 1058 612 103 358 1081 714 482 339 869 48 978 641 654 27 245 981 1082 423 547 129 1033 801 888 712 992 904 20 405 788 686 300 800 374 171 1061 220 603 507 895 336 572 268 1129 867 1022 56 316 613 725 1054 410 88 900 0 158 457 1022 16 551 822 1071 1000 329 188 776 502 579 927 343 702 2 418 163 1086 794 505 47 616 135 250 867 1136 1034 29 176 363 894 436 841 836 5 544 46 639 308 928 760 143 1075 1026 249 466 406 1057 186 815 17 292 463 659 179 460 1035 761 1001 609 898 566 429 379 97 817 663 1078 1026 89 652 616 402 108 170 501 756 954 328 851 1083 872 444 349 803 1037 265 721 1 513 785 935 958 1090 737 1063 1024 835 287 999 482 467 548 205 1 613 126 32 349 863 30 936 106 314 854 809 1029 208 835 406 960 665 699 968 35 549 335 446 768 1057 263 1130 734 909 849 514 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 269 260 773 533 926 513 861 726 121 355 594 693 421 1053 813 191 19 971 1089 8 
54.24/54.87	o 7561
54.24/54.87	v 928 706 771 179 520 55 563 977 12 352 679 548 809 829 404 1047 129 39 1114 272 353 899 775 397 1015 1101 150 833 633 164 165 551 437 270 253 85 10 970 1084 738 244 926 1147 758 799 524 686 326 0 776 1090 674 980 348 164 691 73 397 44 601 459 420 927 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 611 533 21 1030 1080 681 591 0 300 160 869 1083 771 354 202 748 921 816 232 511 928 84 865 688 1071 145 798 344 704 219 400 0 135 1109 305 454 589 1021 1007 485 1019 19 576 386 1024 838 893 756 82 1053 968 394 880 226 685 462 998 187 317 1110 448 236 611 193 383 11 719 776 438 324 941 40 1078 537 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 243 824 1058 612 103 358 1081 714 482 338 869 42 978 641 654 27 249 981 1082 422 547 146 1033 801 887 712 992 904 20 405 788 686 300 800 374 171 1061 220 593 503 895 336 580 268 1129 867 1022 56 316 613 725 1054 410 88 900 0 158 457 1022 16 555 822 1071 1000 329 188 776 502 696 930 343 712 2 418 163 1086 794 535 47 616 135 250 867 1136 1034 29 176 363 894 436 841 836 5 544 46 639 308 928 760 143 1075 1026 249 469 406 1057 186 815 22 292 466 659 179 459 1035 761 1001 609 898 566 429 379 89 814 658 1078 1026 94 652 616 402 108 170 511 756 954 328 851 1083 872 444 349 803 1037 265 721 1 532 785 935 958 1066 737 1061 1024 835 287 999 482 449 548 190 1 613 126 32 349 863 30 936 84 314 854 809 1029 187 835 406 960 665 699 968 35 526 335 446 768 1057 263 1130 734 909 849 516 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 260 259 773 531 926 509 861 726 121 355 598 693 421 1053 813 191 19 971 1089 8 
58.89/59.57	o 7562
58.89/59.57	v 928 706 771 179 520 56 560 977 12 352 679 550 808 836 402 1047 129 39 1114 272 353 899 775 397 1015 1101 150 828 634 166 165 549 437 264 249 85 10 970 1084 738 244 926 1147 758 799 502 689 326 0 776 1090 674 980 348 150 692 73 401 44 593 459 420 932 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 606 533 27 1030 1079 681 591 398 300 160 869 1075 771 418 202 748 921 816 232 508 928 84 865 688 1071 145 798 344 704 219 397 11 135 1109 305 454 589 1021 1007 485 1019 3 573 109 1024 838 893 756 72 1046 968 394 880 222 685 462 998 187 317 1110 448 236 611 193 383 11 719 776 438 324 941 40 1078 548 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 243 824 1058 612 103 358 1081 714 482 334 869 61 978 641 654 27 242 981 1082 422 547 142 1033 801 887 712 992 904 20 405 788 686 300 800 374 171 1061 220 599 503 895 336 572 268 1129 867 1022 56 316 631 725 1054 410 88 900 0 158 669 1022 16 548 822 1071 1000 329 188 776 502 536 928 343 715 2 418 163 1086 794 483 47 621 135 250 867 1136 1034 29 176 363 894 436 841 836 5 547 43 639 308 928 760 143 1075 1026 249 465 406 1057 186 815 16 292 469 659 179 463 1035 761 1001 609 898 566 429 379 95 816 652 1078 1026 86 652 616 402 113 170 507 756 954 328 851 1083 872 444 349 803 1037 265 721 0 508 785 935 958 1090 737 1064 1024 835 287 999 482 472 548 204 1 613 126 32 349 863 30 936 91 314 854 809 1029 211 835 406 960 665 699 968 35 566 335 446 768 1057 263 1130 734 909 849 509 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 266 258 773 532 926 504 861 726 121 355 598 693 421 1053 813 191 19 971 1089 8 
63.55/64.23	o 7563
63.55/64.23	v 928 706 771 179 520 56 559 977 12 352 679 550 819 820 399 1047 129 39 1114 272 353 889 775 397 1015 1101 150 821 634 170 165 552 437 270 254 85 10 970 1084 738 418 922 1147 758 799 520 133 503 0 776 1090 674 982 348 187 690 73 268 44 597 459 420 932 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 601 533 35 1030 1081 680 591 397 300 160 869 674 771 417 202 748 921 816 232 515 928 84 865 688 1071 145 798 344 704 219 400 11 135 1109 305 454 589 1021 1007 485 1019 26 571 378 1024 838 893 756 79 1054 968 394 880 229 685 462 998 187 317 1110 448 236 611 193 383 11 719 776 438 324 941 40 1078 540 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 247 824 1058 612 103 358 1081 714 482 334 869 45 978 641 654 27 254 981 1082 422 547 142 1033 801 884 712 992 904 20 405 788 686 300 800 374 171 1061 220 591 503 895 336 574 268 1129 867 1022 56 316 635 725 1054 410 88 900 0 158 674 1022 16 565 822 1071 1000 329 188 776 502 537 932 343 715 2 418 163 1086 794 481 47 621 135 250 867 1136 1034 29 176 363 894 436 841 836 5 543 46 639 308 928 760 143 1075 1026 249 462 406 1057 186 815 6 292 483 659 179 460 1035 761 1001 609 898 566 429 379 96 816 646 1078 1026 97 652 616 1087 113 170 509 756 954 328 851 1078 872 444 349 803 1037 265 721 12 510 785 935 958 1063 737 1059 1024 835 287 999 482 449 548 198 1 613 126 32 349 863 30 936 98 314 854 809 1029 219 835 406 960 665 699 968 35 558 335 446 768 1057 263 1130 734 909 849 519 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 271 264 773 528 926 504 861 726 121 355 598 693 421 1053 813 191 19 971 1089 8 
73.95/74.80	o 7564
73.95/74.80	v 928 706 771 179 520 59 550 977 12 352 679 544 825 815 403 1047 129 39 1114 272 353 889 775 397 1015 1101 150 817 633 170 164 553 437 263 250 85 0 970 1084 738 418 922 1147 758 799 971 133 503 0 776 1090 674 982 348 187 690 73 268 44 537 459 947 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 608 533 16 1030 1080 681 591 398 300 160 869 679 771 355 202 748 921 816 232 905 404 84 865 688 1071 145 798 344 704 219 530 9 135 1109 305 454 589 1021 1007 485 1019 1 577 374 1024 838 893 756 86 1053 968 394 880 230 685 462 998 187 317 1110 448 236 611 193 383 11 719 776 438 324 941 40 1078 542 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 246 824 1058 612 103 358 1081 714 482 339 869 43 978 641 654 27 236 981 1082 422 547 142 1033 801 883 712 992 904 20 405 788 686 300 800 374 171 1061 220 585 503 895 336 568 268 1129 867 1022 56 316 635 725 1054 410 88 900 0 158 447 1022 16 550 822 1071 1000 329 188 776 502 536 930 343 715 2 418 163 1086 794 479 47 621 135 250 867 1136 1034 29 176 363 894 436 841 836 5 538 46 639 308 929 760 143 1075 1026 249 461 406 1057 186 815 15 292 478 657 179 459 1035 761 1001 609 898 566 429 379 94 817 653 1078 1026 98 652 616 403 113 170 507 756 954 328 851 1080 872 444 349 803 1037 265 721 6 516 785 935 958 1074 737 1059 1024 835 287 999 482 473 548 198 1 613 126 32 349 863 30 936 86 314 854 809 1029 193 835 406 960 665 699 968 35 563 335 446 768 1057 263 1130 734 909 849 521 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 261 260 773 1072 926 505 861 726 121 355 598 693 419 1053 813 191 19 971 1089 8 
90.09/91.06	o 7565
90.09/91.06	v 928 706 771 179 520 60 538 982 12 352 679 544 829 833 402 1047 129 39 1114 272 353 889 775 397 1015 1101 150 821 634 164 163 550 437 267 255 85 0 970 1084 738 421 922 1147 758 799 523 133 503 0 776 1090 674 979 348 187 690 73 271 44 603 459 947 633 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 78 533 24 1030 1080 681 591 400 300 160 869 605 771 356 202 748 921 816 232 915 404 84 865 688 1071 145 798 344 704 219 530 9 135 1109 305 454 589 1021 1007 485 1019 8 572 95 1024 838 893 756 84 1051 968 393 880 230 685 462 998 187 317 1110 448 236 611 193 383 11 719 776 438 324 941 40 1078 548 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 249 824 1058 612 103 358 1081 714 482 337 869 45 978 641 654 27 243 981 1082 422 547 142 1033 801 885 712 992 904 20 405 788 686 300 800 374 171 1061 220 672 503 895 336 571 268 1129 867 1022 56 316 635 725 1054 410 88 900 0 158 447 1022 16 563 822 1071 1000 329 188 776 502 537 930 343 715 2 418 163 1086 794 479 47 621 135 250 867 1136 1034 29 176 363 894 436 841 836 5 543 43 639 308 929 760 143 1075 1026 249 460 406 1057 186 815 9 292 451 660 179 464 1035 761 1001 609 898 565 429 379 554 816 664 1078 1026 94 652 616 403 113 174 504 756 954 328 851 1080 872 444 349 803 1037 265 721 5 30 785 935 958 1091 737 1063 1024 835 287 999 482 460 548 190 1 613 126 32 349 863 30 936 98 314 854 809 1029 204 835 406 960 665 699 968 35 546 335 446 768 1057 263 1130 749 909 849 507 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 269 260 773 1073 926 505 861 726 121 355 598 693 416 1053 813 191 19 971 1087 8 
194.60/196.59	o 7566
194.60/196.59	v 928 706 771 179 520 65 544 982 12 352 679 551 823 815 400 1047 129 39 1114 272 353 889 775 397 1015 1101 150 822 635 165 164 551 437 267 253 85 0 970 1084 738 418 922 1147 758 799 521 133 503 0 776 1090 674 979 348 187 690 73 270 44 603 459 947 633 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 77 533 17 1030 1080 680 591 396 300 160 869 605 771 361 202 748 921 816 232 916 404 84 865 688 1071 145 798 344 704 219 530 9 135 1109 305 454 589 1021 1007 483 1019 12 575 99 1024 838 893 756 82 1053 968 392 880 232 685 462 998 187 317 1110 448 236 597 193 383 11 719 776 438 324 941 40 1078 655 982 143 1021 862 1056 175 780 1139 138 62 913 3 451 678 1002 83 524 253 824 1058 600 103 358 1081 714 482 334 869 46 978 641 654 27 257 981 1082 422 547 142 1033 801 884 712 992 904 20 405 788 691 300 800 374 171 1061 220 669 503 895 336 571 268 1129 867 1022 56 316 623 725 1054 410 88 900 0 158 457 1022 16 559 822 1071 1000 329 188 776 502 537 930 343 715 2 418 163 1086 794 479 47 621 135 250 867 1136 1034 29 176 363 894 436 841 836 5 543 45 639 308 927 760 143 1075 1026 249 460 406 1057 186 815 14 292 455 660 179 459 1035 761 1001 609 898 563 429 379 554 815 645 1078 1026 94 652 616 403 113 169 504 756 954 328 851 1080 872 444 349 803 1037 265 721 3 530 785 935 958 1082 716 1062 1024 835 287 999 484 462 552 200 1 613 126 32 349 871 30 936 99 314 854 809 1029 216 835 406 960 665 699 968 35 545 335 446 768 1057 263 1130 749 909 849 507 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 263 259 773 1075 926 505 861 726 121 355 598 693 422 1053 813 191 19 971 1092 8 
403.10/407.10	o 7567
403.10/407.10	v 928 706 771 179 520 48 570 982 12 352 679 552 820 828 399 1047 129 39 1114 272 353 889 775 397 1015 1101 150 820 635 171 443 551 437 269 248 85 0 970 1084 738 419 922 1147 758 799 526 133 503 0 776 1090 674 979 348 187 690 73 266 44 603 347 947 634 175 513 228 1117 717 773 811 324 613 142 191 787 1019 365 383 42 912 501 76 533 17 1030 1080 680 591 396 300 160 869 605 771 418 202 748 921 816 232 921 404 84 865 688 1071 145 798 344 704 219 530 9 135 1109 305 454 589 1021 1007 483 1019 3 573 105 1024 838 893 756 75 1048 968 392 880 228 685 462 998 187 317 1110 448 236 597 193 383 11 719 776 438 324 941 40 1078 655 982 143 1021 862 1056 175 780 1139 138 62 913 3 450 678 1002 83 524 248 824 1058 600 103 358 1081 714 482 335 869 47 978 641 654 27 250 981 1082 422 547 142 1033 801 888 712 992 904 20 405 788 688 300 800 374 171 1061 220 672 503 895 336 570 268 1129 867 1022 56 316 623 725 1054 410 88 900 0 158 446 1022 16 549 822 1071 1000 329 188 776 502 536 930 343 715 2 418 163 1086 794 479 47 621 135 250 867 1136 1034 29 176 363 894 436 841 836 5 546 43 639 308 929 760 143 1075 1026 249 468 406 1057 186 815 8 292 461 660 179 461 1035 761 1001 609 898 565 429 379 546 815 655 1078 1026 94 652 616 403 113 170 509 756 954 328 851 1080 872 444 349 803 1037 265 721 3 168 785 935 958 1090 716 1060 1024 835 287 999 483 465 553 192 1 613 126 32 349 871 30 936 92 314 854 809 1029 202 835 406 960 665 699 968 35 571 335 446 768 1057 263 1130 749 909 849 507 712 57 1112 403 613 1043 994 921 218 246 331 1054 146 965 262 260 773 1077 926 505 861 726 121 355 598 693 421 1053 813 191 19 971 1088 8 
1159.87/1171.02	o 7568
1159.87/1171.02	v 533 281 858 582 661 1084 407 339 15 479 896 679 27 966 134 1031 919 232 1036 782 47 1022 188 976 327 874 27 545 789 623 892 702 411 239 90 1088 106 798 388 511 570 709 413 930 162 3 658 1092 1035 1135 758 391 845 267 952 471 299 845 820 92 1012 702 417 919 1032 9 802 336 659 111 678 760 937 958 842 557 823 363 205 95 1120 1 1053 796 532 230 636 66 380 584 991 466 933 891 710 215 1025 322 162 87 1074 869 806 503 490 224 986 914 163 756 404 600 275 1049 342 1012 6 60 659 388 49 491 408 147 635 813 742 1070 245 369 129 1023 951 625 497 752 1010 844 324 900 37 1075 265 166 797 865 262 104 523 786 382 425 942 625 704 12 464 830 641 1041 860 509 283 548 693 733 655 1018 974 421 472 302 21 371 3 211 1114 119 937 577 523 359 1013 70 924 315 700 319 160 244 450 801 1047 652 864 269 947 3 754 592 266 1073 248 663 1053 1017 457 830 990 601 523 762 95 46 323 65 498 200 4 928 227 345 534 0 979 923 442 699 733 866 806 581 268 757 139 13 1014 821 1094 86 61 381 796 146 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 700 102 791 351 231 584 1103 884 444 1069 7 849 951 641 474 976 389 789 649 25 563 932 434 1038 118 1054 238 105 882 325 154 286 488 96 1070 12 514 173 576 698 1054 1031 353 554 976 223 779 452 642 844 891 295 939 853 80 953 970 238 265 988 1030 339 507 180 17 542 56 698 383 1123 838 71 614 384 759 930 1127 787 548 72 179 400 1013 157 14 440 520 206 325 957 681 254 589 40 461 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 866 37 607 244 407 689 2 624 4 711 574 321 502 98 1103 952 1143 798 862 126 711 1035 489 
1160.46/1171.66	o 7569
1160.46/1171.66	v 533 281 858 582 661 1089 407 339 15 479 896 679 27 966 134 1031 919 232 1036 782 47 1022 188 976 327 874 27 545 785 623 892 702 411 239 90 1088 897 795 388 511 570 709 413 930 162 3 658 1092 1035 1135 758 391 845 267 952 471 299 843 820 90 1012 702 467 919 1032 9 802 336 659 111 678 760 937 958 842 557 823 363 205 95 1120 1 1053 796 532 230 636 66 380 584 991 466 933 891 711 215 1025 322 162 87 1084 869 806 503 490 224 986 914 155 756 404 600 275 1049 342 1012 6 60 659 388 19 491 408 138 635 813 742 1070 245 871 34 1023 950 625 497 752 1010 844 324 583 37 1074 265 166 797 874 262 104 523 786 382 425 942 625 720 12 464 830 641 1041 860 509 283 548 693 733 655 1018 974 421 472 302 21 371 3 211 1114 119 937 577 523 345 1013 70 924 315 701 319 160 244 450 801 1047 658 864 269 947 3 754 592 266 1073 248 663 1053 1017 457 830 990 601 523 762 119 46 323 65 498 200 4 928 227 345 534 0 979 923 437 699 733 653 806 581 268 757 139 13 1014 821 1094 86 61 368 796 146 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 700 106 791 351 241 584 1103 884 444 1069 7 849 955 641 474 976 389 789 649 13 563 932 435 1038 118 1051 238 105 882 335 154 281 488 96 1070 12 514 173 576 698 1054 1031 353 554 976 223 774 452 777 844 635 295 161 853 80 953 970 238 265 988 1030 339 931 180 17 542 57 698 384 1123 838 71 614 395 759 930 1127 775 548 89 179 400 1029 157 14 440 520 206 332 957 667 254 589 40 461 732 655 214 951 191 463 991 371 1035 103 1106 785 1 713 548 936 335 866 37 607 244 402 689 2 624 8 711 574 321 502 98 1103 952 1143 798 854 139 715 1035 489 
1162.84/1174.00	o 7570
1162.84/1174.00	v 533 281 858 582 661 1090 407 339 15 479 896 679 29 966 134 1031 919 232 1036 782 47 1022 188 976 327 874 27 542 786 623 892 702 411 234 90 1088 242 795 388 511 570 709 413 930 162 3 658 1092 1035 1135 758 391 846 267 952 471 299 845 820 89 1012 702 467 919 1032 9 802 336 659 111 678 760 937 958 842 556 823 363 205 95 1120 1 1053 796 532 230 636 66 379 584 991 466 933 891 699 215 1025 319 162 87 1065 869 806 503 490 224 986 653 171 756 404 600 275 1049 342 1012 6 60 914 388 7 491 408 130 635 813 742 1070 245 352 22 1023 950 625 497 752 1010 844 324 896 37 1066 265 166 797 865 262 104 523 786 382 425 942 625 720 12 464 830 641 1041 860 509 283 548 693 733 655 1018 974 421 472 302 20 371 3 211 1114 119 937 577 523 345 1013 70 924 315 701 319 160 244 450 801 1047 657 864 269 947 3 754 592 266 1073 248 663 1053 1017 457 830 990 601 523 762 110 46 323 65 498 200 4 928 227 345 534 0 979 923 441 699 733 652 806 581 268 757 139 13 1014 821 1094 86 61 368 796 149 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 700 94 791 351 238 584 1103 884 444 1069 7 849 955 641 474 976 389 789 651 18 563 932 434 1038 118 1055 238 105 882 336 155 679 488 96 1067 12 514 173 576 699 1054 1031 353 554 976 223 779 452 784 844 637 295 944 853 80 953 970 238 265 988 1030 339 931 180 17 542 42 698 384 1123 838 86 614 390 759 930 1127 781 548 71 179 400 1025 157 14 440 520 206 327 957 690 254 589 40 461 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 866 37 607 244 405 689 6 624 12 718 574 321 502 95 1103 952 1143 798 863 137 711 1035 489 
1162.94/1174.13	o 7571
1162.94/1174.13	v 533 281 858 582 661 1088 407 339 15 479 896 679 29 966 134 1031 919 232 1036 782 47 1022 188 976 327 874 27 542 786 623 892 702 411 234 90 1088 101 787 388 511 570 709 413 930 162 3 658 1092 1035 1135 758 391 846 267 952 471 299 845 820 89 1012 702 467 919 1032 9 802 336 659 111 678 760 937 958 842 556 823 363 205 95 1120 1 1053 796 532 230 636 66 379 584 991 466 933 891 699 215 1025 319 162 87 1065 869 806 503 490 224 986 653 153 756 404 600 275 1049 342 1012 6 60 914 388 18 491 408 130 635 813 742 1070 245 352 22 1023 950 625 497 752 1010 844 324 896 37 1071 265 166 797 874 262 104 523 786 382 425 942 625 720 12 464 830 641 1041 860 509 283 548 693 733 655 1018 974 421 472 302 21 371 3 211 1114 119 937 577 523 345 1013 70 924 315 701 319 160 244 450 801 1047 658 864 269 947 3 754 592 266 1073 248 662 1053 1017 457 830 990 601 523 762 102 46 323 65 498 200 4 928 227 345 534 0 979 923 441 699 733 652 806 581 268 757 139 13 1014 821 1094 86 61 368 796 149 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 700 91 791 351 240 584 1103 884 444 1069 7 849 955 641 474 976 389 789 651 18 563 932 434 1038 118 1055 238 105 882 336 155 679 488 96 1067 12 514 173 576 699 1054 1031 353 554 976 223 779 452 782 844 637 295 944 853 80 953 970 238 265 988 1030 339 931 180 17 542 51 698 384 1123 838 87 614 390 759 1 1127 781 548 885 179 400 1025 157 14 440 520 206 327 957 666 254 589 40 461 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 866 37 607 244 405 689 6 624 12 718 574 321 502 93 1103 952 1143 798 863 137 712 1035 489 
1178.98/1190.33	o 7572
1178.98/1190.33	v 533 281 858 582 661 1080 407 339 15 479 896 679 22 966 134 1031 919 232 1036 782 47 1022 188 976 327 874 27 543 791 623 892 702 411 231 90 1088 246 783 388 511 570 709 413 930 162 3 420 1092 1035 1135 758 391 844 267 952 471 299 843 820 79 1012 702 467 919 1032 9 802 336 659 111 678 760 937 958 842 556 823 363 205 95 1120 1 1053 796 532 230 636 66 376 584 991 466 933 891 698 215 1025 319 162 87 153 869 806 503 490 224 986 653 1094 756 404 600 275 1049 342 1012 6 60 914 388 24 491 396 140 635 813 742 1059 245 365 122 1023 950 625 498 752 1010 844 324 901 37 1074 265 166 797 868 262 104 523 786 382 425 942 625 699 12 464 830 641 1041 860 509 283 548 693 733 655 1018 974 421 472 302 21 371 3 211 1114 119 937 577 523 354 1013 70 924 315 703 319 160 244 450 801 1047 653 864 269 947 3 754 592 266 1073 248 662 1053 1017 457 830 990 601 523 762 106 46 322 65 498 431 4 928 227 345 534 0 979 923 439 699 733 652 806 581 268 757 139 13 1014 821 1107 86 61 368 796 149 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 699 107 791 351 226 584 1103 884 444 1069 16 849 955 641 474 976 669 789 648 22 563 932 434 1038 118 1050 238 105 882 383 154 284 488 96 1067 12 514 173 576 701 1054 1031 353 554 976 223 776 452 791 844 637 295 944 853 80 953 970 238 265 988 1031 339 931 180 17 542 54 698 1015 1123 838 76 614 392 759 1 1127 784 548 885 179 400 1028 157 14 440 520 206 265 957 686 331 589 40 461 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 866 37 607 243 403 689 6 624 13 713 574 321 502 98 1103 952 1143 798 862 234 715 1035 489 
1194.93/1206.43	o 7573
1194.93/1206.43	v 533 281 858 582 661 1090 407 339 15 479 896 679 24 966 134 1031 919 232 1036 782 47 427 188 976 327 874 27 545 790 623 892 699 410 240 90 1088 1011 799 388 511 570 709 413 930 162 3 420 1092 1035 1135 758 391 844 267 952 471 299 843 820 79 1012 702 467 919 1032 9 802 336 659 111 678 760 937 958 842 557 823 363 205 95 1120 1 1053 796 532 230 636 66 381 584 991 466 933 891 713 215 1025 319 162 87 1084 869 806 503 490 224 986 653 173 756 404 600 275 1049 342 1012 6 60 914 388 30 491 409 143 635 813 742 1059 245 363 125 1023 950 625 498 752 1010 844 324 901 37 1066 265 166 797 872 262 104 523 786 382 425 942 625 712 12 464 830 641 1041 860 509 283 548 693 733 655 1025 974 421 472 302 21 371 3 211 1114 119 937 577 523 337 1013 70 924 315 703 319 160 244 450 801 1047 653 864 269 947 3 754 592 266 1073 248 662 1053 1017 457 830 990 601 523 762 134 46 322 65 498 431 4 928 227 345 534 0 979 923 434 699 733 652 806 581 268 757 139 13 1014 821 1098 86 60 368 796 147 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 699 107 791 351 251 584 1103 884 444 1069 29 849 955 641 474 976 668 789 651 28 563 932 434 1038 118 1050 238 105 882 383 156 285 488 96 1073 12 514 173 576 696 1054 1031 353 554 976 223 776 452 769 844 637 295 944 853 80 953 970 238 265 988 1027 339 931 177 17 542 55 698 156 1123 838 75 614 392 759 1 1127 780 548 885 179 400 252 157 14 440 520 206 1029 957 666 442 585 40 347 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 864 37 607 243 406 689 5 624 13 714 574 321 502 95 1103 952 1143 798 861 234 710 1035 489 
1196.72/1208.26	o 7574
1196.72/1208.26	v 533 281 858 582 661 1080 407 339 15 479 896 679 24 966 134 1031 919 232 1036 782 47 430 188 976 327 874 27 540 785 623 892 700 410 240 90 1088 1011 799 388 511 570 709 413 930 162 3 420 1092 1035 1135 758 391 845 267 952 471 299 845 820 79 1012 702 467 919 1032 9 802 336 659 111 678 760 937 958 842 557 823 363 205 95 1120 1 1053 796 532 230 636 66 381 584 991 466 933 891 708 215 1025 319 162 87 1084 869 806 503 490 224 986 653 171 756 404 600 275 1049 342 1012 6 60 914 388 7 491 418 140 635 813 742 1059 245 3 131 1023 950 625 498 752 1010 844 324 901 37 1075 265 166 797 870 262 104 523 786 382 425 942 625 698 12 464 830 641 1041 860 509 283 425 693 733 655 1025 974 535 472 302 21 371 3 211 1114 119 937 577 523 336 1013 70 924 315 701 319 160 244 450 801 1047 652 864 269 947 3 754 592 266 1073 248 663 1053 1017 457 830 990 601 523 762 118 46 322 65 498 431 4 928 227 345 534 0 979 923 435 699 733 652 806 581 268 757 139 13 1014 821 1098 86 60 368 796 147 1041 0 496 747 212 690 559 268 816 1083 872 933 647 363 968 510 971 530 1014 560 1132 698 105 791 351 252 584 1103 884 444 1069 29 849 955 641 474 976 658 785 648 8 563 932 434 1038 118 1055 238 105 882 383 155 285 488 96 1074 12 514 173 576 696 1054 1031 353 554 976 223 780 452 779 844 637 295 944 853 80 953 970 238 265 988 1027 339 931 164 17 542 63 698 156 1123 838 88 614 388 759 1 1127 776 548 885 179 400 252 157 14 573 520 206 1028 957 680 441 585 40 347 732 655 214 951 191 463 991 371 1035 102 1106 785 1 713 548 936 335 854 37 607 239 410 689 3 624 12 710 574 321 502 95 1103 952 1143 798 863 234 712 1035 489 

Verifier Data (download as text)

OK	26	7574
26 unsatisfied constraints, 7574 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111528-1215848193/watcher-1111528-1215848193 -o /tmp/evaluation-result-1111528-1215848193/solver-1111528-1215848193 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1111528-1215848193.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: 1.92 1.98 1.99 4/81 15256
/proc/meminfo: memFree=1697112/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) R 15254 15256 14344 0 -1 4194304 295 128 0 0 0 0 0 0 21 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952766565 0 2147483391 4100 65536 0 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0

[startup+0.033731 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15256
/proc/meminfo: memFree=1697112/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10264 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15256
/proc/meminfo: memFree=1697112/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302676 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15256
/proc/meminfo: memFree=1697112/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701755 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 15256
/proc/meminfo: memFree=1697112/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50191 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 15267
/proc/meminfo: memFree=1685320/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=844272 CPUtime=1.46
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 5699 0 1 0 141 5 0 0 18 0 9 0 41521531 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 211068 4974 1900 9 0 205629 0
[pid=15259/tid=15260] ppid=15256 vsize=844272 CPUtime=1.2
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 3449 0 1 0 118 2 0 0 25 0 9 0 41521532 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4125909216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15261] ppid=15256 vsize=844272 CPUtime=0.1
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 1016 0 0 0 10 0 0 0 16 0 9 0 41521534 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 41521534 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=844272 CPUtime=0.13
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 502 0 0 0 13 0 0 0 16 0 9 0 41521536 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 864534528 4974 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 864534528 4974 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.10223 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 15267
/proc/meminfo: memFree=1682312/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=844272 CPUtime=3.04
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 7460 0 1 0 297 7 0 0 18 0 9 0 41521531 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 211068 6380 2574 9 0 205629 0
[pid=15259/tid=15260] ppid=15256 vsize=844272 CPUtime=2.61
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 3617 0 1 0 258 3 0 0 25 0 9 0 41521532 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4125673033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15261] ppid=15256 vsize=844272 CPUtime=0.28
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 2609 0 0 0 26 2 0 0 16 0 9 0 41521534 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41521534 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=844272 CPUtime=0.13
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 502 0 0 0 13 0 0 0 16 0 9 0 41521536 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 864534528 6380 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 849628

[startup+6.30186 s]
/proc/loadavg: 1.93 1.98 1.99 3/91 15267
/proc/meminfo: memFree=1678920/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=844272 CPUtime=6.21
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 8399 0 1 0 611 10 0 0 18 0 9 0 41521531 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 211068 7025 2574 9 0 205629 0
[pid=15259/tid=15260] ppid=15256 vsize=844272 CPUtime=5.5
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 3911 0 1 0 546 4 0 0 25 0 9 0 41521532 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4125910520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15261] ppid=15256 vsize=844272 CPUtime=0.55
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 3254 0 0 0 51 4 0 0 16 0 9 0 41521534 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 41521534 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=844272 CPUtime=0.13
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 502 0 0 0 13 0 0 0 16 0 9 0 41521536 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=844272 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 864534528 7025 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 849628

[startup+12.7021 s]
/proc/loadavg: 1.93 1.98 1.99 3/92 15268
/proc/meminfo: memFree=1617152/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=850996 CPUtime=12.55
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 27032 0 1 0 1233 22 0 0 18 0 10 0 41521531 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212749 22796 2576 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=850996 CPUtime=10.06
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 5123 0 1 0 1000 6 0 0 25 0 10 0 41521532 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4125834085 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15261] ppid=15256 vsize=850996 CPUtime=1.93
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 18947 0 0 0 181 12 0 0 16 0 10 0 41521534 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=850996 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 41521534 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=850996 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 41521534 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=850996 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 41521536 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=850996 CPUtime=0.53
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2223 0 0 0 52 1 0 0 16 0 10 0 41521536 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=850996 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 41521536 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=850996 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 41521536 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15268] ppid=15256 vsize=850996 CPUtime=0
/proc/15259/task/15268/stat : 15268 (java) S 15256 15256 14344 0 -1 64 6 0 0 0 0 0 0 0 25 0 10 0 41522529 871419904 22796 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 856352

[startup+25.5026 s]
/proc/loadavg: 1.95 1.98 1.99 3/91 15268
/proc/meminfo: memFree=1454784/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=851000 CPUtime=25.22
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 67050 0 1 0 2484 38 0 0 18 0 9 0 41521531 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212750 62766 2580 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=851000 CPUtime=20.96
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 7271 0 1 0 2088 8 0 0 25 0 9 0 41521532 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4127370490 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15261] ppid=15256 vsize=851000 CPUtime=3.59
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 56752 0 0 0 333 26 0 0 16 0 9 0 41521534 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=851000 CPUtime=0.64
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2287 0 0 0 62 2 0 0 16 0 9 0 41521536 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62766 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 856356

[startup+51.1027 s]
/proc/loadavg: 1.96 1.98 1.99 3/91 15268

################
# More data... #
################

/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2293 0 0 0 63 2 0 0 16 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3320.86
Current children cumulated vsize (KiB) 856356

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15308
/proc/meminfo: memFree=1557960/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=851000 CPUtime=3380.83
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 67059 0 1 0 338040 43 0 0 18 0 9 0 41521531 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212750 62771 2580 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=851000 CPUtime=3376.55
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 7274 0 1 0 337642 13 0 0 25 0 9 0 41521532 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127370458 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15259/tid=15261] ppid=15256 vsize=851000 CPUtime=3.59
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 56752 0 0 0 333 26 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=851000 CPUtime=0.65
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2293 0 0 0 63 2 0 0 16 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3380.83
Current children cumulated vsize (KiB) 856356

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15308
/proc/meminfo: memFree=1557832/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=851000 CPUtime=3440.79
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 67059 0 1 0 344036 43 0 0 18 0 9 0 41521531 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212750 62771 2580 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=851000 CPUtime=3436.53
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 7274 0 1 0 343639 14 0 0 25 0 9 0 41521532 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127370445 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15259/tid=15261] ppid=15256 vsize=851000 CPUtime=3.59
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 56752 0 0 0 333 26 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=851000 CPUtime=0.65
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2293 0 0 0 63 2 0 0 16 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3440.79
Current children cumulated vsize (KiB) 856356

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15308
/proc/meminfo: memFree=1557768/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=851000 CPUtime=3500.77
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 67059 0 1 0 350034 43 0 0 18 0 9 0 41521531 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212750 62771 2580 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=851000 CPUtime=3496.5
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 7274 0 1 0 349636 14 0 0 25 0 9 0 41521532 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127309703 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15259/tid=15261] ppid=15256 vsize=851000 CPUtime=3.59
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 56752 0 0 0 333 26 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=851000 CPUtime=0.65
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2293 0 0 0 63 2 0 0 16 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3500.77
Current children cumulated vsize (KiB) 856356

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15308
/proc/meminfo: memFree=1557640/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=851000 CPUtime=3560.74
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 67059 0 1 0 356031 43 0 0 18 0 9 0 41521531 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212750 62771 2580 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=851000 CPUtime=3556.47
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 7274 0 1 0 355633 14 0 0 25 0 9 0 41521532 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127305837 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15259/tid=15261] ppid=15256 vsize=851000 CPUtime=3.59
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 56752 0 0 0 333 26 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=851000 CPUtime=0.65
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2293 0 0 0 63 2 0 0 16 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3560.74
Current children cumulated vsize (KiB) 856356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3621.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15308
/proc/meminfo: memFree=1557640/2055920 swapFree=4181068/4192956
[pid=15256] ppid=15254 vsize=5356 CPUtime=0
/proc/15256/stat : 15256 (concrete.sh) S 15254 15256 14344 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 41521530 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15256/statm: 1339 242 201 169 0 50 0
[pid=15259] ppid=15256 vsize=851000 CPUtime=3600.02
/proc/15259/stat : 15259 (java) S 15256 15256 14344 0 -1 0 67059 0 1 0 359959 43 0 0 18 0 9 0 41521531 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15259/statm: 212750 62771 2580 9 0 207310 0
[pid=15259/tid=15260] ppid=15256 vsize=851000 CPUtime=3595.76
/proc/15259/task/15260/stat : 15260 (java) R 15256 15256 14344 0 -1 64 7274 0 1 0 359562 14 0 0 25 0 9 0 41521532 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4127309843 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15259/tid=15261] ppid=15256 vsize=851000 CPUtime=3.59
/proc/15259/task/15261/stat : 15261 (java) S 15256 15256 14344 0 -1 64 56752 0 0 0 333 26 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15262] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15262/stat : 15262 (java) S 15256 15256 14344 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15263] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15263/stat : 15263 (java) S 15256 15256 14344 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 41521534 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15264] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15264/stat : 15264 (java) S 15256 15256 14344 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15265] ppid=15256 vsize=851000 CPUtime=0.65
/proc/15259/task/15265/stat : 15265 (java) S 15256 15256 14344 0 -1 64 2293 0 0 0 63 2 0 0 16 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15266] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15266/stat : 15266 (java) S 15256 15256 14344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15259/tid=15267] ppid=15256 vsize=851000 CPUtime=0
/proc/15259/task/15267/stat : 15267 (java) S 15256 15256 14344 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 41521536 871424000 62771 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 856356

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15256 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3621.62
CPU time (s): 3600.02
CPU user time (s): 3599.59
CPU system time (s): 0.43
CPU usage (%): 99.4036
Max. virtual memory (cumulated for all children) (KiB): 856680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 4

runsolver used 4.83526 second user time and 11.6552 second system time

The end

Launcher Data (download as text)

Begin job on node20 at 2008-07-12 09:36:33
IDJOB=1111528
IDBENCH=61288
IDSOLVER=336
FILE ID=node20/1111528-1215848193
PBS_JOBID= 7903374
Free space on /tmp= 66500 MiB

SOLVER NAME= Concrete + CSP4J - Tabu 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 -max -s Tabu BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111528-1215848193/watcher-1111528-1215848193 -o /tmp/evaluation-result-1111528-1215848193/solver-1111528-1215848193 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1111528-1215848193.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0d7f52239cc079a8b40c34e4f80db59c
RANDOM SEED=1808665876

node20.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.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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:       1697592 kB
Buffers:         33144 kB
Cached:          84368 kB
SwapCached:       5704 kB
Active:         239352 kB
Inactive:        59532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1697592 kB
SwapTotal:     4192956 kB
SwapFree:      4181068 kB
Dirty:            1792 kB
Writeback:           0 kB
Mapped:         197412 kB
Slab:            44240 kB
Committed_AS:   441852 kB
PageTables:       2188 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= 66492 MiB
End job on node20 at 2008-07-12 10:36:57