Trace number 4463476

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 1.03a2MSAT (TO) 3600.15 3610.25

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.03a2.
0.00/0.00	c Input file name: HOME/instance-4463476-1722355409.wbo
0.00/0.00	c Initial goal by soft: 476243
10.46/10.58	c single stage optimization mode
3158.90/3167.57	o 309598
3600.00/3610.10	c 
3600.00/3610.10	c *** TERMINATED *** by signal 15
3600.00/3610.10	s SATISFIABLE
3600.00/3610.10	c _____________________________________________________________________________
3600.00/3610.10	c std/band forms        : 201,0
3600.00/3610.10	c 2cl/3cl ITE-codings   : 0,0
3600.00/3610.10	c BDD/srt/adr Max costs : 0,694,4573020
3600.00/3610.10	c BDDraw/bin/mul/srt/adr: 0,0,0,200,1
3600.00/3610.10	c BDD nodes             : 0
3600.00/3610.10	c Es1/CC detections     : 0,0
3600.00/3610.10	c CC sort               : 200
3600.00/3610.10	c SAT/UNSAT calls       : 1,0
3600.00/3610.10	c regenrated variables  : 0
3600.00/3610.10	c eliminated fixed lits : 0
3600.00/3610.10	c goal lit flips        : 1063966
3600.00/3610.10	c goal stages           : 1
3600.00/3610.10	c goal shrink           : 0
3600.00/3610.10	c goal coeff separations: 0
3600.00/3610.10	c restarts              : 0
3600.00/3610.10	c conflicts             : 0              (0 /sec)
3600.00/3610.10	c decisions             : 0              (0 /sec)
3600.00/3610.10	c propagations          : 36978          (10 /sec)
3600.00/3610.10	c inspects              : 0              (0 /sec)
3600.00/3610.10	c CPU time (solving tm) : 3592 s        (3564 s, SAT 3146 s, UNSAT 0 s)
3600.00/3610.10	c Time for Opt-base     : 0.001668 s
3600.00/3610.10	c Steps for Opt-base    : 0
3600.00/3610.10	c Time for BDD coding   : 0 s
3600.00/3610.10	c Time for srt coding   : 0.01135 s
3600.00/3610.10	c _____________________________________________________________________________
3600.00/3610.10	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
3600.00/3610.10	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
3600.00/3610.10	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 x4609 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -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.00/3610.10	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.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.11	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v
3600.00/3610.12	v

Verifier Data 

OK	309598

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463476-1722355409/watcher-4463476-1722355409 -o /tmp/evaluation-result-4463476-1722355409/solver-4463476-1722355409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722351798-13006 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463476-1722355409.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=15027, runsolver pid=15024
Current StackSize limit: 8192 KiB


[startup+0.100953 s]*
/proc/loadavg: 4.17 4.11 4.10 5/261 15032
/proc/meminfo: memFree=129351048/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=15268 memory=13436 CPUtime=0.09 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 3311 0 0 0 9 0 0 0 20 0 1 0 2141973 15634432 3359 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 3817 3359 580 659 0 3021 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25200 KiB
Current children cumulated memory: 16080 KiB

[startup+0.205952 s]*
/proc/loadavg: 4.17 4.11 4.10 5/257 15040
/proc/meminfo: memFree=129593176/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=26556 memory=24468 CPUtime=0.19 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 6558 0 0 0 19 0 0 0 20 0 1 0 2141973 27193344 6117 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 6639 6117 580 659 0 5843 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36488 KiB
Current children cumulated memory: 27112 KiB

[startup+0.305082 s]*
/proc/loadavg: 4.17 4.11 4.10 4/257 15046
/proc/meminfo: memFree=129587032/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=31828 memory=30276 CPUtime=0.29 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 8025 0 0 0 28 1 0 0 20 0 1 0 2141973 32591872 7569 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 7957 7569 580 659 0 7161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41760 KiB
Current children cumulated memory: 32920 KiB

[startup+0.700209 s]
/proc/loadavg: 4.17 4.11 4.10 5/256 15067
/proc/meminfo: memFree=129548980/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=88272 memory=83824 CPUtime=0.68 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 18894 0 0 0 65 3 0 0 20 0 1 0 2141973 90390528 20956 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 22068 20956 580 659 0 21272 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98204 KiB
Current children cumulated memory: 86468 KiB

[startup+1.50021 s]
/proc/loadavg: 4.17 4.11 4.10 5/261 15082
/proc/meminfo: memFree=129398216/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=178048 memory=168992 CPUtime=1.47 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 31503 0 0 0 141 6 0 0 20 0 1 0 2141973 182321152 42248 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 44512 42248 580 659 0 43716 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187980 KiB
Current children cumulated memory: 171636 KiB

[startup+3.10546 s]
/proc/loadavg: 4.17 4.11 4.10 5/261 15132
/proc/meminfo: memFree=129018484/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=359432 memory=346720 CPUtime=3.08 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 49404 0 0 0 295 13 0 0 20 0 1 0 2141973 368058368 86680 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 89858 86680 580 659 0 89062 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 369364 KiB
Current children cumulated memory: 349364 KiB

[startup+6.30019 s]
/proc/loadavg: 4.24 4.13 4.10 5/261 15134
/proc/meminfo: memFree=128195840/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=840808 memory=800964 CPUtime=6.26 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 97139 0 0 0 601 25 0 0 20 0 1 0 2141973 860987392 200241 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 210202 200241 580 659 0 209406 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 850740 KiB
Current children cumulated memory: 803608 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.14 4.10 5/261 15134
/proc/meminfo: memFree=127957404/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1077964 CPUtime=12.66 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 153124 0 0 0 1231 35 0 0 20 0 1 0 2141973 1138262016 269491 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 269491 612 659 0 277100 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1080608 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.15 4.11 5/260 15137
/proc/meminfo: memFree=127871824/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1080236 CPUtime=25.43 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 153197 0 0 0 2508 35 0 0 20 0 1 0 2141973 1138262016 270059 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 270059 612 659 0 277100 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1082880 KiB

[startup+51.1044 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 15141
/proc/meminfo: memFree=127870836/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1080300 CPUtime=50.99 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 153208 0 0 0 5064 35 0 0 20 0 1 0 2141973 1138262016 270075 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 270075 612 659 0 277100 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1082944 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 15150
/proc/meminfo: memFree=127864368/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1080300 CPUtime=102.09 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 153223 0 0 0 10174 35 0 0 20 0 1 0 2141973 1138262016 270075 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 270075 612 659 0 277100 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1082944 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 15160
/proc/meminfo: memFree=127863608/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1080300 CPUtime=161.98 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 153239 0 0 0 16163 35 0 0 20 0 1 0 2141973 1138262016 270075 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 270075 612 659 0 277100 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1082944 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 4.20 4.12 5/258 15171
/proc/meminfo: memFree=127862476/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1080308 CPUtime=221.87 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 153257 0 0 0 22152 35 0 0 20 0 1 0 2141973 1138262016 270077 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 270077 612 659 0 277100 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 1121516 KiB

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

[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1090132 CPUtime=3093.89 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 154664 0 0 0 309353 36 0 0 20 0 1 0 2141973 1138262016 272533 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 272533 612 659 0 277100 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1092776 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/261 16709
/proc/meminfo: memFree=119617464/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=1111584 memory=1090132 CPUtime=3153.71 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 154693 0 0 0 315335 36 0 0 20 0 1 0 2141973 1138262016 272533 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 277896 272533 612 659 0 277100 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1092776 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/261 16720
/proc/meminfo: memFree=113660956/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=6941056 memory=6592748 CPUtime=3213.51 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 999369 0 0 0 321042 309 0 0 20 0 1 0 2141973 7107641344 1648187 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 1735264 1648187 644 659 0 1734468 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 6950988 KiB
Current children cumulated memory: 6595392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/261 16733
/proc/meminfo: memFree=113763904/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=7276588 memory=6928412 CPUtime=3273.3 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1178457 0 0 0 326976 354 0 0 20 0 1 0 2141973 7451226112 1732103 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 1819147 1732103 644 659 0 1818351 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 7286520 KiB
Current children cumulated memory: 6931056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 16913
/proc/meminfo: memFree=112142580/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=8449076 memory=8098272 CPUtime=3333.1 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1187262 0 0 0 332865 445 0 0 20 0 1 0 2141973 8651853824 2024568 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 2112269 2024568 660 659 0 2111473 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 8459008 KiB
Current children cumulated memory: 8100916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 16927
/proc/meminfo: memFree=112764772/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=8447168 memory=8096464 CPUtime=3392.89 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1199651 0 0 0 338735 554 0 0 20 0 1 0 2141973 8649900032 2024116 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 2111792 2024116 660 659 0 2110996 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 8457100 KiB
Current children cumulated memory: 8099108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 16952
/proc/meminfo: memFree=113142592/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=8087152 memory=7736328 CPUtime=3452.7 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1212770 0 0 0 344602 668 0 0 20 0 1 0 2141973 8281243648 1934082 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 2021788 1934082 660 659 0 2020992 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 8097084 KiB
Current children cumulated memory: 7738972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 16962
/proc/meminfo: memFree=113128848/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=8087448 memory=7736988 CPUtime=3512.49 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1217328 0 0 0 350548 701 0 0 20 0 1 0 2141973 8281546752 1934247 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 2021862 1934247 660 659 0 2021066 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 8097380 KiB
Current children cumulated memory: 7739632 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 16973
/proc/meminfo: memFree=113013768/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=8088160 memory=7737768 CPUtime=3572.29 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1228548 0 0 0 356418 811 0 0 20 0 1 0 2141973 8282275840 1934442 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 2022040 1934442 660 659 0 2021244 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 8098092 KiB
Current children cumulated memory: 7740412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.08 4.11 4.09 4/254 17010
/proc/meminfo: memFree=115238020/131524600 swapFree=131063756/131071996
[pid=15027] ppid=15024 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/15027/stat : 15027 (naps-1.03.sh) S 15024 15027 12993 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 2141973 10170368 661 134679101440 94661077508096 94661078587416 140736019646640 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94661080685872 94661080733060 94661110484992 140736019653603 140736019653728 140736019653728 140736019660744 0
/proc/15027/statm: 2483 661 584 264 0 134 0
[pid=15032] ppid=15027 vsize=8088160 memory=7737768 CPUtime=3600 cores=5,7
/proc/15032/stat : 15032 (naps-1.03a2) R 15027 15027 12993 0 -1 4194304 1231159 0 0 0 359171 829 0 0 20 0 1 0 2141973 8282275840 1934442 134679101440 4194304 6891597 140721211432960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30281728 140721211442158 140721211442272 140721211442272 140721211449289 0
/proc/15032/statm: 2022040 1934442 660 659 0 2021244 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8098092 KiB
Current children cumulated memory: 7740412 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000737 s, system=0.002084 s

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

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

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

[startup+3610.2 s]*
/proc/loadavg: 4.08 4.11 4.09 3/250 17010
/proc/meminfo: memFree=123139072/131524600 swapFree=131063756/131071996
Current cumulated CPU time of completed processes: 0.002821 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3610.25
CPU time (s): 3600.15
CPU user time (s): 3591.73
CPU system time (s): 8.42389
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 9753552
Max. memory (cumulated for all children) (KiB): 9395460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.73
system time used= 8.42389
maximum resident set size= 9392816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1231622
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= 15
involuntary context switches= 2865


# summary of solver processes directly reported to runsolver:
#   pid: 15027,15032
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3591.73
#   total CPU system time (s): 8.42389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09358 second user time and 16.4604 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-30 18:03:29
IDJOB=4463476
IDBENCH=144139
IDSOLVER=3090
FILE ID=nodeC029/4463476-1722355409
RUNJOBID= nodeC029-1722351798-13006
SLURM_JOB_ID= 8249016
Free space on /tmp= 890028 MiB

SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463476-1722355409/watcher-4463476-1722355409 -o /tmp/evaluation-result-4463476-1722355409/solver-4463476-1722355409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722351798-13006 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4463476-1722355409.wbo

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=849456920

nodeC029.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		: 3673.322
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	: 7000.02
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		: 3688.495
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.75
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.177
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	: 7000.02
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		: 3611.987
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.75
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		: 3673.329
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	: 7000.02
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		: 3691.192
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.75
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.239
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	: 7000.02
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		: 3662.084
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129378520 kB
MemAvailable:   129159624 kB
Buffers:           55092 kB
Cached:           566276 kB
SwapCached:          212 kB
Active:           191048 kB
Inactive:        1495136 kB
Active(anon):       1760 kB
Inactive(anon):  1084080 kB
Active(file):     189288 kB
Inactive(file):   411056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:             51912 kB
Writeback:             0 kB
AnonPages:       1064092 kB
Mapped:            95260 kB
Shmem:             21024 kB
KReclaimable:      41168 kB
Slab:             120320 kB
SReclaimable:      41168 kB
SUnreclaim:        79152 kB
KernelStack:        4192 kB
PageTables:        11244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1599112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    770048 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:      185044 kB
DirectMap2M:     6928384 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC029 at 2024-07-30 19:03:39