Trace number 4529431

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.14.2OPTIMUM 36.1074 18.9512

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
MD5SUMf6e1341d84f93f3293ca3ab4698e14a4
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.92071
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7578
Total number of constraints21401
Number of soft constraints7353
Number of constraints which are clauses20501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 376186
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 376185
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	1

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: 63794 MiB (60908 MiB free)
  memory of node 1: 64507 MiB (62928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529431-1752571844/watcher-4529431-1752571844 -o /tmp/evaluation-result-4529431-1752571844/solver-4529431-1752571844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752571843-125921 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1977459953 --competition_mode --input HOME/instance-4529431-1752571844.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=125978, runsolver pid=125974
Current StackSize limit: 8192 KiB


[startup+0.100075 s]*
/proc/loadavg: 0.07 0.09 0.09 6/254 125983
/proc/meminfo: memFree=126787928/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=26772 memory=21376 CPUtime=0.1 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) R 125974 125978 125904 0 -1 4194304 4688 0 0 0 9 1 0 0 20 0 1 0 172864287 27414528 5344 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 6693 5344 1408 2102 0 4233 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26772 KiB
Current children cumulated memory: 21376 KiB

[startup+0.214067 s]*
/proc/loadavg: 0.07 0.09 0.09 7/254 125983
/proc/meminfo: memFree=126778352/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=30704 memory=25984 CPUtime=0.22 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) R 125974 125978 125904 0 -1 4194304 5745 0 0 0 20 2 0 0 20 0 1 0 172864287 31440896 6496 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 7676 6496 1504 2102 0 5216 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 30704 KiB
Current children cumulated memory: 25984 KiB

[startup+0.313776 s]*
/proc/loadavg: 0.07 0.09 0.09 7/254 125983
/proc/meminfo: memFree=126768524/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=33548 memory=29056 CPUtime=0.32 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) R 125974 125978 125904 0 -1 4194304 6457 0 0 0 30 2 0 0 20 0 1 0 172864287 34353152 7264 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 8387 7264 1568 2102 0 5927 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 33548 KiB
Current children cumulated memory: 29056 KiB

[startup+0.700371 s]
/proc/loadavg: 0.07 0.09 0.09 7/256 125985
/proc/meminfo: memFree=126748616/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=46940 memory=43504 CPUtime=0.68 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) R 125974 125978 125904 0 -1 4194304 12892 0 0 0 64 4 0 0 20 0 1 0 172864287 48066560 10876 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 11735 10876 1920 2102 0 9275 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46940 KiB
Current children cumulated memory: 43504 KiB

[startup+1.50031 s]
/proc/loadavg: 0.07 0.09 0.09 4/248 125988
/proc/meminfo: memFree=126708500/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208212 memory=74828 CPUtime=1.48 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 23318 0 0 0 141 7 0 0 20 0 3 0 172864287 213209088 18707 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52053 18707 1984 2102 0 22526 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208212 KiB
Current children cumulated memory: 74828 KiB

[startup+3.10657 s]
/proc/loadavg: 0.63 0.20 0.13 5/254 126005
/proc/meminfo: memFree=126620060/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208212 memory=138840 CPUtime=4.64 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 43454 0 0 0 453 11 0 0 20 0 3 0 172864287 213209088 34710 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52053 34710 2176 2102 0 44282 0
[pid=125978/tid=125995] ppid=125974 vsize=208212 memory=0 CPUtime=1.6 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 15641 0 0 0 158 2 0 0 20 0 3 0 172864433 213209088 34710 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208212 memory=130520 CPUtime=1.57 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 8988 0 0 0 155 2 0 0 20 0 3 0 172864433 213209088 34710 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 208212 KiB
Current children cumulated memory: 138840 KiB

[startup+6.30022 s]
/proc/loadavg: 0.63 0.20 0.13 3/244 126010
/proc/meminfo: memFree=126653872/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208212 memory=153048 CPUtime=10.99 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 55983 0 0 0 1086 13 0 0 20 0 3 0 172864287 213209088 38262 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52053 38262 2176 2102 0 45817 0
[pid=125978/tid=125995] ppid=125974 vsize=208212 memory=0 CPUtime=4.79 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 23803 0 0 0 476 3 0 0 20 0 3 0 172864433 213209088 38262 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208212 memory=149208 CPUtime=4.73 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 13319 0 0 0 471 2 0 0 20 0 3 0 172864433 213209088 38262 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 208212 KiB
Current children cumulated memory: 153048 KiB

[startup+12.7002 s]
/proc/loadavg: 1.14 0.31 0.16 3/242 126014
/proc/meminfo: memFree=126646304/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162480 CPUtime=23.7 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 69106 0 0 0 2356 14 0 0 20 0 3 0 172864287 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40620 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=14560 CPUtime=11.15 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 32705 0 0 0 1111 4 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=20608 CPUtime=11.07 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 15653 0 0 0 1104 3 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 23.7 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162480 KiB

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

# cumulated CPU time of all completed processes:  user=35.9443 s, system=0.163113 s

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

[startup+12.8003 s]
/proc/loadavg: 1.14 0.31 0.16 3/242 126014
/proc/meminfo: memFree=126646304/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162480 CPUtime=23.9 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 69106 0 0 0 2376 14 0 0 20 0 3 0 172864287 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40620 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=-6878820461321358439 CPUtime=11.25 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 32705 0 0 0 1121 4 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=0 CPUtime=11.17 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 15653 0 0 0 1114 3 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 23.9 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162480 KiB

[startup+16.0002 s]*
/proc/loadavg: 1.45 0.39 0.19 3/242 126014
/proc/meminfo: memFree=126640208/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162480 CPUtime=30.26 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 75917 0 0 0 3011 15 0 0 20 0 3 0 172864287 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40620 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=10112 CPUtime=14.42 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 36409 0 0 0 1438 4 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=9216 CPUtime=14.35 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 18717 0 0 0 1432 3 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 30.26 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162480 KiB

[startup+17.6002 s]
/proc/loadavg: 1.45 0.39 0.19 3/242 126014
/proc/meminfo: memFree=126639704/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162480 CPUtime=33.43 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 76202 0 0 0 3328 15 0 0 20 0 3 0 172864287 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40620 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=-6878820461321358439 CPUtime=16 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 36622 0 0 0 1596 4 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=6836 CPUtime=15.94 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 18780 0 0 0 1591 3 0 0 20 0 3 0 172864433 213917696 40620 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 33.43 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162480 KiB

[startup+18.4002 s]
/proc/loadavg: 1.73 0.47 0.21 3/242 126014
/proc/meminfo: memFree=126638948/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162608 CPUtime=35.02 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 76430 0 0 0 3487 15 0 0 20 0 3 0 172864287 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40652 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=12672 CPUtime=16.79 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 36850 0 0 0 1675 4 0 0 20 0 3 0 172864433 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=10112 CPUtime=16.74 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 18780 0 0 0 1671 3 0 0 20 0 3 0 172864433 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 35.02 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162608 KiB

[startup+18.8002 s]
/proc/loadavg: 1.73 0.47 0.21 3/242 126014
/proc/meminfo: memFree=126638948/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162608 CPUtime=35.82 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 78325 0 0 0 3567 15 0 0 20 0 3 0 172864287 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40652 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=245635481903 CPUtime=17.19 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 37903 0 0 0 1715 4 0 0 20 0 3 0 172864433 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=54113165640434 CPUtime=17.12 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 18780 0 0 0 1709 3 0 0 20 0 3 0 172864433 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 35.82 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162608 KiB

[startup+18.9002 s]
/proc/loadavg: 1.73 0.47 0.21 3/242 126014
/proc/meminfo: memFree=126638948/131382112 swapFree=33010160/33010684
[pid=125978] ppid=125974 vsize=208904 memory=162608 CPUtime=36.02 cores=0,2
/proc/125978/stat : 125978 (cp_sat_runner) S 125974 125978 125904 0 -1 4194304 78369 0 0 0 3587 15 0 0 20 0 3 0 172864287 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
/proc/125978/statm: 52226 40652 2176 2102 0 46319 0
[pid=125978/tid=125995] ppid=125974 vsize=208904 memory=14560 CPUtime=17.28 cores=0,2
/proc/125978/task/125995/stat : 125995 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 37944 0 0 0 1724 4 0 0 20 0 3 0 172864433 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
[pid=125978/tid=125996] ppid=125974 vsize=208904 memory=-6878820461321358439 CPUtime=17.22 cores=0,2
/proc/125978/task/125996/stat : 125996 (cp_sat_runner) R 125974 125978 125904 0 -1 4194368 18780 0 0 0 1719 3 0 0 20 0 3 0 172864433 213917696 40652 18446744073709551615 4198400 12806697 140725976618832 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 20754432 140725976627476 140725976627681 140725976627681 140725976633287 0
Current children cumulated CPU time: 36.02 s
Current children cumulated vsize: 208904 KiB
Current children cumulated memory: 162608 KiB

Child status: 10

Real time (s): 18.9512
CPU time (s): 36.1074
CPU user time (s): 35.9443
CPU system time (s): 0.163113
CPU usage (%): 190.528
Max. virtual memory (cumulated for all children) (KiB): 231924
Max. memory (cumulated for all children) (KiB): 162608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.9443
system time used= 0.163113
maximum resident set size= 162736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83395
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= 597
involuntary context switches= 872


# summary of solver processes directly reported to runsolver:
#   pid: 125978
#   total CPU time (s): 36.1074
#   total CPU user time (s): 35.9443
#   total CPU system time (s): 0.163113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054142 second user time and 0.177339 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-15 11:30:45
IDJOB=4529431
IDBENCH=143384
IDSOLVER=3387
FILE ID=nodeC009/4529431-1752571844
RUNJOBID= nodeC009-1752571843-125921
SLURM_JOB_ID= 9683878
Free space on /tmp= 432960 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
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 -w /tmp/evaluation-result-4529431-1752571844/watcher-4529431-1752571844 -o /tmp/evaluation-result-4529431-1752571844/solver-4529431-1752571844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752571843-125921 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1977459953 --competition_mode --input HOME/instance-4529431-1752571844.wbo

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

MD5SUM BENCH= f6e1341d84f93f3293ca3ab4698e14a4
RANDOM SEED=1977459953

nodeC009 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		: 1197.494
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.457
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.327
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.234
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.85
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		: 3700.000
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.230
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.231
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.85
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		: 1197.226
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126810056 kB
MemAvailable:   129877892 kB
Buffers:            2144 kB
Cached:          3799184 kB
SwapCached:           24 kB
Active:           756648 kB
Inactive:        3116380 kB
Active(anon):      85464 kB
Inactive(anon):     4180 kB
Active(file):     671184 kB
Inactive(file):  3112200 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             51548 kB
Writeback:             4 kB
AnonPages:         74804 kB
Mapped:           114272 kB
Shmem:             17936 kB
KReclaimable:     247772 kB
Slab:             338632 kB
SReclaimable:     247772 kB
SUnreclaim:        90860 kB
KernelStack:        3840 kB
PageTables:         2928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     379840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC009 at 2025-07-15 11:31:04