Trace number 4434995

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
NaPS-PB16 1.02b5SAT (TO)34799854 3600.07 3612.31

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4434995-1721065737.opb
3600.04/3612.30	o 64991412
3600.04/3612.30	o 34799854
3600.04/3612.30	c 
3600.04/3612.30	c *** TERMINATED *** by signal 15
3600.04/3612.30	s SATISFIABLE
3600.04/3612.30	c _____________________________________________________________________________
3600.04/3612.30	c 
3600.04/3612.30	c std/band forms        : 373,24
3600.04/3612.30	c 2cl/3cl ITE-codings   : 928684,120
3600.04/3612.30	c BDD/srt/adr Max costs : 52718,1742751,0
3600.04/3612.30	c BDDraw/bin/mul/srt/adr: 281,0,90,26,0
3600.04/3612.30	c BDD nodes             : 2042028
3600.04/3612.30	c Es1/CC detections     : 0,0
3600.04/3612.30	c SAT/UNSAT calls       : 2,0
3600.04/3612.30	c regenrated variables  : 45030
3600.04/3612.30	c restarts              : 32614
3600.04/3612.30	c conflicts             : 4577960        (1272 /sec)
3600.04/3612.30	c decisions             : 24885151       (6915 /sec)
3600.04/3612.30	c propagations          : 13790422281    (3832157 /sec)
3600.04/3612.30	c inspects              : 0              (0 /sec)
3600.04/3612.30	c CPU time (solving tm) : 3599 s        (3544 s)
3600.04/3612.30	c Time for Opt-base     : 37.5 s
3600.04/3612.30	c _____________________________________________________________________________
3600.04/3612.30	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
3600.04/3612.30	v -x387 -x388 -x389 -x390 -x392 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x403 -x404 -x405 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x414 -x415 -x416 -x417 -x418 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x432 -x433 -x434 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x459 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x470 -x471 -x472 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x481 -x482 -x483 -x484 -x485 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x486 -x487 -x488 -x489 -x490 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x499 -x500 -x501 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x525 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 -x548 x549 -x550 -x551 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x552 -x553 -x554 -x555 -x556 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x566 -x567 -x568 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x579 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x592 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x614 -x615 -x616 -x617 -x618 -x1765 -x1766 -x1767 -x1769 -x1770 -x1771 -x619 -x620 -x621 x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x645 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x658 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x712 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x736 -x737 -x738 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 x749 -x750 -x751 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x752 -x753 -x754 -x755 -x756 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x765 -x766 -x767 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x792 -x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x803 -x804 -x805 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x814 -x815 -x816 -x817 -x818 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x832 -x833 -x834 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x845 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x858 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 x870 -x871 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x885 -x886 -x887 x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x912 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x3164 -x3165 x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081
3600.04/3612.30	v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x4390 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4391 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4702 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5011 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5315 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5319 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x2233 x2235 -x2236 -x2237 -x2238 -x2239 -x2541 -x2542 -x2543 -x2545 -x2546 -x2547 x2849 -x2850 -x2851 -x2852 -x2853 -x2855 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3773 x3775 -x3776 -x3777 -x3778 -x3779 -x4081 x4082 -x4083 -x4085 -x4086 -x4087 -x4389 -x4392 x4393 -x4395 x4697 -x4698 -x4699 -x4700 -x4701 x5006 -x5007 -x5008 -x5009 -x5010 -x5313 -x5316 -x5317 x5318 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 x2989 x2990 -x2991 x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 -x5145 x5146 x5147 -x5148 x5149 -x5150 x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 -x2096 x2097 -x2098 x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 x2404 x2405 x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 x3637 x3638 x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 x3943 -x3944 x3945 -x3946 -x3947 x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 x4252 -x4253 -x4254 x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345
3600.04/3612.30	v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 x5575 x5576 x5577 -x5578 x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696

Verifier Data 

OK	34799854

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: 63931 MiB (58487 MiB free)
  memory of node 1: 64510 MiB (58111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434995-1721065737/watcher-4434995-1721065737 -o /tmp/evaluation-result-4434995-1721065737/solver-4434995-1721065737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721059647-836709 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4434995-1721065737.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=839977, runsolver pid=839974

[startup+0.100092 s]*
/proc/loadavg: 4.10 4.13 4.10 5/259 839982
/proc/meminfo: memFree=119390552/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=12504 memory=7368 CPUtime=0.09 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 1550 0 0 0 9 0 0 0 20 0 1 0 158735557 12804096 1842 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 3126 1842 405 379 0 2660 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22436 KiB
Current children cumulated memory: 10100 KiB

[startup+0.205547 s]*
/proc/loadavg: 4.10 4.13 4.10 5/259 839982
/proc/meminfo: memFree=119378444/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=25448 memory=20380 CPUtime=0.19 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 4865 0 0 0 19 0 0 0 20 0 1 0 158735557 26058752 5095 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 6362 5095 421 379 0 5896 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35380 KiB
Current children cumulated memory: 23112 KiB

[startup+0.305525 s]*
/proc/loadavg: 4.10 4.13 4.10 5/259 839982
/proc/meminfo: memFree=119375280/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=27720 memory=22492 CPUtime=0.3 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 5436 0 0 0 29 1 0 0 20 0 1 0 158735557 28385280 5623 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 6930 5623 421 379 0 6464 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37652 KiB
Current children cumulated memory: 25224 KiB

[startup+0.700256 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 839982
/proc/meminfo: memFree=119373092/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=33352 memory=27704 CPUtime=0.69 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 6744 0 0 0 68 1 0 0 20 0 1 0 158735557 34152448 6926 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 8338 6926 421 379 0 7872 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43284 KiB
Current children cumulated memory: 30436 KiB

[startup+1.50027 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 839982
/proc/meminfo: memFree=119369088/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=38012 memory=32148 CPUtime=1.48 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 7952 0 0 0 147 1 0 0 20 0 1 0 158735557 38924288 8037 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 9503 8037 421 379 0 9037 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 34880 KiB

[startup+3.10538 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 839984
/proc/meminfo: memFree=119337296/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=67772 memory=60256 CPUtime=3.08 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 14288 0 0 0 306 2 0 0 20 0 1 0 158735557 69398528 15064 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 16943 15064 421 379 0 16477 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77704 KiB
Current children cumulated memory: 62988 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 839984
/proc/meminfo: memFree=119305868/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=126504 memory=120312 CPUtime=6.27 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 26808 0 0 0 622 5 0 0 20 0 1 0 158735557 129540096 30078 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 31626 30078 421 379 0 31160 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 136436 KiB
Current children cumulated memory: 123044 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 839984
/proc/meminfo: memFree=119262408/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=140708 memory=130100 CPUtime=12.65 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 29300 0 0 0 1260 5 0 0 20 0 1 0 158735557 144084992 32525 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 35177 32525 421 379 0 34711 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 150640 KiB
Current children cumulated memory: 132832 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 839987
/proc/meminfo: memFree=119254436/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=140708 memory=133432 CPUtime=25.4 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 29606 0 0 0 2535 5 0 0 20 0 1 0 158735557 144084992 33358 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 35177 33358 421 379 0 34711 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 150640 KiB
Current children cumulated memory: 136164 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.14 4.10 5/259 839990
/proc/meminfo: memFree=118552344/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=902572 memory=820292 CPUtime=50.93 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 78971 0 0 0 5066 27 0 0 20 0 1 0 158735557 924233728 205073 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 225643 205073 421 379 0 225177 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 912504 KiB
Current children cumulated memory: 823024 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/262 840004
/proc/meminfo: memFree=118599332/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=913640 memory=833832 CPUtime=101.95 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 81889 0 0 0 10166 29 0 0 20 0 1 0 158735557 935567360 208458 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 228410 208458 421 379 0 227944 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 923572 KiB
Current children cumulated memory: 836564 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 840014
/proc/meminfo: memFree=118564572/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=919696 memory=839996 CPUtime=161.75 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 83901 0 0 0 16143 32 0 0 20 0 1 0 158735557 941768704 209999 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 229924 209999 421 379 0 229458 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 929628 KiB
Current children cumulated memory: 842728 KiB

[startup+222.3 s]
/proc/loadavg: 4.42 4.21 4.12 5/262 840024
/proc/meminfo: memFree=118618004/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=923132 memory=845792 CPUtime=221.54 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 85841 0 0 0 22120 34 0 0 20 0 1 0 158735557 945287168 211448 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 230783 211448 421 379 0 230317 0
Current children cumulated CPU time: 221.54 s

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

/proc/839982/statm: 642335 568469 421 379 0 641869 0
Current children cumulated CPU time: 3091.74 s
Current children cumulated vsize: 2579272 KiB
Current children cumulated memory: 2276608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 841933
/proc/meminfo: memFree=100810832/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2569340 memory=2280020 CPUtime=3151.55 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 248194 0 0 0 315015 140 0 0 20 0 1 0 158735557 2631004160 570005 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 642335 570005 421 379 0 641869 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 2579272 KiB
Current children cumulated memory: 2282752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 841943
/proc/meminfo: memFree=100884340/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2569340 memory=2286164 CPUtime=3211.35 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 249125 0 0 0 320995 140 0 0 20 0 1 0 158735557 2631004160 571541 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 642335 571541 421 379 0 641869 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 2579272 KiB
Current children cumulated memory: 2288896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 841953
/proc/meminfo: memFree=100857304/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2569340 memory=2292308 CPUtime=3271.16 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 250034 0 0 0 326975 141 0 0 20 0 1 0 158735557 2631004160 573077 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 642335 573077 421 379 0 641869 0
Current children cumulated CPU time: 3271.16 s
Current children cumulated vsize: 2579272 KiB
Current children cumulated memory: 2295040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/262 841965
/proc/meminfo: memFree=100828140/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2569340 memory=2298452 CPUtime=3330.95 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 250872 0 0 0 332954 141 0 0 20 0 1 0 158735557 2631004160 574613 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 642335 574613 421 379 0 641869 0
Current children cumulated CPU time: 3330.95 s
Current children cumulated vsize: 2579272 KiB
Current children cumulated memory: 2301184 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.12 5/259 841975
/proc/meminfo: memFree=100823112/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2569340 memory=2308692 CPUtime=3390.76 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 251829 0 0 0 338934 142 0 0 20 0 1 0 158735557 2631004160 577173 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 642335 577173 421 379 0 641869 0
Current children cumulated CPU time: 3390.76 s
Current children cumulated vsize: 2579272 KiB
Current children cumulated memory: 2311424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.22 4.14 5/259 841985
/proc/meminfo: memFree=100797848/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2701600 memory=2313048 CPUtime=3450.56 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 253338 0 0 0 344913 143 0 0 20 0 1 0 158735557 2766438400 578262 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 675400 578262 421 379 0 674934 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 2711532 KiB
Current children cumulated memory: 2315780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/258 841996
/proc/meminfo: memFree=100772440/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2701600 memory=2319548 CPUtime=3510.35 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 254181 0 0 0 350891 144 0 0 20 0 1 0 158735557 2766438400 579887 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 675400 579887 421 379 0 674934 0
Current children cumulated CPU time: 3510.35 s
Current children cumulated vsize: 2711532 KiB
Current children cumulated memory: 2322280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/259 842007
/proc/meminfo: memFree=100747632/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2701600 memory=2325944 CPUtime=3570.15 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 254990 0 0 0 356871 144 0 0 20 0 1 0 158735557 2766438400 581486 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 675400 581486 421 379 0 674934 0
Current children cumulated CPU time: 3570.15 s
Current children cumulated vsize: 2711532 KiB
Current children cumulated memory: 2328676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/259 842013
/proc/meminfo: memFree=100737224/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2701600 memory=2327992 CPUtime=3600.04 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 255436 0 0 0 359860 144 0 0 20 0 1 0 158735557 2766438400 581998 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 675400 581998 421 379 0 674934 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2711532 KiB
Current children cumulated memory: 2330724 KiB

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

[startup+3612.3 s]
# the end of solver process 839977 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000863 s, system=0.001984 s

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

# cumulated CPU time of all completed processes:  user=3598.61 s, system=1.45779 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3612.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/259 842013
/proc/meminfo: memFree=100737224/131524600 swapFree=131071996/131071996
[pid=839977] ppid=839974 vsize=9932 memory=2732 CPUtime=0 cores=0,2
/proc/839977/stat : 839977 (naps-1.02b5.sh) S 839974 839977 836699 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 158735557 10170368 683 134679101440 94558006980608 94558008059928 140722164350560 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94558010158384 94558010205572 94558014836736 140722164351968 140722164352095 140722164352095 140722164359110 0
/proc/839977/statm: 2483 683 605 264 0 134 0
[pid=839982] ppid=839977 vsize=2701600 memory=2327992 CPUtime=3600.04 cores=0,2
/proc/839982/stat : 839982 (naps-1.02b5) R 839977 839977 836699 0 -1 4194304 255436 0 0 0 359860 144 0 0 20 0 1 0 158735557 2766438400 581998 134679101440 4194304 5746509 140733746522864 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13922304 140733746525167 140733746525281 140733746525281 140733746532297 0
/proc/839982/statm: 675400 581998 421 379 0 674934 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2711532 KiB
Current children cumulated memory: 2330724 KiB

Child status: 10

Real time (s): 3612.31
CPU time (s): 3600.07
CPU user time (s): 3598.61
CPU system time (s): 1.45779
CPU usage (%): 99.661
Max. virtual memory (cumulated for all children) (KiB): 2923148
Max. memory (cumulated for all children) (KiB): 2524016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.45779
maximum resident set size= 2521284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255895
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= 251
involuntary context switches= 25212


# summary of solver processes directly reported to runsolver:
#   pid: 839977,839982
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.61
#   total CPU system time (s): 1.45779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2444 second user time and 16.0829 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-15 19:49:10
IDJOB=4434995
IDBENCH=146797
IDSOLVER=3065
FILE ID=nodeC017/4434995-1721065737
RUNJOBID= nodeC017-1721059647-836709
SLURM_JOB_ID= 7505502
Free space on /tmp= 890064 MiB

SOLVER NAME= NaPS-PB16 1.02b5
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= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434995-1721065737/watcher-4434995-1721065737 -o /tmp/evaluation-result-4434995-1721065737/solver-4434995-1721065737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721059647-836709 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4434995-1721065737.opb

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=1145163522

nodeC017.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	: 0xb00002a
cpu MHz		: 3646.310
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3687.843
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
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	: 0xb00002a
cpu MHz		: 3631.263
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3600.092
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
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	: 0xb00002a
cpu MHz		: 3658.782
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3687.950
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
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	: 0xb00002a
cpu MHz		: 3606.631
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
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	: 0xb00002a
cpu MHz		: 3599.892
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119397264 kB
MemAvailable:   123457472 kB
Buffers:          376204 kB
Cached:          4479756 kB
SwapCached:            0 kB
Active:           807988 kB
Inactive:       10628148 kB
Active(anon):       1568 kB
Inactive(anon):  6616320 kB
Active(file):     806420 kB
Inactive(file):  4011828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4240 kB
Writeback:             0 kB
AnonPages:       6577488 kB
Mapped:           108996 kB
Shmem:             37720 kB
KReclaimable:     163216 kB
Slab:             275644 kB
SReclaimable:     163216 kB
SUnreclaim:       112428 kB
KernelStack:        4176 kB
PageTables:        22092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7585228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5003264 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:      215764 kB
DirectMap2M:    24723456 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC017 at 2024-07-15 20:49:22