Trace number 4508892

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 NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14SAT (TO)-11280 3600.14 1812.71

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
MD5SUM911059c1e959a60a23dfd4299eb920f8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-11306
Best CPU time to get the best result obtained on this benchmark72001
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7294
Total number of constraints14468
Number of constraints which are clauses7234
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7234
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 7294
Biggest coefficient in the objective function 1722
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 756056
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1722
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 756056
Number of bits of the biggest sum of numbers20
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 

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

Verifier Data 

OK	-11280

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: 63665 MiB (59792 MiB free)
  memory of node 1: 64507 MiB (61855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508892-1751506278/watcher-4508892-1751506278 -o /tmp/evaluation-result-4508892-1751506278/solver-4508892-1751506278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751504462-68200 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1359806149 --competition_mode --input HOME/instance-4508892-1751506278.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=68911, runsolver pid=68908

[startup+0.100069 s]*
/proc/loadavg: 8.16 8.16 7.35 8/269 68912
/proc/meminfo: memFree=124543324/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=28396 memory=23324 CPUtime=0.09 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) R 68908 68911 68188 0 -1 4194304 4842 0 0 0 9 0 0 0 20 0 1 0 66307676 29077504 5831 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 7099 5831 1536 2102 0 4639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28396 KiB
Current children cumulated memory: 23324 KiB

[startup+0.205962 s]*
/proc/loadavg: 8.16 8.16 7.35 8/269 68912
/proc/meminfo: memFree=124543324/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=38120 memory=33960 CPUtime=0.2 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) R 68908 68911 68188 0 -1 4194304 8948 0 0 0 19 1 0 0 20 0 1 0 66307676 39034880 8490 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 9530 8490 1888 2102 0 7070 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38120 KiB
Current children cumulated memory: 33960 KiB

[startup+0.305913 s]*
/proc/loadavg: 8.16 8.16 7.35 8/269 68912
/proc/meminfo: memFree=124557660/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=39864 memory=35752 CPUtime=0.3 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) R 68908 68911 68188 0 -1 4194304 9404 0 0 0 29 1 0 0 20 0 1 0 66307676 40820736 8938 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 9966 8938 1888 2102 0 7506 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39864 KiB
Current children cumulated memory: 35752 KiB

[startup+0.70016 s]
/proc/loadavg: 8.16 8.16 7.35 8/269 68912
/proc/meminfo: memFree=124574276/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=47596 memory=42564 CPUtime=0.69 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) R 68908 68911 68188 0 -1 4194304 12105 0 0 0 67 2 0 0 20 0 1 0 66307676 48738304 10641 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 11899 10641 1888 2102 0 9439 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47596 KiB
Current children cumulated memory: 42564 KiB

[startup+1.50025 s]
/proc/loadavg: 8.14 8.16 7.36 9/271 68914
/proc/meminfo: memFree=124530520/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=193132 memory=105572 CPUtime=2.11 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 26305 0 0 0 207 4 0 0 20 0 3 0 66307676 197767168 26393 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 48283 26393 2144 2102 0 32669 0
[pid=68911/tid=68913] ppid=68908 vsize=193132 memory=0 CPUtime=0.64 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 10392 0 0 0 62 2 0 0 20 0 3 0 66307760 197767168 26393 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=193132 memory=14720 CPUtime=0.63 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 3107 0 0 0 63 0 0 0 20 0 3 0 66307760 197767168 26393 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 193132 KiB
Current children cumulated memory: 105572 KiB

[startup+3.10567 s]
/proc/loadavg: 8.14 8.16 7.36 9/271 68914
/proc/meminfo: memFree=124478196/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=193132 memory=124644 CPUtime=5.3 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 38703 0 0 0 524 6 0 0 20 0 3 0 66307676 197767168 31161 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 48283 31161 2144 2102 0 36031 0
[pid=68911/tid=68913] ppid=68908 vsize=193132 memory=14720 CPUtime=2.24 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 20072 0 0 0 221 3 0 0 20 0 3 0 66307760 197767168 31161 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=193132 memory=112100 CPUtime=2.21 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 5782 0 0 0 221 0 0 0 20 0 3 0 66307760 197767168 31161 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 193132 KiB
Current children cumulated memory: 124644 KiB

[startup+6.30025 s]
/proc/loadavg: 8.13 8.15 7.36 9/271 68914
/proc/meminfo: memFree=124512932/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=130716 CPUtime=11.64 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 54756 0 0 0 1157 7 0 0 20 0 3 0 66307676 264876032 32679 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 32679 2144 2102 0 37476 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=126308 CPUtime=5.42 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 33416 0 0 0 539 3 0 0 20 0 3 0 66307760 264876032 32679 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=18560 CPUtime=5.36 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 8450 0 0 0 536 0 0 0 20 0 3 0 66307760 264876032 32679 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 11.64 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 130716 KiB

[startup+12.7002 s]
/proc/loadavg: 7.96 8.12 7.35 7/265 69021
/proc/meminfo: memFree=129247776/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=148136 CPUtime=24.34 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 71649 0 0 0 2425 9 0 0 20 0 3 0 66307676 264876032 37034 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 37034 2144 2102 0 41417 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=124644 CPUtime=11.79 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 46075 0 0 0 1174 5 0 0 20 0 3 0 66307760 264876032 37034 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=141688 CPUtime=11.7 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 12650 0 0 0 1169 1 0 0 20 0 3 0 66307760 264876032 37034 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 24.34 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 148136 KiB

[startup+25.5002 s]
/proc/loadavg: 7.89 8.10 7.36 8/269 69195
/proc/meminfo: memFree=128616660/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=151228 CPUtime=49.75 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 85196 0 0 0 4964 11 0 0 20 0 3 0 66307676 264876032 37807 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 37807 2144 2102 0 44700 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=151228 CPUtime=24.54 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 55470 0 0 0 2448 6 0 0 20 0 3 0 66307760 264876032 37807 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=18560 CPUtime=24.34 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 16770 0 0 0 2433 1 0 0 20 0 3 0 66307760 264876032 37807 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 49.75 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 151228 KiB

[startup+51.1055 s]
/proc/loadavg: 7.82 8.06 7.37 9/271 69197
/proc/meminfo: memFree=128146132/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=151740 CPUtime=100.55 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 99909 0 0 0 10043 12 0 0 20 0 3 0 66307676 264876032 37935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 37935 2144 2102 0 44700 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=151228 CPUtime=50.05 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 69047 0 0 0 4998 7 0 0 20 0 3 0 66307760 264876032 37935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=151228 CPUtime=49.65 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 17868 0 0 0 4963 2 0 0 20 0 3 0 66307760 264876032 37935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 100.55 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 151740 KiB

[startup+102.3 s]
/proc/loadavg: 7.74 8.01 7.39 8/270 69247
/proc/meminfo: memFree=127821196/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=159348 CPUtime=202.2 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 114430 0 0 0 20203 17 0 0 20 0 3 0 66307676 264876032 39837 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 39837 2144 2102 0 45645 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=14720 CPUtime=101.05 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 82437 0 0 0 10095 10 0 0 20 0 3 0 66307760 264876032 39837 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=157940 CPUtime=100.27 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 18942 0 0 0 10025 2 0 0 20 0 3 0 66307760 264876032 39837 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 202.2 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 159348 KiB

[startup+162.3 s]
/proc/loadavg: 7.70 7.95 7.41 9/273 69298
/proc/meminfo: memFree=127045884/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=175740 CPUtime=321.34 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 115911 0 0 0 32116 18 0 0 20 0 3 0 66307676 264876032 43935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 43935 2144 2102 0 46542 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=14720 CPUtime=160.84 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 83892 0 0 0 16074 10 0 0 20 0 3 0 66307760 264876032 43935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=175740 CPUtime=159.61 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 18962 0 0 0 15958 3 0 0 20 0 3 0 66307760 264876032 43935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 321.34 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 175740 KiB

[startup+222.3 s]
/proc/loadavg: 7.59 7.88 7.42 8/272 69490
/proc/meminfo: memFree=127874920/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=175740 CPUtime=440.42 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 117467 0 0 0 44022 20 0 0 20 0 3 0 66307676 264876032 43935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 43935 2144 2102 0 46542 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=14720 CPUtime=220.61 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 85150 0 0 0 22050 11 0 0 20 0 3 0 66307760 264876032 43935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=14720 CPUtime=218.9 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 19228 0 0 0 21886 4 0 0 20 0 3 0 66307760 264876032 43935 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 440.42 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 175740 KiB


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

Current children cumulated memory: 222332 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.09 7.94 9/273 69591
/proc/meminfo: memFree=127410620/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=258668 memory=229628 CPUtime=2705.3 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 186011 0 0 0 270473 57 0 0 20 0 3 0 66307676 264876032 57407 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 64667 57407 2144 2102 0 59537 0
[pid=68911/tid=68913] ppid=68908 vsize=258668 memory=225532 CPUtime=1356.92 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 149375 0 0 0 135667 25 0 0 20 0 3 0 66307760 264876032 57407 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=258668 memory=229628 CPUtime=1347.13 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23372 0 0 0 134701 12 0 0 20 0 3 0 66307760 264876032 57407 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 2705.3 s
Current children cumulated vsize: 258668 KiB
Current children cumulated memory: 229628 KiB

[startup+1422.3 s]
/proc/loadavg: 8.09 8.08 7.95 9/271 69592
/proc/meminfo: memFree=127368212/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=233468 CPUtime=2824.52 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 188507 0 0 0 282394 58 0 0 20 0 3 0 66307676 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 58367 2144 2102 0 60534 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=14720 CPUtime=1416.29 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 151854 0 0 0 141604 25 0 0 20 0 3 0 66307760 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=233468 CPUtime=1406.96 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23385 0 0 0 140683 13 0 0 20 0 3 0 66307760 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 2824.52 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 233468 KiB

[startup+1482.3 s]
/proc/loadavg: 8.15 8.10 7.97 9/271 69598
/proc/meminfo: memFree=127422048/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=233468 CPUtime=2943.73 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 188520 0 0 0 294314 59 0 0 20 0 3 0 66307676 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 58367 2144 2102 0 60534 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=14720 CPUtime=1475.66 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 151864 0 0 0 147541 25 0 0 20 0 3 0 66307760 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=233468 CPUtime=1466.79 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23385 0 0 0 146666 13 0 0 20 0 3 0 66307760 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 2943.73 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 233468 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.09 7.98 9/271 69600
/proc/meminfo: memFree=127427292/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=233468 CPUtime=3062.93 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 188526 0 0 0 306232 61 0 0 20 0 3 0 66307676 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 58367 2144 2102 0 60534 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=233468 CPUtime=1535.02 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 151870 0 0 0 153477 25 0 0 20 0 3 0 66307760 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=233468 CPUtime=1526.61 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23385 0 0 0 152647 14 0 0 20 0 3 0 66307760 331984896 58367 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3062.93 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 233468 KiB

[startup+1602.3 s]
/proc/loadavg: 8.30 8.14 8.01 9/271 69602
/proc/meminfo: memFree=127361376/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=238716 CPUtime=3182.12 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 190763 0 0 0 318149 63 0 0 20 0 3 0 66307676 331984896 59679 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 59679 2144 2102 0 61863 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=14720 CPUtime=1594.38 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 154092 0 0 0 159412 26 0 0 20 0 3 0 66307760 331984896 59679 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=238332 CPUtime=1586.43 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23396 0 0 0 158629 14 0 0 20 0 3 0 66307760 331984896 59679 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3182.12 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 238716 KiB

[startup+1662.3 s]
/proc/loadavg: 8.28 8.17 8.02 9/270 69604
/proc/meminfo: memFree=127329496/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=244092 CPUtime=3301.32 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 192357 0 0 0 330068 64 0 0 20 0 3 0 66307676 331984896 61023 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 61023 2144 2102 0 63234 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=14720 CPUtime=1653.74 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 155680 0 0 0 165348 26 0 0 20 0 3 0 66307760 331984896 61023 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=243964 CPUtime=1646.25 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23402 0 0 0 164610 15 0 0 20 0 3 0 66307760 331984896 61023 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3301.32 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 244092 KiB

[startup+1722.3 s]
/proc/loadavg: 8.16 8.15 8.02 9/269 69606
/proc/meminfo: memFree=127367300/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=245500 CPUtime=3420.53 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 192721 0 0 0 341988 65 0 0 20 0 3 0 66307676 331984896 61375 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 61375 2144 2102 0 63546 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=14720 CPUtime=1713.11 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 156044 0 0 0 171285 26 0 0 20 0 3 0 66307760 331984896 61375 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=243964 CPUtime=1706.07 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23402 0 0 0 170592 15 0 0 20 0 3 0 66307760 331984896 61375 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3420.53 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 245500 KiB

[startup+1782.3 s]
/proc/loadavg: 8.14 8.14 8.02 9/269 69608
/proc/meminfo: memFree=127369108/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=251644 CPUtime=3539.72 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 194263 0 0 0 353905 67 0 0 20 0 3 0 66307676 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 62911 2144 2102 0 65157 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=19876 CPUtime=1772.47 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 157583 0 0 0 177220 27 0 0 20 0 3 0 66307760 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=251260 CPUtime=1765.89 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23402 0 0 0 176574 15 0 0 20 0 3 0 66307760 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3539.72 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 251644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.7 s]
/proc/loadavg: 8.08 8.12 8.02 9/269 69621
/proc/meminfo: memFree=127374216/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=251644 CPUtime=3600.11 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 194263 0 0 0 359944 67 0 0 20 0 3 0 66307676 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 62911 2144 2102 0 65157 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=251644 CPUtime=1802.54 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 157583 0 0 0 180227 27 0 0 20 0 3 0 66307760 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=-8183425899454896326 CPUtime=1796.2 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23402 0 0 0 179605 15 0 0 20 0 3 0 66307760 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 251644 KiB

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

[startup+1812.71 s]
# the end of solver process 68911 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.46 s, system=0.676707 s

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

[startup+1812.7 s]
/proc/loadavg: 8.08 8.12 8.02 9/269 69621
/proc/meminfo: memFree=127374216/131250000 swapFree=33010416/33010684
[pid=68911] ppid=68908 vsize=324204 memory=251644 CPUtime=3600.11 cores=1,3
/proc/68911/stat : 68911 (cp-sat-runner) S 68908 68911 68188 0 -1 4194304 194263 0 0 0 359944 67 0 0 20 0 3 0 66307676 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
/proc/68911/statm: 81051 62911 2144 2102 0 65157 0
[pid=68911/tid=68913] ppid=68908 vsize=324204 memory=251644 CPUtime=1802.54 cores=1,3
/proc/68911/task/68913/stat : 68913 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 157583 0 0 0 180227 27 0 0 20 0 3 0 66307760 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
[pid=68911/tid=68914] ppid=68908 vsize=324204 memory=-8183425899454896326 CPUtime=1796.2 cores=1,3
/proc/68911/task/68914/stat : 68914 (cp-sat-runner) R 68908 68911 68188 0 -1 4194368 23402 0 0 0 179605 15 0 0 20 0 3 0 66307760 331984896 62911 18446744073709551615 4198400 12805993 140721702010304 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 27389952 140721702013208 140721702013413 140721702013413 140721702019015 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 324204 KiB
Current children cumulated memory: 251644 KiB

Child status: 0

Real time (s): 1812.71
CPU time (s): 3600.14
CPU user time (s): 3599.46
CPU system time (s): 0.676707
CPU usage (%): 198.605
Max. virtual memory (cumulated for all children) (KiB): 324204
Max. memory (cumulated for all children) (KiB): 251644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.676707
maximum resident set size= 251900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194269
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= 21809
involuntary context switches= 95865


# summary of solver processes directly reported to runsolver:
#   pid: 68911
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3599.46
#   total CPU system time (s): 0.676707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92044 second user time and 8.61122 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-03 03:31:18
IDJOB=4508892
IDBENCH=158525
IDSOLVER=3320
FILE ID=nodeC027/4508892-1751506278
RUNJOBID= nodeC027-1751504462-68200
SLURM_JOB_ID= 9598594
Free space on /tmp= 431120 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508892-1751506278/watcher-4508892-1751506278 -o /tmp/evaluation-result-4508892-1751506278/solver-4508892-1751506278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751504462-68200 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1359806149 --competition_mode --input HOME/instance-4508892-1751506278.opb

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

MD5SUM BENCH= 911059c1e959a60a23dfd4299eb920f8
RANDOM SEED=1359806149

nodeC027 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	: 0xb00002a
cpu MHz		: 3599.455
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.615
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.642
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3533.011
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.398
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.631
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.698
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.951
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124571296 kB
MemAvailable:   124784552 kB
Buffers:            2488 kB
Cached:          1013556 kB
SwapCached:           12 kB
Active:          5514436 kB
Inactive:         473052 kB
Active(anon):    4986708 kB
Inactive(anon):     2792 kB
Active(file):     527728 kB
Inactive(file):   470260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13212 kB
Writeback:            72 kB
AnonPages:       4974504 kB
Mapped:           130312 kB
Shmem:             18056 kB
KReclaimable:     108616 kB
Slab:             198524 kB
SReclaimable:     108616 kB
SUnreclaim:        89908 kB
KernelStack:        4336 kB
PageTables:        12816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5631896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2785280 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431128 MiB
End job on nodeC027 at 2025-07-03 04:01:31