Trace number 4427259

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-PB16 1.02b5MSAT (TO) 3600.02 3609.41

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM0f3f13f284911f7b441b5c43a99c56d2
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.281561
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 11307
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 11306
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c NaPS 1.02b5.
0.00/0.00	c Input file name: HOME/instance-4427259-1720905435.wbo
3600.00/3609.40	o 6116
3600.00/3609.40	o 204
3600.00/3609.40	o 123
3600.00/3609.40	o 75
3600.00/3609.40	o 44
3600.00/3609.40	o 19
3600.00/3609.40	o 4
3600.00/3609.40	c 
3600.00/3609.40	c *** TERMINATED *** by signal 15
3600.00/3609.40	s SATISFIABLE
3600.00/3609.40	c _____________________________________________________________________________
3600.00/3609.40	c 
3600.00/3609.40	c std/band forms        : 107,0
3600.00/3609.40	c 2cl/3cl ITE-codings   : 5800,0
3600.00/3609.40	c BDD/srt/adr Max costs : 117,40516,0
3600.00/3609.40	c BDDraw/bin/mul/srt/adr: 100,0,0,7,0
3600.00/3609.40	c BDD nodes             : 11800
3600.00/3609.40	c Es1/CC detections     : 0,0
3600.00/3609.40	c SAT/UNSAT calls       : 7,0
3600.00/3609.40	c regenrated variables  : 3382
3600.00/3609.40	c restarts              : 58
3600.00/3609.40	c conflicts             : 78981          (22 /sec)
3600.00/3609.40	c decisions             : 343929         (96 /sec)
3600.00/3609.40	c propagations          : 7569538        (2104 /sec)
3600.00/3609.40	c inspects              : 0              (0 /sec)
3600.00/3609.40	c CPU time (solving tm) : 3598 s        (3598 s)
3600.00/3609.40	c Time for Opt-base     : 0.02776 s
3600.00/3609.40	c _____________________________________________________________________________
3600.00/3609.40	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
3600.00/3609.40	v -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 -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
3600.00/3609.40	v -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 -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 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 -x5880 -x5881
3600.00/3609.40	v -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000

Verifier Data 

OK	4

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: 64059 MiB (62554 MiB free)
  memory of node 1: 64510 MiB (63496 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427259-1720905435/watcher-4427259-1720905435 -o /tmp/evaluation-result-4427259-1720905435/solver-4427259-1720905435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720905448-717838 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427259-1720905435.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100095 s]*
/proc/loadavg: 1.77 2.03 2.06 6/248 717917
/proc/meminfo: memFree=129062732/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=9848 memory=4784 CPUtime=0.1 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 910 0 0 0 10 0 0 0 20 0 1 0 142700200 10084352 1196 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 2462 1196 405 379 0 1996 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19780 KiB
Current children cumulated memory: 7560 KiB

[startup+0.213637 s]*
/proc/loadavg: 1.77 2.03 2.06 6/248 717917
/proc/meminfo: memFree=129043632/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=13872 memory=8844 CPUtime=0.21 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 1938 0 0 0 21 0 0 0 20 0 1 0 142700200 14204928 2211 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 3468 2211 421 379 0 3002 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23804 KiB
Current children cumulated memory: 11620 KiB

[startup+0.313743 s]*
/proc/loadavg: 1.77 2.03 2.06 5/248 717917
/proc/meminfo: memFree=129029240/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=13540 memory=12000 CPUtime=0.31 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 3098 0 0 0 30 1 0 0 20 0 1 0 142700200 13864960 3000 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 3385 3000 421 379 0 2919 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23472 KiB
Current children cumulated memory: 14776 KiB

[startup+0.700429 s]
/proc/loadavg: 1.77 2.03 2.06 5/248 717917
/proc/meminfo: memFree=129007844/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=40276 memory=36780 CPUtime=0.68 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 8407 0 0 0 65 3 0 0 20 0 1 0 142700200 41242624 9195 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 10069 9195 421 379 0 9603 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50208 KiB
Current children cumulated memory: 39556 KiB

[startup+1.50039 s]
/proc/loadavg: 1.77 2.03 2.06 6/248 717917
/proc/meminfo: memFree=128994468/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=51772 memory=46552 CPUtime=1.48 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 8788 0 0 0 145 3 0 0 20 0 1 0 142700200 53014528 11638 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 12943 11638 421 379 0 12477 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61704 KiB
Current children cumulated memory: 49328 KiB

[startup+3.11346 s]
/proc/loadavg: 1.77 2.03 2.06 6/248 717917
/proc/meminfo: memFree=128941904/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=86992 memory=73808 CPUtime=3.08 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 13603 0 0 0 304 4 0 0 20 0 1 0 142700200 89079808 18452 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 21748 18452 421 379 0 21282 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 76584 KiB

[startup+6.30038 s]
/proc/loadavg: 1.94 2.07 2.07 6/248 717917
/proc/meminfo: memFree=128887644/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=113404 memory=101160 CPUtime=6.26 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 16866 0 0 0 620 6 0 0 20 0 1 0 142700200 116125696 25290 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 28351 25290 421 379 0 27885 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123336 KiB
Current children cumulated memory: 103936 KiB

[startup+12.7004 s]
/proc/loadavg: 2.19 2.11 2.09 6/248 717919
/proc/meminfo: memFree=128798972/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=193544 memory=169136 CPUtime=12.65 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 18326 0 0 0 1256 9 0 0 20 0 1 0 142700200 198189056 42284 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 48386 42284 421 379 0 47920 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203476 KiB
Current children cumulated memory: 171912 KiB

[startup+25.5004 s]
/proc/loadavg: 2.59 2.21 2.12 6/247 717920
/proc/meminfo: memFree=128756864/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=193544 memory=173232 CPUtime=25.42 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 20131 0 0 0 2528 14 0 0 20 0 1 0 142700200 198189056 43308 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 48386 43308 421 379 0 47920 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 203476 KiB
Current children cumulated memory: 176008 KiB

[startup+51.1139 s]
/proc/loadavg: 3.15 2.37 2.18 6/247 717925
/proc/meminfo: memFree=128711140/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=227660 memory=205292 CPUtime=50.97 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 22808 0 0 0 5079 18 0 0 20 0 1 0 142700200 233123840 51323 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 56915 51323 421 379 0 56449 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 237592 KiB
Current children cumulated memory: 208068 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 2.65 2.29 6/247 717935
/proc/meminfo: memFree=128669044/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=196840 memory=186500 CPUtime=102 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 25578 0 0 0 10176 24 0 0 20 0 1 0 142700200 201564160 46625 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 49210 46625 421 379 0 48744 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 206772 KiB
Current children cumulated memory: 189276 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.90 2.40 6/247 717945
/proc/meminfo: memFree=128636404/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=196840 memory=188672 CPUtime=161.85 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 28078 0 0 0 16155 30 0 0 20 0 1 0 142700200 201564160 47168 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 49210 47168 421 379 0 48744 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 206772 KiB
Current children cumulated memory: 191448 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.13 2.51 6/249 717959
/proc/meminfo: memFree=128553376/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=277748 memory=237080 CPUtime=221.69 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 30176 0 0 0 22135 34 0 0 20 0 1 0 142700200 284413952 59270 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 69437 59270 421 379 0 68971 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 287680 KiB

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

/proc/717917/statm: 126544 121106 421 379 0 126078 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 516108 KiB
Current children cumulated memory: 487200 KiB

[startup+3102.3 s]
/proc/loadavg: 4.28 4.34 4.17 6/251 720044
/proc/meminfo: memFree=116067720/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=639364 memory=525920 CPUtime=3094.21 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 101438 0 0 0 309271 150 0 0 20 0 1 0 142700200 654708736 131480 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 159841 131480 421 379 0 159375 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 649296 KiB
Current children cumulated memory: 528696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.30 4.17 6/251 720054
/proc/meminfo: memFree=116045940/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=640376 memory=557548 CPUtime=3154.06 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 101688 0 0 0 315256 150 0 0 20 0 1 0 142700200 655745024 139387 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 160094 139387 421 379 0 159628 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 650308 KiB
Current children cumulated memory: 560324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.25 4.16 6/252 720355
/proc/meminfo: memFree=116266808/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=427676 memory=418380 CPUtime=3213.91 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 102109 0 0 0 321236 155 0 0 20 0 1 0 142700200 437940224 104595 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 106919 104595 421 379 0 106453 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 437608 KiB
Current children cumulated memory: 421156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.23 4.16 6/252 720365
/proc/meminfo: memFree=116243728/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=509380 memory=468460 CPUtime=3273.76 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 102996 0 0 0 327220 156 0 0 20 0 1 0 142700200 521605120 117115 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 127345 117115 421 379 0 126879 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 519312 KiB
Current children cumulated memory: 471236 KiB

[startup+3342.3 s]
/proc/loadavg: 5.28 4.53 4.27 6/252 720377
/proc/meminfo: memFree=116147352/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=641892 memory=507256 CPUtime=3333.6 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 103710 0 0 0 333203 157 0 0 20 0 1 0 142700200 657297408 126814 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 160473 126814 421 379 0 160007 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 651824 KiB
Current children cumulated memory: 510032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.87 4.59 4.31 6/250 720387
/proc/meminfo: memFree=116109416/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=642400 memory=540468 CPUtime=3393.45 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 103964 0 0 0 339188 157 0 0 20 0 1 0 142700200 657817600 135117 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 160600 135117 421 379 0 160134 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 652332 KiB
Current children cumulated memory: 543244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.49 4.29 6/250 720398
/proc/meminfo: memFree=116062292/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=643576 memory=587780 CPUtime=3453.29 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 104357 0 0 0 345170 159 0 0 20 0 1 0 142700200 659021824 146945 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 160894 146945 421 379 0 160428 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 653508 KiB
Current children cumulated memory: 590556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.43 4.28 6/247 720409
/proc/meminfo: memFree=116179424/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=431196 memory=424652 CPUtime=3513.12 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 104859 0 0 0 351149 163 0 0 20 0 1 0 142700200 441544704 106163 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 107799 106163 421 379 0 107333 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 441128 KiB
Current children cumulated memory: 427428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.38 4.27 6/247 720419
/proc/meminfo: memFree=116151836/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=513044 memory=478752 CPUtime=3572.97 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 105779 0 0 0 357133 164 0 0 20 0 1 0 142700200 525357056 119688 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 128261 119688 421 379 0 127795 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 522976 KiB
Current children cumulated memory: 481528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.12 4.35 4.26 6/247 720424
/proc/meminfo: memFree=116101392/131655788 swapFree=131071996/131071996
[pid=717905] ppid=717900 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/717905/stat : 717905 (naps-1.02b5.sh) S 717900 717905 715419 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142700199 10170368 694 134679101440 94371734892544 94371735971864 140734035562128 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94371738070320 94371738117508 94371763150848 140734035563436 140734035563563 140734035563563 140734035570630 0
/proc/717905/statm: 2483 694 618 264 0 134 0
[pid=717917] ppid=717905 vsize=513216 memory=497320 CPUtime=3600 cores=4,6
/proc/717917/stat : 717917 (naps-1.02b5) R 717905 717905 715419 0 -1 4194304 105946 0 0 0 359836 164 0 0 20 0 1 0 142700200 525533184 124330 134679101440 4194304 5746509 140724100121024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 21708800 140724100129723 140724100129837 140724100129837 140724100136905 0
/proc/717917/statm: 128304 124330 421 379 0 127838 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 523148 KiB
Current children cumulated memory: 500096 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003365 s, system=0.004378 s

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

# cumulated CPU time of all completed processes:  user=3598.37 s, system=1.65307 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.41
CPU time (s): 3600.02
CPU user time (s): 3598.37
CPU system time (s): 1.65307
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 781232
Max. memory (cumulated for all children) (KiB): 675548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.37
system time used= 1.65307
maximum resident set size= 711856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106412
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= 218
involuntary context switches= 4580


# summary of solver processes directly reported to runsolver:
#   pid: 717905,717917
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.37
#   total CPU system time (s): 1.65307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.634 second user time and 39.7356 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-13 23:17:28
IDJOB=4427259
IDBENCH=143146
IDSOLVER=3045
FILE ID=nodeC007/4427259-1720905435
RUNJOBID= nodeC007-1720905448-717838
SLURM_JOB_ID= 7486073
Free space on /tmp= 723776 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4427259-1720905435/watcher-4427259-1720905435 -o /tmp/evaluation-result-4427259-1720905435/solver-4427259-1720905435 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720905448-717838 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4427259-1720905435.wbo

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

MD5SUM BENCH= 0f3f13f284911f7b441b5c43a99c56d2
RANDOM SEED=1924171735

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129083004 kB
MemAvailable:   129954932 kB
Buffers:          336672 kB
Cached:          1370840 kB
SwapCached:            0 kB
Active:           501312 kB
Inactive:        1544048 kB
Active(anon):       1372 kB
Inactive(anon):   374200 kB
Active(file):     499940 kB
Inactive(file):  1169848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15680 kB
Writeback:             0 kB
AnonPages:        337936 kB
Mapped:           103372 kB
Shmem:             37704 kB
KReclaimable:      84340 kB
Slab:             177108 kB
SReclaimable:      84340 kB
SUnreclaim:        92768 kB
KernelStack:        3744 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     743916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46368 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      238408 kB
DirectMap2M:    18540544 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC007 at 2024-07-14 00:17:38