Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0-R4191 | SAT (TO) | 42 | 1800.02 | 1800.01 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 28.1547 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 5256 |
Total number of constraints | 15614 |
Number of constraints which are clauses | 15614 |
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 | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2531 |
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 | 2531 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2531 |
Number of bits of the biggest sum of numbers | 12 |
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 clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...112867/instance-3468008-1307112867.opb 0.00/0.02 c Solving... 0.00/0.02 o 109 0.00/0.02 o 44 0.00/0.02 o 43 0.00/0.03 o 42 1800.00/1800.00 1800.00/1800.00 *** INTERRUPTED! *** 1800.00/1800.00 c Answer: 4 1800.00/1800.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.00/1800.01 v -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1800.00/1800.01 v x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 1800.00/1800.01 v -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.00/1800.01 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.00/1800.01 v -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1800.00/1800.01 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.00/1800.01 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 1800.00/1800.01 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.00/1800.01 v x130 -x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 1800.00/1800.01 v x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.00/1800.01 v -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 x163 -x164 -x165 -x166 x167 1800.00/1800.01 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 1800.00/1800.01 v -x180 x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 x192 1800.00/1800.01 v x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1800.00/1800.01 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.00/1800.01 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 1800.00/1800.01 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 1800.00/1800.01 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.00/1800.01 v -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1800.00/1800.01 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.00/1800.01 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1800.00/1800.01 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 1800.00/1800.01 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.00/1800.01 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.00/1800.01 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1800.00/1800.01 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 -x350 -x351 1800.00/1800.01 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.00/1800.01 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 1800.00/1800.01 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1800.00/1800.01 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.00/1800.01 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1800.00/1800.01 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.00/1800.01 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 1800.00/1800.01 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.00/1800.01 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 1800.00/1800.01 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 1800.00/1800.01 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.00/1800.01 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 1800.00/1800.01 v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.00/1800.01 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 1800.00/1800.01 v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.00/1800.01 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 1800.00/1800.01 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1800.00/1800.01 v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.00/1800.01 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1800.00/1800.01 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.00/1800.01 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 1800.00/1800.01 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.00/1800.01 v -x616 -x617 -x618 -x619 -x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 1800.00/1800.01 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1800.00/1800.01 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.00/1800.01 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1800.00/1800.01 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1800.00/1800.01 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 1800.00/1800.01 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1800.00/1800.01 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1800.00/1800.01 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 1800.00/1800.01 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.00/1800.01 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 1800.00/1800.01 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1800.00/1800.01 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 1800.00/1800.01 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 1800.00/1800.01 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.00/1800.01 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.00/1800.01 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1800.00/1800.01 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 1800.00/1800.01 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1800.00/1800.01 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1800.00/1800.01 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.00/1800.01 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 1800.00/1800.01 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1800.00/1800.01 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.00/1800.01 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.00/1800.01 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1800.00/1800.01 v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1800.00/1800.01 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 1800.00/1800.01 v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1800.00/1800.01 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.00/1800.01 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.00/1800.01 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1800.00/1800.01 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.00/1800.01 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.00/1800.01 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 1800.00/1800.01 v x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.00/1800.01 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 1800.00/1800.01 v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.00/1800.01 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.00/1800.01 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1800.00/1800.01 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.00/1800.01 v -x1100 x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.00/1800.01 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1800.00/1800.01 v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.00/1800.01 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.00/1800.01 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1800.00/1800.01 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.00/1800.01 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.00/1800.01 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 1800.00/1800.01 v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.00/1800.01 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.00/1800.01 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 1800.00/1800.01 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.00/1800.01 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 1800.00/1800.01 v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1800.00/1800.01 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1800.00/1800.01 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 1800.00/1800.01 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.00/1800.01 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.00/1800.01 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.00/1800.01 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.00/1800.01 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.00/1800.01 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1800.00/1800.01 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.00/1800.01 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.00/1800.01 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 1800.00/1800.01 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 1800.00/1800.01 v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.00/1800.01 v -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.00/1800.01 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.00/1800.01 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 1800.00/1800.01 v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.00/1800.01 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1800.00/1800.01 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 1800.00/1800.01 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.00/1800.01 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.00/1800.01 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1800.00/1800.01 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.00/1800.01 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.00/1800.01 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1800.00/1800.01 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.00/1800.01 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1800.00/1800.01 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 1800.00/1800.01 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1800.00/1800.01 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.00/1800.01 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 1800.00/1800.01 v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.00/1800.01 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.00/1800.01 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.00/1800.01 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.00/1800.01 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.00/1800.01 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.00/1800.01 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.00/1800.01 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 1800.00/1800.01 v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1800.00/1800.01 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.00/1800.01 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1800.00/1800.01 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.00/1800.01 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 1800.00/1800.01 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.00/1800.01 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1800.00/1800.01 v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 x1768 -x1769 -x1770 1800.00/1800.01 v -x1771 -x1772 x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1800.00/1800.01 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.00/1800.01 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 1800.00/1800.01 v -x1804 x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 1800.00/1800.01 v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.00/1800.01 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.00/1800.01 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 x1844 -x1845 -x1846 -x1847 1800.00/1800.01 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.00/1800.01 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 1800.00/1800.01 v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.00/1800.01 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 1800.00/1800.01 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1800.00/1800.01 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.00/1800.01 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.00/1800.01 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 1800.00/1800.01 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.00/1800.01 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.00/1800.01 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.00/1800.01 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 1800.00/1800.01 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1800.00/1800.01 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 1800.00/1800.01 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 1800.00/1800.01 v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 1800.00/1800.01 v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.00/1800.01 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1800.00/1800.01 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.00/1800.01 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.00/1800.01 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.00/1800.01 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.00/1800.01 v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1800.00/1800.01 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 1800.00/1800.01 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.00/1800.01 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.00/1800.01 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.00/1800.01 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1800.00/1800.01 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.00/1800.01 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1800.00/1800.01 v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 1800.00/1800.01 v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.00/1800.01 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1800.00/1800.01 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1800.00/1800.01 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1800.00/1800.01 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.00/1800.01 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.00/1800.01 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.00/1800.01 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.00/1800.01 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.00/1800.01 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.00/1800.01 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.00/1800.01 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1800.00/1800.01 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 1800.00/1800.01 v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 1800.00/1800.01 v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.00/1800.01 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1800.00/1800.01 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 1800.00/1800.01 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1800.00/1800.01 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.00/1800.01 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.00/1800.01 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 x2416 -x2417 -x2418 -x2419 1800.00/1800.01 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1800.00/1800.01 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.00/1800.01 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.00/1800.01 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 1800.00/1800.01 v -x2464 -x2465 -x2466 x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.00/1800.01 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.00/1800.01 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.00/1800.01 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.00/1800.01 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.00/1800.01 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1800.00/1800.01 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1800.00/1800.01 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1800.00/1800.01 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 1800.00/1800.01 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1800.00/1800.01 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.00/1800.01 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.00/1800.01 v -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 1800.00/1800.01 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1800.00/1800.01 v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.00/1800.01 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.00/1800.01 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1800.00/1800.01 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.00/1800.01 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 1800.00/1800.01 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 1800.00/1800.01 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1800.00/1800.01 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 1800.00/1800.01 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.00/1800.01 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.00/1800.01 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1800.00/1800.01 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.00/1800.01 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.00/1800.01 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.00/1800.01 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 1800.00/1800.01 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.00/1800.01 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1800.00/1800.01 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1800.00/1800.01 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.00/1800.01 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 1800.00/1800.01 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1800.00/1800.01 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1800.00/1800.01 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1800.00/1800.01 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.00/1800.01 v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.00/1800.01 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.00/1800.01 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 1800.00/1800.01 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1800.00/1800.01 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 1800.00/1800.01 v -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 1800.00/1800.01 v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 x2958 1800.00/1800.01 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1800.00/1800.01 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1800.00/1800.01 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.00/1800.01 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.00/1800.01 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 1800.00/1800.01 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 1800.00/1800.01 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.00/1800.01 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.00/1800.01 v -x3047 -x3048 x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 1800.00/1800.01 v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 1800.00/1800.01 v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.00/1800.01 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.00/1800.01 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 1800.00/1800.01 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 1800.00/1800.01 v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123 1800.00/1800.01 v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1800.00/1800.01 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 1800.00/1800.01 v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.00/1800.01 v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.00/1800.01 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.00/1800.01 v x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189 1800.00/1800.01 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1800.00/1800.01 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1800.00/1800.01 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1800.00/1800.01 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1800.00/1800.01 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1800.00/1800.01 v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.00/1800.01 v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1800.00/1800.01 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 1800.00/1800.01 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.00/1800.01 v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 1800.00/1800.01 v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1800.00/1800.01 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1800.00/1800.01 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 1800.00/1800.01 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 1800.00/1800.01 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.00/1800.01 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1800.00/1800.01 v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.00/1800.01 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 1800.00/1800.01 v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.00/1800.01 v -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1800.00/1800.01 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1800.00/1800.01 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 1800.00/1800.01 v -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 1800.00/1800.01 v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1800.00/1800.01 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 1800.00/1800.01 v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 1800.00/1800.01 v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 1800.00/1800.01 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.00/1800.01 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 1800.00/1800.01 v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 1800.00/1800.01 v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 1800.00/1800.01 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.00/1800.01 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 1800.00/1800.01 v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1800.00/1800.01 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1800.00/1800.01 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 1800.00/1800.01 v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.00/1800.01 v -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1800.00/1800.01 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1800.00/1800.01 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 1800.00/1800.01 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1800.00/1800.01 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1800.00/1800.01 v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1800.00/1800.01 v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 1800.00/1800.01 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 1800.00/1800.01 v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 1800.00/1800.01 v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1800.00/1800.01 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 1800.00/1800.01 v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.00/1800.01 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 1800.00/1800.01 v -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1800.00/1800.01 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.00/1800.01 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 1800.00/1800.01 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 1800.00/1800.01 v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 x3792 -x3793 -x3794 1800.00/1800.01 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 1800.00/1800.01 v -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.00/1800.01 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.00/1800.01 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 1800.00/1800.01 v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 1800.00/1800.01 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1800.00/1800.01 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 1800.00/1800.01 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 1800.00/1800.01 v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 1800.00/1800.01 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.00/1800.01 v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.00/1800.01 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 1800.00/1800.01 v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1800.00/1800.01 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1800.00/1800.01 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 1800.00/1800.01 v -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1800.00/1800.01 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.00/1800.01 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1800.00/1800.01 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 1800.00/1800.01 v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1800.00/1800.01 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 1800.00/1800.01 v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 1800.00/1800.01 v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 1800.00/1800.01 v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 1800.00/1800.01 v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 1800.00/1800.01 v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1800.00/1800.01 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 1800.00/1800.01 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 1800.00/1800.01 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 1800.00/1800.01 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1800.00/1800.01 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1800.00/1800.01 v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 1800.00/1800.01 v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 1800.00/1800.01 v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.00/1800.01 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1800.00/1800.01 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1800.00/1800.01 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1800.00/1800.01 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 1800.00/1800.01 v -x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 1800.00/1800.01 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 1800.00/1800.01 v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 1800.00/1800.01 v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.00/1800.01 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.00/1800.01 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 1800.00/1800.01 v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1800.00/1800.01 v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1800.00/1800.01 v -x4301 -x4302 x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 1800.00/1800.01 v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 1800.00/1800.01 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 1800.00/1800.01 v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 1800.00/1800.01 v -x4345 -x4346 -x4347 -x4348 x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.00/1800.01 v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 x4364 -x4365 -x4366 1800.00/1800.01 v -x4367 -x4368 x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1800.00/1800.01 v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.00/1800.01 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 1800.00/1800.01 v x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 1800.00/1800.01 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 1800.00/1800.01 v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1800.00/1800.01 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 1800.00/1800.01 v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 1800.00/1800.01 v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 1800.00/1800.01 v x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 1800.00/1800.01 v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 1800.00/1800.01 v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 1800.00/1800.01 v -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1800.00/1800.01 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1800.00/1800.01 v -x4521 -x4522 x4523 x4524 x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.00/1800.01 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 1800.00/1800.01 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 1800.00/1800.01 v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 1800.00/1800.01 v -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1800.00/1800.01 v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 1800.00/1800.01 v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.00/1800.01 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 1800.00/1800.01 v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1800.00/1800.01 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 1800.00/1800.01 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 1800.00/1800.01 v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.00/1800.01 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 1800.00/1800.01 v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 1800.00/1800.01 v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.00/1800.01 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.00/1800.01 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 1800.00/1800.01 v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.00/1800.01 v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 1800.00/1800.01 v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1800.00/1800.01 v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 1800.00/1800.01 v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 1800.00/1800.01 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 1800.00/1800.01 v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 1800.00/1800.01 v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1800.00/1800.01 v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 1800.00/1800.01 v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 1800.00/1800.01 v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 1800.00/1800.01 v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.00/1800.01 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 1800.00/1800.01 v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.00/1800.01 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 1800.00/1800.01 v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.00/1800.01 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 1800.00/1800.01 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 1800.00/1800.01 v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 x4914 -x4915 -x4916 1800.00/1800.01 v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 -x4927 1800.00/1800.01 v -x4928 -x4929 -x4930 -x4931 -x4932 x4933 x4934 -x4935 -x4936 -x4937 -x4938 1800.00/1800.01 v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 1800.00/1800.01 v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 1800.00/1800.01 v x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 1800.00/1800.01 v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 1800.00/1800.01 v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.00/1800.01 v -x4994 -x4995 -x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 1800.00/1800.01 v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 1800.00/1800.01 v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.00/1800.01 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 1800.00/1800.01 v -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.00/1800.01 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 1800.00/1800.01 v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.00/1800.01 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 1800.00/1800.01 v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 1800.00/1800.01 v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1800.00/1800.01 v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 1800.00/1800.01 v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 1800.00/1800.01 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1800.00/1800.01 v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 1800.00/1800.01 v -x5148 x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 1800.00/1800.01 v -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 x5166 -x5167 -x5168 -x5169 1800.00/1800.01 v -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1800.00/1800.01 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 x5189 x5190 -x5191 1800.00/1800.01 v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 1800.00/1800.01 v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 1800.00/1800.01 v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 1800.00/1800.01 v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 1800.00/1800.01 v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 1800.00/1800.01 v x5247 x5248 -x5249 -x5250 -x5251 -x5252 x5253 x5254 x5255 x5256 1800.00/1800.01 s SATISFIABLE 1800.00/1800.01 1800.00/1800.01 c INTERRUPTED : 1 1800.00/1800.01 c Models : 1+ 1800.00/1800.01 c Enumerated : 4 1800.00/1800.01 c Optimum : unknown 1800.00/1800.01 c Optimization : 42 1800.00/1800.01 c Time : 1800.008s (Solving: 1799.98s 1st Model: 0.00s Unsat: 0.00s) 1800.00/1800.01 c CPU Time : 1800.010s
OK 42
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3468008-1307112867/watcher-3468008-1307112867 -o /tmp/evaluation-result-3468008-1307112867/solver-3468008-1307112867 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468008-1307112867.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 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.97 1.99 1.99 2/273 5601 /proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=13632 CPUtime=0 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 793 0 0 0 0 0 0 0 25 0 1 0 822887481 13959168 692 33554432000 4194304 4933572 140735144789872 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3408 693 331 181 0 417 0 [startup+0.065273 s] /proc/loadavg: 1.97 1.99 1.99 2/273 5601 /proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=14848 CPUtime=0.06 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1308 0 0 0 6 0 0 0 25 0 1 0 822887481 15204352 1073 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3712 1073 378 181 0 721 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14848 [startup+0.100266 s] /proc/loadavg: 1.97 1.99 1.99 2/273 5601 /proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=14848 CPUtime=0.09 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1314 0 0 0 9 0 0 0 25 0 1 0 822887481 15204352 1079 33554432000 4194304 4933572 140735144789872 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3712 1079 384 181 0 721 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14848 [startup+0.300225 s] /proc/loadavg: 1.97 1.99 1.99 2/273 5601 /proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=14848 CPUtime=0.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1315 0 0 0 29 0 0 0 25 0 1 0 822887481 15204352 1080 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3712 1080 385 181 0 721 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14848 [startup+0.701152 s] /proc/loadavg: 1.97 1.99 1.99 2/273 5601 /proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=14980 CPUtime=0.69 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1349 0 0 0 69 0 0 0 25 0 1 0 822887481 15339520 1114 33554432000 4194304 4933572 140735144789872 18446744073709551615 4371108 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3745 1114 385 181 0 754 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14980 [startup+1.50101 s] /proc/loadavg: 1.97 1.99 1.99 3/274 5602 /proc/meminfo: memFree=28407432/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=15248 CPUtime=1.49 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1393 0 0 0 149 0 0 0 25 0 1 0 822887481 15613952 1158 33554432000 4194304 4933572 140735144789872 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3812 1158 385 181 0 821 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15248 [startup+3.10069 s] /proc/loadavg: 1.97 1.99 1.99 3/274 5602 /proc/meminfo: memFree=28406440/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=15512 CPUtime=3.09 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1479 0 0 0 309 0 0 0 25 0 1 0 822887481 15884288 1244 33554432000 4194304 4933572 140735144789872 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 3878 1244 385 181 0 887 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15512 [startup+6.30114 s] /proc/loadavg: 1.97 1.99 1.99 3/274 5602 /proc/meminfo: memFree=28405324/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=16180 CPUtime=6.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1618 0 0 0 629 0 0 0 25 0 1 0 822887481 16568320 1383 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369039 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/5601/statm: 4045 1383 385 181 0 1054 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16180 [startup+12.7009 s] /proc/loadavg: 1.98 1.99 1.99 3/274 5602 /proc/meminfo: memFree=28404064/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=16728 CPUtime=12.67 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1777 0 0 0 1267 0 0 0 25 0 1 0 822887481 17129472 1542 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 6 0 0 0 /proc/5601/statm: 4182 1542 385 181 0 1191 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 16728 [startup+25.5006 s] /proc/loadavg: 1.98 1.99 1.99 3/274 5603 /proc/meminfo: memFree=28402696/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=17788 CPUtime=25.45 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 2010 0 0 0 2545 0 0 0 25 0 1 0 822887481 18214912 1775 33554432000 4194304 4933572 140735144789872 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 4447 1775 385 181 0 1456 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 17788 [startup+51.1009 s] /proc/loadavg: 1.99 1.99 1.99 3/274 5603 /proc/meminfo: memFree=28400692/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=19020 CPUtime=51.05 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 2324 0 0 0 5105 0 0 0 25 0 1 0 822887481 19476480 2089 33554432000 4194304 4933572 140735144789872 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 4755 2089 385 181 0 1764 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 19020 [startup+102.31 s] /proc/loadavg: 1.99 1.99 1.99 3/274 5605 /proc/meminfo: memFree=28396088/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=21100 CPUtime=102.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 2808 0 0 0 10226 0 0 0 25 0 1 0 822887481 21606400 2573 33554432000 4194304 4933572 140735144789872 18446744073709551615 4632952 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 5275 2573 385 181 0 2284 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21100 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.99 3/274 5606 /proc/meminfo: memFree=28393708/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=22248 CPUtime=162.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3096 0 0 0 16226 0 0 0 25 0 1 0 822887481 22781952 2861 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 5562 2861 385 181 0 2571 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 22248 [startup+222.301 s] /proc/loadavg: 1.99 1.99 1.99 3/274 5608 /proc/meminfo: memFree=28391328/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=24136 CPUtime=222.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3545 0 0 0 22226 0 0 0 25 0 1 0 822887481 24715264 3310 33554432000 4194304 4933572 140735144789872 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 6034 3310 385 181 0 3043 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 24136 [startup+282.301 s] /proc/loadavg: 2.07 2.01 2.00 3/274 5609 /proc/meminfo: memFree=28390188/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=25080 CPUtime=282.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3737 0 0 0 28226 0 0 0 25 0 1 0 822887481 25681920 3502 33554432000 4194304 4933572 140735144789872 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 6270 3502 385 181 0 3279 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 25080 [startup+342.301 s] /proc/loadavg: 2.03 2.00 2.00 3/274 5611 /proc/meminfo: memFree=28388796/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=25976 CPUtime=342.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3947 0 0 0 34226 0 0 0 25 0 1 0 822887481 26599424 3712 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 6494 3712 385 181 0 3503 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 25976 [startup+402.301 s] /proc/loadavg: 2.01 2.00 2.00 3/274 5622 /proc/meminfo: memFree=28388152/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=26376 CPUtime=402.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4054 0 0 0 40226 0 0 0 25 0 1 0 822887481 27009024 3819 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428423 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 6594 3819 385 181 0 3603 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 26376 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5623 /proc/meminfo: memFree=28386036/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=27416 CPUtime=462.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4295 0 0 0 46225 1 0 0 25 0 1 0 822887481 28073984 4060 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 6854 4060 385 181 0 3863 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 27416 [startup+522.301 s] /proc/loadavg: 2.06 2.01 2.00 3/274 5625 /proc/meminfo: memFree=28384648/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=27868 CPUtime=522.26 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4397 0 0 0 52225 1 0 0 25 0 1 0 822887481 28536832 4162 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648403 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 6967 4162 385 181 0 3976 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 27868 [startup+582.301 s] /proc/loadavg: 2.02 2.01 2.00 3/274 5629 /proc/meminfo: memFree=28382496/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=28036 CPUtime=582.27 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4438 0 0 0 58226 1 0 0 25 0 1 0 822887481 28708864 4203 33554432000 4194304 4933572 140735144789872 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 7009 4203 385 181 0 4018 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 28036 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5636 /proc/meminfo: memFree=28378604/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=29864 CPUtime=822.27 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4891 0 0 0 82226 1 0 0 25 0 1 0 822887481 30580736 4656 33554432000 4194304 4933572 140735144789872 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 7466 4656 385 181 0 4475 0 Current children cumulated CPU time (s) 822.27 Current children cumulated vsize (KiB) 29864 [startup+882.301 s] /proc/loadavg: 2.04 2.01 2.00 3/274 5637 /proc/meminfo: memFree=28378824/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=30296 CPUtime=882.27 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4988 0 0 0 88226 1 0 0 25 0 1 0 822887481 31023104 4753 33554432000 4194304 4933572 140735144789872 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 7574 4753 385 181 0 4583 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 30296 [startup+942.301 s] /proc/loadavg: 2.01 2.01 2.00 3/274 5639 /proc/meminfo: memFree=28378072/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=30996 CPUtime=942.27 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5159 0 0 0 94226 1 0 0 25 0 1 0 822887481 31739904 4924 33554432000 4194304 4933572 140735144789872 18446744073709551615 4664548 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 7749 4924 385 181 0 4758 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 30996 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5641 /proc/meminfo: memFree=28377188/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=31572 CPUtime=1002.28 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5300 0 0 0 100227 1 0 0 25 0 1 0 822887481 32329728 5065 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 7893 5065 385 181 0 4902 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 31572 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5642 /proc/meminfo: memFree=28376172/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=32060 CPUtime=1062.28 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5410 0 0 0 106226 2 0 0 25 0 1 0 822887481 32829440 5175 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369399 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8015 5175 385 181 0 5024 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 32060 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5644 /proc/meminfo: memFree=28375532/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=32396 CPUtime=1122.28 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5478 0 0 0 112226 2 0 0 25 0 1 0 822887481 33173504 5243 33554432000 4194304 4933572 140735144789872 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8099 5243 385 181 0 5108 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 32396 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5645 /proc/meminfo: memFree=28374396/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=33128 CPUtime=1182.28 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5652 0 0 0 118226 2 0 0 25 0 1 0 822887481 33923072 5417 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8282 5417 385 181 0 5291 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 33128 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5647 /proc/meminfo: memFree=28373000/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=33456 CPUtime=1242.28 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5706 0 0 0 124226 2 0 0 25 0 1 0 822887481 34258944 5471 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8364 5471 385 181 0 5373 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 33456 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5649 /proc/meminfo: memFree=28373224/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=33456 CPUtime=1302.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5710 0 0 0 130227 2 0 0 25 0 1 0 822887481 34258944 5475 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8364 5475 385 181 0 5373 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 33456 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5650 /proc/meminfo: memFree=28372828/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=33624 CPUtime=1362.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5756 0 0 0 136227 2 0 0 25 0 1 0 822887481 34430976 5521 33554432000 4194304 4933572 140735144789872 18446744073709551615 4664528 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8406 5521 385 181 0 5415 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 33624 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/274 5652 /proc/meminfo: memFree=28372184/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=34252 CPUtime=1422.3 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5906 0 0 0 142228 2 0 0 25 0 1 0 822887481 35074048 5671 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8563 5671 385 181 0 5572 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 34252 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/274 5653 /proc/meminfo: memFree=28371176/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=35084 CPUtime=1482.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6127 0 0 0 148227 2 0 0 25 0 1 0 822887481 35926016 5892 33554432000 4194304 4933572 140735144789872 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8771 5892 385 181 0 5780 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 35084 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/274 5655 /proc/meminfo: memFree=28370652/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=35596 CPUtime=1542.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6218 0 0 0 154227 2 0 0 25 0 1 0 822887481 36450304 5983 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428409 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8899 5983 385 181 0 5908 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 35596 [startup+1602.3 s] /proc/loadavg: 2.09 2.03 2.01 3/274 5657 /proc/meminfo: memFree=28370880/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=35768 CPUtime=1602.29 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6262 0 0 0 160227 2 0 0 25 0 1 0 822887481 36626432 6027 33554432000 4194304 4933572 140735144789872 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8942 6027 385 181 0 5951 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 35768 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.00 3/274 5658 /proc/meminfo: memFree=28370604/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=35908 CPUtime=1662.3 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6303 0 0 0 166227 3 0 0 25 0 1 0 822887481 36769792 6068 33554432000 4194304 4933572 140735144789872 18446744073709551615 4340865 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 8977 6068 385 181 0 5986 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 35908 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/274 5660 /proc/meminfo: memFree=28369340/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=36040 CPUtime=1722.3 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6346 0 0 0 172227 3 0 0 25 0 1 0 822887481 36904960 6111 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 9010 6111 385 181 0 6019 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 36040 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/274 5770 /proc/meminfo: memFree=28387868/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=36428 CPUtime=1782.3 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6418 0 0 0 178227 3 0 0 25 0 1 0 822887481 37302272 6183 33554432000 4194304 4933572 140735144789872 18446744073709551615 4370584 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 9107 6183 385 181 0 6116 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 36428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/274 5771 /proc/meminfo: memFree=28386748/32951124 swapFree=55664332/67111528 [pid=5601] ppid=5599 vsize=36560 CPUtime=1800 cores=0,2,4,6 /proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6456 0 0 0 179997 3 0 0 25 0 1 0 822887481 37437440 6221 33554432000 4194304 4933572 140735144789872 18446744073709551615 4372896 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/5601/statm: 9140 6221 385 181 0 6149 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 36560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.01 CPU time (s): 1800.02 CPU user time (s): 1799.98 CPU system time (s): 0.036994 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 36560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.036994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6464 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= 8 involuntary context switches= 21785 runsolver used 4.78427 second user time and 9.95449 second system time The end
Begin job on node109 at 2011-06-03 16:54:27 IDJOB=3468008 IDBENCH=24999 IDSOLVER=1958 FILE ID=node109/3468008-1307112867 RUNJOBID= node109-1307105431-4946 PBS_JOBID= 13497981 Free space on /tmp= 73912 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468008-1307112867/watcher-3468008-1307112867 -o /tmp/evaluation-result-3468008-1307112867/solver-3468008-1307112867 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468008-1307112867.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=1739141938 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28410936 kB Buffers: 308680 kB Cached: 2239196 kB SwapCached: 10392 kB Active: 846912 kB Inactive: 3438352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28410936 kB SwapTotal: 67111528 kB SwapFree: 55664332 kB Dirty: 1224 kB Writeback: 0 kB AnonPages: 1733452 kB Mapped: 16780 kB Slab: 155340 kB PageTables: 37428 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 30896228 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node109 at 2011-06-03 17:24:29