Trace number 4502850

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.14OPT42 3384.83 1710.09

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM6ff458260e5cc7a1e00e7b04a599a648
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark613.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	42

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=70257, runsolver pid=70250

[startup+0.10006 s]*
/proc/loadavg: 0.78 1.01 1.33 5/260 70266
/proc/meminfo: memFree=123604248/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=54756 memory=48692 CPUtime=0.09 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 11439 0 0 0 7 2 0 0 20 0 1 0 63839133 56070144 12173 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 13689 12173 1088 2102 0 11229 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54756 KiB
Current children cumulated memory: 48692 KiB

[startup+0.205083 s]*
/proc/loadavg: 0.78 1.01 1.33 6/264 70270
/proc/meminfo: memFree=123484044/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=100404 memory=94088 CPUtime=0.2 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 22975 0 0 0 16 4 0 0 20 0 1 0 63839133 102813696 23522 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 25101 23522 1088 2102 0 22641 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100404 KiB
Current children cumulated memory: 94088 KiB

[startup+0.305524 s]*
/proc/loadavg: 0.78 1.01 1.33 6/264 70270
/proc/meminfo: memFree=123359304/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=144576 memory=137732 CPUtime=0.3 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 33751 0 0 0 24 6 0 0 20 0 1 0 63839133 148045824 34433 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 36144 34433 1088 2102 0 33684 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 144576 KiB
Current children cumulated memory: 137732 KiB

[startup+0.700188 s]
/proc/loadavg: 0.78 1.01 1.33 4/261 70278
/proc/meminfo: memFree=123089208/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=321592 memory=315780 CPUtime=0.69 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 78250 0 0 0 55 14 0 0 20 0 1 0 63839133 329310208 78945 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 80398 78945 1120 2102 0 77938 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 321592 KiB
Current children cumulated memory: 315780 KiB

[startup+1.5002 s]
/proc/loadavg: 0.78 1.01 1.33 5/258 70278
/proc/meminfo: memFree=122581708/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=318516 memory=314200 CPUtime=1.49 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 78275 0 0 0 135 14 0 0 20 0 1 0 63839133 326160384 78550 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 79629 78550 1472 2102 0 77169 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 318516 KiB
Current children cumulated memory: 314200 KiB

[startup+3.10541 s]
/proc/loadavg: 1.04 1.06 1.35 6/267 70327
/proc/meminfo: memFree=122063956/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=318516 memory=315240 CPUtime=3.08 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 79218 0 0 0 291 17 0 0 20 0 1 0 63839133 326160384 78810 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 79629 78810 1728 2102 0 77169 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 318516 KiB
Current children cumulated memory: 315240 KiB

[startup+6.30018 s]
/proc/loadavg: 1.04 1.06 1.35 6/267 70327
/proc/meminfo: memFree=120581760/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=340540 memory=334856 CPUtime=6.27 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) R 70250 70257 70209 0 -1 4194304 83077 0 0 0 605 22 0 0 20 0 1 0 63839133 348712960 83714 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 85135 83714 1856 2102 0 82675 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 340540 KiB
Current children cumulated memory: 334856 KiB

[startup+12.7002 s]
/proc/loadavg: 1.81 1.22 1.40 7/269 70329
/proc/meminfo: memFree=117409768/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1217040 memory=912296 CPUtime=16.07 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 177137 0 0 0 1561 46 0 0 20 0 3 0 63839133 1246248960 228074 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 304260 228074 2176 2102 0 279611 0
[pid=70257/tid=70328] ppid=70250 vsize=1217040 memory=132 CPUtime=3.44 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 46583 0 0 0 331 13 0 0 20 0 3 0 63840056 1246248960 228074 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1217040 memory=-8183434674191045058 CPUtime=3.42 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 38906 0 0 0 334 8 0 0 20 0 3 0 63840056 1246248960 228074 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 16.07 s
Current children cumulated vsize: 1217040 KiB
Current children cumulated memory: 912296 KiB

[startup+25.5002 s]
/proc/loadavg: 2.61 1.41 1.46 8/271 70331
/proc/meminfo: memFree=115545180/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1144100 memory=1006144 CPUtime=41.45 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 239508 0 0 0 4085 60 0 0 20 0 3 0 63839133 1171558400 251536 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 286025 251536 2176 2102 0 273915 0
[pid=70257/tid=70328] ppid=70250 vsize=1144100 memory=950428 CPUtime=16.19 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 55658 0 0 0 1604 15 0 0 20 0 3 0 63840056 1171558400 251536 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1144100 memory=942372 CPUtime=16.06 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 92125 0 0 0 1585 21 0 0 20 0 3 0 63840056 1171558400 251536 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 41.45 s
Current children cumulated vsize: 1144100 KiB
Current children cumulated memory: 1006144 KiB

[startup+51.106 s]
/proc/loadavg: 4.17 1.88 1.61 8/271 70332
/proc/meminfo: memFree=115075328/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1087576 memory=970516 CPUtime=92.26 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 336312 0 0 0 9149 77 0 0 20 0 3 0 63839133 1113677824 242629 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 271894 242629 2176 2102 0 260709 0
[pid=70257/tid=70328] ppid=70250 vsize=1087576 memory=1031852 CPUtime=41.69 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 77022 0 0 0 4154 15 0 0 20 0 3 0 63840056 1113677824 242629 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1087576 memory=970388 CPUtime=41.35 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 167516 0 0 0 4098 37 0 0 20 0 3 0 63840056 1113677824 242629 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 92.26 s
Current children cumulated vsize: 1087576 KiB
Current children cumulated memory: 970516 KiB

[startup+102.3 s]
/proc/loadavg: 5.87 2.75 1.92 8/271 70333
/proc/meminfo: memFree=115013932/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1094448 memory=975128 CPUtime=193.81 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 385972 0 0 0 19289 92 0 0 20 0 3 0 63839133 1120714752 243782 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 273612 243782 2176 2102 0 262552 0
[pid=70257/tid=70328] ppid=70250 vsize=1094448 memory=975128 CPUtime=92.67 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 82609 0 0 0 9251 16 0 0 20 0 3 0 63840056 1120714752 243782 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1094448 memory=975128 CPUtime=91.91 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 211546 0 0 0 9140 51 0 0 20 0 3 0 63840056 1120714752 243782 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 193.81 s
Current children cumulated vsize: 1094448 KiB
Current children cumulated memory: 975128 KiB

[startup+162.3 s]
/proc/loadavg: 6.98 3.62 2.27 9/272 70337
/proc/meminfo: memFree=109700768/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1094448 memory=977176 CPUtime=312.81 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 421586 0 0 0 31184 97 0 0 20 0 3 0 63839133 1120714752 244294 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 273612 244294 2176 2102 0 262552 0
[pid=70257/tid=70328] ppid=70250 vsize=1094448 memory=16440 CPUtime=152.39 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 90047 0 0 0 15223 16 0 0 20 0 3 0 63840056 1120714752 244294 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1094448 memory=977176 CPUtime=151.15 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 239685 0 0 0 15061 54 0 0 20 0 3 0 63840056 1120714752 244294 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 312.81 s
Current children cumulated vsize: 1094448 KiB
Current children cumulated memory: 977176 KiB

[startup+222.3 s]
/proc/loadavg: 7.68 4.43 2.64 9/271 70342
/proc/meminfo: memFree=110087032/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1094448 memory=979224 CPUtime=431.59 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 455052 0 0 0 43056 103 0 0 20 0 3 0 63839133 1120714752 244806 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 273612 244806 2176 2102 0 262552 0
[pid=70257/tid=70328] ppid=70250 vsize=1094448 memory=979224 CPUtime=211.97 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 98572 0 0 0 21180 17 0 0 20 0 3 0 63840056 1120714752 244806 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1094448 memory=979224 CPUtime=210.34 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 264595 0 0 0 20975 59 0 0 20 0 3 0 63840056 1120714752 244806 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 431.59 s
Current children cumulated vsize: 1094448 KiB
Current children cumulated memory: 979224 KiB

[startup+282.3 s]
/proc/loadavg: 7.89 5.09 2.98 9/273 70398
/proc/meminfo: memFree=110204656/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1094448 memory=983196 CPUtime=550.61 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 500712 0 0 0 54949 112 0 0 20 0 3 0 63839133 1120714752 245799 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 273612 245799 2176 2102 0 262552 0
[pid=70257/tid=70328] ppid=70250 vsize=1094448 memory=983196 CPUtime=271.71 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 119780 0 0 0 27152 19 0 0 20 0 3 0 63840056 1120714752 245799 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1094448 memory=981276 CPUtime=269.6 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 289023 0 0 0 26896 64 0 0 20 0 3 0 63840056 1120714752 245799 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 550.61 s
Current children cumulated vsize: 1094448 KiB

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

/proc/70257/statm: 273612 246602 2176 2102 0 262552 0
[pid=70257/tid=70328] ppid=70250 vsize=1094448 memory=986408 CPUtime=1520.2 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 171922 0 0 0 151980 40 0 0 20 0 3 0 63840056 1120714752 246602 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1094448 memory=986408 CPUtime=1521.88 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 334548 0 0 0 152064 124 0 0 20 0 3 0 63840056 1120714752 246602 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3051.78 s
Current children cumulated vsize: 1094448 KiB
Current children cumulated memory: 986408 KiB

[startup+1602.3 s]
/proc/loadavg: 8.12 8.11 6.93 9/272 70564
/proc/meminfo: memFree=109566912/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3170.9 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 600391 0 0 0 316875 215 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=986408 CPUtime=1579.5 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172167 0 0 0 157909 41 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=-8183434674191045058 CPUtime=1581.54 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335124 0 0 0 158027 127 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3170.9 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1662.3 s]
/proc/loadavg: 8.52 8.22 7.05 9/272 70567
/proc/meminfo: memFree=109585208/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3290.01 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601060 0 0 0 328784 217 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=986408 CPUtime=1638.79 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172472 0 0 0 163838 41 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1641.34 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335463 0 0 0 164006 128 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3290.01 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

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

# cumulated CPU time of all completed processes:  user=3382.59 s, system=2.24055 s

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

[startup+1664 s]*
/proc/loadavg: 8.52 8.22 7.05 9/272 70567
/proc/meminfo: memFree=109646648/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3293.4 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601082 0 0 0 329123 217 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=-8183428089955848133 CPUtime=1640.48 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172479 0 0 0 164007 41 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=-5155633680935826750 CPUtime=1642.92 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335465 0 0 0 164164 128 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3293.4 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1689.6 s]
/proc/loadavg: 8.34 8.20 7.08 9/272 70568
/proc/meminfo: memFree=109609220/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3344.22 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601374 0 0 0 334203 219 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1665.78 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172524 0 0 0 166536 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=18944 CPUtime=1668.19 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335709 0 0 0 166690 129 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3344.22 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1702.4 s]
/proc/loadavg: 8.27 8.19 7.09 9/272 70568
/proc/meminfo: memFree=109580268/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3369.63 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601390 0 0 0 336743 220 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1678.43 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172525 0 0 0 167801 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1680.85 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335724 0 0 0 167955 130 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3369.63 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1705.6 s]
/proc/loadavg: 8.27 8.19 7.09 9/272 70568
/proc/meminfo: memFree=109555780/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3375.98 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601687 0 0 0 337378 220 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1681.59 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172568 0 0 0 168117 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1684.04 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335961 0 0 0 168274 130 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3375.98 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1707.2 s]
/proc/loadavg: 8.32 8.21 7.10 9/272 70568
/proc/meminfo: memFree=109624132/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3379.16 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601719 0 0 0 337696 220 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=18944 CPUtime=1683.17 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172599 0 0 0 168275 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1685.63 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335962 0 0 0 168433 130 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3379.16 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1708.8 s]
/proc/loadavg: 8.32 8.21 7.10 9/272 70568
/proc/meminfo: memFree=109624384/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3382.34 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601755 0 0 0 338014 220 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=18944 CPUtime=1684.76 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172616 0 0 0 168434 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1687.18 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335965 0 0 0 168588 130 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3382.34 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1709.6 s]
/proc/loadavg: 8.32 8.21 7.10 9/272 70569
/proc/meminfo: memFree=109624636/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3383.93 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601755 0 0 0 338172 221 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=18944 CPUtime=1685.55 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172616 0 0 0 168513 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=10752 CPUtime=1687.97 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335965 0 0 0 168667 130 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3383.93 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

[startup+1710 s]*
/proc/loadavg: 8.32 8.21 7.10 9/272 70569
/proc/meminfo: memFree=109624952/131250000 swapFree=33009904/33010684
[pid=70257] ppid=70250 vsize=1129684 memory=1021644 CPUtime=3384.72 cores=0,2
/proc/70257/stat : 70257 (cp-sat-runner) S 70250 70257 70209 0 -1 4194304 601755 0 0 0 338251 221 0 0 20 0 3 0 63839133 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
/proc/70257/statm: 282421 255411 2176 2102 0 271361 0
[pid=70257/tid=70328] ppid=70250 vsize=1129684 memory=1021644 CPUtime=1685.94 cores=0,2
/proc/70257/task/70328/stat : 70328 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 172616 0 0 0 168552 42 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
[pid=70257/tid=70329] ppid=70250 vsize=1129684 memory=6768 CPUtime=1688.38 cores=0,2
/proc/70257/task/70329/stat : 70329 (cp-sat-runner) R 70250 70257 70209 0 -1 4194368 335965 0 0 0 168707 131 0 0 20 0 3 0 63840056 1156796416 255411 18446744073709551615 4198400 12805993 140720683290624 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 45039616 140720683292954 140720683293157 140720683293157 140720683298759 0
Current children cumulated CPU time: 3384.72 s
Current children cumulated vsize: 1129684 KiB
Current children cumulated memory: 1021644 KiB

Child status: 10

Real time (s): 1710.09
CPU time (s): 3384.83
CPU user time (s): 3382.59
CPU system time (s): 2.24055
CPU usage (%): 197.933
Max. virtual memory (cumulated for all children) (KiB): 1345024
Max. memory (cumulated for all children) (KiB): 1048244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3382.59
system time used= 2.24055
maximum resident set size= 1048244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619841
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= 23128
involuntary context switches= 110174


# summary of solver processes directly reported to runsolver:
#   pid: 70257
#   total CPU time (s): 3384.83
#   total CPU user time (s): 3382.59
#   total CPU system time (s): 2.24055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.5335 second user time and 8.75572 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-02 20:39:57
IDJOB=4502850
IDBENCH=155400
IDSOLVER=3320
FILE ID=nodeC033/4502850-1751481597
RUNJOBID= nodeC033-1751481597-70219
SLURM_JOB_ID= 9598527
Free space on /tmp= 429668 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.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-4502850-1751481597/watcher-4502850-1751481597 -o /tmp/evaluation-result-4502850-1751481597/solver-4502850-1751481597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751481597-70219 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40627431 --competition_mode --input HOME/instance-4502850-1751481597.opb

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

MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=40627431

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123712692 kB
MemAvailable:   129686728 kB
Buffers:            2128 kB
Cached:          6728012 kB
SwapCached:           68 kB
Active:           653212 kB
Inactive:        6147844 kB
Active(anon):      83460 kB
Inactive(anon):     5524 kB
Active(file):     569752 kB
Inactive(file):  6142320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            194428 kB
Writeback:            12 kB
AnonPages:         74024 kB
Mapped:           104188 kB
Shmem:             18028 kB
KReclaimable:     202408 kB
Slab:             293668 kB
SReclaimable:     202408 kB
SUnreclaim:        91260 kB
KernelStack:        4096 kB
PageTables:         2884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     339184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429204 MiB
End job on nodeC033 at 2025-07-02 21:08:27