Trace number 4485800

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)0 3600.16 1812.82

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMf6174806ed62bf92db0e2ac6f71348b5
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 benchmark0
Best CPU time to get the best result obtained on this benchmark1210.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=53045, runsolver pid=53042

[startup+0.100096 s]*
/proc/loadavg: 8.03 8.09 7.77 8/256 53046
/proc/meminfo: memFree=129004184/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=18104 memory=13696 CPUtime=0.1 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) R 53042 53045 52096 0 -1 4194304 2086 0 0 0 10 0 0 0 20 0 1 0 47211445 18538496 3424 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 4526 3424 1504 2102 0 2066 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18104 KiB
Current children cumulated memory: 13696 KiB

[startup+0.212965 s]*
/proc/loadavg: 8.03 8.09 7.77 8/256 53046
/proc/meminfo: memFree=129002172/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=19188 memory=14816 CPUtime=0.21 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) R 53042 53045 52096 0 -1 4194304 2400 0 0 0 21 0 0 0 20 0 1 0 47211445 19648512 3704 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 4797 3704 1536 2102 0 2337 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19188 KiB
Current children cumulated memory: 14816 KiB

[startup+0.313009 s]*
/proc/loadavg: 8.03 8.09 7.77 8/256 53046
/proc/meminfo: memFree=129002172/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=19424 memory=15072 CPUtime=0.31 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) R 53042 53045 52096 0 -1 4194304 2468 0 0 0 31 0 0 0 20 0 1 0 47211445 19890176 3768 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 4856 3768 1536 2102 0 2396 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19424 KiB
Current children cumulated memory: 15072 KiB

[startup+0.700239 s]
/proc/loadavg: 8.03 8.09 7.77 8/256 53046
/proc/meminfo: memFree=128980552/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=36936 memory=31272 CPUtime=0.69 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) R 53042 53045 52096 0 -1 4194304 11631 0 0 0 66 3 0 0 20 0 1 0 47211445 37822464 7818 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 9234 7818 1888 2102 0 6774 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36936 KiB
Current children cumulated memory: 31272 KiB

[startup+1.50025 s]
/proc/loadavg: 8.03 8.09 7.77 8/256 53046
/proc/meminfo: memFree=128980552/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=30280 memory=26916 CPUtime=1.48 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) R 53042 53045 52096 0 -1 4194304 11633 0 0 0 145 3 0 0 20 0 1 0 47211445 31006720 6729 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 7570 6729 1920 2102 0 5110 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30280 KiB
Current children cumulated memory: 26916 KiB

[startup+3.11266 s]
/proc/loadavg: 8.03 8.09 7.77 9/258 53048
/proc/meminfo: memFree=128956612/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=181376 memory=74156 CPUtime=3.2 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 28825 0 0 0 313 7 0 0 20 0 3 0 47211445 185729024 18539 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 45344 18539 2112 2102 0 21526 0
[pid=53045/tid=53047] ppid=53042 vsize=181376 memory=31272 CPUtime=0.14 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 4084 0 0 0 13 1 0 0 20 0 3 0 47211737 185729024 18539 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=181376 memory=32020 CPUtime=0.14 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 6447 0 0 0 13 1 0 0 20 0 3 0 47211737 185729024 18539 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 181376 KiB
Current children cumulated memory: 74156 KiB

[startup+6.30021 s]
/proc/loadavg: 8.03 8.09 7.77 9/258 53048
/proc/meminfo: memFree=128897188/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=215888 memory=130512 CPUtime=9.54 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 47213 0 0 0 943 11 0 0 20 0 3 0 47211445 221069312 32628 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 53972 32628 2176 2102 0 37716 0
[pid=53045/tid=53047] ppid=53042 vsize=215888 memory=14340 CPUtime=3.29 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 13675 0 0 0 326 3 0 0 20 0 3 0 47211737 221069312 32628 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=215888 memory=31272 CPUtime=3.32 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 15241 0 0 0 330 2 0 0 20 0 3 0 47211737 221069312 32628 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 215888 KiB
Current children cumulated memory: 130512 KiB

[startup+12.7002 s]
/proc/loadavg: 8.02 8.09 7.77 9/258 53048
/proc/meminfo: memFree=128886716/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=215888 memory=152272 CPUtime=22.27 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 78174 0 0 0 2213 14 0 0 20 0 3 0 47211445 221069312 38068 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 53972 38068 2176 2102 0 43957 0
[pid=53045/tid=53047] ppid=53042 vsize=215888 memory=-8183432479496115651 CPUtime=9.63 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 31396 0 0 0 958 5 0 0 20 0 3 0 47211737 221069312 38068 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=215888 memory=-8183432479496115651 CPUtime=9.71 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 28402 0 0 0 968 3 0 0 20 0 3 0 47211737 221069312 38068 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 22.27 s
Current children cumulated vsize: 215888 KiB
Current children cumulated memory: 152272 KiB

[startup+25.5002 s]
/proc/loadavg: 8.02 8.09 7.77 9/258 53049
/proc/meminfo: memFree=128860888/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=216376 memory=179188 CPUtime=47.7 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 100919 0 0 0 4754 16 0 0 20 0 3 0 47211445 221569024 44797 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 54094 44797 2176 2102 0 50745 0
[pid=53045/tid=53047] ppid=53042 vsize=216376 memory=177084 CPUtime=22.31 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 42401 0 0 0 2225 6 0 0 20 0 3 0 47211737 221569024 44797 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=216376 memory=174396 CPUtime=22.47 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 40024 0 0 0 2242 5 0 0 20 0 3 0 47211737 221569024 44797 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 47.7 s
Current children cumulated vsize: 216376 KiB
Current children cumulated memory: 179188 KiB

[startup+51.1052 s]
/proc/loadavg: 8.06 8.09 7.79 9/258 53049
/proc/meminfo: memFree=128849248/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=282092 memory=182324 CPUtime=98.6 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 132680 0 0 0 9840 20 0 0 20 0 3 0 47211445 288862208 45581 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 70523 45581 2176 2102 0 51477 0
[pid=53045/tid=53047] ppid=53042 vsize=282092 memory=152400 CPUtime=47.67 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 66337 0 0 0 4759 8 0 0 20 0 3 0 47211737 288862208 45581 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=282092 memory=179892 CPUtime=48 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 47773 0 0 0 4794 6 0 0 20 0 3 0 47211737 288862208 45581 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 98.6 s
Current children cumulated vsize: 282092 KiB
Current children cumulated memory: 182324 KiB

[startup+102.3 s]
/proc/loadavg: 7.99 8.07 7.80 7/252 53153
/proc/meminfo: memFree=129039664/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=282092 memory=234248 CPUtime=200.34 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 171090 0 0 0 20007 27 0 0 20 0 3 0 47211445 288862208 58562 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 70523 58562 2176 2102 0 64621 0
[pid=53045/tid=53047] ppid=53042 vsize=282092 memory=14340 CPUtime=98.35 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 97300 0 0 0 9822 13 0 0 20 0 3 0 47211737 288862208 58562 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=282092 memory=14340 CPUtime=99.04 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 55155 0 0 0 9897 7 0 0 20 0 3 0 47211737 288862208 58562 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 200.34 s
Current children cumulated vsize: 282092 KiB
Current children cumulated memory: 234248 KiB

[startup+162.3 s]
/proc/loadavg: 8.01 8.06 7.82 9/258 53379
/proc/meminfo: memFree=129170204/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=307888 memory=250308 CPUtime=319.6 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 235184 0 0 0 31924 36 0 0 20 0 3 0 47211445 315277312 62577 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 76972 62577 2176 2102 0 71510 0
[pid=53045/tid=53047] ppid=53042 vsize=307888 memory=250308 CPUtime=157.79 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 135641 0 0 0 15761 18 0 0 20 0 3 0 47211737 315277312 62577 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=307888 memory=4252 CPUtime=158.85 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 80786 0 0 0 15874 11 0 0 20 0 3 0 47211737 315277312 62577 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 319.6 s
Current children cumulated vsize: 307888 KiB
Current children cumulated memory: 250308 KiB

[startup+222.3 s]
/proc/loadavg: 8.06 8.06 7.84 9/259 53382
/proc/meminfo: memFree=129135308/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=307888 memory=250308 CPUtime=438.81 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 273566 0 0 0 43840 41 0 0 20 0 3 0 47211445 315277312 62577 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 76972 62577 2176 2102 0 71510 0
[pid=53045/tid=53047] ppid=53042 vsize=307888 memory=250308 CPUtime=217.21 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 165992 0 0 0 21700 21 0 0 20 0 3 0 47211737 315277312 62577 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=307888 memory=17664 CPUtime=218.62 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 88695 0 0 0 21850 12 0 0 20 0 3 0 47211737 315277312 62577 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 438.81 s
Current children cumulated vsize: 307888 KiB
Current children cumulated memory: 250308 KiB

[startup+282.3 s]
/proc/loadavg: 8.06 8.06 7.85 9/258 53384
/proc/meminfo: memFree=129101744/131382112 swapFree=33010684/33010684

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

Current children cumulated memory: 345756 KiB

[startup+1302.3 s]
/proc/loadavg: 8.01 8.09 8.02 9/259 53482
/proc/meminfo: memFree=129140512/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345756 CPUtime=2585.53 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 329648 0 0 0 258420 133 0 0 20 0 3 0 47211445 473948160 86439 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86439 2176 2102 0 98201 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=11264 CPUtime=1286.88 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 181892 0 0 0 128665 23 0 0 20 0 3 0 47211737 473948160 86439 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=345756 CPUtime=1295.39 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 128733 0 0 0 129449 90 0 0 20 0 3 0 47211737 473948160 86439 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 2585.53 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345756 KiB

[startup+1362.3 s]
/proc/loadavg: 8.12 8.10 8.03 9/259 53485
/proc/meminfo: memFree=129155680/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345884 CPUtime=2704.78 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 330987 0 0 0 270344 134 0 0 20 0 3 0 47211445 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86471 2176 2102 0 98201 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=345884 CPUtime=1346.28 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 181945 0 0 0 134605 23 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=14340 CPUtime=1355.22 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 130007 0 0 0 135432 90 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 2704.78 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345884 KiB

[startup+1422.3 s]
/proc/loadavg: 8.12 8.10 8.03 9/257 53487
/proc/meminfo: memFree=129131428/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345884 CPUtime=2824.03 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 331714 0 0 0 282268 135 0 0 20 0 3 0 47211445 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86471 2176 2102 0 98201 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=-8183432479496115651 CPUtime=1405.68 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 182199 0 0 0 140545 23 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=4760 CPUtime=1415.05 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 130480 0 0 0 141415 90 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 2824.03 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345884 KiB

[startup+1482.3 s]
/proc/loadavg: 8.23 8.15 8.05 9/257 53489
/proc/meminfo: memFree=129152256/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345884 CPUtime=2943.28 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 331826 0 0 0 294192 136 0 0 20 0 3 0 47211445 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86471 2176 2102 0 98201 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=-8183432479496115651 CPUtime=1465.09 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 182301 0 0 0 146486 23 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=345884 CPUtime=1474.89 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 130489 0 0 0 147398 91 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 2943.28 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345884 KiB

[startup+1542.3 s]
/proc/loadavg: 8.18 8.15 8.06 9/257 53491
/proc/meminfo: memFree=129153188/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345884 CPUtime=3062.52 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 332194 0 0 0 306115 137 0 0 20 0 3 0 47211445 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86471 2176 2102 0 98209 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=345884 CPUtime=1524.49 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 182651 0 0 0 152426 23 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=345884 CPUtime=1534.71 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 130504 0 0 0 153380 91 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3062.52 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345884 KiB

[startup+1602.3 s]
/proc/loadavg: 8.12 8.14 8.06 9/257 53493
/proc/meminfo: memFree=129156164/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345884 CPUtime=3181.78 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 332394 0 0 0 318040 138 0 0 20 0 3 0 47211445 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86471 2176 2102 0 98209 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=345884 CPUtime=1583.89 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 182704 0 0 0 158366 23 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=345884 CPUtime=1594.56 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 130635 0 0 0 159364 92 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3181.78 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345884 KiB

[startup+1662.3 s]
/proc/loadavg: 8.12 8.13 8.06 9/257 53495
/proc/meminfo: memFree=129155996/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=345884 CPUtime=3301.03 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 332491 0 0 0 329964 139 0 0 20 0 3 0 47211445 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 86471 2176 2102 0 98209 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=345884 CPUtime=1643.3 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 182739 0 0 0 164307 23 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=14340 CPUtime=1654.39 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 130694 0 0 0 165347 92 0 0 20 0 3 0 47211737 473948160 86471 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3301.03 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 345884 KiB

[startup+1722.3 s]
/proc/loadavg: 8.10 8.12 8.06 9/258 53500
/proc/meminfo: memFree=129147584/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=349468 CPUtime=3420.27 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 334027 0 0 0 341887 140 0 0 20 0 3 0 47211445 473948160 87367 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 87367 2176 2102 0 99129 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=345884 CPUtime=1702.7 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 183934 0 0 0 170246 24 0 0 20 0 3 0 47211737 473948160 87367 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=349468 CPUtime=1714.21 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 131018 0 0 0 171329 92 0 0 20 0 3 0 47211737 473948160 87367 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3420.27 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 349468 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.11 8.06 9/258 53502
/proc/meminfo: memFree=129118652/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=349468 CPUtime=3539.52 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 334240 0 0 0 353810 142 0 0 20 0 3 0 47211445 473948160 87367 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 87367 2176 2102 0 99129 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=349468 CPUtime=1762.1 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 183970 0 0 0 176186 24 0 0 20 0 3 0 47211737 473948160 87367 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=14340 CPUtime=1774.05 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 131186 0 0 0 177312 93 0 0 20 0 3 0 47211737 473948160 87367 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3539.52 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 349468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.8 s]
/proc/loadavg: 8.10 8.11 8.06 9/258 53503
/proc/meminfo: memFree=129105340/131382112 swapFree=33010684/33010684
[pid=53045] ppid=53042 vsize=462840 memory=350236 CPUtime=3600.13 cores=4,6
/proc/53045/stat : 53045 (cp-sat-runner) S 53042 53045 52096 0 -1 4194304 334799 0 0 0 359871 142 0 0 20 0 3 0 47211445 473948160 87559 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
/proc/53045/statm: 115710 87559 2176 2102 0 99348 0
[pid=53045/tid=53047] ppid=53042 vsize=462840 memory=350236 CPUtime=1792.3 cores=4,6
/proc/53045/task/53047/stat : 53047 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 183989 0 0 0 179206 24 0 0 20 0 3 0 47211737 473948160 87559 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
[pid=53045/tid=53048] ppid=53042 vsize=462840 memory=5168 CPUtime=1804.47 cores=4,6
/proc/53045/task/53048/stat : 53048 (cp-sat-runner) R 53042 53045 52096 0 -1 4194368 131726 0 0 0 180354 93 0 0 20 0 3 0 47211737 473948160 87559 18446744073709551615 4198400 12805993 140732805655520 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 27029504 140732805663002 140732805663205 140732805663205 140732805668807 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 462840 KiB
Current children cumulated memory: 350236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.73 s, system=1.43055 s

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

Child status: 0

Real time (s): 1812.82
CPU time (s): 3600.16
CPU user time (s): 3598.73
CPU system time (s): 1.43055
CPU usage (%): 198.594
Max. virtual memory (cumulated for all children) (KiB): 462840
Max. memory (cumulated for all children) (KiB): 350236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.73
system time used= 1.43055
maximum resident set size= 358152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334804
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= 21846
involuntary context switches= 92930


# summary of solver processes directly reported to runsolver:
#   pid: 53045
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.73
#   total CPU system time (s): 1.43055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70484 second user time and 8.31594 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-30 22:28:43
IDJOB=4485800
IDBENCH=146890
IDSOLVER=3320
FILE ID=nodeC007/4485800-1751315323
RUNJOBID= nodeC007-1751312874-52107
SLURM_JOB_ID= 9594310
Free space on /tmp= 432976 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.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-4485800-1751315323/watcher-4485800-1751315323 -o /tmp/evaluation-result-4485800-1751315323/solver-4485800-1751315323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751312874-52107 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:29878917 --competition_mode --input HOME/instance-4485800-1751315323.opb

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

MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=29878917

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129004472 kB
MemAvailable:   129216752 kB
Buffers:            3280 kB
Cached:          1019496 kB
SwapCached:            0 kB
Active:           951496 kB
Inactive:         772988 kB
Active(anon):     719668 kB
Inactive(anon):        0 kB
Active(file):     231828 kB
Inactive(file):   772988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13372 kB
Writeback:            48 kB
AnonPages:        704792 kB
Mapped:           128904 kB
Shmem:             17960 kB
KReclaimable:      94184 kB
Slab:             177800 kB
SReclaimable:      94184 kB
SUnreclaim:        83616 kB
KernelStack:        4128 kB
PageTables:         4348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1104732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    530432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC007 at 2025-06-30 22:58:56