Trace number 4526681

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 naps-1.03a6MSAT (TO) 3600.13 3611.15

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 benchmarkMOPT
Best cost obtained on this benchmark4123
Best CPU time to get the best result obtained on this benchmark118.953
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.02	c NaPS 1.03a6.
0.00/0.02	c Input file name: HOME/instance-4526681-1751633594.wbo
0.00/0.02	c Initial goal by soft: 476243
30.88/31.07	c single stage optimization mode
3600.08/3611.11	o 286745
3600.08/3611.11	c 
3600.08/3611.11	c *** TERMINATED *** by signal 15
3600.08/3611.11	s SATISFIABLE
3600.08/3611.11	c _____________________________________________________________________________
3600.08/3611.11	c std/band forms        : 202,0
3600.08/3611.11	c 2cl/3cl ITE-codings   : 0,0
3600.08/3611.11	c BDD/srt/adr Max costs : 0,694,4573020
3600.08/3611.11	c BDDraw/bin/mul/srt/adr: 0,0,0,200,2
3600.08/3611.11	c BDD nodes             : 0
3600.08/3611.11	c Es1/CC detections     : 0,0
3600.08/3611.11	c CC sort               : 200
3600.08/3611.11	c SAT/UNSAT calls       : 1,0
3600.08/3611.11	c regenrated variables  : 0
3600.08/3611.11	c eliminated fixed lits : 0
3600.08/3611.11	c goal lit flips        : 0
3600.08/3611.11	c goal stages           : 1
3600.08/3611.11	c goal shrink           : 0
3600.08/3611.11	c goal coeff separations: 0
3600.08/3611.11	c restarts              : 0
3600.08/3611.11	c conflicts             : 0              (0 /sec)
3600.08/3611.11	c decisions             : 0              (0 /sec)
3600.08/3611.11	c propagations          : 37003          (10 /sec)
3600.08/3611.11	c inspects              : 0              (0 /sec)
3600.08/3611.11	c CPU time (solving tm) : 3555 s        (3511 s, SAT 5.256 s, UNSAT 0 s)
3600.08/3611.11	c Time for Opt-base     : 0.001516 s
3600.08/3611.11	c Steps for Opt-base    : 0
3600.08/3611.11	c Time for BDD coding   : 0 s
3600.08/3611.11	c Time for srt coding   : 0.01195 s
3600.08/3611.11	c _____________________________________________________________________________
3600.08/3611.11	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.08/3611.11	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.08/3611.11	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.08/3611.11	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.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v
3600.08/3611.12	v

Verifier Data 

OK	286745

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: 63837 MiB (62307 MiB free)
  memory of node 1: 64465 MiB (63235 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526681-1751633594/watcher-4526681-1751633594 -o /tmp/evaluation-result-4526681-1751633594/solver-4526681-1751633594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751629980-90273 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4526681-1751633594.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=91261, runsolver pid=91258
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.18 4.11 4.10 4/251 91271
/proc/meminfo: memFree=128555652/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=7156 memory=5604 CPUtime=0.08 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 981 0 0 0 8 0 0 0 20 0 1 0 79038865 7327744 1401 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 1789 1401 544 696 0 950 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11348 KiB
Current children cumulated memory: 8676 KiB

[startup+0.209886 s]*
/proc/loadavg: 4.18 4.11 4.10 4/251 91274
/proc/meminfo: memFree=128555652/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=10396 memory=8800 CPUtime=0.19 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1885 0 0 0 18 1 0 0 20 0 1 0 79038865 10645504 2200 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2599 2200 544 696 0 1760 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 14588 KiB
Current children cumulated memory: 11872 KiB

[startup+0.309762 s]*
/proc/loadavg: 4.18 4.11 4.10 5/249 91281
/proc/meminfo: memFree=128555212/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=14784 memory=12748 CPUtime=0.28 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 3059 0 0 0 27 1 0 0 20 0 1 0 79038865 15138816 3187 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 3696 3187 544 696 0 2857 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18976 KiB
Current children cumulated memory: 15820 KiB

[startup+0.700407 s]
/proc/loadavg: 4.18 4.11 4.10 5/250 91292
/proc/meminfo: memFree=128542232/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=28724 memory=26200 CPUtime=0.65 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 6295 0 0 0 62 3 0 0 20 0 1 0 79038865 29413376 6550 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 7181 6550 544 696 0 6342 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 32916 KiB
Current children cumulated memory: 29272 KiB

[startup+1.50039 s]
/proc/loadavg: 4.18 4.11 4.10 6/254 91305
/proc/meminfo: memFree=128499832/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=86464 memory=82208 CPUtime=1.45 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 14957 0 0 0 138 7 0 0 20 0 1 0 79038865 88539136 20552 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 21616 20552 544 696 0 20777 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 90656 KiB
Current children cumulated memory: 85280 KiB

[startup+3.11351 s]
/proc/loadavg: 4.18 4.11 4.10 5/254 91305
/proc/meminfo: memFree=128197036/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=204156 memory=199652 CPUtime=3.06 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 32569 0 0 0 294 12 0 0 20 0 1 0 79038865 209055744 49913 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 51039 49913 544 696 0 50200 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 208348 KiB
Current children cumulated memory: 202724 KiB

[startup+6.30034 s]
/proc/loadavg: 4.17 4.10 4.10 5/254 91305
/proc/meminfo: memFree=127503912/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=448840 memory=444688 CPUtime=6.23 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 60677 0 0 0 602 21 0 0 20 0 1 0 79038865 459612160 111172 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 112210 111172 544 696 0 111371 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 453032 KiB
Current children cumulated memory: 447760 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.10 4.09 5/254 91306
/proc/meminfo: memFree=125398540/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=1370476 memory=1330132 CPUtime=12.62 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 207621 0 0 0 1212 50 0 0 20 0 1 0 79038865 1403367424 332533 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 342619 332533 576 696 0 341780 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1374668 KiB
Current children cumulated memory: 1333204 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 4.11 4.10 5/254 91306
/proc/meminfo: memFree=120691824/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=4945068 memory=4785624 CPUtime=25.38 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 762326 0 0 0 2366 172 0 0 20 0 1 0 79038865 5063749632 1196406 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 1236267 1196406 576 696 0 1235428 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 4949260 KiB
Current children cumulated memory: 4788696 KiB

[startup+51.1136 s]
/proc/loadavg: 4.20 4.12 4.10 5/254 91306
/proc/meminfo: memFree=118382152/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=6432008 memory=6223644 CPUtime=50.91 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1060953 0 0 0 4863 228 0 0 20 0 1 0 79038865 6586376192 1555911 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 1608002 1555911 608 696 0 1607163 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 6436200 KiB
Current children cumulated memory: 6226716 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 91308
/proc/meminfo: memFree=116507828/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=7911976 memory=7534616 CPUtime=101.92 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1069872 0 0 0 9890 302 0 0 20 0 1 0 79038865 8101863424 1883654 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 1977994 1883654 608 696 0 1977155 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 7916168 KiB
Current children cumulated memory: 7537688 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/253 91310
/proc/meminfo: memFree=117011276/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=7911976 memory=7534736 CPUtime=161.71 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1086326 0 0 0 15751 420 0 0 20 0 1 0 79038865 8101863424 1883684 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 1977994 1883684 608 696 0 1977155 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 7916168 KiB
Current children cumulated memory: 7537808 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 91313
/proc/meminfo: memFree=116595980/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8380280 memory=8011660 CPUtime=221.5 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1103531 0 0 0 21597 553 0 0 20 0 1 0 79038865 8581406720 2002915 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2095070 2002915 640 696 0 2094231 0
Current children cumulated CPU time: 221.5 s

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

/proc/91267/statm: 2119481 1991458 640 696 0 2118642 0
Current children cumulated CPU time: 3092.59 s
Current children cumulated vsize: 8482116 KiB
Current children cumulated memory: 7968904 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.16 3.23 4/247 92210
/proc/meminfo: memFree=103778700/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8477924 memory=7966216 CPUtime=3152.44 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1569267 0 0 0 310905 4339 0 0 20 0 1 0 79038865 8681394176 1991554 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119481 1991554 640 696 0 2118642 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 8482116 KiB
Current children cumulated memory: 7969288 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.14 3.22 4/247 92212
/proc/meminfo: memFree=103211992/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=9052768 memory=8541460 CPUtime=3212.29 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1580160 0 0 0 316794 4435 0 0 20 0 1 0 79038865 9270034432 2135365 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2263192 2135365 640 696 0 2262353 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 9056960 KiB
Current children cumulated memory: 8544532 KiB

[startup+3282.3 s]
/proc/loadavg: 3.10 3.13 3.21 4/248 92215
/proc/meminfo: memFree=103779628/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8478296 memory=7965056 CPUtime=3272.11 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1588865 0 0 0 322725 4486 0 0 20 0 1 0 79038865 8681775104 1991264 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119574 1991264 640 696 0 2118735 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 8482488 KiB
Current children cumulated memory: 7968128 KiB

[startup+3342.3 s]
/proc/loadavg: 3.09 3.12 3.20 4/248 92217
/proc/meminfo: memFree=103775976/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8478296 memory=7965056 CPUtime=3331.95 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1590982 0 0 0 328708 4487 0 0 20 0 1 0 79038865 8681775104 1991264 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119574 1991264 640 696 0 2118735 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 8482488 KiB
Current children cumulated memory: 7968128 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.11 3.19 4/248 92219
/proc/meminfo: memFree=103527776/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8478296 memory=7965056 CPUtime=3391.79 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1593243 0 0 0 334691 4488 0 0 20 0 1 0 79038865 8681775104 1991264 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119574 1991264 640 696 0 2118735 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 8482488 KiB
Current children cumulated memory: 7968128 KiB

[startup+3462.3 s]
/proc/loadavg: 3.06 3.10 3.18 4/248 92222
/proc/meminfo: memFree=103782320/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8478296 memory=7965056 CPUtime=3451.65 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1595190 0 0 0 340676 4489 0 0 20 0 1 0 79038865 8681775104 1991264 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119574 1991264 640 696 0 2118735 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 8482488 KiB
Current children cumulated memory: 7968128 KiB

[startup+3522.3 s]
/proc/loadavg: 3.06 3.09 3.17 4/248 92224
/proc/meminfo: memFree=103765272/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8478296 memory=7965056 CPUtime=3511.49 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1597163 0 0 0 346660 4489 0 0 20 0 1 0 79038865 8681775104 1991264 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119574 1991264 640 696 0 2118735 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 8482488 KiB
Current children cumulated memory: 7968128 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.10 3.17 4/247 92232
/proc/meminfo: memFree=103776352/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8477548 memory=7964312 CPUtime=3571.35 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1602166 0 0 0 352608 4527 0 0 20 0 1 0 79038865 8681009152 1991078 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119387 1991078 640 696 0 2118548 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 8481740 KiB
Current children cumulated memory: 7967384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 3.08 3.09 3.17 4/246 92233
/proc/meminfo: memFree=103777108/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8477548 memory=7964312 CPUtime=3600.08 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1603660 0 0 0 355481 4527 0 0 20 0 1 0 79038865 8681009152 1991078 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119387 1991078 640 696 0 2118548 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 8481740 KiB
Current children cumulated memory: 7967384 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.005208 s, system=0.00263 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3554.84 s, system=45.2959 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+3611.11 s]
/proc/loadavg: 3.08 3.09 3.17 4/246 92233
/proc/meminfo: memFree=103777108/131382112 swapFree=33002444/33010684
[pid=91261] ppid=91258 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/91261/stat : 91261 (naps-1.03a6.sh) S 91258 91261 90260 0 -1 4194304 229 199 0 0 0 0 0 0 20 0 1 0 79038863 4292608 768 18446744073709551615 94116506525696 94116507420229 140736303586416 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94116507659280 94116507707024 94116516421632 140736303593893 140736303593987 140736303593987 140736303599591 0
/proc/91261/statm: 1048 768 704 219 0 110 0
[pid=91267] ppid=91261 vsize=8477548 memory=7964312 CPUtime=3600.08 cores=5,7
/proc/91267/stat : 91267 (naps-1.03a6) R 91261 91261 90260 0 -1 4194304 1603660 0 0 0 355481 4527 0 0 20 0 1 0 79038865 8681009152 1991078 18446744073709551615 4198400 7047149 140730221138720 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25890816 140730221144434 140730221144548 140730221144548 140730221150153 0
/proc/91267/statm: 2119387 1991078 640 696 0 2118548 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 8481740 KiB
Current children cumulated memory: 7967384 KiB

Child status: 10

Real time (s): 3611.15
CPU time (s): 3600.13
CPU user time (s): 3554.84
CPU system time (s): 45.2959
CPU usage (%): 99.6951
Max. virtual memory (cumulated for all children) (KiB): 10453024
Max. memory (cumulated for all children) (KiB): 9922328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.84
system time used= 45.2959
maximum resident set size= 9919256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1604094
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= 860
involuntary context switches= 3492


# summary of solver processes directly reported to runsolver:
#   pid: 91261,91267
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3554.84
#   total CPU system time (s): 45.2959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.152 second user time and 36.6246 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-04 14:53:15
IDJOB=4526681
IDBENCH=144139
IDSOLVER=3377
FILE ID=nodeC005/4526681-1751633594
RUNJOBID= nodeC005-1751629980-90273
SLURM_JOB_ID= 9598965
Free space on /tmp= 428564 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526681-1751633594/watcher-4526681-1751633594 -o /tmp/evaluation-result-4526681-1751633594/solver-4526681-1751633594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751629980-90273 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4526681-1751633594.wbo

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=1242361451

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.951
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.231
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.544
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.137
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.880
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.480
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1798.442
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128556156 kB
MemAvailable:   129387104 kB
Buffers:              12 kB
Cached:          1617920 kB
SwapCached:          260 kB
Active:           830164 kB
Inactive:        1362564 kB
Active(anon):     547104 kB
Inactive(anon):    40568 kB
Active(file):     283060 kB
Inactive(file):  1321996 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38240 kB
Writeback:             8 kB
AnonPages:        572568 kB
Mapped:           104092 kB
Shmem:             12876 kB
KReclaimable:     131036 kB
Slab:             217636 kB
SReclaimable:     131036 kB
SUnreclaim:        86600 kB
KernelStack:        4080 kB
PageTables:         4356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     914272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    294912 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428496 MiB
End job on nodeC005 at 2025-07-04 15:53:26