Trace number 4461092

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.03a1MSAT (TO) 3600.1 3609.47

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo
MD5SUM38287b4f81b650595c9c747bdd7f38d4
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark22554
Best CPU time to get the best result obtained on this benchmark3601.41
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7542
Total number of constraints1065451
Number of soft constraints1065251
Number of constraints which are clauses1065251
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 476244
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 266649860
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-4461092-1722080392.wbo
0.00/0.00	c Initial goal by soft: 476243
10.84/10.98	c single stage optimization mode
11.83/11.96	o 219543
3600.02/3609.40	c 
3600.02/3609.40	c *** TERMINATED *** by signal 15
3600.02/3609.40	s SATISFIABLE
3600.02/3609.40	c _____________________________________________________________________________
3600.02/3609.40	c std/band forms        : 201,0
3600.02/3609.40	c 2cl/3cl ITE-codings   : 0,0
3600.02/3609.40	c BDD/srt/adr Max costs : 0,694,4573020
3600.02/3609.40	c BDDraw/bin/mul/srt/adr: 0,0,0,200,1
3600.02/3609.40	c BDD nodes             : 0
3600.02/3609.40	c Es1/CC detections     : 0,0
3600.02/3609.40	c CC sort               : 200
3600.02/3609.40	c SAT/UNSAT calls       : 1,0
3600.02/3609.40	c regenrated variables  : 0
3600.02/3609.40	c eliminated fixed lits : 0
3600.02/3609.40	c goal lit flips        : 0
3600.02/3609.40	c goal stages           : 1
3600.02/3609.40	c goal shrink           : 0
3600.02/3609.40	c goal coeff separations: 0
3600.02/3609.40	c restarts              : 1
3600.02/3609.40	c conflicts             : 85             (0 /sec)
3600.02/3609.40	c decisions             : 2775150        (772 /sec)
3600.02/3609.40	c propagations          : 2825305        (786 /sec)
3600.02/3609.40	c inspects              : 0              (0 /sec)
3600.02/3609.40	c CPU time (solving tm) : 3596 s        (3566 s, SAT 0.3496 s, UNSAT 0 s)
3600.02/3609.40	c Time for Opt-base     : 0.01527 s
3600.02/3609.40	c Steps for Opt-base    : 0
3600.02/3609.40	c Time for BDD coding   : 0 s
3600.02/3609.40	c Time for srt coding   : 0.01124 s
3600.02/3609.40	c _____________________________________________________________________________
3600.02/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 -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.02/3609.40	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.02/3609.40	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 -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 -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
3600.02/3609.40	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 x6573 -x6574 x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 x7289 -x7290 -x7291 -x7292 -x7293 -x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 x7363 -x7364 -x7365 -x7366 -x7367 -x7368 x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v
3600.02/3609.41	v

Verifier Data 

OK	205369

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461092-1722080392/watcher-4461092-1722080392 -o /tmp/evaluation-result-4461092-1722080392/solver-4461092-1722080392 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722076692-324836 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461092-1722080392.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=328011, runsolver pid=328008
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 4.10 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111969560/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=16664 memory=10092 CPUtime=0.09 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 2221 0 0 0 9 0 0 0 20 0 1 0 44568908 17063936 2523 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 4166 2523 436 659 0 3370 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26596 KiB
Current children cumulated memory: 12748 KiB

[startup+0.206162 s]*
/proc/loadavg: 4.10 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111961832/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=24364 memory=17640 CPUtime=0.19 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 4170 0 0 0 19 0 0 0 20 0 1 0 44568908 24948736 4410 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 6091 4410 436 659 0 5295 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34296 KiB
Current children cumulated memory: 20296 KiB

[startup+0.306149 s]*
/proc/loadavg: 4.10 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111955112/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=30120 memory=23948 CPUtime=0.28 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 5977 0 0 0 27 1 0 0 20 0 1 0 44568908 30842880 5987 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 7530 5987 436 659 0 6734 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40052 KiB
Current children cumulated memory: 26604 KiB

[startup+0.700262 s]
/proc/loadavg: 4.10 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111938364/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=56536 memory=52352 CPUtime=0.65 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 12879 0 0 0 64 1 0 0 20 0 1 0 44568908 57892864 13088 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 14134 13088 436 659 0 13338 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 66468 KiB
Current children cumulated memory: 55008 KiB

[startup+1.50026 s]
/proc/loadavg: 4.10 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111904120/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=116532 memory=109500 CPUtime=1.45 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 26906 0 0 0 142 3 0 0 20 0 1 0 44568908 119328768 27375 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 29133 27375 436 659 0 28337 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 126464 KiB
Current children cumulated memory: 112156 KiB

[startup+3.10563 s]
/proc/loadavg: 4.10 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111753684/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=249744 memory=227928 CPUtime=3.05 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 50901 0 0 0 298 7 0 0 20 0 1 0 44568908 255737856 56982 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 62436 56982 436 659 0 61640 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 259676 KiB
Current children cumulated memory: 230584 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.11 4.08 5/259 328016
/proc/meminfo: memFree=111521896/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=630268 memory=567936 CPUtime=6.25 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 108191 0 0 0 604 21 0 0 20 0 1 0 44568908 645394432 141984 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 157567 141984 436 659 0 156771 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 640200 KiB
Current children cumulated memory: 570592 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.08 5/259 328018
/proc/meminfo: memFree=111157292/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=962536 memory=893216 CPUtime=12.63 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 176020 0 0 0 1231 32 0 0 20 0 1 0 44568908 985636864 223304 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 240634 223304 468 659 0 239838 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 972468 KiB
Current children cumulated memory: 895872 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.13 4.09 5/261 328024
/proc/meminfo: memFree=108098220/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=4574988 memory=4031152 CPUtime=25.41 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 530042 0 0 0 2417 124 0 0 20 0 1 0 44568908 4684787712 1007788 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1143747 1007788 468 659 0 1142951 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4584920 KiB
Current children cumulated memory: 4033808 KiB

[startup+51.1058 s]
/proc/loadavg: 4.29 4.15 4.10 5/261 328079
/proc/meminfo: memFree=102921352/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6858244 memory=6067524 CPUtime=50.94 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 770744 0 0 0 4912 182 0 0 20 0 1 0 44568908 7022841856 1516881 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1714561 1516881 468 659 0 1713765 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 6868176 KiB
Current children cumulated memory: 6070180 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.19 4.11 5/261 328089
/proc/meminfo: memFree=102878348/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6858244 memory=6067524 CPUtime=102 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 771293 0 0 0 10017 183 0 0 20 0 1 0 44568908 7022841856 1516881 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1714561 1516881 468 659 0 1713765 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 6868176 KiB
Current children cumulated memory: 6070180 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.20 4.12 5/261 328099
/proc/meminfo: memFree=102920620/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6858244 memory=6069572 CPUtime=161.84 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 772275 0 0 0 15999 185 0 0 20 0 1 0 44568908 7022841856 1517393 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1714561 1517393 468 659 0 1713765 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 6868176 KiB
Current children cumulated memory: 6072228 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/261 328110
/proc/meminfo: memFree=102881120/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6858244 memory=6071620 CPUtime=221.68 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 773154 0 0 0 21981 187 0 0 20 0 1 0 44568908 7022841856 1517905 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1714561 1517905 468 659 0 1713765 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 6868176 KiB

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

/proc/328016/statm: 1726203 1561883 468 659 0 1725407 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 6914744 KiB
Current children cumulated memory: 6250188 KiB

[startup+3102.3 s]
/proc/loadavg: 2.09 2.12 2.38 3/244 329872
/proc/meminfo: memFree=111738260/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6906036 memory=6293964 CPUtime=3094.21 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 836983 0 0 0 309059 362 0 0 20 0 1 0 44568908 7071780864 1573491 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1726509 1573491 468 659 0 1725713 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 6915968 KiB
Current children cumulated memory: 6296620 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 2.13 2.36 3/245 329883
/proc/meminfo: memFree=111644844/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6906832 memory=6341712 CPUtime=3154.06 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 838353 0 0 0 315042 364 0 0 20 0 1 0 44568908 7072595968 1585428 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1726708 1585428 468 659 0 1725912 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 6916764 KiB
Current children cumulated memory: 6344368 KiB

[startup+3222.3 s]
/proc/loadavg: 2.18 2.15 2.35 3/244 329894
/proc/meminfo: memFree=111685904/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6907500 memory=6389656 CPUtime=3213.91 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 839903 0 0 0 321025 366 0 0 20 0 1 0 44568908 7073280000 1597414 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1726875 1597414 468 659 0 1726079 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 6917432 KiB
Current children cumulated memory: 6392312 KiB

[startup+3282.3 s]
/proc/loadavg: 2.11 2.13 2.33 3/244 329904
/proc/meminfo: memFree=111857044/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6908980 memory=6169612 CPUtime=3273.75 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 843158 0 0 0 326986 389 0 0 20 0 1 0 44568908 7074795520 1542403 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1727245 1542403 468 659 0 1726449 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 6918912 KiB
Current children cumulated memory: 6172268 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.14 2.32 3/243 329914
/proc/meminfo: memFree=111758580/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6909512 memory=6219272 CPUtime=3333.6 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 844931 0 0 0 332969 391 0 0 20 0 1 0 44568908 7075340288 1554818 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1727378 1554818 468 659 0 1726582 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 6919444 KiB
Current children cumulated memory: 6221928 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.12 2.31 3/243 329924
/proc/meminfo: memFree=111801268/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6910316 memory=6267292 CPUtime=3393.45 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 846474 0 0 0 338952 393 0 0 20 0 1 0 44568908 7076163584 1566823 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1727579 1566823 468 659 0 1726783 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 6920248 KiB
Current children cumulated memory: 6269948 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.13 2.29 3/243 329935
/proc/meminfo: memFree=111706324/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6911952 memory=6319020 CPUtime=3453.3 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 848425 0 0 0 344935 395 0 0 20 0 1 0 44568908 7077838848 1579755 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1727988 1579755 468 659 0 1727192 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 6921884 KiB
Current children cumulated memory: 6321676 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.12 2.28 3/243 329946
/proc/meminfo: memFree=111613204/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6912084 memory=6367588 CPUtime=3513.14 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 849996 0 0 0 350918 396 0 0 20 0 1 0 44568908 7077974016 1591897 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1728021 1591897 468 659 0 1727225 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 6922016 KiB
Current children cumulated memory: 6370244 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.11 2.26 3/243 329956
/proc/meminfo: memFree=111519452/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6918840 memory=6422688 CPUtime=3572.99 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 852270 0 0 0 356901 398 0 0 20 0 1 0 44568908 7084892160 1605672 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1729710 1605672 468 659 0 1728914 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 6928772 KiB
Current children cumulated memory: 6425344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 2.12 2.12 2.26 3/243 329961
/proc/meminfo: memFree=111475332/131524600 swapFree=131055836/131071996
[pid=328011] ppid=328008 vsize=9932 memory=2656 CPUtime=0 cores=5,7
/proc/328011/stat : 328011 (naps-1.03.sh) S 328008 328011 324823 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 44568907 10170368 664 134679101440 94073332555776 94073333635096 140725568272656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94073335733552 94073335780740 94073345343488 140725568279517 140725568279646 140725568279646 140725568286664 0
/proc/328011/statm: 2483 664 586 264 0 134 0
[pid=328016] ppid=328011 vsize=6918840 memory=6443168 CPUtime=3600.02 cores=5,7
/proc/328016/stat : 328016 (naps-1.03) R 328011 328011 324823 0 -1 4194304 853057 0 0 0 359603 399 0 0 20 0 1 0 44568908 7084892160 1610792 134679101440 4194304 6891597 140735100767520 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27058176 140735100769262 140735100769378 140735100769378 140735100776395 0
/proc/328016/statm: 1729710 1610792 468 659 0 1728914 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 6928772 KiB
Current children cumulated memory: 6445824 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00244 s, system=0.000522 s

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

# cumulated CPU time of all completed processes:  user=3596.05 s, system=4.04445 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.47
CPU time (s): 3600.1
CPU user time (s): 3596.05
CPU system time (s): 4.04445
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 8394488
Max. memory (cumulated for all children) (KiB): 7425772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.05
system time used= 4.04445
maximum resident set size= 7423116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 853615
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= 162
involuntary context switches= 3178


# summary of solver processes directly reported to runsolver:
#   pid: 328011,328016
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.05
#   total CPU system time (s): 4.04445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91151 second user time and 17.2393 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-27 13:39:52
IDJOB=4461092
IDBENCH=144139
IDSOLVER=3087
FILE ID=nodeC033/4461092-1722080392
RUNJOBID= nodeC033-1722076692-324836
SLURM_JOB_ID= 8248139
Free space on /tmp= 890016 MiB

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

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=550524608

nodeC033.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		: 3675.524
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.780
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.361
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.413
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111978704 kB
MemAvailable:   120315320 kB
Buffers:          384728 kB
Cached:          8709916 kB
SwapCached:          300 kB
Active:          2634820 kB
Inactive:       16141772 kB
Active(anon):       2248 kB
Inactive(anon):  9732804 kB
Active(file):    2632572 kB
Inactive(file):  6408968 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055836 kB
Dirty:             37876 kB
Writeback:             0 kB
AnonPages:       9680380 kB
Mapped:           116152 kB
Shmem:             53064 kB
KReclaimable:     269800 kB
Slab:             395908 kB
SReclaimable:     269800 kB
SUnreclaim:       126108 kB
KernelStack:        4208 kB
PageTables:        28648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11221256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7262208 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:      430804 kB
DirectMap2M:    51771392 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC033 at 2024-07-27 14:40:02