Trace number 4461446

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03a1MSAT (TO) 3600.28 3607.47

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo
MD5SUM38287b4f81b650595c9c747bdd7f38d4
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark22554
Best CPU time to get the best result obtained on this benchmark3601.41
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7542
Total number of constraints1065451
Number of soft constraints1065251
Number of constraints which are clauses1065251
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 476244
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 266649860
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03a1.
0.00/0.00	c Input file name: HOME/instance-4461446-1722080454.wbo
0.00/0.00	c Initial goal by soft: 476243
10.67/10.70	c single stage optimization mode
3125.95/3131.74	o 309598
3600.09/3607.30	c 
3600.09/3607.30	c *** TERMINATED *** by signal 15
3600.09/3607.30	s SATISFIABLE
3600.09/3607.30	c _____________________________________________________________________________
3600.09/3607.30	c std/band forms        : 201,0
3600.09/3607.30	c 2cl/3cl ITE-codings   : 0,0
3600.09/3607.30	c BDD/srt/adr Max costs : 0,694,4573020
3600.09/3607.30	c BDDraw/bin/mul/srt/adr: 0,0,0,200,1
3600.09/3607.30	c BDD nodes             : 0
3600.09/3607.30	c Es1/CC detections     : 0,0
3600.09/3607.30	c CC sort               : 200
3600.09/3607.30	c SAT/UNSAT calls       : 1,0
3600.09/3607.30	c regenrated variables  : 0
3600.09/3607.30	c eliminated fixed lits : 0
3600.09/3607.30	c goal lit flips        : 1063966
3600.09/3607.30	c goal stages           : 1
3600.09/3607.30	c goal shrink           : 0
3600.09/3607.30	c goal coeff separations: 0
3600.09/3607.30	c restarts              : 0
3600.09/3607.30	c conflicts             : 0              (0 /sec)
3600.09/3607.30	c decisions             : 0              (0 /sec)
3600.09/3607.30	c propagations          : 36978          (10 /sec)
3600.09/3607.30	c inspects              : 0              (0 /sec)
3600.09/3607.30	c CPU time (solving tm) : 3591 s        (3563 s, SAT 3113 s, UNSAT 0 s)
3600.09/3607.30	c Time for Opt-base     : 0.001763 s
3600.09/3607.30	c Steps for Opt-base    : 0
3600.09/3607.30	c Time for BDD coding   : 0 s
3600.09/3607.30	c Time for srt coding   : 0.01193 s
3600.09/3607.30	c _____________________________________________________________________________
3600.09/3607.30	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.09/3607.30	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.09/3607.30	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.09/3607.30	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.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v
3600.09/3607.31	v

Verifier Data 

OK	309598

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (47019 MiB free)
  memory of node 1: 64473 MiB (44223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461446-1722080454/watcher-4461446-1722080454 -o /tmp/evaluation-result-4461446-1722080454/solver-4461446-1722080454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722076679-372793 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461446-1722080454.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=375264, runsolver pid=375261

[startup+0.100096 s]*
/proc/loadavg: 4.11 4.12 4.09 5/258 375269
/proc/meminfo: memFree=93400604/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=15928 memory=14224 CPUtime=0.09 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 3481 0 0 0 9 0 0 0 20 0 1 0 44573699 16310272 3556 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 3982 3556 580 659 0 3186 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25860 KiB
Current children cumulated memory: 16956 KiB

[startup+0.205738 s]*
/proc/loadavg: 4.11 4.12 4.09 5/258 375269
/proc/meminfo: memFree=93364988/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=27036 memory=24728 CPUtime=0.2 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 6651 0 0 0 19 1 0 0 20 0 1 0 44573699 27684864 6182 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 6759 6182 580 659 0 5963 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36968 KiB
Current children cumulated memory: 27460 KiB

[startup+0.305667 s]*
/proc/loadavg: 4.11 4.12 4.09 5/258 375269
/proc/meminfo: memFree=93321788/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=32888 memory=31064 CPUtime=0.29 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 8218 0 0 0 28 1 0 0 20 0 1 0 44573699 33677312 7766 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 8222 7766 580 659 0 7426 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42820 KiB
Current children cumulated memory: 33796 KiB

[startup+0.70027 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 375269
/proc/meminfo: memFree=93241184/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=88272 memory=84348 CPUtime=0.68 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 18993 0 0 0 65 3 0 0 20 0 1 0 44573699 90390528 21087 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 22068 21087 580 659 0 21272 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98204 KiB
Current children cumulated memory: 87080 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 375269
/proc/meminfo: memFree=93041304/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=178048 memory=169724 CPUtime=1.49 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 30648 0 0 0 142 7 0 0 20 0 1 0 44573699 182321152 42431 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 44512 42431 580 659 0 43716 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 187980 KiB
Current children cumulated memory: 172456 KiB

[startup+3.10566 s]
/proc/loadavg: 4.10 4.12 4.09 6/258 375270
/proc/meminfo: memFree=92019040/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=359432 memory=346768 CPUtime=3.09 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 48390 0 0 0 297 12 0 0 20 0 1 0 44573699 368058368 86692 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 89858 86692 580 659 0 89062 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 369364 KiB
Current children cumulated memory: 349500 KiB

[startup+6.30026 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 375270
/proc/meminfo: memFree=91032892/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=840808 memory=801560 CPUtime=6.27 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 96805 0 0 0 600 27 0 0 20 0 1 0 44573699 860987392 200390 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 210202 200390 580 659 0 209406 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 850740 KiB
Current children cumulated memory: 804292 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 375270
/proc/meminfo: memFree=89893292/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1098516 memory=1058248 CPUtime=12.67 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 149697 0 0 0 1231 36 0 0 20 0 1 0 44573699 1124880384 264562 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 274662 264562 612 659 0 273866 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1108448 KiB
Current children cumulated memory: 1060980 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 375274
/proc/meminfo: memFree=89711808/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1111584 memory=1076884 CPUtime=25.44 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 153883 0 0 0 2507 37 0 0 20 0 1 0 44573699 1138262016 269221 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 277896 269221 612 659 0 277100 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1079616 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 375278
/proc/meminfo: memFree=88571468/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1111584 memory=1076884 CPUtime=50.97 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 153892 0 0 0 5060 37 0 0 20 0 1 0 44573699 1138262016 269221 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 277896 269221 612 659 0 277100 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1079616 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 375287
/proc/meminfo: memFree=88951172/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1111584 memory=1076896 CPUtime=102.04 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 153905 0 0 0 10166 38 0 0 20 0 1 0 44573699 1138262016 269224 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 277896 269224 612 659 0 277100 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1079628 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 375298
/proc/meminfo: memFree=87158724/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1111584 memory=1076896 CPUtime=161.9 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 153918 0 0 0 16151 39 0 0 20 0 1 0 44573699 1138262016 269224 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 277896 269224 612 659 0 277100 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1079628 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 375308
/proc/meminfo: memFree=88476844/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1111584 memory=1076896 CPUtime=221.77 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 153932 0 0 0 22138 39 0 0 20 0 1 0 44573699 1138262016 269224 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 277896 269224 612 659 0 277100 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 1121516 KiB

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

[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=1111584 memory=1086036 CPUtime=3096.59 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 154929 0 0 0 309610 49 0 0 20 0 1 0 44573699 1138262016 271509 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 277896 271509 612 659 0 277100 0
Current children cumulated CPU time: 3096.59 s
Current children cumulated vsize: 1121516 KiB
Current children cumulated memory: 1088768 KiB

[startup+3162.3 s]
/proc/loadavg: 1.13 1.14 1.55 2/237 377269
/proc/meminfo: memFree=113822088/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=6328752 memory=5980248 CPUtime=3156.48 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 974417 0 0 0 315429 219 0 0 20 0 1 0 44573699 6480642048 1495062 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 1582188 1495062 644 659 0 1581392 0
Current children cumulated CPU time: 3156.48 s
Current children cumulated vsize: 6338684 KiB
Current children cumulated memory: 5982980 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.12 1.52 2/236 377280
/proc/meminfo: memFree=113042000/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=7105252 memory=6756860 CPUtime=3216.26 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1169683 0 0 0 321292 334 0 0 20 0 1 0 44573699 7275778048 1689215 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 1776313 1689215 644 659 0 1775517 0
Current children cumulated CPU time: 3216.26 s
Current children cumulated vsize: 7115184 KiB
Current children cumulated memory: 6759592 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.11 1.49 2/236 377290
/proc/meminfo: memFree=111698600/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=8448616 memory=8097504 CPUtime=3276.08 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1183948 0 0 0 327196 412 0 0 20 0 1 0 44573699 8651382784 2024376 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2112154 2024376 660 659 0 2111358 0
Current children cumulated CPU time: 3276.08 s
Current children cumulated vsize: 8458548 KiB
Current children cumulated memory: 8100236 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.11 1.46 2/233 377302
/proc/meminfo: memFree=112093588/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=8053948 memory=7702936 CPUtime=3335.9 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1195059 0 0 0 333059 531 0 0 20 0 1 0 44573699 8247242752 1925734 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2013487 1925734 660 659 0 2012691 0
Current children cumulated CPU time: 3335.9 s
Current children cumulated vsize: 8063880 KiB
Current children cumulated memory: 7705668 KiB

[startup+3402.3 s]
/proc/loadavg: 1.06 1.10 1.44 2/233 377314
/proc/meminfo: memFree=110622328/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=9522196 memory=9170972 CPUtime=3395.73 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1210570 0 0 0 338915 658 0 0 20 0 1 0 44573699 9750728704 2292743 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2380549 2292743 660 659 0 2379753 0
Current children cumulated CPU time: 3395.73 s
Current children cumulated vsize: 9532128 KiB
Current children cumulated memory: 9173704 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.11 1.42 2/233 377324
/proc/meminfo: memFree=112059124/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=8087448 memory=7736680 CPUtime=3455.53 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1214712 0 0 0 344858 695 0 0 20 0 1 0 44573699 8281546752 1934170 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2021862 1934170 660 659 0 2021066 0
Current children cumulated CPU time: 3455.53 s
Current children cumulated vsize: 8097380 KiB
Current children cumulated memory: 7739412 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.12 1.40 2/233 377335
/proc/meminfo: memFree=112058092/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=8088160 memory=7737460 CPUtime=3515.34 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1226060 0 0 0 350730 804 0 0 20 0 1 0 44573699 8282275840 1934365 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2022040 1934365 660 659 0 2021244 0
Current children cumulated CPU time: 3515.34 s
Current children cumulated vsize: 8098092 KiB
Current children cumulated memory: 7740192 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.11 1.38 2/233 377346
/proc/meminfo: memFree=111663116/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=8482148 memory=8131448 CPUtime=3575.16 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1231915 0 0 0 356651 865 0 0 20 0 1 0 44573699 8685719552 2032862 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2120537 2032862 660 659 0 2119741 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 8492080 KiB
Current children cumulated memory: 8134180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.3 s]
/proc/loadavg: 1.07 1.10 1.37 2/236 377357
/proc/meminfo: memFree=111662756/131524600 swapFree=131061172/131071996
[pid=375264] ppid=375261 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/375264/stat : 375264 (naps-1.03.sh) S 375261 375264 372782 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 44573698 10170368 683 134679101440 94088126500864 94088127580184 140735887257600 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94088129678640 94088129725828 94088148836352 140735887262693 140735887262818 140735887262818 140735887269832 0
/proc/375264/statm: 2483 683 604 264 0 134 0
[pid=375269] ppid=375264 vsize=8481936 memory=8131236 CPUtime=3600.09 cores=4,6
/proc/375269/stat : 375269 (naps-1.03) R 375264 375264 372782 0 -1 4194304 1234409 0 0 0 359118 891 0 0 20 0 1 0 44573699 8685502464 2032809 134679101440 4194304 6891597 140725865973232 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 40443904 140725865976822 140725865976934 140725865976934 140725865983947 0
/proc/375269/statm: 2120484 2032809 660 659 0 2119688 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8491868 KiB
Current children cumulated memory: 8133968 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002433 s, system=0.00035 s

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

# cumulated CPU time of all completed processes:  user=3591.2 s, system=9.07882 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+3607.4 s]*
/proc/loadavg: 1.07 1.10 1.37 2/235 377357
/proc/meminfo: memFree=115344192/131524600 swapFree=131061172/131071996
Current cumulated CPU time of completed processes: 0.002783 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3607.47
CPU time (s): 3600.28
CPU user time (s): 3591.2
CPU system time (s): 9.07882
CPU usage (%): 99.8005
Max. virtual memory (cumulated for all children) (KiB): 9787516
Max. memory (cumulated for all children) (KiB): 9429560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.2
system time used= 9.07882
maximum resident set size= 9426828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1234876
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= 29
involuntary context switches= 4658


# summary of solver processes directly reported to runsolver:
#   pid: 375264,375269
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3591.2
#   total CPU system time (s): 9.07882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28529 second user time and 11.863 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-27 13:40:54
IDJOB=4461446
IDBENCH=144139
IDSOLVER=3088
FILE ID=nodeC018/4461446-1722080454
RUNJOBID= nodeC018-1722076679-372793
SLURM_JOB_ID= 8248136
Free space on /tmp= 889992 MiB

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

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=205378244

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        93436276 kB
MemAvailable:   103424144 kB
Buffers:          372924 kB
Cached:         10382828 kB
SwapCached:          196 kB
Active:          2378336 kB
Inactive:       34940580 kB
Active(anon):       2504 kB
Inactive(anon): 26614208 kB
Active(file):    2375832 kB
Inactive(file):  8326372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061172 kB
Dirty:             21836 kB
Writeback:         16208 kB
AnonPages:      26561028 kB
Mapped:           111596 kB
Shmem:             53516 kB
KReclaimable:     250976 kB
Slab:             372648 kB
SReclaimable:     250976 kB
SUnreclaim:       121672 kB
KernelStack:        4112 kB
PageTables:        61524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   28340220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13312 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18888704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      375508 kB
DirectMap2M:    43438080 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC018 at 2024-07-27 14:41:02