Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0.6-R5325 (opt) | SAT (TO) | 212 | 1800.04 | 1800.41 |
Name | /OPT-SMALLINT-LIN/ kullmann/normalized-mul_8_9_shg.opb |
MD5SUM | 0476e702136eda2e813dad2792abe9ac |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 48 |
Best CPU time to get the best result obtained on this benchmark | 1790.38 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7840 |
Total number of constraints | 65280 |
Number of constraints which are clauses | 65280 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 34 |
Maximum length of a constraint | 64 |
Number of terms in the objective function | 7840 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7840 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7840 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...221667/instance-3709507-1338221667.opb 0.00/0.67 c Solving... 0.00/1.24 o 1397 0.00/1.24 o 1152 0.00/1.24 o 1145 0.00/1.24 o 1138 0.00/1.24 o 1131 0.00/1.24 o 1130 0.00/1.24 o 1128 0.00/1.36 o 856 1.59/1.63 o 812 2.18/2.29 o 633 2.38/2.42 o 600 2.78/2.84 o 472 4.89/4.91 o 444 4.98/5.08 o 440 9.18/9.25 o 401 9.28/9.32 o 370 9.28/9.37 o 365 66.93/67.00 o 364 86.53/86.65 o 362 166.31/166.42 o 327 279.39/279.51 o 291 651.12/651.34 o 285 665.83/666.04 o 284 665.92/666.17 o 280 1371.59/1371.91 o 260 1375.29/1375.65 o 212 1800.03/1800.40 1800.03/1800.40 *** INTERRUPTED! *** 1800.03/1800.40 c Answer: 26 1800.03/1800.40 v x1 x2 x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 -x18 1800.03/1800.40 v -x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 1800.03/1800.40 v -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 1800.03/1800.40 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 x59 -x60 x61 x62 x63 -x64 1800.03/1800.40 v -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 1800.03/1800.40 v -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 x91 -x92 -x93 x94 1800.03/1800.40 v x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.03/1800.40 v x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1800.03/1800.40 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1800.03/1800.40 v x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1800.03/1800.40 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 1800.03/1800.40 v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1800.03/1800.40 v -x169 -x170 -x171 -x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.03/1800.40 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.03/1800.40 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1800.03/1800.40 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 1800.03/1800.40 v x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 1800.03/1800.40 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 1800.03/1800.40 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 1800.03/1800.40 v -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 1800.03/1800.40 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1800.40 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1800.03/1800.40 v -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 1800.03/1800.40 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.03/1800.40 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 1800.03/1800.40 v x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.03/1800.40 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1800.03/1800.40 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.03/1800.40 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 1800.03/1800.40 v -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.03/1800.40 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.03/1800.40 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1800.03/1800.40 v -x412 -x413 -x414 -x415 x416 x417 x418 -x419 x420 -x421 -x422 -x423 -x424 1800.03/1800.40 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 1800.03/1800.40 v x437 -x438 x439 x440 x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.03/1800.40 v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.03/1800.40 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 1800.03/1800.40 v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1800.03/1800.40 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 1800.03/1800.40 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.03/1800.40 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 1800.03/1800.40 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.03/1800.40 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.03/1800.40 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 1800.03/1800.40 v -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1800.03/1800.40 v -x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 1800.03/1800.40 v -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.03/1800.40 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 1800.03/1800.40 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1800.03/1800.40 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.03/1800.40 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 1800.03/1800.40 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.03/1800.40 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 1800.03/1800.40 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.03/1800.40 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1800.03/1800.40 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 1800.03/1800.40 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.03/1800.40 v x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 1800.03/1800.40 v -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1800.03/1800.40 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 1800.03/1800.40 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 1800.03/1800.40 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1800.03/1800.40 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.03/1800.40 v -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1800.03/1800.40 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 1800.03/1800.40 v -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1800.03/1800.40 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1800.03/1800.40 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 1800.03/1800.40 v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1800.03/1800.40 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1800.03/1800.40 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1800.03/1800.40 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1800.03/1800.40 v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 1800.03/1800.40 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 1800.03/1800.40 v x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.03/1800.40 v -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 1800.03/1800.40 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1800.03/1800.40 v -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1800.03/1800.40 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 1800.03/1800.40 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.03/1800.40 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 1800.03/1800.40 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.03/1800.40 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.03/1800.40 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.03/1800.40 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.03/1800.40 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.03/1800.40 v -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1800.03/1800.40 v -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.03/1800.40 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.03/1800.40 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1800.03/1800.40 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1800.03/1800.40 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.03/1800.40 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 1800.03/1800.40 v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.03/1800.40 v -x1148 -x1149 -x1150 x1151 x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 1800.03/1800.40 v x1159 -x1160 x1161 x1162 x1163 -x1164 x1165 x1166 -x1167 -x1168 -x1169 1800.03/1800.40 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.03/1800.40 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1800.03/1800.40 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 1800.03/1800.40 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.03/1800.40 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.03/1800.40 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.03/1800.40 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.03/1800.40 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1800.03/1800.40 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.03/1800.40 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1800.03/1800.40 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.03/1800.40 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 1800.03/1800.40 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.03/1800.40 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 1800.03/1800.40 v -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.03/1800.40 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.03/1800.40 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.03/1800.40 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 1800.03/1800.40 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1800.03/1800.40 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.03/1800.40 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.03/1800.40 v x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.03/1800.40 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.03/1800.40 v -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.03/1800.40 v -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1800.03/1800.40 v -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.03/1800.40 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.03/1800.40 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.03/1800.40 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.03/1800.40 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.03/1800.40 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1800.03/1800.40 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.03/1800.40 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.03/1800.40 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.03/1800.40 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.03/1800.40 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.03/1800.40 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1800.03/1800.40 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.03/1800.40 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.03/1800.40 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1800.03/1800.40 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.03/1800.40 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.03/1800.40 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.03/1800.40 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.03/1800.40 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.03/1800.40 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.03/1800.40 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.03/1800.40 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.03/1800.40 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 1800.03/1800.40 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.03/1800.40 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.03/1800.40 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.03/1800.40 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.03/1800.40 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 1800.03/1800.40 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.03/1800.40 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.03/1800.40 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.03/1800.40 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.03/1800.40 v -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.03/1800.40 v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.03/1800.40 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.03/1800.40 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1800.03/1800.40 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.03/1800.40 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 x1873 1800.03/1800.40 v x1874 x1875 -x1876 x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 x1884 1800.03/1800.40 v -x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.03/1800.40 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.03/1800.40 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.03/1800.40 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1800.03/1800.40 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.03/1800.40 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1800.03/1800.40 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 1800.03/1800.40 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.03/1800.40 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.03/1800.40 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.03/1800.40 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 1800.03/1800.40 v x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.03/1800.40 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.03/1800.40 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.03/1800.40 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 x2049 1800.03/1800.40 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.03/1800.40 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1800.03/1800.40 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.03/1800.40 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.03/1800.40 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 1800.03/1800.40 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.03/1800.40 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.03/1800.40 v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.03/1800.40 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 1800.03/1800.40 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.03/1800.40 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1800.03/1800.40 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.03/1800.40 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.03/1800.40 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.03/1800.40 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 1800.03/1800.40 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.03/1800.40 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.03/1800.40 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.03/1800.40 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1800.03/1800.40 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.03/1800.40 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.03/1800.40 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 1800.03/1800.40 v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.03/1800.40 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1800.03/1800.40 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 1800.03/1800.40 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.03/1800.40 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.03/1800.40 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.03/1800.40 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1800.03/1800.40 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.03/1800.40 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.03/1800.40 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.03/1800.40 v x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1800.03/1800.40 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.03/1800.40 v -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.03/1800.40 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.03/1800.40 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1800.03/1800.40 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.03/1800.40 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.03/1800.40 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.03/1800.40 v -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1800.03/1800.40 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.03/1800.40 v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1800.03/1800.40 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.03/1800.40 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.03/1800.40 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.03/1800.40 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1800.03/1800.40 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.03/1800.40 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.03/1800.40 v -x2589 -x2590 -x2591 -x2592 x2593 x2594 x2595 x2596 x2597 x2598 x2599 -x2600 1800.03/1800.40 v -x2601 -x2602 x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.03/1800.40 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.03/1800.40 v -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1800.03/1800.40 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.03/1800.40 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.03/1800.40 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1800.03/1800.40 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1800.03/1800.40 v -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1800.03/1800.40 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.03/1800.40 v -x2700 x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.03/1800.40 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 1800.03/1800.40 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 1800.03/1800.40 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.03/1800.40 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.03/1800.40 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.03/1800.40 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1800.03/1800.40 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.03/1800.40 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1800.03/1800.40 v -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.03/1800.40 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1800.03/1800.40 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1800.03/1800.40 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1800.03/1800.40 v -x2843 x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 1800.03/1800.40 v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.03/1800.40 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.03/1800.40 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 1800.03/1800.40 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 1800.03/1800.40 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1800.03/1800.40 v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 1800.03/1800.40 v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1800.03/1800.40 v -x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 1800.03/1800.40 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 1800.03/1800.40 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.03/1800.40 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.03/1800.40 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.03/1800.40 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1800.03/1800.40 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1800.03/1800.40 v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.03/1800.40 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 1800.03/1800.40 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 1800.03/1800.40 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.03/1800.40 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.03/1800.40 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 1800.03/1800.40 v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.03/1800.40 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 1800.03/1800.40 v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 1800.03/1800.40 v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 1800.03/1800.40 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 1800.03/1800.40 v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.03/1800.40 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.03/1800.40 v x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1800.03/1800.40 v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1800.03/1800.40 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.03/1800.40 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1800.03/1800.40 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.03/1800.40 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1800.03/1800.40 v -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 1800.03/1800.40 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.03/1800.40 v x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.03/1800.40 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1800.03/1800.40 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 1800.03/1800.40 v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 1800.03/1800.40 v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 x3291 -x3292 -x3293 1800.03/1800.40 v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1800.03/1800.40 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.03/1800.40 v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 1800.03/1800.40 v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 1800.03/1800.40 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 1800.03/1800.40 v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.03/1800.40 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1800.03/1800.40 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 1800.03/1800.40 v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 1800.03/1800.40 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1800.03/1800.40 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 1800.03/1800.40 v -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 1800.03/1800.40 v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 1800.03/1800.40 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1800.03/1800.40 v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 1800.03/1800.40 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 1800.03/1800.40 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.03/1800.40 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 1800.03/1800.40 v -x3492 -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 1800.03/1800.40 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 1800.03/1800.40 v -x3514 -x3515 -x3516 -x3517 -x3518 x3519 x3520 -x3521 -x3522 -x3523 -x3524 1800.03/1800.40 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 1800.03/1800.40 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1800.03/1800.40 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 1800.03/1800.40 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 1800.03/1800.40 v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 1800.03/1800.40 v -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.03/1800.40 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 1800.03/1800.40 v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 1800.03/1800.40 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 1800.03/1800.40 v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.03/1800.40 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.03/1800.40 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 1800.03/1800.40 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 1800.03/1800.40 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 1800.03/1800.40 v -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.03/1800.40 v -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 1800.03/1800.40 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1800.03/1800.40 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 1800.03/1800.40 v -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1800.03/1800.40 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1800.03/1800.40 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1800.03/1800.40 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 1800.03/1800.40 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1800.03/1800.40 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 1800.03/1800.40 v -x3789 x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 1800.03/1800.40 v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.03/1800.40 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 1800.03/1800.40 v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.03/1800.40 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 1800.03/1800.40 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 1800.03/1800.40 v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 1800.03/1800.40 v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 1800.03/1800.40 v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.03/1800.40 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.03/1800.40 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 1800.03/1800.40 v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1800.03/1800.40 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.03/1800.40 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 1800.03/1800.40 v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 1800.03/1800.40 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.03/1800.40 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 1800.03/1800.40 v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.03/1800.40 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1800.03/1800.40 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 1800.03/1800.40 v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 1800.03/1800.40 v -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.03/1800.40 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 1800.03/1800.40 v -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 1800.03/1800.40 v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 1800.03/1800.40 v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 1800.03/1800.40 v -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1800.03/1800.40 v -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 1800.03/1800.40 v -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 1800.03/1800.40 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 1800.03/1800.40 v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1800.03/1800.40 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1800.03/1800.40 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1800.03/1800.40 v -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.03/1800.40 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 1800.03/1800.40 v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1800.03/1800.40 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 1800.03/1800.40 v -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.03/1800.40 v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 1800.03/1800.40 v -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 1800.03/1800.40 v x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 1800.03/1800.40 v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1800.03/1800.40 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 1800.03/1800.40 v -x4262 -x4263 -x4264 -x4265 x4266 -x4267 x4268 x4269 -x4270 -x4271 -x4272 1800.03/1800.40 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 1800.03/1800.40 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 1800.03/1800.40 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 1800.03/1800.40 v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1800.03/1800.40 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.03/1800.40 v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1800.03/1800.40 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 1800.03/1800.40 v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1800.03/1800.40 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1800.03/1800.40 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 1800.03/1800.40 v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 1800.03/1800.40 v -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 1800.03/1800.40 v -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 1800.03/1800.40 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 1800.03/1800.40 v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 1800.03/1800.40 v -x4438 -x4439 x4440 -x4441 x4442 -x4443 x4444 -x4445 x4446 -x4447 -x4448 1800.03/1800.40 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 1800.03/1800.40 v -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 1800.03/1800.40 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 1800.03/1800.40 v -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 1800.03/1800.40 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 1800.03/1800.40 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.03/1800.40 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.03/1800.40 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 1800.03/1800.40 v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 1800.03/1800.40 v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1800.03/1800.40 v -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 1800.03/1800.40 v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 1800.03/1800.40 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 1800.03/1800.40 v -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1800.03/1800.40 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 1800.03/1800.40 v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 -x4624 1800.03/1800.40 v -x4625 -x4626 -x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.03/1800.40 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 1800.03/1800.40 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 1800.03/1800.40 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1800.03/1800.40 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 1800.03/1800.40 v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1800.03/1800.40 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 1800.03/1800.40 v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 1800.03/1800.40 v -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 1800.03/1800.40 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 1800.03/1800.40 v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 1800.03/1800.40 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 1800.03/1800.40 v -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1800.03/1800.40 v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 1800.03/1800.40 v -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 1800.03/1800.40 v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 1800.03/1800.40 v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 1800.03/1800.40 v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 1800.03/1800.40 v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 1800.03/1800.40 v -x4834 x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 1800.03/1800.40 v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 1800.03/1800.40 v -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 1800.03/1800.40 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1800.03/1800.40 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.03/1800.40 v -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1800.03/1800.40 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1800.03/1800.40 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 1800.03/1800.40 v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 1800.03/1800.40 v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 1800.03/1800.40 v -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 1800.03/1800.40 v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1800.03/1800.40 v -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1800.03/1800.40 v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 1800.03/1800.40 v -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.03/1800.40 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1800.03/1800.40 v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 1800.03/1800.40 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 1800.03/1800.40 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 1800.03/1800.40 v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1800.03/1800.40 v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 1800.03/1800.40 v -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 1800.03/1800.40 v -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1800.03/1800.40 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 1800.03/1800.40 v -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 1800.03/1800.40 v -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 x5116 -x5117 -x5118 -x5119 1800.03/1800.40 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1800.03/1800.40 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 1800.03/1800.40 v -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 1800.03/1800.40 v -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 1800.03/1800.40 v -x5164 -x5165 -x5166 x5167 -x5168 -x5169 x5170 x5171 -x5172 x5173 -x5174 1800.03/1800.40 v -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 1800.03/1800.40 v -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 1800.03/1800.40 v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 1800.03/1800.40 v -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 1800.03/1800.40 v -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 1800.03/1800.40 v -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.03/1800.40 v -x5241 -x5242 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 1800.03/1800.40 v -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 1800.03/1800.40 v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1800.03/1800.40 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 1800.03/1800.40 v -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 1800.03/1800.40 v -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 1800.03/1800.40 v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 1800.03/1800.40 v -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 1800.03/1800.40 v -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 1800.03/1800.40 v -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 1800.03/1800.40 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 1800.03/1800.40 v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 1800.03/1800.40 v -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1800.03/1800.40 v -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 1800.03/1800.40 v -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 1800.03/1800.40 v -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 1800.03/1800.40 v -x5417 -x5418 x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.03/1800.40 v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 1800.03/1800.40 v -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 1800.03/1800.40 v -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 1800.03/1800.40 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 1800.03/1800.40 v -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 1800.03/1800.40 v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1800.03/1800.40 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 1800.03/1800.40 v -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 1800.03/1800.40 v -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 1800.03/1800.40 v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 1800.03/1800.40 v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 1800.03/1800.40 v -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 1800.03/1800.40 v x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 1800.03/1800.40 v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 1800.03/1800.40 v -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 1800.03/1800.40 v -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 1800.03/1800.40 v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 1800.03/1800.40 v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 1800.03/1800.40 v -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 1800.03/1800.40 v -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 1800.03/1800.40 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 1800.03/1800.40 v -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 1800.03/1800.40 v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 1800.03/1800.40 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 1800.03/1800.40 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 1800.03/1800.40 v -x5703 -x5704 -x5705 -x5706 -x5707 x5708 -x5709 -x5710 -x5711 -x5712 -x5713 1800.03/1800.40 v -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 1800.03/1800.40 v -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 x5735 1800.03/1800.40 v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 1800.03/1800.40 v -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 1800.03/1800.40 v -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 1800.03/1800.40 v -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 1800.03/1800.40 v -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 1800.03/1800.40 v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 1800.03/1800.40 v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 1800.03/1800.40 v -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 -x5822 -x5823 1800.03/1800.40 v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 1800.03/1800.40 v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 1800.03/1800.40 v -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 1800.03/1800.40 v -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 1800.03/1800.40 v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.03/1800.40 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 1800.03/1800.40 v x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 1800.03/1800.40 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 1800.03/1800.40 v -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 1800.03/1800.40 v -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 1800.03/1800.40 v -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 1800.03/1800.40 v -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 1800.03/1800.40 v -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 1800.03/1800.40 v -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 1800.03/1800.40 v -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 1800.03/1800.40 v -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 1800.03/1800.40 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 1800.03/1800.40 v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 1800.03/1800.40 v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 1800.03/1800.40 v -x6033 -x6034 x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 1800.03/1800.40 v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 1800.03/1800.40 v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 x6065 1800.03/1800.40 v -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 1800.03/1800.40 v -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 1800.03/1800.40 v -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 1800.03/1800.40 v -x6099 -x6100 x6101 x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 1800.03/1800.40 v -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 1800.03/1800.40 v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 1800.03/1800.40 v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 1800.03/1800.40 v -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 1800.03/1800.40 v -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 1800.03/1800.40 v -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 1800.03/1800.40 v x6176 -x6177 -x6178 -x6179 x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 1800.03/1800.40 v -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 1800.03/1800.40 v -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 1800.03/1800.40 v -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1800.03/1800.40 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 1800.03/1800.40 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 1800.03/1800.40 v -x6242 -x6243 -x6244 -x6245 x6246 -x6247 -x6248 x6249 -x6250 x6251 -x6252 1800.03/1800.40 v -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 1800.03/1800.40 v -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 1800.03/1800.40 v -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 1800.03/1800.40 v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 1800.03/1800.40 v -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 1800.03/1800.40 v -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1800.03/1800.40 v -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 1800.03/1800.40 v -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 1800.03/1800.40 v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 1800.03/1800.40 v -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 1800.03/1800.40 v -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 1800.03/1800.40 v -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 1800.03/1800.40 v -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 1800.03/1800.40 v -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 1800.03/1800.40 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 1800.03/1800.40 v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 1800.03/1800.40 v x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 1800.03/1800.40 v -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 1800.03/1800.40 v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 1800.03/1800.40 v -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 1800.03/1800.40 v -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 1800.03/1800.40 v -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 1800.03/1800.40 v -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 1800.03/1800.40 v -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 1800.03/1800.40 v -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 1800.03/1800.40 v -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 1800.03/1800.40 v -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 1800.03/1800.40 v -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 x6556 -x6557 -x6558 -x6559 x6560 1800.03/1800.40 v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 1800.03/1800.40 v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 1800.03/1800.40 v -x6583 -x6584 -x6585 -x6586 x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 1800.03/1800.40 v -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 1800.03/1800.40 v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 1800.03/1800.40 v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 1800.03/1800.40 v -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 1800.03/1800.40 v -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 1800.03/1800.40 v -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 1800.03/1800.40 v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 1800.03/1800.40 v -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 1800.03/1800.40 v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 1800.03/1800.40 v -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 1800.03/1800.40 v -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 1800.03/1800.40 v -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 1800.03/1800.40 v -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 1800.03/1800.40 v -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 1800.03/1800.40 v -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 1800.03/1800.40 v -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 1800.03/1800.40 v -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 1800.03/1800.40 v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 1800.03/1800.40 v x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 1800.03/1800.40 v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 1800.03/1800.40 v -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 1800.03/1800.40 v -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 1800.03/1800.40 v -x6836 -x6837 x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 1800.03/1800.40 v -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 1800.03/1800.40 v -x6858 -x6859 x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 1800.03/1800.40 v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 1800.03/1800.40 v -x6880 -x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 1800.03/1800.40 v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 1800.03/1800.40 v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 1800.03/1800.40 v -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 1800.03/1800.40 v -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 1800.03/1800.40 v -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 1800.03/1800.40 v -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 1800.03/1800.40 v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 1800.03/1800.40 v -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 1800.03/1800.40 v x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 1800.03/1800.40 v -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 1800.03/1800.40 v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 1800.03/1800.40 v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 1800.03/1800.40 v -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 1800.03/1800.40 v -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 1800.03/1800.40 v -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 1800.03/1800.40 v -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 1800.03/1800.40 v -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 1800.03/1800.40 v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 1800.03/1800.40 v -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 1800.03/1800.40 v -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 1800.03/1800.40 v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 1800.03/1800.40 v -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 1800.03/1800.40 v -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 1800.03/1800.40 v -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 1800.03/1800.40 v -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 1800.03/1800.40 v -x7166 -x7167 x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 1800.03/1800.40 v -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 1800.03/1800.40 v -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 1800.03/1800.40 v -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 1800.03/1800.40 v -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 1800.03/1800.40 v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 1800.03/1800.40 v -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 1800.03/1800.40 v -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 1800.03/1800.40 v -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 1800.03/1800.40 v -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 1800.03/1800.40 v -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 1800.03/1800.40 v -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 1800.03/1800.40 v -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 1800.03/1800.40 v -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 x7317 -x7318 -x7319 1800.03/1800.40 v -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 1800.03/1800.40 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 1800.03/1800.40 v -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 1800.03/1800.40 v -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 1800.03/1800.40 v -x7364 x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 1800.03/1800.40 v -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 1800.03/1800.40 v -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 1800.03/1800.40 v -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 1800.03/1800.40 v -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 1800.03/1800.40 v -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 1800.03/1800.40 v -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 1800.03/1800.40 v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 1800.03/1800.40 v -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 x7460 -x7461 -x7462 1800.03/1800.40 v -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 1800.03/1800.40 v -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 1800.03/1800.40 v -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 1800.03/1800.40 v -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 1800.03/1800.40 v -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 1800.03/1800.40 v -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 1800.03/1800.40 v -x7529 -x7530 -x7531 -x7532 x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 1800.03/1800.40 v -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 1800.03/1800.40 v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 1800.03/1800.40 v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 1800.03/1800.40 v -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 1800.03/1800.40 v -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 1800.03/1800.40 v -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 1800.03/1800.40 v -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 1800.03/1800.40 v x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 1800.03/1800.40 v -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 1800.03/1800.40 v -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 1800.03/1800.40 v -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 1800.03/1800.40 v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 1800.03/1800.40 v -x7672 -x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 1800.03/1800.40 v -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 1800.03/1800.40 v -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 1800.03/1800.40 v -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x7711 -x7712 -x7713 -x7714 -x7715 1800.03/1800.40 v -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 1800.03/1800.40 v -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 1800.03/1800.40 v -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 1800.03/1800.40 v -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 1800.03/1800.40 v -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 1800.03/1800.40 v -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 1800.03/1800.40 v -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 1800.03/1800.40 v -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 1800.03/1800.40 v -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 1800.03/1800.40 v -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 1800.03/1800.40 v -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 1800.03/1800.40 v -x7837 -x7838 -x7839 -x7840 1800.03/1800.40 s SATISFIABLE 1800.03/1800.40 1800.03/1800.40 c INTERRUPTED : 1 1800.03/1800.40 c Models : 1+ 1800.03/1800.40 c Enumerated : 26 1800.03/1800.40 c Optimum : unknown 1800.03/1800.40 c Optimization : 212 1800.03/1800.40 c Time : 1800.405s (Solving: 1799.74s 1st Model: 0.05s Unsat: 0.00s) 1800.03/1800.40 c CPU Time : 1800.030s
OK 212
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709507-1338221667/watcher-3709507-1338221667 -o /tmp/evaluation-result-3709507-1338221667/solver-3709507-1338221667 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709507-1338221667.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.97 1.87 2/175 26745 /proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [startup+0.0537749 s] /proc/loadavg: 1.84 1.97 1.87 2/175 26745 /proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100281 s] /proc/loadavg: 1.84 1.97 1.87 2/175 26745 /proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300254 s] /proc/loadavg: 1.84 1.97 1.87 2/175 26745 /proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700246 s] /proc/loadavg: 1.84 1.97 1.87 2/175 26745 /proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50027 s] /proc/loadavg: 1.93 1.98 1.88 3/176 26763 /proc/meminfo: memFree=31182080/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=55732 CPUtime=1.49 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 14178 0 0 0 145 4 0 0 20 0 1 0 288292100 57069568 13592 33554432000 4194304 6212839 140733498442336 140733498440344 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 13933 13592 233 493 0 13438 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 64884 [startup+3.10033 s] /proc/loadavg: 1.93 1.98 1.88 3/181 26779 /proc/meminfo: memFree=31152564/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=63804 CPUtime=3.08 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 16215 0 0 0 304 4 0 0 20 0 1 0 288292100 65335296 15629 33554432000 4194304 6212839 140733498442336 140733498440344 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 15951 15629 233 493 0 15456 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 72956 [startup+6.30026 s] /proc/loadavg: 1.94 1.98 1.88 3/181 26779 /proc/meminfo: memFree=31139264/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=72316 CPUtime=6.28 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 18317 0 0 0 623 5 0 0 20 0 1 0 288292100 74051584 17723 33554432000 4194304 6212839 140733498442336 140733498440344 4685321 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 18079 17723 234 493 0 17584 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 81468 [startup+12.7004 s] /proc/loadavg: 1.94 1.98 1.88 3/181 26779 /proc/meminfo: memFree=31125736/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=81352 CPUtime=12.68 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 20577 0 0 0 1262 6 0 0 20 0 1 0 288292100 83304448 19983 33554432000 4194304 6212839 140733498442336 140733498440344 4422336 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 20338 19983 234 493 0 19843 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 90504 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.88 3/181 26779 /proc/meminfo: memFree=31122488/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=84520 CPUtime=25.46 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 21399 0 0 0 2540 6 0 0 20 0 1 0 288292100 86548480 20809 33554432000 4194304 6212839 140733498442336 140733498440344 4685515 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 21130 20809 234 493 0 20635 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 93672 [startup+51.1066 s] /proc/loadavg: 1.97 1.98 1.88 3/181 26779 /proc/meminfo: memFree=31108816/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=97228 CPUtime=51.05 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 24291 0 0 0 5099 6 0 0 20 0 1 0 288292100 99561472 23717 33554432000 4194304 6212839 140733498442336 140733498440344 4674268 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 24307 23717 234 493 0 23812 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 106380 [startup+102.3 s] /proc/loadavg: 1.98 1.98 1.89 3/181 26779 /proc/meminfo: memFree=31079952/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=119748 CPUtime=102.23 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 29261 0 0 0 10215 8 0 0 20 0 1 0 288292100 122621952 28970 33554432000 4194304 6212839 140733498442336 140733498440344 4421962 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 29937 28970 234 493 0 29442 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 128900 [startup+162.3 s] /proc/loadavg: 2.07 2.00 1.90 3/181 26779 /proc/meminfo: memFree=31060208/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=128860 CPUtime=162.21 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 31603 0 0 0 16213 8 0 0 20 0 1 0 288292100 131952640 31917 33554432000 4194304 6212839 140733498442336 140733498440344 4421938 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 32215 31917 234 493 0 31720 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 138012 [startup+222.3 s] /proc/loadavg: 2.02 2.00 1.91 3/181 26780 /proc/meminfo: memFree=31037688/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=150116 CPUtime=222.21 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 35720 0 0 0 22212 9 0 0 20 0 1 0 288292100 153718784 36034 33554432000 4194304 6212839 140733498442336 140733498440632 4681500 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 37529 36034 234 493 0 37034 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 159268 [startup+282.3 s] /proc/loadavg: 2.01 2.00 1.91 3/181 26780 /proc/meminfo: memFree=31023964/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=155196 CPUtime=282.19 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 37419 0 0 0 28210 9 0 0 20 0 1 0 288292100 158920704 38416 33554432000 4194304 6212839 140733498442336 140733498440632 4683366 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 38799 38416 234 493 0 38304 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 164348 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/182 26783 /proc/meminfo: memFree=31014204/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=160540 CPUtime=342.18 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 38596 0 0 0 34209 9 0 0 20 0 1 0 288292100 164392960 39677 33554432000 4194304 6212839 140733498442336 140733498440632 4411603 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 40135 39677 234 493 0 39640 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 169692 [startup+402.3 s] /proc/loadavg: 2.05 2.01 1.91 3/181 26783 /proc/meminfo: memFree=31001440/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=225732 CPUtime=1122.04 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 56353 0 0 0 112190 14 0 0 20 0 1 0 288292100 231149568 56134 33554432000 4194304 6212839 140733498442336 140733498440632 4674290 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 56433 56134 234 493 0 55938 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 234884 [startup+1182.3 s] /proc/loadavg: 2.05 2.01 1.93 3/181 26789 /proc/meminfo: memFree=30890844/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=233324 CPUtime=1182.02 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 58234 0 0 0 118188 14 0 0 20 0 1 0 288292100 238923776 58013 33554432000 4194304 6212839 140733498442336 140733498440344 4334731 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 58331 58013 234 493 0 57836 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 242476 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 1.93 3/181 26789 /proc/meminfo: memFree=30882468/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=240712 CPUtime=1242.03 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 60073 0 0 0 124188 15 0 0 20 0 1 0 288292100 246489088 59852 33554432000 4194304 6212839 140733498442336 140733498440344 4421948 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 60178 59852 234 493 0 59683 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 249864 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 1.93 3/181 26789 /proc/meminfo: memFree=30878252/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=241768 CPUtime=1302.01 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 60333 0 0 0 130186 15 0 0 20 0 1 0 288292100 247570432 60112 33554432000 4194304 6212839 140733498442336 140733498440344 4685317 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 60442 60112 234 493 0 59947 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 250920 [startup+1362.31 s] /proc/loadavg: 2.05 2.03 1.94 3/181 26789 /proc/meminfo: memFree=30857048/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=268600 CPUtime=1362 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65293 0 0 0 136185 15 0 0 20 0 1 0 288292100 275046400 65072 33554432000 4194304 6212839 140733498442336 140733498440632 4325971 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67150 65072 234 493 0 66655 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 277752 [startup+1422.3 s] /proc/loadavg: 2.02 2.02 1.94 3/181 26789 /proc/meminfo: memFree=30848264/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=268600 CPUtime=1421.98 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 142183 15 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4683194 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67150 66752 234 493 0 66655 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 277752 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 1.94 3/181 26790 /proc/meminfo: memFree=30846208/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=268600 CPUtime=1481.97 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 148182 15 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4683360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67150 66752 234 493 0 66655 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 277752 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.94 3/182 26793 /proc/meminfo: memFree=30844332/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=268600 CPUtime=1541.97 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 154181 16 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4676343 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67150 66752 234 493 0 66655 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 277752 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/181 26793 /proc/meminfo: memFree=30843108/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=268600 CPUtime=1601.96 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 160180 16 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4421959 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67150 66752 234 493 0 66655 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 277752 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/181 26793 /proc/meminfo: memFree=30834548/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=271868 CPUtime=1661.95 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 66117 0 0 0 166179 16 0 0 20 0 1 0 288292100 278392832 67641 33554432000 4194304 6212839 140733498442336 140733498440344 4326056 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67967 67641 234 493 0 67472 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 281020 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 1.94 3/181 26793 /proc/meminfo: memFree=30832244/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=271868 CPUtime=1721.94 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 66117 0 0 0 172178 16 0 0 20 0 1 0 288292100 278392832 67641 33554432000 4194304 6212839 140733498442336 140733498440344 4424532 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 67967 67641 234 493 0 67472 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 281020 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.94 3/181 26794 /proc/meminfo: memFree=30830260/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=272132 CPUtime=1781.93 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 66204 0 0 0 178177 16 0 0 20 0 1 0 288292100 278663168 67728 33554432000 4194304 6212839 140733498442336 140733498440344 4307731 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 68033 67728 234 493 0 67538 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 281284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.01 2.00 1.94 3/181 26794 /proc/meminfo: memFree=30826664/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=275860 CPUtime=1800.03 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 67116 0 0 0 179987 16 0 0 20 0 1 0 288292100 282480640 68640 33554432000 4194304 6212839 140733498442336 140733498440344 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 68965 68640 234 493 0 68470 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 285012 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.01 2.00 1.94 3/181 26794 /proc/meminfo: memFree=30826664/32873844 swapFree=7112/7112 [pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/26745/statm: 2288 275 232 213 0 73 0 [pid=26746] ppid=26745 vsize=275860 CPUtime=1800.03 cores=0,2,4,6 /proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 67116 0 0 0 179987 16 0 0 20 0 1 0 288292100 282480640 68640 33554432000 4194304 6212839 140733498442336 140733498440344 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0 /proc/26746/statm: 68965 68640 234 493 0 68470 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 285012 Child status: 10 Real time (s): 1800.41 CPU time (s): 1800.04 CPU user time (s): 1799.88 CPU system time (s): 0.164974 CPU usage (%): 99.9796 Max. virtual memory (cumulated for all children) (KiB): 285012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.164974 maximum resident set size= 274592 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67488 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= 98 involuntary context switches= 2004 runsolver used 2.6546 second user time and 7.17491 second system time The end
Begin job on node132 at 2012-05-28 18:14:28 IDJOB=3709507 IDBENCH=89912 IDSOLVER=2288 FILE ID=node132/3709507-1338221667 RUNJOBID= node132-1338221667-26709 PBS_JOBID= 14624620 Free space on /tmp= 71604 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb COMMAND LINE= HOME/clasp-opt.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709507-1338221667/watcher-3709507-1338221667 -o /tmp/evaluation-result-3709507-1338221667/solver-3709507-1338221667 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709507-1338221667.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac RANDOM SEED=1086098533 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.66 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 cpu MHz : 2666.832 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 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 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 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 cpu MHz : 2666.832 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 cpu MHz : 2666.832 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 cpu MHz : 2666.832 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 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 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 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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 cpu MHz : 2666.832 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 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 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 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.832 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 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 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 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: 32873844 kB MemFree: 31231588 kB Buffers: 476580 kB Cached: 262448 kB SwapCached: 2284 kB Active: 561448 kB Inactive: 187848 kB Active(anon): 2500 kB Inactive(anon): 8148 kB Active(file): 558948 kB Inactive(file): 179700 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67103740 kB Dirty: 38696 kB Writeback: 4 kB AnonPages: 13364 kB Mapped: 10612 kB Shmem: 8 kB Slab: 752512 kB SReclaimable: 193628 kB SUnreclaim: 558884 kB KernelStack: 1456 kB PageTables: 3940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103720 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71600 MiB End job on node132 at 2012-05-28 18:44:28