Trace number 4507392

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 428.194 216.161

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
MD5SUM433935bc469f703143ab8083d95aeb05
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.08246
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
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 103
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 

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=23531, runsolver pid=23528

[startup+0.100066 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23532
/proc/meminfo: memFree=129472096/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=25152 memory=21920 CPUtime=0.09 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) R 23528 23531 22382 0 -1 4194304 4670 0 0 0 9 0 0 0 20 0 1 0 33405884 25755648 5480 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 6288 5480 1856 2102 0 3828 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25152 KiB
Current children cumulated memory: 21920 KiB

[startup+0.205404 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23532
/proc/meminfo: memFree=129464284/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=32172 memory=28960 CPUtime=0.19 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) R 23528 23531 22382 0 -1 4194304 6416 0 0 0 19 0 0 0 20 0 1 0 33405884 32944128 7240 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 8043 7240 1856 2102 0 5583 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32172 KiB
Current children cumulated memory: 28960 KiB

[startup+0.305298 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23532
/proc/meminfo: memFree=129448156/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=38244 memory=34976 CPUtime=0.31 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) R 23528 23531 22382 0 -1 4194304 7926 0 0 0 30 1 0 0 20 0 1 0 33405884 39161856 8744 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 9561 8744 1856 2102 0 7101 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38244 KiB
Current children cumulated memory: 34976 KiB

[startup+0.700291 s]
/proc/loadavg: 8.07 8.09 8.09 5/250 23532
/proc/meminfo: memFree=129806432/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=44996 memory=41888 CPUtime=0.69 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) R 23528 23531 22382 0 -1 4194304 9619 0 0 0 68 1 0 0 20 0 1 0 33405884 46075904 10472 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 11249 10472 1888 2102 0 8789 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44996 KiB
Current children cumulated memory: 41888 KiB

[startup+1.50028 s]
/proc/loadavg: 8.07 8.09 8.09 5/248 23566
/proc/meminfo: memFree=129829644/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=54420 CPUtime=1.49 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 12850 0 0 0 147 2 0 0 20 0 3 0 33405884 200192000 13605 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 13605 1952 2102 0 16127 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 54420 KiB

[startup+3.10631 s]
/proc/loadavg: 8.07 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129691044/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=80980 CPUtime=4.67 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 22863 0 0 0 464 3 0 0 20 0 3 0 33405884 200192000 20245 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 20245 2144 2102 0 22573 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=0 CPUtime=1.62 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 10150 0 0 0 161 1 0 0 20 0 3 0 33406027 200192000 20245 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=80340 CPUtime=1.6 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 2093 0 0 0 160 0 0 0 20 0 3 0 33406027 200192000 20245 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 80980 KiB

[startup+6.30017 s]
/proc/loadavg: 8.07 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129658176/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=84564 CPUtime=11.02 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 26271 0 0 0 1099 3 0 0 20 0 3 0 33405884 200192000 21141 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 21141 2144 2102 0 23522 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=80340 CPUtime=4.81 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 12604 0 0 0 480 1 0 0 20 0 3 0 33406027 200192000 21141 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=59668 CPUtime=4.77 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 3010 0 0 0 477 0 0 0 20 0 3 0 33406027 200192000 21141 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 11.02 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 84564 KiB

[startup+12.7002 s]
/proc/loadavg: 8.06 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129650616/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=91732 CPUtime=23.76 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 39084 0 0 0 2371 5 0 0 20 0 3 0 33405884 200192000 22933 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 22933 2176 2102 0 25511 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=-8183425890932399300 CPUtime=11.2 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 24596 0 0 0 1117 3 0 0 20 0 3 0 33406027 200192000 22933 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=14340 CPUtime=11.11 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 3802 0 0 0 1111 0 0 0 20 0 3 0 33406027 200192000 22933 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 23.76 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 91732 KiB

[startup+25.5002 s]
/proc/loadavg: 8.13 8.10 8.09 9/258 23584
/proc/meminfo: memFree=129612988/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=102656 CPUtime=49.2 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 58610 0 0 0 4913 7 0 0 20 0 3 0 33405884 200192000 25664 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 25664 2176 2102 0 28301 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=14340 CPUtime=23.97 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 38074 0 0 0 2393 4 0 0 20 0 3 0 33406027 200192000 25664 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=17408 CPUtime=23.79 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 7815 0 0 0 2378 1 0 0 20 0 3 0 33406027 200192000 25664 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 49.2 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 102656 KiB

[startup+51.1052 s]
/proc/loadavg: 8.08 8.09 8.09 9/258 23584
/proc/meminfo: memFree=129609988/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=102912 CPUtime=100.09 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 79834 0 0 0 10000 9 0 0 20 0 3 0 33405884 200192000 25728 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 25728 2176 2102 0 28315 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=17408 CPUtime=49.51 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 50692 0 0 0 4946 5 0 0 20 0 3 0 33406027 200192000 25728 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=102656 CPUtime=49.13 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 16341 0 0 0 4911 2 0 0 20 0 3 0 33406027 200192000 25728 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 100.09 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 102912 KiB

[startup+102.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/258 23590
/proc/meminfo: memFree=129598544/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=104448 CPUtime=201.86 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 104754 0 0 0 20174 12 0 0 20 0 3 0 33405884 200192000 26112 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 26112 2176 2102 0 28686 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=14340 CPUtime=100.55 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 66638 0 0 0 10049 6 0 0 20 0 3 0 33406027 200192000 26112 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=4252 CPUtime=99.84 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 25239 0 0 0 9981 3 0 0 20 0 3 0 33406027 200192000 26112 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 201.86 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 104448 KiB

[startup+162.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/259 23593
/proc/meminfo: memFree=129544944/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=107904 CPUtime=321.14 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 118287 0 0 0 32099 15 0 0 20 0 3 0 33405884 200192000 26976 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 26976 2176 2102 0 29478 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=105984 CPUtime=160.38 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 75412 0 0 0 16031 7 0 0 20 0 3 0 33406027 200192000 26976 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=107904 CPUtime=159.26 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 29957 0 0 0 15922 4 0 0 20 0 3 0 33406027 200192000 26976 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 321.14 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 107904 KiB

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

# cumulated CPU time of all completed processes:  user=428.001 s, system=0.19297 s

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

[startup+179.2 s]
/proc/loadavg: 8.33 8.14 8.11 9/259 23593
/proc/meminfo: memFree=129527804/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=110208 CPUtime=354.73 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 126613 0 0 0 35457 16 0 0 20 0 3 0 33405884 200192000 27552 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 27552 2176 2102 0 30045 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=107136 CPUtime=177.24 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 82871 0 0 0 17716 8 0 0 20 0 3 0 33406027 200192000 27552 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=14340 CPUtime=176 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30783 0 0 0 17596 4 0 0 20 0 3 0 33406027 200192000 27552 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 354.73 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 110208 KiB

[startup+192 s]*
/proc/loadavg: 8.43 8.17 8.12 9/259 23594
/proc/meminfo: memFree=129519344/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=118016 CPUtime=380.18 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 128702 0 0 0 38002 16 0 0 20 0 3 0 33405884 200192000 29504 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 29504 2176 2102 0 32012 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=105608 CPUtime=190 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 84954 0 0 0 18992 8 0 0 20 0 3 0 33406027 200192000 29504 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=6632 CPUtime=188.68 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30789 0 0 0 18864 4 0 0 20 0 3 0 33406027 200192000 29504 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 380.18 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 118016 KiB

[startup+204.8 s]
/proc/loadavg: 8.33 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129502172/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=125952 CPUtime=405.61 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132094 0 0 0 40544 17 0 0 20 0 3 0 33405884 200192000 31488 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 31488 2176 2102 0 33897 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=11264 CPUtime=202.76 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88317 0 0 0 20267 9 0 0 20 0 3 0 33406027 200192000 31488 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=17408 CPUtime=201.35 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30818 0 0 0 20131 4 0 0 20 0 3 0 33406027 200192000 31488 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 405.61 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 125952 KiB

[startup+211.2 s]
/proc/loadavg: 8.31 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129503180/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=127104 CPUtime=418.34 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132305 0 0 0 41816 18 0 0 20 0 3 0 33405884 200192000 31776 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 31776 2176 2102 0 34122 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=125952 CPUtime=209.14 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88526 0 0 0 20904 10 0 0 20 0 3 0 33406027 200192000 31776 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=125952 CPUtime=207.68 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30820 0 0 0 20764 4 0 0 20 0 3 0 33406027 200192000 31776 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 418.34 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 127104 KiB

[startup+214.4 s]
/proc/loadavg: 8.28 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129503700/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=128384 CPUtime=424.7 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132615 0 0 0 42452 18 0 0 20 0 3 0 33405884 200192000 32096 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 32096 2176 2102 0 34423 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=126336 CPUtime=212.33 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88836 0 0 0 21223 10 0 0 20 0 3 0 33406027 200192000 32096 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=126336 CPUtime=210.85 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30820 0 0 0 21081 4 0 0 20 0 3 0 33406027 200192000 32096 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 424.7 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 128384 KiB

[startup+215.2 s]
/proc/loadavg: 8.28 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129503700/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=128512 CPUtime=426.29 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132667 0 0 0 42611 18 0 0 20 0 3 0 33405884 200192000 32128 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 32128 2176 2102 0 34475 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=128512 CPUtime=213.13 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88888 0 0 0 21303 10 0 0 20 0 3 0 33406027 200192000 32128 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=14340 CPUtime=211.65 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30820 0 0 0 21161 4 0 0 20 0 3 0 33406027 200192000 32128 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 426.29 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 128512 KiB

[startup+215.6 s]
/proc/loadavg: 8.28 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129503700/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=128640 CPUtime=427.08 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132679 0 0 0 42690 18 0 0 20 0 3 0 33405884 200192000 32160 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 32160 2176 2102 0 34487 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=4252 CPUtime=213.53 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88900 0 0 0 21343 10 0 0 20 0 3 0 33406027 200192000 32160 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=3328 CPUtime=212.04 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30820 0 0 0 21200 4 0 0 20 0 3 0 33406027 200192000 32160 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 427.08 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 128640 KiB

[startup+216 s]*
/proc/loadavg: 8.28 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129503952/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=128768 CPUtime=427.88 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132706 0 0 0 42770 18 0 0 20 0 3 0 33405884 200192000 32192 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 32192 2176 2102 0 34514 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=-8183431367015700416 CPUtime=213.93 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88927 0 0 0 21383 10 0 0 20 0 3 0 33406027 200192000 32192 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=4787211622396096156 CPUtime=212.44 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30820 0 0 0 21240 4 0 0 20 0 3 0 33406027 200192000 32192 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 427.88 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 128768 KiB

[startup+216.105 s]
/proc/loadavg: 8.28 8.16 8.11 9/259 23595
/proc/meminfo: memFree=129503952/131382112 swapFree=33010684/33010684
[pid=23531] ppid=23528 vsize=195500 memory=128768 CPUtime=428.08 cores=4,6
/proc/23531/stat : 23531 (cp-sat-runner) S 23528 23531 22382 0 -1 4194304 132720 0 0 0 42790 18 0 0 20 0 3 0 33405884 200192000 32192 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
/proc/23531/statm: 48875 32192 2176 2102 0 34526 0
[pid=23531/tid=23580] ppid=23528 vsize=195500 memory=118912 CPUtime=214.03 cores=4,6
/proc/23531/task/23580/stat : 23580 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 88939 0 0 0 21393 10 0 0 20 0 3 0 33406027 200192000 32192 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
[pid=23531/tid=23581] ppid=23528 vsize=195500 memory=126336 CPUtime=212.54 cores=4,6
/proc/23531/task/23581/stat : 23581 (cp-sat-runner) R 23528 23531 22382 0 -1 4194368 30821 0 0 0 21250 4 0 0 20 0 3 0 33406027 200192000 32192 18446744073709551615 4198400 12805993 140722265642720 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 32206848 140722265651480 140722265651685 140722265651685 140722265657287 0
Current children cumulated CPU time: 428.08 s
Current children cumulated vsize: 195500 KiB
Current children cumulated memory: 128768 KiB

Child status: 10

Real time (s): 216.161
CPU time (s): 428.194
CPU user time (s): 428.001
CPU system time (s): 0.19297
CPU usage (%): 198.09
Max. virtual memory (cumulated for all children) (KiB): 205340
Max. memory (cumulated for all children) (KiB): 128768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.001
system time used= 0.19297
maximum resident set size= 129280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133209
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= 3201
involuntary context switches= 13900


# summary of solver processes directly reported to runsolver:
#   pid: 23531
#   total CPU time (s): 428.194
#   total CPU user time (s): 428.001
#   total CPU system time (s): 0.19297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.641946 second user time and 0.812836 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 08:07:48
IDJOB=4507392
IDBENCH=158352
IDSOLVER=3320
FILE ID=nodeC007/4507392-1751177267
RUNJOBID= nodeC007-1751170007-22396
SLURM_JOB_ID= 9587524
Free space on /tmp= 432976 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.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-4507392-1751177267/watcher-4507392-1751177267 -o /tmp/evaluation-result-4507392-1751177267/solver-4507392-1751177267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22396 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1929684677 --competition_mode --input HOME/instance-4507392-1751177267.opb

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

MD5SUM BENCH= 433935bc469f703143ab8083d95aeb05
RANDOM SEED=1929684677

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.615
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		: 3591.606
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.631
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		: 3591.908
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.736
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.627
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		: 3592.167
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.590
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:        129497644 kB
MemAvailable:   129442428 kB
Buffers:            3280 kB
Cached:           755148 kB
SwapCached:            0 kB
Active:           804972 kB
Inactive:         510064 kB
Active(anon):     574568 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   510064 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25844 kB
Writeback:            52 kB
AnonPages:        559676 kB
Mapped:           127608 kB
Shmem:             17960 kB
KReclaimable:      87888 kB
Slab:             169060 kB
SReclaimable:      87888 kB
SUnreclaim:        81172 kB
KernelStack:        4092 kB
PageTables:         4096 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     934772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    401408 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= 432964 MiB
End job on nodeC007 at 2025-06-29 08:11:24