3.15/3.21	c CPU-LOAD 1.46
3.15/3.21	c LOADED 225 V (1174 E), 210 DiffConstraint, 1575 DTPConstraint, arity 2, 1.46 cpu
8.08/8.24	s SATISFIABLE
8.08/8.24	o 1687
8.08/8.24	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 630 281 467 258 382 659 321 406 763 364 463 117 649 580 264 412 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 1041 1004 533 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 850 17 77 159 629 41 291 628 161 150 188 755 937 841 342 227 575 780 476 71 234 445 382 604 991 959 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 359 435 1074 678 43 327 24 128 261 101 983 752 49 68 342 265 1122 42 83 154 402 557 789 105 396 194 229 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 555 466 1068 249 601 602 875 997 88 108 763 828 276 496 587 909 937 809 290 582 630 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 303 444 174 170 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.24	o 1688
8.08/8.24	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 467 258 382 659 321 406 763 364 463 117 649 580 264 412 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 1041 1004 533 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 850 17 77 159 629 41 291 628 161 150 188 755 937 841 342 227 575 780 476 71 234 445 382 604 991 959 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 359 435 1074 678 43 327 24 128 261 101 983 752 49 68 342 265 1122 42 83 154 402 557 789 105 396 194 229 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 555 466 1068 249 601 602 875 997 88 108 763 828 276 496 587 909 937 809 290 582 630 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 303 444 174 170 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.24	o 1689
8.08/8.24	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 467 258 382 659 321 406 763 364 463 117 649 580 264 412 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 1041 1004 533 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 850 17 77 159 629 41 291 628 161 150 188 755 937 841 342 227 575 780 476 71 234 445 382 604 991 959 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 359 435 1074 678 43 327 24 128 261 101 983 752 49 68 342 265 1122 42 83 154 402 557 789 105 396 194 229 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 555 466 1068 249 601 602 875 997 88 108 763 828 276 496 587 909 937 809 290 582 630 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 303 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.24	o 1690
8.08/8.24	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 467 258 382 659 321 406 763 364 463 117 649 580 264 412 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 1041 1004 533 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 850 17 77 159 629 41 291 628 161 150 188 755 937 841 342 227 575 780 476 71 234 445 382 604 991 959 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 359 435 1074 678 43 327 24 128 261 101 983 752 49 68 342 265 1122 42 83 154 402 557 789 105 396 194 229 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 555 466 1068 249 601 602 875 997 88 108 763 828 276 496 587 909 937 809 290 582 1076 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 303 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.25	o 1691
8.08/8.25	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 467 258 382 659 321 406 763 364 463 117 649 580 264 412 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 1041 1004 656 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 850 17 77 159 629 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 382 604 991 959 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 359 435 608 678 43 327 24 128 261 101 983 752 49 68 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 555 466 1068 249 601 602 875 997 88 108 763 833 276 496 587 909 937 809 290 582 1076 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 303 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.27	o 1692
8.08/8.27	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 1041 1004 656 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 2 17 77 159 629 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 1090 435 608 678 43 327 24 128 261 101 983 752 171 68 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 833 276 496 587 909 937 809 290 582 1076 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.27	o 1693
8.08/8.27	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 984 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 2 17 77 159 629 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 1090 435 608 678 43 327 24 128 261 101 983 752 171 68 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 833 276 496 587 909 937 809 290 582 1076 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.27	o 1694
8.08/8.27	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 197 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 2 17 77 159 629 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 484 707 1090 435 608 678 43 327 24 128 261 101 983 752 171 68 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 833 276 496 587 909 937 809 290 582 1076 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.28	o 1695
8.08/8.28	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 351 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 197 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 2 17 77 159 629 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 608 678 43 327 24 128 72 101 983 752 171 68 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 27 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 833 276 496 587 909 937 809 290 582 1076 640 878 613 680 0 42 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.28	o 1696
8.08/8.28	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 738 888 1072 424 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 197 918 257 428 705 832 198 376 871 917 818 294 53 511 306 562 1012 792 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 678 43 327 24 128 72 101 983 752 171 68 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 833 276 496 587 909 937 809 290 582 1076 640 878 139 680 0 42 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 871 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.29	o 1697
8.08/8.29	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 738 888 1072 427 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 306 562 1012 792 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 678 43 327 24 128 72 101 983 752 171 217 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 827 276 496 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 888 492 792 870 571 211 
8.08/8.30	o 1698
8.08/8.30	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 738 888 1072 427 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 306 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 11 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 678 43 327 24 128 72 101 983 752 171 217 342 265 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 74 282 815 939 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 827 276 496 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 888 492 792 870 571 211 
8.18/8.30	o 1699
8.18/8.30	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 738 888 1072 427 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 306 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 678 43 327 24 128 72 101 983 752 171 217 342 1034 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 218 282 815 939 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 827 276 496 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 118 641 77 336 765 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 888 492 792 870 571 211 
8.18/8.30	o 1700
8.18/8.30	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 738 888 1072 427 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 306 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 31 824 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 678 43 327 24 128 72 101 983 752 171 217 342 1034 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 510 166 218 282 815 939 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 827 276 496 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 369 641 77 336 765 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 888 492 792 870 571 211 
8.18/8.31	o 1701
8.18/8.31	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 760 183 22 44 147 660 811 512 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 31 828 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 1139 43 327 24 128 72 101 983 752 171 217 342 1034 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 88 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 369 641 77 336 765 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.31	o 1702
8.18/8.31	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 454 701 22 281 432 258 382 659 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 760 183 22 44 147 660 811 139 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 31 828 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 1139 43 327 24 128 72 101 983 752 171 217 342 1034 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1028 445 397 466 1068 249 601 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 369 641 77 336 765 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.32	o 1703
8.18/8.32	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 893 701 22 281 432 258 382 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 654 183 22 44 147 660 811 139 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 31 828 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 1139 43 327 24 128 72 101 983 752 171 217 342 1034 1122 42 83 154 402 557 789 105 396 185 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1045 445 397 466 1068 249 601 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 139 680 0 69 275 369 641 77 336 719 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.33	o 1704
8.18/8.33	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 893 701 22 281 432 258 382 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 654 183 22 44 147 660 811 139 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 1030 412 709 479 707 1090 435 536 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 42 83 154 402 557 789 105 396 884 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1045 445 397 466 1068 249 601 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 69 275 369 641 77 336 719 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.33	o 1705
8.18/8.33	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 893 701 22 281 432 258 382 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 654 183 22 44 147 660 811 139 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 709 479 707 1090 1129 536 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 42 83 154 402 557 789 105 396 884 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 77 336 719 503 646 933 228 325 1105 444 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.33	o 1706
8.18/8.33	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 893 701 22 281 432 258 382 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 654 183 22 44 147 660 811 139 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 709 479 707 1090 1129 536 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 42 83 154 402 557 789 105 396 884 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 77 336 719 503 646 933 228 325 1105 1163 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.34	o 1707
8.18/8.34	v 30 82 192 1068 100 466 783 53 267 782 152 231 796 893 1147 22 281 432 258 382 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 427 825 363 654 183 22 44 147 660 811 139 318 552 811 1004 656 704 945 958 191 918 257 428 705 832 198 376 826 917 818 294 53 511 708 562 1012 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 201 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 709 479 707 1090 1129 536 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 42 83 154 402 557 789 105 396 884 0 3 235 308 496 166 218 282 815 1126 936 1073 412 716 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 77 336 719 503 646 933 228 325 1105 1163 174 564 4 96 156 356 989 362 463 940 492 792 870 571 211 
8.18/8.36	o 1708
8.18/8.36	v 30 82 192 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 382 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 321 825 363 654 183 22 44 147 660 811 992 318 552 811 1004 656 704 945 946 191 918 257 428 705 846 198 376 826 540 818 294 53 511 708 291 841 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 709 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 42 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 282 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 503 646 933 228 325 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.18/8.37	o 1709
8.18/8.37	v 30 82 192 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 321 825 363 654 183 22 44 147 660 811 992 318 552 811 1004 656 704 945 946 191 918 257 428 705 846 198 376 826 540 818 294 53 511 708 291 841 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 709 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 1149 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 282 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 503 646 933 228 384 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.18/8.37	o 1710
8.18/8.37	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 321 825 363 654 183 22 44 147 660 811 992 318 552 811 1004 656 704 945 946 191 918 257 428 705 846 198 376 826 540 818 294 53 511 708 291 841 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 709 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 1149 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 282 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 503 646 933 228 384 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.18/8.37	o 1711
8.18/8.37	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 321 825 363 654 183 22 44 147 660 811 992 318 552 811 1004 656 704 945 946 191 918 299 428 705 846 198 376 826 540 818 294 53 511 708 291 841 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 459 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 1149 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 282 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 650 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 503 646 933 228 384 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.18/8.38	o 1712
8.18/8.38	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 321 825 363 654 183 22 44 147 660 811 992 318 552 811 1004 656 704 945 946 191 918 299 428 705 846 198 376 826 590 818 294 53 511 708 291 841 244 513 2 17 77 159 448 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 709 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 459 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 1149 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 282 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 66 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 503 646 933 228 384 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.18/8.38	o 1713
8.18/8.38	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 264 1080 91 314 560 682 888 1072 321 186 363 654 183 22 44 147 660 811 992 63 552 811 1004 656 704 945 946 191 918 299 428 705 846 198 376 826 590 818 294 53 511 708 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 1042 461 342 683 938 1055 146 253 1057 715 743 828 191 1050 221 614 659 877 9 412 459 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 1149 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 282 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 997 1 108 763 827 276 66 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 503 646 933 228 384 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.18/8.39	o 1714
8.18/8.39	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 1026 1060 91 314 560 682 888 1072 321 186 363 654 183 22 44 147 660 811 992 63 552 811 1004 656 704 945 946 191 918 299 428 705 846 198 376 826 590 818 294 53 511 708 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 1117 69 713 925 1042 461 342 683 938 1055 20 253 1057 715 743 828 191 1050 221 614 659 877 9 412 459 479 707 1090 1148 950 1139 43 327 24 128 72 101 983 7 171 217 342 1034 1122 1150 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 249 406 602 875 1044 88 108 763 827 276 66 587 909 937 809 290 582 1076 640 878 997 680 0 55 275 369 641 1109 336 719 495 646 933 228 384 1105 1163 174 564 4 96 156 356 687 362 463 940 1 792 870 571 211 
8.28/8.41	o 1715
8.28/8.41	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 1026 1060 91 314 560 682 888 1091 106 186 363 654 183 22 44 147 660 811 992 63 552 811 1004 144 704 945 946 191 918 303 428 705 846 198 376 866 590 818 294 53 511 708 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 488 69 713 925 1042 461 342 683 938 1055 20 253 1057 715 1074 828 191 1050 221 614 659 877 9 412 459 479 707 1090 1148 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 276 66 587 909 976 809 290 582 1076 640 878 997 680 0 55 275 369 641 76 336 776 495 646 933 228 384 1105 1163 174 564 880 96 156 356 687 362 463 940 533 792 870 571 211 
8.28/8.41	o 1716
8.28/8.41	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 580 1026 1060 91 314 560 682 888 1091 106 186 363 654 183 22 44 147 660 811 992 63 552 811 1004 144 704 785 946 191 918 303 428 705 846 198 376 866 590 818 294 53 511 708 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 937 841 342 227 575 780 476 71 234 445 507 604 991 488 69 713 925 1042 461 342 683 938 1055 20 253 1057 715 1074 828 191 1050 221 614 659 877 9 412 459 479 707 1090 1148 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 218 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 276 66 587 909 976 809 290 582 1076 640 878 997 680 0 55 275 369 641 76 336 776 495 646 933 228 384 1105 1163 174 564 880 96 156 356 687 362 463 940 533 792 870 571 211 
8.28/8.44	o 1717
8.28/8.44	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 463 117 649 614 1026 1051 91 314 560 682 888 1106 106 186 363 654 183 22 44 147 660 811 992 1140 552 811 1004 144 704 785 938 191 918 303 428 705 846 329 376 469 590 35 294 53 511 708 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 942 841 342 227 575 780 476 71 234 445 507 604 981 490 69 713 925 1042 461 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 877 24 412 459 479 707 1090 822 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 78 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 883 290 582 1076 640 878 1021 662 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 1010 96 156 356 687 362 463 922 533 792 870 571 211 
8.28/8.45	o 1718
8.28/8.45	v 30 82 982 1068 100 578 783 53 267 782 152 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 853 117 649 614 1026 1051 91 314 560 682 888 1106 106 186 363 654 183 22 44 147 660 811 992 1140 552 811 1004 144 704 785 938 191 918 303 428 705 846 329 376 469 590 35 294 53 511 708 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 942 841 342 227 575 780 476 71 234 445 507 604 981 490 69 713 925 1042 461 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 877 24 412 459 479 707 1090 822 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 78 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 883 290 582 1076 640 878 1021 662 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 1010 96 156 356 687 362 463 922 533 792 870 571 211 
8.28/8.46	o 1719
8.28/8.46	v 30 82 982 1068 100 578 783 29 267 782 135 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 853 117 649 614 1026 1051 91 314 560 682 888 1106 106 186 363 858 183 22 44 147 660 811 992 1140 552 811 1004 144 704 785 938 191 918 303 428 705 846 329 376 469 590 49 294 53 511 1115 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 942 908 342 227 575 780 476 71 234 445 507 604 981 490 69 713 925 1042 461 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 877 11 412 459 479 707 1090 822 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 78 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 883 290 582 1076 640 878 1021 657 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 1010 96 156 356 687 362 463 922 533 792 870 571 211 
8.28/8.46	o 1720
8.28/8.46	v 30 82 982 1068 100 578 783 29 267 782 135 231 796 893 1147 22 281 432 258 367 277 321 406 763 364 853 117 649 614 1026 1051 91 314 560 682 888 1106 106 186 363 858 183 22 44 147 660 811 992 1140 552 811 1004 144 704 785 938 191 918 303 428 705 846 329 376 469 590 49 294 53 511 1115 291 841 244 513 2 17 77 159 359 41 291 628 1066 150 188 755 848 908 342 227 575 780 476 71 234 445 507 604 981 490 69 713 925 1042 461 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 877 11 412 459 479 707 1090 822 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 78 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 883 290 582 1076 640 878 1021 657 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 1010 96 156 356 687 362 463 922 533 792 870 571 600 
8.28/8.48	o 1721
8.28/8.48	v 30 82 982 1068 100 578 783 29 267 782 135 231 796 893 1147 22 281 432 258 342 277 321 406 763 364 853 117 649 614 1043 1070 91 314 560 682 888 1106 106 186 363 858 183 22 44 147 660 811 992 1140 552 811 1004 673 704 785 938 185 918 258 428 705 787 329 376 469 833 49 294 738 511 1115 291 841 244 513 2 17 77 159 320 55 291 628 1066 79 188 755 848 896 342 227 575 780 476 71 234 445 507 604 981 490 69 713 925 1042 24 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 871 11 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 883 290 582 1076 640 878 1021 657 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 792 550 571 600 
8.28/8.48	o 1722
8.28/8.48	v 30 82 982 1068 100 578 763 29 267 782 135 231 742 893 1147 22 281 432 258 342 277 321 406 763 364 853 117 649 614 1043 1070 91 314 560 682 888 1106 106 186 363 858 183 22 44 147 660 811 992 1140 552 811 1004 673 704 785 938 185 918 258 428 705 787 329 376 469 833 49 294 738 511 1115 291 841 244 513 2 17 77 159 320 55 291 628 1066 79 188 755 848 896 342 227 575 780 476 71 234 445 507 604 981 490 69 713 925 1042 24 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 871 11 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 883 290 582 1076 640 878 1021 657 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 792 550 571 600 
8.28/8.49	o 1723
8.28/8.49	v 30 82 982 1045 100 578 763 29 267 782 135 231 742 893 1147 22 281 432 258 342 277 321 406 763 364 853 117 649 614 1043 1070 91 314 560 682 888 1102 106 186 363 858 183 22 44 147 660 811 992 1140 552 811 1004 604 704 785 938 185 918 258 428 705 787 329 376 469 833 49 294 738 511 1115 291 841 244 513 2 17 77 159 320 55 291 628 1066 79 188 755 848 896 342 227 575 780 476 3 234 445 507 604 981 490 69 713 925 1042 24 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 871 11 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 15 83 154 402 557 789 105 396 884 931 3 235 308 496 629 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 88 108 763 827 1017 66 587 909 705 871 290 582 1076 640 878 1021 657 0 55 275 369 641 76 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 792 550 571 600 
8.38/8.50	o 1724
8.38/8.50	v 30 82 982 1045 100 578 763 29 267 782 135 231 742 893 1147 22 281 432 258 342 656 321 406 763 364 853 117 649 614 1043 1070 91 314 560 682 888 1102 106 186 363 858 3 22 44 147 660 811 992 1140 552 811 1004 604 704 785 938 185 918 258 428 705 787 329 376 469 833 49 294 738 511 678 291 841 244 513 2 17 77 159 320 55 291 628 1066 79 188 755 848 896 342 227 575 780 476 3 234 445 507 604 981 490 69 713 925 1042 24 342 683 938 1055 20 253 1057 307 1074 828 191 1050 221 614 659 881 11 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 1158 83 154 402 557 789 105 396 884 931 3 235 308 496 629 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 1141 108 763 827 1017 66 587 909 705 871 290 582 1076 640 878 1021 657 0 55 275 369 617 1048 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 792 550 571 600 
8.38/8.51	o 1725
8.38/8.51	v 30 82 982 1045 100 578 763 29 267 782 135 231 742 893 1147 22 281 432 258 342 656 321 406 747 364 853 117 649 614 826 1070 91 314 560 682 888 1102 106 186 363 858 3 22 44 147 660 811 992 1140 552 811 1004 604 704 785 938 185 918 258 428 705 787 329 376 469 833 49 294 738 511 678 291 841 244 513 2 17 77 159 320 55 291 628 1066 79 188 755 848 896 342 227 575 780 476 3 234 445 507 604 981 490 69 713 925 1042 24 342 683 938 1055 20 253 1057 307 576 828 191 1050 221 614 659 881 11 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 1158 83 154 402 557 789 105 396 884 931 3 235 308 496 1015 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 1141 108 763 827 1017 66 587 667 705 871 290 582 1076 640 878 1021 657 0 55 275 369 617 1048 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 792 550 571 600 
8.38/8.52	o 1726
8.38/8.52	v 30 82 982 1045 100 578 763 29 267 782 135 231 742 893 1147 22 281 432 258 342 656 321 406 747 364 853 117 649 614 826 1070 91 314 462 682 888 1102 106 186 363 858 3 22 44 147 660 811 992 1140 552 811 1004 604 704 785 938 185 918 258 428 705 787 329 376 469 833 49 294 738 511 631 291 841 244 513 2 17 77 159 712 55 291 628 1066 147 188 755 848 896 342 227 575 780 975 3 234 445 507 604 981 490 69 713 925 1042 24 342 683 938 1055 169 253 1057 307 576 828 222 1017 221 614 659 881 28 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 1158 83 154 402 557 789 105 396 884 931 3 235 308 496 1015 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 1141 108 763 827 1017 66 587 667 705 871 290 582 1076 640 878 1021 657 0 55 275 369 617 165 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 743 550 571 600 
8.38/8.53	o 1727
8.38/8.53	v 30 82 982 1045 100 578 763 29 267 1084 135 231 742 893 1147 22 281 432 258 342 656 321 406 747 1073 853 117 649 614 826 1070 91 314 462 682 888 1102 106 186 363 858 3 22 44 147 660 811 992 1140 552 811 1004 604 704 785 938 196 918 258 428 705 787 329 376 469 833 49 294 738 511 631 291 841 244 513 2 17 77 159 712 55 291 628 1066 147 188 755 848 896 1001 227 575 780 975 3 234 445 507 604 981 490 599 713 925 1042 24 342 683 938 1055 169 253 1057 307 576 828 222 1017 221 614 659 881 28 412 459 479 707 1090 1131 950 1139 43 327 17 128 72 101 983 49 171 217 342 1034 1122 1158 83 154 402 557 789 105 396 884 931 3 235 308 496 1015 85 660 815 1126 936 1073 412 695 751 1045 445 397 466 1068 335 406 602 875 1044 1141 108 763 827 1017 66 587 667 705 877 290 582 1076 640 878 1021 657 0 55 275 369 617 165 336 776 495 646 943 228 384 1105 1163 174 564 971 96 156 356 687 362 463 922 533 743 550 571 600 
8.48/8.64	o 1728
8.48/8.64	v 30 71 982 1045 100 578 763 817 950 1084 136 231 742 893 1147 22 281 432 922 342 656 321 406 747 1073 853 80 488 591 387 1080 91 314 462 682 888 1102 106 186 363 793 1009 1172 44 147 660 811 993 1124 552 811 32 604 704 785 926 235 934 258 428 705 830 329 376 951 1112 49 294 738 638 1035 291 841 244 513 2 17 77 159 712 55 291 557 1066 28 188 755 848 896 1001 227 575 780 975 0 234 445 507 604 1065 493 599 713 925 1042 24 342 683 938 1089 60 253 1057 307 576 796 238 1017 221 614 659 1157 28 412 459 479 707 8 510 950 1119 43 327 634 128 72 101 983 945 190 217 342 1034 1122 1158 335 154 402 557 789 105 396 884 1018 3 235 308 496 1089 74 660 802 614 936 1073 412 695 751 827 445 350 466 1071 262 406 602 875 1044 25 108 763 827 25 66 587 667 705 877 290 582 1075 640 878 1021 484 0 55 275 369 891 165 336 774 896 1071 112 228 384 1105 1163 174 564 971 86 156 356 480 603 664 922 533 743 674 571 600 
8.58/8.70	o 1729
8.58/8.70	v 30 71 982 1075 100 578 763 817 950 1084 136 231 742 893 1147 22 281 432 937 342 705 321 406 747 847 853 1029 488 591 1086 1080 91 314 462 682 888 1104 106 186 363 793 1009 1065 41 147 660 811 993 1124 552 811 32 604 704 785 926 244 934 258 428 705 830 329 376 951 1042 49 294 738 681 1035 291 841 244 513 2 17 77 159 712 55 291 557 1066 28 188 755 848 901 1001 227 575 780 975 0 234 445 507 604 1065 493 599 713 925 1042 24 342 683 938 97 170 253 372 307 576 796 238 1063 221 614 659 1131 28 412 459 479 707 8 510 624 1119 43 327 634 128 72 101 362 930 190 217 342 1034 1122 1158 335 154 402 557 789 105 396 884 1018 3 235 308 534 412 483 660 802 26 936 1073 412 695 751 162 445 350 466 747 276 406 602 875 1044 37 108 763 827 1112 66 587 667 705 872 290 582 1075 640 878 1021 456 0 891 275 369 896 165 336 774 896 24 113 228 384 1105 1163 174 564 971 68 110 356 480 603 664 922 533 743 674 571 600 
8.58/8.74	o 1730
8.58/8.74	v 30 71 982 1075 100 578 752 817 950 1084 149 231 742 893 1147 22 281 432 937 342 705 321 406 747 1056 853 1130 488 591 1086 1001 78 314 462 682 888 1104 106 186 363 793 1009 1060 4 147 660 811 993 1117 552 966 34 604 704 785 926 255 912 258 428 705 830 329 376 951 1042 49 294 738 681 1035 291 841 244 513 2 17 77 159 43 55 246 557 1066 28 188 755 848 901 1001 227 575 780 975 0 234 445 507 604 1065 493 599 713 925 1042 24 342 683 938 97 170 253 372 532 576 802 238 1063 221 614 659 1032 28 412 459 479 707 8 510 624 996 43 327 644 158 72 101 362 930 190 217 342 1034 1122 1158 335 154 402 557 789 105 396 884 1018 0 235 308 534 1150 483 660 802 26 936 1073 412 695 751 162 435 540 466 747 996 406 602 875 1044 37 108 763 827 1112 66 587 667 705 872 290 582 1075 640 878 1021 413 0 891 275 369 880 165 336 774 896 973 113 228 384 1105 1163 174 564 971 68 110 356 480 603 664 922 609 743 674 369 600 
8.58/8.74	o 1731
8.58/8.74	v 30 71 982 1075 100 578 752 817 950 1084 149 231 742 893 1147 22 281 432 937 342 705 321 406 747 1056 853 1130 488 591 1086 1001 78 314 462 682 888 1104 106 186 363 793 1009 1060 4 147 660 811 993 1117 552 966 34 604 704 785 926 255 912 258 428 705 830 329 376 951 1042 49 294 738 681 1035 291 841 244 513 2 17 77 159 43 55 246 557 1066 28 188 755 848 901 1001 227 575 780 975 0 234 445 507 604 1065 493 599 713 925 1042 24 342 683 938 97 170 253 372 532 576 802 238 1063 221 614 659 1032 28 412 459 479 707 8 510 624 996 43 327 644 158 72 101 362 930 190 217 342 1034 1122 1158 335 154 402 557 789 105 396 884 1018 0 235 308 534 1150 84 660 802 26 936 1073 412 695 751 162 435 540 466 747 996 406 602 875 1044 37 108 763 827 1112 66 587 667 705 872 290 582 1075 640 878 1021 413 0 891 275 369 880 165 336 774 896 973 113 228 384 1105 1163 174 564 971 68 110 356 480 603 664 922 609 743 674 369 600 
8.58/8.76	o 1732
8.58/8.76	v 30 71 982 1075 209 578 752 817 950 132 149 231 742 893 1147 22 281 432 970 342 705 321 406 747 1056 853 1130 488 591 1086 1001 78 314 462 682 888 1104 106 186 363 793 1009 1060 4 147 660 811 993 1117 552 966 34 604 704 785 926 255 912 258 428 705 830 1009 376 951 1042 70 294 738 681 1040 291 841 244 513 2 17 77 159 356 55 246 557 1066 28 188 755 848 901 1001 227 575 780 975 11 234 445 507 604 1065 493 599 713 925 1042 24 342 683 938 97 170 253 372 532 576 802 238 1063 221 614 659 1032 28 412 459 479 707 8 510 624 996 43 327 644 158 72 101 362 930 202 217 342 1034 1122 1158 335 154 402 557 789 105 396 884 1018 0 235 308 534 1150 84 660 802 26 936 1040 412 695 751 162 435 354 438 747 996 406 602 875 1044 37 108 763 827 1112 66 587 667 705 872 290 582 1086 640 878 1021 413 0 891 275 369 880 165 336 774 896 973 113 228 384 1105 1163 174 564 971 68 110 356 480 603 664 922 169 743 674 369 600 
8.67/8.83	o 1733
8.67/8.83	v 30 71 982 1059 209 578 724 817 948 132 149 231 742 893 1147 22 281 432 985 532 8 321 406 747 46 853 1130 488 591 1086 1001 71 314 462 682 888 1104 106 186 363 793 1009 1060 10 147 660 811 993 129 552 966 1097 604 704 785 926 221 912 258 428 705 830 1009 376 951 1051 70 294 798 690 1040 291 402 297 513 2 17 77 159 356 55 246 557 1066 28 188 755 848 901 1001 227 575 780 895 11 234 445 507 604 1048 493 599 713 925 1042 24 342 683 938 83 170 253 372 532 576 789 237 997 221 614 659 1032 1112 412 459 479 707 8 510 624 981 32 327 644 1079 72 101 362 930 202 217 342 1034 1122 139 335 162 402 557 789 105 396 884 1018 0 205 308 534 1096 84 660 802 517 965 1040 412 695 783 162 435 711 438 747 996 406 602 875 1044 37 108 763 827 1112 32 587 667 705 842 327 582 792 636 878 1021 477 0 891 37 369 880 165 336 774 896 1088 113 228 384 1105 1163 174 564 971 25 110 356 480 603 664 922 1122 743 674 369 600 
8.67/8.85	o 1734
8.67/8.85	v 30 71 982 1059 209 578 724 817 948 132 149 231 742 893 1147 22 281 432 985 532 630 321 406 747 46 853 1130 488 591 828 1001 71 314 462 682 888 1110 106 186 363 793 1009 1060 10 147 660 811 993 129 552 966 1097 604 704 785 926 221 912 49 428 705 830 337 376 951 1051 70 294 798 690 1040 291 402 297 513 2 17 77 159 475 55 246 557 1066 28 188 755 848 901 1001 227 575 780 895 11 234 445 507 604 1048 493 599 713 925 1042 24 342 683 938 83 170 253 372 532 576 804 237 997 221 614 659 1032 1112 412 459 479 707 268 510 624 981 32 327 644 1079 72 101 362 930 202 217 342 1034 1122 139 335 162 402 557 789 105 396 884 1018 0 205 308 534 1096 84 660 372 517 965 1040 412 695 783 162 435 570 438 747 996 450 602 875 1044 37 108 763 827 1112 49 587 667 705 842 327 582 1088 636 878 1021 477 0 792 37 369 882 165 336 774 896 1088 113 228 384 1105 1163 174 564 971 25 110 356 480 603 664 922 1122 743 674 369 600 
8.97/9.15	o 1735
8.97/9.15	v 30 272 982 1051 209 578 697 817 948 1029 137 231 742 893 1147 22 274 432 904 532 24 321 406 747 61 853 8 488 591 828 504 157 314 462 682 888 1085 106 186 363 402 1009 1154 33 147 660 805 950 522 552 966 1096 604 704 790 118 218 874 4 428 705 792 305 376 567 777 1006 815 369 58 666 807 149 289 513 2 17 77 159 475 1107 246 557 1049 23 188 755 848 889 395 227 575 780 895 46 234 445 507 604 998 33 599 713 925 1042 24 342 683 926 1065 21 253 372 532 568 804 926 1014 174 614 659 1032 1058 33 459 479 1035 1123 512 624 981 105 327 644 1093 72 101 362 930 204 217 342 343 427 871 31 162 402 557 789 105 396 458 1018 1065 24 308 941 1149 84 670 218 517 965 1040 412 695 783 1045 647 1078 438 747 1007 1116 71 875 1044 71 108 763 857 156 279 587 667 705 841 327 582 706 801 878 296 474 0 67 263 369 882 12 336 696 857 1147 125 228 384 1105 1163 174 564 971 1060 102 356 480 603 725 922 1132 345 674 1123 1161 
8.97/9.15	o 1736
8.97/9.15	v 30 272 982 1051 209 578 697 817 948 1029 137 231 742 893 1147 22 274 432 904 532 24 321 406 747 61 853 8 488 591 828 504 157 314 462 682 888 1085 106 186 363 402 1009 1154 33 147 660 805 950 522 552 966 1096 604 704 790 118 218 874 4 428 705 792 305 376 567 777 1006 815 369 58 666 807 149 289 513 2 17 77 159 1045 1107 246 557 1049 23 188 755 848 889 395 227 575 780 895 46 234 445 507 604 998 33 599 713 925 1042 24 342 683 926 1065 21 253 372 532 568 804 926 1014 174 614 659 1032 1058 33 459 479 1035 1123 512 624 981 105 327 644 1093 72 101 362 930 204 217 342 343 427 871 31 162 402 557 789 105 396 458 1018 1065 24 308 941 1149 84 670 218 517 965 1040 412 695 783 1045 647 1078 438 747 1007 1116 71 875 1044 71 108 763 857 156 279 587 667 705 841 327 582 706 801 878 296 474 0 67 263 369 882 12 336 696 857 1147 125 228 384 1105 1163 174 564 971 1060 102 356 480 603 725 922 1132 345 674 1123 1161 
9.27/9.46	o 1737
9.27/9.46	v 30 226 514 181 364 578 697 806 948 1092 137 231 742 893 1147 22 84 432 896 1031 1109 271 406 728 807 853 1 488 591 828 523 157 314 462 682 888 994 1058 186 363 402 499 538 947 1005 660 834 162 235 430 966 1093 604 704 783 94 218 874 1013 405 705 789 1094 376 685 777 1002 40 440 69 285 74 139 289 513 2 17 77 159 1045 1107 246 557 1049 434 992 755 848 897 1094 227 575 780 895 63 234 445 507 604 1036 496 599 713 925 1042 24 342 683 926 1058 160 253 372 532 568 804 926 1014 174 614 659 1032 1048 54 164 479 1035 118 150 624 996 67 327 644 1092 72 101 362 685 843 990 294 522 427 871 28 80 402 557 789 105 396 458 1018 112 214 308 941 10 84 955 168 517 965 1040 412 695 802 615 683 352 442 747 1007 1102 71 875 1062 48 108 763 861 76 411 587 667 705 850 1017 1131 706 36 869 1132 421 0 78 263 369 634 1049 336 696 857 1152 125 228 326 1105 1163 174 564 971 1083 155 356 560 4 302 922 4 1106 364 1123 1161 
9.27/9.47	o 1738
9.27/9.47	v 30 226 514 181 364 578 697 806 948 1092 137 231 742 893 1147 22 84 432 896 1031 1109 271 406 728 807 853 1 488 591 828 523 157 314 462 682 888 994 1058 186 363 402 499 538 947 150 660 834 162 235 430 966 1093 604 704 783 94 218 874 1013 405 705 789 1094 376 685 777 1002 40 440 69 285 74 139 289 513 2 17 77 159 1045 1107 246 557 1049 434 992 755 848 897 1094 227 575 780 895 63 234 445 507 604 1036 496 599 713 925 1042 24 342 683 926 1058 160 253 372 532 568 804 926 1014 174 614 659 1032 1048 54 164 479 1035 118 150 624 996 67 327 644 1092 72 101 362 685 843 990 294 522 427 903 28 80 402 557 789 105 396 458 1018 112 214 308 941 10 84 955 168 517 965 1040 412 695 802 615 683 352 442 747 1007 1102 71 875 1062 48 108 763 861 76 411 587 667 705 850 1017 1131 706 36 869 1132 421 0 78 263 369 634 1049 336 696 857 1152 125 228 326 1105 1163 174 564 971 1083 155 356 560 4 302 922 1022 1106 364 1123 1161 
9.37/9.51	o 1739
9.37/9.51	v 30 226 514 181 364 578 697 806 948 1092 137 231 742 893 1147 22 84 432 896 1031 33 271 406 728 807 853 1 488 591 828 523 157 314 462 682 888 988 1058 62 363 402 499 538 947 146 660 834 162 235 430 966 1093 604 704 783 76 218 874 42 405 705 789 1094 376 685 777 1002 40 440 69 285 74 139 289 513 2 17 77 159 1045 38 246 557 1049 418 597 755 848 897 1094 227 575 780 895 63 234 445 507 604 1036 496 599 713 925 1042 24 342 683 926 1058 160 253 372 532 568 804 926 1014 174 614 659 1032 1048 54 164 479 1035 1111 150 624 996 52 327 644 1092 72 101 362 685 843 990 294 522 1119 690 28 80 402 557 789 105 396 458 1018 110 214 308 941 10 84 957 203 517 965 1040 412 695 802 952 683 352 442 747 1007 1102 71 875 1062 1152 108 763 865 1128 411 587 667 705 850 1017 43 706 36 869 1132 421 0 71 263 369 634 1049 336 696 857 1152 125 228 326 1105 1163 174 564 971 1083 155 356 560 1110 302 922 1022 1116 364 1123 1161 
9.37/9.54	o 1741
9.37/9.54	v 30 226 514 181 364 578 697 806 948 1092 137 231 742 893 1147 22 79 432 896 1031 58 271 406 728 807 853 1 488 591 828 515 165 314 462 682 888 988 1087 169 363 402 499 538 947 146 660 834 162 235 430 966 1093 604 704 783 76 218 874 42 405 705 789 1094 374 685 777 1002 40 440 69 298 74 139 289 513 2 17 77 159 440 10 246 557 1042 405 597 755 848 897 1094 227 575 780 895 63 234 445 507 604 1036 496 599 713 925 1042 24 342 683 926 19 160 253 372 532 568 804 926 1014 174 614 659 1032 1045 24 164 479 1035 1111 362 624 996 70 327 644 838 72 101 362 685 843 990 294 522 629 690 28 80 402 557 789 105 396 458 1018 110 214 308 941 10 84 957 172 517 965 1040 412 695 802 952 683 352 442 747 1007 1102 71 875 1062 1152 108 763 865 1128 411 587 667 705 850 1017 43 706 36 869 301 421 0 71 263 369 634 1049 336 696 857 1156 125 228 326 1105 1163 174 564 971 1083 155 356 560 1110 302 922 1022 1116 364 1123 1161 
9.76/9.97	o 1742
9.76/9.97	v 30 177 45 221 364 578 697 806 886 1065 1099 231 742 855 1147 22 161 432 938 1093 189 271 411 707 786 835 933 454 591 835 542 810 54 276 682 888 985 1123 198 363 402 499 538 947 1014 660 1009 1132 393 430 966 18 604 704 810 107 218 874 313 393 3 108 228 374 461 777 1007 1139 440 867 23 295 986 1086 513 2 17 77 159 16 73 307 557 1053 1153 139 755 848 897 1094 227 575 780 895 38 234 445 507 790 1040 477 599 713 925 1042 24 342 683 882 94 160 253 372 532 568 795 926 1002 315 614 659 1032 1043 20 164 479 1036 1141 243 624 895 36 327 644 808 72 101 362 632 59 210 297 522 629 901 3 80 402 557 789 105 396 458 1095 122 214 308 464 297 557 649 173 517 965 1040 179 695 802 955 1059 141 217 747 1077 515 831 967 1095 614 700 763 808 147 54 587 667 705 850 1069 8 706 972 91 161 421 0 41 263 369 728 1057 375 696 857 1085 125 228 326 1105 1163 174 564 971 1097 155 356 12 124 302 922 1022 1116 1029 1123 1161 
9.86/10.09	o 1743
9.86/10.09	v 30 177 512 221 364 578 697 806 899 1065 106 231 742 855 1147 22 74 432 938 1092 200 271 411 707 786 835 933 975 591 835 542 793 466 276 682 888 985 1123 198 363 402 499 538 928 194 660 1009 241 393 430 1028 34 604 704 799 83 218 865 1026 393 3 108 228 374 461 777 1007 1109 440 528 23 295 986 1034 1099 2 17 77 159 16 73 307 557 1082 113 139 755 848 897 1094 227 575 780 895 29 234 445 507 790 1051 504 670 713 925 1042 24 342 683 882 1089 34 253 372 532 568 795 926 1002 311 614 659 1032 1051 78 164 479 1036 1141 242 624 895 53 327 644 12 72 101 362 19 80 210 297 522 629 894 381 60 402 557 789 105 396 458 626 122 214 308 464 532 557 656 189 517 965 1040 179 695 802 955 1071 141 217 753 283 515 831 967 1095 614 700 763 808 1003 44 587 667 705 850 0 682 706 962 91 161 421 0 41 263 369 690 1057 378 696 857 1142 125 228 326 1105 1163 174 564 971 98 155 356 511 1118 297 922 1022 1125 1029 1123 1161 
9.95/10.11	o 1744
9.95/10.11	v 30 177 512 221 364 578 697 806 899 1065 106 231 742 855 1147 22 74 432 938 1068 200 271 411 707 786 835 933 455 591 835 542 793 466 276 682 888 985 1123 198 363 402 499 538 928 194 660 1009 1093 393 430 1028 34 604 704 799 83 218 865 1026 393 3 108 228 374 461 777 1007 1109 440 528 93 295 986 1034 1099 2 17 77 159 1081 13 307 557 1082 28 139 755 848 897 1094 227 575 780 895 29 234 445 507 790 1051 504 670 713 925 1042 24 342 683 882 1089 34 253 372 532 568 795 926 1002 311 614 659 1032 1051 76 164 479 1036 1141 242 624 978 53 327 644 12 72 101 362 19 80 210 297 522 629 894 381 60 402 557 789 105 396 458 626 637 214 308 464 532 557 656 189 517 965 1040 179 695 802 955 1071 141 217 753 283 515 831 967 1095 614 700 763 808 1047 44 587 667 705 850 0 682 706 962 91 161 421 0 41 263 369 690 1057 378 696 857 1142 125 228 326 1105 1163 174 564 971 98 155 356 511 1118 297 922 1022 1125 1029 1123 1161 
10.65/10.83	o 1745
10.65/10.83	v 30 563 790 177 368 690 784 252 777 949 988 170 742 855 1147 22 175 432 887 1071 1161 271 411 707 786 826 992 1072 569 894 537 88 466 963 12 888 985 1069 87 363 402 499 538 928 1014 660 769 905 40 421 303 365 627 704 832 87 218 922 314 390 3 108 228 374 467 854 974 955 442 534 841 923 986 1034 1099 2 17 77 159 689 45 307 557 843 133 139 755 848 897 1094 227 454 695 895 1088 234 445 507 638 362 504 670 713 925 1042 24 342 698 224 443 493 253 372 532 568 795 3 179 268 614 659 1032 1069 26 91 469 781 1041 607 624 982 29 327 644 819 72 101 362 1048 143 210 297 522 629 894 1051 67 402 557 789 344 396 473 626 637 678 269 445 532 557 670 160 517 965 1040 429 695 929 1141 17 184 217 300 152 515 831 967 1079 569 700 763 807 1091 789 845 889 66 585 1143 567 702 1102 61 161 357 0 41 270 369 117 257 275 681 857 1113 101 228 326 1105 1163 174 564 772 1023 138 356 511 624 680 953 1028 52 320 1123 1161 
10.75/10.94	o 1746
10.75/10.94	v 30 563 817 162 368 690 768 38 777 949 974 268 742 855 1147 22 175 432 887 1071 43 271 411 707 786 826 16 460 569 894 825 88 466 707 471 888 985 6 274 363 402 499 538 928 1014 660 691 905 1017 1091 28 365 627 704 832 75 218 920 161 390 3 108 228 374 467 854 598 373 442 534 841 923 986 1034 27 2 17 77 159 1154 45 307 557 1085 133 139 755 848 897 1094 227 454 695 895 1094 234 445 507 851 1059 504 670 713 925 1042 24 342 762 224 443 493 253 372 532 568 795 974 179 268 614 659 1032 1069 26 91 469 781 21 141 624 982 53 327 644 819 72 101 362 1048 143 210 297 522 629 894 1054 79 402 557 789 344 396 473 626 679 88 226 329 532 557 973 187 517 965 1040 429 695 929 1141 17 184 217 286 353 515 831 967 1082 588 700 763 840 233 657 845 1122 55 585 311 567 702 1102 61 161 357 0 41 270 378 180 257 275 681 857 1128 101 228 326 1105 1163 174 564 772 997 138 356 511 624 680 953 1041 93 320 1123 1161 
10.75/10.94	o 1747
10.75/10.94	v 30 563 817 162 368 690 768 38 777 949 974 268 742 855 1147 22 175 432 887 1071 43 271 411 707 786 826 16 460 569 894 825 88 466 707 471 888 985 6 274 363 402 499 538 928 1014 660 691 905 1017 1091 28 365 627 704 832 75 218 920 161 390 3 108 228 374 467 854 2 373 442 534 841 923 986 1034 27 2 17 77 159 1154 45 307 557 1089 133 139 755 848 897 1094 227 454 695 895 1094 234 445 507 851 1059 504 670 713 925 1042 24 342 762 224 443 493 253 372 532 568 795 974 179 268 614 659 1032 1069 26 91 469 781 21 141 624 982 53 327 644 819 72 101 362 1048 143 210 297 522 629 894 1054 79 402 557 789 344 396 473 626 679 88 226 329 532 557 973 187 517 965 1040 429 695 929 1141 17 184 217 286 353 515 831 967 1082 588 700 763 840 233 657 845 1122 55 585 311 567 702 1102 61 161 357 0 41 270 378 180 257 275 681 857 1128 101 228 326 1105 1163 174 564 772 997 138 356 511 624 680 953 1041 93 320 1123 1161 
10.75/10.97	o 1748
10.75/10.97	v 30 563 817 162 368 690 774 123 777 949 974 268 742 855 1147 22 175 432 887 1071 53 271 411 707 786 826 16 460 569 894 825 914 174 738 471 888 985 6 274 363 402 499 538 928 1014 660 691 905 1017 1091 28 365 627 704 832 75 218 920 161 390 3 108 228 374 467 854 2 373 442 534 841 923 986 1034 1077 2 17 77 159 1154 45 307 557 1089 133 139 755 848 897 1094 227 454 695 895 1093 234 445 507 851 1059 504 670 713 925 1042 24 342 762 224 443 1128 253 372 532 568 795 974 179 268 614 659 1032 1069 26 91 469 781 21 141 624 982 32 327 644 819 72 101 362 1053 143 210 297 522 629 894 1054 79 402 557 789 344 396 473 626 679 1023 255 543 532 557 973 187 517 965 1040 429 695 929 1141 17 184 217 286 353 515 831 967 1082 588 700 763 840 233 657 845 1122 55 585 484 567 702 1102 61 161 357 0 41 270 378 180 257 275 681 857 1128 101 228 326 1105 1163 174 564 772 997 138 356 511 624 680 953 1041 93 320 1123 1161 
10.85/11.01	o 1749
10.85/11.01	v 30 563 817 162 368 690 774 1082 777 949 977 268 742 855 1147 22 175 432 887 1071 149 271 411 707 786 826 936 460 569 894 825 914 174 738 471 888 985 6 274 363 402 499 538 928 1014 660 691 905 1017 1091 28 365 627 704 832 118 218 920 109 390 3 108 228 374 467 854 2 373 442 534 841 923 986 1034 1077 2 17 77 159 813 49 307 557 1089 3 139 755 848 897 1094 227 454 695 895 1093 234 445 507 851 1059 504 670 713 925 1042 24 342 754 224 443 1128 253 372 532 568 795 974 179 268 614 659 1032 1069 31 91 469 781 21 141 624 982 32 327 644 819 72 101 362 1053 143 210 297 522 629 894 1054 66 402 557 789 344 396 473 626 723 25 255 429 532 557 979 181 517 965 1040 525 695 929 1141 17 184 217 286 353 515 831 967 1082 588 700 763 823 233 657 845 1122 55 390 484 567 702 1102 61 161 357 0 41 270 378 925 257 275 681 857 1128 101 228 326 1105 1163 174 564 772 1031 154 356 511 624 680 953 1041 29 320 1123 1161 
10.95/11.14	o 1751
10.95/11.14	v 30 563 805 162 368 690 782 65 777 949 982 255 742 855 1147 22 175 432 887 1072 137 271 411 707 786 826 952 448 569 894 847 73 171 188 471 888 985 15 274 363 402 499 538 928 1014 660 691 905 1017 1091 28 365 627 704 820 92 218 921 114 390 3 108 228 374 467 854 12 373 442 534 841 923 986 1034 1077 2 17 77 159 1151 49 307 557 850 122 611 755 848 897 1094 227 454 695 895 1089 234 445 507 851 1049 504 670 713 925 1042 24 342 707 799 189 232 3 372 532 568 795 970 180 268 614 659 1032 1069 31 91 469 781 1104 141 624 1029 46 327 644 819 72 101 362 654 1094 1133 297 522 629 894 1056 52 402 557 789 344 396 473 626 657 704 255 429 532 557 745 184 517 965 1040 525 695 929 1141 17 184 217 286 353 515 831 967 1083 588 700 763 823 228 657 845 1138 55 157 484 567 702 970 45 161 357 0 41 270 382 184 257 275 681 857 965 101 228 326 1105 1163 365 564 772 996 141 356 511 624 680 953 1041 18 535 1123 1161 
11.54/11.74	o 1752
11.54/11.74	v 30 563 774 205 368 690 780 383 791 949 990 231 742 855 1147 22 175 432 887 959 69 146 411 707 786 835 241 316 569 894 847 61 158 188 471 888 983 25 274 363 402 499 761 928 1014 660 691 905 1017 1091 28 365 627 704 1015 192 454 761 500 1076 3 108 228 374 467 854 79 373 442 555 774 60 666 1034 1077 2 17 77 159 260 887 286 557 861 1169 613 755 848 897 1094 227 599 695 888 1092 234 445 507 851 21 488 670 689 925 1042 24 342 707 1105 158 210 646 821 1116 568 797 971 179 268 614 1 160 305 965 65 469 781 922 937 1076 1126 72 327 418 819 72 101 1123 73 122 145 313 522 629 894 9 121 402 557 789 344 396 473 626 758 878 1049 429 532 557 1013 490 661 715 1040 525 695 929 1141 17 104 128 298 353 515 831 967 1084 588 700 84 237 669 760 845 966 8 157 484 567 692 958 28 161 357 0 41 270 3 185 257 275 692 857 965 1030 185 326 1105 1163 365 564 772 996 1039 1122 511 624 680 953 1037 390 923 1123 1161 
11.54/11.76	o 1753
11.54/11.76	v 30 563 45 205 368 690 780 383 791 949 990 231 742 855 1147 22 175 432 887 960 69 146 411 707 786 835 241 316 569 894 847 61 158 188 471 888 983 25 274 363 402 499 761 928 1014 660 691 905 1017 1091 28 365 627 704 1015 192 454 761 947 1076 3 108 228 374 467 33 79 373 442 555 774 60 666 1034 1077 2 17 77 159 260 887 304 557 861 1169 613 755 848 897 1094 227 599 695 888 1092 234 445 507 851 18 488 670 689 925 1042 24 342 707 1105 123 210 646 821 534 568 797 971 179 268 614 1 160 305 965 65 469 781 922 937 1076 1121 72 327 418 819 72 101 354 628 122 145 313 522 629 894 9 121 402 557 789 344 396 473 626 758 882 309 429 532 557 1073 490 661 715 1040 525 695 929 1141 17 104 128 298 353 515 831 967 1084 588 700 84 237 669 760 845 966 8 157 484 567 692 958 28 161 357 0 41 270 17 185 257 275 692 857 965 1030 185 326 1105 1163 365 564 772 996 1039 1122 511 624 680 953 1037 390 923 1123 1161 
13.12/13.39	o 1754
13.12/13.39	v 30 81 183 259 385 697 773 1005 80 949 966 281 695 855 1147 22 213 432 602 660 739 123 307 707 770 824 918 1047 700 894 845 999 158 188 471 512 812 1019 117 333 402 499 761 928 1014 660 691 905 1164 24 99 365 627 706 1063 165 454 862 947 986 3 140 222 372 723 990 90 240 442 532 205 533 666 911 1077 2 17 77 159 260 336 405 565 807 316 594 764 848 897 1094 227 599 695 1074 4 201 315 507 694 33 490 670 829 925 1103 24 342 707 1044 1089 125 265 347 534 568 807 1002 380 517 597 1 160 218 324 475 599 781 922 974 1115 56 114 258 358 819 72 112 354 647 793 899 576 960 1044 1148 36 138 314 557 789 16 396 473 551 811 6 40 429 532 751 1010 495 661 947 1040 525 815 929 1141 17 104 128 298 353 515 831 926 1047 121 700 84 237 669 1110 188 280 303 198 442 281 416 610 99 284 393 0 565 811 946 1079 44 353 692 828 1047 1077 321 643 988 1163 464 682 772 893 1019 226 562 624 683 847 1130 350 923 979 1062 
13.21/13.41	o 1755
13.21/13.41	v 30 81 183 259 385 697 773 1005 320 949 966 281 695 855 1147 22 213 432 602 660 739 123 307 707 770 824 918 1047 700 894 845 999 158 188 471 512 812 1019 117 333 402 499 761 928 1014 660 691 905 1140 24 99 365 627 706 1063 165 454 862 947 986 3 140 222 372 723 1067 90 240 442 532 205 533 666 911 1077 2 17 77 159 260 336 405 565 807 316 594 764 848 897 1094 227 599 695 1074 4 201 315 507 694 19 490 670 829 925 1103 24 342 707 1152 23 125 265 347 534 568 807 978 380 517 597 1 160 218 324 475 599 781 922 974 1115 56 114 258 358 819 72 112 354 647 793 899 576 960 1044 1148 36 138 314 557 789 16 396 473 551 811 6 40 429 532 751 1010 495 661 947 1040 525 815 929 1141 17 104 128 298 353 515 831 926 1047 117 700 84 237 669 1110 188 280 305 392 101 281 416 610 32 284 393 0 565 811 946 1079 44 353 692 828 1047 1077 1163 643 988 1163 464 682 772 893 1019 226 562 624 683 847 1130 350 923 979 1062 
13.21/13.45	o 1756
13.21/13.45	v 30 81 183 259 385 697 773 1005 320 949 966 1056 695 855 1147 22 213 432 602 660 745 1099 307 707 770 824 918 1047 700 894 845 104 158 188 471 512 812 1019 1071 315 402 499 761 928 1014 660 691 905 1024 24 99 365 627 709 93 189 454 862 947 986 3 140 222 372 723 1067 90 240 442 532 65 533 666 911 1077 2 17 77 159 260 336 405 565 819 316 594 764 848 897 1094 227 599 695 1074 4 201 315 507 694 19 490 670 829 925 1103 24 342 707 1152 23 125 265 347 534 568 807 984 214 517 597 1 160 218 324 475 599 781 922 974 1119 56 114 258 358 819 72 112 354 647 793 949 603 960 1044 1148 36 138 314 557 789 16 396 473 551 811 6 40 429 532 751 984 486 661 947 1040 525 815 929 1141 17 104 128 298 353 515 831 926 1017 117 700 84 237 669 1110 188 280 305 392 1000 281 416 610 24 284 393 0 565 811 946 1060 44 353 692 828 1047 1077 1163 643 988 1163 464 682 772 893 1067 208 562 624 683 847 1124 350 923 979 1062 
13.61/13.80	o 1757
13.61/13.80	v 30 81 183 259 385 697 773 1042 64 949 980 1053 695 855 1147 22 213 432 602 660 738 447 522 707 770 824 99 266 700 894 852 1122 6 188 471 512 812 1019 114 282 402 499 761 928 1014 279 309 905 1023 22 99 365 442 704 84 223 386 862 947 986 3 140 222 372 723 1103 90 240 442 568 183 544 666 911 1077 2 17 77 159 260 336 405 565 830 106 594 764 848 897 1094 227 599 695 1074 4 201 315 522 686 460 541 670 829 925 1103 24 342 707 1104 83 125 265 347 534 601 807 972 215 517 597 1 160 218 324 475 599 781 922 974 1024 62 114 258 358 819 72 112 487 11 251 291 602 960 1044 1139 36 138 314 557 789 16 134 473 551 811 931 971 107 532 751 1067 498 661 947 1040 336 815 929 1141 17 104 128 298 353 515 831 926 1028 451 700 84 237 669 1027 1149 280 305 392 493 561 865 1046 1108 353 393 0 565 811 948 1126 23 353 692 828 1047 1091 146 643 988 1163 18 682 772 893 963 192 562 624 683 847 1109 350 923 979 1062 
24.29/24.68	o 1758
24.29/24.68	v 32 1075 41 162 347 683 812 53 356 558 742 824 928 1048 1150 22 101 263 753 873 980 159 333 523 602 665 776 850 199 560 338 428 716 841 1054 513 596 1009 1072 11 68 635 768 904 1075 279 300 408 511 559 672 692 806 864 0 172 283 678 813 832 1 149 222 436 508 818 1012 1120 13 139 464 546 679 1054 1102 2 17 128 341 458 708 977 402 715 861 931 129 884 968 1085 227 344 425 680 901 206 568 639 871 135 300 696 777 1045 1103 8 40 458 1025 124 351 467 551 644 768 872 31 224 509 597 1 162 205 354 475 599 746 1022 1094 1103 1 177 340 408 500 72 224 536 660 805 937 1013 208 586 612 840 1090 89 308 707 16 219 308 396 577 668 743 1054 414 461 975 642 53 308 530 256 405 467 658 937 1037 37 109 389 414 537 581 769 963 1098 84 114 278 320 661 691 814 1070 3 524 606 794 1050 107 244 0 259 724 929 69 298 378 949 179 355 445 567 767 969 1163 31 268 617 1035 385 498 633 848 933 195 375 444 903 946 1143 
27.16/27.59	o 1759
27.16/27.59	v 32 1075 50 191 516 683 800 875 1029 315 672 851 946 1044 1150 22 101 263 364 425 372 426 469 553 854 946 21 485 610 870 338 563 716 847 60 712 891 1008 1066 1157 368 635 768 904 1075 205 300 435 514 524 672 691 806 866 71 224 408 678 815 832 1 149 386 436 649 1012 295 1141 13 139 224 309 528 1054 1102 2 17 105 296 458 706 777 205 272 376 530 662 884 944 1103 227 569 940 35 216 302 568 639 979 1039 362 696 777 1045 1103 8 40 649 764 1131 218 468 582 644 773 875 139 316 509 597 1 162 464 517 547 599 746 1022 1094 1103 1 177 340 404 500 72 178 536 660 797 1007 80 213 431 612 961 1091 31 493 707 16 219 308 396 577 644 743 848 292 505 566 10 195 308 530 210 405 467 841 208 302 360 424 757 903 558 621 769 979 1098 84 114 278 320 661 779 814 1070 3 26 118 389 798 937 1011 0 259 392 963 1060 350 364 836 975 1050 1064 477 723 969 1163 31 268 579 839 894 974 479 589 668 140 387 444 903 946 1050 
32.60/33.06	o 1760
32.60/33.06	v 32 467 70 295 497 639 737 761 838 1023 639 851 952 1044 1150 22 102 195 364 777 923 1050 110 163 688 909 1027 53 589 885 185 360 422 542 649 698 873 61 221 391 398 639 732 769 856 205 484 503 605 735 977 2 113 195 299 417 918 999 752 986 1 149 386 698 1034 130 293 375 510 437 581 726 816 1001 1100 2 17 105 224 458 681 239 414 565 905 279 584 795 966 1103 227 569 921 1032 105 203 567 637 736 824 970 277 315 697 1141 8 270 596 297 419 475 513 583 644 752 830 55 410 889 1121 1 162 464 517 547 633 730 880 1094 1133 1 168 312 406 492 72 111 314 464 714 1093 22 413 726 826 1026 106 423 795 1107 16 219 356 395 405 722 743 852 1063 1112 18 160 407 469 552 371 502 630 46 284 449 872 964 1080 1117 36 122 767 979 1098 84 146 276 320 661 779 848 1070 13 80 220 429 518 678 769 0 290 397 478 544 633 662 741 949 6 40 123 190 1021 1163 203 398 765 889 946 1083 523 580 653 1102 51 338 903 958 1050 
33.39/33.88	o 1761
33.39/33.88	v 32 467 926 94 497 639 737 812 197 324 639 851 952 1041 1143 22 102 195 364 777 923 987 105 163 291 380 723 959 589 885 185 360 422 542 649 698 848 952 34 199 398 639 732 769 991 205 484 503 605 735 1021 37 113 195 299 417 480 644 755 986 1 149 386 698 896 130 293 375 518 841 966 726 816 1055 1100 2 17 105 224 320 597 814 991 1041 3 25 631 795 966 1103 227 569 1067 20 90 203 567 657 755 818 975 263 299 697 1141 8 270 597 813 1040 45 513 583 644 752 830 1029 410 889 1121 1 162 464 1064 21 502 730 880 1094 1133 1 202 312 406 492 72 111 314 464 714 1093 22 413 566 908 101 298 423 795 1107 16 67 225 295 492 722 743 852 1063 1112 18 160 407 469 552 378 597 1011 170 342 449 872 964 1080 1117 36 122 767 1014 1098 84 146 276 320 661 779 848 1056 1154 170 220 429 518 678 769 0 290 397 471 544 633 662 741 942 1030 48 140 196 398 1163 203 398 790 889 936 409 525 580 653 1102 51 338 903 958 1050 
99.82/101.00	o 1762
99.82/101.00	v 34 246 475 573 1087 16 98 133 486 730 1061 339 416 550 1146 32 40 159 356 498 746 896 1003 1068 130 194 507 622 721 916 11 109 216 424 778 865 955 1037 56 117 201 568 672 913 1077 0 32 66 112 159 426 466 839 1043 65 158 267 653 820 1004 99 275 419 590 666 432 513 776 849 155 237 597 699 993 1052 3 22 171 309 440 456 542 685 772 1113 558 675 790 923 1098 236 370 669 1 121 363 792 884 183 1064 108 554 686 851 1104 0 49 312 943 1006 147 393 440 652 763 1083 272 354 509 848 1 257 470 530 603 848 979 1037 1069 1105 28 189 295 314 678 31 294 405 507 584 594 637 978 1136 40 235 376 873 1013 1121 340 392 738 809 1062 1165 479 573 753 781 919 996 400 469 1012 279 443 1042 1118 9 127 360 591 670 716 981 1022 691 962 1077 83 253 452 578 665 786 912 1025 126 860 38 267 556 732 822 0 133 237 289 368 545 828 919 1099 46 101 712 794 1020 1163 96 278 443 683 751 856 893 989 18 348 460 647 830 935 1073 
100.80/102.00	o 1763
100.80/102.00	v 34 246 475 782 1087 16 91 865 1066 14 200 337 416 550 1146 32 40 180 356 498 746 896 977 1054 120 402 507 622 721 916 11 109 216 643 778 865 955 1042 1118 2 201 568 672 913 1077 0 32 66 112 159 426 466 839 1043 65 245 477 664 820 1004 99 275 798 347 1029 499 568 776 835 285 533 597 699 993 1052 3 22 171 309 440 456 541 667 740 1110 558 675 790 892 1098 236 370 669 1084 121 363 792 8 153 220 434 554 686 851 1104 0 49 650 974 249 341 393 440 652 848 56 154 347 509 848 1 257 470 530 603 848 979 1037 1069 1132 28 189 295 314 678 31 309 405 507 584 594 637 929 303 420 459 578 873 1054 1121 188 392 1001 1171 179 339 354 573 753 781 926 996 415 530 1012 279 443 509 809 24 127 360 514 670 705 1134 194 714 962 1077 83 253 452 578 665 786 912 1025 1 19 39 267 556 700 807 0 133 237 289 368 545 754 919 1099 46 101 349 403 1020 1163 96 278 443 706 751 871 910 986 14 348 460 647 830 935 1073 
100.80/102.06	o 1764
100.80/102.06	v 34 246 475 782 1087 16 91 865 1061 1127 200 337 416 550 1146 32 40 180 356 498 746 896 977 1057 120 402 507 622 721 916 11 109 216 643 778 865 955 1042 1118 2 201 568 672 913 1077 0 32 66 112 159 426 466 839 1043 65 245 477 664 820 1004 99 275 798 845 1055 301 568 776 20 164 533 597 699 993 1052 3 22 171 309 440 456 541 667 740 1110 558 675 790 913 1098 236 370 669 1082 121 363 792 2 153 220 434 554 686 851 1104 0 49 650 1072 252 341 393 440 652 848 59 154 347 509 848 1 257 470 530 603 848 979 1037 1069 1132 28 189 295 314 678 31 309 405 507 584 594 637 958 1124 420 459 578 873 1054 1121 188 392 1001 1171 179 339 354 573 753 781 926 996 376 530 1012 279 443 509 778 867 956 349 514 670 705 874 283 714 962 1077 83 253 452 578 665 786 912 1025 1 19 39 267 556 700 807 0 133 237 289 368 545 754 919 1099 46 101 349 403 1020 1163 96 278 443 706 751 871 910 986 6 348 460 647 830 935 1073 
1008.53/1020.27	o 1765
1008.53/1020.27	v 383 466 702 631 917 1048 166 667 972 272 365 776 861 952 1052 0 22 259 415 717 842 871 1138 11 141 213 421 594 764 989 2 218 283 318 420 505 1112 20 330 506 590 700 740 873 938 3 101 152 279 301 605 665 882 1085 15 211 662 819 972 1053 171 239 495 571 820 1073 26 306 347 506 734 845 927 964 1019 57 317 493 767 923 1113 70 174 399 482 504 590 734 769 903 232 439 528 754 966 1062 287 447 599 930 1019 200 319 861 973 3 56 329 795 1111 150 191 394 463 713 180 622 724 887 1065 182 268 293 426 467 473 560 652 743 790 1015 4 382 447 819 0 130 443 504 1132 0 45 114 254 313 366 509 612 870 1017 91 138 250 362 535 646 833 1013 178 320 458 527 720 1075 1125 90 174 533 712 749 951 232 314 386 540 647 832 936 1043 1088 1 26 114 576 660 722 840 926 284 350 408 601 676 923 1069 33 339 625 809 913 962 1077 37 343 432 458 662 873 985 1061 6 128 469 556 197 268 404 637 742 1032 124 297 483 562 813 
1035.62/1047.69	o 1766
1035.62/1047.69	v 271 341 802 363 487 684 764 814 967 1099 426 753 897 1015 1135 0 7 113 273 327 484 499 569 884 976 1034 1127 4 150 464 338 675 811 900 1 397 554 977 1073 177 183 285 344 544 1003 3 29 63 171 503 734 830 955 1067 2 97 397 837 982 1046 89 317 455 523 638 941 993 1084 2 195 614 679 771 828 1003 57 152 291 372 514 581 731 985 300 410 458 699 739 774 889 442 559 705 1104 0 304 456 713 28 228 377 515 760 881 949 81 489 830 1022 3 341 463 608 667 735 121 372 606 713 1075 126 178 239 452 476 477 888 1007 1034 1133 137 253 647 737 808 0 59 167 303 470 582 621 932 1125 1154 169 232 725 919 1013 72 134 301 433 501 634 645 912 41 409 548 649 875 937 979 4 116 163 223 413 922 62 226 446 566 641 721 924 1034 1088 1 210 409 488 593 618 838 1000 35 253 477 589 690 804 1075 87 164 279 345 552 673 819 1036 95 193 397 533 581 812 1166 307 438 512 687 747 837 867 1105 4 201 626 717 875 1126 1153 
1565.51/1583.61	o 1767
1565.51/1583.61	v 148 198 312 456 554 717 812 858 957 1035 1052 26 289 874 984 0 107 239 585 650 739 829 891 928 144 190 458 721 814 935 235 463 679 816 979 1055 19 147 210 315 615 728 769 799 1032 115 139 183 272 284 375 650 735 770 80 371 631 736 880 925 85 323 446 515 619 1124 120 349 7 538 760 896 1033 374 1040 117 135 326 382 459 523 630 879 1030 114 508 667 890 1004 1102 51 434 597 778 848 1070 59 342 533 710 1055 1128 152 533 1137 112 151 291 408 538 611 804 945 997 1105 48 262 413 952 1013 21 191 460 582 724 929 1010 52 130 144 295 404 548 569 708 56 368 550 616 702 715 1006 1086 24 72 83 192 700 1021 1120 0 285 635 675 774 814 854 932 1006 228 498 568 685 877 1066 1 92 336 381 431 565 722 877 1089 35 244 337 429 651 709 17 43 271 304 401 425 517 927 1144 9 37 244 457 834 1009 194 305 471 573 744 875 909 14 190 272 429 536 927 1083 1167 41 252 280 742 802 924 1059 1123 3 139 611 654 796 821 1068 
1566.69/1584.84	o 1768
1566.69/1584.84	v 148 198 312 456 554 717 812 849 927 1029 1051 535 787 874 984 0 107 326 585 650 739 820 873 945 116 158 458 721 814 935 235 463 679 816 979 1055 19 147 210 315 615 728 769 799 1032 115 139 183 272 284 375 546 735 868 10 361 634 736 880 925 85 230 446 515 614 1096 172 349 439 802 1030 17 287 389 1040 117 135 326 382 459 523 631 883 997 48 552 667 948 1004 1102 51 434 567 772 848 1070 59 361 541 710 788 1110 173 588 1137 142 171 291 408 538 611 804 945 997 1105 48 262 413 952 1013 21 191 460 582 724 929 1015 28 68 193 295 404 548 569 708 56 368 511 594 705 747 1002 1086 24 72 83 192 677 1021 1120 0 285 635 675 774 805 850 935 1008 339 498 568 685 877 947 1 92 272 491 622 712 739 852 1148 199 302 337 429 651 709 17 77 160 330 401 425 517 927 1044 1115 206 378 475 531 1009 194 305 471 576 744 875 1024 11 111 272 429 536 927 1083 1167 41 252 289 742 802 885 1059 1123 3 466 611 654 796 821 1068 

OK	17	1768
17 unsatisfied constraints, 1768 satisfied constraints

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112179-1215863233/watcher-1112179-1215863233 -o /tmp/evaluation-result-1112179-1215863233/solver-1112179-1215863233 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112179-1215863233.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 13456
/proc/meminfo: memFree=1865280/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=1520 CPUtime=0
/proc/13458/stat : 13458 (java) R 13456 13456 12188 0 -1 0 75 0 0 0 0 0 0 0 18 0 1 0 43020097 1556480 60 996147200 134512640 134550740 4294956160 18446744073709551615 1575905 0 0 4096 0 0 0 0 17 1 0 0
/proc/13458/statm: 380 70 54 9 0 10 0

[startup+0.103572 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 13456
/proc/meminfo: memFree=1865280/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=843204 CPUtime=0.08
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 3455 0 1 0 7 1 0 0 18 0 9 0 43020097 863440896 2908 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 210801 2908 1680 9 0 205378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 848560

[startup+0.201588 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 13456
/proc/meminfo: memFree=1865280/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=843388 CPUtime=0.18
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 4025 0 1 0 16 2 0 0 18 0 9 0 43020097 863629312 3441 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 210847 3441 1807 9 0 205415 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 848744

[startup+0.301608 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 13456
/proc/meminfo: memFree=1865280/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=844168 CPUtime=0.28
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 4649 0 1 0 25 3 0 0 18 0 9 0 43020097 864428032 4036 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 211042 4036 1894 9 0 205603 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 849524

[startup+0.701684 s]
/proc/loadavg: 2.00 2.00 2.00 4/105 13456
/proc/meminfo: memFree=1865280/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=844168 CPUtime=0.68
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 5148 0 1 0 64 4 0 0 18 0 9 0 43020097 864428032 4505 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 211042 4505 1899 9 0 205603 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 849524

[startup+1.50284 s]
/proc/loadavg: 2.00 2.00 2.00 4/115 13467
/proc/meminfo: memFree=1844272/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=846256 CPUtime=1.46
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 13096 0 1 0 139 7 0 0 18 0 10 0 43020097 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 211564 12219 2574 9 0 206125 0
[pid=13458/tid=13460] ppid=13456 vsize=846256 CPUtime=0.76
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 3773 0 1 0 73 3 0 0 25 0 10 0 43020098 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4125774882 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13461] ppid=13456 vsize=846256 CPUtime=0.5
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 7830 0 0 0 47 3 0 0 16 0 10 0 43020099 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=846256 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43020099 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=846256 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43020099 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=846256 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 43020101 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=846256 CPUtime=0.18
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 757 0 0 0 18 0 0 0 16 0 10 0 43020101 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=846256 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 43020101 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=846256 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 43020101 866566144 12219 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 851612

[startup+3.10215 s]
/proc/loadavg: 2.08 2.02 2.01 4/116 13468
/proc/meminfo: memFree=1822184/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850960 CPUtime=3.05
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 27942 0 1 0 291 14 0 0 18 0 9 0 43020097 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212740 26934 2579 9 0 207300 0
[pid=13458/tid=13460] ppid=13456 vsize=850960 CPUtime=1.54
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4207 0 1 0 151 3 0 0 25 0 9 0 43020098 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850960 CPUtime=0.95
/proc/13458/task/13461/stat : 13461 (java) R 13456 13456 12188 0 -1 64 20724 0 0 0 87 8 0 0 16 0 9 0 43020099 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 104180127 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850960 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850960 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850960 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850960 CPUtime=0.53
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2274 0 0 0 52 1 0 0 15 0 9 0 43020101 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850960 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850960 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871383040 26934 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 856316

[startup+6.30175 s]
/proc/loadavg: 2.08 2.02 2.01 3/115 13468
/proc/meminfo: memFree=1766696/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=6.21
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 27986 0 1 0 607 14 0 0 18 0 9 0 43020097 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 26976 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=4.47
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4214 0 1 0 444 3 0 0 25 0 9 0 43020098 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4127287606 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.16
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20747 0 0 0 108 8 0 0 16 0 9 0 43020099 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.56
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2288 0 0 0 54 2 0 0 15 0 9 0 43020101 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 26976 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 856252

[startup+12.703 s]
/proc/loadavg: 2.07 2.02 2.00 3/115 13468
/proc/meminfo: memFree=1765224/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=12.53
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28294 0 1 0 1238 15 0 0 18 0 9 0 43020097 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27281 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=10.77
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4508 0 1 0 1073 4 0 0 25 0 9 0 43020098 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4127295213 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.16
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20751 0 0 0 108 8 0 0 16 0 9 0 43020099 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.57
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2298 0 0 0 55 2 0 0 15 0 9 0 43020101 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27281 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 856252

[startup+25.5015 s]
/proc/loadavg: 2.06 2.01 2.00 3/115 13468
/proc/meminfo: memFree=1765224/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=25.18
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28295 0 1 0 2503 15 0 0 18 0 9 0 43020097 871317504 27282 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27282 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=23.42
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4508 0 1 0 2338 4 0 0 25 0 9 0 43020098 871317504 27282 996147200 134512640 134550740 4294956000 18446744073709551615 4127297718 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.16
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20751 0 0 0 108 8 0 0 16 0 9 0 43020099 871317504 27282 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27282 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27282 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2305 0 0 0 57 2 0 0 16 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3368.67
Current children cumulated vsize (KiB) 856252

[startup+3462.3 s]
/proc/loadavg: 5.03 5.28 3.83 2/124 13581
/proc/meminfo: memFree=17872/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=3428.63
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28335 0 1 0 342810 53 0 0 18 0 9 0 43020097 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27310 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=3426.85
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4520 0 1 0 342643 42 0 0 25 0 9 0 43020098 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4127289263 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.17
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20773 0 0 0 109 8 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.59
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2305 0 0 0 57 2 0 0 16 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3428.63
Current children cumulated vsize (KiB) 856252

[startup+3522.3 s]
/proc/loadavg: 4.41 5.07 3.83 2/124 13581
/proc/meminfo: memFree=23760/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=3488.6
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28335 0 1 0 348803 57 0 0 18 0 9 0 43020097 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27310 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=3486.82
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4520 0 1 0 348636 46 0 0 25 0 9 0 43020098 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4127297630 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.17
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20773 0 0 0 109 8 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.59
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2305 0 0 0 57 2 0 0 16 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3488.6
Current children cumulated vsize (KiB) 856252

[startup+3582.3 s]
/proc/loadavg: 4.14 4.85 3.84 2/124 13581
/proc/meminfo: memFree=29776/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=3548.59
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28335 0 1 0 354796 63 0 0 18 0 9 0 43020097 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27310 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=3546.8
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4520 0 1 0 354629 51 0 0 25 0 9 0 43020098 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4127297645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.17
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20773 0 0 0 109 8 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.59
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2305 0 0 0 57 2 0 0 16 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3548.59
Current children cumulated vsize (KiB) 856252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633.8 s]
/proc/loadavg: 4.06 4.72 3.84 2/124 13581
/proc/meminfo: memFree=35024/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=3600.07
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28335 0 1 0 359941 66 0 0 18 0 9 0 43020097 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27310 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=3598.29
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4520 0 1 0 359774 55 0 0 25 0 9 0 43020098 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4127297645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.17
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20773 0 0 0 109 8 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.59
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2305 0 0 0 57 2 0 0 16 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 856252

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

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

[startup+3633.8 s]
/proc/loadavg: 4.06 4.72 3.84 2/124 13581
/proc/meminfo: memFree=35024/2055920 swapFree=4192812/4192956
[pid=13456] ppid=13454 vsize=5356 CPUtime=0
/proc/13456/stat : 13456 (concrete.sh) S 13454 13456 12188 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 43020096 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13456/statm: 1339 242 201 169 0 50 0
[pid=13458] ppid=13456 vsize=850896 CPUtime=3600.07
/proc/13458/stat : 13458 (java) S 13456 13456 12188 0 -1 0 28335 0 1 0 359941 66 0 0 18 0 9 0 43020097 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13458/statm: 212724 27310 2580 9 0 207284 0
[pid=13458/tid=13460] ppid=13456 vsize=850896 CPUtime=3598.29
/proc/13458/task/13460/stat : 13460 (java) R 13456 13456 12188 0 -1 64 4520 0 1 0 359774 55 0 0 25 0 9 0 43020098 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4127297645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13458/tid=13461] ppid=13456 vsize=850896 CPUtime=1.17
/proc/13458/task/13461/stat : 13461 (java) S 13456 13456 12188 0 -1 64 20773 0 0 0 109 8 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13462] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13462/stat : 13462 (java) S 13456 13456 12188 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13463] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13463/stat : 13463 (java) S 13456 13456 12188 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 43020099 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13464] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13464/stat : 13464 (java) S 13456 13456 12188 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13465] ppid=13456 vsize=850896 CPUtime=0.59
/proc/13458/task/13465/stat : 13465 (java) S 13456 13456 12188 0 -1 64 2305 0 0 0 57 2 0 0 16 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13466] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13466/stat : 13466 (java) S 13456 13456 12188 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13458/tid=13467] ppid=13456 vsize=850896 CPUtime=0
/proc/13458/task/13467/stat : 13467 (java) S 13456 13456 12188 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 43020101 871317504 27310 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 856252

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 3633.82
CPU time (s): 3600.07
CPU user time (s): 3599.41
CPU system time (s): 0.66
CPU usage (%): 99.0712
Max. virtual memory (cumulated for all children) (KiB): 856316

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

runsolver used 5.05023 second user time and 13.9049 second system time

The end

Begin job on node87 at 2008-07-12 13:47:13
IDJOB=1112179
IDBENCH=61375
IDSOLVER=335
FILE ID=node87/1112179-1215863233
PBS_JOBID= 7903427
Free space on /tmp= 66484 MiB

SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-4.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112179-1215863233/watcher-1112179-1215863233 -o /tmp/evaluation-result-1112179-1215863233/solver-1112179-1215863233 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112179-1215863233.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 65012234ef8a22a0fbbf13548c18283e
RANDOM SEED=446003425

node87.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	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1865696 kB
Buffers:         12948 kB
Cached:          56480 kB
SwapCached:          0 kB
Active:         115868 kB
Inactive:        20160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1865696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1036 kB
Writeback:           0 kB
Mapped:          88204 kB
Slab:            36332 kB
Committed_AS:  1064820 kB
PageTables:       4164 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= 64256 MiB
End job on node87 at 2008-07-12 14:47:55