Trace number 4461094

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 NameAnswerCPU timeWall clock time
NaPS-GM 1.03a1Wrong Cert. 3600.07 3610.13

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM4f5be5c84a0d76ec975a3a6b3be3f2ae
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1716
Best CPU time to get the best result obtained on this benchmark3428.68
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03a1.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4461094-1722080365.wbo
0.00/0.00	c Initial goal by soft: 3079
2.88/2.92	c single stage optimization mode
3.18/3.23	c Found but not a solution: 95603
3600.03/3610.10	c 
3600.03/3610.10	c *** TERMINATED *** by signal 15
3600.03/3610.10	s SATISFIABLE
3600.03/3610.10	c _____________________________________________________________________________
3600.03/3610.10	c std/band forms        : 227,0
3600.03/3610.10	c 2cl/3cl ITE-codings   : 0,0
3600.03/3610.10	c BDD/srt/adr Max costs : 0,694,1451460
3600.03/3610.10	c BDDraw/bin/mul/srt/adr: 0,0,0,226,1
3600.03/3610.10	c BDD nodes             : 0
3600.03/3610.10	c Es1/CC detections     : 0,0
3600.03/3610.10	c CC sort               : 226
3600.03/3610.10	c SAT/UNSAT calls       : 1,0
3600.03/3610.10	c regenrated variables  : 0
3600.03/3610.10	c eliminated fixed lits : 0
3600.03/3610.10	c goal lit flips        : 0
3600.03/3610.10	c goal stages           : 1
3600.03/3610.10	c goal shrink           : 0
3600.03/3610.10	c goal coeff separations: 8468
3600.03/3610.10	c restarts              : 1
3600.03/3610.10	c conflicts             : 17             (0 /sec)
3600.03/3610.10	c decisions             : 538760         (150 /sec)
3600.03/3610.10	c propagations          : 569277         (158 /sec)
3600.03/3610.10	c inspects              : 0              (0 /sec)
3600.03/3610.10	c CPU time (solving tm) : 3597 s        (3588 s, SAT 0.1455 s, UNSAT 0 s)
3600.03/3610.10	c Time for Opt-base     : 0.005176 s
3600.03/3610.10	c Steps for Opt-base    : 0
3600.03/3610.10	c Time for BDD coding   : 0 s
3600.03/3610.10	c Time for srt coding   : 0.007808 s
3600.03/3610.10	c _____________________________________________________________________________
3600.03/3610.10	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -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 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
3600.03/3610.10	v -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 -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 -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 -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 -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 -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 -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 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -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 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 x2357 -x2358 -x2359 -x2360 -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 -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 -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 -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 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 -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 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -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 -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 -x2698 -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 -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 -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 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 -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 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -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 -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 -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 -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 -x3066 -x3067 -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 -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 -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 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -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 -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 -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 -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 -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 -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 -x3435 -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 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -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 -x3532 -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 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 -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 -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 -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 -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 -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 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -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 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x3900 -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 -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 -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 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
3600.03/3610.10	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4020 -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 -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 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 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 -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 -x4238 -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 -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 -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 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 -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 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -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 -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 -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 -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 -x4606 -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 -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 -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 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -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 -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 -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 -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 -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 -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 -x4975 -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 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -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 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -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 -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 -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 -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 -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 -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 -x5313 x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -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 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -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 -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 -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 -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 -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 -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 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 -x5664 x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 x5691 -x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v
3600.03/3610.10	v

Verifier Data 

FAILED
ERROR: cost 3341 exceeds topCost = 3080

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461094-1722080365/watcher-4461094-1722080365 -o /tmp/evaluation-result-4461094-1722080365/solver-4461094-1722080365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722075715-329812 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461094-1722080365.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=333140, runsolver pid=333137

[startup+0.100093 s]*
/proc/loadavg: 4.10 4.14 4.10 5/262 333145
/proc/meminfo: memFree=104343944/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=16872 memory=10264 CPUtime=0.09 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 2272 0 0 0 9 0 0 0 20 0 1 0 44565522 17276928 2566 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 4218 2566 436 659 0 3422 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26804 KiB
Current children cumulated memory: 12912 KiB

[startup+0.205682 s]*
/proc/loadavg: 4.10 4.14 4.10 5/262 333145
/proc/meminfo: memFree=104334376/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=24508 memory=19692 CPUtime=0.2 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 4208 0 0 0 20 0 0 0 20 0 1 0 44565522 25096192 4923 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 6127 4923 436 659 0 5331 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34440 KiB
Current children cumulated memory: 22340 KiB

[startup+0.305627 s]*
/proc/loadavg: 4.10 4.14 4.10 5/262 333145
/proc/meminfo: memFree=104326908/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=32524 memory=26972 CPUtime=0.29 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 6209 0 0 0 29 0 0 0 20 0 1 0 44565522 33304576 6743 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 8131 6743 436 659 0 7335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 29620 KiB

[startup+0.700256 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 333145
/proc/meminfo: memFree=104313384/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=62008 memory=54592 CPUtime=0.69 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 13481 0 0 0 67 2 0 0 20 0 1 0 44565522 63496192 13648 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 15502 13648 436 659 0 14706 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71940 KiB
Current children cumulated memory: 57240 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 333145
/proc/meminfo: memFree=104278128/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=121420 memory=110604 CPUtime=1.49 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 26700 0 0 0 144 5 0 0 20 0 1 0 44565522 124334080 27651 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 30355 27651 436 659 0 29559 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131352 KiB
Current children cumulated memory: 113252 KiB

[startup+3.10554 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 333145
/proc/meminfo: memFree=104125256/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=243684 memory=227532 CPUtime=3.09 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 54772 0 0 0 299 10 0 0 20 0 1 0 44565522 249532416 56883 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 60921 56883 468 659 0 60125 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 253616 KiB
Current children cumulated memory: 230180 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 333145
/proc/meminfo: memFree=103486768/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=1022752 memory=955996 CPUtime=6.27 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 142247 0 0 0 595 32 0 0 20 0 1 0 44565522 1047298048 238999 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 255688 238999 468 659 0 254892 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1032684 KiB
Current children cumulated memory: 958644 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.10 5/262 333147
/proc/meminfo: memFree=102441988/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=1982572 memory=1906236 CPUtime=12.65 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 256378 0 0 0 1206 59 0 0 20 0 1 0 44565522 2030153728 476559 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 495643 476559 468 659 0 494847 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1992504 KiB
Current children cumulated memory: 1908884 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 333148
/proc/meminfo: memFree=102426072/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=1992608 memory=1916288 CPUtime=25.43 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 257980 0 0 0 2483 60 0 0 20 0 1 0 44565522 2040430592 479072 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 498152 479072 468 659 0 497356 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2002540 KiB
Current children cumulated memory: 1918936 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 333154
/proc/meminfo: memFree=102471352/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=1992608 memory=1916288 CPUtime=50.96 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 258207 0 0 0 5036 60 0 0 20 0 1 0 44565522 2040430592 479072 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 498152 479072 468 659 0 497356 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2002540 KiB
Current children cumulated memory: 1918936 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 333166
/proc/meminfo: memFree=102441132/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=1993404 memory=1919264 CPUtime=102.02 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 258869 0 0 0 10140 62 0 0 20 0 1 0 44565522 2041245696 479816 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 498351 479816 468 659 0 497555 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2003336 KiB
Current children cumulated memory: 1921912 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 333177
/proc/meminfo: memFree=102388592/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2000680 memory=1945012 CPUtime=161.85 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 260956 0 0 0 16122 63 0 0 20 0 1 0 44565522 2048696320 486253 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 500170 486253 468 659 0 499374 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2010612 KiB
Current children cumulated memory: 1947660 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 333187
/proc/meminfo: memFree=102382928/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2220940 memory=1980988 CPUtime=221.69 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 263077 0 0 0 22103 66 0 0 20 0 1 0 44565522 2274242560 495247 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 555235 495247 468 659 0 554439 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2230872 KiB

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

/proc/333145/statm: 580195 541959 468 659 0 579399 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 2330712 KiB
Current children cumulated memory: 2170484 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.70 2.79 2/241 335001
/proc/meminfo: memFree=112972496/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2321320 memory=2097296 CPUtime=3153.42 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 325604 0 0 0 315045 297 0 0 20 0 1 0 44565522 2377031680 524324 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 580330 524324 468 659 0 579534 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 2331252 KiB
Current children cumulated memory: 2099944 KiB

[startup+3222.3 s]
/proc/loadavg: 1.17 1.60 2.69 2/241 335011
/proc/meminfo: memFree=112931312/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2322740 memory=2137628 CPUtime=3213.26 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 326462 0 0 0 321028 298 0 0 20 0 1 0 44565522 2378485760 534407 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 580685 534407 468 659 0 579889 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 2332672 KiB
Current children cumulated memory: 2140276 KiB

[startup+3282.3 s]
/proc/loadavg: 1.18 1.52 2.59 2/239 335023
/proc/meminfo: memFree=112897348/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2325996 memory=2170864 CPUtime=3273.1 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 328048 0 0 0 327012 298 0 0 20 0 1 0 44565522 2381819904 542716 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 581499 542716 468 659 0 580703 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 2335928 KiB
Current children cumulated memory: 2173512 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.44 2.49 2/239 335033
/proc/meminfo: memFree=112966632/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2327200 memory=2103108 CPUtime=3332.95 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 329572 0 0 0 332988 307 0 0 20 0 1 0 44565522 2383052800 525777 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 581800 525777 468 659 0 581004 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 2337132 KiB
Current children cumulated memory: 2105756 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.37 2.40 2/239 335043
/proc/meminfo: memFree=112930016/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2327996 memory=2136684 CPUtime=3392.79 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 330407 0 0 0 338971 308 0 0 20 0 1 0 44565522 2383867904 534171 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 581999 534171 468 659 0 581203 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 2337928 KiB
Current children cumulated memory: 2139332 KiB

[startup+3462.3 s]
/proc/loadavg: 1.20 1.35 2.33 2/234 335054
/proc/meminfo: memFree=112891836/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2328928 memory=2176240 CPUtime=3452.61 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 331592 0 0 0 344952 309 0 0 20 0 1 0 44565522 2384822272 544060 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 582232 544060 468 659 0 581436 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 2338860 KiB
Current children cumulated memory: 2178888 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.28 2.24 2/234 335064
/proc/meminfo: memFree=112969728/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2330476 memory=2095620 CPUtime=3512.43 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 333637 0 0 0 350927 316 0 0 20 0 1 0 44565522 2386407424 523905 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 582619 523905 468 659 0 581823 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 2340408 KiB
Current children cumulated memory: 2098268 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.24 2.17 2/234 335075
/proc/meminfo: memFree=112931016/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2331672 memory=2133676 CPUtime=3572.3 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 334762 0 0 0 356913 317 0 0 20 0 1 0 44565522 2387632128 533419 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 582918 533419 468 659 0 582122 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 2341604 KiB
Current children cumulated memory: 2136324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.1 s]
/proc/loadavg: 1.09 1.23 2.13 2/234 335079
/proc/meminfo: memFree=112913200/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2332728 memory=2151052 CPUtime=3600.03 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 335478 0 0 0 359686 317 0 0 20 0 1 0 44565522 2388713472 537763 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 583182 537763 468 659 0 582386 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2342660 KiB
Current children cumulated memory: 2153700 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00164 s, system=0.001202 s

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

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

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

[startup+3610.1 s]
/proc/loadavg: 1.09 1.23 2.13 2/234 335079
/proc/meminfo: memFree=112913200/131524600 swapFree=131056612/131071996
[pid=333140] ppid=333137 vsize=9932 memory=2648 CPUtime=0 cores=1,3
/proc/333140/stat : 333140 (naps-1.03.sh) S 333137 333140 329800 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44565522 10170368 662 134679101440 94754287788032 94754288867352 140725527674080 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94754290965808 94754291012996 94754300026880 140725527679965 140725527680094 140725527680094 140725527687112 0
/proc/333140/statm: 2483 662 584 264 0 134 0
[pid=333145] ppid=333140 vsize=2332728 memory=2151052 CPUtime=3600.03 cores=1,3
/proc/333145/stat : 333145 (naps-1.03) R 333140 333140 329800 0 -1 4194304 335478 0 0 0 359686 317 0 0 20 0 1 0 44565522 2388713472 537763 134679101440 4194304 6891597 140722281102384 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 39333888 140722281108462 140722281108578 140722281108578 140722281115595 0
/proc/333145/statm: 583182 537763 468 659 0 582386 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2342660 KiB
Current children cumulated memory: 2153700 KiB

Child status: 10

Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3596.88
CPU system time (s): 3.19568
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 2898412
Max. memory (cumulated for all children) (KiB): 2554476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.88
system time used= 3.19568
maximum resident set size= 2551828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335940
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= 236
involuntary context switches= 4767


# summary of solver processes directly reported to runsolver:
#   pid: 333140,333145
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.88
#   total CPU system time (s): 3.19568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54351 second user time and 16.3264 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-27 13:39:25
IDJOB=4461094
IDBENCH=144138
IDSOLVER=3087
FILE ID=nodeC025/4461094-1722080365
RUNJOBID= nodeC025-1722075715-329812
SLURM_JOB_ID= 8248115
Free space on /tmp= 890044 MiB

SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461094-1722080365/watcher-4461094-1722080365 -o /tmp/evaluation-result-4461094-1722080365/solver-4461094-1722080365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722075715-329812 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4461094-1722080365.wbo

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

MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=1969038651

nodeC025.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		: 3659.736
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.51
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		: 3671.578
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.49
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		: 3599.932
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.51
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		: 3653.838
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.49
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		: 3659.714
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.51
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		: 3669.419
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.49
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		: 3599.943
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.51
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.089
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104353480 kB
MemAvailable:   118953644 kB
Buffers:          383168 kB
Cached:         14989756 kB
SwapCached:          148 kB
Active:          2398900 kB
Inactive:       24042336 kB
Active(anon):       4456 kB
Inactive(anon): 11116124 kB
Active(file):    2394444 kB
Inactive(file): 12926212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056612 kB
Dirty:             13984 kB
Writeback:             0 kB
AnonPages:      11067332 kB
Mapped:           108844 kB
Shmem:             52560 kB
KReclaimable:     238664 kB
Slab:             360352 kB
SReclaimable:     238664 kB
SUnreclaim:       121688 kB
KernelStack:        4208 kB
PageTables:        31384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12720008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4415488 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:      391892 kB
DirectMap2M:    42373120 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC025 at 2024-07-27 14:39:35