Trace number 4507536

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
OR-Tools CP-SAT 9.14SAT 160.976 82.1165

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
MD5SUM7361f1d7a542e71300a3f7026fcde645
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.52945
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

160.76/82.10	o 0
160.96/82.11	s SATISFIABLE
160.96/82.11	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
160.96/82.11	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
160.96/82.11	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 
160.96/82.11	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 
160.96/82.11	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 
160.96/82.11	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 
160.96/82.11	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 
160.96/82.11	v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 
160.96/82.11	v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 
160.96/82.11	v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
160.96/82.11	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 
160.96/82.11	v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 
160.96/82.11	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 
160.96/82.11	v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 
160.96/82.11	v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 
160.96/82.11	v -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 
160.96/82.11	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 
160.96/82.11	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
160.96/82.11	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 
160.96/82.11	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 
160.96/82.11	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 
160.96/82.11	v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 
160.96/82.11	v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 
160.96/82.11	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 
160.96/82.11	v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 
160.96/82.11	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
160.96/82.11	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 
160.96/82.11	v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 
160.96/82.11	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 
160.96/82.11	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 
160.96/82.11	v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
160.96/82.11	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 
160.96/82.11	v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 
160.96/82.11	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 
160.96/82.11	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 
160.96/82.11	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 
160.96/82.11	v -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 
160.96/82.11	v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 
160.96/82.11	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 
160.96/82.11	v -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 
160.96/82.11	v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 
160.96/82.11	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 
160.96/82.11	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 
160.96/82.11	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 
160.96/82.11	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 
160.96/82.11	v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 
160.96/82.11	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
160.96/82.11	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 x640 
160.96/82.11	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 
160.96/82.11	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 
160.96/82.11	v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 
160.96/82.11	v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 
160.96/82.11	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 
160.96/82.11	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 
160.96/82.11	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
160.96/82.11	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 
160.96/82.11	v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 
160.96/82.11	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 
160.96/82.11	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 
160.96/82.11	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 
160.96/82.11	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 
160.96/82.11	v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 
160.96/82.11	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 
160.96/82.11	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 
160.96/82.11	v x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 
160.96/82.11	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 
160.96/82.11	v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 
160.96/82.11	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
160.96/82.11	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 
160.96/82.11	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 
160.96/82.11	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 
160.96/82.11	v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 
160.96/82.11	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 
160.96/82.11	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 
160.96/82.11	v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 
160.96/82.11	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
160.96/82.11	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 
160.96/82.11	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 
160.96/82.11	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 
160.96/82.11	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 
160.96/82.11	v x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 
160.96/82.11	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 
160.96/82.11	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 
160.96/82.11	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 
160.96/82.11	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 
160.96/82.11	v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 
160.96/82.11	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 
160.96/82.11	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 
160.96/82.11	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
160.96/82.11	v -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 
160.96/82.11	v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 
160.96/82.11	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 
160.96/82.11	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 
160.96/82.11	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 
160.96/82.11	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 
160.96/82.11	v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 
160.96/82.11	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 
160.96/82.11	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 
160.96/82.11	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 
160.96/82.11	v -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 
160.96/82.11	v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 
160.96/82.11	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 
160.96/82.11	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
160.96/82.11	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 
160.96/82.11	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 
160.96/82.11	v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 
160.96/82.11	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
160.96/82.11	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 
160.96/82.11	v -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 
160.96/82.11	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 
160.96/82.11	v -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 
160.96/82.11	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 
160.96/82.11	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 
160.96/82.11	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 
160.96/82.11	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 
160.96/82.11	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 
160.96/82.11	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 
160.96/82.11	v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 
160.96/82.11	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 
160.96/82.11	v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 
160.96/82.11	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 
160.96/82.11	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 
160.96/82.11	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
160.96/82.11	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 
160.96/82.11	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 
160.96/82.11	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 
160.96/82.11	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 
160.96/82.11	v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 
160.96/82.11	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 
160.96/82.11	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 
160.96/82.11	v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 
160.96/82.11	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 
160.96/82.11	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 
160.96/82.11	v -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 
160.96/82.11	v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 
160.96/82.11	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 
160.96/82.11	v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 
160.96/82.11	v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 
160.96/82.11	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 
160.96/82.11	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 
160.96/82.11	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 
160.96/82.11	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 
160.96/82.11	v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 
160.96/82.11	v -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 
160.96/82.11	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 
160.96/82.11	v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 
160.96/82.11	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 
160.96/82.11	v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 
160.96/82.11	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 
160.96/82.11	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 
160.96/82.11	v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 
160.96/82.11	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 
160.96/82.11	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 
160.96/82.11	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 
160.96/82.11	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 
160.96/82.11	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 
160.96/82.11	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 
160.96/82.11	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 
160.96/82.11	v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 
160.96/82.11	v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 
160.96/82.11	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 
160.96/82.11	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 
160.96/82.11	v -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 
160.96/82.11	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 
160.96/82.11	v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 
160.96/82.11	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 
160.96/82.11	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 
160.96/82.11	v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 
160.96/82.11	v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 
160.96/82.11	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 
160.96/82.11	v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 
160.96/82.11	v -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 
160.96/82.11	v x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 
160.96/82.11	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 
160.96/82.11	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 
160.96/82.11	v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 
160.96/82.11	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 
160.96/82.11	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 
160.96/82.11	v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 
160.96/82.11	v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 
160.96/82.11	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 
160.96/82.11	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 
160.96/82.11	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 
160.96/82.11	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 
160.96/82.11	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 
160.96/82.11	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 
160.96/82.11	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 
160.96/82.11	v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 
160.96/82.11	v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 
160.96/82.11	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 
160.96/82.11	v -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 
160.96/82.11	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 
160.96/82.11	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 
160.96/82.11	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 
160.96/82.11	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 
160.96/82.11	v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 
160.96/82.11	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 
160.96/82.11	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 
160.96/82.11	v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 
160.96/82.11	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 
160.96/82.11	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 
160.96/82.11	v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 
160.96/82.11	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 
160.96/82.11	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 
160.96/82.11	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 
160.96/82.11	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 
160.96/82.11	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 
160.96/82.11	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 
160.96/82.11	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 
160.96/82.11	v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 
160.96/82.11	v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 
160.96/82.11	v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 
160.96/82.11	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 
160.96/82.11	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 
160.96/82.11	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 
160.96/82.11	v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 
160.96/82.11	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 
160.96/82.11	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 
160.96/82.11	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 
160.96/82.11	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 
160.96/82.11	v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 
160.96/82.11	v x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 
160.96/82.11	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 
160.96/82.11	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 
160.96/82.11	v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 
160.96/82.11	v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 
160.96/82.11	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 
160.96/82.11	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 
160.96/82.11	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 
160.96/82.11	v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 
160.96/82.11	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 
160.96/82.11	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 
160.96/82.11	v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 
160.96/82.11	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 
160.96/82.11	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 
160.96/82.11	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 
160.96/82.11	v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 
160.96/82.11	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 
160.96/82.11	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 
160.96/82.11	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 
160.96/82.11	v -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 
160.96/82.11	v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 
160.96/82.11	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 
160.96/82.11	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 
160.96/82.11	v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 
160.96/82.11	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 
160.96/82.11	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 
160.96/82.11	v -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 
160.96/82.11	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 
160.96/82.11	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 
160.96/82.11	v -x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 
160.96/82.11	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 
160.96/82.11	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 
160.96/82.11	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 
160.96/82.11	v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 
160.96/82.11	v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 
160.96/82.11	v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 
160.96/82.11	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 
160.96/82.11	v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 
160.96/82.11	v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 
160.96/82.11	v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 
160.96/82.11	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 
160.96/82.11	v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 
160.96/82.11	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 
160.96/82.11	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 
160.96/82.11	v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 
160.96/82.11	v -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 
160.96/82.11	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 
160.96/82.11	v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 
160.96/82.11	v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 
160.96/82.11	v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 
160.96/82.11	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 
160.96/82.11	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 
160.96/82.11	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 
160.96/82.11	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 
160.96/82.11	v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 
160.96/82.11	v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 
160.96/82.11	v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 
160.96/82.11	v -x3226 x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 
160.96/82.11	v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 
160.96/82.11	v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 
160.96/82.11	v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 
160.96/82.11	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 
160.96/82.11	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 
160.96/82.11	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 
160.96/82.11	v -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 
160.96/82.11	v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 
160.96/82.11	v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 
160.96/82.11	v -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 
160.96/82.11	v -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 
160.96/82.11	v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 
160.96/82.11	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 
160.96/82.11	v -x3380 -x3381 -x3382 x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390 
160.96/82.11	v -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 
160.96/82.11	v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 
160.96/82.11	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 
160.96/82.11	v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 
160.96/82.11	v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 
160.96/82.11	v -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 
160.96/82.11	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 
160.96/82.11	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 
160.96/82.11	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 
160.96/82.11	v -x3490 x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 
160.96/82.11	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 
160.96/82.11	v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 
160.96/82.11	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 
160.96/82.11	v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 
160.96/82.11	v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 
160.96/82.11	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 
160.96/82.11	v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 
160.96/82.11	v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 
160.96/82.11	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 
160.96/82.11	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 
160.96/82.11	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 
160.96/82.11	v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 
160.96/82.11	v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 
160.96/82.11	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 
160.96/82.11	v -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 
160.96/82.11	v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 
160.96/82.11	v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 
160.96/82.11	v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 
160.96/82.11	v -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 
160.96/82.11	v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 
160.96/82.11	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 
160.96/82.11	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 
160.96/82.11	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 
160.96/82.11	v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 
160.96/82.11	v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 
160.96/82.11	v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 
160.96/82.11	v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 
160.96/82.11	v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 
160.96/82.11	v x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 
160.96/82.11	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 
160.96/82.11	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 
160.96/82.11	v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 
160.96/82.11	v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 
160.96/82.11	v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 
160.96/82.11	v -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 
160.96/82.11	v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 
160.96/82.11	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 
160.96/82.11	v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 x3915 -x3916 -x3917 -x3918 
160.96/82.11	v -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 
160.96/82.11	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 
160.96/82.11	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 
160.96/82.11	v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 
160.96/82.11	v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 
160.96/82.11	v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 
160.96/82.11	v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 
160.96/82.11	v -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 
160.96/82.11	v -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 
160.96/82.11	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 
160.96/82.11	v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 
160.96/82.11	v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 
160.96/82.11	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 
160.96/82.11	v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 
160.96/82.11	v -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 
160.96/82.11	v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 
160.96/82.11	v -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 
160.96/82.11	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 x4114 -x4115 -x4116 
160.96/82.11	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 
160.96/82.11	v -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 
160.96/82.11	v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 
160.96/82.11	v -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 
160.96/82.11	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 
160.96/82.11	v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 
160.96/82.11	v -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 
160.96/82.11	v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 
160.96/82.11	v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 
160.96/82.11	v -x4216 -x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 
160.96/82.11	v -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 
160.96/82.11	v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 
160.96/82.11	v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 
160.96/82.11	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 
160.96/82.11	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 
160.96/82.11	v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 
160.96/82.11	v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 
160.96/82.11	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 
160.96/82.11	v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 
160.96/82.11	v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 
160.96/82.11	v -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 
160.96/82.11	v -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 
160.96/82.11	v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 
160.96/82.11	v -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 
160.96/82.11	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 
160.96/82.11	v -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 
160.96/82.11	v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 
160.96/82.11	v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 
160.96/82.11	v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 
160.96/82.11	v -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 
160.96/82.11	v -x4447 -x4448 -x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 
160.96/82.11	v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 
160.96/82.11	v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 
160.96/82.11	v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 
160.96/82.11	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 
160.96/82.11	v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 
160.96/82.11	v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 
160.96/82.11	v -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 
160.96/82.11	v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 
160.96/82.11	v -x4546 -x4547 -x4548 x4549 -x4550 x4551 -x4552 -x4553 -x4554 x4555 -x4556 x4557 
160.96/82.11	v -x4558 x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 
160.96/82.11	v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 
160.96/82.11	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 
160.96/82.11	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 
160.96/82.11	v -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 
160.96/82.11	v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 
160.96/82.11	v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 
160.96/82.11	v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 
160.96/82.11	v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 
160.96/82.11	v -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 
160.96/82.11	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 
160.96/82.11	v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 
160.96/82.11	v -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 
160.96/82.11	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 
160.96/82.11	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 
160.96/82.11	v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 
160.96/82.11	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 
160.96/82.11	v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 
160.96/82.11	v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 
160.96/82.11	v -x4767 -x4768 -x4769 x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 
160.96/82.11	v -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 
160.96/82.11	v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 
160.96/82.11	v -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 
160.96/82.11	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 
160.96/82.11	v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 
160.96/82.11	v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 
160.96/82.11	v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 
160.96/82.11	v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 x4865 
160.96/82.11	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 
160.96/82.11	v -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 
160.96/82.11	v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 
160.96/82.11	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 
160.96/82.11	v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 
160.96/82.11	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 
160.96/82.11	v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 
160.96/82.11	v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 
160.96/82.11	v -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 
160.96/82.11	v -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 x4972 -x4973 x4974 -x4975 
160.96/82.11	v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 
160.96/82.11	v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 
160.96/82.11	v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 
160.96/82.11	v -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 
160.96/82.11	v -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 x5027 -x5028 -x5029 -x5030 
160.96/82.11	v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 
160.96/82.11	v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 
160.96/82.11	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 
160.96/82.11	v -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 
160.96/82.11	v -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 
160.96/82.11	v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 
160.96/82.11	v -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 
160.96/82.11	v -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 
160.96/82.11	v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 
160.96/82.11	v -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 
160.96/82.11	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 
160.96/82.11	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 
160.96/82.11	v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 
160.96/82.11	v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 
160.96/82.11	v -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 
160.96/82.11	v -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 
160.96/82.11	v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 
160.96/82.11	v -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 
160.96/82.11	v -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 
160.96/82.11	v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 
160.96/82.11	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 
160.96/82.11	v -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 
160.96/82.11	v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 
160.96/82.11	v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 
160.96/82.11	v -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 
160.96/82.11	v -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 
160.96/82.11	v -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 
160.96/82.11	v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 
160.96/82.11	v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 
160.96/82.11	v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 
160.96/82.11	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 -x5371 
160.96/82.11	v -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 
160.96/82.11	v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 
160.96/82.11	v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 
160.96/82.11	v -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 
160.96/82.11	v -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 x5426 
160.96/82.11	v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 
160.96/82.11	v -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 
160.96/82.11	v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 
160.96/82.11	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 
160.96/82.11	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 
160.96/82.11	v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 
160.96/82.11	v -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 
160.96/82.11	v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 -x5512 -x5513 -x5514 
160.96/82.11	v -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 
160.96/82.11	v -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 
160.96/82.11	v -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 
160.96/82.11	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 
160.96/82.11	v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 
160.96/82.11	v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 
160.96/82.11	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 x5589 -x5590 -x5591 
160.96/82.11	v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 
160.96/82.11	v -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 
160.96/82.11	v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 
160.96/82.11	v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 
160.96/82.11	v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 
160.96/82.11	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 
160.96/82.11	v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 
160.96/82.11	v -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 
160.96/82.11	v -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 
160.96/82.11	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 
160.96/82.11	v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 
160.96/82.11	v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 
160.96/82.11	v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 
160.96/82.11	v -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 
160.96/82.11	v -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 
160.96/82.11	v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 
160.96/82.11	v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 
160.96/82.11	v -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 
160.96/82.11	v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 
160.96/82.11	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 
160.96/82.11	v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 
160.96/82.11	v -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 
160.96/82.11	v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 
160.96/82.11	v -x5845 -x5846 -x5847 -x5848 x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 
160.96/82.11	v -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 
160.96/82.11	v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 
160.96/82.11	v -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 
160.96/82.11	v -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 
160.96/82.11	v -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 
160.96/82.11	v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 
160.96/82.11	v -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 
160.96/82.11	v -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 
160.96/82.11	v -x5944 -x5945 -x5946 -x5947 x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954 
160.96/82.11	v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 
160.96/82.11	v -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 
160.96/82.11	v -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 
160.96/82.11	v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 
160.96/82.11	v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 
160.96/82.11	v -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 
160.96/82.11	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 
160.96/82.11	v -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 
160.96/82.11	v -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 
160.96/82.11	v -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 
160.96/82.11	v -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 
160.96/82.11	v -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 x6084 -x6085 -x6086 
160.96/82.11	v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 
160.96/82.11	v -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 
160.96/82.11	v -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 
160.96/82.11	v -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 
160.96/82.11	v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 
160.96/82.11	v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 
160.96/82.11	v -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 
160.96/82.11	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 
160.96/82.11	v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6183 -x6184 -x6185 
160.96/82.11	v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 
160.96/82.11	v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 
160.96/82.11	v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 
160.96/82.11	v -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 
160.96/82.11	v -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 
160.96/82.11	v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 
160.96/82.11	v -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 
160.96/82.11	v -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 -x6272 x6273 
160.96/82.11	v -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 
160.96/82.11	v -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 
160.96/82.11	v -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 
160.96/82.11	v -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 x6316 -x6317 
160.96/82.11	v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 
160.96/82.11	v -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 
160.96/82.11	v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 
160.96/82.11	v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 
160.96/82.11	v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 x6372 
160.96/82.11	v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 
160.96/82.11	v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 
160.96/82.11	v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 
160.96/82.11	v -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 
160.96/82.11	v -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 
160.96/82.11	v -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 
160.96/82.11	v -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 
160.96/82.11	v -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 
160.96/82.11	v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 
160.96/82.11	v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 x6478 -x6479 x6480 -x6481 -x6482 
160.96/82.11	v -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 
160.96/82.11	v -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 
160.96/82.11	v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 
160.96/82.11	v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 
160.96/82.11	v -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 
160.96/82.11	v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 
160.96/82.11	v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 
160.96/82.11	v x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 
160.96/82.11	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 
160.96/82.11	v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 
160.96/82.11	v -x6593 -x6594 x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 
160.96/82.11	v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 
160.96/82.11	v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 
160.96/82.11	v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 
160.96/82.11	v -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 
160.96/82.11	v -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 
160.96/82.11	v -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 
160.96/82.11	v -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 
160.96/82.11	v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 
160.96/82.11	v -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 
160.96/82.11	v -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 x6710 -x6711 x6712 -x6713 
160.96/82.11	v -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 
160.96/82.11	v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 
160.96/82.11	v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 
160.96/82.11	v -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 
160.96/82.11	v -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 
160.96/82.11	v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 
160.96/82.11	v -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 
160.96/82.11	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 
160.96/82.11	v -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 
160.96/82.11	v -x6813 -x6814 -x6815 x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 
160.96/82.11	v -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 
160.96/82.11	v -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 
160.96/82.11	v -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 
160.96/82.11	v -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 
160.96/82.11	v -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 
160.96/82.11	v -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 
160.96/82.11	v -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 
160.96/82.11	v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 
160.96/82.11	v -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 x6919 -x6920 -x6921 -x6922 
160.96/82.11	v -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 
160.96/82.11	v -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 
160.96/82.11	v -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 
160.96/82.11	v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 
160.96/82.11	v -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 
160.96/82.11	v -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 
160.96/82.11	v -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 
160.96/82.11	v -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 
160.96/82.11	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 
160.96/82.11	v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030 -x7031 -x7032 
160.96/82.11	v -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 
160.96/82.11	v -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 
160.96/82.11	v -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 
160.96/82.11	v -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 
160.96/82.11	v -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 
160.96/82.11	v -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 
160.96/82.11	v -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 
160.96/82.11	v -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 
160.96/82.11	v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 
160.96/82.11	v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62858 MiB free)
  memory of node 1: 64465 MiB (63753 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507536-1751177813/watcher-4507536-1751177813 -o /tmp/evaluation-result-4507536-1751177813/solver-4507536-1751177813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22397 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1769810243 --competition_mode --input HOME/instance-4507536-1751177813.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=23743, runsolver pid=23740

[startup+0.10007 s]*
/proc/loadavg: 8.14 8.12 8.09 8/257 23744
/proc/meminfo: memFree=129641664/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=19188 memory=14952 CPUtime=0.1 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) R 23740 23743 22382 0 -1 4194304 2533 0 0 0 10 0 0 0 20 0 1 0 33460438 19648512 3738 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 4797 3738 1504 2102 0 2337 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19188 KiB
Current children cumulated memory: 14952 KiB

[startup+0.21343 s]*
/proc/loadavg: 8.14 8.12 8.09 8/257 23744
/proc/meminfo: memFree=129637128/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=24820 memory=21660 CPUtime=0.22 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) R 23740 23743 22382 0 -1 4194304 4442 0 0 0 21 1 0 0 20 0 1 0 33460438 25415680 5415 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 6205 5415 1856 2102 0 3745 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 24820 KiB
Current children cumulated memory: 21660 KiB

[startup+0.313338 s]*
/proc/loadavg: 8.14 8.12 8.09 8/257 23744
/proc/meminfo: memFree=129633096/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=27856 memory=24732 CPUtime=0.32 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) R 23740 23743 22382 0 -1 4194304 5214 0 0 0 31 1 0 0 20 0 1 0 33460438 28524544 6183 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 6964 6183 1856 2102 0 4504 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 24732 KiB

[startup+0.700315 s]
/proc/loadavg: 8.14 8.12 8.09 8/257 23744
/proc/meminfo: memFree=129625032/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=38964 memory=35868 CPUtime=0.68 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) R 23740 23743 22382 0 -1 4194304 7994 0 0 0 67 1 0 0 20 0 1 0 33460438 39899136 8967 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 9741 8967 1856 2102 0 7281 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38964 KiB
Current children cumulated memory: 35868 KiB

[startup+1.50031 s]
/proc/loadavg: 8.14 8.12 8.09 8/257 23744
/proc/meminfo: memFree=129616968/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=46004 memory=43036 CPUtime=1.49 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) R 23740 23743 22382 0 -1 4194304 9741 0 0 0 147 2 0 0 20 0 1 0 33460438 47108096 10759 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 11501 10759 1888 2102 0 9041 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46004 KiB
Current children cumulated memory: 43036 KiB

[startup+3.10911 s]
/proc/loadavg: 8.13 8.12 8.09 9/259 23746
/proc/meminfo: memFree=129584968/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=70428 CPUtime=3.99 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 16531 0 0 0 395 4 0 0 20 0 3 0 33460438 201728000 17607 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 17607 1952 2102 0 20131 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=38428 CPUtime=0.91 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 1559 0 0 0 91 0 0 0 20 0 3 0 33460657 201728000 17607 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=62620 CPUtime=0.89 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 4298 0 0 0 87 2 0 0 20 0 3 0 33460657 201728000 17607 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 70428 KiB

[startup+6.30019 s]
/proc/loadavg: 8.13 8.12 8.09 9/259 23746
/proc/meminfo: memFree=129565256/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=87196 CPUtime=10.33 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 27757 0 0 0 1027 6 0 0 20 0 3 0 33460438 201728000 21799 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 21799 2112 2102 0 24236 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=14340 CPUtime=4.09 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 2899 0 0 0 409 0 0 0 20 0 3 0 33460657 201728000 21799 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=38428 CPUtime=4.04 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 14140 0 0 0 401 3 0 0 20 0 3 0 33460657 201728000 21799 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 10.33 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 87196 KiB

[startup+12.7002 s]
/proc/loadavg: 8.12 8.11 8.09 9/259 23746
/proc/meminfo: memFree=129564012/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=93852 CPUtime=23.05 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 36733 0 0 0 2298 7 0 0 20 0 3 0 33460438 201728000 23463 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 23463 2144 2102 0 26005 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=10.47 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 3905 0 0 0 1047 0 0 0 20 0 3 0 33460657 201728000 23463 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=10.39 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 22064 0 0 0 1034 5 0 0 20 0 3 0 33460657 201728000 23463 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 23.05 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 93852 KiB

[startup+25.5002 s]
/proc/loadavg: 8.09 8.11 8.09 9/259 23747
/proc/meminfo: memFree=129554696/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=106536 CPUtime=48.5 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 59481 0 0 0 4840 10 0 0 20 0 3 0 33460438 201728000 26634 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26634 2144 2102 0 29261 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=106536 CPUtime=23.24 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 10801 0 0 0 2323 1 0 0 20 0 3 0 33460657 201728000 26634 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=106408 CPUtime=23.06 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 35853 0 0 0 2300 6 0 0 20 0 3 0 33460657 201728000 26634 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 48.5 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 106536 KiB

[startup+51.1054 s]
/proc/loadavg: 8.21 8.13 8.10 9/259 23747
/proc/meminfo: memFree=129547024/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107432 CPUtime=99.38 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 73700 0 0 0 9926 12 0 0 20 0 3 0 33460438 201728000 26858 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26858 2144 2102 0 29487 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=93852 CPUtime=48.75 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 15543 0 0 0 4874 1 0 0 20 0 3 0 33460657 201728000 26858 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=107432 CPUtime=48.4 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 44611 0 0 0 4833 7 0 0 20 0 3 0 33460657 201728000 26858 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 99.38 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107432 KiB

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

# cumulated CPU time of all completed processes:  user=160.829 s, system=0.147137 s

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

[startup+51.2003 s]
/proc/loadavg: 8.21 8.13 8.10 9/259 23747
/proc/meminfo: memFree=129547024/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107432 CPUtime=99.57 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 76559 0 0 0 9945 12 0 0 20 0 3 0 33460438 201728000 26858 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26858 2144 2102 0 29487 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=14340 CPUtime=48.84 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 16402 0 0 0 4883 1 0 0 20 0 3 0 33460657 201728000 26858 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=107432 CPUtime=48.5 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 46591 0 0 0 4843 7 0 0 20 0 3 0 33460657 201728000 26858 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 99.57 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107432 KiB

[startup+64.0002 s]*
/proc/loadavg: 8.17 8.12 8.10 9/259 23750
/proc/meminfo: memFree=129547292/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107816 CPUtime=125 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 84845 0 0 0 12487 13 0 0 20 0 3 0 33460438 201728000 26954 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26954 2144 2102 0 29587 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=61.59 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19600 0 0 0 6158 1 0 0 20 0 3 0 33460657 201728000 26954 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=1920 CPUtime=61.18 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 51664 0 0 0 6110 8 0 0 20 0 3 0 33460657 201728000 26954 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 125 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107816 KiB

[startup+70.4002 s]
/proc/loadavg: 8.15 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129547796/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107816 CPUtime=137.71 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 84878 0 0 0 13758 13 0 0 20 0 3 0 33460438 201728000 26954 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26954 2144 2102 0 29587 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=14340 CPUtime=67.96 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19628 0 0 0 6795 1 0 0 20 0 3 0 33460657 201728000 26954 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=107432 CPUtime=67.51 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 51669 0 0 0 6743 8 0 0 20 0 3 0 33460657 201728000 26954 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 137.71 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107816 KiB

[startup+76.8002 s]
/proc/loadavg: 8.14 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129548552/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107944 CPUtime=150.42 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 84931 0 0 0 15029 13 0 0 20 0 3 0 33460438 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26986 2144 2102 0 29631 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=17408 CPUtime=74.34 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19628 0 0 0 7433 1 0 0 20 0 3 0 33460657 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=107432 CPUtime=73.85 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 51722 0 0 0 7377 8 0 0 20 0 3 0 33460657 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 150.42 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107944 KiB

[startup+80.0002 s]*
/proc/loadavg: 8.13 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129548812/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107944 CPUtime=156.78 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 84967 0 0 0 15665 13 0 0 20 0 3 0 33460438 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26986 2144 2102 0 29631 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=77.53 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19642 0 0 0 7752 1 0 0 20 0 3 0 33460657 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=4908 CPUtime=77.01 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 51743 0 0 0 7693 8 0 0 20 0 3 0 33460657 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 156.78 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107944 KiB

[startup+80.8002 s]
/proc/loadavg: 8.13 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129548812/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=107944 CPUtime=158.37 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 85010 0 0 0 15824 13 0 0 20 0 3 0 33460438 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 26986 2144 2102 0 29631 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=6772 CPUtime=78.32 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19642 0 0 0 7831 1 0 0 20 0 3 0 33460657 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=77.8 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 51786 0 0 0 7772 8 0 0 20 0 3 0 33460657 201728000 26986 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 158.37 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 107944 KiB

[startup+81.6002 s]
/proc/loadavg: 8.13 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129548812/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=108840 CPUtime=159.96 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 86074 0 0 0 15982 14 0 0 20 0 3 0 33460438 201728000 27210 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 27210 2144 2102 0 29845 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=14340 CPUtime=79.12 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19642 0 0 0 7911 1 0 0 20 0 3 0 33460657 201728000 27210 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=17408 CPUtime=78.59 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 52850 0 0 0 7851 8 0 0 20 0 3 0 33460657 201728000 27210 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 159.96 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 108840 KiB

[startup+82.0002 s]*
/proc/loadavg: 8.13 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129547300/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=109224 CPUtime=160.76 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) S 23740 23743 22382 0 -1 4194304 86180 0 0 0 16062 14 0 0 20 0 3 0 33460438 201728000 27306 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 27306 2144 2102 0 29943 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=79.52 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 19642 0 0 0 7951 1 0 0 20 0 3 0 33460657 201728000 27306 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=4760 CPUtime=78.99 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) R 23740 23743 22382 0 -1 4194368 52956 0 0 0 7891 8 0 0 20 0 3 0 33460657 201728000 27306 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 160.76 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 109224 KiB

[startup+82.1053 s]
/proc/loadavg: 8.13 8.12 8.09 9/259 23750
/proc/meminfo: memFree=129547300/131382112 swapFree=33010684/33010684
[pid=23743] ppid=23740 vsize=197000 memory=109224 CPUtime=160.96 cores=1,3
/proc/23743/stat : 23743 (cp-sat-runner) R 23740 23743 22382 0 -1 4194304 87300 0 0 0 16082 14 0 0 20 0 3 0 33460438 201728000 27306 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
/proc/23743/statm: 49250 27306 2144 2102 0 29943 0
[pid=23743/tid=23745] ppid=23740 vsize=197000 memory=14340 CPUtime=79.62 cores=1,3
/proc/23743/task/23745/stat : 23745 (cp-sat-runner) S 23740 23743 22382 0 -1 4194368 20054 0 0 0 7961 1 0 0 20 0 3 0 33460657 201728000 27306 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 1 0 0 -1 1 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
[pid=23743/tid=23746] ppid=23740 vsize=197000 memory=-8183434678401931971 CPUtime=79.09 cores=1,3
/proc/23743/task/23746/stat : 23746 (cp-sat-runner) S 23740 23743 22382 0 -1 4194368 52956 0 0 0 7901 8 0 0 20 0 3 0 33460657 201728000 27306 18446744073709551615 4198400 12805993 140734306581360 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 14146912 14333620 16674816 140734306588952 140734306589157 140734306589157 140734306594759 0
Current children cumulated CPU time: 160.96 s
Current children cumulated vsize: 197000 KiB
Current children cumulated memory: 109224 KiB

Child status: 10

Real time (s): 82.1165
CPU time (s): 160.976
CPU user time (s): 160.829
CPU system time (s): 0.147137
CPU usage (%): 196.034
Max. virtual memory (cumulated for all children) (KiB): 201100
Max. memory (cumulated for all children) (KiB): 109224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.829
system time used= 0.147137
maximum resident set size= 109480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88653
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= 1382
involuntary context switches= 7081


# summary of solver processes directly reported to runsolver:
#   pid: 23743
#   total CPU time (s): 160.976
#   total CPU user time (s): 160.829
#   total CPU system time (s): 0.147137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.21468 second user time and 0.443578 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 08:16:53
IDJOB=4507536
IDBENCH=158365
IDSOLVER=3320
FILE ID=nodeC007/4507536-1751177813
RUNJOBID= nodeC007-1751170007-22397
SLURM_JOB_ID= 9587524
Free space on /tmp= 432980 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507536-1751177813/watcher-4507536-1751177813 -o /tmp/evaluation-result-4507536-1751177813/solver-4507536-1751177813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22397 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1769810243 --competition_mode --input HOME/instance-4507536-1751177813.opb

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

MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=1769810243

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129651240 kB
MemAvailable:   129595684 kB
Buffers:            3280 kB
Cached:           754784 kB
SwapCached:            0 kB
Active:           619684 kB
Inactive:         509700 kB
Active(anon):     389280 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   509700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13044 kB
Writeback:            12 kB
AnonPages:        374444 kB
Mapped:           128528 kB
Shmem:             17960 kB
KReclaimable:      87932 kB
Slab:             169044 kB
SReclaimable:      87932 kB
SUnreclaim:        81112 kB
KernelStack:        4144 kB
PageTables:         3732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     756300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC007 at 2025-06-29 08:18:15