Trace number 4438622

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-SP 2024-07-10SAT (TO)48138654 3600.02 3610.01

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 

5.67/5.74	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
5.67/5.74	o 48138654
3600.00/3610.01	
3600.00/3610.01	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.00/3610.01	s SATISFIABLE

Verifier Data 

OK	48138654

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 (56520 MiB free)
  memory of node 1: 64473 MiB (45083 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438622-1721203002/watcher-4438622-1721203002 -o /tmp/evaluation-result-4438622-1721203002/solver-4438622-1721203002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721194640-890945 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438622-1721203002.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
solver pid=895713, runsolver pid=895710
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 4.03 4.10 4.08 5/243 895714
/proc/meminfo: memFree=104033208/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=29600 memory=14220 CPUtime=0.1 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 3165 0 0 0 10 0 0 0 20 0 1 0 172459045 30310400 3555 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 7400 3555 1034 2726 0 4148 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29600 KiB
Current children cumulated memory: 14220 KiB

[startup+0.213174 s]*
/proc/loadavg: 4.03 4.10 4.08 5/243 895714
/proc/meminfo: memFree=104028832/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=33172 memory=17772 CPUtime=0.21 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 4027 0 0 0 21 0 0 0 20 0 1 0 172459045 33968128 4443 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 8293 4443 1066 2726 0 5041 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 17772 KiB

[startup+0.312956 s]*
/proc/loadavg: 4.03 4.10 4.08 5/243 895714
/proc/meminfo: memFree=104022532/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=41012 memory=25424 CPUtime=0.31 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 5747 0 0 0 31 0 0 0 20 0 1 0 172459045 41996288 6356 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 10253 6356 1066 2726 0 7001 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41012 KiB
Current children cumulated memory: 25424 KiB

[startup+0.700337 s]
/proc/loadavg: 4.03 4.10 4.08 5/243 895714
/proc/meminfo: memFree=103994520/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=88084 memory=72820 CPUtime=0.69 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 12484 0 0 0 67 2 0 0 20 0 1 0 172459045 90198016 18205 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 22021 18205 1066 2726 0 18769 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 88084 KiB
Current children cumulated memory: 72820 KiB

[startup+1.50033 s]
/proc/loadavg: 4.03 4.10 4.08 5/243 895714
/proc/meminfo: memFree=103970924/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=203196 memory=175988 CPUtime=1.48 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 26815 0 0 0 143 5 0 0 20 0 1 0 172459045 208072704 43997 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 50799 43997 1338 2726 0 47547 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203196 KiB
Current children cumulated memory: 175988 KiB

[startup+3.1129 s]
/proc/loadavg: 4.03 4.10 4.08 5/243 895714
/proc/meminfo: memFree=103820740/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=227600 memory=203088 CPUtime=3.09 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 32210 0 0 0 301 8 0 0 20 0 1 0 172459045 233062400 50772 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 56900 50772 1418 2726 0 53648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 227600 KiB
Current children cumulated memory: 203088 KiB

[startup+6.30032 s]
/proc/loadavg: 4.02 4.09 4.08 5/243 895714
/proc/meminfo: memFree=103793984/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=284868 memory=253256 CPUtime=6.27 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 33698 0 0 0 617 10 0 0 20 0 1 0 172459045 291704832 63314 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 71217 63314 1418 2726 0 67965 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 284868 KiB
Current children cumulated memory: 253256 KiB

[startup+12.7003 s]
/proc/loadavg: 4.02 4.09 4.08 5/243 895716
/proc/meminfo: memFree=103818892/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=260372 memory=235844 CPUtime=12.65 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 35351 0 0 0 1254 11 0 0 20 0 1 0 172459045 266620928 58961 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 65093 58961 1418 2726 0 61841 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 260372 KiB
Current children cumulated memory: 235844 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/243 895717
/proc/meminfo: memFree=103809536/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=260696 memory=236128 CPUtime=25.42 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 35969 0 0 0 2529 13 0 0 20 0 1 0 172459045 266952704 59032 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 65174 59032 1418 2726 0 61922 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 260696 KiB
Current children cumulated memory: 236128 KiB

[startup+51.1129 s]
/proc/loadavg: 4.06 4.09 4.09 5/243 895722
/proc/meminfo: memFree=103792756/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=272200 memory=247588 CPUtime=50.95 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 37791 0 0 0 5081 14 0 0 20 0 1 0 172459045 278732800 61897 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 68050 61897 1418 2726 0 64798 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 272200 KiB
Current children cumulated memory: 247588 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/243 895730
/proc/meminfo: memFree=103785992/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=272200 memory=247688 CPUtime=101.97 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 37888 0 0 0 10183 14 0 0 20 0 1 0 172459045 278732800 61922 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 68050 61922 1418 2726 0 64798 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 272200 KiB
Current children cumulated memory: 247688 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/245 895911
/proc/meminfo: memFree=103734208/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=277140 memory=252628 CPUtime=161.79 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 41650 0 0 0 16158 21 0 0 20 0 1 0 172459045 283791360 63157 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 69285 63157 1418 2726 0 66033 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 277140 KiB
Current children cumulated memory: 252628 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 895923
/proc/meminfo: memFree=103728000/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=310028 memory=285396 CPUtime=221.6 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 42944 0 0 0 22137 23 0 0 20 0 1 0 172459045 317468672 71349 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 77507 71349 1418 2726 0 74255 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 310028 KiB
Current children cumulated memory: 285396 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/243 895944
/proc/meminfo: memFree=101515196/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=281444 memory=256684 CPUtime=281.42 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 44150 0 0 0 28116 26 0 0 20 0 1 0 172459045 288198656 64171 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 70361 64171 1418 2726 0 67109 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 281444 KiB
Current children cumulated memory: 256684 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/243 895956
/proc/meminfo: memFree=103786056/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=283288 memory=258592 CPUtime=341.24 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 45179 0 0 0 34097 27 0 0 20 0 1 0 172459045 290086912 64648 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 70822 64648 1418 2726 0 67570 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 283288 KiB
Current children cumulated memory: 258592 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/243 895966
/proc/meminfo: memFree=103721876/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=346956 memory=322316 CPUtime=401.04 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 47403 0 0 0 40071 33 0 0 20 0 1 0 172459045 355282944 80579 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 86739 80579 1418 2726 0 83487 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 346956 KiB
Current children cumulated memory: 322316 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 895977
/proc/meminfo: memFree=103704792/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=337912 memory=313304 CPUtime=460.86 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 50942 0 0 0 46046 40 0 0 20 0 1 0 172459045 346021888 78326 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 84478 78326 1418 2726 0 81226 0

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

Current children cumulated memory: 480976 KiB

[startup+2862.3 s]
/proc/loadavg: 1.17 2.05 3.17 2/222 897114
/proc/meminfo: memFree=124306676/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=523156 memory=500220 CPUtime=2853.95 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 144487 0 0 0 285139 256 0 0 20 0 1 0 172459045 535711744 125055 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 130789 125055 1418 2726 0 127537 0
Current children cumulated CPU time: 2853.95 s
Current children cumulated vsize: 523156 KiB
Current children cumulated memory: 500220 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 1.87 3.04 2/222 897124
/proc/meminfo: memFree=124302104/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=527360 memory=504424 CPUtime=2913.82 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 145962 0 0 0 291119 263 0 0 20 0 1 0 172459045 540016640 126106 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 131840 126106 1418 2726 0 128588 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 527360 KiB
Current children cumulated memory: 504424 KiB

[startup+2982.3 s]
/proc/loadavg: 1.09 1.73 2.91 2/220 897135
/proc/meminfo: memFree=124327128/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=590144 memory=566976 CPUtime=2973.69 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 148284 0 0 0 297096 273 0 0 20 0 1 0 172459045 604307456 141744 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 147536 141744 1418 2726 0 144284 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 590144 KiB
Current children cumulated memory: 566976 KiB

[startup+3042.3 s]
/proc/loadavg: 1.14 1.62 2.80 2/220 897145
/proc/meminfo: memFree=124313348/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=516156 memory=493220 CPUtime=3033.55 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 150388 0 0 0 303074 281 0 0 20 0 1 0 172459045 528543744 123305 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 129039 123305 1418 2726 0 125787 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 516156 KiB
Current children cumulated memory: 493220 KiB

[startup+3102.3 s]
/proc/loadavg: 1.71 1.70 2.75 2/220 897156
/proc/meminfo: memFree=124320496/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=508692 memory=485756 CPUtime=3093.42 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 152146 0 0 0 309053 289 0 0 20 0 1 0 172459045 520900608 121439 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 127173 121439 1418 2726 0 123921 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 508692 KiB
Current children cumulated memory: 485756 KiB

[startup+3162.3 s]
/proc/loadavg: 1.30 1.58 2.64 2/220 897167
/proc/meminfo: memFree=124322020/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=506776 memory=483840 CPUtime=3153.29 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 153832 0 0 0 315032 297 0 0 20 0 1 0 172459045 518938624 120960 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 126694 120960 1418 2726 0 123442 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 506776 KiB
Current children cumulated memory: 483840 KiB

[startup+3222.3 s]
/proc/loadavg: 1.21 1.50 2.54 2/220 897177
/proc/meminfo: memFree=124307784/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=520788 memory=497852 CPUtime=3213.16 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 155270 0 0 0 321011 305 0 0 20 0 1 0 172459045 533286912 124463 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 130197 124463 1418 2726 0 126945 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 520788 KiB
Current children cumulated memory: 497852 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.42 2.45 2/222 897192
/proc/meminfo: memFree=124297628/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=530412 memory=507476 CPUtime=3273.02 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 156226 0 0 0 326993 309 0 0 20 0 1 0 172459045 543141888 126869 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 132603 126869 1418 2726 0 129351 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 530412 KiB
Current children cumulated memory: 507476 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.38 2.37 2/222 897202
/proc/meminfo: memFree=124346036/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=481828 memory=458892 CPUtime=3332.89 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 157965 0 0 0 332976 313 0 0 20 0 1 0 172459045 493391872 114723 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 120457 114723 1418 2726 0 117205 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 481828 KiB
Current children cumulated memory: 458892 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.32 2.28 2/222 897212
/proc/meminfo: memFree=124344112/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=483488 memory=460552 CPUtime=3392.75 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 159253 0 0 0 338959 316 0 0 20 0 1 0 172459045 495091712 115138 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 120872 115138 1418 2726 0 117620 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 483488 KiB
Current children cumulated memory: 460552 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.29 2.21 2/222 897224
/proc/meminfo: memFree=124339624/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=485296 memory=464408 CPUtime=3452.62 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 160265 0 0 0 344943 319 0 0 20 0 1 0 172459045 496943104 116102 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 121324 116102 1418 2726 0 118072 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 485296 KiB
Current children cumulated memory: 464408 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.25 2.14 2/222 897234
/proc/meminfo: memFree=124339804/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=485308 memory=464420 CPUtime=3512.49 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 160772 0 0 0 350928 321 0 0 20 0 1 0 172459045 496955392 116105 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 121327 116105 1418 2726 0 118075 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 485308 KiB
Current children cumulated memory: 464420 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.23 2.07 2/222 897628
/proc/meminfo: memFree=124337604/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=486752 memory=465864 CPUtime=3572.36 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 161712 0 0 0 356912 324 0 0 20 0 1 0 172459045 498434048 116466 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 121688 116466 1418 2726 0 118436 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 486752 KiB
Current children cumulated memory: 465864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 1.23 1.25 2.06 2/222 897633
/proc/meminfo: memFree=124337544/131655788 swapFree=131071996/131071996
[pid=895713] ppid=895710 vsize=486824 memory=465936 CPUtime=3600 cores=5,7
/proc/895713/stat : 895713 (CASHWMaxSAT-Dis) R 895710 895713 890932 0 -1 4194304 162548 0 0 0 359675 325 0 0 20 0 1 0 172459045 498507776 116484 134679101440 4194304 15356333 140729858558848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 32489472 140729858565090 140729858565206 140729858565206 140729858572222 0
/proc/895713/statm: 121706 116484 1418 2726 0 118454 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 486824 KiB
Current children cumulated memory: 465936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.76 s, system=3.25959 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.02
CPU user time (s): 3596.76
CPU system time (s): 3.25959
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 751780
Max. memory (cumulated for all children) (KiB): 687828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.76
system time used= 3.25959
maximum resident set size= 727140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162558
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= 60
involuntary context switches= 1722


# summary of solver processes directly reported to runsolver:
#   pid: 895713
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.76
#   total CPU system time (s): 3.25959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.438 second user time and 34.1394 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-17 09:56:54
IDJOB=4438622
IDBENCH=146797
IDSOLVER=3074
FILE ID=nodeC005/4438622-1721203002
RUNJOBID= nodeC005-1721194640-890945
SLURM_JOB_ID= 7508873
Free space on /tmp= 723732 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 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-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438622-1721203002/watcher-4438622-1721203002 -o /tmp/evaluation-result-4438622-1721203002/solver-4438622-1721203002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721194640-890945 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4438622-1721203002.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=844734019

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		: 3496.389
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		: 3491.765
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.319
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.219
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		: 3491.765
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		: 3482.106
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.362
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.177
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:        104043056 kB
MemAvailable:   109160472 kB
Buffers:          430792 kB
Cached:          5464592 kB
SwapCached:            0 kB
Active:           876332 kB
Inactive:       26019356 kB
Active(anon):       3464 kB
Inactive(anon): 21034260 kB
Active(file):     872868 kB
Inactive(file):  4985096 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14756 kB
Writeback:             0 kB
AnonPages:      20999104 kB
Mapped:           123072 kB
Shmem:             37704 kB
KReclaimable:     199300 kB
Slab:             313924 kB
SReclaimable:     199300 kB
SUnreclaim:       114624 kB
KernelStack:        3916 kB
PageTables:        50516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   23424704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55296 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10737664 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= 723768 MiB
End job on nodeC005 at 2024-07-17 10:57:05