Trace number 4439025

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSAT-DisjCad-S 2024-07-10SAT (TO)42423600 3600.05 3611.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUM542a59a1a1b8906e0495f473b09f11e4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30102502
Best CPU time to get the best result obtained on this benchmark71252.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.78/1.82	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1.78/1.82	c Do: 140723308053640 140723308053648
5.47/5.56	o 42423600
3600.03/3611.60	
3600.03/3611.60	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 -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 -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 -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
3600.03/3611.60	s SATISFIABLE

Verifier Data 

OK	42423600

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (59887 MiB free)
  memory of node 1: 64473 MiB (61925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439025-1721206613/watcher-4439025-1721206613 -o /tmp/evaluation-result-4439025-1721206613/solver-4439025-1721206613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721206625-897682 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439025-1721206613.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=897723, runsolver pid=897713

[startup+0.100098 s]*
/proc/loadavg: 1.21 1.24 2.05 5/243 897742
/proc/meminfo: memFree=124705800/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=23128 memory=8828 CPUtime=0.1 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 1477 0 0 0 10 0 0 0 20 0 1 0 172820137 23683072 2207 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 5782 2207 894 2594 0 2675 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23128 KiB
Current children cumulated memory: 8828 KiB

[startup+0.214207 s]*
/proc/loadavg: 1.21 1.24 2.05 5/243 897742
/proc/meminfo: memFree=124690596/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=26708 memory=12380 CPUtime=0.21 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 2348 0 0 0 21 0 0 0 20 0 1 0 172820137 27348992 3095 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 6677 3095 926 2594 0 3570 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26708 KiB
Current children cumulated memory: 12380 KiB

[startup+0.312921 s]*
/proc/loadavg: 1.21 1.24 2.05 5/243 897742
/proc/meminfo: memFree=124679936/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=30368 memory=15540 CPUtime=0.31 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 3388 0 0 0 30 1 0 0 20 0 1 0 172820137 31096832 3885 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 7592 3885 926 2594 0 4485 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30368 KiB
Current children cumulated memory: 15540 KiB

[startup+0.700331 s]
/proc/loadavg: 1.21 1.24 2.05 5/243 897742
/proc/meminfo: memFree=124632632/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=71372 memory=55640 CPUtime=0.69 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 11162 0 0 0 65 4 0 0 20 0 1 0 172820137 73084928 13910 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 17843 13910 926 2594 0 14736 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 55640 KiB

[startup+1.50034 s]
/proc/loadavg: 1.21 1.24 2.05 5/243 897742
/proc/meminfo: memFree=124556988/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=101912 memory=78600 CPUtime=1.48 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 14158 0 0 0 143 5 0 0 20 0 1 0 172820137 104357888 19650 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 25478 19650 1182 2594 0 22371 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101912 KiB
Current children cumulated memory: 78600 KiB

[startup+3.11321 s]
/proc/loadavg: 1.21 1.24 2.05 5/243 897742
/proc/meminfo: memFree=123832632/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=215380 memory=186828 CPUtime=3.09 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 30896 0 0 0 299 10 0 0 20 0 1 0 172820137 220549120 46707 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 53845 46707 1246 2594 0 50738 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215380 KiB
Current children cumulated memory: 186828 KiB

[startup+6.30031 s]
/proc/loadavg: 1.43 1.29 2.06 5/243 897744
/proc/meminfo: memFree=123357844/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=240056 memory=212464 CPUtime=6.27 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 33358 0 0 0 615 12 0 0 20 0 1 0 172820137 245817344 53116 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 60014 53116 1262 2594 0 56907 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 240056 KiB
Current children cumulated memory: 212464 KiB

[startup+12.7003 s]
/proc/loadavg: 1.64 1.33 2.07 5/243 897744
/proc/meminfo: memFree=122867004/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=261732 memory=237156 CPUtime=12.64 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 35720 0 0 0 1251 13 0 0 20 0 1 0 172820137 268013568 59289 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 65433 59289 1262 2594 0 62326 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 261732 KiB
Current children cumulated memory: 237156 KiB

[startup+25.5003 s]
/proc/loadavg: 2.16 1.47 2.10 5/243 897745
/proc/meminfo: memFree=119632664/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=269288 memory=244772 CPUtime=25.39 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 36172 0 0 0 2526 13 0 0 20 0 1 0 172820137 275750912 61193 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 67322 61193 1262 2594 0 64215 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 269288 KiB
Current children cumulated memory: 244772 KiB

[startup+51.113 s]
/proc/loadavg: 2.85 1.69 2.16 5/243 897796
/proc/meminfo: memFree=119633564/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=222008 memory=197800 CPUtime=50.92 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 41943 0 0 0 5073 19 0 0 20 0 1 0 172820137 227336192 49450 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 55502 49450 1262 2594 0 52395 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 197800 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.09 2.27 5/245 897973
/proc/meminfo: memFree=117918396/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=279780 memory=256468 CPUtime=101.94 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 44295 0 0 0 10173 21 0 0 20 0 1 0 172820137 286494720 64117 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 69945 64117 1262 2594 0 66838 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 279780 KiB
Current children cumulated memory: 256468 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.47 2.40 5/245 897984
/proc/meminfo: memFree=117909740/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=256076 memory=233132 CPUtime=161.78 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 51981 0 0 0 16146 32 0 0 20 0 1 0 172820137 262221824 58283 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 64019 58283 1262 2594 0 60912 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 256076 KiB
Current children cumulated memory: 233132 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.77 2.50 5/246 897999
/proc/meminfo: memFree=117896992/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=236356 memory=213008 CPUtime=221.63 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 54318 0 0 0 22128 35 0 0 20 0 1 0 172820137 242028544 53252 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 59089 53252 1262 2594 0 55982 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 236356 KiB
Current children cumulated memory: 213008 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.01 2.61 5/246 898020
/proc/meminfo: memFree=117304252/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=242864 memory=220104 CPUtime=281.47 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 60616 0 0 0 28105 42 0 0 20 0 1 0 172820137 248692736 55026 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 60716 55026 1262 2594 0 57609 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 242864 KiB
Current children cumulated memory: 220104 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.21 2.70 5/246 898031
/proc/meminfo: memFree=116856564/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=252784 memory=228936 CPUtime=341.31 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 66205 0 0 0 34081 50 0 0 20 0 1 0 172820137 258850816 57234 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 63196 57234 1262 2594 0 60089 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 252784 KiB
Current children cumulated memory: 228936 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.37 2.79 5/246 898041
/proc/meminfo: memFree=117450368/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=271360 memory=247632 CPUtime=401.15 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 74812 0 0 0 40052 63 0 0 20 0 1 0 172820137 277872640 61908 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 67840 61908 1262 2594 0 64733 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 271360 KiB
Current children cumulated memory: 247632 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.52 2.88 5/244 898052
/proc/meminfo: memFree=117392452/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=293488 memory=269760 CPUtime=461 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 80848 0 0 0 46024 76 0 0 20 0 1 0 172820137 300531712 67440 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 73372 67440 1262 2594 0 70265 0

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

Current children cumulated memory: 509476 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.13 4.04 5/243 899097
/proc/meminfo: memFree=116716608/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=628788 memory=605684 CPUtime=2853.26 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 215127 0 0 0 285019 307 0 0 20 0 1 0 172820137 643878912 151421 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 157197 151421 1262 2594 0 154090 0
Current children cumulated CPU time: 2853.26 s
Current children cumulated vsize: 628788 KiB
Current children cumulated memory: 605684 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.15 4.05 5/243 899107
/proc/meminfo: memFree=116226000/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=546216 memory=523244 CPUtime=2913.07 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 216292 0 0 0 290995 312 0 0 20 0 1 0 172820137 559325184 130811 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 136554 130811 1262 2594 0 133447 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 546216 KiB
Current children cumulated memory: 523244 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.05 5/241 899118
/proc/meminfo: memFree=116303104/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=463612 memory=438772 CPUtime=2972.86 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 218947 0 0 0 296968 318 0 0 20 0 1 0 172820137 474738688 109693 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 115903 109693 1262 2594 0 112796 0
Current children cumulated CPU time: 2972.86 s
Current children cumulated vsize: 463612 KiB
Current children cumulated memory: 438772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/241 899128
/proc/meminfo: memFree=116305376/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=463612 memory=438804 CPUtime=3032.66 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 220498 0 0 0 302944 322 0 0 20 0 1 0 172820137 474738688 109701 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 115903 109701 1262 2594 0 112796 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 463612 KiB
Current children cumulated memory: 438804 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.14 4.06 5/244 899143
/proc/meminfo: memFree=116212704/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=566168 memory=541332 CPUtime=3092.46 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 222076 0 0 0 308920 326 0 0 20 0 1 0 172820137 579756032 135333 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 141542 135333 1262 2594 0 138435 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 566168 KiB
Current children cumulated memory: 541332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/244 899154
/proc/meminfo: memFree=116659228/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=586448 memory=561640 CPUtime=3152.25 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 223246 0 0 0 314893 332 0 0 20 0 1 0 172820137 600522752 140410 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 146612 140410 1262 2594 0 143505 0
Current children cumulated CPU time: 3152.25 s
Current children cumulated vsize: 586448 KiB
Current children cumulated memory: 561640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/246 899168
/proc/meminfo: memFree=116673748/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=531636 memory=506828 CPUtime=3212.06 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 224550 0 0 0 320870 336 0 0 20 0 1 0 172820137 544395264 126707 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 132909 126707 1262 2594 0 129802 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 531636 KiB
Current children cumulated memory: 506828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/246 899178
/proc/meminfo: memFree=116143284/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=529604 memory=504796 CPUtime=3271.85 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 225328 0 0 0 326848 337 0 0 20 0 1 0 172820137 542314496 126199 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 132401 126199 1262 2594 0 129294 0
Current children cumulated CPU time: 3271.85 s
Current children cumulated vsize: 529604 KiB
Current children cumulated memory: 504796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/246 899189
/proc/meminfo: memFree=116152432/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=530800 memory=505992 CPUtime=3331.65 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 226705 0 0 0 332825 340 0 0 20 0 1 0 172820137 543539200 126498 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 132700 126498 1262 2594 0 129593 0
Current children cumulated CPU time: 3331.65 s
Current children cumulated vsize: 530800 KiB
Current children cumulated memory: 505992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/243 899199
/proc/meminfo: memFree=116130332/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=531492 memory=506684 CPUtime=3391.44 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 227770 0 0 0 338802 342 0 0 20 0 1 0 172820137 544247808 126671 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 132873 126671 1262 2594 0 129766 0
Current children cumulated CPU time: 3391.44 s
Current children cumulated vsize: 531492 KiB
Current children cumulated memory: 506684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/243 899210
/proc/meminfo: memFree=116145840/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=533136 memory=508328 CPUtime=3451.25 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 228411 0 0 0 344781 344 0 0 20 0 1 0 172820137 545931264 127082 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 133284 127082 1262 2594 0 130177 0
Current children cumulated CPU time: 3451.25 s
Current children cumulated vsize: 533136 KiB
Current children cumulated memory: 508328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/245 899604
/proc/meminfo: memFree=116167236/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=533812 memory=509004 CPUtime=3511.03 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 229654 0 0 0 350757 346 0 0 20 0 1 0 172820137 546623488 127251 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 133453 127251 1262 2594 0 130346 0
Current children cumulated CPU time: 3511.03 s
Current children cumulated vsize: 533812 KiB
Current children cumulated memory: 509004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/243 899615
/proc/meminfo: memFree=116096440/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=534852 memory=510044 CPUtime=3570.83 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 231040 0 0 0 356734 349 0 0 20 0 1 0 172820137 547688448 127511 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 133713 127511 1262 2594 0 130606 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 534852 KiB
Current children cumulated memory: 510044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.09 4.10 4.08 5/243 899667
/proc/meminfo: memFree=121367176/131655788 swapFree=131071996/131071996
[pid=897723] ppid=897713 vsize=534852 memory=510044 CPUtime=3600.03 cores=5,7
/proc/897723/stat : 897723 (CASHWMaxSAT-Dis) R 897713 897723 897669 0 -1 4194304 231075 0 0 0 359654 349 0 0 20 0 1 0 172820137 547688448 127511 134679101440 4194304 14817773 140723308056048 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 51347456 140723308061668 140723308061783 140723308061783 140723308068799 0
/proc/897723/statm: 133713 127511 1262 2594 0 130606 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 534852 KiB
Current children cumulated memory: 510044 KiB

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

[startup+3611.61 s]
# the end of solver process 897723 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3596.55 s, system=3.50838 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3611.61
CPU time (s): 3600.05
CPU user time (s): 3596.55
CPU system time (s): 3.50838
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 887832
Max. memory (cumulated for all children) (KiB): 863920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.55
system time used= 3.50838
maximum resident set size= 863920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231086
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= 42
involuntary context switches= 1661


# summary of solver processes directly reported to runsolver:
#   pid: 897723
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3596.55
#   total CPU system time (s): 3.50838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6926 second user time and 36.3826 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-17 10:57:05
IDJOB=4439025
IDBENCH=146797
IDSOLVER=3075
FILE ID=nodeC005/4439025-1721206613
RUNJOBID= nodeC005-1721206625-897682
SLURM_JOB_ID= 7508908
Free space on /tmp= 723780 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439025-1721206613/watcher-4439025-1721206613 -o /tmp/evaluation-result-4439025-1721206613/solver-4439025-1721206613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721206625-897682 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4439025-1721206613.opb -total-t=3600 -no-par -v0

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=2116375862

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.186
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.183
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.179
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1609.364
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.186
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.183
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124737416 kB
MemAvailable:   129881024 kB
Buffers:          432204 kB
Cached:          5489660 kB
SwapCached:            0 kB
Active:           881652 kB
Inactive:        5360936 kB
Active(anon):       3328 kB
Inactive(anon):   355136 kB
Active(file):     878324 kB
Inactive(file):  5005800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             62416 kB
Writeback:             8 kB
AnonPages:        319980 kB
Mapped:           106004 kB
Shmem:             37704 kB
KReclaimable:     199364 kB
Slab:             313488 kB
SReclaimable:     199364 kB
SUnreclaim:       114124 kB
KernelStack:        3584 kB
PageTables:         9636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     767972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC005 at 2024-07-17 11:57:17