Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 9 | 1782.77 | 1783.39 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
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 | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
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 | 6207 |
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 | 6207 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 1.89/1.98 c starting to Solve 1.89/1.98 c #variables read: 6207 - #constraints read: 172 1.89/1.98 o 14 1.99/2.06 o 13 2.38/2.46 o 12 5.08/5.11 o 11 5.98/6.07 o 10 429.37/429.63 o 9 1782.67/1783.36 c total time : 1783 s 1782.67/1783.36 s SATISFIABLE 1782.67/1783.36 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1782.67/1783.36 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1782.67/1783.36 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1782.67/1783.36 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1782.67/1783.36 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1782.67/1783.36 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1782.67/1783.36 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1782.67/1783.36 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1782.67/1783.36 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1782.67/1783.36 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1782.67/1783.36 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1782.67/1783.36 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1782.67/1783.36 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1782.67/1783.36 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1782.67/1783.36 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1782.67/1783.36 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1782.67/1783.36 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1782.67/1783.36 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1782.67/1783.36 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1782.67/1783.36 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1782.67/1783.36 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1782.67/1783.36 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1782.67/1783.36 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1782.67/1783.36 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1782.67/1783.36 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1782.67/1783.36 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1782.67/1783.36 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1782.67/1783.36 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1782.67/1783.36 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1782.67/1783.36 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1782.67/1783.36 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1782.67/1783.36 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1782.67/1783.36 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1782.67/1783.36 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1782.67/1783.36 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1782.67/1783.36 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1782.67/1783.36 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1782.67/1783.36 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1782.67/1783.36 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1782.67/1783.36 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1782.67/1783.36 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1782.67/1783.36 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1782.67/1783.36 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1782.67/1783.36 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1782.67/1783.36 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1782.67/1783.36 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1782.67/1783.36 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1782.67/1783.36 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1782.67/1783.36 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1782.67/1783.36 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1782.67/1783.36 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1782.67/1783.36 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1782.67/1783.36 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1782.67/1783.36 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1782.67/1783.36 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1782.67/1783.36 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1782.67/1783.36 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1782.67/1783.36 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1782.67/1783.36 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1782.67/1783.36 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1782.67/1783.36 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1782.67/1783.36 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1782.67/1783.36 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1782.67/1783.36 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1782.67/1783.36 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1782.67/1783.36 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1782.67/1783.36 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1782.67/1783.36 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1782.67/1783.36 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1782.67/1783.36 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1782.67/1783.36 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1782.67/1783.36 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1782.67/1783.36 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1782.67/1783.36 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1782.67/1783.36 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1782.67/1783.36 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1782.67/1783.36 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1782.67/1783.36 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1782.67/1783.36 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1782.67/1783.36 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1782.67/1783.36 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1782.67/1783.36 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1782.67/1783.36 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1782.67/1783.36 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1782.67/1783.36 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1782.67/1783.36 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1782.67/1783.36 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1782.67/1783.36 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1782.67/1783.36 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1782.67/1783.36 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1782.67/1783.36 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1782.67/1783.36 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1782.67/1783.36 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1782.67/1783.36 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1782.67/1783.36 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1782.67/1783.36 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1782.67/1783.36 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1782.67/1783.36 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1782.67/1783.36 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1782.67/1783.36 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1782.67/1783.36 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1782.67/1783.36 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1782.67/1783.36 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1782.67/1783.36 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1782.67/1783.36 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1782.67/1783.36 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1782.67/1783.36 v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1782.67/1783.36 v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 1782.67/1783.36 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1782.67/1783.36 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1782.67/1783.36 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1782.67/1783.36 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1782.67/1783.36 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1782.67/1783.36 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1782.67/1783.36 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1782.67/1783.36 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1782.67/1783.36 v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 1782.67/1783.36 v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 1782.67/1783.36 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 1782.67/1783.36 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1782.67/1783.36 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 1782.67/1783.36 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1782.67/1783.36 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1782.67/1783.36 v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 1782.67/1783.36 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1782.67/1783.36 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 1782.67/1783.36 v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1782.67/1783.36 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1782.67/1783.36 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 1782.67/1783.36 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1782.67/1783.36 v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1782.67/1783.36 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1782.67/1783.36 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1782.67/1783.36 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1782.67/1783.36 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1782.67/1783.36 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1782.67/1783.36 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1782.67/1783.36 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1782.67/1783.36 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1782.67/1783.36 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1782.67/1783.36 v -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1782.67/1783.36 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1782.67/1783.36 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1782.67/1783.36 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1782.67/1783.36 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 1782.67/1783.36 v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 1782.67/1783.36 v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1782.67/1783.36 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1782.67/1783.36 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1782.67/1783.36 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 1782.67/1783.36 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 1782.67/1783.36 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1782.67/1783.36 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1782.67/1783.36 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 1782.67/1783.36 v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 1782.67/1783.36 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1782.67/1783.36 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1782.67/1783.36 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1782.67/1783.36 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1782.67/1783.36 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1782.67/1783.36 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1782.67/1783.36 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1782.67/1783.36 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1782.67/1783.36 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1782.67/1783.36 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1782.67/1783.36 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1782.67/1783.36 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1782.67/1783.36 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1782.67/1783.36 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1782.67/1783.36 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1782.67/1783.36 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1782.67/1783.36 v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 1782.67/1783.36 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1782.67/1783.36 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 1782.67/1783.36 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 1782.67/1783.36 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1782.67/1783.36 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1782.67/1783.36 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1782.67/1783.36 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1782.67/1783.36 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1782.67/1783.36 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1782.67/1783.36 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1782.67/1783.36 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1782.67/1783.36 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1782.67/1783.36 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1782.67/1783.36 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1782.67/1783.36 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 1782.67/1783.36 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1782.67/1783.36 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1782.67/1783.36 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 1782.67/1783.36 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1782.67/1783.36 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1782.67/1783.36 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1782.67/1783.36 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1782.67/1783.36 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1782.67/1783.36 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1782.67/1783.36 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1782.67/1783.36 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1782.67/1783.36 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1782.67/1783.36 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1782.67/1783.36 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1782.67/1783.36 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 1782.67/1783.36 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1782.67/1783.36 v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 1782.67/1783.36 v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 1782.67/1783.36 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 1782.67/1783.36 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 1782.67/1783.36 v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 1782.67/1783.36 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1782.67/1783.36 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 1782.67/1783.36 v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1782.67/1783.36 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 1782.67/1783.36 v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 1782.67/1783.36 v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1782.67/1783.36 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 1782.67/1783.36 v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 1782.67/1783.36 v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1782.67/1783.36 v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 1782.67/1783.36 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1782.67/1783.36 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1782.67/1783.36 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1782.67/1783.36 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1782.67/1783.36 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 1782.67/1783.36 v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1782.67/1783.36 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1782.67/1783.36 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1782.67/1783.36 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1782.67/1783.36 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1782.67/1783.36 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1782.67/1783.36 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1782.67/1783.36 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1782.67/1783.36 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1782.67/1783.36 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1782.67/1783.36 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1782.67/1783.36 v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 1782.67/1783.36 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 1782.67/1783.36 v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 1782.67/1783.36 v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 1782.67/1783.36 v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 1782.67/1783.36 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1782.67/1783.36 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1782.67/1783.36 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1782.67/1783.36 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1782.67/1783.36 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1782.67/1783.36 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 1782.67/1783.36 v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 1782.67/1783.36 v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1782.67/1783.36 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 1782.67/1783.36 v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1782.67/1783.36 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1782.67/1783.36 v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1782.67/1783.36 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 1782.67/1783.36 v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 1782.67/1783.36 v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1782.67/1783.36 v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1782.67/1783.36 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 1782.67/1783.36 v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 1782.67/1783.36 v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 1782.67/1783.36 v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 1782.67/1783.36 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 1782.67/1783.36 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 1782.67/1783.36 v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 1782.67/1783.36 v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1782.67/1783.36 v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 1782.67/1783.36 v -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 1782.67/1783.36 v -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1782.67/1783.36 v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 1782.67/1783.36 v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 1782.67/1783.36 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 1782.67/1783.36 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1782.67/1783.36 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 1782.67/1783.36 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 1782.67/1783.36 v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 1782.67/1783.36 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 1782.67/1783.36 v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 1782.67/1783.36 v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1782.67/1783.36 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 1782.67/1783.36 v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 1782.67/1783.36 v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 1782.67/1783.36 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 1782.67/1783.36 v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 1782.67/1783.36 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 1782.67/1783.36 v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 1782.67/1783.36 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1782.67/1783.36 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 1782.67/1783.36 v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 1782.67/1783.36 v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 1782.67/1783.36 v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1782.67/1783.36 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1782.67/1783.36 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 1782.67/1783.36 v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1782.67/1783.36 v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 1782.67/1783.36 v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 1782.67/1783.36 v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 1782.67/1783.36 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 1782.67/1783.36 v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 1782.67/1783.36 v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1782.67/1783.36 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 1782.67/1783.36 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 x5288 -x5289 -x5290 1782.67/1783.36 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1782.67/1783.36 v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 1782.67/1783.36 v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 1782.67/1783.36 v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 1782.67/1783.36 v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 1782.67/1783.36 v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 1782.67/1783.36 v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 1782.67/1783.36 v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 1782.67/1783.36 v -x5427 -x5428 -x5429 x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 1782.67/1783.36 v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 1782.67/1783.36 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1782.67/1783.36 v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 1782.67/1783.36 v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 1782.67/1783.36 v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 1782.67/1783.36 v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 1782.67/1783.36 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 1782.67/1783.36 v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 1782.67/1783.36 v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 1782.67/1783.36 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 1782.67/1783.36 v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1782.67/1783.36 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 1782.67/1783.36 v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 1782.67/1783.36 v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 1782.67/1783.36 v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 1782.67/1783.36 v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 1782.67/1783.36 v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 1782.67/1783.36 v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 1782.67/1783.36 v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1782.67/1783.36 v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 1782.67/1783.36 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 1782.67/1783.36 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 1782.67/1783.36 v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 1782.67/1783.36 v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 1782.67/1783.36 v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 1782.67/1783.36 v -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 1782.67/1783.36 v -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 1782.67/1783.36 v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 1782.67/1783.36 v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 1782.67/1783.36 v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 1782.67/1783.36 v -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 1782.67/1783.36 v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 1782.67/1783.36 v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 1782.67/1783.36 v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 1782.67/1783.36 v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 1782.67/1783.36 v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1782.67/1783.36 v -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 1782.67/1783.36 v -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 1782.67/1783.36 v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 1782.67/1783.36 v -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 1782.67/1783.36 v -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 1782.67/1783.36 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 1782.67/1783.36 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 1782.67/1783.36 v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 1782.67/1783.36 v -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
OK 9
/tmp/evaluation/354650-1176721259/instance-354650-1176721259.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-354650-1176721259 -o ROOT/results/node1/solver-354650-1176721259 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/354650-1176721259/instance-354650-1176721259.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/77 9008 /proc/meminfo: memFree=1817072/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=2552 CPUtime=0 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 148163752 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 6295255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 638 232 193 16 0 77 0 [startup+0.012172 s] /proc/loadavg: 0.99 0.97 0.98 3/77 9008 /proc/meminfo: memFree=1817072/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=2684 CPUtime=0 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 148163752 2748416 284 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 6295255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 671 284 193 16 0 110 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2684 [startup+0.102183 s] /proc/loadavg: 0.99 0.97 0.98 3/77 9008 /proc/meminfo: memFree=1817072/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=3616 CPUtime=0.09 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 524 0 0 0 9 0 0 0 18 0 1 0 148163752 3702784 494 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 6295255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 904 494 199 16 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.302205 s] /proc/loadavg: 0.99 0.97 0.98 3/77 9008 /proc/meminfo: memFree=1817072/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=4548 CPUtime=0.29 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 771 0 0 0 29 0 0 0 20 0 1 0 148163752 4657152 741 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 1137 741 199 16 0 576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4548 [startup+0.701253 s] /proc/loadavg: 0.99 0.97 0.98 3/77 9008 /proc/meminfo: memFree=1817072/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=6548 CPUtime=0.69 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 1265 0 0 0 69 0 0 0 23 0 1 0 148163752 6705152 1235 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 1637 1235 199 16 0 1076 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6548 [startup+1.50135 s] /proc/loadavg: 0.99 0.97 0.98 2/78 9009 /proc/meminfo: memFree=1811368/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=10544 CPUtime=1.49 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 2256 0 0 0 148 1 0 0 25 0 1 0 148163752 10797056 2226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 6295255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 2636 2226 199 16 0 2075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10544 [startup+3.10154 s] /proc/loadavg: 0.99 0.97 0.98 2/78 9009 /proc/meminfo: memFree=1805224/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=14112 CPUtime=3.08 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 3144 0 0 0 307 1 0 0 25 0 1 0 148163752 14450688 3114 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528725 0 0 4096 0 0 0 0 17 0 0 0 /proc/9008/statm: 3528 3114 205 16 0 2967 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14112 [startup+6.30191 s] /proc/loadavg: 0.99 0.97 0.98 2/84 9035 /proc/meminfo: memFree=1803640/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=14112 CPUtime=6.28 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 3145 0 0 0 626 2 0 0 25 0 1 0 148163752 14450688 3115 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 3528 3115 205 16 0 2967 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14112 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.98 2/84 9081 /proc/meminfo: memFree=1803632/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=14112 CPUtime=12.65 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 3145 0 0 0 1263 2 0 0 25 0 1 0 148163752 14450688 3115 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 3528 3115 205 16 0 2967 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 14112 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.98 2/84 9131 /proc/meminfo: memFree=1803824/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=14112 CPUtime=25.43 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 3145 0 0 0 2540 3 0 0 25 0 1 0 148163752 14450688 3115 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528716 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 3528 3115 205 16 0 2967 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 14112 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.98 2/84 9185 /proc/meminfo: memFree=1803824/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=14112 CPUtime=50.99 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 3145 0 0 0 5095 4 0 0 25 0 1 0 148163752 14450688 3115 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 3528 3115 205 16 0 2967 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 14112 [startup+102.305 s] /proc/loadavg: 1.03 0.99 0.98 2/78 9207 /proc/meminfo: memFree=1783016/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=36052 CPUtime=102.17 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 8657 0 0 0 10203 14 0 0 25 0 1 0 148163752 36917248 8614 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 9013 8614 205 16 0 8452 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 36052 [startup+162.301 s] /proc/loadavg: 1.05 1.00 0.99 2/78 9207 /proc/meminfo: memFree=1770024/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=49052 CPUtime=162.15 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 11902 0 0 0 16194 21 0 0 25 0 1 0 148163752 50229248 11859 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 12263 11859 205 16 0 11702 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 49052 [startup+222.301 s] /proc/loadavg: 1.13 1.03 1.00 2/78 9207 /proc/meminfo: memFree=1743208/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=75744 CPUtime=222.13 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 18806 0 0 0 22177 36 0 0 25 0 1 0 148163752 77561856 18524 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 18936 18524 205 16 0 18375 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 75744 [startup+282.301 s] /proc/loadavg: 1.12 1.04 1.00 2/78 9207 /proc/meminfo: memFree=1741160/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=77568 CPUtime=282.12 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 19439 0 0 0 28167 45 0 0 25 0 1 0 148163752 79429632 18992 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 19392 18992 205 16 0 18831 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 77568 [startup+342.302 s] /proc/loadavg: 1.11 1.04 1.00 2/78 9207 /proc/meminfo: memFree=1741224/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=77504 CPUtime=342.09 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 19439 0 0 0 34153 56 0 0 25 0 1 0 148163752 79364096 18976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 19376 18976 205 16 0 18815 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 77504 [startup+402.302 s] /proc/loadavg: 1.10 1.05 1.00 2/78 9207 /proc/meminfo: memFree=1741288/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=77504 CPUtime=402.08 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 19439 0 0 0 40122 86 0 0 25 0 1 0 148163752 79364096 18976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 19376 18976 205 16 0 18815 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 77504 [startup+462.302 s] /proc/loadavg: 1.09 1.05 1.00 2/78 9207 /proc/meminfo: memFree=1741416/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=77504 CPUtime=462.06 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 19439 0 0 0 46106 100 0 0 25 0 1 0 148163752 79364096 18976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 19376 18976 205 16 0 18815 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 77504 [startup+522.302 s] /proc/loadavg: 1.08 1.06 1.00 2/78 9207 /proc/meminfo: memFree=1741480/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=77504 CPUtime=522.04 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 19439 0 0 0 52102 102 0 0 25 0 1 0 148163752 79364096 18976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 19376 18976 205 16 0 18815 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 77504 [startup+582.303 s] /proc/loadavg: 1.08 1.06 1.00 2/78 9207 /proc/meminfo: memFree=1741608/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=77504 CPUtime=582.03 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 19439 0 0 0 58099 104 0 0 25 0 1 0 148163752 79364096 18976 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 19376 18976 205 16 0 18815 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 77504 [startup+642.303 s] /proc/loadavg: 1.07 1.06 1.00 2/78 9207 /proc/meminfo: memFree=1733224/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=86284 CPUtime=642.01 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 21557 0 0 0 64095 106 0 0 25 0 1 0 148163752 88354816 21080 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 21571 21080 205 16 0 21010 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 86284 ################ # More data... # ################ /proc/meminfo: memFree=1690280/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=131688 CPUtime=821.96 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 32792 0 0 0 82081 115 0 0 25 0 1 0 148163752 134848512 31735 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32922 31735 205 16 0 32361 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 131688 [startup+882.302 s] /proc/loadavg: 1.13 1.08 1.01 2/78 9207 /proc/meminfo: memFree=1690216/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=131268 CPUtime=881.93 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 32880 0 0 0 88077 116 0 0 25 0 1 0 148163752 134418432 31776 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32817 31776 205 16 0 32256 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 131268 [startup+942.302 s] /proc/loadavg: 1.12 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1690216/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=131268 CPUtime=941.91 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 32892 0 0 0 94073 118 0 0 25 0 1 0 148163752 134418432 31788 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32817 31788 205 16 0 32256 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 131268 [startup+1002.3 s] /proc/loadavg: 1.11 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1690344/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=130676 CPUtime=1001.9 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 32898 0 0 0 100070 120 0 0 25 0 1 0 148163752 133812224 31705 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32669 31705 205 16 0 32108 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 130676 [startup+1062.3 s] /proc/loadavg: 1.10 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1690408/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=130628 CPUtime=1061.89 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 32898 0 0 0 106066 123 0 0 25 0 1 0 148163752 133763072 31693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32657 31693 205 16 0 32096 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 130628 [startup+1122.3 s] /proc/loadavg: 1.09 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1690472/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=130628 CPUtime=1121.86 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 32898 0 0 0 112061 125 0 0 25 0 1 0 148163752 133763072 31693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32657 31693 205 16 0 32096 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 130628 [startup+1182.3 s] /proc/loadavg: 1.08 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1690472/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=130012 CPUtime=1181.85 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33010 0 0 0 118058 127 0 0 25 0 1 0 148163752 133132288 31664 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528569 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 32503 31664 205 16 0 31942 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 130012 [startup+1242.3 s] /proc/loadavg: 1.08 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1688360/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132388 CPUtime=1241.83 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33612 0 0 0 124054 129 0 0 25 0 1 0 148163752 135565312 32266 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33097 32266 205 16 0 32536 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 132388 [startup+1302.3 s] /proc/loadavg: 1.07 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1687528/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=133032 CPUtime=1301.82 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33771 0 0 0 130051 131 0 0 25 0 1 0 148163752 136224768 32425 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33258 32425 205 16 0 32697 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 133032 [startup+1362.3 s] /proc/loadavg: 1.07 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1687528/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=133012 CPUtime=1361.79 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33771 0 0 0 136047 132 0 0 25 0 1 0 148163752 136204288 32425 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33253 32425 205 16 0 32692 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 133012 [startup+1422.31 s] /proc/loadavg: 1.06 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1687528/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=133012 CPUtime=1421.78 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33771 0 0 0 142043 135 0 0 25 0 1 0 148163752 136204288 32425 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33253 32425 205 16 0 32692 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 133012 [startup+1482.3 s] /proc/loadavg: 1.06 1.07 1.00 2/78 9207 /proc/meminfo: memFree=1687528/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132908 CPUtime=1481.76 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33771 0 0 0 148039 137 0 0 25 0 1 0 148163752 136097792 32403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33227 32403 205 16 0 32666 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 132908 [startup+1542.3 s] /proc/loadavg: 1.13 1.08 1.01 2/78 9207 /proc/meminfo: memFree=1687464/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132684 CPUtime=1541.74 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 154035 139 0 0 25 0 1 0 148163752 135868416 32425 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33171 32425 205 16 0 32610 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 132684 [startup+1602.3 s] /proc/loadavg: 1.12 1.08 1.00 2/78 9207 /proc/meminfo: memFree=1687528/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132532 CPUtime=1601.72 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 160030 142 0 0 25 0 1 0 148163752 135712768 32387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33133 32387 205 16 0 32572 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 132532 [startup+1662.3 s] /proc/loadavg: 1.11 1.08 1.00 2/78 9207 /proc/meminfo: memFree=1687528/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132500 CPUtime=1661.7 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 166026 144 0 0 25 0 1 0 148163752 135680000 32379 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33125 32379 205 16 0 32564 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 132500 [startup+1722.3 s] /proc/loadavg: 1.10 1.08 1.00 2/78 9207 /proc/meminfo: memFree=1687592/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132500 CPUtime=1721.69 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 172023 146 0 0 25 0 1 0 148163752 135680000 32379 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33125 32379 205 16 0 32564 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 132500 [startup+1782.3 s] /proc/loadavg: 1.09 1.08 1.00 2/78 9207 /proc/meminfo: memFree=1687656/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132488 CPUtime=1781.67 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 178019 148 0 0 25 0 1 0 148163752 135667712 32376 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33122 32376 205 16 0 32561 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 132488 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.08 1.08 1.00 2/78 9207 /proc/meminfo: memFree=1687656/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132488 CPUtime=1782.47 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 178099 148 0 0 25 0 1 0 148163752 135667712 32376 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33122 32376 205 16 0 32561 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (KiB) 132488 [startup+1783.3 s] /proc/loadavg: 1.08 1.08 1.00 2/78 9207 /proc/meminfo: memFree=1687656/2055920 swapFree=4145916/4192956 [pid=9008] ppid=9006 vsize=132488 CPUtime=1782.67 /proc/9008/stat : 9008 (Pueblo) R 9006 9008 8509 0 -1 4194304 33823 0 0 0 178119 148 0 0 25 0 1 0 148163752 135667712 32376 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/9008/statm: 33122 32376 205 16 0 32561 0 Current children cumulated CPU time (s) 1782.67 Current children cumulated vsize (KiB) 132488 Child status: 10 Real time (s): 1783.39 CPU time (s): 1782.77 CPU user time (s): 1781.26 CPU system time (s): 1.50977 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 135228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.26 system time used= 1.50977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33830 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= 17 involuntary context switches= 37688 runsolver used 2.02769 second user time and 4.04038 second system time The end
Begin job on node1 on Mon Apr 16 11:00:59 UTC 2007 IDJOB= 354650 IDBENCH= 2850 IDSOLVER= 165 FILE ID= node1/354650-1176721259 PBS_JOBID= 4559451 Free space on /tmp= 66408 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= Pueblo /tmp/evaluation/354650-1176721259/instance-354650-1176721259.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-354650-1176721259 -o ROOT/results/node1/conversion-354650-1176721259 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354650-1176721259/instance-354650-1176721259.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-354650-1176721259 -o ROOT/results/node1/solver-354650-1176721259 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/354650-1176721259/instance-354650-1176721259.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED= 358533540 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1817480 kB Buffers: 27656 kB Cached: 143496 kB SwapCached: 14760 kB Active: 66448 kB Inactive: 127956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817480 kB SwapTotal: 4192956 kB SwapFree: 4145916 kB Dirty: 6736 kB Writeback: 0 kB Mapped: 30020 kB Slab: 29540 kB Committed_AS: 4895728 kB PageTables: 1832 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66408 MiB End job on node1 on Mon Apr 16 11:30:43 UTC 2007