25.20/23.80 c root propagations : 659
25.20/23.80 c restarts enabled, print stats at every restarts
25.20/23.80 c
25.20/23.80 c
25.20/23.80 c
25.20/23.80 c This is cosoco 2.00 --
25.20/23.80 c
25.20/23.80 c command line: cosoco -model -nbcores=8 HOME/instance-4409202-1569829615.xml
25.20/23.80 c ========================================[ Problem Statistics ]===========================================
25.20/23.80 c |
25.20/23.80 c | Parse time : 23.23 s
25.20/23.80 c |
25.20/23.80 c | Variables: 1024
25.20/23.80 c | Domain Sizes: 2..2
25.20/23.80 c |
25.20/23.80 c | Constraints: 64
25.20/23.80 c | Arity: 32..32
25.20/23.80 c |
25.20/23.80 c | Types:
25.20/23.80 c | Extension: 64 (nb tuples: 1..203490) -- (shared: 88)
25.20/23.80 c |
25.20/23.80 c =========================================================================================================
25.20/23.80 c Parallel mode: Portfolio
25.20/23.80 c [pFactory][Group N°0] created (threads:8).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
25.20/23.80 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
25.20/23.80 c [pFactory][Group N°0] concurrent mode: enabled.
25.20/23.80 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
25.20/23.80 c [pFactory][Group N°0] task 7 launched on thread 6.
25.20/23.80 c [pFactory][Group N°0] task 6 launched on thread 0.
25.20/23.80 c [pFactory][Group N°0] task 5 launched on thread 2.
25.20/23.80 c [pFactory][Group N°0] task 4 launched on thread 1.
25.20/23.80 c [pFactory][Group N°0] task 3 launched on thread 7.
25.20/23.80 c [pFactory][Group N°0] task 2 launched on thread 3.
25.20/23.80 c [pFactory][Group N°0] task 1 launched on thread 5.
25.20/23.80 c [pFactory][Group N°0] task 0 launched on thread 4.
25.20/23.80 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.20/23.80 c 0 1 320 660 659 0 0 0 0
25.20/23.80 c 0 3 322 662 659 0 0 0 0
25.20/23.80 c 0 5 324 664 659 0 0 0 0
25.20/23.80 c 0 13 338 672 659 0 0 0 0
25.20/23.80 c 0 23 356 682 659 0 0 0 0
25.20/23.80 c 0 25 358 684 659 0 0 0 0
25.20/23.80 c 0 26 358 685 659 0 0 0 0
25.20/23.80 c 0 27 358 686 659 0 0 0 0
25.20/23.80 c 0 28 358 687 659 0 0 0 0
25.20/23.80 c 0 29 358 688 659 0 0 0 0
25.20/23.80 c 0 32 362 691 659 0 0 0 0
25.20/23.80 c root propagations : 659
25.20/23.80 c 0 33 362 692 659 0 0 0 0
25.20/23.80 c restarts enabled, print stats at every restarts
25.20/23.80 c
25.20/23.80 c
25.20/23.80 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.20/23.80 c 0 3 324 662 659 0 0 0 0
25.20/23.80 c 0 9 334 668 659 0 0 0 0
25.20/23.80 c 0 10 334 669 659 0 0 0 0
25.20/23.80 c 0 21 354 680 659 0 0 0 0
25.20/23.80 c 0 45 384 704 659 0 0 0 0
25.20/23.80 c 0 22 354 681 659 0 0 0 0
25.20/23.80 c 0 46 384 705 659 0 0 0 0
25.20/23.80 c 0 28 364 687 659 0 0 0 0
25.20/23.80 c 0 49 388 708 659 0 0 0 0
25.20/23.80 c 0 35 376 694 659 0 0 0 0
25.20/23.80 c 0 50 388 709 659 0 0 0 0
25.20/23.80 c 0 36 376 695 c 659 0 51 388 710 659 0 0 0 0 0
25.20/23.80 0 0 0
25.20/23.80 c 0 37 376 696 659 0 0 0 0
25.20/23.80 c 0 39 378 698 659 0 0 0 0
25.20/23.80 c 0 53 390 712 659 0 0 0 0
25.20/23.80 c 0 44 386 703 659 0 0 0 0
25.20/23.80 c 0 45 386 704 659 0 0 0 0
25.20/23.80 c 0 46 386 705 659 0 0 0 0
25.20/23.80 c 0 55 392 714 659 0 0 0 0
25.20/23.80 c 0 49 390 708 659 0 0 0 0
25.20/23.80 c 0 56 392 715 659 0 0 0 0
25.20/23.80 c 0 50 390 709 659 0 0 0 0
25.20/23.80 c 0 57 392 716 659 0 0 0 0
25.20/23.80 c 0 56 400 715 659 0 0 0 0
25.20/23.80 c 0 57 400 716 659 0 0 0 0
25.20/23.80 c 0 60 396 719 659 0 0 0 0
25.20/23.80 c 0 60 404 719 659 0 0 0 0
25.20/23.80 c 0 64 410 723 659 0 0 0 0
25.20/23.80 c 0 62 398 721 659 0 0 0 0
25.20/23.80 c 0 68 416 727 659 0 0 0 0
25.20/23.81 c 0 63 398 722 659 0 0 0 0
25.20/23.81 c 0 69 416 728 659 0 0 0 0
25.20/23.81 c 0 64 398 723 659 0 0 0 0
25.20/23.81 c 0 72 420 731 659 0 0 0 0
25.20/23.81 c 0 66 400 725 659 0 0 0 0
25.20/23.81 c 0 80 426 739 659 0 0 0 0
25.20/23.81 c 0 86 446 745 659 0 0 0 0
25.20/23.81 c 0 81 426 740 659 0 0 0 0
25.20/23.81 c 0 102 476 761 659 0 0 0 0
25.20/23.81 c 0 103 476 762 659 0 0 0 0
25.20/23.81 c 0 98 458 757 659 0 0 0 0
25.20/23.81 c 0 106 480 765 659 0 0 0 0
25.20/23.81 c 0 102 464 761 659 0 0 0 0
25.20/23.81 c 0 103 464 762 659 0 0 0 0
25.20/23.81 c 0 109 484 768 659 0 0 0 0
25.20/23.81 c 0 108 472 767 659 0 0 0 0
25.20/23.81 c 0 113 490 772 659 0 0 0 0
25.20/23.81 c 0 118 498 777 659 0 0 0 0
25.20/23.81 c 0 111 476 770 659 0 0 0 0
25.20/23.81 c 0 114 480 773 659 0 0 0 0
25.20/23.81 c 0 115 480 774 659 0 0 0 0
25.20/23.81 c 0 118 484 777 659 0 0 0 0
25.20/23.81 c 0 124 508 783 659 0 0 0 0
25.20/23.81 c 0 125 508 784 659 0 0 0 0
25.20/23.81 c 0 126 508 785 659 0 0 0 0
25.20/23.81 c 0 120 486 779 659 0 0 0 0
25.20/23.81 c 0 123 490 782 659 0 0 0 0
25.20/23.81 c 0 133 520 792 659 0 0 0 0
25.20/23.81 c 0 135 522 794 659 0 0 0 0
25.20/23.81 c 0 139 528 798 659 0 0 0 0
25.20/23.81 c 0 129 500 788 659 0 0 0 0
25.20/23.81 c 0 140 528 799 659 0 0 0 0
25.20/23.81 c 0 144 534 803 659 0 0 0 0
25.20/23.81 c 0 132 504 791 659 0 c 0 145 534 804 0 0 0659
25.20/23.81 0 0 0 0
25.20/23.81 c 0 133 504 792 659 0 0 0 0
25.20/23.81 c 0 146 534 805 659 0 0 0 0
25.20/23.81 c 0 149 538 808 659 0 0 0 0
25.20/23.81 c 0 136 508 795 659 0 0 0 0
25.20/23.81 c 0 141 516 800 659 0 0 0 0
25.20/23.81 c 0 142 516 801 659 0 0 0 0
25.20/23.81 c 0 157 552 816 659 0 0 0 0
25.20/23.81 c root propagations : 659
25.20/23.81 c restarts enabled, print stats at every restarts
25.20/23.81 c
25.20/23.81 c
25.20/23.81 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.20/23.81 c 0 148 526 807 659 0 0 0 0
25.20/23.81 c 0 166 568 825 659 0 0 0 0
25.20/23.81 c 0 167 568 826 659 0 0 0 0
25.20/23.81 c 0 1 320 660 659 0 0 0 0
25.20/23.81 c 0 7 330 666 659 0 0 0 0c
25.20/23.81 0 176 584 835 659 0 0 0 0
25.20/23.81 c 0 150 528 809 659 0 0 0 0
25.20/23.81 c 0 21 356 680 659 0 0 0 0
25.20/23.81 c 0 191 612 850 659 0 0 0 0
25.20/23.81 c 0 166 558 825 659 0 0 0 0
25.20/23.81 c 0 22 356 681 659 0 0 0 0
25.20/23.81 c 0 168 560 827 659 0 0 0 0
25.20/23.81 c 0 194 616 853 659 0 0 0 0
25.20/23.81 c 0 197 620 856 659 0 0 0 0
25.20/23.81 c 0 25 360 684 659 0 0 0 0
25.20/23.81 c 0 198 620 857 659 0 0 0 0
25.20/23.81 c 0 201 624 860 659 0 0 0 0
25.20/23.81 c 0 27 362 686 659 0 0 0 0
25.20/23.81 c 0 170 562 829 659 0 0 0 0
25.20/23.81 c 0 174 568 833 659 0 0 0 0
25.20/23.81 c 0 213 646 872 659 0 0 0 0
25.20/23.81 c 0 41 388 700 659 0 0 0 0
25.20/23.81 c 0 178 574 837 659 0 0 0 0
25.20/23.81 c 0 220 658 879 659 0 0 0 0
25.20/23.81 c 0 44 392 703 659 0 0 0 0
25.20/23.81 c 0 183 582 842 659 0 0 0 0
25.20/23.81 c 0 49 400 708 659 0 0 0 0
25.20/23.81 c 0 230 676 889 659 0 0 0 0
25.20/23.81 c c 0 0 50 400 709 184 582 843 659 0 659 0 0 0 0 0 0 0
25.20/23.81 c 0 231 676 890 659 0 0 0 0
25.20/23.81
25.20/23.81 c 0 55 408 714 659 0 0 0 0
25.20/23.81 c 0 247 706 906 659 0 0 0 0
25.20/23.81 c 0 192 596 851 659 0 0 0 0
25.20/23.81 c 0 250 710 909 659 0 0 0 0
25.20/23.81 c 0 62 420 721 659 0 0 0 0
25.20/23.81 c 0 198 606 857 659 0 0 0 0
25.20/23.81 c 0 69 432 728 659 0 0 0 0
25.20/23.81 c 0 203 614 862 659 0 0 0 0
25.20/23.81 c 0 70 432 729 659 0 c 0 0 0
25.20/23.81 0 259 726 918 659 0 0 0 0
25.20/23.81 c 0 262 730 921 659 0 0 0 0
25.20/23.81 c 0 76 442 735 659 0 0 0 0
25.20/23.81 c 0 205 616 864 659 0 0 0 0
25.20/23.81 c 0 267 738 926 659 0 0 0 0
25.20/23.81 c 0 78 444 737 659 0 0 0 0
25.20/23.81 c 0 208 620 867 659 0 0 0 0
25.20/23.81 c 0 274 750 933 659 0 c 0 0 0 0
25.20/23.81 c 0 275 750 934 659 0 0 0 0
25.20/23.81 c 0 212 626 871 659 0 0 0 0
25.20/23.81 82 450 741 659 0 0 0 0
25.20/23.81 c 0 83 450 742 659 0 0 0 0
25.20/23.81 c root propagations : 659
25.20/23.81 c restarts enabled, print stats at every restarts
25.20/23.81 c
25.20/23.81 c
25.20/23.81 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.20/23.81 c 0 2 322 661 659 0 0 0 0
25.20/23.81 c 0 220 640 879 659 0 0 0 0
25.20/23.81 c 0 97 476 756 659 0 0 0 0
25.20/23.81 c 0 289 776 948 659 0 0 0 0
25.20/23.81 c 0 301 798 960 659 0 0 0 0
25.20/23.81 c 0 229 656 888 659 0 0 0 0
25.20/23.81 c 0 102 484 761 659 0 0 0 0
25.20/23.81 c 0 16 348 675 659 0 0 0 0
25.20/23.81 c 0 246 688 905 659 0 0 0 0
25.20/23.81 c 0 31 376 690 659 0 0 0 0
25.20/23.81 c 0 119 516 778 659 0 0 0 0
25.20/23.81 c 0 319 832 978 659 0 0 0 0
25.20/23.81 c 0 145 566 804 659 0 0 0 0
25.20/23.81 c c 0 57 4260 716 346 884 6590 1005 659 0 0 0 0 c 0 275 744 934 659 0 0 0 0
25.20/23.81 0 0 0
25.20/23.81 c 0 146 566 805 659 0 0 0 0
25.20/23.81 c 0 276 744 935 659 0 c 0 0 0
25.20/23.81
25.20/23.81 c 0 148 568 807 659 0 0 0 0
25.20/23.81 c 0 149 568 808 659 0 0 0 0
25.20/23.81 c 0 150 568 809 659 0 0 0 0
25.20/23.81 c 0 58 426 717 659 0 0 0 0
25.20/23.81 c 0 278 746 937 659 0 0 0 0
25.20/23.81 c 0 155 576 814 659 0 0 0 0
25.20/23.81 c 0 62 432 721 659 0 0 0 0
25.20/23.81 c 0 287 762 946 659 0 0 0 0
25.20/23.82 0 347 884 1006 659 0 0 0 0
25.20/23.82 c 0 348 884 1007 659 0 0 0 0
25.20/23.82 c c 0 0 130 566 789 659 0 370 926 1029 659 0 0 0 0
25.20/23.82 c 0 0 0
25.20/23.82 0 242 748 901 659 0 0 0 0
25.20/23.82 c 0 373 932 1032 659 0 0 0 0
25.20/23.82 c 0 267 796 926 c 659 0 0398 980 1057 659 0 0 0 00 0 0
25.20/23.82
25.20/23.82 c 0 268 796 927 659 0 0 0 0
25.20/23.82 c 0 399 980 1058 659 0 0 0 0
25.20/23.82 c 0 269 796 928 659 0 0 0 0
25.20/23.82 c 0 400 980 1059 659 0 0 0 0
25.20/23.82 c 0 396 976 1055 659 0 0 0 0
25.20/23.82 c 0 156 616 815 659 0 0 0 0
25.20/23.82 c 0 402 986 1061 659 0 0 0 0
25.20/23.82 c 0 413 1004 1072 659 0 0 0 0
25.20/23.82 c 0 161 624 820 659 0 0 0 0
25.20/23.82 c 0 279 814 938 659 0 0 0 0
25.20/23.82 c c 0 0487 c 349 1150 952 0 11461008 218 736 877 659 659 0 6590 0 0 0 00 0 00 0 0 c
25.20/23.82 0 481
25.20/23.82 1142
25.20/23.82 1140 659 0 0 0 0
25.20/23.82 c 0 219 736 878 659 0 0 0 0
25.20/23.82 c 0 220 736 879 659 0 0 0 0
25.20/23.82 c 0 350 952 1009 659 0 0 0 0
25.20/23.82 c 0 221 736 880 659 0 0 0 0
25.20/23.82 c 0 351 952 1010 659 0 0 0 0
25.20/23.82 c c 0 222 736 881 0659 0 488 1150 1147 0 0 0 659
25.20/23.82 0 0 0 0
25.20/23.82 c 0 c 482 1142 1141 659 0 0 223 736 882 659 0 0 0 0
25.20/23.82 0 0 0
25.20/23.82 c 0 489 1150 1148 659 0 0 0 0
25.20/23.82 c 0 352 952 1011 659 0 0 0 0
25.20/23.82 c 0 492 1160 1151 659 0 0 0 0 c
25.20/23.82 0236 760 895 659 0 0 0 0
25.20/23.82 c 0 362 970 1021 659 0 0 0 0
25.20/23.82 c 0 504 1178 1163 659 0 0 0 0
25.20/23.82 c c c 0 0 274 399 1042 0 1058834 542 933 1252 659 0 1201 659 659 0 0 0 0 00 0 0 0 0 0
25.20/23.82
25.20/23.82
25.20/23.83 c 0 543 1252 1202 659 0 0 0 0
25.20/23.83 c 0 400 1042 1059 659 0 0 0 0
25.20/23.83 c 0 563 1290 1222 659 0 0 0 0 c
25.20/23.83 c 0 540 1254 1199 659 0 0 0 0
25.20/23.83 c 0 c 295 0 874541 1254 1200 659 0 954659 0 0 0 0
25.20/23.83 0 0 0
25.20/23.83 c 0 593 1348 1252 659 0 0 0 0
25.20/23.83 c 0 324 930 983 659 0 0 0 0
25.20/23.83 0 420 1080 1079 659 0 c 0 594 1348 1253 659 0 0 0 0
25.20/23.83 c 0 325 930 984 659 0 0 0 0
25.20/23.83 0 0 0
25.20/23.83 c 0 595 1348 1254 659 0 0 0 0
25.20/23.83 c 0 421 1080 1080 659 0 0 0 0
25.20/23.83 c 0 570 1310 1229 659 0 0 0 0
25.20/23.83 c 0 428 1092 1087 659 0 0 0 0
25.20/23.83 c 0 576 1320 1235 659 0 0 0 0
25.20/23.83 c 0 429 1092 1088 659 0 0 0 0
25.20/23.83 c 0 609 1374 1268 659 0 0 0 0
25.20/23.83 c 0 336 950 995 659 0 0 0 0
25.20/23.83 c 0 584 1334 1243 659 0 0 0 0
25.20/23.83 c c 0 438 1108 0 1097618 659 1390 1277 0659 0 0 0 00 0 0
25.20/23.83 c 0 585 1334 1244 659 0 0 0 0
25.20/23.83 c 0 586 1334 1245 659 0 0 0 0
25.20/23.83 c 0 439 1108 1098 659 0 0 0 0
25.20/23.83 c 0 587 1334 1246 659 0 0 0 0
25.20/23.83 c 0 440 1108 1099 659 0 0 0 0
25.20/23.83
25.20/23.83 c 0 441 1108 1100 659 0 0 0 0
25.20/23.83 c 0 442 1108 1101 659 0 0 0 0
25.20/23.83 c 0 343 962 1002 659 0 0 0 0
25.20/23.83 c c 0 443 1108 1102 659 0 0 588 1334 0 0 0 1247 659 0
25.20/23.83 0 0 0
25.20/23.83 c 0 619 1390 1278 659 0 0 0 0
25.20/23.83 c 0 444 1108 1103 659 0 0 0 0
25.20/23.83 c 0 589 1334 1248 659 0 0 0 0
25.20/23.83 c 0 620 1390 1279 659 0 0 0 0
25.20/23.83 c c 0 445 1108 0 1104 344659 962 01003 659 0 0 0 0
25.20/23.83 c 0 590 1334 1249 659 0 0 0 0
25.20/23.83 c 0 621 1390 1280 659 0 0 0 0
25.20/23.83 c 0 591 1334 1250 659 0 0 0 0
25.20/23.83 c 0 622 1390 1281 659 0 0 0 0
25.20/23.83 c 0 446 1108 1105 659 0 0 0 0
25.20/23.83 c 0 592 1334 1251 659 0 0 0 0
25.20/23.83 c 0 623 1390 1282 659 0 0 0 0
25.20/23.83 c 0 447 1108 1106 659 0 0 0 0
25.20/23.83 c 0 595 1338 1254 659 0 0 0 0
25.20/23.83 0 0 0
25.20/23.83 c 0 626 1394 1285 659 0 0 0 0
25.20/23.83 c 0 596 1338 1255 659 0 0 0 0
25.20/23.83 c 0 345 962 1004 659 0 0 0 0
25.20/23.83 c 0 346 962 1005 659 0 0 0 0
25.20/23.83 c c 0 0598 1340 1257 659 0 6281396 1287 659 0 0 0 0
25.20/23.83 0 0 0
25.20/23.83 c 0 347 962 1006 659 0 0 0 0
25.20/23.83 c 0 599 1340 1258 659 0 0 0 0
25.20/23.83 c 0 629 1396 1288 659 0 0 0 0
25.20/23.83 c 0 449 1110 1108 659 0 0 0 0
25.20/23.83 c 0 455 1120 1114 659 0 0 0 0
25.20/23.83 c 0 456 1120 1115 659 0 0 0 0
25.20/23.83 c 0 644 1424 1303 659 0 0 0 0
25.20/23.83 c 0 610 1360 1269 659 0 0 0 0
25.20/23.83 c 0 359 984 1018 659 0 0 0 0
25.20/23.83 c 0 629 1396 1288 659 0 0 0 0
25.20/23.83 c 0 479 1164 1138 659 0 0 0 0
25.20/23.83 c 0 382 1028 1041 659 0 0 0 0
25.20/23.83 c 0 669 1472 1328 659 0 0 0 0
25.20/23.83 c 0 396 1054 1055 659 0 0 0 0
25.20/23.83 c 0 686 1504 1345 659 0 0 0 0
25.20/23.83 c 0 493 1190 1152 659 0 0 0 0
25.20/23.83 c 0 647 1430 1306 659 0 0 0 0
25.20/23.83 c c c 0 0 0 572 772 475 1674 1431 1346 1210 1134 1231 659 659 0 0 659 0 0 0 00 0 00 0 0
25.20/23.83
25.20/23.83 c 0 735 1604 1394 659 0 0 0 0
25.20/23.83
25.20/23.84 c 0 573 1346 1232 659 0 0 0 0
25.20/23.84 c 0 476 1210 1135 659 0 0 0 0
25.20/23.84 c 0 773 1674 1432 659 0 0 0 0
25.20/23.84 c 0 479 1214 1138 659 0 0 0 0
25.20/23.84 c 0 736 1604 1395 659 0 0 0 0
25.20/23.84 c 0 480 1214 1139 659 0 0 0 0
25.20/23.84 c 0 737 1604 1396 659 0 0 0 0
25.20/23.84 c 0 481 1214 1140 659 0 0 0 0
25.20/23.84 c 0 738 1604 1397 659 0 0 0 0
25.20/23.84 c 0 576 1350 1235 659 0 0 0 0
25.20/23.84 c 0 743 1612 1402 659 0 0 0 0
25.20/23.84 c 0 776 1678 1435 659 0 0 0 0
25.20/23.84 c 0 580 1356 1239 659 0 0 0 0
25.20/23.84 c 0 486 1222 1145 659 0 0 0 0
25.20/23.84 c 0 494 1236 1153 659 0 0 0 0
25.20/23.84 c 0 785 1694 1444 659 0 0 0 0
25.20/23.84 c 0 495 1236 1154 659 0 0 0 0
25.20/23.84 c 0 589 1372 1248 659 0 0 0 0
25.20/23.84 c 0 753 1630 1412 659 0 0 0 0
25.20/23.84 c 0 834 1790 1493 659 0 c 0 804 1730 0 0 01463 659 0
25.20/23.84 0 0 0
25.20/23.84 c 0 638 1468 1297 c 659 0 0544 1332 1203 659 0 0 00
25.20/23.84 0 0 0
25.20/23.84 c c 0 0872 1864 902 1924 1561 1531 659 659 0 0 0 0 00 0 0 c 0 692 1574 1351 659 0 0 0 0
25.20/23.84
25.20/23.84 c 0 603 1448 1262 659 0 0 0 0
25.20/23.84 c 0 693 1574 1352 659 0 0 0 0
25.20/23.84 c 0 604 1448 1263 659 0 0 0 0
25.20/23.84 c 0 903 1924 1562 659 0 0 0 0
25.20/23.84 c 0 612 1462 1271 659 0 0 0 0
25.20/23.84 c 0 704 1594 1363 659 0 0 0 0
25.20/23.84 c 0 910 1936 1569 659 0 0 0 0
25.20/23.84 c 0 911 1936 1570 659 0 0 0 0
25.20/23.84 c 0 912 1936 1571 659 0 0 0 0
25.20/23.84 c 0 913 1936 1572 659 0 0 0 0
25.20/23.84 c 0 914 1936 1573 659 0 0 0 0
25.20/23.84 c 0 915 1936 1574 659 0 0 0 0
25.20/23.84 c 0 707 1598 1366 659 0 0 0 0
25.20/23.84
25.20/23.84 c 0 615 1466 1274 659 0 0 0 0
25.20/23.84 c 0 708 1598 1367 659 0 0 0 0
25.20/23.84 c 0 709 1598 c 1368 0 616 1466 1275 659 6590 00 0 0 0 0 0
25.20/23.84
25.20/23.84 c 0 617 1466 1276 659 0 0 0 0
25.20/23.84 c 0 710 1598 1369 659 0 0 0 0
25.20/23.84 c 0 711 1598 1370 659 0 0 0 0
25.20/23.84 c 0 618 1466 1277 659 0 0 0 0
25.20/23.84 c 0 712 1598 1371 659 0 0 0 0
25.20/23.84 c 0 715 1602 1374 659 0 0 0 0
25.20/23.84 c 0 620 1468 1279 659 0 0 0 0
25.20/23.84 c 0 716 1602 1375 659 0 0 0 0
25.20/23.84 c 0 621 1468 1280 659 0 0 0 0
25.20/23.84 c 0 717 1602 1376 659 0 0 0 0
25.20/23.84 c 0 873 1864 1532 659 0 c 0 0 00 c 0 719 623 1604 1470 1282 1378
25.20/23.84 659 659 0 0 0 0 0
25.20/23.84 0 0 0
25.20/23.84 c 0 874 1864 1533 659 0 0 0 0
25.20/23.84 c 0 624 1470 1283 659 0 c 0 0 0
25.20/23.84 0 720 1604 1379 659 0 0 0 0
25.20/23.84 c 0 732 1626 1391 659 0 0 0 0
25.20/23.84 c 0 878 1870 1537 659 0 0 0 0
25.20/23.84 c 0 634 1488 1293 659 0 0 0 0
25.20/23.84 c 0 916 1936 1575 659 0 0 0 0
25.20/23.84 c 0 733 1626 1392 659 0 0 0 0
25.20/23.84 c 0 917 1936 1576 659 0 0 0 0
25.20/23.84 c 0 666 1550 c 1325 0 945 1990 1604 659 659 0 0 0 0 00 0 0
25.20/23.84
25.20/23.84 c 0 765 1688 1424 659 0 0 0 0
25.20/23.85 c 0 771 1758 1430 c 659 0 0 8501856 1509 659 0 c 0 0 00 0 00 1062 2222
25.20/23.85 1721 659 0 0 0 0
25.20/23.85
25.20/23.85 c 0 851 1856 1510 659 0 0 0 0
25.20/23.85 c 0 772 1758 1431 659 0 0 0 0
25.20/23.85 c 0 1063 2222 1722 659 0 0 0 0
25.20/23.85 c 0 1071 2236 1730 659 0 0 0 0
25.20/23.85 c 0 860 1872 1519 659 0 c 0 0 0 0 779 1770 1438 659
25.20/23.85 0 0 0 0
25.20/23.85 c 0 1072 2236 1731 659 0 0 0 0
25.20/23.85 c 0 780 1770 1439 659 0 0 0 0
25.20/23.85 c 0 c 0 1073 2236 1732 659 0 0 0 0
25.20/23.85 861 1872 1520 659 0 0 0 0
25.20/23.85 c 0 781 1770 1440 659 0 0 0 0
25.20/23.85 c 0 1074 2236 1733 659 0 0 0 0
25.20/23.85 c 0 782 1770 1441 659 0 0 0 0
25.20/23.85 c 0 1075 2236 1734 659 0 0 0 0
25.20/23.85 c c 0 783 0 862 1770 1872 1521 1442 659 659 0 0 0 0 0
25.20/23.85 0 0 0
25.20/23.85 c 0 879 1870 1538 659 0 0 0 0
25.20/23.85 c c 0 0 863 785 1872 1772 1522 1444 659 659 0 0 0 0 0
25.20/23.85 0 0 0
25.20/23.85 c 0 786 1772 1445 659 0 0 0 0
25.20/23.85 c 0 864 1872 1523 659 0 0 0 0
25.20/23.85 c 0 787 1772 1446 c 659 0 0 880 1870 1539 659 0 0 00
25.20/23.85 0 0 0
25.20/23.85 c 0 865 1872 1524 659 0 0 0 0
25.20/23.85 c 0 788 1772 1447 659 0 0 0 0
25.20/23.85 c 0 881 1870 1540 659 0 0 0 0
25.20/23.85 c 0 866 1872 1525 659 0 0 0 0
25.20/23.85 c 0 789 1772 1448 659 0 0 0 0
25.20/23.85 c 0 1076 2236 1735 659 0 0 0 0
25.20/23.85 c 0 867 1872 1526 659 0 0 0 0
25.20/23.85 c 0 790 1772 1449 659 0 0 0 0
25.20/23.85 c 0 1077 2236 1736 659 0 c 0 0 0 0 868 1872 1527 659 0
25.20/23.85 0 0 0
25.20/23.85 c 0 870 1874 1529 659 0 c 0 0 0 0 793 1776 1452 659 0
25.20/23.85 0 0 0
25.20/23.85 c 0 871 1874 1530 659 0 0 0 0
25.20/23.85 c 0 794 1776 1453 659 0 0 0 0
25.20/23.85 c 0 872 1874 1531 659 0 0 0 0
25.20/23.85 c 0 796 1778 1455 659 0 0 0 0
25.20/23.85 c 0 874 1876 1533 659 0 0 0 0
25.20/23.85 c 0 797 1778 1456 659 0 0 0 0
25.20/23.85 c 0 875 1876 1534 659 0 0 0 0
25.20/23.85 c 0 1079 2238 1738 659 0 0 0 0
25.20/23.85 c 0 885 1894 1544 659 0 0 0 0
25.20/23.85 c 0 807 1796 1466 659 0 0 0 0
25.20/23.85 c 0 886 1894 1545 659 0 0 0 0
25.20/23.85 c 0 808 1796 1467 659 0 0 0 0
25.20/23.85 c 0 1082 2242 1741 659 0 0 0 0
25.20/23.85 c c 0 0 923 1201 20242478 1860 1582 659 0 659 0 0 0 00 0 0
25.20/23.85 c 0
25.20/23.85 1008 2136 1667 659 0 0 0 0
25.20/23.85 c 0 882 1870 1541 659 0 0 0 0
25.20/23.85 c 0 883 1870 1542 659 0 0 0 0
25.20/23.85 c c 0 1220 2514 1879 659 0 01031 2180 1690 659 0 0 0 0 0 0 0
25.20/23.85
25.20/23.85 c 0 951 2078 1610 659 0 0 0 0
25.20/23.85 c 0 905 1912 1564 659 0 0 0 0
25.20/23.85 c 0 1234 2540 1893 659 0 0 0 0
25.20/23.85 c 0 962 2098 1621 659 0 0 0 0
25.20/23.86 c 0 963 2098 1622 659 0 0 0 0
25.20/23.86 c 0 1235 2540 1894 659 0 0 0 0
25.20/23.86 c 0 919 1938 1578 659 0 0 0 0
25.20/23.86 c 0 1053 2222 1712 659 0 0 0 0
25.20/23.86 c 0 920 1938 1579 659 0 0 0 0
25.20/23.86 c 0 1063 2240 1722 659 0 0 0 0
25.20/23.86 c 0 1242 2552 1901 659 0 0 0 0
25.20/23.86 c 0 931 1958 1590 659 0 0 0 0
25.20/23.86 c 0 1064 2240 1723 659 0 0 0 0
25.20/23.86 c 0 1243 2552 1902 659 0 0 0 0
25.20/23.86 c 0 975 2120 1634 659 0 0 0 0
25.20/23.86 c 0 1278 2620 1937 659 0 0 0 0
25.20/23.86 c 0 1100 2310 1759 659 0 0 0 0
25.20/23.86 c 0 964 2022 1623 659 0 0 0 0
25.20/23.86 c 0 1011 2190 1670 659 0 0 0 0
25.20/23.86 c 0 c 1029 0 2224 1127 1688 2362 1786 659 659 0 0 0 0 0 0 0 0
25.20/23.86
25.20/23.86 c 0 988 2068 1647 659 0 0 0 0
25.20/23.86 c 0 1303 2668 1962 659 0 0 0 0
25.20/23.86 c 0 1329 2718 1988 659 0 0 0 0
25.20/23.86 c 0 1016 2122 1675 659 0 c 0 0 0 0 1158
25.20/23.86 c 0 1060 2284 1719 659 0 0 0 0
25.20/23.86 2422 1817 659 0 0 0 0
25.20/23.86 c 0 1330 2718 1989 659 0 0 0 0
25.20/23.86 c 0 1028 2144 1687 659 0 0 0 0
25.20/23.86 c 0 1172 2448 1831 c 0 1070 2302 1729 659 659 0 0 0 0 0 0 0 0
25.20/23.86
25.20/23.86 c 0 1029 2144 1688 659 0 0 0 0
25.20/23.86 c 0 1071 2302 1730 659 0 0 0 0
25.20/23.86 c 0 1173 2448 1832 659 0 0 0 0
25.20/23.86 c 0 1341 2738 2000 659 0 0 0 0
25.20/23.86 c c 0 01358 1198 2496 1857 659 0 2770 2017 0 0 0659 0 c 0 0 0
25.20/23.86 0 1054 2192 1713 659 0 0 0 0
25.20/23.86 c
25.20/23.86 0 c 0 1359 2770 2018 659 c 0 0 1199 2496 1858 659 0 0 0 00 0 0
25.20/23.86
25.20/23.86 c 0 1055 2192 1714 659 0 0 0 0
25.20/23.86 1089 2336 1748 659 0 0 0 0
25.20/23.86 c 0 1090 2336 1749 659 0 0 0 0
25.20/23.86 c 0 1379 2808 2038 659 0 0 0 0
25.20/23.86 c 0 1081 2242 1740 659 0 0 0 0
25.20/23.86 c 0 1380 2808 2039 659 0 0 0 0
25.20/23.86 c 0 1381 2808 2040 659 0 0 0 0
25.20/23.86 c 0 1107 2368 1766 659 0 0 0 0
25.20/23.86 c 0 1226 2548 1885 659 0 0 0 0
25.20/23.86 c 0 1382 2808 2041 659 0 0 0 0
25.20/23.86 c 0 1384 2810 2043 659 0 0 0 0
25.20/23.86 c 0 1082 2242 1741 659 0 0 0 0
25.20/23.86 c 0 1385 2810 2044 659 0 0 0 0
25.20/23.86 c 0 1083 2242 1742 659 0 0 0 0
25.20/23.86 c 0 1108 2368 1767 659 0 0 0 0
25.20/23.86 c 0 1227 2548 1886 659 0 0 0 0
25.20/23.86 c 0 1111 2372 1770 659 0 c 0 1391 0 0 0 2820 2050 659 0
25.20/23.86 0 0 0
25.20/23.86 c 0 1087 2248 1746 659 0 0 0 0
25.20/23.86 c 0 1088 2248 1747 659 0 0 0 0
25.20/23.86 c 0 1392 2820 2051 659 0 0 0 0
25.20/23.86 c 0 1089 2248 1748 659 0 0 0 0
25.20/23.86 c 0 1393 2820 2052 659 0 c 0 0 0
25.20/23.86 0 c 0 1232 2556 1891 659 0 0 0 0
25.20/23.86 c 0 1234 2558 1893 659 0 0 0 0
25.20/23.86 1113 2374 1772 659 0 0 0 0
25.20/23.86 c 0 1094 2256 1753 659 0 0 0 0
25.20/23.86 c 0 1114 2374 1773 659 0 0 0 0
25.20/23.86 c 0 1399 2830 2058 659 0 0 0 0
25.20/23.86 c 0 1430 2890 2089 659 0 0 0 0
25.20/23.86 c 0 1270 2628 1929 659 c 0 0 1128 2322 1787 659 0 0 0 0
25.20/23.86 0 0 0
25.20/23.86 c 0 1151 2446 1810 659 0 0 0 0
25.20/23.86 c 0 1440 2908 2099 659 0 0 0 0
25.20/23.86 c 0 1441 2908 2100 659 0 0 0 0
25.20/23.86 c 0 1135 2334 1794 659 0 0 0 0
25.20/23.86 c 0 1155 2452 1814 659 0 0 0 0
25.20/23.86 c 0 1277 2640 1936 659 0 0 0 0
25.20/23.86 c 0 1290 2664 1949 659 0 0 0 0
25.20/23.86 c 0 1165 2470 1824 659 0 0 0 0
25.20/23.86 c 0 1291 2664 1950 659 0 0 0 0
25.20/23.86 c 0 1169 2476 1828 659 0 0 0 0
25.20/23.86 c 0 1294 2668 c 1953 659 0 0 1170 2476 1829 659 0 0 0 0
25.20/23.86 c 0 1150 2362 1809 659 0 0 0 0
25.20/23.86 0 0 0
25.20/23.86 c 0 1456 2936 2115 659 0 0 0 0
25.20/23.86 c 0 1177 2414 1836 659 0 0 0 0
25.20/23.86 c 0 1472 2966 2131 659 0 0 0 0
25.20/23.86 c 0 1189 2512 1848 659 0 0 0 0
25.20/23.86 c 0 1473 2966 2132 659 0 0 0 0
25.20/23.86 c 0 1475 2968 2134 659 0 0 0 0
25.20/23.86 c 0 1476 2968 2135 659 0 0 0 0
25.20/23.86 c 0 1323 2724 1982 659 0 0 0 0
25.20/23.86 c 0 1190 2512 1849 659 0 0 0 0
25.20/23.86 c 0 1191 2512 1850 659 0 0 0 0
25.20/23.86 c 0 1324 2724 1983 659 0 0 0 0
25.20/23.86 c 0 1179 2416 1838 659 0 0 0 0
25.20/23.86 c 0 1479 2972 2138 659 0 0 0 0
25.20/23.86 c 0 1180 2416 1839 659 0 0 0 0
25.20/23.86 c 0 1193 2514 1852 659 0 0 0 0
25.20/23.86 c 0 1480 2972 2139 659 0 0 0 0
25.20/23.86 c 0 1481 2972 2140 659 0 c 0 0 0 01328 2730 1987
25.20/23.86 659 0 0 0 0
25.20/23.86 c 0 1484 2976 2143 659 0 0 0 0
25.20/23.86 c 0 1195 2516 1854 659 0 0 0 0
25.20/23.86 c 0 1330 2732 1989 659 0 0 0 0
25.20/23.86 c c 0 0 1331 2732 1990 1486 659 2978 2145 659 0 0 0 0 0 0 0 0
25.20/23.86 c 0 1182 2418 1841 659 0 0 0 0
25.20/23.86 c
25.20/23.86 0 c 0 1487 2978 2146 659 0 0 0 0
25.20/23.86 c c 0 1183 2418 1842 0 659 1332 0 2732 1991 659 0 0 0 0 0 0 0
25.20/23.86
25.20/23.86 1197 2518 1856 659 0 0 0 0
25.20/23.86 c 0 1198 2518 1857 659 0 0 0 0
25.20/23.86 c 0 1337 2740 1996 659 0 0 0 0
25.20/23.86 c 0 1185 2420 1844 659 0 0 0 0
25.20/23.86 c 0 1492 2986 2151 659 0 0 0 0
25.20/23.86 c 0 1241 2530 1900 c 659 0 0 1253 2626 1912 659 0 0 0 00 0 0
25.20/23.86
25.20/23.86 c 0 1392 2848 2051 659 0 0 0 0
25.20/23.86 c 0 1544 3088 2203 659 0 0 0 0
25.20/23.86 c 0 1254 2626 1913 659 0 0 0 0
25.20/23.86 c 0 1242 2530 1901 659 0 0 0 0
25.20/23.86 c 0 1393 2848 2052 659 0 0 0 0
25.20/23.87 c 0 1545 3088 2204 659 0 0 0 0
25.20/23.87 c 0 1555 3106 2214 659 0 c 0 0 00 1408 2876 2067 659 0 0 0 0
25.20/23.87 c
25.20/23.87 0 1267 2650 1926 659 0 0 0 0
25.20/23.87 c 0 1259 2562 1918 659 0 0 0 0
25.20/23.87 c 0 1260 2562 1919 659 0 0 0 0
25.20/23.87 c 0 1270 2654 1929 659 0 0 0 0
25.20/23.87 c 0 1557 3108 2216 659 0 0 0 0
25.20/23.87 c 0 1410 2878 2069 659 0 0 0 0
25.20/23.87 c 0 1412 2880 2071 659 0 0 0 0
25.20/23.87 c 0 1275 2662 1934 659 0 0 0 0 c 0 1265
25.20/23.87 2570 1924 659 0 0 0 0
25.20/23.87 c 0 1559 3110 2218 659 0 0 0 0
25.20/23.87 c 0 1442 2938 2101 659 0 0 0 0
25.20/23.87 c 0 1285 2608 1944 659 0 0 0 0
25.20/23.87 c 0 1443 2938 2102 659 0 0 0 0
25.20/23.87 c 0 1286 2608 1945 659 0 0 0 0
25.20/23.87 c 0 1296 2702 1955 659 0 0 0 0
25.20/23.87 c 0 1577 3144 2236 659 0 0 0 0
25.20/23.87 c 0 1304 2642 1963 659 0 0 0 0
25.20/23.87 c 0 1463 2976 2122 659 0 c 0 0 0
25.20/23.87 01307 2722 1966 659 0 0 0 0
25.20/23.87 c 0 1586 3160 2245 659 0 0 0 0
25.20/23.87 c 0 1305 2642 1964 659 0 0 0 0
25.20/23.87 c 0 1325 2680 1984 659 0 0 0 0
25.20/23.87 c 0 1324 2754 1983 659 0 0 0 0
25.20/23.87 c 0 1491 3030 2150 659 0 0 0 0
25.20/23.87 c 0 1326 2680 1985 659 0 0 0 0
25.20/23.87 c 0 1605 3196 2264 659 0 0 0 0
25.20/23.87 c 0 1496 3038 2155 659 0 0 0 0
25.20/23.87 c 0 1497 3038 2156 659 0 0 0 0
25.20/23.87 c 0 1498 3038 2157 659 0 0 0 0
25.20/23.87 c 0 1330 2686 1989 659 0 0 0 0
25.20/23.87 c 0 1328 2760 1987 659 0 0 0 0
25.20/23.87 c 0 1331 2686 1990 659 0 0 0 0
25.20/23.87 c 0 1329 2760 1988 659 0 0 0 0
25.20/23.87 c 0 1330 2760 1989 659 0 0 0 0
25.20/23.87 c 0 1331 2760 1990 659 0 0 0 0
25.20/23.87 c 0 1333 2688 1992 659 0 0 0 0
25.20/23.87 c 0 1500 3040 2159 659 0 0 0 0
25.20/23.87 c 0 1606 3196 2265 659 0 0 0 0
25.20/23.87 c 0 1607 3196 2266 659 0 0 0 0
25.20/23.87 c 0 1335 2766 1994 659 0 0 0 0
25.20/23.87 c 0 1609 3198 2268 659 0 0 0 0
25.20/23.87 c 0 1611 3200 2270 659 0 0 0 0
25.20/23.87 c 0 1337 2768 1996 659 0 0 0 0
25.20/23.87 c 0 1612 3200 2271 659 0 0 0 0
25.20/23.87 c 0 1338 2768 1997 659 0 0 0 0
25.20/23.87 c 0 1503 3044 2162 659 0 0 0 0
25.20/23.87 c 0 1338 2696 1997 659 0 0 0 0
25.20/23.87 c 0 1343 2704 2002 659 0 0 0 0
25.20/23.87 c 0 1342 2774 2001 659 0 0 0 0
25.20/23.87 c 0 1507 3050 2166 659 0 0 0 0
25.20/23.87 c 0 1618 3210 2277 659 0 0 0 0
25.20/23.87 c 0 1348 2712 2007 659 0 0 0 0
25.20/23.87 c 0 1510 3054 2169 659 0 0 0 0
25.20/23.87 c 0 1619 3210 2278 659 0 0 0 0
25.20/23.87 c 0 1344 2776 2003 659 0 0 0 0
25.20/23.87 c 0 1540 3112 2199 659 0 0 0 0
25.20/23.87 c 0 1370 2754 2029 659 0 0 0 0
25.20/23.87 c 0 1362 2810 2021 659 0 0 0 0
25.20/23.87 c 0 1639 3248 2298 659 0 0 0 0
25.20/23.87 c 0 1655 3278 2314 659 c 0 0 1379 2842 2038 659 0 0 00
25.20/23.87 c 0 1560 3150 2219 659 0 0 0 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1392 2796 2051 659 0 0 0 0
25.20/23.87 c 0 1394 2798 2053 659 0 0 0 0
25.20/23.87 c 0 1383 2848 2042 659 0 0 0 0
25.20/23.87 c 0 1664 3294 2323 659 0 0 0 0
25.20/23.87 c 0 1564 3156 2223 659 0 0 0 0
25.20/23.87 c 0 1386 2852 2045 659 0 0 0 0 c 0 1666 3296 2325 659 0
25.20/23.87 c 0 1565 3156 2224 659 0 0 0 0
25.20/23.87 c 0 1396 2800 2055 659 0 0 0 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1399 2804 2058 659 0 c 0 0 00 1569 3162 2228 659 0
25.20/23.87 c 0 1390 2858 2049 659 0 0 0 0 0 0 0
25.20/23.87 c 0 1667 3296 2326 659 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1409 2822 2068 659 0 0 0 0
25.20/23.87 c 0 1575 3172 2234 659 0 0 0 0
25.20/23.87 c 0 1395 2866 2054 659 0 0 0 0
25.20/23.87 c 0 1396 2866 2055 659 0 0 0 0
25.20/23.87 c 0 1577 3174 2236 659 0 0 0 0
25.20/23.87 c 0 1397 2866 2056 659 0 0 0 0
25.20/23.87 c 0 1578 3174 2237 659 0 c 0 0 0 01411 2824 2070 659
25.20/23.87 0 0 0 0
25.20/23.87 c 0 1678 3316 2337 659 0 0 0 0
25.20/23.87 c 0 1417 2834 2076 659 0 c 0 0 0 0 1402 2874 2061 659 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1682 3322 2341 659 0 0 0 0
25.20/23.87 c 0 1585 3186 2244 659 0 0 0 0
25.20/23.87 c 0 1687 3330 2346 659 0 0 0 0
25.20/23.87 c 0 1591 3196 2250 659 0 c 0 0 0
25.20/23.87 01406 2880 2065 659 0 0 0 0
25.20/23.87 c 0 1423 2844 2082 659 0 0 0 0
25.20/23.87 c 0 1601 3214 2260 659 0 0 0 0
25.20/23.87 c 0 1416 2898 2075 659 0 0 0 0
25.20/23.87 c 0 1699 3352 2358 659 0 0 0 0
25.20/23.87 c 0 1435 2866 2094 659 0 0 0 0
25.20/23.87 c 0 1605 3220 2264 659 0 0 0 0
25.20/23.87 c 0 1442 2878 2101 659 0 0 0 0
25.20/23.87 c 0 1704 3360 2363 659 0 0 0 0
25.20/23.87 c 0 1606 3220 2265 659 0 0 0 0
25.20/23.87 c 0 1443 2878 2102 659 0 0 0 0
25.20/23.87 c 0 1705 3360 2364 659 0 0 0 0
25.20/23.87 c 0 1422 2908 2081 659 0 0 0 0
25.20/23.87 c 0 1616 3238 2275 c 659 0 1429 0 29202088 659 0 0 0 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1717 3382 2376 659 0 0 0 0
25.20/23.87 c 0 1430 2920 2089 659 0 0 0 0
25.20/23.87 c 0 1617 3238 2276 659 0 0 0 0
25.20/23.87 c 0 1456 2902 2115 659 0 0 0 0
25.20/23.87 c 0 1719 3384 2378 659 0 0 0 0
25.20/23.87 c 0 1620 3242 2279 659 0 0 0 0
25.20/23.87 c 0 1457 2902 2116 659 0 c 0 1432 0 0 02922 2091 659 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1450 2956 2109 659 0 0 0 0
25.20/23.87 c 0 1648 3296 2307 659 0 0 0 0
25.20/23.87 c 0 1481 2948 2140 659 0 0 0 0
25.20/23.87 c 0 1740 3424 2399 659 0 0 0 0
25.20/23.87 c 0 1492 2968 2151 659 0 0 0 0
25.20/23.87 c 0 1748 3438 2407 659 0 0 0 0
25.20/23.87 c 0 1460 2974 2119 659 0 0 0 0
25.20/23.87 c 0 1493 2968 2152 659 0 0 0 0
25.20/23.87 c 0 1749 3438 2408 659 0 0 0 0
25.20/23.87 c 0 1750 3438 2409 659 0 0 0 0
25.20/23.87 c 0 1462 2976 2121 659 0 c 0 0 00 1751 3438 2410 659 0
25.20/23.87 c 0 1463 2976 2122 659 0 0 0 0
25.20/23.87 c 0 1659 3316 2318 659 0 0 0 0
25.20/23.87 c 0 1495 2970 2154 659 0 0 0 0
25.20/23.87 c 0 1464 2976 2123 659 0 0 0 0
25.20/23.87 c 0 1496 2970 2155 659 0 c 0 0 0 01465
25.20/23.87 2976 2124 659 0 0 0 0
25.20/23.87 c 0 1660 3316 2319 659 0 0 0 0
25.20/23.87 0 0 0
25.20/23.87 c 0 1752 3438 2411 659 0 0 0 0
25.20/23.87 c 0 1470 2984 2129 659 0 0 0 0
25.20/23.87 c 0 1753 3438 2412 659 0 0 0 0
25.20/23.87 c 0 1754 3438 2413 659 0 0 0 0
25.20/23.87 c 0 1471 2984 2130 659 0 0 0 0
25.20/23.87 c 0 1664 3322 2323 659 0 0 0 0
25.20/23.87 c 0 1502 2980 2161 659 0 0 0 0
25.20/23.87 c 0 1473 2986 2132 659 0 0 0 0
25.20/23.87 c 0 1665 3322 2324 659 0 0 0 0
25.20/23.87 c 0 1474 2986 2133 659 0 0 0 0
25.20/23.87 c 0 1666 3322 2325 659 0 0 0 0
25.20/23.87 c 0 1503 2980 2162 659 0 0 0 0
25.20/23.87 c 0 1757 3442 2416 659 0 0 0 0
25.20/23.87 c 0 1667 3322 2326 659 0 0 0 0
25.20/23.87 c 0 1504 2980 2163 659 0 0 0 0
25.20/23.87 c 0 1476 2988 2135 659 0 0 0 0
25.20/23.87 c 0 1758 3442 2417 659 0 0 0 0
25.20/23.87 c 0 1681 3348 2340 659 0 0 0 0
25.20/23.87 c 0 1491 3016 2150 659 0 0 0 0
25.20/23.87 c 0 1519 3008 2178 659 0 0 0 0
25.20/23.87 c 0 1773 3470 2432 659 0 0 0 0
25.20/23.87 c 0 1502 3036 2161 659 0 0 0 0
25.20/23.87 c 0 1531 3030 2190 659 0 0 0 0
25.20/23.87 c 0 1694 3372 2353 659 0 c 0 0 0
25.20/23.88 0 1786 3494 2445 659 0 0 0 0
25.20/23.88 c 0 1515 3060 2174 659 0 0 0 0
25.20/23.88 c 0 1704 3390 2363 659 0 0 0 0
25.20/23.88 c 0 1516 3060 2175 659 0 0 0 0
25.20/23.88 c 0 1797 3514 2456 659 0 0 0 0
25.20/23.88 c 0 1547 3060 2206 659 0 0 0 0
25.20/23.88 c 0 1715 3410 2374 659 0 0 0 0
25.20/23.88 c 0 1529 3084 2188 659 0 0 0 0
25.20/23.88 c 0 1809 3536 2468 659 0 0 0 0
25.20/23.88 c 0 1557 3078 2216 659 0 0 0 0
25.20/23.88 c 0 1720 3418 2379 659 0 0 0 0
25.20/23.88 c 0 1810 3536 2469 659 0 0 0 0
25.20/23.88 c 0 1558 3078 2217 659 0 0 0 0
25.20/23.88 c 0 1811 3536 c 2470 0 6591531 03086 2190 659 0 0 0 0
25.20/23.88 c 0 1721 3418 2380 659 0 0 0 0
25.20/23.88 0 0 0
25.20/23.88 c 0 1569 3098 2228 659 0 0 0 0
25.20/23.88 c 0 1733 3440 2392 659 0 0 0 0
25.20/23.88 c 0 1824 3560 2483 659 0 0 0 0
25.20/23.88 c 0 1545 3112 2204 659 0 0 0 0
25.20/23.88 c 0 1833 3576 2492 659 c 0 0 1741 3454 2400 659 0 0 0 0 0 0 0
25.20/23.88
25.20/23.88 c 0 1556 3132 2215 659 0 0 0 0
25.20/23.88 c 0 1834 3576 c 2493 0 6591742 0 3454 2401 659 0 0 0 0
25.20/23.88 0 0 0
25.20/23.88 c 0 1581 3120 2240 659 0 0 0 0
25.20/23.88 c 0 1562 3142 2221 659 0 0 0 0
25.20/23.88 c 0 1585 3126 2244 659 0 0 0 0
25.20/23.88 c 0 1840 3586 2499 659 0 0 0 0
25.20/23.88 c 0 1745 3458 2404 659 0 0 0 0
25.20/23.88 c 0 c 1747 0 1568 34603152 2227 2406 659 0 659 0 0 0 0 0 0 0
25.20/23.88
25.20/23.88 c 0 1590 3134 2249 659 0 0 0 0
25.20/23.88 c 0 1847 3598 2506 659 0 0 0 0
25.20/23.88 c 0 1767 3498 2426 659 0 0 0 0
25.20/23.88 c 0 1863 3628 2522 659 0 0 0 0
25.20/23.88 c 0 1607 3166 2266 659 0 0 0 0
25.20/23.88 c 0 1609 3168 2268 659 0 0 0 0
25.20/23.88 c 0 1587 3188 2246 659 0 0 0 0
25.20/23.88 c 0 1770 3502 2429 659 0 0 0 0
25.20/23.88 c 0 1866 3632 2525 659 0 0 0 0
25.20/23.88 c 0 1620 3188 2279 659 0 0 0 0
25.20/23.88 c 0 1874 3646 2533 659 0 0 0 0
25.20/23.88 c 0 1621 3188 2280 659 0 0 0 0
25.20/23.88 c 0 1600 3212 2259 659 0 0 0 0
25.20/23.88 c 0 1774 3508 2433 659 0 0 0 0
25.20/23.88 c 0 1875 3646 2534 659 0 0 0 0
25.20/23.88 c 0 1635 3214 2294 659 0 0 0 0
25.20/23.88 c 0 1784 3526 2443 659 0 0 0 0
25.20/23.88 c 0 1890 3674 2549 659 0 0 0 0
25.20/23.88 c 0 1616 3242 2275 659 0 0 0 0
25.20/23.88 c 0 1790 3536 2449 659 0 0 0 0
25.20/23.88 c 0 1626 3260 2285 659 0 0 0 0
25.20/23.88 c 0 1644 3230 2303 659 0 0 0 0
25.20/23.88 c 0 1791 3536 2450 659 0 0 0 0
25.20/23.88 c 0 1627 3260 2286 659 0 0 0 0
25.20/23.88 c 0 1793 3538 2452 659 0 c 0 1645 0 0 0
25.20/23.88 3230 2304 659 0 0 0 0
25.20/23.88 c 0 1901 3694 2560 659 0 0 0 0
25.20/23.88 c 0 1803 3556 2462 659 0 0 0 0
25.20/23.88 c 0 1913 3716 2572 659 0 0 0 0
25.20/23.88 c 0 1657 3252 2316 659 0 0 0 0
25.20/23.88 c 0 1804 3556 2463 659 0 0 0 0
25.20/23.88 c 0 1805 3556 2464 659 0 0 0 0
25.20/23.88 c 0 1806 3556 2465 659 0 0 0 0
25.20/23.88 c 0 1914 3716 2573 659 0 0 0 0
25.20/23.88 c 0 1658 3252 2317 659 0 0 0 0
25.20/23.88 c 0 1644 3292 2303 659 0 0 0 0
25.20/23.88 c 0 1645 3292 2304 659 0 0 0 0
25.20/23.88 c 0 1918 3722 2577 659 0 0 0 0
25.20/23.88 c 0 1660 3254 2319 659 0 0 0 0
25.20/23.88 c 0 1812 3566 2471 659 0 0 0 0
25.20/23.88 c 0 1816 3572 2475 659 0 0 0 0
25.20/23.88 c 0 c 1929 0 1659 3318 2318 659 37420 2588 659 0 0 0 0
25.20/23.88 c 0 1668 3268 2327 659 0 0 0 0
25.20/23.88 c 0 1661 3320 2320 659 0 0 0 0
25.20/23.88 c 0 1819 0 0 03576 2478 659 0
25.20/23.88 0 0 0
25.20/23.88 c 0 1820 3576 2479 659 0 0 0 0
25.20/23.88 c 0 1821 3576 2480 659 0 0 0 0
25.20/23.88 c c 0 1930 0 3742 16722589 3274 2331 659 0 659 0 0 0 0 0 0 0
25.20/23.88 c 0 1822 3576 2481 659 0 0 0 0
25.20/23.88
25.20/23.88 c 0 1664 3324 2323 659 0 0 0 0
25.20/23.88 c 0 1931 3742 2590 659 0 0 0 0
25.20/23.88 c 0 1673 3274 2332 659 0 0 0 0
25.20/23.88 c 0 1675 3276 2334 659 0 0 0 0
25.20/23.88 c 0 1668 3330 2327 659 0 0 0 0
25.20/23.88 c 0 1933 3744 2592 659 0 0 0 0
25.20/23.88 c 0 1826 3582 2485 659 0 0 0 0
25.20/23.88 c 0 1673 3338 2332 659 0 0 0 0
25.20/23.88 c 0 1680 3284 2339 659 0 0 0 0
25.20/23.88 c 0 1936 3748 2595 659 0 0 0 0
25.20/23.88 c 0 1831 3590 2490 659 0 0 0 0
25.20/23.88 c 0 1684 3290 2343 659 0 0 0 0
25.20/23.88 c 0 1678 3346 2337 659 0 0 0 0
25.20/23.88 c 0 1832 3590 2491 659 0 0 0 0
25.20/23.88 c 0 1939 3752 2598 659 0 0 0 0
25.20/23.88 c 0 1686 3292 2345 659 0 0 0 0
25.20/23.88 c 0 1835 3594 2494 659 0 0 0 0
25.20/23.88 c 0 1687 3292 2346 659 0 0 0 0
25.20/23.88 c 0 1836 3594 2495 659 0 0 0 0
25.20/23.88 c 0 1685 3358 2344 659 0 0 0 0
25.20/23.88 c 0 1944 3760 2603 659 0 0 0 0
25.20/23.88 c 0 1689 3364 2348 659 0 0 0 0
25.20/23.88 c 0 1948 3766 2607 659 0 0 0 0
25.20/23.88 c 0 1689 3294 2348 659 0 0 0 0
25.20/23.88 c 0 1840 3600 2499 659 0 0 0 0
25.20/23.88 c 0 1841 3600 2500 659 0 0 0 0
25.20/23.88 c 0 1693 3370 2352 659 0 0 0 0
25.20/23.88 c 0 1950 3768 2609 659 0 0 0 0
25.20/23.88 c 0 1697 3376 2356 659 0 0 0 0
25.20/23.88 c 0 1951 3768 2610 659 0 0 0 0
25.20/23.88 c 0 1692 3298 2351 659 0 0 0 0
25.20/23.88 c 0 1844 3604 2503 659 0 0 0 0
25.20/23.88 c 0 1704 3388 2363 659 0 0 0 0
25.20/23.88 c 0 1953 3770 2612 659 0 0 0 0
25.20/23.88 c 0 1705 3388 2364 659 0 0 0 0
25.20/23.88 c 0 1696 3304 2355 659 0 0 0 0
25.20/23.88 c 0 1846 3606 2505 659 0 0 0 0
25.20/23.88 c 0 1974 3810 2633 659 0 0 0 0
25.20/23.88 c 0 1863 3638 2522 659 0 0 0 0
25.20/23.88 c 0 1714 3338 2373 659 0 0 0 0
25.20/23.88 c 0 1725 3426 2384 659 0 0 0 0
25.20/23.88 c 0 1737 3448 2396 659 0 0 0 0
25.20/23.88 c 0 c 1876 0 3662 19892535 3838 6592648 0 659 0 0 0 0 0 0 0
25.20/23.88 c 0 1728 3364 2387 659 0 0 0 0
25.20/23.88
25.20/23.88 c 0 1738 3448 2397 659 0 0 0 0
25.20/23.88 c 0 1739 3448 2398 659 0 0 0 0
25.20/23.88 c 0 1990 3838 2649 659 0 0 0 0
25.20/23.88 c 0 1877 3662 2536 659 0 c 0 0 0
25.20/23.88 0 1729 3364 2388 659 0 0 0 0
25.20/23.88 c 0 1736 3376 2395 659 0 0 0 0
25.20/23.88 c 0 1745 3458 2404 659 0 0 0 0
25.20/23.88 c 0 1746 3458 2405 659 0 0 0 0
25.20/23.88 c 0 1738 3378 2397 659 0 0 0 0
25.20/23.88 c 0 1995 3846 2654 659 0 c 0 0 0
25.20/23.88 0 c 0 1748 3460 2407 659 0 0 0 0
25.20/23.88 1882 3670 2541 659 0 0 0 0
25.20/23.88 c 0 1740 3380 2399 659 0 0 0 0
25.20/23.88 c 0 1998 3850 2657 659 0 0 0 0
25.20/23.88 c 0 1750 3462 2409 659 0 0 0 0
25.20/23.88 c 0 1885 3674 2544 659 0 0 0 0
25.20/23.88 c 0 1748 3394 2407 659 0 0 0 0
25.20/23.88 c 0 1889 3680 2548 659 0 c 0 0 00 1754
25.20/23.88 3468 2413 659 0 0 0 0
25.20/23.88 c 0 1749 3394 2408 659 0 0 0 0
25.20/23.88 c 0 1890 3680 2549 659 0 0 0 0
25.20/23.88 c 0 1755 3468 2414 659 0 0 0 0
25.20/23.88 c 0 2004 3860 2663 659 0 0 0 0
25.20/23.88 c 0 2006 3862 2665 659 0 0 0 0
25.20/23.88 c 0 1892 3682 2551 659 0 0 0 0
25.20/23.88 c 0 1753 3400 2412 659 0 0 0 0
25.20/23.88 c 0 1759 3474 2418 659 0 0 0 0
25.20/23.88 c 0 2011 3870 2670 659 0 0 0 0
25.20/23.88 c 0 1763 3480 2422 659 0 0 0 0
25.20/23.88 c 0 1895 3686 c 0 2554 2012 659 3870 02671 659 0 c 0 0 0 0 0 00 1764 3480 2423 659 0
25.20/23.88
25.20/23.88 c 0 1896 3686 2555 659 0 0 0 0
25.20/23.88 c 0 2013 3870 2672 659 0 0 0 0
25.20/23.88 c 0 1758 3408 2417 659 0 0 0 0
25.20/23.88 c 0 1760 3410 2419 659 0 0 0 0
25.20/23.88 c 0 1761 3410 2420 659 0 0 0 0
25.20/23.88 c 0 1899 3690 2558 659 0 0 0 0
25.20/23.88 c 0 2015 3872 2674 659 0 0 0 0
25.20/23.88 c 0 2017 3874 2676 659 0 0 0 0
25.20/23.88 c 0 2019 3876 2678 659 0 0 0 0
25.20/23.88 c 0 2020 3876 2679 659 0 0 0 0
25.20/23.88 c 0 1901 3692 2560 659 0 0 0 0
25.20/23.88 c 0 1767 3420 2426 659 0 0 0 0
25.20/23.88 c 0 1768 3420 2427 659 0 0 0 0
25.20/23.88 c 0 1769 3420 2428 659 0 0 0 0
25.20/23.88 c 0 2023 3880 2682 659 0 0 0 0
25.20/23.88 c 0 1903 3694 2562 659 0 0 0 0
25.20/23.88 c 0 1776 3432 c 2435 0 2027 659 3886 0 2686 659 0 0 0 0
25.20/23.88 0 0 00 0 0
25.20/23.88 c 0 1906 3698 2565 659 0
25.20/23.88 0 0 0
25.20/23.88 c 0 1765 3480 2424 659 0 0 0 0
25.20/23.88 c 0 1907 3698 2566 659 0 0 0 0
25.20/23.88 c 0 1777 3432 2436 659 0 c 0 1766 3480 0 0 02425 659 0 c 0 0 0
25.20/23.88 02028 3886 2687 659 0 c 0 0 0
25.20/23.88 01908 3698 2567 659 0 0 0 0
25.20/23.88 c 0 1767 3480 2426 659 0 0 0 0
25.20/23.88
25.20/23.88 c 0 1778 3432 2437 659 0 0 0 0
25.20/23.88 c 0 1769 3482 2428 659 0 0 0 0
25.20/23.88 c 0 2031 3890 2690 659 0 0 0 0
25.20/23.88 c 0 1910 3700 2569 659 0 0 0 0
25.20/23.88 c 0 1772 3486 2431 659 0 0 0 0
25.20/23.88 c 0 1773 3486 2432 659 0 0 0 0
25.20/23.88 c 0 1780 3434 2439 659 0 0 0 0
25.20/23.88 c 0 2033 3892 2692 659 0 0 0 0
25.20/23.88 c 0 1776 3490 2435 659 0 0 0 0
25.20/23.88 c 0 1782 3436 2441 659 c 0 0 2034 3892 2693 659 0 0 0 0
25.20/23.88 0 0 0
25.20/23.88 c 0 1912 3702 2571 659 0 0 0 0
25.20/23.88 c 0 1781 3498 2440 659 0 0 0 0
25.20/23.88 c 0 2036 3894 2695 659 0 0 0 0
25.20/23.88 c 0 1915 3706 2574 659 0 0 0 0
25.20/23.88 c 0 1786 3442 2445 659 0 0 0 0
25.20/23.88 c 0 1787 3508 2446 659 0 0 0 0
25.20/23.88 c 0 1790 3448 2449 659 0 0 0 0
25.20/23.88 c 0 1791 3448 2450 659 0 c 0 0 00 1788 3508 2447 659 0 c
25.20/23.88 0 0 00
25.20/23.88 2039 3898 2698 659 0 c 0 0 0 0 1917 3708 2576
25.20/23.88 c 0 1792 3448 2451 659 0 659 0 0 0
25.20/23.88 0 c 0 0 0 01789 3508
25.20/23.88 2448 659 0 0 0 0
25.20/23.88 c 0 2040 3898 2699 659 0 0 0 0
25.20/23.88 c 0 2049 3914 2708 659 0 0 0 0
25.20/23.88 c 0 1804 3536 2463 659 0 0 0 0
25.20/23.88 c 0 1807 3476 2466 659 0 0 0 0
25.20/23.88 c 0 1929 3730 2588 659 0 0 0 0
25.20/23.88 c 0 2050 3914 2709 659 0 0 0 0
25.20/23.88 c 0 2051 3914 2710 659 0 0 0 0
25.20/23.88 c 0 1805 3536 2464 659 0 0 0 0
25.20/23.88 c c 0 c 1930 0 03730 18082589659 0 3476 2052 0 0 02467 3914 2711 659 6590 0 0 0 0
25.20/23.88 0 0 0
25.20/23.88 c 0 1806 3536 2465 659 0 0 0 0
25.20/23.89
25.20/23.89 c 0 1810 3478 2469 659 0 0 0 0
25.20/23.89 c 0 1814 3550 2473 659 0 0 0 0
25.20/23.89 c 0 1933 3734 2592 659 0 0 0 0
25.20/23.89 c 0 2057 3922 2716 659 0 0 0 0
25.20/23.89 c c 0 c 1815 0 02059 3924 2718 659 0 3486 1817 3554 2474 2476 659 0 0 00 659 0 0 0 0 0 0 0
25.20/23.89
25.20/23.89
25.20/23.89 c 0 1816 3486 2475 659 0 c c 0 2060 3924 2719 659 0 0 0 0
25.20/23.89 0 1818 3554 2477 659 0 0 0 0
25.20/23.89 c 0 2061 3924 2720 659 0 0 0 0
25.20/23.89 c 0 1819 3554 2478 659 0 0 0 0
25.20/23.89 c 0 2062 3924 2721 659 0 0 0 0
25.20/23.89 c 0 1820 3554 2479 659 0 0 0 0
25.20/23.89 c 0 1936 3738 2595 659 0 0 0 0
25.20/23.89 0 0 0
25.20/23.89 c 0 1817 3486 2476 659 0 0 0 0
25.20/23.89 c 0 1828 3568 2487 659 0 0 0 0
25.20/23.89 c 0 1938 3740 2597 659 0 0 0 0
25.20/23.89 c 0 1819 3488 2478 659 0 0 0 0
25.20/23.89 c 0 2068 3934 2727 659 0 0 0 0
25.20/23.89 c 0 1823 3494 2482 659 0 0 0 0
25.20/23.89 c 0 1832 3574 2491 659 0 0 0 0
25.20/23.89 c 0 2070 3936 2729 659 0 0 0 0
25.20/23.89 c 0 1834 3576 2493 659 c 0 0 1826 3498 2485 0 0 0659 0
25.20/23.89 c 0 1941 3744 2600 659 0 0 0 00 0 0
25.20/23.89
25.20/23.89 c 0 1835 3576 2494 659 0 0 0 0
25.20/23.89 c 0 1942 3744 2601 659 0 0 0 0
25.20/23.89 c 0 1827 3498 2486 659 0 0 0 0
25.20/23.89 c 0 1837 3578 2496 659 0 0 0 0
25.20/23.89 c 0 1828 3498 2487 659 0 0 0 0
25.20/23.89 c 0 1944 3746 2603 659 0 0 0 0
25.20/23.89 c 0 1846 3594 2505 659 0 0 0 0
25.20/23.89 c 0 1837 3514 2496 659 0 0 0 0
25.20/23.89 c 0 1840 3518 2499 659 0 0 0 0
25.20/23.89 c 0 1947 3750 2606 659 0 0 0 0
25.20/23.89 c 0 1841 3518 2500 659 0 0 0 0
25.20/23.89 c 0 1948 3750 2607 659 0 0 0 0
25.20/23.89 c 0 1849 3598 2508 659 0 0 0 0
25.20/23.89 c 0 1851 3600 2510 659 0 0 0 0
25.20/23.89 c 0 1950 3752 2609 659 0 0 0 0
25.20/23.89 c 0 1847 3528 2506 659 0 0 0 0
25.20/23.89 c 0 1850 3532 2509 659 0 0 0 0
25.20/23.89 c 0 1952 3754 2611 659 0 0 0 0
25.20/23.89 c 0 1854 3604 2513 659 0 0 0 0
25.20/23.89 c 0 1856 3542 2515 659 0 0 0 0
25.20/23.89 c 0 1857 3542 2516 659 0 0 0 0
25.20/23.89 c 0 1955 3758 2614 659 0 0 0 0
25.20/23.89 c 0 1857 3608 2516 659 0 0 0 0
25.20/23.89 c 0 1861 3614 2520 659 0 0 0 0
25.20/23.89 c 0 1959 3764 2618 659 0 0 0 0
25.20/23.89 c 0 1865 3556 2524 659 0 0 0 0
25.20/23.89 c 0 1868 3626 2527 659 0 0 0 0
25.20/23.89 c 0 1870 3564 2529 659 0 c 0 1964 3772 0 0 02623 659
25.20/23.89 0 0 0 0
25.20/23.89 c 0 1869 3626 2528 659 0 0 0 0
25.20/23.89 c 0 1871 3564 2530 659 0 0 0 0
25.20/23.89 c 0 1965 3772 2624 659 0 0 0 0
25.20/23.89 c 0 1873 3566 2532 659 0 0 0 0
25.20/23.89 c 0 1967 3774 2626 659 0 0 0 0
25.20/23.89 c 0 1875 3636 2534 659 0 0 0 0
25.20/23.89 c 0 1881 3646 2540 659 0 0 0 0
25.20/23.89 c 0 1876 3570 2535 659 0 0 0 0
25.20/23.89 c 0 1970 3778 2629 659 0 0 0 0
25.20/23.89 c 0 1880 3576 2539 659 0 0 0 0
25.20/23.89 c 0 1881 3576 2540 659 0 0 0 0
25.20/23.89 c 0 1882 3576 2541 659 0 0 0 0
25.20/23.89 c 0 1974 3784 2633 659 0 0 0 0
25.20/23.89 c 0 1889 3660 2548 659 0 0 0 0
25.20/23.89 c 0 1975 3784 2634 659 0 0 0 0
25.20/23.89 c 0 1884 3578 2543 659 0 0 0 0
25.20/23.89 c 0 1890 3660 2549 659 0 0 0 0
25.20/23.89 c 0 1894 3666 2553 659 0 0 0 0
25.20/23.89 c 0 1978 3788 2637 c 659 0 0 1896 3668 2555 0 0 0659 0
25.20/23.89 0 0 0
25.20/23.89 c 0 1979 3788 2638 c 659 0 01897 3668 2556 0 0 0 659 0
25.20/23.89 0 0 0
25.20/23.89 c 0 1889 3586 2548 659 0 0 0 0
25.20/23.89 c 0 1901 3608 2560 659 0 0 0 0
25.20/23.89 c 0 1986 3800 2645 659 0 0 0 0
25.20/23.89 c 0 1909 3690 2568 659 0 0 0 0
25.20/23.89 c 0 2072 3938 2731 659 0 0 0 0
25.20/23.89 c 0 2073 3938 2732 659 0 0 0 0
25.20/23.89 c 0 1993 3812 2652 659 0 0 0 0
25.20/23.89 c 0 1919 3708 2578 659 0 0 0 0
25.20/23.89 c 0 2080 3950 2739 659 0 0 0 0
25.20/23.89 c 0 1921 3710 2580 659 0 0 0 0
25.20/23.89 c 0 2083 3954 2742 659 0 0 0 0
25.20/23.89 c 0 1922 3710 2581 659 0 0 0 0
25.20/23.89 c 0 2084 3954 2743 659 0 0 0 0
25.20/23.89 c 0 1923 3710 2582 659 0 0 0 0
25.20/23.89 c 0 2085 3954 2744 659 0 0 0 0
25.20/23.89 c 0 2086 3954 2745 659 0 0 0 0
25.20/23.89 c 0 1925 3712 2584 659 0 0 0 0
25.20/23.89 c 0 1998 3820 2657 659 0 0 0 0
25.20/23.89 c 0 1999 3820 2658 659 0 0 0 0
25.20/23.89 c 0 2000 3820 2659 659 0 c 0 1927 0 0 03714 2586 659 0
25.20/23.89 0 0 0
25.20/23.89 c 0 2002 3822 2661 659 0 0 0 0
25.20/23.89 c 0 1929 3716 2588 659 0 0 0 0
25.20/23.89 c 0 1902 3608 2561 659 0 0 0 0
25.20/23.89 c 0 1903 3608 2562 659 0 0 0 0
25.20/23.89 c 0 1931 3718 2590 659 0 0 0 0
25.20/23.89 c 0 1904 3608 2563 659 0 0 0 0
25.20/23.89 c 0 2005 3826 2664 659 0 0 0 0
25.20/23.89 c 0 1936 3726 2595 659 0 0 0 0
25.20/23.89 c 0 2010 3834 2669 659 0 0 0 0
25.20/23.89 c 0 1909 3616 2568 659 0 0 0 0
25.20/23.89 c 0 1937 3726 2596 659 0 0 0 0
25.20/23.89 c 0 2011 3834 2670 659 0 0 0 0
25.20/23.89 c 0 1942 3734 2601 659 0 0 0 0
25.20/23.89 c 0 1911 3618 2570 659 0 0 0 0
25.20/23.89 c 0 2014 3838 2673 659 0 0 0 0
25.20/23.89 c 0 1945 3738 2604 659 0 0 0 0
25.20/23.89 c 0 1913 3620 2572 659 0 0 0 0
25.20/23.89 c 0 2016 3840 2675 659 0 0 0 0
25.20/23.89 c 0 1946 3738 2605 659 0 0 0 0
25.20/23.89 c 0 1947 3738 2606 659 0 0 0 0
25.20/23.89 c 0 1915 3622 2574 659 0 0 0 0
25.20/23.89 c 0 1948 3738 2607 659 0 0 0 0
25.20/23.89 c 0 1949 3738 2608 659 0 0 0 0
25.20/23.89 c 0 2018 3842 2677 659 0 0 0 0
25.20/23.89 c 0 1917 3624 2576 659 0 0 0 0
25.20/23.89 c 0 2020 3844 2679 659 0 0 0 0
25.20/23.89 c 0 1918 3624 2577 659 0 0 0 0
25.20/23.89 c 0 1955 3748 2614 659 0 0 0 0
25.20/23.89 c 0 2022 3846 2681 659 0 0 0 0
25.20/23.89 c 0 1957 3750 2616 659 0 0 0 0
25.20/23.89 c 0 2023 3846 2682 659 0 0 0 0
25.20/23.89 c 0 1958 3750 2617 659 0 0 0 0
25.20/23.89 c root propagations : 659
25.20/23.89 c restarts enabled, print stats at every restarts
25.20/23.89 c
25.20/23.89 c
25.20/23.89 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.20/23.89 c 0 1920 3626 2579 659 0 0 0 0
25.20/23.89 c 0 1962 3756 2621 659 0 0 0 0
25.20/23.89 c 0 2026 3850 2685 659 0 0 0 0
25.20/23.89 c 0 1923 3630 2582 659 0 0 0 0
25.20/23.89 c 0 1953 3688 2612 659 0 0 0 0
25.20/23.89 c 0 1996 3822 2655 659 0 0 0 0
25.20/23.89 c 0 2060 3916 2719 659 0 0 0 0
25.20/23.89 c 0 24 366 683 659 0 0 0 0
25.20/23.89 c 0 2001 3830 2660 659 0 0 0 0
25.20/23.89 c 0 2064 3922 2723 659 0 0 0 0
25.20/23.89 c 0 27 370 686 659 0 0 0 0
25.20/23.89 c 0 2065 3922 2724 659 0 0 0 0
25.20/23.89 c 0 2003 3832 2662 659 0 0 0 0
25.20/23.89 c 0 1958 3696 2617 659 0 0 0 0
25.20/23.89 c 0 2006 3836 2665 659 0 0 0 0
25.20/23.89 c 0 1960 3698 2619 659 0 0 0 0
25.20/23.89 c 0 31 376 690 659 0 0 0 0
25.20/23.89 c 0 2007 c 3836 2666 0 659 1961 3698 0 2620 659 0 0 0 0
25.20/23.89 c c 0 02089 323958 376 2748 c 659 691 0 02070 3930 2729 659 0 0 0
25.20/23.89 0 0 0 0
25.20/23.89 659 0 0 0 0
25.20/23.89 c 0 2090 3958 2749 659 0 0 0 0
25.20/23.89 c 0 40 390 699 659 0 0 0 0
25.20/23.89 c 0 2015 3850 2674 659 0 0 0 0
25.20/23.89 c 0 42 392 701 659 0 0 0 0
25.20/23.89 c 0 2016 3850 2675 659 0 0 0 0
25.20/23.89 c 0 2094 3964 2753 659 0 0 0 0
25.20/23.89 c 0 2017 3850 2676 659 0 0 0 0
25.20/23.89 c 0 44 394 703 659 0 0 0 0
25.20/23.89 c 0 2018 3850 2677 659 0 0 0 0
25.20/23.89 c 0 0 0
25.20/23.89 c 0 2077 3942 2736 659 0 0 0 0
25.20/23.89 c 0 1962 3698 2621 659 0 0 0 0
25.20/23.89 c 0 2095 3964 2754 659 0 0 0 0
25.20/23.89 0 45 394 704 659 0 0 0 0
25.20/23.89 c 0 2081 3948 2740 659 0 0 0 0
25.20/23.89 c 0 46 394 705 659 0 0 0 0
25.20/23.89 c c 0 02025 1966 38623704 26842625 659 0 6590 0 0 0
25.20/23.89 0 0 0
25.20/23.89 c 0 2099 3970 2758 659 0 c 0 2082 0 0 03948 2741 659 0
25.20/23.89 0 0 0
25.20/23.89 c 0 47 394 706 659 0 0 0 0
25.20/23.89 c 0 55 408 714 659 0 0 0 0
25.20/23.89 c 0 2032 3874 2691 659 0 0 0 0
25.20/23.89 c 0 1970 3710 2629 c 659 0 0 2089 3960 2748 0 0 0 659 0
25.20/23.89 0 0 0
25.20/23.89 c 0 2033 3874 2692 659 0 0 0 0
25.20/23.89 c 0 1971 3710 2630 659 0 0 0 0
25.20/23.89 c 0 57 410 716 659 0 0 0 0
25.20/23.89 c 0 2090 3960 2749 659 0 0 0 0
25.20/23.89 c 0 2105 3980 2764 659 0 0 0 0
25.20/23.89 c 0 63 420 722 659 0 0 0 0
25.20/23.89 c 0 2038 3882 2697 659 0 0 0 0
25.20/23.89 c 0 64 420 723 659 0 0 0 0
25.20/23.89 c 0 2039 3882 2698 659 0 0 0 0
25.20/23.89 c 0 1973 3712 2632 659 0 0 0 0
25.20/23.89 c 0 2093 3964 2752 659 0 0 0 0
25.20/23.89 c 0 2107 3982 2766 659 0 0 0 0
25.20/23.89 c 0 2043 3888 2702 659 0 0 0 0
25.20/23.89 c 0 2095 3966 2754 659 0 0 0 0
25.20/23.89 c 0 2108 3982 2767 659 0 c 0 0 0 072
25.20/23.89 c 0 1976 3716 2635 659 0 0 0 0
25.20/23.89 c 0 1977 3716 2636 659 0 0 0 0
25.20/23.89 c c 0 02046 1978 38923716 27052637 659 6590 00 0 00 0 0
25.20/23.89
25.20/23.89 434 731 659 0 0 0 0
25.20/23.89 c 0 2110 3984 2769 659 0 0 0 0
25.20/23.89 c 0 2097 3968 2756 659 0 0 0 0
25.20/23.89 c 0 73 434 732 659 0 0 0 0
25.20/23.89 c 0 75 436 734 659 0 0 0 0
25.20/23.89 c 0 2051 3900 2710 659 0 0 0 0
25.20/23.89 c 0 2099 3970 2758 659 0 0 0 0
25.20/23.89 c 0 2053 3902 2712 659 0 0 0 0
25.20/23.89 c 0 79 442 738 659 0 0 0 0
25.20/23.89 c 0 1982 3722 2641 659 0 0 0 0
25.20/23.89 c 0 2113 3988 2772 659 0 0 0 0
25.20/23.89 c 0 2102 3974 2761 659 0 0 0 0
25.20/23.89 c 0 83 448 742 659 0 0 0 0
25.20/23.89 c 0 2104 3976 2763 659 0 c 0 1984 3724 0 0 0 2643 659 0
25.20/23.89 c 0 2115 3990 2774 659 0 0 0 0
25.20/23.89 0 0 0
25.20/23.89 c 0 2058 3910 2717 659 0 0 0 0
25.20/23.89 c 0 2120 3998 2779 659 0 0 0 0
25.20/23.89 c 0 2065 3922 2724 659 0 0 0 0
25.20/23.89 c 0 2109 3984 2768 659 0 0 0 0
25.20/23.89 c 0 2121 3998 2780 659 0 0 0 0
25.20/23.89 c 0 1989 3732 2648 659 0 c 0 2066 3922 2725 659 0 0 0 0
25.20/23.89 c 0 2110 3984 2769 659 0 0 0 0
25.20/23.89 0 0 0
25.20/23.89 c 0 2112 3986 2771 659 0 0 0 0
25.20/23.89 c 0 2113 3986 2772 659 0 0 0 0
25.20/23.89 c 0 2071 3930 2730 659 0 0 0 0
25.20/23.89 c 0 1991 3734 2650 659 0 0 0 0
25.20/23.89 c 0 96 472 755 659 0 0 0 0
25.20/23.89 c 0 2123 4000 2782 659 0 0 0 0
25.20/23.89 c root propagations : 659
25.20/23.89 c restarts enabled, print stats at every restarts
25.20/23.89 c
25.20/23.89 c
25.20/23.89 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.20/23.89 c 0 2120 3998 2779 659 0 0 0 0
25.20/23.89 c 0 2081 3948 2740 659 0 0 0 0
25.20/23.89 c 0 2127 4006 2786 659 0 0 0 0
25.20/23.89 c 0 1997 3744 2656 659 0 0 0 0
25.20/23.89 c 0 2130 4010 2789 659 0 0 0 0
25.20/23.89 c 0 2122 4000 2781 659 0 0 0 0
25.20/23.89 c 0 99 476 758 659 0 0 0 0
25.20/23.89 c 0 2000 3748 2659 659 0 0 0 0
25.20/23.89 c 0 1 320 660 659 0 0 0 0
25.20/23.89 c 0 2083 3950 2742 659 0 0 0 0
25.20/23.89 c 0 7 330 666 659 0 0 0 0
25.20/23.89 c 0 2126 4006 2785 659 0 c 0 0 00 103 482
25.20/23.89 c 0 2005 3756 2664 659 0 0 0 0
25.20/23.89 c 0 8 330 667 659 0 0 0 0
25.20/23.89 c 0 2086 3954 2745 659 0 0 0 0
25.20/23.89 c 0 2127 4006 2786 659 0 0 0 0
25.20/23.89 c 0 2128 4006 2787 659 c 0 0 2087 3954 2746 659 0 0 00
25.20/23.89 0 0 0
25.20/23.89 c 0 11 334 670 659 0 0 0 0
25.20/23.89 c 0 2135 4018 2794 659 0 0 0 0
25.20/23.89 c 0 2130 4008 2789 659 0 0 0 0
25.20/23.89 c 0 12 334 671 659 c 0 0 2089 3956 0 0 02748
25.20/23.89 c 659 0 2131 4008 2790 06590 0 0 0 0 0 0c 0
25.20/23.89 c
25.20/23.89 0 13 334 672 659 0 c 0 2132 4008 2791 659 0 0 0 0
25.20/23.89 0 0 0
25.20/23.89 c 0 2090 3956 2749 659 0 0 0 0
25.20/23.89 c 0 14 334 673 659 0 0 0 0
25.20/23.89 2136 4018 2795 c 659 0 0 2007 3758 2666 659 0 0 0 0 0 0 0
25.20/23.89
25.20/23.89 c 0 2137 4018 2796 659 0 0 0 0
25.20/23.89 762 659 0 0 0 0
25.20/23.89 c 0 104 482 763 659 0 0 0 0
25.20/23.89 c c 0 02108 2145 39904032 27672804 659 0 659 0 0 0 0 0 0 0
25.20/23.89
25.20/23.89 c 0 2146 4032 2805 659 0 0 0 0
25.20/23.89 c 0 2024 3790 2683 659 0 0 0 0
25.20/23.89 c 0 2109 3990 2768 659 0 c 0 0 0
25.20/23.89 0 2147 4036 2806 659 0 0 0 0
25.20/23.89 c 0 2110 3990 2769 659 0 0 0 0
25.20/23.89 c 0 2148 4036 2807 659 0 0 0 0
25.20/23.89 c 0 2025 3790 2684 659 0 0 0 0
25.20/23.89 c 0 118 508 777 659 0 0 0 0
25.20/23.89 c 0 28 360 687 659 0 0 0 0
25.20/23.89 c 0 2148 4034 2807 659 0 0 0 0
25.20/23.89 c 0 119 508 778 659 0 0 0 0
25.20/23.89 c 0 2152 4042 2811 659 0 0 0 0
25.20/23.89 c 0 2115 3998 2774 659 0 0 0 0
25.20/23.89 c 0 2029 3796 2688 659 0 0 0 0
25.20/23.89 c 0 122 512 781 659 0 0 0 0
25.20/23.89 c 0 2151 4038 2810 659 0 0 0 0
25.20/23.89 c 0 2118 4002 2777 659 0 0 0 0
25.20/23.89 c 0 2119 4002 2778 659 0 0 0 0
25.20/23.89 c 0 2155 4044 2814 659 0 0 0 0
25.20/23.89 c 0 2157 4050 2816 659 0 0 0 0
25.20/23.89 c 0 30 362 689 659 0 0 0 0
25.20/23.89 c 0 2034 3804 2693 659 0 0 0 0
25.20/23.89 c 0 2158 4050 2817 659 0 0 0 0
25.20/23.89 c c 0 2035 3804 0 269431 659 362 690 659 00 0 0 00 0 0 c
25.20/23.89
25.20/23.89 02159 4050 2818 659 0 0 0 0
25.20/23.89 c 0 32 362 691 659 0 0 0 0
25.20/23.89 c 0 2157 4046 2816 659 0 0 0 0
25.20/23.89 c 0 128 522 787 659 0 0 0 0
25.20/23.89 c 0 2122 4006 2781 659 0 0 0 0
25.20/23.89 c 0 2162 4054 2821 659 0 0 0 0
25.20/23.89 c 0 36 368 695 659 0 0 0 0
25.20/23.89 c 0 133 530 792 659 0 0 0 0
25.20/23.89 c 0 2038 3808 2697 659 0 0 0 0
25.20/23.89 c 0 2126 4012 2785 659 0 0 0 0
25.20/23.89 c 0 2162 4054 2821 659 0 0 0 0
25.20/23.89 c 0 2040 3810 2699 659 0 c 0 2127 0 0 04012
25.20/23.89 2786 659 0 0 0 0
25.20/23.89 c 0 2163 4054 2822 659 0 0 0 0
25.20/23.89 c 0 2041 3810 2700 659 0 0 0 0
25.20/23.89 c 0 2164 4054 2823 659 0 0 0 0
25.20/23.89 c 0 2128 4012 2787 659 0 0 0 0
25.20/23.89 c 0 2043 3812 2702 659 0 0 0 0
25.20/23.89 c 0 2167 4058 2826 659 0 0 0 0
25.20/23.89 c 0 2165 4058 2824 659 0 0 0 0
25.20/23.89 c 0 2130 4014 2789 659 0 0 0 0
25.20/23.89 c 0 40 374 699 659 0 0 0 0
25.20/23.89 c 0 136 534 795 659 0 0 0 0
25.20/23.89 c 0 138 c 536 0 797 659 2134 0 4020 2793 659 0 0 0
25.20/23.89 0 c 0 43 378 702 659 0 0 0 0c 0 0 00 139 536 798
25.20/23.89 659 0 c 0 2172 4066 2831 659 0 0 0 00 0 0
25.20/23.89
25.20/23.89 c 0 2047 3818 2706 659 0 0 0 0
25.20/23.89 c 0 44 378 703 659 0 0 0 0
25.20/23.89
25.20/23.89 c 0 2135 4020 2794 659 0 0 0 0
25.20/23.89 c 0 2169 4064 2828 659 0 0 0 0
25.20/23.89 c 0 2178 4076 2837 659 0 0 0 0
25.20/23.89 c 0 2049 3820 2708 659 0 0 0 0
25.20/23.89 c 0 47 382 706 659 0 c 0 0 0 02050
25.20/23.89 3820 c 0 2179 4076 2838 659 0 2709 0 0 0659 0 c 0 0 00
25.20/23.89 c
25.20/23.89 2138 4024 c 2797 0 65948 0 382 707 659 0 0 0 0c 0 0 00 2180 0
25.20/23.89 142 4076 c c 0 2051 3820 2710
25.20/23.89 540 0 801 659 0 0 0 0659 2171 4066 02830 659 0 0 0 0
25.20/23.89
25.20/23.89 0 0 0
25.20/23.89 c 0 143 540 802 659 0 0 0 0
25.20/23.89 c 0 145 542 804 659 0 0 0 0
25.20/23.90 c 0 52 388 711 659 0 0 0 0
25.20/23.90 c c c 0 0 2174 4070 2833 0659 2142 04030 2801 2054659 0 3824 2713 659 0 0 0 0
25.20/23.90 28390 0 0659 0
25.20/23.90 0 0 0
25.20/23.90 0 0 0
25.20/23.90 c 0 2181 4076 2840 659 0 0 0 0
25.20/23.90 c 0 2164 4072 2823 659 0 c 0 0 0 0 2210 4132 2869 659 0
25.20/23.90 0 0 0
25.20/23.90 c 0 67 416 726 659 0 0 0 0
25.20/23.90 c 0 2080 3874 2739 659 0 0 0 0
25.20/23.90 c 0 162 574 821 659 0 0 0 0
25.20/23.90 c 0 2165 4072 2824 659 0 0 0 0
25.20/23.90 c 0 68 416 727 659 0 0 0 0
25.20/23.90 c 0 2211 4132 2870 659 0 0 0 0
25.20/23.90 c 0 2197 4114 2856 659 0 0 0 0
25.20/23.90 c 0 2091 3894 2750 659 0 0 0 0
25.20/23.90 c 0 2178 4096 2837 659 0 0 0 0
25.20/23.90 c 0 74 426 733 659 0 0 0 0
25.20/23.90 c 0 2092 3894 2751 659 0 0 0 0
25.20/23.90 c 0 2179 4096 2838 659 0 0 0 0
25.20/23.90 c 0 166 580 825 659 0 0 0 0
25.20/23.90 c 0 167 580 826 659 0 0 0 0
25.20/23.90 c 0 2223 4154 2882 659 0 0 0 0
25.20/23.90 c 0 2202 4122 2861 659 0 0 0 0
25.20/23.90 c 0 78 432 737 659 0 0 0 0
25.20/23.90 c 0 169 582 828 659 0 0 0 0
25.20/23.90 c 0 2203 4122 c 2862 0 659 2224 4154 c 0 0 79 432 0 0 0738 659 2883 0 659
25.20/23.90 0 0 0c 0 171 584 830 659
25.20/23.90 c c 0 2095 3898 2754 659 0 0 0 0 00 0 0 0 0c 0 2181 4098 2840 659 0 0 0 00 0 0c
25.20/23.90 0 80
25.20/23.90
25.20/23.90
25.20/23.90 c c 0 0 2096222538984154 2755 659 28840 659 0 0 0 0
25.20/23.90 c 0 0 0
25.20/23.90 0 172 584 831 659 0 0 0 0
25.98/23.90 2204 4122 2863 659 0 0 0 0
25.98/23.90 432 739 659 0 0 0 0
25.98/23.90 c 0 2205 4122 2864 659 0 0 0 0
25.98/23.90 c 0 2103 3910 2762 659 0 c 0 2208 0 0 04126
25.98/23.90 2867 659 0 0 0 0
25.98/23.90 c 0 2190 4114 2849 659 0 0 0 0
25.98/23.90 c 0 2235 4172 2894 659 0 0 0 0
25.98/23.90 c 0 2209 4126 2868 659 0 c 0 0 0
25.98/23.90 c 0 2104 3910 2763 659 0 0 0 0
25.98/23.90 c 0 c 2210 4126 02869 2191 659 4114 2850 c 0 6590 2105 0 3910 0 0 0 0 0 0 2764
25.98/23.90 659
25.98/23.90 c 0 179 596 838 659 0 0 0 0 0 c
25.98/23.90 0 0 0
25.98/23.90 0 2236 4172 2895 659 0 0 0 0
25.98/23.90 085 440 744 659 0 0 0 0
25.98/23.90 c 0 2194 4118 2853 659 0 0 0 0
25.98/23.90 c 0 2107 3912 2766 659 0 c 0 181 0 0 0598 840 659
25.98/23.90 0c c 0 86 440 745 659 0 0 0 0 0 2214 4132 2873 659 0 0 0 0
25.98/23.90 c 0 2195 4118 2854 659 0 0 0 c
25.98/23.90 0 0 2108 0 0 0 3912 2767
25.98/23.90 c 0 2239 4176 659 2898 659 0 0
25.98/23.90 0 0 0c 0 182 0 0 0598 841 659
25.98/23.90 0
25.98/23.90 0 0 0
25.98/23.90 c c 0 0 2215 2196 4118 41322855 659 28740 659 0 0 0 0
25.98/23.90 0 0 0
25.98/23.90 c 0 2109 3912 2768 659 0 0 0 0
25.98/23.90 c 0 2200 4124 2859 659 0 0 0 0 c
25.98/23.90 0 2112 3916 2771 659 0 0 0 0c 0 2241
25.98/23.90 4178 2900 659 0 0 0 0
25.98/23.90 c 0 2201 4124 2860 659 0 0 0 0
25.98/23.90 c 0 2113 3916 2772 659 0 0 0 0
25.98/23.90 c 0 2242 4178 2901 659 0 0 0 0
25.98/23.90 c 0 187 606 846 659 0 0 0 0
25.98/23.90 c 0 2218 4136 2877 659 0 0 0 0
25.98/23.90 c 0 2209 4138 2868 659 0 0 0 0
25.98/23.90 c 0 2223 4144 2882 659 0 0 0 0
25.98/23.90 c 0 2119 3926 2778 659 0 0 0 0
25.98/23.90 c 0 2224 4144 2883 659 0 0 0 0
25.98/23.90 c 0 2210 4138 2869 659 0 0 0 0
25.98/23.90 c 0 2248 4188 2907 659 0 0 0 0
25.98/23.90 c 0 194 618 853 659 0 0 0 0
25.98/23.90 c root propagations : 659
25.98/23.90 c restarts enabled, print stats at every restarts
25.98/23.90 c
25.98/23.90 c
25.98/23.90 c 0 2217 4150 2876 659 0 c 0 0 0 conflicts
25.98/23.90 c 0 2126 3938 decisions2785 659 0 0 0 0
25.98/23.90 filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.98/23.90 c 0 2255 4200 2914 659 0 0 0 0
25.98/23.90 c 0 202 632 861 659 0 0 0 0
25.98/23.90 c c 0 2231 0 2257 41564202 2890 c 659 29160 65900 2128 0 0 03940 2787 0 0 0 659 0
25.98/23.90
25.98/23.90 0 0 0
25.98/23.90 c 0 203 632 862 659 0 0 0 0
25.98/23.90 c 0 2258 4202 2917 659 0 0 0 0
25.98/23.90 c 0 2129 3940 2788 659 0 0 0 0
25.98/23.90 c 0 2232 4156 2891 659 0 0 0 0
25.98/23.90 c 0 2219 4152 2878 659 0 0 0 0
25.98/23.90 c 0 1 320 660 659 0 0 0 0
25.98/23.90 c 0 2 320 661 659 0 0 0 0
25.98/23.90 c 0 2134 3948 2793 659 0 0 0 0
25.98/23.90 c 0 2238 4166 2897 659 0 0 0 0
25.98/23.90 c 0 2222 4156 2881 659 0 0 0 0
25.98/23.90 c 0 212 648 871 659 0 0 0 0
25.98/23.90 c 0 2266 4216 2925 659 0 0 0 0
25.98/23.90 c 0 214 650 873 659 0 c 0 0 0 0
25.98/23.90 2225 c 0 6 328 668 659 0 0 0 0
25.98/23.90 c 0 2268 4218 2927 659 0 0 0 0
25.98/23.90 c 0 2240 4168 2899 659 0 0 0 0
25.98/23.90 c 0 2140 3958 2799 659 0 0 0 0
25.98/23.90 c 0 16 348 681 659 0 0 0 0
25.98/23.90 c 0 223 666 882 659 0 0 0 0
25.98/23.90 c 0 2142 3960 2801 659 0 0 0 0
25.98/23.90 c 0 17 348 682 659 0 c 0 c 2143 0 2243 4172 3960 2902 c c 2802 659 4160 0 0 0 0659 2884 659 0 0 0 0
25.98/23.90 c 0 0 87 440 746 659 0 2274 0 0 0 4228
25.98/23.90 0 2933 0 0 0
25.98/23.90 6590 c 0 0 00 2226 4160 2885
25.98/23.90
25.98/23.90 c 0 2144 3960 2803 659 0 0 0 0
25.98/23.90 6590 0 0 0
25.98/23.90 c 0 18 348 683 659 0 0 0 0
25.98/23.90 c 0 88 440 747 659 0 0 0 0
25.98/23.90 224 c 0 666 2275883 4228 659 2934 0 659 00 0 0 0 0 0 00 0 0
25.98/23.90
25.98/23.90
25.98/23.90 c 0 225 666 884 659 0 c 0 0 00 2244 4172 2903 659 0 0 0 0
25.98/23.90
25.98/23.90 c 0 2247 4200 2906 659 0 0 0 0
25.98/23.90 c 0 2164 3998 2823 659 0 0 0 0
25.98/23.90 c 0 2290 4256 2949 659 0 0 0 0
25.98/23.90 c 0 2256 4194 2915 659 0 0 0 0
25.98/23.90 c 0 2248 4200 2907 659 0 0 0 0
25.98/23.90 c 0 2292 4258 2951 c 659 0 0 2165 3998 2824 0 0 0659 0
25.98/23.90 0 0 0
25.98/23.90 c 0 2249 4200 2908 659 0 0 0 0
25.98/23.90 c 0 2293 4258 2952 659 0 0 0 0
25.98/23.90 c 0 2257 4194 c 2916 0 2166 3998 659 2825 0659 0 0 0 0 0 0 0
25.98/23.90
25.98/23.90 c c 0 0102 32 376 466 700761 659 6590 00 0 00 0 0
25.98/23.90 c 0 241 696 900
25.98/23.90 659 0 0 0 0
25.98/23.90 c 0 2251 4202 2910 659 0 0 0 0
25.98/23.90 c 0 2173 4010 2832 c 659 0 0 2301 0 0 04272
25.98/23.90 2960 659 0 0 0 0
25.98/23.90 c 0 2262 4202 2921 659 0 0 0 0
25.98/23.90 c 0 104 468 763 659 0 0 0 0
25.98/23.90 c 0 35 382 706 659 0 0 0 0
25.98/23.90 c 0 244 700 903 659 0 0 0 0
25.98/23.90 c 0 252 714 911 c 659 0 0 110478 769 659 0 0 0 0 0 0 0
25.98/23.90 c 0 40 392 714 659 0 0 0 0
25.98/23.90 c c c 0 2315 4298 2974 659 0 00 0 0 02266 2192 4230 40462925 659 0 2851 659 0 0 0 0
25.98/23.90
25.98/23.90 c 0 2275 4226 2934 659 0 0 0 0
25.98/23.90 0 0 0c 0 254 716 913 659 0 0 0 0
25.98/23.90 c 0 42 396 719 659 0 0 0 0
25.98/23.90 c 0 111 478 770 659 0 0 0 0
25.98/23.90 c 0 2267 4230 2926 659 0 c 0 0 0
25.98/23.90
25.98/23.90 0 2316 4298 2975 659 0 0 0 0
25.98/23.90 c 0 2193 4046 2852 659 0 0 0 0
25.98/23.90 c 0 274 754 933 659 0 0 0 0
25.98/23.90 c 0 62 436 742 659 0 0 0 0
25.98/23.90 c 0 134 522 793 659 0 0 0 0
25.98/23.90 c 0 275 754 934 659 0 0 0 0
25.98/23.90 c 0 63 436 743 659 0 0 0 0
25.98/23.90 c 0 135 522 794 659 0 0 0 0
25.98/23.90 c 0 2354 4372 3013 659 0 0 0 0
25.98/23.90 c 0 2229 4116 2888 659 0 0 0 0
25.98/23.90 c 0 2306 4306 2965 659 0 0 0 0
25.98/23.90 c 0 2232 4120 2891 659 0 0 0 0
25.98/23.90 c 0 2309 4310 2968 659 0 0 0 0
25.98/23.90 c 0 2233 4120 2892 659 0 0 0 0
25.98/23.90 c 0 2310 4310 2969 659 0 0 0 0
25.98/23.90 c 0 282 766 941 659 0 0 0 0
25.98/23.90 c 0 2357 4376 3016 659 0 0 0 0
25.98/23.90 c 0 70 450 753 659 0 0 0 0
25.98/23.90 c 0 140 530 799 659 0 0 0 0
25.98/23.90 c 0 2250 4152 2909 659 0 0 0 0
25.98/23.90 c 0 83 476 769 659 0 c 0 0 0 0 2370
25.98/23.90 4400
25.98/23.90 3029 659 0 0 0 0
25.98/23.90 c 0 2318 4324 2977 659 0 0 0 0
25.98/23.90 c 0 84 c 476 0 770 2251659 4152 0 2910659 0 0 0 0 0 0 0
25.98/23.90
25.98/23.90 c 0 2276 4226 2935 659 0 0 0 0 c 0
25.98/23.90 86 480 c 0 2254 4156 2913 659 0 0 0 0
25.98/23.90 775 659 0 0 0 0
25.98/23.90 c 0 2277 4226 2936 659 0 0 0 0
25.98/23.90 c 0 2322 4330 2981 659 0 0 0 0
25.98/23.90 c 0 2375 4408 3034 659 0 0 0 0
25.98/23.90 c 0 295 790 954 659 0 0 0 0
25.98/23.90 c 0 2376 4408 3035 659 0 0 0 0
25.98/23.90 c 0 2261 4168 2920 659 0 0 0 0
25.98/23.90 c 0 147 542 806 659 0 0 0 0
25.98/23.90 c 0 2377 4408 3036 659 0 0 0 0
25.98/23.90 c 0 296 790 955 659 0 0 0 0
25.98/23.90 c 0 2262 4168 2921 659 0 0 0 0
25.98/23.90 c 0 2324 4332 2983 659 0 0 0 0
25.98/23.90 c 0 148 542 807 659 0 0 0 0
25.98/23.90 c 0 90 488 782 659 0 0 0 0
25.98/23.90 c 0 96 500 791 659 0 0 0 0
25.98/23.90 c 0 2271 4184 2930 659 0 0 0 0
25.98/23.90 c 0 2384 4420 3043 659 0 0 0 0
25.98/23.90 c 0 97 500 792 659 0 0 0 0
25.98/23.90 c 0 2329 4340 2988 659 0 0 0 0
25.98/23.90 c 0 304 804 963 659 0 0 0 0
25.98/23.90 c 0 152 548 811 659 0 0 0 0
25.98/23.90 c root propagations : 659
25.98/23.90 c restarts enabled, print stats at every restarts
25.98/23.90 c
25.98/23.90 c
25.98/23.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.98/23.91 c 0 2281 4232 2940 659 0 0 0 0
25.98/23.93 c First solution is found
25.98/23.95 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 3.
25.98/23.95 c [pFactory][Group N°0] Thread N°0 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°1 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°2 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°3 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°4 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°5 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°6 is joined.
25.98/23.95 c [pFactory][Group N°0] Thread N°7 is joined.
25.98/23.95 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°7)
25.98/23.95 s SATISFIABLE
25.98/23.95 c restarts : 319
25.98/23.95 c conflicts : 24 (1 /sec)
25.98/23.95 c decisions : 3207 (126 /sec)
25.98/23.95 c propagations : 6094 (239 /sec)
25.98/23.95 c root propagations : 659
25.98/23.95 c filter calls : 7159 (281 /sec)
25.98/23.95 c useless filter calls : 6418 (89 %)
25.98/23.95 c Memory used : 1547.53 MB
25.98/23.95 c CPU time : 25.4488 s
25.98/23.95 c real time : 23.9464 s
25.98/23.95
25.98/23.95 c solution 1
25.98/23.95
25.98/23.95 v <instantiation type='solution'>
25.98/23.95 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
25.98/23.95 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 </values>
25.98/23.95 v </instantiation>
25.98/23.95
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15193 MiB free)
memory of node 1: 16384 MiB (14998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409202-1569829615/watcher-4409202-1569829615 -o /tmp/evaluation-result-4409202-1569829615/solver-4409202-1569829615 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569829573-11921 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409202-1569829615.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11938, runsolver pid=11935
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 7.50 7.89 7.54 2/191 11939
/proc/meminfo: memFree=30909036/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=36780 memory=12928 CPUtime=0.1 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 3422 0 0 0 10 0 0 0 20 0 1 0 558899755 37662720 3232 33554432000 4194304 6211132 140721943656576 140721943653848 139774553542571 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 9195 3232 812 493 0 2500 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36780 KiB
Current children cumulated memory: 12928 KiB
[startup+0.209326 s]*
/proc/loadavg: 7.50 7.89 7.54 2/191 11939
/proc/meminfo: memFree=30904572/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=39268 memory=15304 CPUtime=0.21 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 4050 0 0 0 21 0 0 0 20 0 1 0 558899755 40210432 3826 33554432000 4194304 6211132 140721943656576 140721943653848 139774566265424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 9817 3826 812 493 0 3122 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 15304 KiB
[startup+0.30893 s]*
/proc/loadavg: 7.50 7.89 7.54 2/191 11939
/proc/meminfo: memFree=30901968/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=41952 memory=18208 CPUtime=0.3 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 4718 0 0 0 30 0 0 0 20 0 1 0 558899755 42958848 4552 33554432000 4194304 6211132 140721943656576 140721943653848 5818435 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 10488 4552 812 493 0 3793 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41952 KiB
Current children cumulated memory: 18208 KiB
[startup+0.700359 s]
/proc/loadavg: 7.50 7.89 7.54 2/191 11939
/proc/meminfo: memFree=30900852/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=61320 memory=37220 CPUtime=0.69 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 9641 0 0 0 68 1 0 0 20 0 1 0 558899755 62791680 9305 33554432000 4194304 6211132 140721943656576 140721943653848 5816161 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 15330 9305 812 493 0 8635 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61320 KiB
Current children cumulated memory: 37220 KiB
[startup+1.50028 s]
/proc/loadavg: 7.50 7.89 7.54 2/191 11939
/proc/meminfo: memFree=30882624/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=86784 memory=61504 CPUtime=1.49 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 15770 0 0 0 147 2 0 0 20 0 1 0 558899755 88866816 15376 33554432000 4194304 6211132 140721943656576 140721943653848 5240361 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 21696 15376 812 493 0 15001 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 86784 KiB
Current children cumulated memory: 61504 KiB
[startup+3.10913 s]
/proc/loadavg: 7.50 7.89 7.54 2/191 11939
/proc/meminfo: memFree=30793136/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=153124 memory=127000 CPUtime=3.1 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 32868 0 0 0 305 5 0 0 20 0 1 0 558899755 156798976 31750 33554432000 4194304 6211132 140721943656576 140721943653848 5818624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 38281 31750 812 493 0 31586 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 153124 KiB
Current children cumulated memory: 127000 KiB
[startup+6.30026 s]
/proc/loadavg: 6.98 7.77 7.51 2/191 11939
/proc/meminfo: memFree=30706388/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=244780 memory=216584 CPUtime=6.28 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 57239 0 0 0 620 8 0 0 20 0 1 0 558899755 250654720 54146 33554432000 4194304 6211132 140721943656576 140721943653848 5743421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 61195 54146 816 493 0 54500 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 244780 KiB
Current children cumulated memory: 216584 KiB
[startup+12.7003 s]
/proc/loadavg: 6.50 7.66 7.47 2/191 11939
/proc/meminfo: memFree=30443196/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=510164 memory=478636 CPUtime=12.68 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 127626 0 0 0 1249 19 0 0 20 0 1 0 558899755 522407936 119659 33554432000 4194304 6211132 140721943656576 140721943653848 139774569612416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 127541 119659 816 493 0 120846 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 510164 KiB
Current children cumulated memory: 478636 KiB
[startup+24.0223 s]
# the end of solver process 11938 was just reported to runsolver
# cumulated CPU time of all completed processes: user=25.4491 s, system=0.955928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 6.50 7.66 7.47 2/191 11939
/proc/meminfo: memFree=30443196/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=510164 memory=478900 CPUtime=12.78 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 127649 0 0 0 1259 19 0 0 20 0 1 0 558899755 522407936 119725 33554432000 4194304 6211132 140721943656576 140721943653848 5818703 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 127541 119725 816 493 0 120846 0
Current children cumulated CPU time: 12.78 s
Current children cumulated vsize: 510164 KiB
Current children cumulated memory: 478900 KiB
[startup+19.2003 s]
/proc/loadavg: 6.06 7.55 7.44 2/191 11939
/proc/meminfo: memFree=30278108/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=677668 memory=643224 CPUtime=19.18 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 168623 0 0 0 1894 24 0 0 20 0 1 0 558899755 693932032 160806 33554432000 4194304 6211132 140721943656576 140721943653848 5817924 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 169417 160806 816 493 0 162722 0
Current children cumulated CPU time: 19.18 s
Current children cumulated vsize: 677668 KiB
Current children cumulated memory: 643224 KiB
[startup+22.4002 s]
/proc/loadavg: 5.65 7.44 7.40 2/191 11940
/proc/meminfo: memFree=29984752/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=974096 memory=935848 CPUtime=22.38 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 240460 0 0 0 2205 33 0 0 20 0 1 0 558899755 997474304 233962 33554432000 4194304 6211132 140721943656576 140721943653848 5817817 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 243524 233962 816 493 0 236829 0
Current children cumulated CPU time: 22.38 s
Current children cumulated vsize: 974096 KiB
Current children cumulated memory: 935848 KiB
[startup+23.2002 s]
/proc/loadavg: 5.65 7.44 7.40 2/191 11940
/proc/meminfo: memFree=29984876/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=974096 memory=935848 CPUtime=23.18 cores=0-7
/proc/11938/stat : 11938 (cosoco) R 11935 11938 11894 0 -1 4202496 240466 0 0 0 2285 33 0 0 20 0 1 0 558899755 997474304 233962 33554432000 4194304 6211132 140721943656576 140721943653848 5817646 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 243524 233962 816 493 0 236829 0
Current children cumulated CPU time: 23.18 s
Current children cumulated vsize: 974096 KiB
Current children cumulated memory: 935848 KiB
[startup+23.6055 s]
/proc/loadavg: 5.65 7.44 7.40 2/191 11940
/proc/meminfo: memFree=29984876/32770624 swapFree=66997268/67108860
[pid=11938] ppid=11935 vsize=1551916 memory=989312 CPUtime=23.65 cores=0-7
/proc/11938/stat : 11938 (cosoco) S 11935 11938 11894 0 -1 1077944320 272921 0 0 0 2328 37 0 0 20 0 9 0 558899755 1589161984 247328 33554432000 4194304 6211132 140721943656576 140721943654832 139774569590519 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37437440 140721943663633 140721943663725 140721943663725 140721943666638 0
/proc/11938/statm: 387979 247328 854 493 0 381284 0
Current children cumulated CPU time: 23.65 s
Current children cumulated vsize: 1551916 KiB
Current children cumulated memory: 989312 KiB
[startup+24.0003 s]*
/proc/loadavg: 5.65 7.44 7.40 2/191 11948
/proc/meminfo: memFree=30558140/32770624 swapFree=66997268/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 24.0223
CPU time (s): 26.405
CPU user time (s): 25.4491
CPU system time (s): 0.955928
CPU usage (%): 109.919
Max. virtual memory (cumulated for all children) (KiB): 1617452
Max. memory (cumulated for all children) (KiB): 989916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4491
system time used= 0.955928
maximum resident set size= 1010812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377413
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= 5310
involuntary context switches= 159
# summary of solver processes directly reported to runsolver:
# pid: 11938
# total CPU time (s): 26.405
# total CPU user time (s): 25.4491
# total CPU system time (s): 0.955928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111899 second user time and 0.200347 second system time
The end
Begin job on node140 at 2019-09-30 09:46:13
IDJOB=4409202
IDBENCH=134028
IDSOLVER=2877
FILE ID=node140/4409202-1569829615
RUNJOBID= node140-1569829573-11921
PBS_JOBID= 21705940
Free space on /tmp= 61984 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-020-table.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409202-1569829615/watcher-4409202-1569829615 -o /tmp/evaluation-result-4409202-1569829615/solver-4409202-1569829615 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569829573-11921 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409202-1569829615.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=233185184
node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.43
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30916852 kB
MemAvailable: 31870340 kB
Buffers: 119400 kB
Cached: 1171768 kB
SwapCached: 3040 kB
Active: 939536 kB
Inactive: 359224 kB
Active(anon): 3692 kB
Inactive(anon): 83944 kB
Active(file): 935844 kB
Inactive(file): 275280 kB
Unevictable: 107900 kB
Mlocked: 107900 kB
SwapTotal: 67108860 kB
SwapFree: 66997268 kB
Dirty: 49688 kB
Writeback: 0 kB
AnonPages: 112768 kB
Mapped: 26968 kB
Shmem: 71168 kB
Slab: 144940 kB
SReclaimable: 116396 kB
SUnreclaim: 28544 kB
KernelStack: 3296 kB
PageTables: 5700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61984 MiB
End job on node140 at 2019-09-30 09:46:37