Trace number 4434189

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 1.03SAT (TO)35204540 3600.16 3609.9

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.03.
0.00/0.00	c Input file name: HOME/instance-4434189-1721064959.opb
44.57/44.77	c single stage optimization mode
401.19/402.32	o 53485267
952.14/954.72	o 35204540
3600.05/3609.80	c 
3600.05/3609.80	c *** TERMINATED *** by signal 15
3600.05/3609.80	s SATISFIABLE
3600.05/3609.80	c _____________________________________________________________________________
3600.05/3609.80	c std/band forms        : 373,12
3600.05/3609.80	c 2cl/3cl ITE-codings   : 998637,2598556
3600.05/3609.80	c BDD/srt/adr Max costs : 304010,1742797,0
3600.05/3609.80	c BDDraw/bin/mul/srt/adr: 60,0,156,169,0
3600.05/3609.80	c BDD nodes             : 3753098
3600.05/3609.80	c Es1/CC detections     : 0,0
3600.05/3609.80	c CC sort               : 155
3600.05/3609.80	c SAT/UNSAT calls       : 2,0
3600.05/3609.80	c regenrated variables  : 192
3600.05/3609.80	c eliminated fixed lits : 17211
3600.05/3609.80	c goal lit flips        : 0
3600.05/3609.80	c goal stages           : 1
3600.05/3609.80	c goal shrink           : 0
3600.05/3609.80	c goal coeff separations: 529
3600.05/3609.80	c restarts              : 2320
3600.05/3609.80	c conflicts             : 73925          (21 /sec)
3600.05/3609.80	c decisions             : 1441044        (402 /sec)
3600.05/3609.80	c propagations          : 3978794353     (1110748 /sec)
3600.05/3609.80	c inspects              : 0              (0 /sec)
3600.05/3609.80	c CPU time (solving tm) : 3582 s        (3523 s, SAT 889.3 s, UNSAT 0 s)
3600.05/3609.80	c Time for Opt-base     : 19.72 s
3600.05/3609.80	c Steps for Opt-base    : 104615701
3600.05/3609.80	c Time for BDD coding   : 37.51 s
3600.05/3609.80	c Time for srt coding   : 1.343 s
3600.05/3609.80	c _____________________________________________________________________________
3600.05/3609.80	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.05/3609.80	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.05/3609.80	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.05/3609.80	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	35204540

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434189-1721064959/watcher-4434189-1721064959 -o /tmp/evaluation-result-4434189-1721064959/solver-4434189-1721064959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721056269-812989 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434189-1721064959.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=818400, runsolver pid=818397

[startup+0.100089 s]*
/proc/loadavg: 4.11 4.18 4.14 5/262 818405
/proc/meminfo: memFree=113675264/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=11104 memory=9388 CPUtime=0.09 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1940 0 0 0 9 0 0 0 20 0 1 0 158666432 11370496 2347 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 2776 2347 596 659 0 1980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21036 KiB
Current children cumulated memory: 12180 KiB

[startup+0.205981 s]*
/proc/loadavg: 4.11 4.18 4.14 5/262 818405
/proc/meminfo: memFree=113664380/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=21984 memory=20316 CPUtime=0.2 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 4728 0 0 0 20 0 0 0 20 0 1 0 158666432 22511616 5079 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 5496 5079 612 659 0 4700 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31916 KiB
Current children cumulated memory: 23108 KiB

[startup+0.305975 s]*
/proc/loadavg: 4.11 4.18 4.14 5/262 818405
/proc/meminfo: memFree=113662896/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=23904 memory=21844 CPUtime=0.29 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 5300 0 0 0 29 0 0 0 20 0 1 0 158666432 24477696 5461 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 5976 5461 612 659 0 5180 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33836 KiB
Current children cumulated memory: 24636 KiB

[startup+0.700261 s]
/proc/loadavg: 4.11 4.18 4.14 5/262 818405
/proc/meminfo: memFree=113658676/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=28288 memory=25948 CPUtime=0.68 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 6684 0 0 0 68 0 0 0 20 0 1 0 158666432 28966912 6487 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 7072 6487 612 659 0 6276 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38220 KiB
Current children cumulated memory: 28740 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.18 4.14 5/262 818405
/proc/meminfo: memFree=113654132/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=39896 memory=36876 CPUtime=1.48 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 8280 0 0 0 147 1 0 0 20 0 1 0 158666432 40853504 9219 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 9974 9219 612 659 0 9178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49828 KiB
Current children cumulated memory: 39668 KiB

[startup+3.10566 s]
/proc/loadavg: 4.10 4.17 4.14 5/262 818405
/proc/meminfo: memFree=113611360/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=76416 memory=71036 CPUtime=3.09 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 14355 0 0 0 306 3 0 0 20 0 1 0 158666432 78249984 17759 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 19104 17759 612 659 0 18308 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 86348 KiB
Current children cumulated memory: 73828 KiB

[startup+6.30025 s]
/proc/loadavg: 4.10 4.17 4.14 5/262 818405
/proc/meminfo: memFree=113613436/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=76416 memory=74140 CPUtime=6.28 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 14662 0 0 0 625 3 0 0 20 0 1 0 158666432 78249984 18535 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 19104 18535 612 659 0 18308 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 86348 KiB
Current children cumulated memory: 76932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.17 4.14 5/262 818407
/proc/meminfo: memFree=113324996/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=275628 memory=273372 CPUtime=12.66 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 58528 0 0 0 1256 10 0 0 20 0 1 0 158666432 282243072 68343 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 68907 68343 612 659 0 68111 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 285560 KiB
Current children cumulated memory: 276164 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.16 4.14 5/262 818408
/proc/meminfo: memFree=112629508/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=417636 memory=406836 CPUtime=25.42 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 68902 0 0 0 2529 13 0 0 20 0 1 0 158666432 427659264 101709 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 104409 101709 612 659 0 103613 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 427568 KiB
Current children cumulated memory: 409628 KiB

[startup+51.1061 s]
/proc/loadavg: 4.10 4.16 4.14 5/262 818413
/proc/meminfo: memFree=108186496/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=2763212 memory=2653840 CPUtime=50.97 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 348462 0 0 0 5011 86 0 0 20 0 1 0 158666432 2829529088 663460 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 690803 663460 644 659 0 690007 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2773144 KiB
Current children cumulated memory: 2656632 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/261 818423
/proc/meminfo: memFree=99369384/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=2970956 memory=2881636 CPUtime=102.01 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 371360 0 0 0 10013 188 0 0 20 0 1 0 158666432 3042258944 720409 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 742739 720409 660 659 0 741943 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2980888 KiB
Current children cumulated memory: 2884428 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/261 818433
/proc/meminfo: memFree=96368592/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=2894684 memory=2747472 CPUtime=161.85 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 383610 0 0 0 15937 248 0 0 20 0 1 0 158666432 2964156416 686868 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 723671 686868 660 659 0 722875 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2904616 KiB
Current children cumulated memory: 2750264 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.17 4.14 5/261 818443
/proc/meminfo: memFree=96829356/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=2897388 memory=2804316 CPUtime=221.68 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 389596 0 0 0 21891 277 0 0 20 0 1 0 158666432 2966925312 701079 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 724347 701079 660 659 0 723551 0

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

/proc/818405/statm: 1598658 1533966 660 659 0 1597862 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 6404564 KiB
Current children cumulated memory: 6138656 KiB

[startup+3102.3 s]
/proc/loadavg: 1.12 1.50 2.52 2/237 820023
/proc/meminfo: memFree=117864560/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6393904 memory=6165856 CPUtime=3093.96 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1176280 0 0 0 307818 1578 0 0 20 0 1 0 158666432 6547357696 1541464 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1598476 1541464 660 659 0 1597680 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 6403836 KiB
Current children cumulated memory: 6168648 KiB

[startup+3162.3 s]
/proc/loadavg: 1.26 1.47 2.45 2/238 820202
/proc/meminfo: memFree=117829744/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6393904 memory=6199188 CPUtime=3153.8 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1183140 0 0 0 313771 1609 0 0 20 0 1 0 158666432 6547357696 1549797 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1598476 1549797 660 659 0 1597680 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 6403836 KiB
Current children cumulated memory: 6201980 KiB

[startup+3222.3 s]
/proc/loadavg: 1.16 1.39 2.36 2/238 820212
/proc/meminfo: memFree=117829404/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6393904 memory=6199188 CPUtime=3213.64 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1184437 0 0 0 319754 1610 0 0 20 0 1 0 158666432 6547357696 1549797 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1598476 1549797 660 659 0 1597680 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 6403836 KiB
Current children cumulated memory: 6201980 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.34 2.27 2/239 820283
/proc/meminfo: memFree=117813336/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6408592 memory=6213876 CPUtime=3273.49 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1186346 0 0 0 325727 1622 0 0 20 0 1 0 158666432 6562398208 1553469 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1602148 1553469 660 659 0 1601352 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 6418524 KiB
Current children cumulated memory: 6216668 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.29 2.20 2/239 820293
/proc/meminfo: memFree=117812856/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6408592 memory=6213876 CPUtime=3333.32 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1187808 0 0 0 331709 1623 0 0 20 0 1 0 158666432 6562398208 1553469 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1602148 1553469 660 659 0 1601352 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 6418524 KiB
Current children cumulated memory: 6216668 KiB

[startup+3402.3 s]
/proc/loadavg: 1.06 1.25 2.12 2/239 820304
/proc/meminfo: memFree=117805380/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6415512 memory=6220800 CPUtime=3393.14 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1190196 0 0 0 337679 1635 0 0 20 0 1 0 158666432 6569484288 1555200 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1603878 1555200 660 659 0 1603082 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 6425444 KiB
Current children cumulated memory: 6223592 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.21 2.06 2/239 820316
/proc/meminfo: memFree=117851684/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6416092 memory=6173764 CPUtime=3452.96 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1200503 0 0 0 343600 1696 0 0 20 0 1 0 158666432 6570078208 1543441 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1604023 1543441 660 659 0 1603227 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 6426024 KiB
Current children cumulated memory: 6176556 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.20 2.00 2/239 820327
/proc/meminfo: memFree=117465832/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=6960636 memory=6647608 CPUtime=3512.8 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1206150 0 0 0 349560 1720 0 0 20 0 1 0 158666432 7127691264 1661902 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1740159 1661902 660 659 0 1739363 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 6970568 KiB
Current children cumulated memory: 6650400 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.18 1.94 2/235 820337
/proc/meminfo: memFree=116797608/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=7501636 memory=7224608 CPUtime=3572.63 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1224979 0 0 0 355466 1797 0 0 20 0 1 0 158666432 7681675264 1806152 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1875409 1806152 660 659 0 1874613 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 7511568 KiB
Current children cumulated memory: 7227400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 1.06 1.16 1.91 2/235 820340
/proc/meminfo: memFree=116797476/131524596 swapFree=131071996/131071996
[pid=818400] ppid=818397 vsize=9932 memory=2792 CPUtime=0 cores=1,3
/proc/818400/stat : 818400 (naps-1.03.sh) S 818397 818400 812977 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 158666432 10170368 698 134679101440 94200757882880 94200758962200 140731280935520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94200761060656 94200761107844 94200764837888 140731280937956 140731280938081 140731280938081 140731280945096 0
/proc/818400/statm: 2483 698 622 264 0 134 0
[pid=818405] ppid=818400 vsize=7501636 memory=7224608 CPUtime=3600.05 cores=1,3
/proc/818405/stat : 818405 (naps-1.03) R 818400 818400 812977 0 -1 4194304 1226085 0 0 0 358208 1797 0 0 20 0 1 0 158666432 7681675264 1806152 134679101440 4194304 6891213 140727662957472 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14913536 140727662961653 140727662961765 140727662961765 140727662968779 0
/proc/818405/statm: 1875409 1806152 660 659 0 1874613 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 7511568 KiB
Current children cumulated memory: 7227400 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001706 s, system=0.001171 s

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

# cumulated CPU time of all completed processes:  user=3582.09 s, system=18.0686 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

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.16
CPU user time (s): 3582.09
CPU system time (s): 18.0686
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 8232344
Max. memory (cumulated for all children) (KiB): 7953700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.09
system time used= 18.0687
maximum resident set size= 7950908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1226550
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= 341
involuntary context switches= 2192


# summary of solver processes directly reported to runsolver:
#   pid: 818400,818405
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3582.09
#   total CPU system time (s): 18.0686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61473 second user time and 17.6057 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-15 19:36:11
IDJOB=4434189
IDBENCH=146797
IDSOLVER=3063
FILE ID=nodeC034/4434189-1721064959
RUNJOBID= nodeC034-1721056269-812989
SLURM_JOB_ID= 7505491
Free space on /tmp= 890060 MiB

SOLVER NAME= NaPS 1.03
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.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434189-1721064959/watcher-4434189-1721064959 -o /tmp/evaluation-result-4434189-1721064959/solver-4434189-1721064959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721056269-812989 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434189-1721064959.opb

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=444699761

nodeC034.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		: 3656.691
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.99
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		: 3661.301
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	: 7005.58
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		: 3600.128
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.99
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		: 3658.346
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	: 7005.58
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		: 3656.670
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.99
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		: 3666.290
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	: 7005.58
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		: 3600.173
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.99
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		: 3600.554
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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        113683404 kB
MemAvailable:   119375352 kB
Buffers:          369676 kB
Cached:          6089744 kB
SwapCached:            0 kB
Active:           627112 kB
Inactive:       16446964 kB
Active(anon):       1540 kB
Inactive(anon): 10650864 kB
Active(file):     625572 kB
Inactive(file):  5796100 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6488 kB
Writeback:             0 kB
AnonPages:      10614748 kB
Mapped:           111180 kB
Shmem:             37720 kB
KReclaimable:     220196 kB
Slab:             340796 kB
SReclaimable:     220196 kB
SUnreclaim:       120600 kB
KernelStack:        4256 kB
PageTables:        30216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   11820088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6707200 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:      250580 kB
DirectMap2M:    28882944 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC034 at 2024-07-15 20:36:21