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