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

OK	47560990

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103423-1466255566/watcher-4103423-1466255566 -o /tmp/evaluation-result-4103423-1466255566/solver-4103423-1466255566 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466241101-19193 --watchdog 1960 naps-1.02 HOME/instance-4103423-1466255566.opb 

pid=20594
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20597
/proc/meminfo: memFree=31810748/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=7756 CPUtime=0 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 27602497 7942144 451 33554432000 4194304 5796924 140735901692560 140737174761208 4600776 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 1939 451 114 392 0 1538 0

[startup+0.100157 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20597
/proc/meminfo: memFree=31810748/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=10376 CPUtime=0.09 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 1274 0 0 0 9 0 0 0 20 0 1 0 27602497 10625024 1148 33554432000 4194304 5796924 140735901692560 140737174761208 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 2594 1148 129 392 0 2193 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10376

[startup+0.200287 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20597
/proc/meminfo: memFree=31810748/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=12052 CPUtime=0.19 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 1765 0 0 0 19 0 0 0 20 0 1 0 27602497 12341248 1587 33554432000 4194304 5796924 140735901692560 140737174761208 4316861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 3013 1587 140 392 0 2612 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12052

[startup+0.3003 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20597
/proc/meminfo: memFree=31810748/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=13064 CPUtime=0.29 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 2023 0 0 0 29 0 0 0 20 0 1 0 27602497 13377536 1845 33554432000 4194304 5796924 140735901692560 140737174761208 5100122 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 3266 1845 144 392 0 2865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13064

[startup+0.700339 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20597
/proc/meminfo: memFree=31810748/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=27512 CPUtime=0.69 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 5690 0 0 0 69 0 0 0 20 0 1 0 27602497 28172288 5429 33554432000 4194304 5796924 140735901692560 140737174761208 4316830 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 6878 5429 144 392 0 6477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27512

[startup+1.50034 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20598
/proc/meminfo: memFree=31787568/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=32092 CPUtime=1.49 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 7243 0 0 0 148 1 0 0 20 0 1 0 27602497 32862208 6487 33554432000 4194304 5796924 140735901692560 140735901688776 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 8023 6490 144 392 0 7622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32092

[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20598
/proc/meminfo: memFree=31782988/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=37676 CPUtime=3.09 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 8131 0 0 0 308 1 0 0 20 0 1 0 27602497 38580224 7738 33554432000 4194304 5796924 140735901692560 140735901688776 5087780 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 9419 7738 144 392 0 9018 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37676

[startup+6.30034 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 20598
/proc/meminfo: memFree=31753108/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=67436 CPUtime=6.28 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 14451 0 0 0 626 2 0 0 20 0 1 0 27602497 69054464 15295 33554432000 4194304 5796924 140735901692560 140735901589080 5077887 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 16859 15295 144 392 0 16458 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67436

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 20598
/proc/meminfo: memFree=31730568/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=85912 CPUtime=12.69 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 16083 0 0 0 1265 4 0 0 20 0 1 0 27602497 87973888 19912 33554432000 4194304 5796924 140735901692560 140735901688776 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 21478 19912 145 392 0 21077 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85912

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 20598
/proc/meminfo: memFree=31730832/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=85912 CPUtime=25.49 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 16083 0 0 0 2545 4 0 0 20 0 1 0 27602497 87973888 19912 33554432000 4194304 5796924 140735901692560 140735901688776 4809306 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 21478 19912 145 392 0 21077 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85912

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20598
/proc/meminfo: memFree=31685028/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=130980 CPUtime=51.07 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27434 0 0 0 5102 5 0 0 20 0 1 0 27602497 134123520 31276 33554432000 4194304 5796924 140735901692560 140735901688776 5092545 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32745 31276 192 392 0 32344 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 130980

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20599
/proc/meminfo: memFree=31684988/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=102.26 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 10221 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 5092643 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 131376

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20601
/proc/meminfo: memFree=31684240/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=162.25 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 16220 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 5087606 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 131376

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20602
/proc/meminfo: memFree=31684376/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=222.25 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 22220 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 4313273 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 131376

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20603
/proc/meminfo: memFree=31521000/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=282.23 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 28218 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 5092416 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 131376

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20604
/proc/meminfo: memFree=31434396/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=342.22 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 34217 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 5092450 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 131376

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20605
/proc/meminfo: memFree=31246312/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=402.21 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 40216 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 5092427 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 131376

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20610
/proc/meminfo: memFree=30963644/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=462.2 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 46215 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 4199797 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 131376

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20611
/proc/meminfo: memFree=30863676/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=522.19 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 52214 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 131376

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20612
/proc/meminfo: memFree=30687304/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=131376 CPUtime=582.18 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 27530 0 0 0 58213 5 0 0 20 0 1 0 27602497 134529024 31372 33554432000 4194304 5796924 140735901692560 140735901688776 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 32844 31372 192 392 0 32443 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 131376


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20711
/proc/meminfo: memFree=31017480/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=882.15 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73292 0 0 0 88194 21 0 0 20 0 1 0 27602497 700588032 151099 33554432000 4194304 5796924 140735901692560 140735901687048 4805613 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 151099 221 392 0 170641 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 684168

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20712
/proc/meminfo: memFree=31016100/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=942.13 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73305 0 0 0 94192 21 0 0 20 0 1 0 27602497 700588032 151316 33554432000 4194304 5796924 140735901692560 140735901687048 4809129 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 151316 221 392 0 170641 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 684168

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20713
/proc/meminfo: memFree=31009856/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1002.12 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73307 0 0 0 100191 21 0 0 20 0 1 0 27602497 700588032 152196 33554432000 4194304 5796924 140735901692560 140735901687048 5092735 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152196 221 392 0 170641 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 684168

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20718
/proc/meminfo: memFree=31002904/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1062.11 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73316 0 0 0 106190 21 0 0 20 0 1 0 27602497 700588032 152526 33554432000 4194304 5796924 140735901692560 140735901687048 4805616 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152526 221 392 0 170641 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 684168

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20719
/proc/meminfo: memFree=31001360/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1122.1 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73320 0 0 0 112189 21 0 0 20 0 1 0 27602497 700588032 152816 33554432000 4194304 5796924 140735901692560 140735901687048 5087516 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152816 221 392 0 170641 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 684168

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20720
/proc/meminfo: memFree=31000536/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1182.09 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73329 0 0 0 118188 21 0 0 20 0 1 0 27602497 700588032 152850 33554432000 4194304 5796924 140735901692560 140735901687048 5092432 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152850 221 392 0 170641 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 684168

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20721
/proc/meminfo: memFree=30995416/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1242.08 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73330 0 0 0 124187 21 0 0 20 0 1 0 27602497 700588032 152851 33554432000 4194304 5796924 140735901692560 140735901687048 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152851 221 392 0 170641 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 684168

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20722
/proc/meminfo: memFree=30981804/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1302.07 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73336 0 0 0 130186 21 0 0 20 0 1 0 27602497 700588032 152857 33554432000 4194304 5796924 140735901692560 140735901687048 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152857 221 392 0 170641 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 684168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20724
/proc/meminfo: memFree=30972788/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1362.06 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73337 0 0 0 136185 21 0 0 20 0 1 0 27602497 700588032 152858 33554432000 4194304 5796924 140735901692560 140735901687048 4806764 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152858 221 392 0 170641 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 684168

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20725
/proc/meminfo: memFree=30972172/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1422.06 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73337 0 0 0 142185 21 0 0 20 0 1 0 27602497 700588032 152858 33554432000 4194304 5796924 140735901692560 140735901687048 4840387 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152858 221 392 0 170641 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 684168

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20726
/proc/meminfo: memFree=30970812/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=684168 CPUtime=1482.05 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 73338 0 0 0 148184 21 0 0 20 0 1 0 27602497 700588032 152859 33554432000 4194304 5796924 140735901692560 140735901687048 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 171042 152859 221 392 0 170641 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 684168

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20727
/proc/meminfo: memFree=30029980/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=1731636 CPUtime=1542.04 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 155134 0 0 0 154152 52 0 0 20 0 1 0 27602497 1773195264 387164 33554432000 4194304 5796924 140735901692560 140735901689608 4606427 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 432909 387164 223 392 0 432508 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1731636

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20728
/proc/meminfo: memFree=30016748/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=1735440 CPUtime=1602.02 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 155414 0 0 0 160150 52 0 0 20 0 1 0 27602497 1777090560 389998 33554432000 4194304 5796924 140735901692560 140735901689608 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 433860 389998 223 392 0 433459 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1735440

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20733
/proc/meminfo: memFree=30003420/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=1735440 CPUtime=1662.01 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 155686 0 0 0 166149 52 0 0 20 0 1 0 27602497 1777090560 392847 33554432000 4194304 5796924 140735901692560 140735901689608 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 433860 392847 223 392 0 433459 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1735440

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20734
/proc/meminfo: memFree=29979500/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=1820640 CPUtime=1722 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 156396 0 0 0 172146 54 0 0 20 0 1 0 27602497 1864335360 395589 33554432000 4194304 5796924 140735901692560 140735901689608 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 455160 395589 223 392 0 454759 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1820640

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20735
/proc/meminfo: memFree=29986180/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=1739252 CPUtime=1781.99 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 157414 0 0 0 178142 57 0 0 20 0 1 0 27602497 1780994048 393788 33554432000 4194304 5796924 140735901692560 140735901690024 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 434813 393788 223 392 0 434412 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1739252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20736
/proc/meminfo: memFree=29974256/32872528 swapFree=7780/7780
[pid=20597] ppid=20594 vsize=1820640 CPUtime=1800.08 cores=0,2,4,6
/proc/20597/stat : 20597 (naps-1.02) R 20594 20597 19177 0 -1 4202496 157602 0 0 0 179950 58 0 0 20 0 1 0 27602497 1864335360 396377 33554432000 4194304 5796924 140735901692560 140735901690200 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/20597/statm: 455160 396377 223 392 0 454759 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1820640

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20597 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.44
CPU time (s): 1800.13
CPU user time (s): 1799.51
CPU system time (s): 0.625904
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1950868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.625904
maximum resident set size= 1731024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157613
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= 75
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54885 second user time and 9.59254 second system time

The end

Begin job on node133 at 2016-06-18 15:12:46
IDJOB=4103423
IDBENCH=2354
IDSOLVER=2544
FILE ID=node133/4103423-1466255566
RUNJOBID= node133-1466241101-19193
PBS_JOBID= 19918201
Free space on /tmp= 71712 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103423-1466255566/watcher-4103423-1466255566 -o /tmp/evaluation-result-4103423-1466255566/solver-4103423-1466255566 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466241101-19193 --watchdog 1960  naps-1.02 HOME/instance-4103423-1466255566.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c716bc6c519760d619aa6878c926054c
RANDOM SEED=967654550

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31811168 kB
Buffers:          120000 kB
Cached:           175656 kB
SwapCached:         1324 kB
Active:           101304 kB
Inactive:         218548 kB
Active(anon):      24540 kB
Inactive(anon):     1904 kB
Active(file):      76764 kB
Inactive(file):   216644 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099968 kB
Dirty:              4328 kB
Writeback:            12 kB
AnonPages:         30932 kB
Mapped:             8932 kB
Shmem:                 0 kB
Slab:             605324 kB
SReclaimable:      48740 kB
SUnreclaim:       556584 kB
KernelStack:        1440 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     150072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node133 at 2016-06-18 15:42:46