25.01/23.84 c root propagations : 659
25.01/23.84 c restarts enabled, print stats at every restarts
25.01/23.84 c
25.01/23.84 c
25.01/23.84 c
25.01/23.84 c This is cosoco 2.00 --
25.01/23.84 c
25.01/23.84 c command line: cosoco -model -nbcores=8 HOME/instance-4397942-1568606183.xml
25.01/23.84 c ========================================[ Problem Statistics ]===========================================
25.01/23.84 c |
25.01/23.84 c | Parse time : 23.29 s
25.01/23.84 c |
25.01/23.84 c | Variables: 1024
25.01/23.84 c | Domain Sizes: 2..2
25.01/23.84 c |
25.01/23.84 c | Constraints: 64
25.01/23.84 c | Arity: 32..32
25.01/23.84 c |
25.01/23.84 c | Types:
25.01/23.84 c | Extension: 64 (nb tuples: 1..203490) -- (shared: 88)
25.01/23.84 c |
25.01/23.84 c =========================================================================================================
25.01/23.84 c Parallel mode: Portfolio
25.01/23.84 c [pFactory][Group N°0] created (threads:8).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
25.01/23.84 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
25.01/23.84 c [pFactory][Group N°0] concurrent mode: enabled.
25.01/23.84 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
25.01/23.84 c [pFactory][Group N°0] task 7 launched on thread 0.
25.01/23.84 c [pFactory][Group N°0] task 6 launched on thread 1.
25.01/23.84 c [pFactory][Group N°0] task 5 launched on thread 2.
25.01/23.84 c [pFactory][Group N°0] task 4 launched on thread 6.
25.01/23.84 c [pFactory][Group N°0] task 3 launched on thread 7.
25.01/23.84 c [pFactory][Group N°0] task 2 launched on thread 3.
25.01/23.84 c [pFactory][Group N°0] task 1 launched on thread 5.
25.01/23.84 c [pFactory][Group N°0] task 0 launched on thread 4.
25.01/23.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.01/23.84 c 0 1 320 660 659 0 0 0 0
25.01/23.84 c 0 2 320 661 659 0 0 0 0
25.01/23.84 c 0 8 330 667 659 0 0 0 0
25.01/23.84 c 0 10 332 669 659 0 0 0 0
25.01/23.84 c 0 23 356 682 659 0 0 0 0
25.01/23.84 c 0 24 356 683 659 0 0 0 0
25.01/23.84 c 0 26 358 685 659 0 0 0 0
25.01/23.84 c 0 27 358 686 659 0 0 0 0
25.01/23.84 c 0 42 386 701 659 0 0 0 0
25.01/23.84 c 0 44 388 703 659 0 0 0 0
25.01/23.84 c 0 48 394 707 659 0 0 0 0
25.01/23.84 c 0 49 394 708 659 0 0 0 0
25.01/23.84 c root propagations : 659
25.01/23.84 c 0 57 408 716 659 0 0 0 0
25.01/23.84 c restarts enabled, print stats at every restarts
25.01/23.84 c
25.01/23.84 c
25.01/23.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.01/23.84 c 0 58 408 717 659 0 0 0 0
25.01/23.84 c 0 62 414 721 659 0 0 0 0
25.01/23.84 c 0 64 416 723 659 0 0 0 0
25.01/23.84 c 0 1 320 660 659 0 0 0 0
25.01/23.84 c 0 78 442 737 659 0 0 0 0
25.01/23.84 c 0 14 344 673 659 0 0 0 0
25.01/23.84 c 0 79 442 738 659 0 0 0 0
25.01/23.84 c 0 80 442 739 659 0 0 0 0
25.01/23.84 c 0 81 442 740 659 0 0 0 0
25.01/23.84 c 0 82 442 741 659 0 0 0 0
25.01/23.84 c 0 16 346 675 659 0 0 0 0
25.01/23.84 c 0 89 454 748 659 0 0 0 0
25.01/23.84 c 0 90 454 749 659 0 0 0 0
25.01/23.84 c 0 92 456 751 659 0 0 0 0
25.01/23.84 c 0 31 374 690 659 0 0 0 0
25.01/23.84 c 0 93 456 752 659 0 0 0 0
25.01/23.84 c 0 94 456 753 659 0 0 0 0
25.01/23.84 c 0 32 374 691 659 0 0 0 0
25.01/23.84 c 0 97 460 756 659 0 0 0 0
25.01/23.84 c 0 35 378 694 659 0 0 0 0
25.01/23.84 c 0 100 464 759 659 0 0 0 0
25.01/23.84 c 0 36 378 695 659 0 0 0 0
25.01/23.84 c 0 101 464 760 659 0 0 0 0
25.01/23.84 c 0 105 470 764 659 0 0 0 0
25.01/23.84 c 0 106 470 765 659 0 0 0 0
25.01/23.84 c 0 40 384 699 659 0 0 0 0
25.01/23.84 c root propagations : 659
25.01/23.84 c restarts enabled, print stats at every restarts
25.01/23.84 c
25.01/23.84 c
25.01/23.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.01/23.84 c root propagations : 659
25.01/23.84 c restarts enabled, print stats at every restarts
25.01/23.84 c
25.01/23.84 c
25.01/23.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.01/23.84 c 0 53 408 712 659 0 0 0 0
25.01/23.84 c 0 3 324 662 659 0 0 0 0
25.01/23.84 c 0 1 320 660 659 0 0 0 0
25.01/23.84 c 0 8 332 667 659 0 0 0 0
25.01/23.84 c 0 4 324 663 659 0 0 0 0
25.01/23.84 c 0 55 410 714 659 0 0 0 0
25.01/23.84 c 0 114 484 773 659 0 0 0 0
25.01/23.84 c 0 124 502 783 659 0 0 0 0
25.01/23.84 c 0 71 440 730 659 0 0 0 0 c c 0 0
25.01/23.84 2218 350 677 659 0 0 0 0
25.01/23.84 358 681 659 0 0 0 0
25.01/23.84 c 0 142 536 801 659 0 0 0 0
25.01/23.84 c 0 36 384 695 659 0 0 0 0
25.01/23.84 c 0 143 536 802 659 0 0 0 0
25.01/23.84 c 0 90 476 749 659 0 0 0 0
25.01/23.84 c 0 40 392 699 659 0 0 0 0
25.01/23.84 c 0 173 594 832 659 0 0 0 0
25.01/23.84 c 0 67 444 726 659 0 0 0 0
25.01/23.84 c c 0 65 440 0724 119 532 778 659 0 0 0 0
25.01/23.84 c 0 c 0 68 444 727 659 0 174 0 0 0
25.01/23.84 594 833 659 0 0 0 0
25.01/23.85 659 0 0 0 0
25.01/23.85 c 0 120 532 779 659 0 0 0 0
25.01/23.85 c 0 66 440 725 659 0 0 0 0
25.01/23.85 c 0 161 612 820 c 659 0 109 524 768 659 0 0 0 0 00 0 0
25.01/23.85
25.01/23.85 c 0 101 508 760 659 0 0 0 0
25.01/23.85 c 0 111 526 770 659 0 0 0 0
25.01/23.85 c 0 164 616 823 659 0 0 0 0
25.01/23.85 c 0 112 526 771 659 0 0 0 0
25.01/23.85 c 0 104 512 763 659 0 0 0 0
25.01/23.85 c 0 113 526 772 659 0 0 0 0
25.01/23.85 c 0 105 512 764 659 0 0 0 0
25.01/23.85 c 0 166 618 825 659 0 0 0 0
25.01/23.85 c 0 172 628 831 659 0 0 0 0
25.01/23.85 c 0 109 518 768 659 0 0 0 0
25.01/23.85 c 0 118 534 777 659 0 0 0 0
25.01/23.85 c 0 135 566 794 659 0 0 0 0
25.01/23.85 c 0 191 664 850 659 0 0 0 0
25.01/23.85 c 0 136 566 795 659 0 0 0 0
25.01/23.85 c 0 192 664 851 659 0 0 0 0
25.01/23.85 c 0 127 552 786 659 0 0 0 0
25.01/23.86 c 0 218 680 877 659 0 0 0 0
25.01/23.86 c 0 219 680 878 659 0 0 0 0
25.01/23.86 c 0 c 217 712 0876 232 659704 0891 659 0 c 0 0 00 0 0 0 151 598 810 659 0
25.01/23.86
25.01/23.86 c 0 161 614 820 659 0 0 0 0
25.01/23.86 0 0 0
25.01/23.86 c 0 250 738 909 659 0 0 0 0
25.01/23.86 c 0 230 736 889 659 0 0 0 0
25.01/23.86 c 0 179 648 838 659 0 0 0 0
25.01/23.86 c 0 157 608 816 659 0 0 0 0
25.01/23.86 c 0 269 774 928 659 0 0 0 0
25.01/23.86 c 0 199 686 858 659 0 0 0 0
25.01/23.86 c 0 175 642 834 659 0 0 0 0
25.01/23.86 c 0 252 778 911 659 0 0 0 0
25.01/23.86 c 0 254 780 913 659 0 0 0 0
25.01/23.86 c 0 201 688 860 659 0 0 0 0
25.01/23.86 c 0 177 644 836 659 0 0 0 0
25.01/23.86 c 0 272 778 931 659 0 0 0 0
25.01/23.86 c 0 275 820 934 659 0 0 0 0
25.01/23.86 c 0 288 808 947 659 0 0 0 0
25.01/23.86 c 0 185 658 844 659 0 0 0 0
25.01/23.86 c 0 221 726 880 659 0 0 0 0
25.01/23.86 c 0 315 860 974 659 0 0 0 0
25.01/23.86 c c 0 0 214 304 876 963 659 714 0 873 659 0 0 0 0
25.01/23.86 0 0 0
25.01/23.86 c 0 248 778 907 659 0 0 0 0
25.01/23.86 c 0 318 864 977 659 0 0 0 0
25.01/23.86 c 0 306 878 965 659 0 0 0 0
25.01/23.86 c 0 216 716 875 659 0 0 0 0
25.01/23.86 c 0 249 778 908 659 0 0 0 0
25.01/23.86 c 0 319 864 978 659 0 0 0 0 c
25.01/23.86 0 307 878 966 659 0 0 0 0
25.01/23.86 c 0 250 778 909 659 0 0 0 0
25.01/23.86 c 0 320 864 979 659 0 0 0 0
25.01/23.86 c 0 308 878 967 659 0 0 0 0
25.01/23.86 c 0 218 718 877 659 0 0 0 0
25.01/23.86 c 0 315 890 974 659 0 0 0 0
25.01/23.86 c 0 219 718 878 659 0 0 0 0
25.01/23.86 c 0 326 874 985 659 0 0 0 0
25.01/23.86 c 0 256 788 915 659 0 0 0 0
25.01/23.86 c 0 332 884 991 659 0 0 0 0
25.01/23.86 c 0 262 798 921 659 0 0 0 0
25.01/23.86 c 0 324 906 983 659 0 0 0 0
25.01/23.86 c 0 224 726 883 659 0 0 0 0
25.01/23.86 c 0 307 886 966 c 659 0 0367 990 1026 659 0 0 0 00 0 0 c
25.01/23.86 0
25.01/23.86 c 0 380 978 1039 659 269 0 814 928 659 0 0 00
25.01/23.86 0 0 0
25.01/23.86 c 0 308 886 967 659 0 0 0 0
25.01/23.86 c 0 368 990 1027 659 0 0 0 0
25.01/23.86 c 0 270 814 929 659 0 0 0 0
25.01/23.86 c 0 381 978 1040 659 0 0 0 0
25.01/23.86 c 0 275 822 934 659 0 0 0 0
25.01/23.86 c 0 390 994 1049 659 0 0 0 0
25.01/23.86 c 0 317 902 976 659 0 0 0 0
25.01/23.86 c 0 379 1010 1038 659 0 0 0 0
25.01/23.86 c 0 331 928 990 659 0 0 0 0c 0
25.01/23.86 394 1038 1053 c 0 410 1032 1069 659 0 659 0 0 0
25.01/23.86 0 0 0 0
25.01/23.86 c 0 286 842 945 659 0 0 0 0
25.01/23.86 c 0 287 842 946 659 0 0 0 0
25.01/23.86 c 0 336 936 995 659 0 0 0 0
25.01/23.86 c 0 396 1040 1055 659 0 0 0 0
25.01/23.86 c 0 343 948 1002 659 0 0 0 0
25.01/23.86 c 0 344 948 1003 659 0 0 0 0
25.01/23.86 c 0 401 1048 1060 c 0 291 848 950 659 0 659 0 0 00
25.01/23.86 0 0 0
25.01/23.87 c 0 345 948 1004 659 0 0 0 0
25.01/23.87 c 0 412 1034 1071 659 0 0 0 0
25.01/23.87 c 0 303 870 962 659 0 0 0 0
25.01/23.87 c 0 362 980 1021 659 0 0 0 0
25.01/23.87 c 0 419 1082 1078 659 0 0 0 0
25.01/23.87 c 0 432 1072 1091 659 0 0 0 0
25.01/23.87 c 0 478 1162 1137 659 0 0 0 0
25.01/23.87 c 0 352 966 1011 659 0 0 0 0
25.01/23.87 c 0 409 1072 1068 659 0 0 0 0
25.01/23.87 c 0 465 1172 1124 659 0 0 0 0
25.01/23.87 c c 0 0 387 510 10341224 1046 1169 659 659 0 0 c 0 496 1232 1155 659 0 0 0 0 0 0 0
25.01/23.87 c 0 440 1132 1099 659 0 0 0 0
25.01/23.87
25.01/23.87 0 0 0
25.01/23.87 c 0 513 1228 1172 659 0 0 0 0
25.01/23.87 c 0 390 1038 1049 659 0 0 0 0
25.01/23.87 c 0 443 1136 1102 659 0 c 0 515 1230 0 0 01174 659 0 0 0 0
25.01/23.87 c 0
25.01/23.87 391 1038 1050 659 0 0 0 0
25.01/23.87 c 0 444 1136 1103 659 0 0 0 0
25.01/23.87 c 0 499 1236 1158 659 0 0 0 0
25.01/23.87 c 0 531 1260 1190 659 0 0 0 0
25.01/23.87 c 0 402 1058 1061 659 0 0 0 0
25.01/23.87 c c 0 516 1268 1175 659 0 0461 1168 1120 659 0 0 0 0
25.01/23.87 0 0 0
25.01/23.87 c 0 433 1118 1092 659 0 0 0 0 c
25.01/23.87 0 562 1320 1221 659 0 0 0 0
25.01/23.87 c 0 547 1328 1206 659 0 0 0 0
25.01/23.87 c 0 434 1118 1093 659 0 0 0 0
25.01/23.87 c 0 563 1320 1222 659 0 0 0 0
25.01/23.87 c 0 492 1228 1151 659 0 0 0 0
25.01/23.87 c 0 550 1332 1209 659 0 0 0 0
25.01/23.87 c 0 571 1334 1230 659 0 0 0 0
25.01/23.87 c 0 493 1228 1152 659 0 0 0 0
25.01/23.87 c 0 439 1126 1098 659 0 0 0 0
25.01/23.87 c 0 440 1126 1099 659 0 0 0 0
25.01/23.87 c 0 577 1344 1236 659 0 0 0 0
25.01/23.87 c 0 441 1126 1100 659 0 0 0 0
25.01/23.87 c 0 556 1342 1215 659 0 0 0 0
25.01/23.87 c 0 499 1238 1158 659 0 0 0 0
25.01/23.87 c c 0 473 0 1188 1132 659 0 608 1404 1267 659 0 0 0 0
25.01/23.87 0 0 0
25.01/23.87 c 0 588 1404 1247 659 0 0 0 0
25.01/23.87 c 0 531 1300 1190 659 0 0 0 0
25.01/23.87 c 0 628 1442 1287 659 0 0 0 0
25.01/23.87 c 0 603 1432 1262 659 0 0 0 0
25.01/23.87 c 0 487 1214 1146 659 0 0 0 0
25.01/23.87 c 0 548 1332 1207 659 0 0 0 0
25.01/23.87 c c 0 0 600 1434 1259 c 659 0 0691 1566 546 c 1330 1350 1205 659 659 0 0 0 000663
25.01/23.87 0 0 01550
25.01/23.87 0 0 0
25.01/23.87 1322 659 0 0 0 0
25.01/23.87 c 0 601 1434 1260 659 0 0 0 0
25.01/23.87 c 0 547 1330 1206 659 0 c 0 602 0 0 0
25.01/23.87 c 0 664 1550 1323 659 0 0 0 0
25.01/23.87 c 0 692 1566 1351 659 0 c 0 548 1330 1207 659 0 0 0 0
25.01/23.87 0 0 0
25.01/23.87 c 0 665 1550 1324 659 0 0 0 0
25.01/23.88 1434 1261 659 0 c 0 666 1550 1325 0 0 0
25.01/23.88 659 0 0 0 0
25.01/23.88 c 0 694 1568 1353 659 0 0 0 0
25.01/23.88 c 0 603 1434 1262 659 0 0 0 0
25.01/23.88 c c 0 0667 550 1550 1326 659 0 1332 1209 659 0 0 0 0
25.01/23.88 0 0 0c 0
25.01/23.88 695 1568 1354 659 0 0 0 0
25.01/23.88 c 0 604 1434 1263 659 0 0 0 0
25.01/23.88 c 0 668 1550 1327 659 0 0 0 0
25.01/23.88 c 0 551 1332 1210 659 0 c 0 696 0 0 01568 1355 659 0
25.01/23.88 c 0 605 1434 1264 659 0 0 0 0
25.01/23.88 0 0 0
25.01/23.88 c 0 669 1550 1328 659 0 0 0 0
25.01/23.88 c 0 552 1332 1211 659 0 0 0 0
25.01/23.88 c 0 606 1434 1265 659 0 0 0 0
25.01/23.88 c 0 670 1550 1329 659 c 0 0697 1568 1356 0 0 0
25.01/23.88 6590 0 0 0
25.01/23.88 c 0 671 1550 1330 659 0 0 0 0
25.01/23.88 c 0 698 1568 1357 659 0 0 0 0 c 0 554 1334 1213
25.01/23.88 659 0 0 0 0
25.01/23.88 c 0 608 c 1436 0 672 1267 1550 659 0 1331659 0 0 0 0
25.01/23.88 0 0 0
25.01/23.88 c 0 699 1568 1358 659 0 0 0 0
25.01/23.88 c 0 555 1334 1214 659 0 0 0 0
25.01/23.88 c 0 609 1436 1268 659 0 0 0 0
25.01/23.88 c 0 700 1568 1359 659 c 0 0 673 0 0 01550 1332
25.01/23.88 659c 0 0 556 1334 1215 659 0 0 0 0
25.01/23.88 0 0 0
25.01/23.88 c 0 617 1450 1276 659 0 0 0 0
25.01/23.88 c 0 706 1578 1365 659 0 0 0 0
25.01/23.88 c 0 618 1450 1277 659 0 0 0 0
25.01/23.88 c 0 681 1564 1340 659 0 0 0 0
25.01/23.88 c 0 565 1350 1224 659 0 0 0 0
25.01/23.88 c 0 625 1462 1284 659 0 0 0 0
25.01/23.88 c c 0 715 1594 1374 659 0 0 683 1566 1342 659 0 0 0 0
25.01/23.88 0 0 0
25.01/23.88 c 0 566 1350 1225 659 0 0 0 0
25.01/23.88 c 0 626 1462 1285 659 0 0 0 0
25.01/23.88 c 0 601 1418 1260 659 0 c 0 717 1632 1376 659 0 0 0 0
25.01/23.88 0 0 0
25.01/23.88 c 0 660 1528 1319 659 0 0 0 0
25.01/23.88 c c 0 0 682 796 1578 1788 1341 1455 659 659 0 0 0 0 00 0 0
25.01/23.88
25.01/23.88 c 0 738 1682 1397 659 0 0 0 0
25.01/23.88 c 0 683 1578 1342 659 0 0 0 0
25.01/23.88 c 0 797 1788 1456 659 0 0 0 0
25.01/23.88 c 0 739 1682 1398 659 0 0 0 0
25.01/23.88 c 0 689 1588 1348 659 0 0 0 0
25.01/23.88 c 0 802 1796 1461 659 0 0 0 0
25.01/23.88 c 0 690 1588 1349 659 0 0 0 0
25.01/23.88 c 0 745 1692 1404 659 0 0 0 0
25.01/23.88 c 0 803 1796 1462 659 c 0 0 691 1588 1350 659 0 0 0 0 0 0 0
25.01/23.88
25.01/23.88 c 0 748 1658 1407 659 0 0 0 0
25.01/23.88 c 0 746 1692 1405 659 0 0 0 0
25.01/23.88 c 0 692 1588 1351 659 0 0 0 0
25.01/23.88 c 0 747 1692 1406 659 0 0 0 0
25.01/23.88 c 0 693 1588 1352 659 0 0 0 0
25.01/23.88 c 0 748 1692 1407 659 0 0 0 0
25.01/23.88 c 0 749 1692 1408 659 0 0 0 0
25.01/23.88 c 0 695 1590 1354 659 0 0 0 0
25.01/23.88 c 0 750 1692 1409 659 0 0 0 0
25.01/23.88 c 0 696 1590 1355 659 0 0 0 0
25.01/23.88 c 0 751 1692 1410 659 0 0 0 0
25.01/23.88 c 0 697 1590 1356 659 0 0 0 0
25.01/23.88 c 0 752 1692 1411 659 0 0 0 0
25.01/23.88 c 0 749 1658 1408 659 0 0 0 0
25.01/23.88 c 0 755 1696 1414 659 0 0 0 0 c 0 699
25.01/23.88 1592 1358 659 0 0 0 0
25.01/23.88 c 0 756 1696 1415 659 0 0 0 0 c 0 700 1592 1359 659
25.01/23.88 0 c 0 752 0 0 0 1662
25.01/23.88 c 0 804 1796 1463 659 0 0 0 0
25.01/23.88 c 0 758 1698 1417 659 0 0 0 0
25.01/23.88 c 0 805 1796 1464 659 0 0 0 0
25.01/23.88 c 0 759 1698 1418 659 0 0 0 0
25.01/23.88 c 0 806 1796 1465 659 0 0 0 0
25.01/23.88 c 0 702 1594 1361 659 0 0 0 0
25.01/23.88 c 0 770 1718 1429 659 0 0 0 0
25.01/23.88 c 0 712 1612 1371 659 0 0 0 0
25.01/23.88 c 0 817 1816 1476 659 0 0 0 0
25.01/23.88 c c 0 0 713 7711612 1718 13721430 659 6590 00 0 0 0 0 0
25.01/23.88
25.01/23.88 c 0 740 1664 1399 659 0 0 0 0
25.01/23.88 c 0 803 1780 1462 659 0 0 0 0
25.01/23.88 c 0 850 1880 1509 659 0 0 0 0
25.01/23.89 c 0 832 1846 1491 659 0 0 0 0
25.01/23.89 c 0 938 2054 1597 659 0 0 0 0
25.01/23.89 c 0 891 1954 1550 659 0 0 0 0
25.01/23.89 1411 659 0 0 0 0
25.01/23.89 c 0 753 1662 1412 659 0 0 0 0
25.01/23.89 c 0 833 1846 1492 659 0 0 0 0
25.01/23.89 c 0 947 2070 1606 659 0 0 0 0
25.01/23.89 c 0 838 1854 1497 659 0 0 0 0
25.01/23.89 c 0 901 1972 1560 659 0 0 0 0
25.01/23.89 c 0 948 2070 1607 659 0 0 0 0
25.01/23.89 c 0 949 2070 1608 659 0 0 0 0
25.01/23.89 c 0 902 1972 1561 659 0 0 0 0
25.01/23.89 c 0 839 1854 1498 659 0 0 0 0
25.01/23.89 c 0 950 2070 1609 659 0 0 0 0
25.01/23.89 c 0 766 1686 1425 c 659 0 0 903 1972 1562 0 0 0659 0 0 0 0
25.01/23.89 c 0 840 1854 1499 659 0 0 0 0
25.01/23.89 c 0 951 2070 1610 659 0 0 0 0
25.01/23.89 c 0 c 904 0 1972 1563 841659 1854 0 1500 659 0 0 0 0 0 0 0
25.01/23.89 c 0 952 2070 1611 659 0 0 0 0
25.01/23.89
25.01/23.89 c 0 905 1972 1564 659 0 0 0 0
25.01/23.89 c 0 953 2070 1612 659 0 0 0 0
25.01/23.89 c 0 842 1854 1501 659 0 0 0 0
25.01/23.89 c 0 906 1972 1565 659 0 0 0 0
25.01/23.89 c 0 954 2070 1613 659 0 0 0 0
25.01/23.89 c 0 843 1854 1502 659 0 0 0 0
25.01/23.89 c 0 907 1972 1566 659 0 0 0 0
25.01/23.89 c 0 955 2070 1614 659 0 0 0 0
25.01/23.89 c 0 844 1854 1503 659 0 0 0 0
25.01/23.89 c 0 908 1972 1567 659 0 0 0 0
25.01/23.89 c 0 956 2070 1615 659 0 0 0 0
25.01/23.89 c 0 845 1854 1504 659 0 0 0 0
25.01/23.89 c 0 909 1972 1568 659 0 0 0 0
25.01/23.89
25.01/23.89 c 0 959 2074 1618 659 0 0 0 0
25.01/23.89 c 0 911 1974 1570 659 0 c 0 847 1856 0 0 01506 659 0 0 0 0
25.01/23.89
25.01/23.89 c 0 767 1686 1426 659 0 0 0 0
25.01/23.89 c 0 960 2074 1619 659 0 0 0 0
25.01/23.89 c 0 848 1856 c 1507 0 912 659 1974 0 1571 659 0 0 0 0 0 0 0
25.01/23.89 c 0 768 1686 c 1427 0 659 961 02074 1620 659 0 0 0 0 0 0 0
25.01/23.89
25.01/23.89 c 0 849 1856 1508 659 0 0 0 0
25.01/23.89
25.01/23.89 c 0 963 2076 1622 659 0 0 0 0
25.01/23.89 c 0 851 1858 1510 659 0 0 0 0
25.01/23.89 c 0 913 1974 1572 659 0 0 0 0
25.01/23.89 c 0 964 c 0 852 1858 1511 2076 659 0 1623 659 0 0 00
25.01/23.89 0 0 0
25.01/23.89 c 0 770 1688 1429 659 0 0 0 0
25.01/23.89 c 0 922 1990 1581 659 0 0 0 0
25.01/23.89 c 0 773 1692 1432 659 0 0 0 0
25.01/23.89 c 0 923 1990 1582 659 0 0 0 0
25.01/23.89 c 0 858 1868 1517 659 0 0 0 0
25.01/23.89 c 0 974 2094 1633 659 0 0 0 0
25.01/23.89 c 0 c 896 1942 1555 659 0 0 960 2062 1619 659 0 0 0 00 0 0
25.01/23.89
25.01/23.89 c 0 807 1758 1466 659 0 c 0 0 0 0 1011 2166 1670 659 0
25.01/23.89 0 0 0
25.01/23.89 c 0 862 1866 1521 659 0 c c 0 0 1069 2280 1728 659 0 0 0 0 0 0 0
25.01/23.89
25.01/23.89 1020 2180 1679 659 0 0 0 0
25.01/23.89 c 0 955 2058 1614 659 0 0 0 0
25.01/23.89 c 0 863 1866 1522 659 0 0 0 0
25.01/23.89 c 0 1021 2180 1680 659 0 0 0 0
25.01/23.89 c 0 966 2078 1625 659 0 0 0 0
25.01/23.89 c 0 1043 2222 1702 659 0 0 0 0
25.01/23.89 c 0 875 1888 1534 659 0 0 0 0
25.01/23.89 c 0 967 2078 1626 659 0 0 0 0
25.01/23.89 c 0 968 2078 1627 659 0 0 0 0
25.01/23.89 c 0 876 1888 1535 659 0 0 0 0
25.01/23.89 c 0 877 1888 1536 659 0 0 0 0
25.01/23.89 c 0 1044 2222 1703 659 0 0 0 0
25.01/23.89 c 0 878 1888 1537 659 0 0 0 0
25.01/23.89 c 0 1045 2222 1704 659 0 0 0 0
25.01/23.89 c 0 879 1888 1538 659 0 0 0 0
25.01/23.89 c 0 1046 2222 1705 659 0 0 0 0
25.01/23.89 c 0 880 1888 1539 659 0 0 0 0
25.80/23.90 c 0 969 2078 1628 659 c 0 0 882 1890 1541 659 0 0 0 0
25.80/23.90 c 0 0 0
25.80/23.90 01048 2224 1707 659 0 0 0 0
25.80/23.90 c 0 970 2078 1629 659 0 0 0 0
25.80/23.90 c 0 883 1890 1542 659 0 0 0 0
25.80/23.90 c 0 1070 2280 1729 659 0 0 0 0
25.80/23.90 c 0 1051 2228 1710 659 0 0 0 0
25.80/23.90 c 0 972 2080 1631 659 0 0 0 0
25.80/23.90 c 0 1071 2280 1730 659 0 0 0 0
25.80/23.90 c 0 1052 2228 1711 659 0 0 0 0
25.80/23.90 c 0 973 2080 1632 659 0 0 0 0
25.80/23.90 c 0 1072 2280 1731 659 0 0 0 0
25.80/23.90 c 0 1074 2282 1733 659 0 c 0 0 0 0c
25.80/23.90 0 975 2082 1634 659 0 1055 0 0 0
25.80/23.90 2232 1714 659 0 0 0 0
25.80/23.90 c 0 1075 2282 1734 659 0 0 0 0
25.80/23.90 c 0 976 2082 1635 659 0 0 0 0
25.80/23.90 c 0 1056 2232 1715 659 0 0 0 0
25.80/23.90 c 0 886 1894 1545 659 0 0 0 0
25.80/23.90 c 0 1064 2246 1723 659 0 0 0 0
25.80/23.90 c 0 1086 2302 1745 659 0 0 0 0
25.80/23.90 c 0 1065 2246 1724 659 0 0 0 0
25.80/23.90 c 0 890 1900 1549 659 0 0 0 0
25.80/23.90 c 0 986 2100 1645 659 0 0 0 0
25.80/23.90 c 0 909 1936 1568 659 0 0 0 0
25.80/23.90 c 0 1092 2298 1751 659 0 c 0 1109 0 0 0 2346 1768 659 0
25.80/23.90 0 0 0
25.80/23.90 c 0 1005 2136 1664 659 0 0 0 0
25.80/23.90 c 0 c 1026 2176 01685 1122 2356 1781 659659 0 0 0 0 00 0 0
25.80/23.90
25.80/23.90 c 0 1136 2398 1795 659 0 0 0 0
25.80/23.90 c 0 931 1978 1590 659 0 0 0 0
25.80/23.90 c 0 1151 2412 c 1810 0 1048 2218 659 1707 0659 0 0 0 0 0 0 0
25.80/23.90 c 0 950 2014 1609 659 0 0 0 0
25.80/23.90 c 0 1164 2452 1823 659 0 0 0 0
25.80/23.90 c 0 951 2014 1610 659 0 0 0 0
25.80/23.90 c 0 1152 2412 1811 659 0 0 0 0
25.80/23.90 c 0 962 2034 1621 659 0 0 0 0
25.80/23.90
25.80/23.90 c 0 963 2034 1622 659 0 0 0 0
25.80/23.90 c 0 1183 2488 1842 659 0 0 0 0
25.80/23.90 c 0 1049 2218 1708 659 0 0 0 0
25.80/23.90 c 0 1239 2598 1898 659 0 0 0 0
25.80/23.90 c 0 1173 2452 1832 659 0 c 0 0 0
25.80/23.90 01025 2156 1684 659 0 0 0 0
25.80/23.90 c 0 1174 2452 1833 659 0 0 0 0
25.80/23.90 c 0 1045 2194 1704 659 0 0 0 0
25.80/23.90 c 0 1266 2650 1925 659 0 0 0 0
25.80/23.90 c 0 1202 2506 1861 659 0 0 0 0
25.80/23.90 c 0 1267 2650 1926 659 0 0 0 0
25.80/23.90 c 0 1047 2196 1706 659 0 0 0 0
25.80/23.90 c 0 1269 2652 1928 659 0 0 0 0
25.80/23.90 c 0 1048 2196 1707 659 0 0 0 0
25.80/23.90 c 0 1203 2506 1862 659 0 0 0 0
25.80/23.90 c 0 1070 2238 1729 659 0 0 0 0
25.80/23.90 c 0 1297 2706 1956 659 0 0 0 0
25.80/23.90 c 0 1232 2562 1891 659 0 0 0 0
25.80/23.90 c 0 1071 2238 1730 659 0 0 0 0
25.80/23.90 c 0 1298 2706 1957 659 0 0 0 0
25.80/23.90 c 0 1247 2590 1906 659 0 0 0 0
25.80/23.90 c 0 1311 2730 1970 659 0 0 0 0
25.80/23.91 c 0 1099 2316 1758 659 0 0 0 0
25.80/23.91 c 0 1248 2590 1907 659 0 0 0 0
25.80/23.91 c 0 1312 2730 1971 659 0 0 0 0
25.80/23.91 c 0 1249 2590 1908 659 0 0 0 0
25.80/23.91 c 0 1250 2590 1909 659 0 0 0 0
25.80/23.91 c 0 1083 2260 1742 659 0 0 0 0
25.80/23.91 c 0 1251 2590 1910 659 0 0 0 0
25.80/23.91 c 0 1252 2590 1911 659 0 0 0 0
25.80/23.91 c 0 1314 2732 1973 659 0 0 0 0
25.80/23.91 c 0 1253 2590 1912 659 0 0 0 0
25.80/23.91 c 0 1084 2260 1743 659 0 0 0 0
25.80/23.91 c 0 1315 2732 1974 659 0 0 0 0
25.80/23.91 c 0 1254 2590 1913 659 0 0 0 0
25.80/23.91 c 0 1100 2316 1759 659 0 0 0 0
25.80/23.91 c 0 1318 2736 1977 659 0 0 0 0
25.80/23.91 c 0 1319 2736 1978 659 0 0 0 0
25.80/23.91 c 0 1320 2736 1979 659 0 0 0 0
25.80/23.91 c 0 1259 2598 1918 659 0 0 0 0
25.80/23.91 c 0 1087 2264 1746 659 0 0 0 0
25.80/23.91 c 0 1103 2320 1762 659 0 0 0 0
25.80/23.91 c 0 1263 2604 1922 659 0 0 0 0
25.80/23.91 c 0 1323 2740 1982 659 0 0 0 0
25.80/23.91 c 0 1104 2320 1763 659 0 0 0 0
25.80/23.91 c 0 1090 2268 1749 659 0 0 0 0
25.80/23.91 c 0 1099 2284 1758 659 0 0 0 0
25.80/23.91 c 0 1333 2758 1992 659 0 0 0 0
25.80/23.91 c 0 1277 2630 1936 659 0 0 0 0
25.80/23.91 c 0 1111 2332 1770 659 0 0 0 0
25.80/23.91 c 0 1100 2284 1759 659 0 0 0 0
25.80/23.91 c 0 1334 2758 1993 659 0 0 0 0
25.80/23.91 c 0 1112 2332 1771 659 0 0 0 0
25.80/23.91 c 0 1278 2630 1937 659 0 0 0 0
25.80/23.91 c 0 1140 2362 1799 659 0 0 0 0
25.80/23.91 c 0 1374 2836 2033 659 0 0 0 0
25.80/23.91 c 0 1147 2400 1806 659 0 0 0 0
25.80/23.91 c 0 1141 2362 1800 659 0 0 0 0
25.80/23.91 c 0 1317 2706 1976 659 0 0 0 0
25.80/23.91 c 0 1148 2400 1807 659 0 0 0 0
25.80/23.91 c 0 1375 2836 2034 659 0 0 0 0
25.80/23.91 c 0 1388 2860 2047 659 0 0 0 0
25.80/23.91 c 0 1389 2860 2048 659 0 c 0 0 0 01333 2736 1992 659 0
25.80/23.91 0 0 0
25.80/23.91 c 0 1162 2426 1821 659 0 0 0 0
25.80/23.91 c 0 1395 2870 2054 659 0 0 0 0
25.80/23.91 c 0 1155 2388 1814 659 0 0 0 0
25.80/23.91 c 0 1337 2742 1996 659 0 0 0 0
25.80/23.91 c 0 1397 2872 2056 659 0 0 0 0
25.80/23.91 c 0 1164 2428 1823 659 0 0 0 0
25.80/23.91 c 0 1370 2806 2029 659 0 0 0 0
25.80/23.91 c c 0 0 1181 2460 11791840 2434659 0 1838659 0 0 0 0
25.80/23.91 0 0 0
25.80/23.91 c 0 1427 2930 2086 659 0 0 0 0
25.80/23.91 c 0 1182 2460 1841 659 0 0 0 0
25.80/23.91 c 0 1371 2806 2030 659 0 0 0 0
25.80/23.91 c 0 1180 2434 1839 659 0 0 0 0
25.80/23.91 c 0 1430 2934 2089 659 0 0 0 0
25.80/23.91 c 0 1431 2934 2090 659 0 0 0 0
25.80/23.91 c 0 1432 2934 2091 659 0 0 0 0
25.80/23.91 c 0 1374 2810 2033 659 0 0 0 0
25.80/23.91 c 0 1434 2936 2093 659 0 0 0 0
25.80/23.91 c 0 1376 2812 2035 659 0 0 0 0
25.80/23.91 c 0 1435 2936 2094 659 0 0 0 0
25.80/23.91 c 0 1184 2440 1843 659 0 0 0 0
25.80/23.91 c 0 1377 2812 2036 659 0 0 0 0
25.80/23.91 c 0 1436 2936 2095 659 0 0 0 0
25.80/23.91 c 0 1185 2440 1844 659 0 0 0 0
25.80/23.91 c 0 1379 2814 2038 659 0 0 0 0
25.80/23.91 c 0 1438 2938 2097 659 0 c 0 0 0 0
25.80/23.91 1186 2440 1845 659 0 0 0 0
25.80/23.91 c 0 1380 2814 2039 659 0 0 0 0
25.80/23.91 c 0 1439 2938 2098 659 0 0 0 0
25.80/23.91 c 0 1187 2440 1846 659 0 0 0 0
25.80/23.91 c 0 1186 2466 1845 659 0 0 0 0
25.80/23.91 c 0 1385 2822 2044 659 0 0 0 0
25.80/23.91 c 0 1444 2946 2103 659 0 0 0 0
25.80/23.91 c 0 1387 2824 2046 659 0 0 0 0
25.80/23.91 c 0 1445 2946 2104 659 0 0 0 0
25.80/23.91 c 0 1388 2824 2047 659 0 0 0 0
25.80/23.91 c 0 1192 2448 1851 659 0 0 0 0
25.80/23.91 c 0 1450 2954 2109 659 0 0 0 0
25.80/23.91 c 0 1196 2454 1855 659 0 0 0 0
25.80/23.91 c 0 1191 2474 1850 659 0 0 0 0
25.80/23.91 c 0 1393 2832 2052 659 0 0 0 0
25.80/23.91 c 0 1231 2552 1890 659 0 0 0 0
25.80/23.91 c 0 1235 2530 1894 659 0 0 0 0
25.80/23.91 c 0 1491 3034 2150 659 0 0 0 0
25.80/23.91 c 0 1433 2910 2092 659 0 0 0 0
25.80/23.91 c 0 1232 2552 1891 659 0 0 0 0
25.80/23.91 c 0 1236 2530 1895 659 0 0 0 0
25.80/23.91 c 0 1492 3034 2151 659 0 0 0 0
25.80/23.91 c 0 1434 2910 2093 659 0 0 0 0
25.80/23.91 c 0 1252 2560 1911 659 0 0 0 0
25.80/23.91 c 0 1507 3062 2166 659 0 0 0 0
25.80/23.91 c 0 1450 2940 2109 659 0 0 0 0
25.80/23.91 c 0 1253 2560 1912 659 0 0 0 0
25.80/23.91 c 0 1508 3062 2167 659 0 0 0 0
25.80/23.91 c 0 1451 2940 2110 659 0 0 0 0
25.80/23.91 c 0 1242 2570 1901 659 0 0 0 0
25.80/23.91 c 0 1255 2562 c 0 1914 1515 659 3074 0 2174 659 0 0 0 0
25.80/23.91 0 0 0c 0 1453
25.80/23.91 2942 c 0 21121244 2572 659 0 1903 659 0 0 00
25.80/23.91 c 0 1517 3076 2176 659 0 0 0 0
25.80/23.91 c 0 1258 2566 1917 659 0 0 0 0
25.80/23.91 c 0 1456 2946 2115 659 0 0 0 0
25.80/23.92 c 0 1265 2578 1924 659 0 0 0 0
25.80/23.92 c 0 1528 3096 2187 659 0 0 0 0
25.80/23.92 c 0 1266 2578 1925 659 0 0 0 0
25.80/23.92 c 0 1464 2960 2123 659 0 0 0 0
25.80/23.92 c 0 1529 3096 2188 659 0 0 0 0
25.80/23.92 c 0 1553 3142 2212 659 0 0 0 0
25.80/23.92 c 0 1486 3002 2145 659 0 0 0 0
25.80/23.92 c 0 1554 3142 2213 659 0 0 0 0
25.80/23.92 c 0 1284 2612 1943 659 0 0 0 0
25.80/23.92 c 0 1296 2634 1955 659 0 0 0 0
25.80/23.92 c 0 1573 3178 2232 659 0 0 0 0
25.80/23.92 c 0 1509 3046 2168 659 0 0 0 0
25.80/23.92 c 0 1578 3186 2237 659 0 0 0 0
25.80/23.92 c 0 1303 2646 1962 659 0 0 0 0
25.80/23.92 c 0 1579 3186 2238 659 0 0 0 0
25.80/23.92 c c 0 0 1304 2646 1963 1580 3186 659 2239 0 659 0 0 0 0 0 0 0
25.80/23.92
25.80/23.92 c 0 1516 3058 2175 659 0 0 0 0
25.80/23.92 c 0 1307 2650 1966 659 0 0 0 0
25.80/23.92 c 0 1583 3190 2242 c 659 0 01517 3058 2176 0 0 0659 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1308 2650 1967 659 0 0 0 0
25.80/23.92 c 0 1584 3190 2243 659 0 0 0 0
25.80/23.92 c 0 1245 2572 1904 659 0 0 0 0
25.80/23.92 c 0 1585 3190 2244 659 0 0 0 0
25.80/23.92 c 0 1310 2652 1969 659 0 0 0 0
25.80/23.92 c 0 1246 2572 1905 659 0 0 0 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1586 3190 2245 659 0 0 0 0
25.80/23.92 c 0 1311 2652 1970 c 659 0 0 1247 2572 1906 659 0 0 0 0 0 0 0
25.80/23.92
25.80/23.92 c 0 1518 3058 2177 659 0 0 0 0
25.80/23.92 c 0 1591 3198 2250 659 0 0 0 0
25.80/23.92 c 0 1253 2582 1912 659 0 0 0 0
25.80/23.92 c 0 1524 3068 2183 659 0 0 0 0
25.80/23.92 c 0 1525 3068 2184 659 0 0 0 0
25.80/23.92 c 0 1526 3068 2185 659 0 0 0 0
25.80/23.92 c 0 1319 2666 1978 659 0 0 0 0
25.80/23.92 c 0 1593 3200 2252 659 0 0 0 0
25.80/23.92 c 0 1321 2668 1980 659 0 0 0 0
25.80/23.92 c 0 1595 3202 2254 659 0 0 0 0
25.80/23.92 c 0 1528 3070 2187 659 0 0 0 0
25.80/23.92 c c 0 0 1326 2676 1985 659 1598 0 32062257 659 0 0 0 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1255 2584 1914 659 0 0 0 0
25.80/23.92 c 0 1531 3074 2190 659 0 0 0 0
25.80/23.92 c 0 1625 3258 2284 659 0 0 0 0
25.80/23.92 c 0 1268 2608 1927 659 0 0 0 0
25.80/23.92 c 0 1555 3120 2214 659 0 0 0 0
25.80/23.92 c 0 1345 2712 2004 659 0 0 0 0
25.80/23.92 c 0 1269 2608 1928 659 0 0 0 0
25.80/23.92 c 0 1270 2608 1929 659 0 0 0 0
25.80/23.92 c 0 1626 3258 2285 659 0 0 0 0
25.80/23.92 c 0 1556 3120 2215 659 0 0 0 0
25.80/23.92 c 0 1346 2712 2005 659 0 0 0 0
25.80/23.92 c 0 1652 3308 2311 659 0 0 0 0
25.80/23.92 c 0 1583 3172 2242 659 0 0 0 0
25.80/23.92 c 0 1287 2640 1946 659 0 0 0 0
25.80/23.92 c 0 1653 3308 2312 659 0 0 0 0
25.80/23.92 c 0 1585 3174 2244 659 0 0 0 0
25.80/23.92 c 0 1655 3310 2314 659 0 0 0 0
25.80/23.92 c 0 1288 2640 1947 659 0 0 0 0
25.80/23.92 c 0 1366 2750 2025 659 0 0 0 0
25.80/23.92 c 0 1368 2752 2027 659 0 0 0 0
25.80/23.92 c 0 1591 3184 2250 659 0 0 0 0
25.80/23.92 c 0 1662 3322 2321 659 0 0 0 0
25.80/23.92 c 0 1293 2648 1952 659 0 0 0 0
25.80/23.92 c 0 1674 3344 2333 c 659 0 c 0 0 0 01380 2774 2039 659 0 0
25.80/23.92 1604 3208 0 0 0
25.80/23.92 c 0 1299 2658 1958 659 0 0 0 0
25.80/23.92 c 0 1385 2782 2044 659 0 0 0 0
25.80/23.92 c 0 1300 2658 1959 659 0 0 0 0
25.80/23.92 c 0 1679 3352 2338 659 0 0 0 0
25.80/23.92 c 0 1392 2794 2051 659 0 c 0 0 0 01685 3362 2344 659 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1307 2670 1966 659 0 0 0 0
25.80/23.92 c 0 1694 3378 2353 c 659 0 0 1313 2680 1972 659 0 0 0 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1404 2816 2063 659 0 0 0 0
25.80/23.92 c 0 1410 2826 2069 c 659 0 1315 2682 1974 0659 0 0 0 0
25.80/23.92 c 0 1703 3394 2362 659 0 0 0 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1411 2826 2070 659 0 0 0 0
25.80/23.92 c 0 1317 2684 1976 659 0 0 0 0
25.80/23.92 c 0 1704 3394 2363 659 0 0 0 0
25.80/23.92 2263 659 0 0 0 0
25.80/23.92 c 0 1605 3208 2264 659 0 0 0 0
25.80/23.92 c 0 1716 3416 2375 659 0 0 0 0
25.80/23.92 c 0 1324 2696 1983 659 0 c 0 1615 0 0 03226 2274 659 0
25.80/23.92 c 0 1412 2826 2071 659 0 0 0 0
25.80/23.92 c 0 1413 2826 2072 659 0 0 0 0
25.80/23.92 c 0 1739 3460 2398 659 0 0 0 0
25.80/23.92 c 0 1338 2722 1997 659 0 0 0 0
25.80/23.92 c 0 1341 2726 2000 659 0 0 0 0
25.80/23.92 c 0 1741 3462 2400 659 0 0 0 0
25.80/23.92 c 0 1434 2866 2093 659 0 0 0 0
25.80/23.92 c 0 1346 2734 2005 659 0 0 0 0
25.80/23.92 c 0 1744 3466 2403 659 0 0 0 0
25.80/23.92 c 0 1347 2734 2006 659 0 0 0 0
25.80/23.92 c 0 1348 2734 2007 659 0 0 0 0
25.80/23.92 c 0 c 1745 0 1435 2866 2094 3466659 2404 0 659 0 0 0 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1351 2738 2010 659 0 0 0 0
25.80/23.92 c 0 1438 2870 2097 659 0 0 0 0
25.80/23.92 c 0 1748 3470 2407 659 0 0 0 0
25.80/23.92 c 0 1439 2870 2098 659 0 0 0 0
25.80/23.92 c 0 1749 3470 2408 659 0 0 0 0
25.80/23.92 c 0 1353 2740 2012 659 0 0 0 0
25.80/23.92 c 0 1441 2872 2100 659 0 0 0 0
25.80/23.92 c 0 1750 3470 2409 659 0 0 0 0
25.80/23.92 c 0 1354 2740 2013 659 0 0 0 0
25.80/23.92 c 0 1442 2872 2101 659 0 c 0 0 0 01751 3470 2410 659 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1355 2740 2014 659 0 0 0 0
25.80/23.92 c 0 1443 2872 2102 659 0 0 0 0
25.80/23.92 c 0 1752 3470 2411 659 0 0 0 0
25.80/23.92 c 0 1358 c 2744 2017 659 0 01755 3474 2414 659 0 0 0 0
25.80/23.92 0 0 00 0 0
25.80/23.92
25.80/23.92 c 0 1359 2744 2018 659 0 0 0 0
25.80/23.92 c 0 1756 3474 2415 659 0 0 0 0
25.80/23.92 c 0 1361 2746 2020 659 0 0 0 0 c
25.80/23.92 c 0 1447 2878 2106 659 0 0 0 0
25.80/23.92 c 0 1758 3476 2417 659 0 0 0 0
25.80/23.92 c 0 1448 2878 2107 659 0 0 0 0
25.80/23.92 c 0 1450 2880 2109 659 0 c 0 0 0
25.80/23.92 0 1364 2750 2023 659 0 0 0 0
25.80/23.92 c 0 1451 2880 2110 659 0 0 0 0
25.80/23.92 c 0 1365 2750 2024 659 0 0 0 0
25.80/23.92 c 0 1762 3482 2421 659 0 0 0 0
25.80/23.92 c 0 1457 2890 2116 659 0 0 0 0
25.80/23.92 c 0 1371 2760 2030 659 0 0 0 0
25.80/23.92 c 0 1764 3484 2423 659 0 0 0 0
25.80/23.92 c 0 1459 2892 2118 659 0 c 0 1766 3486 0 0 02425 659 0 0 0 0
25.80/23.92 c 0 1373 2762 2032 659 0 0 0 0
25.80/23.92
25.80/23.92 c 0 1462 2896 2121 659 0 0 0 0
25.80/23.92 c c 0 0 1376 1769 2766 34902035 2428 659 659 0 0 0 0 0 0 0 0
25.80/23.92
25.80/23.92 c 0 1463 2896 2122 659 0 0 0 0
25.80/23.92 c 0 1770 3490 2429 659 0 c 0 0 0 01377 2766 2036 659 0
25.80/23.92 0 0 0
25.80/23.92 c 0 1487 2942 2146 659 0 0 0 0
25.80/23.92 c 0 1398 2806 2057 659 0 0 0 0
25.80/23.92 c 0 1802 3552 2461 659 0 0 0 0
25.80/23.92 c 0 1807 3560 2466 659 0 0 0 0
25.80/23.92 c 0 1809 3562 2468 659 0 0 0 0
25.80/23.92 c 0 1502 2970 2161 659 0 0 0 0
25.80/23.92 c 0 1407 2822 2066 659 0 0 0 0
25.80/23.92 c 0 1813 3568 2472 659 0 0 0 0
25.80/23.92 c 0 1408 2822 2067 659 0 0 0 0
25.80/23.92 c 0 1503 2970 2162 659 0 0 0 0
25.80/23.92 c 0 1415 2834 2074 659 0 0 0 0
25.80/23.92 c 0 1506 2974 2165 659 0 0 0 0
25.80/23.92 c 0 1820 3580 2479 659 0 0 0 0
25.80/23.92 c 0 1418 2838 2077 659 0 0 0 0
25.80/23.92 c 0 1823 3584 2482 659 0 0 0 0
25.80/23.92 c 0 1510 2980 2169 659 0 0 0 0
25.80/23.92 c 0 1831 3598 2490 659 0 0 0 0
25.80/23.92 c 0 1515 2988 2174 659 0 0 0 0
25.80/23.92 c 0 1428 2856 2087 659 0 0 0 0
25.80/23.92 c 0 1849 3632 2508 659 0 0 0 0
25.80/23.92 c 0 1531 3018 2190 659 0 0 0 0
25.80/23.92 c 0 1439 2876 2098 659 0 0 0 0
25.80/23.92 c 0 1446 2888 2105 659 0 0 0 0
25.80/23.92 c 0 1858 3648 2517 659 0 0 0 0
25.80/23.92 c 0 1538 3030 2197 659 0 0 0 0
25.80/23.92 c 0 1457 2908 2116 659 0 c 0 0 00 1545 3042 2204 659 0
25.80/23.92 0 1616 3226 2275 659 0 0 0 0
25.80/23.92 c 0 1617 3226 2276 659 0 0 0 0
25.80/23.92 c 0 1868 3666 2527 659 0 0 0 0
25.80/23.92 c 0 1470 2932 2129 659 0 0 0 0
25.80/23.92 c 0 1883 3694 2542 659 0 0 0 0
25.80/23.92 c 0 1631 3252 2290 659 0 0 0 0
25.80/23.92 c 0 1471 2932 2130 659 0 0 0 0
25.80/23.92 c 0 1884 3694 2543 659 0 0 0 0
25.80/23.92 c 0 1632 3252 2291 659 0 0 0 0
25.80/23.92 c 0 1639 3264 2298 659 0 0 0 0
25.80/23.92 c 0 1890 3704 2549 659 0 0 0 0
25.80/23.92 c 0 1474 2936 2133 659 0 0 0 0
25.80/23.92 c 0 1896 3714 2555 659 0 0 0 0
25.80/23.92 c 0 1897 3714 2556 659 0 0 0 0
25.80/23.92 c 0 1649 3282 2308 659 0 0 0 0
25.80/23.92 c 0 1478 2942 2137 659 0 0 0 0
25.80/23.93 c 0 1916 3750 2575 659 0 c 0 0 00 1666 3314 2325 659 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1546 3042 2205 659 0 0 0 0
25.80/23.93 c 0 1917 3750 2576 659 0 0 0 0
25.80/23.93 c 0 1492 2968 2151 659 0 0 0 0
25.80/23.93 c 0 1554 3056 2213 659 0 0 0 0
25.80/23.93 c 0 1493 2968 2152 659 0 0 0 0
25.80/23.93 c 0 1922 3758 2581 659 0 0 0 0
25.80/23.93 c 0 1494 2968 2153 659 0 0 0 0
25.80/23.93 c 0 1555 3056 2214 659 0 0 0 0
25.80/23.93 c 0 1923 3758 2582 659 0 0 0 0
25.80/23.93 c 0 1560 3064 2219 659 0 0 0 0
25.80/23.93 c 0 1926 3762 2585 659 0 0 0 0
25.80/23.93 c 0 1496 2970 2155 659 0 0 0 0
25.80/23.93 c 0 1499 2974 2158 659 0 0 0 0
25.80/23.93 c 0 1935 3778 2594 659 0 0 0 0
25.80/23.93 c 0 1570 3082 2229 659 0 0 0 0
25.80/23.93 c 0 1571 3082 2230 659 0 0 0 0
25.80/23.93 c 0 1939 3784 2598 659 0 0 0 0
25.80/23.93 c 0 1503 2980 2162 659 0 0 0 0
25.80/23.93 c 0 1576 3090 2235 659 0 0 0 0
25.80/23.93 c 0 1945 3794 2604 659 0 0 0 0
25.80/23.93 c 0 1577 3090 2236 659 0 0 0 0
25.80/23.93 c 0 1946 3794 2605 659 0 0 0 0
25.80/23.93 c 0 1578 3090 2237 659 0 0 0 0
25.80/23.93 c 0 1580 3092 2239 659 0 0 0 0
25.80/23.93 c 0 1949 3798 2608 659 0 0 0 0
25.80/23.93 c 0 1581 3092 2240 659 0 0 0 0
25.80/23.93 c c 0 1950 3798 2609 659 0 0 0 0 0 1505
25.80/23.93 2982 2164 659 0 0 0 0
25.80/23.93 c 0 1584 3096 2243 659 0 0 0 0
25.80/23.93 c 0 1956 3808 2615 659 0 0 0 0
25.80/23.93 c 0 1508 2986 2167 659 0 0 0 0
25.80/23.93 c 0 1509 2986 2168 659 0 0 0 0
25.80/23.93 c 0 1958 3810 2617 659 0 c 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1667 3314 2326 659 0 0 0 0
25.80/23.93 c 0 1668 3314 2327 659 0 0 0 0
25.80/23.93 c 0 1961 3814 2620 659 0 0 0 0
25.80/23.93 c 0 1512 c 2990 0 1670 3316 21712329 659 659 0 0 0 0 0 c 0 0 0
25.80/23.93
25.80/23.93 0 1962 3814 2621 659 0 0 0 0
25.80/23.93 c 0 1996 3880 2655 659 0 0 0 0
25.80/23.93 c 0 1703 3380 2362 659 c 0 0 1538 3040 2197 659 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1716 3404 2375 659 0 0 0 0
25.80/23.93 c 0 2010 3906 2669 659 0 0 0 0
25.80/23.93 c 0 1544 3050 2203 659 0 0 0 0
25.80/23.93 c 0 1717 3404 2376 659 0 0 0 0
25.80/23.93 c 0 2011 3906 2670 659 0 0 0 0
25.80/23.93 c 0 1545 3050 2204 659 0 0 0 0
25.80/23.93 c 0 1719 3406 2378 659 0 0 0 0
25.80/23.93 c 0 2012 3906 2671 659 0 0 0 0
25.80/23.93 c 0 2013 3906 2672 659 0 0 0 0
25.80/23.93 c 0 1721 3408 2380 659 0 0 0 0
25.80/23.93 c 0 1547 3052 2206 659 0 0 0 0
25.80/23.93 c 0 1549 3054 c 2208 0 c 659 2018 0 0 3914 1726 26773416 2385 0 0 0659 6590 0 0 0 0 0 0 0
25.80/23.93
25.80/23.93 0 1588 3102 2247 659 0 0 0 0
25.80/23.93
25.80/23.93 c 0 1589 3102 2248 659 0 0 0 0
25.80/23.93 c 0 1595 3112 2254 659 0 0 0 0
25.80/23.93 c 0 1737 3436 2396 659 0 0 0 0
25.80/23.93 c 0 1596 3112 2255 659 0 0 0 0
25.80/23.93 c 0 1555 3064 2214 659 0 0 0 0
25.80/23.93 c 0 1738 3436 2397 659 0 0 0 0
25.80/23.93 c 0 1597 3112 2256 659 0 0 0 0
25.80/23.93 c 0 1739 3436 2398 659 0 0 0 0 c
25.80/23.93 0 1556 3064 2215 659 0 0 0 0
25.80/23.93 c 0 1598 3112 2257 659 0 0 0 0
25.80/23.93 c 0 1740 3436 2399 659 0 0 0 0
25.80/23.93 c 0 1557 3064 2216 659 0 0 0 0
25.80/23.93 c 0 1599 3112 2258 659 0 0 0 0
25.80/23.93 c 0 1743 3440 2402 659 0 0 0 0
25.80/23.93 c 0 1601 3114 2260 659 0 0 0 0
25.80/23.93 c 0 1560 3068 2219 659 0 0 0 0
25.80/23.93 c 0 1744 3440 2403 659 0 c 0 0 0 0 1602
25.80/23.93 3114 2261 659 0 0 0 0
25.80/23.93 c 0 1561 3068 2220 659 0 0 0 0
25.80/23.93 c 0 1752 3454 2411 659 0 0 0 0
25.80/23.93 c 0 1608 3124 2267 659 0 c 0 0 0 0
25.80/23.93 1566 3076 2225 659 0 0 0 0
25.80/23.93 c 0 1753 3454 2412 659 0 0 0 0
25.80/23.93 c 0 1767 3480 2426 659 0 0 0 0
25.80/23.93 c 0 1574 3090 2233 659 0 0 0 0
25.80/23.93 c 0 1619 3144 2278 659 0 0 0 0
25.80/23.93 c 0 1778 3500 2437 c 659 0 1578 3096 2237 0 659 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1627 3158 2286 659 0 0 0 0
25.80/23.93 c 0 1779 3500 2438 659 0 0 0 0
25.80/23.93 c c 0 01580 16283098 31582239 659 0 2287 659 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1780 3500 2439 659 0 0 0 0
25.80/23.93 c 0 1581 3098 c 2240 0 1629 659 3158 02288 659 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1634 3166 2293 659 0 0 0 0
25.80/23.93 c 0 1635 3166 2294 659 0 c 0 0 0
25.80/23.93 0 c 0 1788 3514 2447 659 0 0 0 0
25.80/23.93 c 0 1584 3102 2243 659 0 0 0 0
25.80/23.93 c 0 1636 3166 2295 659 0 0 0 0
25.80/23.93 c 0 1585 3102 2244 659 0 0 0 0
25.80/23.93 c 0 1637 3166 2296 659 0 0 0 0
25.80/23.93 c 0 1789 3514 2448 659 0 0 0 0
25.80/23.93 c 0 1586 3102 2245 659 0 0 0 0
25.80/23.93 c 0 1638 3166 2297 659 0 0 0 0
25.80/23.93 c 0 1790 3514 2449 659 0 0 0 0
25.80/23.93 c 0 1587 3102 2246 659 0 0 0 0
25.80/23.93 c 0 1639 3166 2298 659 0 0 0 0
25.80/23.93 c 0 1791 3514 2450 659 0 0 0 0
25.80/23.93 c 0 1643 3172 2302 659 0 0 0 0
25.80/23.93 c 0 1797 3524 2456 659 0 0 0 0
25.80/23.93 c 0 1644 3172 2303 659 0 0 0 0
25.80/23.93 c 0 1591 3108 2250 659 0 0 0 0
25.80/23.93 c 0 1595 c 3114 0 1652 3186 2311 659 2254 0 659 0 0 0 0 0 0 0
25.80/23.93 c 0 1807 3542 2466 659 0 0 0 0
25.80/23.93
25.80/23.93 c 0 1810 3546 2469 659 0 0 0 0 c 0 1598 3118 2257
25.80/23.93 c 659 0 0 0 0
25.80/23.93 01654 3188 2313 659 0 0 0 0
25.80/23.93 c 0 1812 3548 2471 659 0 0 0 0
25.80/23.93 c 0 1600 3120 2259 659 0 0 0 0c
25.80/23.93 01656 3190 2315 659 0 0 0 0
25.80/23.93 c 0 1813 3548 2472 659 0 0 0 0
25.80/23.93 c 0 1601 3120 2260 659 0 0 0 0
25.80/23.93 c 0 1657 3190 2316 659 0 0 0 0
25.80/23.93 c 0 1602 3120 2261 659 0 0 0 0
25.80/23.93 c 0 1658 3190 2317 659 0 0 0 0 c 0 1815 3550
25.80/23.93 2474 2019 3914 2678 659 0 0 0 0
25.80/23.93 c 0 1603 3120 2262 659 0 0 0 0
25.80/23.93 c 0 1659 3190 2318 659 0 0 0 0
25.80/23.93 c 0 2020 3914 2679 659 0 0 0 0 c 0 1604 3120
25.80/23.93 2263 659 0 0 0 0
25.80/23.93 c 0 1660 3190 2319 659 0 0 0 0
25.80/23.93 c 0 2021 3914 2680 659 0 0 0 0
25.80/23.93 c 0 1605 3120 2264 659 0 0 0 0
25.80/23.93 c 0 1661 3190 2320 659 0 0 0 0
25.80/23.93 c 0 1610 3128 2269 659 c 0 0 1666 3198 2325 659 0 0 0 0 0 0 0
25.80/23.93 659
25.80/23.93 0 c 0 2027 3924 2686 659 0 0 0 0
25.80/23.93 c 0 1611 3128 2270 659 0 0 0 0
25.80/23.93 c 0 1667 3198 2326 659 0 0 0 0
25.80/23.93 c 0 2028 3924 2687 659 0 0 0 0
25.80/23.93 c 0 2036 3938 2695 659 0 0 0 0
25.80/23.93 c 0 1677 3216 2336 659 0 0 0 0
25.80/23.93 c 0 2039 3942 2698 659 0 0 0 0
25.80/23.93 c 0 c 1618 0 1678 3140 3216 2277 659 23370 659 0 0 0 0 0 0 0
25.80/23.93
25.80/23.93 c 0 2040 3942 2699 659 0 0 0 0
25.80/23.93 c 0 2046 3952 2705 659 0 0 0 0
25.80/23.93 c 0 1681 3220 2340 659 0 0 0 0
25.80/23.93 c 0 1620 3142 2279 659 0 0 0 0
25.80/23.93 c 0 1684 3224 2343 659 0 0 0 0
25.80/23.93 c 0 1622 3144 2281 659 0 0 0 0
25.80/23.93 c 0 2054 3966 2713 659 0 0 0 0
25.80/23.93 c 0 1623 3144 2282 659 0 0 0 0
25.80/23.93 c 0 1686 3226 2345 659 0 0 0 0
25.80/23.93 c 0 1624 3144 2283 659 0 0 0 0
25.80/23.93 c 0 2055 3966 2714 659 0 0 0 0
25.80/23.93 c 0 1690 3232 2349 659 0 0 0 0
25.80/23.93 c 0 2058 3970 2717 659 0 0 0 0
25.80/23.93 c 0 1627 3148 2286 659 0 0 0 0
25.80/23.93 c 0 1691 3232 2350 659 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1816 3550 2475 659 0 0 0 0
25.80/23.93 c 0 1826 3568 2485 659 0 0 0 0
25.80/23.93 c 0 1697 3242 2356 659 0 0 0 0
25.80/23.93 c 0 1632 3156 2291 659 0 0 0 0
25.80/23.93 c 0 1841 3596 2500 659 0 0 0 0
25.80/23.93 c 0 1708 3262 2367 659 0 0 0 0
25.80/23.93 c 0 1640 3170 2299 659 0 0 0 0
25.80/23.93 c 0 1643 3174 2302 659 0 c 0 0 0 0 1712
25.80/23.93 3268 c 2371 0 659 20590 3970 2718 659 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 2060 3970 2719 659 0 0 0 0
25.80/23.93 c 0 1645 3176 2304 659 0 c 0 0 0
25.80/23.93 0 1713 3268 2372 659 0 0 0 0
25.80/23.93 c 0 2061 3970 2720 659 0 0 0 0
25.80/23.93 c 0 1646 3176 2305 659 0 0 0 0
25.80/23.93 c 0 1714 3268 2373 659 0 0 0 0
25.80/23.93 c 0 1647 3176 2306 659 0 0 0 0
25.80/23.93 c 0 1715 3268 2374 659 0 0 0 0
25.80/23.93 c 0 2063 3972 2722 659 0 0 0 0
25.80/23.93 c 0 2064 3972 2723 659 0 0 0 0 c
25.80/23.93 0 1649 3178 2308 659 0 0 0 0
25.80/23.93 c 0 1717 3270 2376 659 0 0 0 0
25.80/23.93 c 0 2071 3984 2730 659 0 0 0 0
25.80/23.93 c 0 1720 3274 2379 659 0 0 0 0 c 0 1655 3188 2314 c 659 0
25.80/23.93 0 c 0 1843 3598 2502 0 0 0659
25.80/23.93 0 0 0 0
25.80/23.93 c 0 1844 3598 2503 659 0 0 0 0
25.80/23.93 c 0 1728 3288 2387 659 0 0 0 0
25.80/23.93 c 0 1663 3202 2322 659 0 0 0 0
25.80/23.93 c 0 1858 3624 2517 659 0 0 0 0
25.80/23.93 c 0 1664 3202 2323 659 0 0 0 0
25.80/23.93 c 0 1730 3290 2389 659 0 0 0 0
25.80/23.93 c 0 1859 3624 2518 659 0 0 0 0
25.80/23.93 c 0 1666 3204 2325 659 0 0 0 0
25.80/23.93 c 0 1732 3292 2391 659 0 0 0 0
25.80/23.93 c 0 1667 3204 2326 659 0 0 0 0
25.80/23.93 c 0 1733 3292 2392 659 0 0 0 0
25.80/23.93 c 0 1861 3626 2520 659 0 0 0 0
25.80/23.93 c 0 1868 3638 2527 659 0 0 0 0
25.80/23.93 c 0 1744 3312 2403 659 0 0 0 0
25.80/23.93 c 0 1870 3640 2529 659 0 0 0 0
25.80/23.93 c 0 1745 3312 2404 659 0 0 0 0
25.80/23.93 c 0 1677 3222 2336 659 0 0 0 0
25.80/23.93 c 0 1750 3320 2409 659 0 0 0 0
25.80/23.93 2072 3984 2731 659 c 0 0 1873 3644 2532 659 0 0 00
25.80/23.93 c 0 1679 3224 2338 659 0 0 0 0
25.80/23.93 c c 0 0 2073 1751 39843320 2732 2410 659 0 659 0 0 0 0 c
25.80/23.93 0 0 00 0 0
25.80/23.93
25.80/23.93 c 0 1874 3644 2533 659 0 0 0 0
25.80/23.93 c 0 2081 3998 2740 659 0 0 0 0
25.80/23.93 c 0 1758 3332 2417 659 0 0 0 0
25.80/23.93 c 0 1877 3648 2536 659 0 0 0 0
25.80/23.93 c 0 1760 3334 2419 659 0 0 0 0
25.80/23.93 0 1680 3224 2339 659 0 c 0 0 0
25.80/23.93 0 c 0 2083 4000 2742 659 0 0 0 0
25.80/23.93 c 0 1681 3224 2340 659 0 0 0 0
25.80/23.93 c 0 1682 3224 2341 659 0 0 0 0
25.80/23.93 1878 3648 2537 659 0 0 0 0
25.80/23.93 c 0 1763 3338 2422 659 0 0 0 0
25.80/23.93 c 0 2085 4002 2744 659 0 0 0 0
25.80/23.93 c 0 1689 3236 2348 659 0 0 0 0
25.80/23.93 c 0 1767 3344 2426 659 0 0 0 0
25.80/23.93 c 0 2089 4008 2748 659 0 0 0 0
25.80/23.93 c 0 2091 4010 2750 659 0 0 0 0
25.80/23.93 c 0 1770 3348 2429 659 0 0 0 0
25.80/23.93 c 0 1691 3238 2350 659 0 0 0 0
25.80/23.93 c 0 2104 4034 2763 659 0 0 0 0
25.80/23.93 c 0 1701 3256 2360 659 0 c 0 1780 0 0 03366
25.80/23.93 2439 659 c 0 0 2105 4034 2764 659 0 0 0 0
25.80/23.93 c 0 1879 3648 2538 659 0 0 0 0
25.80/23.93 c 0 1880 3648 2539 659 0 0 0 0
25.80/23.93 c c 0 0 1703 17833258 33702362 2442659 659 0 0 0 0 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1882 3650 2541 659 0 0 0 0
25.80/23.93 c 0 1704 3258 2363 659 0 0 0 0
25.80/23.93 c 0 1784 3370 2443 659 0 0 0 0
25.80/23.93 c 0 1713 3274 2372 659 0 0 0 0
25.80/23.93 c 0 1885 3654 2544 659 0 0 0 0
25.80/23.93 c 0 1886 3654 2545 659 0 0 0 0
25.80/23.93 c 0 1714 3274 2373 659 0 c 0 0 0 01793 3386
25.80/23.93 2452 659 0 0 0 0
25.80/23.93 c 0 1887 3654 2546 659 0 0 0 0
25.80/23.93 c 0 1715 3274 2374 659 0 0 0 0
25.80/23.93 c 0 1888 3654 2547 659 0 0 0 0
25.80/23.93 c 0 1716 3274 2375 659 0 0 0 0
25.80/23.93 c 0 1794 3386 2453 659 0 0 0 0
25.80/23.93 c 0 1891 3658 2550 659 0 0 0 0
25.80/23.93 c 0 1797 3390 2456 659 0 0 0 0
25.80/23.93 c 0 1892 3658 2551 659 0 0 0 0
25.80/23.93 c 0 1798 3390 2457 659 0 c 0 0 00 1893 3658 2552 659 0
25.80/23.93 0 0 0
25.80/23.93 c 0 1719 3278 2378 659 0 0 0 0
25.80/23.93 c 0 2106 4034 2765 659 0 0 0 0
25.80/23.93 c 0 1801 3394 2460 659 0 0 0 0
25.80/23.93 c 0 1802 3394 2461 659 0 0 0 0
25.80/23.93 c 0 1722 3282 2381 659 0 0 0 0
25.80/23.93 c 0 2108 4036 2767 659 0 0 0 0
25.80/23.93 c 0 1805 3398 2464 659 0 0 0 0
25.80/23.93 c 0 1724 3284 2383 659 0 0 0 0
25.80/23.93 c 0 1725 3284 2384 659 0 0 0 0
25.80/23.93 c 0 2111 4040 2770 659 0 0 0 0
25.80/23.93 c 0 1726 3284 2385 659 0 0 0 0
25.80/23.93 c 0 1807 3400 2466 659 0 0 0 0
25.80/23.93 c 0 1731 3292 2390 c 659 0 02118 4052 2777 659 0 0 00
25.80/23.93 0 0 0
25.80/23.93 c 0 1810 3404 2469 659 0 0 0 0
25.80/23.93 c 0 1894 3658 2553 659 0 0 0 0
25.80/23.94 c 0 1737 3302 2396 659 0 0 0 0
25.80/23.94 c 0 1818 3418 2477 659 0 0 0 0
25.80/23.94 c 0 1900 3668 2559 659 0 0 0 0
25.80/23.94 c root propagations : 659
25.80/23.94 c 0 1738 3302 2397 659 0 0 0 0
25.80/23.94 c restarts enabled, print stats at every restarts
25.80/23.94 c
25.80/23.94 c
25.80/23.94 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.80/23.94 c 0 1743 3310 2402 659 0 0 0 0
25.80/23.94 c 0 1822 3424 2481 659 0 0 0 0
25.80/23.94 c 0 1903 3672 2562 659 0 0 0 0
25.80/23.94 c 0 1744 3310 2403 659 0 0 0 0
25.80/23.94 c 0 1823 3424 2482 659 0 0 0 0
25.80/23.94 c 0 1904 3672 2563 659 0 0 0 0
25.80/23.94 c 0 1745 3310 2404 659 0 0 0 0
25.80/23.94 c 0 1824 3424 2483 659 0 0 0 0
25.80/23.94 c 0 1905 3672 2564 659 0 0 0 0
25.80/23.94 c 0 1825 3424 2484 659 0 0 0 0
25.80/23.94 c 0 1906 3672 2565 659 0 0 0 0
25.80/23.94 c 0 1907 3672 2566 659 0 0 0 0
25.80/23.94 c 0 1908 3672 2567 659 0 0 0 0
25.80/23.94 c 0 1 320 660 659 0 0 0 0
25.80/23.94 c 0 1827 3426 2486 659 0 0 0 0
25.80/23.94 c 0 1911 3676 2570 659 0 0 0 0
25.80/23.94 c 0 1828 3426 2487 659 0 0 0 0
25.80/23.94 c 0 1747 3312 2406 659 0 0 0 0
25.80/23.94 c 0 3 322 662 659 0 0 0 0
25.80/23.94 c 0 8 330 667 659 0 0 0 0
25.80/23.94 c 0 1833 3434 2492 659 0 0 0 0
25.80/23.94 c 0 1750 3316 2409 659 0 0 0 0
25.80/23.94 c 0 1916 3684 2575 659 0 0 0 0
25.80/23.94 c 0 12 336 671 659 0 0 0 0
25.80/23.94 c 0 1918 3686 2577 659 0 0 0 0
25.80/23.94 c 0 1752 3318 2411 659 0 0 0 0
25.80/23.94 c 0 1836 3438 2495 659 0 0 0 0
25.80/23.94 c 0 19 348 678 659 0 0 0 0
25.80/23.94 c c 0 0 1754 3320 2413 659 0 1840 3444 2499 659 0 0 0 0
25.80/23.94 0 0 0
25.80/23.94 c 0 1924 3696 2583 659 0 0 0 0
25.80/23.94 c 0 1844 3450 2503 659 0 0 0 0
25.80/23.94 c 0 25 358 684 659 0 0 0 0
25.80/23.94 c 0 1926 3698 2585 659 0 0 0 0
25.80/23.94 c 0 27 360 686 659 0 0 0 0
25.80/23.94 c c 0 01757 3324 2416 659 0 1928 3700 2587 659 0 0 00 0 0 0
25.80/23.94
25.80/23.94 0 0 0
25.80/23.94 c 0 28 360 687 659 0 c 0 0 0
25.80/23.94 01846 3452 2505 659 0 0 0 0
25.80/23.94 c 0 1758 3324 2417 659 0 0 0 0
25.80/23.94 c 0 1847 3452 2506 659 0 0 0 0
25.80/23.94 c 0 2119 4052 2778 659 0 0 0 0
25.80/23.94 c 0 1929 3700 2588 659 0 0 0 0
25.80/23.94 c 0 1851 3458 2510 659 0 0 0 0
25.80/23.94 c 0 1932 3704 2591 659 0 0 0 0
25.80/23.94 c 0 1852 3458 2511 659 0 0 0 0
25.80/23.94 c 0 2124 4060 2783 659 0 0 0 0
25.80/23.94 c 0 1762 3330 2421 659 0 0 0 0
25.80/23.94 c 0 1854 3460 2513 659 0 c 0 0 0c 0
25.80/23.94 0 30 362 689 659 0 0 0 0
25.80/23.94 c 0 1935 3708 2594 659 0 0 0 0
25.80/23.94 c 0 31 362 690 659 0 0 0 0
25.80/23.94 c 0 1855 3460 2514 659 0 0 0 0
25.80/23.94 c 0 1936 3708 2595 659 0 0 0 0
25.80/23.94 2125 4060 2784 659 0 0 0 0
25.80/23.94 c 0 1764 3332 2423 659 0 0 0 0
25.80/23.94 c 0 2126 4060 2785 659 0 0 0 0
25.80/23.94 c 0 38 374 697 659 0 0 0 0
25.80/23.94 c 0 1940 3714 2599 659 0 0 0 0
25.80/23.94 c 0 2128 4062 2787 659 0 0 0 0
25.80/23.94 c 0 1767 3336 2426 659 0 c 0 0 0 01859 3466 2518 659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 2161 4126 2820 659 0 0 0 0
25.80/23.94 c 0 1787 3374 2446 659 0 0 0 0
25.80/23.94 c 0 1974 3780 2633 659 0 0 0 0
25.80/23.94 c c 0 1789 03376 2162 2448 4126 2821 659 659 0 00 0 0 0 0 0
25.80/23.94
25.80/23.94 c 0 1882 3510 2541 659 0 0 0 0
25.80/23.94 c 0 1791 3378 2450 659 0 0 0 0
25.80/23.94 c 0 2165 4130 2824 659 0 0 0 0
25.80/23.94 c 0 1883 3510 2542 659 0 c 0 0 0
25.80/23.94 c 0 1975 3780 2634 659 0 0 0 0
25.80/23.94 054 404 713 659 0 0 0 0
25.80/23.94 c 0 1890 3522 2549 659 0 0 0 0
25.80/23.94 c 0 1796 3386 2455 659 0 0 0 0
25.80/23.94 c 0 2172 4142 2831 659 0 0 0 0
25.80/23.94 c 0 1797 3386 2456 659 0 c 0 0 00 1891 3522 2550 659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 2173 4142 2832 659 0 0 0 0
25.80/23.94 c 0 1983 3794 2642 659 0 0 0 0
25.80/23.94 c 0 57 408 716 659 0 0 0 0
25.80/23.94 c 0 1985 3796 2644 659 0 0 0 0
25.80/23.94 c 0 59 410 718 659 0 0 0 0
25.80/23.94 c 0 2176 4146 2835 659 0 0 0 0
25.80/23.94 c 0 1896 3530 2555 659 0 0 0 0
25.80/23.94 c 0 1987 3798 2646 659 0 0 0 0
25.80/23.94 c 0 2177 4146 2836 659 0 0 0 0
25.80/23.94 c 0 61 412 720 659 0 0 0 0
25.80/23.94 c 0 1897 3530 2556 659 0 0 0 0
25.80/23.94 c 0 1799 3388 2458 659 0 0 0 0
25.80/23.94 c 0 1989 3800 2648 659 0 0 0 0 c 0
25.80/23.94 1898 3530 2557 659 0 c 0 0 0
25.80/23.94 01800 3388 2459 659 0 c 0 0 00 c 2179 0 4148 2838
25.80/23.94 63 659414 c 0 722 0 659 0 0 0
25.80/23.94 0 c 0 1801 3388 2460 659 0 0 0 0
25.80/23.94 0 0 0
25.80/23.94 c 0 2180 4148 2839 659 1990 0 3800 2649 659 0 0 0 0
25.80/23.94 c 0 1899 3530 2558 659 0 0 0 0
25.80/23.94 c c 0 1802 3388 2461 659 0 0 0 0
25.80/23.94 0 64 414 723 659 0 0 0 0
25.80/23.94 c 0 1900 3530 2559 659 0 0 0 0
25.80/23.94 c 0 75 434 c 734 0 2189 4164 659 2848 659 0 0 c 0 0 00 1810 0 0 0 3402
25.80/23.94
25.80/23.94 2469 659 0 0 0 0
25.80/23.94 c 0 76 434 735 659 0 0 0 0
25.80/23.94 c 0 1811 3402 2470 659 0 0 0 0
25.80/23.94 c 0 2190 4164 2849 659 0 0 0 0
25.80/23.94 c 0 1909 3546 2568 659 0 0 0 0
25.80/23.94 c 0 2193 4168 2852 659 0 0 0 0
25.80/23.94 c 0 1911 3548 2570 659 0 0 0 0
25.80/23.94 c 0 2194 4168 2853 659 0 0 0 0
25.80/23.94 c 0 1813 3404 2472 659 0 0 0 0
25.80/23.94 c 0 1814 3404 2473 659 0 0 0 0
25.80/23.94 c 0 2197 4172 2856 659 0 0 0 0
25.80/23.94 c 0 79 438 738 c 659 0 01915 3554 2574 659 0 0 0 0 0 0 0
25.80/23.94 c 0 1917 3556 2576 659 0 0 0 0
25.80/23.94 c 0 2200 4176 2859 659 0 0 0 0
25.80/23.94 c 0 1918 3556 2577 659 0 0 0 0
25.80/23.94 c 0 2201 4176 2860 659 0 0 0 0
25.80/23.94 c 0 1816 3406 2475 659 0 0 0 0
25.80/23.94
25.80/23.94 c 0 80 438 739 659 0 0 0 0
25.80/23.94 c 0 1923 3564 2582 659 0 0 0 0
25.80/23.94 c 0 2206 4184 2865 659 0 0 0 0
25.80/23.94 c 0 83 442 742 659 0 0 0 0
25.80/23.94 c 0 1819 3410 2478 659 0 0 0 0
25.80/23.94 c 0 1930 3576 2589 659 0 0 0 0
25.80/23.94 c 0 2212 4194 2871 659 0 0 0 0
25.80/23.94 c 0 88 450 747 659 0 c 0 2214 0 0 04196 2873
25.80/23.94 c 0 1932 3578 2591 659 0 0 0 0
25.80/23.94 659 0 0 0 0
25.80/23.94 c 0 89 450 748 659 0 0 0 0
25.80/23.94 c 0 2215 4196 2874 659 0 0 0 0
25.80/23.94 c 0 1823 3416 2482 659 0 0 0 0
25.80/23.94 c c 0 02222 c 19410 3594 95 2600 4208460 754 659 65928810 0 6590 0 0 0 0 00 0 0 0
25.80/23.94
25.80/23.94 c 0 1828 c 0 3424 2223 4208 2487 2882 659 0 6590 0 0 0 0 0 0
25.80/23.94
25.80/23.94 c 0 1942 3594 2601 659 0 0 0 0
25.80/23.94 c root propagations : 659
25.80/23.94 c restarts enabled, print stats at every restarts
25.80/23.94 0 0 0
25.80/23.94 c
25.80/23.94 c
25.80/23.94 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.80/23.94 c 0 1991 3800 2650 659 0 0 0 0
25.80/23.94
25.80/23.94 c 0 1945 3598 2604 659 0 0 0 0
25.80/23.94 c 0 c 96 460 755 0 6591993 0 3802 2652 659 0 0 00 c
25.80/23.94 0 0 0 0c 0 1946
25.80/23.94 3598 2605 659 0 0 0 0
25.80/23.94 c 0 2226 4212 2885 1830 659 0 3426 2489 0 0 0659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 1994 3802 2653 659 0 0 0 0
25.80/23.94 c 0 1947 3598 2606 659 0 0 0 0
25.80/23.94 c 0 1831 3426 2490 659 0 0 0 0
25.80/23.94 c 0 97 460 756 659 0 0 0 0
25.80/23.94 c 0 98 460 757 659 0 0 0 0
25.80/23.94 c 0 1 320 660 659 0 0 0 0
25.80/23.94 c 0 104 470 763 659 0 0 0 0
25.80/23.94 c 0 1955 3612 c 0 2233 2614 4224 2892 659 659 0 0 0 0 0 0 0 0
25.80/23.94
25.80/23.94 c 0 2003 3818 2662 659 0 c 0 1837 3436 2496 0 0 0659 0 0 0 0
25.80/23.94 c 0
25.80/23.94 3 324 665 659 0 0 0 0
25.80/23.94 c 0 2007 3824 2666 659 0 c 0 0 00 6 330
25.80/23.94 671 659 0 0 0 0
25.80/23.94 c 0 1961 3622 2620 659 0 0 0 0
25.80/23.94 c 0 110 480 769 659 0 0 0 0 c
25.80/23.94 0 1840 3440 2499 659 0 0 0 0
25.80/23.94 c 0 2238 4232 2897 659 0 0 0 0
25.80/23.94 c 0 2010 3828 2669 659 0 0 0 0
25.80/23.94 c c 0 8 0 c 1841 3440 2500 659 0 0 1963 3624 2622 659 0 0 0 0
25.80/23.94 c 0 112 482 771 659 0 0 0 00 0 0
25.80/23.94 c 0 2011 3828 2670 659 0 c 0 0 00 2239 4232 2898 659 0
25.80/23.94 334 c 0 1842 6760 0 03440 2501 659 659
25.80/23.94 0 0 0 0
25.80/23.94 c 0 1964 3624 2623 0 659 0 0 0 00 0 0
25.80/23.94 c
25.80/23.94 0 c 0 2240 4232 2899 659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 1965 3624 2624 c 659 0 0 2013 0 0 03830 2672 659 c 0 113 482 772 659 0
25.80/23.94 c 9 0 0 1843 3440 2502 334659 0 0 00677 659
25.80/23.94 0 0 0 0
25.80/23.94 c 0 2241 4232 2900 659 0 0 0 0
25.80/23.94 c 0 2014 3830 c 2673 659 0 0 1844 0 0 0 3440 2503 659
25.80/23.94 0 0 0 0
25.80/23.94 0 0 0
25.80/23.94 c 0 2242 4232 2901 659 0 c 0 0 00 1967 3626 2626 659 0 0 0 0
25.80/23.94 0 0 0
25.80/23.94 c c 0 0 2016 1845c 3832 0 3440 2675 10 2504 659 334 659 c 0 1968 3626 2627 659 0 0 0 0
25.80/23.94 c 0 2243 4232 2902 659 0 0 0 0
25.80/23.94 678 659 0
25.80/23.94 0 0 00
25.80/23.94 0 0 0c 0
25.80/23.94 c 0 11 334 679 659 0 0 0 0
25.80/23.94 0 c 0 2017 3832 2676 114 6594820 773 0 0 0659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 1846 3440 2505 659 0 0 0 00 0 0
25.80/23.94
25.80/23.94 c 0 2262 4268 2921 659 0 0 0 0
25.80/23.94 c 0 128 508 787 659 0 0 0 0
25.80/23.94 c 0 1861 3468 2520 659 0 0 0 0
25.80/23.94 c 0 1987 3662 2646 659 0 0 0 0
25.80/23.94 c 0 2263 4268 2922 659 0 0 0 0
25.80/23.94 c 0 2040 3876 2699 659 0 0 0 0
25.80/23.94 c 0 1862 3468 2521 659 0 0 0 0
25.80/23.94 c 0 2265 4270 2924 659 0 0 0 0
25.80/23.94 c 0 1988 3662 2647 659 0 0 0 0
25.80/23.94 c 0 1863 3468 2522 659 0 0 0 0
25.80/23.94 c 0 2266 4270 2925 659 0 0 0 0
25.80/23.94 c 0 2041 3876 2700 659 0 c 0 0 00 131
25.80/23.94 c 0 1991 3666 2650 659 0 0 0 0
25.80/23.94 c 0 25 362 696 659 0 c 0 0 0 c 0 2270 4276 2929 659 0 0 0 0
25.80/23.94 0 2042 3876 2701 659 0 0 0 0
25.80/23.94
25.80/23.94 512 790 659 0 0 0 0
25.80/23.94 c 0 132 512 791 659 0 0 0 0
25.80/23.94 c c 0 0 1997 3676 134 514 2656 793 659 6590 0 0 0 0c 0 2044 3878 2703 659 0 0 0 0 c 027 366 701 659 0 0 0 0
25.80/23.94
25.80/23.94
25.80/23.94 c 0 2276 4286 2935 659 0 0 0 00 0 0
25.80/23.94 c 0 1998 3676 2657 659 0 0 0 0
25.80/23.94 c 0 29 370 706
25.80/23.94 659 0 0 0 0
25.80/23.94 c 0 2277 4286 2936 659 0 0 0 0
25.80/23.94 c c 0 0 30 370 1999707 3676 659 0 2658 0 0 0659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 c 2278 0 4286 2937 31 659 370 0 708 659 0 0 0 0 c 0 0 0
25.80/23.94 c 0 2047 3882 2706 659 0
25.80/23.94 c 0 32 370 709 659 0 0 0 0
25.80/23.94 0135 514 794 659 0 c c 0 0 00 0 0 0 02000 c 1865 3470 0 2279 2524 4286 659 2938 659 3676 0
25.80/23.94 2659 659 0 0 0 0 0
25.80/23.94 0 0 00 0 0
25.80/23.94
25.80/23.94
25.80/23.94 c 0 2048 3882 2707 659 0 0 0 0
25.80/23.94 c c 0 02280 4286 2939 659 0 1866 3470 2525 659 0 0 0 0 0 0 0
25.80/23.94
25.80/23.94 c c 0 2002 3678 2661 0 659 1360 514 0 0 0 795
25.80/23.94 c 0 2049 3882 2708 659 0 0 0 0
25.80/23.94 659 0 0 0 0
25.80/23.94 c 0 2059 3900 2718 659 0 0 0 0
25.80/23.94 c 0 2288 4300 2947 659 0 c 0 0 0 01868 3472 2527 659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 140 c c 520 0 0 79935 2012 376 36966592671 0 715 659 6590 0 0 00 0 0 0 0 0 0
25.80/23.94
25.80/23.94
25.80/23.94 c 0 37 380 720 659 0 c 0 0 0 0 143 524 802 659
25.80/23.94 c 0 2291 4304 2950 659 c 0 0 2061 3902 2720 659 0 0 0 0 0 0 0 0 0 0 0
25.80/23.94
25.80/23.94
25.80/23.94 c 0 2062 3902 2721 659 0 0 0 0
25.80/23.94 c 0 2293 4306 2952 659 0 0 0 0
25.80/23.94 c 0 39 384 725 659 0 0 0 0
25.80/23.94 c 0 145 526 804 659 0 0 0 0
25.80/23.94 c 0 40 384 726 659 0 0 0 0
25.80/23.94 c 0 2294 4306 2953 659 0 0 0 0
25.80/23.94 c 0 2063 3902 2722 659 0 c 0 0 0
25.80/23.94 0 146 526 805 659 0 0 0 0
25.80/23.94 c 0 2014 3698 2673 659 0 0 0 0
25.80/23.94 c 0 1871 3476 2530 659 0 0 0 0
25.80/23.94 c 0 2299 4314 2958 659 0 0 0 0
25.80/23.94 c c 0 0 20661872 39063476 2531 2725 659 6590 00 0 0 0 0 0
25.80/23.94
25.80/23.94 c 0 150 532 809 659 0 0 0 0
25.80/23.94 c 0 2067 3906 2726 659 0 0 0 0
25.80/23.94 c 0 1874 3478 2533 659 0 c 0 0 0 0
25.80/23.94 151 532 810 c 0 2301 4316 2960 659 0 0 0 0
25.80/23.94 659 0 0 0 0
25.80/23.94 c 0 2017 3702 2676 659 0 0 0 0
25.80/23.94 c 0 44 392 733 659 0 0 0 0
25.80/23.94 c 0 2072 3914 2731 659 0 0 0 0
25.80/23.94 c 0 2309 4330 2968 659 0 0 0 0
25.80/23.94 c 0 2021 3708 2680 659 0 0 0 0
25.80/23.94 c 0 157 542 816 659 0 0 0 0
25.80/23.94 c 0 1876 3480 2535 659 0 0 0 0
25.80/23.94 c 0 49 402 741 659 0 0 0 0
25.80/23.94 c 0 1877 3480 2536 659 0 0 0 0
25.80/23.94 c 0 2311 4332 2970 659 0 0 0 0 c 0 159
25.80/23.94 544 818 c 659 0 c 0 2024 03712 2683 1878 3480 659 2537 659 0 0 0 0 0 0 0 0c 0 2076
25.80/23.94 3920 0 0 0
25.80/23.94
25.80/23.94 2735 659 0 0 0 0
25.80/23.94 c 0 2317 4342 2976 659 0 0 0 0
25.80/23.94 c 0 2026 3714 2685 659 0 0 0 0
25.80/23.94 c 0 2081 3928 2740 659 0 0 0 0
25.80/23.94 c 0 163 550 822 659 0 0 0 0
25.80/23.94 c 0 50 402 742 659 0 0 0 0
25.80/23.94 c 0 51 402 743 659 0 0 0 0
25.80/23.94 c 0 1881 3484 2540 659 0 0 0 0
25.80/23.94 c 0 2047 3754 2706 659 0 0 0 0
25.80/23.94 c 0 1889 3498 2548 659 0 0 0 0
25.80/23.94 c 0 64 428 759 659 0 0 0 0
25.80/23.94 c 0 2105 3974 2764 659 0 0 0 0
25.80/23.94 c 0 1890 3498 2549 659 0 0 0 0
25.80/23.94 c 0 65 428 760 659 0 0 0 0
25.80/23.94 c 0 2340 4386 2999 659 0 0 0 0
25.80/23.94 c 0 2048 3754 2707 659 0 0 0 0
25.80/23.94 c 0 2106 3974 2765 659 0 0 0 0
25.80/23.94 c 0 179 580 838 659 0 0 0 0
25.80/23.94 c 0 2065 3786 2724 659 0 0 0 0
25.80/23.94 c 0 2356 4416 3015 659 0 0 0 0
25.80/23.94 c 0 2119 3998 2778 659 0 0 0 0
25.80/23.94 c 0 1899 3514 2558 659 0 0 0 0
25.80/23.94 c 0 2066 3786 2725 659 0 0 0 0
25.80/23.94 c 0 183 586 842 659 0 0 0 0
25.80/23.94 c 0 72 442 770 659 0 0 0 0
25.80/23.94 c 0 2073 3798 2732 659 0 0 0 0
25.80/23.94 c 0 2367 4436 3026 659 0 0 0 0
25.80/23.94 c 0 2128 4014 2787 659 0 0 0 0
25.80/23.94 c c 0 0 187 2075 592 3800 846 2734 6590 6590 0 0 0
25.80/23.94 0 0 0
25.80/23.94 c 0 2368 4436 3027 659 0 0 0 0
25.80/23.94 c 0 2129 4014 2788 659 0 0 0 0
25.80/23.94 c c 0 76 450 0777 188659 0 592 847 659 0 0 0 0 0 0 0
25.80/23.94 c 0 2076 3800 2735 659 0 c 0 0 00 2369 4436 3028 659 0
25.80/23.94
25.80/23.94 0 0 0
25.80/23.94 c 0 2130 4014 2789 659 0 0 0 0
25.80/23.94 c 0 2077 3800 2736 659 0 0 0 0 c 0 1905 3524 2564 659
25.80/23.94 0 c 0 2131 4014 2790 659 0 0 0 0
25.80/23.94 c 0 190 594 849 659 0 0 0 0
25.80/23.94 c 0 78 454 782 659 0 0 0 0
25.80/23.94 c 0 2138 4026 2797 659 0 0 0 0
25.80/23.94 c 0 194 600 853 659 0 0 0 0
25.80/23.94 c 0 2139 4026 2798 659 0 0 0 0
25.80/23.94 c 0 0 0 02370 4436 3029 6590
25.80/23.94 0 0 0
25.80/23.94 c 0 2083 3810 2742 659 0 0 0 0
25.80/23.94 c c 0 1906 3524 2565 0 659 2371 0 4436 3030 659 0 0 0 0
25.80/23.94 0 0 0
25.80/23.94 c 0 83 464 790 659 0 0 0 0
25.80/23.94 c c 0 1908 3526 2567 659 0 00 0 0 2085 3812 2744 659 0
25.80/23.94 c 0 2372 4436 3031 659 0 0 0 0 0 0 0
25.80/23.94 c c 0 197 604 856 659 0
25.80/23.94 0 0 0
25.80/23.94 c 0 85 468 795 659 c 0 0 1911 3530 2570 0 0 0 659 0 c 0 0 0
25.80/23.94 0 2088 c 3816 2747 0 659 0 199
25.80/23.94 606 c 0 0 00 2375 4440 3034 858
25.80/23.94 6590 0 0 0 0
25.80/23.94 659 0 0 0 0
25.80/23.94 2142 4030 2801 659 0 0 0 0 c 0 200
25.80/23.94 c c 0 0 2089 3816 19142748 3534 659 2573 0 659 0 606 0 0 0
25.80/23.94 859 659 0 0 0 0
25.80/23.94 0 0 0c c 0 2376 4440 3035 659 0 c 0 0 0 0 201 606
25.80/23.94 860 659 c 0 0 0 0
25.80/23.94
25.80/23.94 c 0 0 1915 3534 21432574 4030 659 2802 0 c 659 0 0 0 00 2090 0 0 0 3816 2749 659
25.80/23.94 0
25.80/23.94 0 0 0
25.80/23.94 087 472 800 659 0 0 0 0
25.80/23.94 c 0 2380 c 4446 0 3039 2146 c 659 4034 0 2805 0659 2092 0 3818 2751 0 0 0659 0 0 0 0 0 0 0
25.80/23.94
25.80/23.94 c
25.80/23.94 0 c 88 c 4720 c 2381 801 c 0 4446 0 659c 2093 3040 002147 4034 204659 1918 2806 610 0 3818 659 863 2752 0 659 0 659 0 0 00 0 0 35380 0 0 0 0 2577 0 0 0659 0 0 0
25.80/23.94 0 0 0 0
25.80/23.94
25.80/23.94
25.80/23.94
25.80/23.94
25.80/23.94 c c 0 02150 4038 1921 c 3542 2580 659 c c 0 2384 4450 3043 659 0 0 0 0 0 00 0 02809 c 206 659 089 472 0 0 8022095 3820 0 0 02754 612 659 659865 0
25.80/23.94 0 0 0 0
25.80/23.94 659
25.80/23.94 0 0 0 0
25.80/23.94
25.80/23.94 c 0 1922 3542 2581 659 0 0 0 0 c 0 207
25.80/23.94 c 612 0 0 0
25.80/23.94 c 00 2096 2151 38204038 2810 2755 659659 0 0 0 0 00 0 0
25.80/23.94 c 866 0
25.80/23.94 2385 c 4450 0 90 472 3044 659 659 0 00 0 0 0 0 0
25.80/23.94
25.80/23.95 c root propagations : 659
25.80/23.95 c restarts enabled, print stats at every restarts
25.80/23.95 c
25.80/23.95 c
25.80/23.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.80/23.95 c 0 2108 3842 2767 659 0 0 0 0
25.80/23.95 c c 0 0 803 659 0 2163 4060 2822 659 0 0 0 0 0 0 0
25.80/23.95
25.80/23.95 c 0 1929 3554 2588 659 0 0 0 0
25.80/23.95 c 0 91 472 804 659 0 0 0 0
25.80/23.95 c 0 2398 4474 3057 659 0 0 0 0
25.80/23.95 c 0 1 320 660 659 0 0 0 0
25.80/23.95 c 0 6 328 665 659 0 0 0 0
25.80/23.95 c 0 2168 4068 2827 659 0 0 0 0
25.80/23.95 c 0 2409 4494 3068 659 0 0 0 0
25.80/23.95 c 0 2118 3860 2777 659 0 0 0 0
25.80/23.95 c 0 7 328 666 659 0 0 0 0
25.80/23.95 c 0 2169 4068 2828 659 0 0 0 0
25.80/23.95 c 0 97 484 813 659 0 0 0 0
25.80/23.95 c 0 2410 4494 3069 659 0 0 0 0
25.80/23.95 c 0 13 338 672 659 0 c 0 0 0 0
25.80/23.95 2122 c 0 1937 3568 2596 659 0 0 0 0
25.80/23.95 3866 2781 659 0 0 0 0
25.80/23.95 c 0 2413 4498 3072 659 0 0 0 0
25.80/23.95 c 0 14 338 673 659 0 0 0 0
25.80/23.95 c 0 c 2171 0 4070 2830 2123659 3866 0 2782 659 0 0 0 0
25.80/23.95 0 0 0
25.80/23.95 c 0 1938 3568 2597 659 0 0 0 0
25.80/23.95 c 0 100 490 819 659 0 0 0 0
25.80/23.95 c 0 101 490 820 659 c 0 0 1941 3572 2600 0 0 0 659
25.80/23.95 0 c 0 25 358 684 c 0 2422 4514 3081 659 0 0 0 0 0 0 0
25.80/23.95 213 659 0 622
25.80/23.95 872 659 0 c 0 0 0 0 2175
25.80/23.95 0 0 0
25.80/23.95 4076 2834 659 0 0 0 0
25.80/23.95 c 0 2132 3882 2791 659 0 0 0 0
25.80/23.95 c 0 2134 3884 2793 659 0 0 0 0
25.80/23.95 c 0 2427 4522 3086 659 0 0 0 0
25.80/23.95 c 0 1945 3578 2604 659 0 0 0 0
25.80/23.95 c 0 27 360 686 659 0 0 0 0
25.80/23.95 c 0 2179 4082 2838 659 0 0 0 0
25.80/23.95 c 0 105 498 827 659 0 0 0 0
25.80/23.95 c 0 32 c 368 c 0 2142 3898 0 28012433 659 0 4532 3092 659 0 691 0 0 0 0 0 0659
25.80/23.95 0 0 0 0 c
25.80/23.95
25.80/23.95 0 2183 4088 2842 659 0 c 0 0 0
25.80/23.95 02434 4532 3093 659 0 0 0 0
25.80/23.95 c 0 1950 3586 2609 659 0 0 0 0
25.80/23.95 c 0 33 368 692 659 0 0 0 0
25.80/23.95 c 0 2435 4532 3094 659 0 0 0 0
25.80/23.95 c c 0 2184 040882843 2143 6593898 02802 659 0 0 0 0
25.80/23.95 0 0 0
25.80/23.95 c 0 110 508 835 659 0 0 0 0
25.80/23.95 c 0 2456 4572 3115 659 0 0 0 0
25.80/23.95 c 0 2204 4126 2863 659 0 0 0 0
25.80/23.95 c 0 1963 3610 2622 659 0 0 0 0
25.80/23.95 c 0 2163 3936 2822 659 0 0 0 0
25.80/23.95 c c 0 0 2457 4572 3116 659 0 0 0 0
25.80/23.95 47 394 706 659 0 0 0 0
25.80/23.95 c c 0 2206 4128 2865 c 659 0 0 01965124 0 0 03612 536 2624 659 0 0 0 0
25.80/23.95 852 659 0 0 0 0
25.80/23.95 c 0
25.80/23.95 2458 4572 3117 659 0 0 0 0
25.80/23.95 c 0 1966 3612 2625 659 0 0 0 0
25.80/23.95 c 0 2207 4128 2866 659 0 0 0 0
25.80/23.95 c 0 2164 3936 2823 659 0 0 0 0
25.80/23.95 c 0 125 536 853 659 0 0 0 0
25.80/23.95 c 0 48 394 707 659 0 0 0 0
25.80/23.95 c 0 128 542 859 659 0 0 0 0
25.80/23.95 c 0 2213 4138 2872 659 0 0 0 0
25.80/23.95 c 0 2168 3942 2827 659 0 0 0 0
25.80/23.95 c 0 2466 4586 3125 659 0 0 0 0
25.80/23.95 c 0 1973 3624 2632 659 0 0 0 0
25.80/23.95 c 0 51 398 710 659 0 0 0 0
25.80/23.95 c 0 2231 4172 2890 659 0 c c 0 2485 0 0 0c 4622 0 31440 2187
25.80/23.95 64 422 723 659 0 3978 0 0 0
25.80/23.95 2846 659 0 659 0 0 0 0
25.80/23.95 0 0 0
25.80/23.95 c 0 143 572 877 659 0 0 0 0
25.80/23.95 c c 0 65 422 0 724 2232 659 4172 0 2891 659 0 0 0 0
25.80/23.95 0 0 0
25.80/23.95 c 0 2188 3978 2847 659 0 c 0 1983 0 0 03642 c
25.80/23.95 2642 659 0 0 0 0 0
25.80/23.95 2486 4622 3145 659 0 0 0 0
25.80/23.95 c 0 2216 4032 2875 659 0 c 0 2523 4694 0 0 0
25.80/23.95 c 0 2269 4244 2928 659 c 0 3182 0 0 0659 0
25.80/23.95 00 0 0c
25.80/23.95 c 0 2010 3694 2669 659 0 0 0 0
25.80/23.95 0 85 460 744 659 0 0 0 0
25.80/23.95 c 0 214 622 873 659 0 0 0 0
25.80/23.95 c 0 2217 4032 2876 659 0 0 0 0
25.80/23.95 c 0 2011 3694 2670 659 0 0 0 0 c 0
25.80/23.95 2270 c 0 86 460 745 659 0 4244 2929 0 0 0 659 0 0 0 0
25.80/23.95
25.80/23.95 c 0 2524 4694 3183 659 0 0 0 0
25.80/23.95 c 0 2281 4264 2940 659 0 0 0 0
25.80/23.95 c 0 2225 4046 2884 659 0 0 0 0
25.80/23.95 c 0 219 630 878 659 0 0 0 0
25.80/23.95 c 0 90 466 749 659 0 0 0 0
25.80/23.95 c 0 2535 4714 3194 659 0 0 0 0
25.80/23.95 c 0 2226 4046 2885 659 0 0 0 0
25.80/23.95 c 0 2282 4264 2941 659 0 0 0 0
25.80/23.95 c 0 2023 3716 2682 659 0 0 0 0
25.80/23.95 c 0 2553 4748 3212 659 0 0 0 0
25.80/23.95 c c 0 0 98 480 757 659 c 2298 4294 c 0 0 2957 0 234 659 2242 658 0 0 00 4076
25.80/23.95 2901 0 0 0 893659
25.80/23.95 659 162 0 610 899 659 0 0 0 00 0 0 0
25.80/23.95 0 0 0
25.80/23.95
25.80/23.95 c 0 2554 4748 3213 659 0 0 0 0
25.80/23.95 c 0 2034 3736 2693 659 0 0 0 0
25.80/23.95 c 0 2243 4076 2902 659 0 0 0 0
25.80/23.95 c 0 2556 4750 3215 659 0 c 0 0 0 0 2301 4298 2960 c 659 0 0 2244
25.80/23.95 c c 0 0 0 0
25.80/23.95 163 c 0 236 610660 9000895 659 0 20350 0 03736
25.80/23.95 4076 2903 659 0 0 0 0 2694
25.80/23.95 659 0 0 0 0
25.80/23.95 c 0 99 480 758 659 0 0 0 0
25.80/23.95 c 0 2307 4308 2966 659 0 0 0 0
25.80/23.95 c 0 2248 4082 2907 659 0 0 0 0
25.80/23.95 c 0 239 664 898 659 0 c 0 0 0
25.80/23.95 c 0 2308 4308 2967 659 0 0 0 0
25.80/23.95 0 2560 4756 3219 659 0 0 0 0
25.80/23.95 c 0 101 482 760 659 0 0 0 0
25.80/23.95 c 0 2038 3740 2697 659 0 0 0 0
25.80/23.95 c 0 2318 4326 2977 659 0 0 0 0
25.80/23.95 c 0 2567 4768 3226 659 0 0 0 0
25.80/23.95 c 0 104 486 763 659 0 0 0 0
25.80/23.95 c 0 2254 4092 2913 659 0 0 0 0
25.80/23.95 c 0 2042 3746 2701 659 0 0 0 0
25.80/23.95 c 0 244 672 903 659 0 0 0 0
25.80/23.95 c root propagations : 659
25.80/23.95 c restarts enabled, print stats at every restarts
25.80/23.95 c
25.80/23.95 c
25.80/23.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
25.80/23.96 659 0 0 0 0
25.80/23.96 c 0 164 610 901 659 0 0 0 0
25.80/23.98 c First solution is found
25.80/24.00 c First solution is found
25.80/24.00 c First solution is found
25.80/24.01 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 3.
25.80/24.01 c [pFactory][Group N°0] Thread N°0 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°1 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°2 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°3 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°4 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°5 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°6 is joined.
25.80/24.01 c [pFactory][Group N°0] Thread N°7 is joined.
25.80/24.01 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°7)
25.80/24.01 s SATISFIABLE
25.80/24.01 c restarts : 0
25.80/24.01 c conflicts : 23 (1 /sec)
25.80/24.01 c decisions : 877 (34 /sec)
25.80/24.01 c propagations : 3682 (143 /sec)
25.80/24.01 c root propagations : 659
25.80/24.01 c filter calls : 3117 (121 /sec)
25.80/24.01 c useless filter calls : 2392 (76 %)
25.80/24.01 c Memory used : 1547.53 MB
25.80/24.01 c CPU time : 25.6617 s
25.80/24.01 c real time : 24.0068 s
25.80/24.01
25.80/24.01 c solution 1
25.80/24.01
25.80/24.01 v <instantiation type='solution'>
25.80/24.01 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.80/24.01 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.80/24.01 v </instantiation>
25.80/24.01
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 (14313 MiB free)
memory of node 1: 16384 MiB (15038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397942-1568606183/watcher-4397942-1568606183 -o /tmp/evaluation-result-4397942-1568606183/solver-4397942-1568606183 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397942-1568606183.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=20593, runsolver pid=20590
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 8.26 8.41 8.29 2/195 20594
/proc/meminfo: memFree=30049608/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=36780 memory=12896 CPUtime=0.1 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 3421 0 0 0 10 0 0 0 20 0 1 0 436868878 37662720 3224 33554432000 4194304 6211092 140737305751200 140737305747736 5812042 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 9195 3224 812 493 0 2500 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36780 KiB
Current children cumulated memory: 12896 KiB
[startup+0.209467 s]*
/proc/loadavg: 8.26 8.41 8.29 2/195 20594
/proc/meminfo: memFree=30045144/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=39268 memory=15536 CPUtime=0.2 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 4049 0 0 0 20 0 0 0 20 0 1 0 436868878 40210432 3884 33554432000 4194304 6211092 140737305751200 140737305747736 5818401 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 9817 3884 812 493 0 3122 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 15536 KiB
[startup+0.309226 s]*
/proc/loadavg: 8.26 8.41 8.29 2/195 20594
/proc/meminfo: memFree=30042540/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=41952 memory=18176 CPUtime=0.3 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 4717 0 0 0 30 0 0 0 20 0 1 0 436868878 42958848 4544 33554432000 4194304 6211092 140737305751200 140737305747736 5818420 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 10488 4544 812 493 0 3793 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41952 KiB
Current children cumulated memory: 18176 KiB
[startup+0.700385 s]
/proc/loadavg: 8.26 8.41 8.29 2/195 20594
/proc/meminfo: memFree=30041424/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=61320 memory=37216 CPUtime=0.69 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 9640 0 0 0 68 1 0 0 20 0 1 0 436868878 62791680 9304 33554432000 4194304 6211092 140737305751200 140737305747736 5818592 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 15330 9304 812 493 0 8635 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61320 KiB
Current children cumulated memory: 37216 KiB
[startup+1.50028 s]
/proc/loadavg: 8.26 8.41 8.29 2/195 20594
/proc/meminfo: memFree=30023092/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=86784 memory=61500 CPUtime=1.49 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 15769 0 0 0 147 2 0 0 20 0 1 0 436868878 88866816 15375 33554432000 4194304 6211092 140737305751200 140737305747736 5287165 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 21696 15375 812 493 0 15001 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 86784 KiB
Current children cumulated memory: 61500 KiB
[startup+3.10939 s]
/proc/loadavg: 8.26 8.41 8.29 2/195 20594
/proc/meminfo: memFree=29933440/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=153124 memory=126984 CPUtime=3.1 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 32870 0 0 0 306 4 0 0 20 0 1 0 436868878 156798976 31746 33554432000 4194304 6211092 140737305751200 140737305748472 5814061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 38281 31746 812 493 0 31586 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 153124 KiB
Current children cumulated memory: 126984 KiB
[startup+6.30026 s]
/proc/loadavg: 7.68 8.29 8.25 2/195 20594
/proc/meminfo: memFree=29845980/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=244780 memory=216804 CPUtime=6.29 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 57266 0 0 0 622 7 0 0 20 0 1 0 436868878 250654720 54201 33554432000 4194304 6211092 140737305751200 140737305748472 140210040437733 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 61195 54201 816 493 0 54500 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 244780 KiB
Current children cumulated memory: 216804 KiB
[startup+12.7003 s]
/proc/loadavg: 7.14 8.16 8.21 2/195 20594
/proc/meminfo: memFree=29583208/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=510164 memory=478648 CPUtime=12.69 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 129252 0 0 0 1253 16 0 0 20 0 1 0 436868878 522407936 119662 33554432000 4194304 6211092 140737305751200 140737305748472 5818626 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 127541 119662 816 493 0 120846 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 510164 KiB
Current children cumulated memory: 478648 KiB
[startup+24.0727 s]
# the end of solver process 20593 was just reported to runsolver
# cumulated CPU time of all completed processes: user=25.6626 s, system=0.961759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 7.14 8.16 8.21 2/195 20594
/proc/meminfo: memFree=29583208/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=510164 memory=478648 CPUtime=12.79 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 129275 0 0 0 1263 16 0 0 20 0 1 0 436868878 522407936 119662 33554432000 4194304 6211092 140737305751200 140737305748472 5817729 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 127541 119662 816 493 0 120846 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 510164 KiB
Current children cumulated memory: 478648 KiB
[startup+19.2003 s]
/proc/loadavg: 6.65 8.05 8.17 2/195 20594
/proc/meminfo: memFree=29418592/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=677668 memory=644464 CPUtime=19.18 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 170618 0 0 0 1897 21 0 0 20 0 1 0 436868878 693932032 161116 33554432000 4194304 6211092 140737305751200 140737305748472 5818389 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 169417 161116 816 493 0 162722 0
Current children cumulated CPU time: 19.18 s
Current children cumulated vsize: 677668 KiB
Current children cumulated memory: 644464 KiB
[startup+22.4002 s]
/proc/loadavg: 6.20 7.93 8.13 2/195 20594
/proc/meminfo: memFree=29125292/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=974096 memory=935192 CPUtime=22.39 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 242882 0 0 0 2208 31 0 0 20 0 1 0 436868878 997474304 233798 33554432000 4194304 6211092 140737305751200 140737305746856 5818420 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 243524 233798 816 493 0 236829 0
Current children cumulated CPU time: 22.39 s
Current children cumulated vsize: 974096 KiB
Current children cumulated memory: 935192 KiB
[startup+23.2002 s]
/proc/loadavg: 6.20 7.93 8.13 2/195 20594
/proc/meminfo: memFree=29125292/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=974096 memory=935192 CPUtime=23.19 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 242895 0 0 0 2288 31 0 0 20 0 1 0 436868878 997474304 233798 33554432000 4194304 6211092 140737305751200 140737305748472 140210056500352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 243524 233798 816 493 0 236829 0
Current children cumulated CPU time: 23.19 s
Current children cumulated vsize: 974096 KiB
Current children cumulated memory: 935192 KiB
[startup+23.6004 s]
/proc/loadavg: 6.20 7.93 8.13 2/195 20594
/proc/meminfo: memFree=29125292/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=1003268 memory=964064 CPUtime=23.58 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 258250 0 0 0 2327 31 0 0 20 0 1 0 436868878 1027346432 241016 33554432000 4194304 6211092 140737305751200 140737305748472 5046084 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 250817 241016 818 493 0 244122 0
Current children cumulated CPU time: 23.58 s
Current children cumulated vsize: 1003268 KiB
Current children cumulated memory: 964064 KiB
[startup+24.0028 s]*
/proc/loadavg: 6.20 7.93 8.13 7/201 20602
/proc/meminfo: memFree=29053168/32770624 swapFree=66917044/67108860
[pid=20593] ppid=20590 vsize=1584668 memory=1010936 CPUtime=26.56 cores=0-7
/proc/20593/stat : 20593 (cosoco) R 20590 20593 19091 0 -1 4202496 387554 0 0 0 2566 90 0 0 20 0 1 0 436868878 1622700032 252734 33554432000 4194304 6211092 140737305751200 140737305749456 140210040876157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14520320 140737305752593 140737305752685 140737305752685 140737305755598 0
/proc/20593/statm: 396167 252734 871 493 0 389472 0
Current children cumulated CPU time: 26.56 s
Current children cumulated vsize: 1584668 KiB
Current children cumulated memory: 1010936 KiB
Child status: 0
Real time (s): 24.0727
CPU time (s): 26.6243
CPU user time (s): 25.6626
CPU system time (s): 0.961759
CPU usage (%): 110.6
Max. virtual memory (cumulated for all children) (KiB): 1617452
Max. memory (cumulated for all children) (KiB): 1010936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6626
system time used= 0.961759
maximum resident set size= 1010960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387565
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= 5115
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 20593
# total CPU time (s): 26.6243
# total CPU user time (s): 25.6626
# total CPU system time (s): 0.961759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102824 second user time and 0.230545 second system time
The end
Begin job on node134 at 2019-09-16 05:55:42
IDJOB=4397942
IDBENCH=134028
IDSOLVER=2851
FILE ID=node134/4397942-1568606183
RUNJOBID= node134-1568597901-19118
PBS_JOBID= 21703415
Free space on /tmp= 59556 MiB
SOLVER NAME= cosoco 2.O 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-4397942-1568606183/watcher-4397942-1568606183 -o /tmp/evaluation-result-4397942-1568606183/solver-4397942-1568606183 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397942-1568606183.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=695312864
node134.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.76
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.76
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.76
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.76
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: 30057028 kB
MemAvailable: 31783976 kB
Buffers: 205624 kB
Cached: 1795904 kB
SwapCached: 90384 kB
Active: 648748 kB
Inactive: 1445768 kB
Active(anon): 3312 kB
Inactive(anon): 138064 kB
Active(file): 645436 kB
Inactive(file): 1307704 kB
Unevictable: 108520 kB
Mlocked: 108520 kB
SwapTotal: 67108860 kB
SwapFree: 66917044 kB
Dirty: 49752 kB
Writeback: 52 kB
AnonPages: 112360 kB
Mapped: 47012 kB
Shmem: 39652 kB
Slab: 209428 kB
SReclaimable: 179288 kB
SUnreclaim: 30140 kB
KernelStack: 3616 kB
PageTables: 5280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 59552 MiB
End job on node134 at 2019-09-16 05:56:06