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