Trace number 4526646

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14OPTIMUM 884.429 461.893

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUM9031472e82cc640e2367b3bed0c7412c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4324
Best CPU time to get the best result obtained on this benchmark41.7207
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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 

19.43/18.23	o 1604346
22.41/19.75	o 890923
53.20/35.34	o 24004
94.51/56.26	o 23134
95.01/56.50	o 22114
95.33/56.74	o 21124
96.01/57.13	o 21114
96.19/57.26	o 20115
96.59/57.42	o 19113
96.80/57.58	o 19112
96.99/57.69	o 19111
97.39/57.85	o 18112
98.97/58.60	o 17141
99.18/58.76	o 16118
99.37/58.87	o 14106
99.77/59.02	o 13317
99.98/59.15	o 13307
100.16/59.28	o 13009
102.94/60.67	o 8782
103.34/60.83	o 8567
103.54/60.96	o 7567
103.74/61.08	o 7467
106.31/62.35	o 4561
111.47/64.95	o 4453
118.53/68.53	o 4383
132.16/75.87	o 4371
141.85/80.77	o 4326
142.46/81.06	o 4325
142.84/81.26	o 4324
884.32/461.81	s OPTIMUM FOUND 
884.32/461.81	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
884.32/461.81	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
884.32/461.81	v -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
884.32/461.81	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
884.32/461.81	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
884.32/461.81	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 
884.32/461.81	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
884.32/461.81	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 
884.32/461.81	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 
884.32/461.81	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
884.32/461.81	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
884.32/461.81	v -x161 -x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 
884.32/461.81	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
884.32/461.81	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 
884.32/461.81	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 
884.32/461.81	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 
884.32/461.81	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 
884.32/461.81	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
884.32/461.81	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 
884.32/461.81	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 
884.32/461.81	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
884.32/461.81	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
884.32/461.81	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 
884.32/461.81	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
884.32/461.81	v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 
884.32/461.81	v -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
884.32/461.81	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 
884.32/461.81	v -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 
884.32/461.81	v -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 
884.32/461.81	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 
884.32/461.81	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
884.32/461.81	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 
884.32/461.81	v -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 
884.32/461.81	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
884.32/461.81	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 
884.32/461.81	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 
884.32/461.81	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 
884.32/461.81	v -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 
884.32/461.81	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 
884.32/461.81	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 
884.32/461.81	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
884.32/461.81	v -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
884.32/461.81	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
884.32/461.81	v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 
884.32/461.81	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 
884.32/461.81	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
884.32/461.81	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 
884.32/461.81	v -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 
884.32/461.81	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 
884.32/461.81	v -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 
884.32/461.81	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 
884.32/461.81	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 
884.32/461.81	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 
884.32/461.81	v x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
884.32/461.81	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
884.32/461.81	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 
884.32/461.81	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 
884.32/461.81	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
884.32/461.81	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
884.32/461.81	v -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 
884.32/461.81	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 
884.32/461.81	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 
884.32/461.81	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
884.32/461.81	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 
884.32/461.81	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 
884.32/461.81	v -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 
884.32/461.81	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 
884.32/461.81	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
884.32/461.81	v -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 
884.32/461.81	v -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 
884.32/461.81	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
884.32/461.81	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 
884.32/461.81	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 
884.32/461.81	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 
884.32/461.81	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 
884.32/461.81	v -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 
884.32/461.81	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
884.32/461.81	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
884.32/461.81	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 
884.32/461.81	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
884.32/461.81	v -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 
884.32/461.81	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
884.32/461.81	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 
884.32/461.81	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
884.32/461.81	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 
884.32/461.81	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 
884.32/461.81	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 
884.32/461.81	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 
884.32/461.81	v -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
884.32/461.81	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
884.32/461.81	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
884.32/461.81	v -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 
884.32/461.81	v x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 
884.32/461.81	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 
884.32/461.81	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 
884.32/461.81	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
884.32/461.81	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
884.32/461.81	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
884.32/461.81	v -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 
884.32/461.81	v -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
884.32/461.81	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 
884.32/461.81	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
884.32/461.81	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
884.32/461.81	v -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
884.32/461.81	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 
884.32/461.81	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
884.32/461.81	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
884.32/461.81	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
884.32/461.81	v -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 
884.32/461.81	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 
884.32/461.81	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
884.32/461.81	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
884.32/461.81	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 
884.32/461.81	v x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 
884.32/461.81	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
884.32/461.81	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 
884.32/461.81	v -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
884.32/461.81	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
884.32/461.81	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 
884.32/461.81	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
884.32/461.81	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 
884.32/461.81	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 
884.32/461.81	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
884.32/461.81	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 
884.32/461.81	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 
884.32/461.81	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
884.32/461.81	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 
884.32/461.81	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
884.32/461.81	v -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 
884.32/461.81	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 
884.32/461.81	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 
884.32/461.81	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 
884.32/461.81	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 
884.32/461.81	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 
884.32/461.81	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 
884.32/461.81	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 
884.32/461.81	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 
884.32/461.81	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 
884.32/461.81	v -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 
884.32/461.81	v -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 
884.32/461.81	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 
884.32/461.81	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 
884.32/461.81	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 
884.32/461.81	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 
884.32/461.81	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 
884.32/461.81	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 
884.32/461.81	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 
884.32/461.81	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 
884.32/461.81	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 
884.32/461.81	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 
884.32/461.81	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 
884.32/461.81	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 
884.32/461.81	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 
884.32/461.81	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 
884.32/461.81	v x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 
884.32/461.81	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 
884.32/461.81	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 
884.32/461.81	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 
884.32/461.81	v -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 
884.32/461.81	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 
884.32/461.81	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 
884.32/461.81	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 
884.32/461.81	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 
884.32/461.81	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 
884.32/461.81	v -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 
884.32/461.81	v x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 
884.32/461.81	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 
884.32/461.81	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 
884.32/461.81	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 
884.32/461.81	v -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 
884.32/461.81	v -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 
884.32/461.81	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 
884.32/461.81	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 
884.32/461.81	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 
884.32/461.81	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 
884.32/461.81	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 
884.32/461.81	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 
884.32/461.81	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 
884.32/461.81	v -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 
884.32/461.81	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 
884.32/461.81	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 
884.32/461.81	v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 
884.32/461.81	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 
884.32/461.81	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 
884.32/461.81	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 
884.32/461.81	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 x2213 -x2214 
884.32/461.81	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 
884.32/461.81	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 
884.32/461.81	v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 
884.32/461.81	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 
884.32/461.81	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 
884.32/461.81	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 
884.32/461.81	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 
884.32/461.81	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 
884.32/461.81	v -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 
884.32/461.81	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 
884.32/461.81	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 
884.32/461.81	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 
884.32/461.81	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 
884.32/461.81	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 
884.32/461.81	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 
884.32/461.81	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 
884.32/461.81	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 
884.32/461.81	v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 
884.32/461.81	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 
884.32/461.81	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 
884.32/461.81	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 
884.32/461.81	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 
884.32/461.81	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 
884.32/461.81	v x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 
884.32/461.81	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 
884.32/461.81	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 
884.32/461.81	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 
884.32/461.81	v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 
884.32/461.81	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 
884.32/461.81	v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 
884.32/461.81	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 
884.32/461.81	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 
884.32/461.81	v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 
884.32/461.81	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 
884.32/461.81	v -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 
884.32/461.81	v -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 
884.32/461.81	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 
884.32/461.81	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 
884.32/461.81	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 
884.32/461.81	v -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 
884.32/461.81	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 
884.32/461.81	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 
884.32/461.81	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 
884.32/461.81	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 
884.32/461.81	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 
884.32/461.81	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 
884.32/461.81	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 
884.32/461.81	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 
884.32/461.81	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 
884.32/461.81	v -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 
884.32/461.81	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 
884.32/461.81	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 
884.32/461.81	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 
884.32/461.81	v -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 
884.32/461.81	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 
884.32/461.81	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 
884.32/461.81	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 
884.32/461.81	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 
884.32/461.81	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 
884.32/461.81	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 
884.32/461.81	v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 
884.32/461.81	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 
884.32/461.81	v -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 
884.32/461.81	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 
884.32/461.81	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 
884.32/461.81	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 
884.32/461.81	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 
884.32/461.81	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 
884.32/461.81	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 
884.32/461.81	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 
884.32/461.81	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 
884.32/461.81	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 
884.32/461.81	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 
884.32/461.81	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 
884.32/461.81	v -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 
884.32/461.81	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 
884.32/461.81	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 
884.32/461.81	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 
884.32/461.81	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 
884.32/461.81	v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 
884.32/461.81	v -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 
884.32/461.81	v -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 
884.32/461.81	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 
884.32/461.81	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 
884.32/461.81	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 
884.32/461.81	v -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 
884.32/461.81	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 
884.32/461.81	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 
884.32/461.81	v -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 
884.32/461.81	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 
884.32/461.81	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 
884.32/461.81	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 
884.32/461.81	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 
884.32/461.81	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 
884.32/461.81	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 
884.32/461.81	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 
884.32/461.81	v -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 x3279 -x3280 -x3281 
884.32/461.81	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 
884.32/461.81	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 
884.32/461.81	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 
884.32/461.81	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 
884.32/461.81	v -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 
884.32/461.81	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 
884.32/461.81	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 
884.32/461.81	v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 
884.32/461.81	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 
884.32/461.81	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 
884.32/461.81	v -x3392 x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 
884.32/461.81	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 -x3413 
884.32/461.81	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 
884.32/461.81	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 
884.32/461.81	v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 
884.32/461.81	v -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 
884.32/461.81	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 
884.32/461.81	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 
884.32/461.81	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 
884.32/461.81	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 
884.32/461.81	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 
884.32/461.81	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 
884.32/461.81	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 
884.32/461.81	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 
884.32/461.81	v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 
884.32/461.81	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 x3564 -x3565 -x3566 -x3567 
884.32/461.81	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 
884.32/461.81	v -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 
884.32/461.81	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
884.32/461.81	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 
884.32/461.81	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 
884.32/461.81	v -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 
884.32/461.81	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 
884.32/461.81	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 
884.32/461.81	v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 
884.32/461.81	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 
884.32/461.81	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 
884.32/461.81	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 
884.32/461.81	v -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 
884.32/461.81	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 
884.32/461.81	v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 
884.32/461.81	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 
884.32/461.81	v -x3744 -x3745 x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 
884.32/461.81	v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 
884.32/461.81	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 
884.32/461.81	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 
884.32/461.81	v -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 
884.32/461.81	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 
884.32/461.81	v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 
884.32/461.81	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 
884.32/461.81	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 
884.32/461.81	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 
884.32/461.81	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 
884.32/461.81	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 
884.32/461.81	v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 
884.32/461.81	v -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 
884.32/461.81	v x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 
884.32/461.81	v -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 
884.32/461.81	v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 
884.32/461.81	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 
884.32/461.81	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 
884.32/461.81	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 
884.32/461.81	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 
884.32/461.81	v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 
884.32/461.81	v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 
884.32/461.81	v -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 
884.32/461.81	v -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 
884.32/461.81	v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 
884.32/461.81	v -x4030 -x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 
884.32/461.81	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 
884.32/461.81	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 
884.32/461.81	v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 
884.32/461.81	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 
884.32/461.81	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 
884.32/461.81	v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 
884.32/461.81	v -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 
884.32/461.81	v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 
884.32/461.81	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 
884.32/461.81	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 
884.32/461.81	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 
884.32/461.81	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 
884.32/461.81	v -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 
884.32/461.81	v -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 
884.32/461.81	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 
884.32/461.81	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 
884.32/461.81	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 
884.32/461.81	v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 
884.32/461.81	v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 
884.32/461.81	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 
884.32/461.81	v -x4261 x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 
884.32/461.81	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 
884.32/461.81	v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 
884.32/461.81	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 
884.32/461.81	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 
884.32/461.81	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 
884.32/461.81	v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 
884.32/461.81	v -x4338 -x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 
884.32/461.81	v x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 
884.32/461.81	v -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 
884.32/461.81	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 
884.32/461.81	v -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 
884.32/461.81	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 
884.32/461.81	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 
884.32/461.81	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 
884.32/461.81	v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 
884.32/461.81	v -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 
884.32/461.81	v -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 
884.32/461.81	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 
884.32/461.81	v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 
884.32/461.81	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 
884.32/461.81	v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 
884.32/461.81	v -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 
884.32/461.81	v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 
884.32/461.81	v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 
884.32/461.81	v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 
884.32/461.81	v -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 
884.32/461.81	v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 
884.32/461.81	v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 
884.32/461.81	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 
884.32/461.81	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 x4600 -x4601 
884.32/461.81	v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 
884.32/461.81	v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 
884.32/461.81	v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 
884.32/461.81	v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 
884.32/461.81	v x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 
884.32/461.81	v -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 
884.32/461.81	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 
884.32/461.81	v -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 
884.32/461.81	v -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 
884.32/461.81	v -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 
884.32/461.81	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 
884.32/461.81	v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 
884.32/461.81	v -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 
884.32/461.81	v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 
884.32/461.81	v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 
884.32/461.81	v -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 
884.32/461.81	v -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 
884.32/461.81	v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 
884.32/461.81	v -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 
884.32/461.81	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 
884.32/461.81	v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 
884.32/461.81	v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 
884.32/461.81	v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 
884.32/461.81	v -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 
884.32/461.81	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 
884.32/461.81	v -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 
884.32/461.81	v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 
884.32/461.81	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 
884.32/461.81	v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 
884.32/461.81	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 
884.32/461.81	v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 
884.32/461.81	v x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 
884.32/461.81	v -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 
884.32/461.81	v -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 
884.32/461.81	v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 
884.32/461.81	v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 
884.32/461.81	v -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 
884.32/461.81	v -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 
884.32/461.81	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 
884.32/461.81	v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 
884.32/461.81	v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 
884.32/461.81	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 
884.32/461.81	v -x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 
884.32/461.81	v -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 
884.32/461.81	v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 
884.32/461.81	v -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 
884.32/461.81	v -x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 
884.32/461.81	v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 
884.32/461.81	v -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 
884.32/461.81	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 
884.32/461.81	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160

Verifier Data 

OK	4324

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526646-1751627405/watcher-4526646-1751627405 -o /tmp/evaluation-result-4526646-1751627405/solver-4526646-1751627405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89352 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:105833174 --competition_mode --input HOME/instance-4526646-1751627405.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=91624, runsolver pid=91621

[startup+0.100064 s]*
/proc/loadavg: 7.95 8.04 7.41 8/269 91625
/proc/meminfo: memFree=128032896/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=44880 memory=36024 CPUtime=0.09 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 7517 0 0 0 8 1 0 0 20 0 1 0 78418395 45957120 9006 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 11253 9006 1088 2102 0 8793 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44880 KiB
Current children cumulated memory: 36024 KiB

[startup+0.205735 s]*
/proc/loadavg: 7.95 8.04 7.41 8/269 91625
/proc/meminfo: memFree=128000764/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=80268 memory=65112 CPUtime=0.2 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 13788 0 0 0 18 2 0 0 20 0 1 0 78418395 82194432 16278 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 20067 16278 1088 2102 0 17607 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80268 KiB
Current children cumulated memory: 65112 KiB

[startup+0.305615 s]*
/proc/loadavg: 7.95 8.04 7.41 8/269 91625
/proc/meminfo: memFree=127976824/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=102708 memory=95736 CPUtime=0.3 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 19406 0 0 0 27 3 0 0 20 0 1 0 78418395 105172992 23934 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 25677 23934 1088 2102 0 23217 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102708 KiB
Current children cumulated memory: 95736 KiB

[startup+0.700199 s]
/proc/loadavg: 7.95 8.04 7.41 8/269 91625
/proc/meminfo: memFree=127791224/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=315024 memory=308864 CPUtime=0.68 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 72835 0 0 0 57 11 0 0 20 0 1 0 78418395 322584576 77216 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 78756 77216 1344 2102 0 76296 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 315024 KiB
Current children cumulated memory: 308864 KiB

[startup+1.50018 s]
/proc/loadavg: 7.95 8.04 7.41 8/269 91625
/proc/meminfo: memFree=127658752/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=549056 memory=532960 CPUtime=1.48 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 109780 0 0 0 131 17 0 0 20 0 1 0 78418395 562233344 133240 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 137264 133240 1504 2102 0 134804 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 549056 KiB
Current children cumulated memory: 532960 KiB

[startup+3.10551 s]
/proc/loadavg: 7.87 8.02 7.41 8/269 91625
/proc/meminfo: memFree=127489984/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=636252 memory=609136 CPUtime=3.08 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 118612 0 0 0 288 20 0 0 20 0 1 0 78418395 651522048 152284 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 159063 152284 1536 2102 0 156603 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 636252 KiB
Current children cumulated memory: 609136 KiB

[startup+6.30018 s]
/proc/loadavg: 7.87 8.02 7.41 8/269 91625
/proc/meminfo: memFree=126972260/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=915764 memory=906244 CPUtime=6.26 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 180572 0 0 0 588 38 0 0 20 0 1 0 78418395 937742336 226561 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 228941 226561 1856 2102 0 226481 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 915764 KiB
Current children cumulated memory: 906244 KiB

[startup+12.7002 s]
/proc/loadavg: 7.80 8.01 7.40 8/269 91625
/proc/meminfo: memFree=126792504/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=1128164 memory=1105784 CPUtime=12.64 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 208871 0 0 0 1215 49 0 0 20 0 1 0 78418395 1155239936 276446 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 282041 276446 1856 2102 0 279581 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1128164 KiB
Current children cumulated memory: 1105784 KiB

[startup+25.5002 s]
/proc/loadavg: 7.78 7.99 7.41 9/271 91627
/proc/meminfo: memFree=124600560/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4234604 memory=3464100 CPUtime=33.91 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 402039 0 0 0 3269 122 0 0 20 0 3 0 78418395 4336234496 866025 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1058651 866025 2144 2102 0 994957 0
[pid=91624/tid=91626] ppid=91621 vsize=4234604 memory=14156 CPUtime=8.55 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 102640 0 0 0 820 35 0 0 20 0 3 0 78420079 4336234496 866025 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4234604 memory=14336 CPUtime=8.57 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 89818 0 0 0 822 35 0 0 20 0 3 0 78420079 4336234496 866025 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 33.91 s
Current children cumulated vsize: 4234604 KiB
Current children cumulated memory: 3464100 KiB

[startup+51.1056 s]
/proc/loadavg: 7.86 7.99 7.43 9/271 91628
/proc/meminfo: memFree=124279812/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4664316 memory=3767268 CPUtime=84.55 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 589392 0 0 0 8244 211 0 0 20 0 3 0 78418395 4776259584 941817 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1166079 941817 2144 2102 0 1087235 0
[pid=91624/tid=91626] ppid=91621 vsize=4664316 memory=3972372 CPUtime=29.95 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 191047 0 0 0 2916 79 0 0 20 0 3 0 78420079 4776259584 941817 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4664316 memory=14336 CPUtime=33.67 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 188714 0 0 0 3288 79 0 0 20 0 3 0 78420079 4776259584 941817 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 84.55 s
Current children cumulated vsize: 4664316 KiB
Current children cumulated memory: 3767268 KiB

[startup+102.3 s]
/proc/loadavg: 7.67 7.92 7.43 9/272 91677
/proc/meminfo: memFree=117286028/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4441528 memory=3972248 CPUtime=184.52 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 825694 0 0 0 18090 362 0 0 20 0 3 0 78418395 4548124672 993062 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1110382 993062 2144 2102 0 1042466 0
[pid=91624/tid=91626] ppid=91621 vsize=4441528 memory=4081924 CPUtime=69.69 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 266616 0 0 0 6882 87 0 0 20 0 3 0 78420079 4548124672 993062 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4441528 memory=4061444 CPUtime=82.1 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 343891 0 0 0 7989 221 0 0 20 0 3 0 78420079 4548124672 993062 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 184.52 s
Current children cumulated vsize: 4441528 KiB
Current children cumulated memory: 3972248 KiB

[startup+162.3 s]
/proc/loadavg: 7.83 7.93 7.47 8/270 91724
/proc/meminfo: memFree=116180240/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4827176 memory=4207936 CPUtime=303.06 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1014915 0 0 0 29829 477 0 0 20 0 3 0 78418395 4943028224 1051984 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1206794 1051984 2144 2102 0 1129949 0
[pid=91624/tid=91626] ppid=91621 vsize=4827176 memory=4128236 CPUtime=121.58 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 286557 0 0 0 12068 90 0 0 20 0 3 0 78420079 4943028224 1051984 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4827176 memory=4303836 CPUtime=140.73 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 513132 0 0 0 13740 333 0 0 20 0 3 0 78420079 4943028224 1051984 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 303.06 s
Current children cumulated vsize: 4827176 KiB
Current children cumulated memory: 4207936 KiB

[startup+222.3 s]
/proc/loadavg: 7.74 7.87 7.47 9/272 91728
/proc/meminfo: memFree=110226772/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5046788 memory=4492840 CPUtime=418.53 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1132370 0 0 0 41305 548 0 0 20 0 3 0 78418395 5167910912 1123210 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1261697 1123210 2144 2102 0 1176595 0
[pid=91624/tid=91626] ppid=91621 vsize=5046788 memory=4307516 CPUtime=165.64 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 317054 0 0 0 16466 98 0 0 20 0 3 0 78420079 5167910912 1123210 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5046788 memory=14156 CPUtime=194.53 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 597244 0 0 0 19057 396 0 0 20 0 3 0 78420079 5167910912 1123210 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 418.53 s
Current children cumulated vsize: 5046788 KiB
Current children cumulated memory: 4492840 KiB

[startup+282.3 s]
/proc/loadavg: 8.01 7.92 7.52 8/272 91730
/proc/meminfo: memFree=111473168/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5070344 memory=4320684 CPUtime=534.21 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1313268 0 0 0 52795 626 0 0 20 0 3 0 78418395 5192032256 1080171 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1267586 1080171 2144 2102 0 1191633 0
[pid=91624/tid=91626] ppid=91621 vsize=5070344 memory=4258932 CPUtime=212.43 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 364576 0 0 0 21141 102 0 0 20 0 3 0 78420079 5192032256 1080171 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5070344 memory=14156 CPUtime=250.42 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 724304 0 0 0 24573 469 0 0 20 0 3 0 78420079 5192032256 1080171 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 534.21 s
Current children cumulated vsize: 5070344 KiB
Current children cumulated memory: 4320684 KiB

[startup+342.3 s]
/proc/loadavg: 8.11 7.96 7.56 9/271 91732
/proc/meminfo: memFree=110441520/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5063556 memory=4502000 CPUtime=651.24 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1398567 0 0 0 64432 692 0 0 20 0 3 0 78418395 5185081344 1125500 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1265889 1125500 2144 2102 0 1181185 0
[pid=91624/tid=91626] ppid=91621 vsize=5063556 memory=4339492 CPUtime=259.69 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 399497 0 0 0 25863 106 0 0 20 0 3 0 78420079 5185081344 1125500 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5063556 memory=14156 CPUtime=307.01 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 774640 0 0 0 30171 530 0 0 20 0 3 0 78420079 5185081344 1125500 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 651.24 s
Current children cumulated vsize: 5063556 KiB
Current children cumulated memory: 4502000 KiB

[startup+402.3 s]
/proc/loadavg: 8.16 8.01 7.60 9/270 91734
/proc/meminfo: memFree=109713372/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5135420 memory=4493336 CPUtime=766.67 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1505688 0 0 0 75916 751 0 0 20 0 3 0 78418395 5258670080 1123334 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1283855 1123334 2144 2102 0 1208715 0
[pid=91624/tid=91626] ppid=91621 vsize=5135420 memory=4336416 CPUtime=305.97 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 443396 0 0 0 30487 110 0 0 20 0 3 0 78420079 5258670080 1123334 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5135420 memory=4427800 CPUtime=362.79 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 837762 0 0 0 35694 585 0 0 20 0 3 0 78420079 5258670080 1123334 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 766.67 s
Current children cumulated vsize: 5135420 KiB
Current children cumulated memory: 4493336 KiB

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

# cumulated CPU time of all completed processes:  user=875.988 s, system=8.441 s

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

[startup+409.6 s]
/proc/loadavg: 8.37 8.06 7.62 8/270 91734
/proc/meminfo: memFree=110738052/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4969252 memory=4476672 CPUtime=781.13 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1523738 0 0 0 77352 761 0 0 20 0 3 0 78418395 5088514048 1119168 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1242313 1119168 2144 2102 0 1167173 0
[pid=91624/tid=91626] ppid=91621 vsize=4969252 memory=14336 CPUtime=313.14 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 455338 0 0 0 31203 111 0 0 20 0 3 0 78420079 5088514048 1119168 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4969252 memory=4336416 CPUtime=369.91 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 843870 0 0 0 36397 594 0 0 20 0 3 0 78420079 5088514048 1119168 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 781.13 s
Current children cumulated vsize: 4969252 KiB
Current children cumulated memory: 4476672 KiB

[startup+435.2 s]
/proc/loadavg: 8.30 8.07 7.64 9/270 91735
/proc/meminfo: memFree=109822904/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5199256 memory=4563668 CPUtime=831.86 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1602686 0 0 0 82388 798 0 0 20 0 3 0 78418395 5324038144 1140917 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1299814 1140917 2144 2102 0 1224674 0
[pid=91624/tid=91626] ppid=91621 vsize=5199256 memory=7525905738836042090 CPUtime=337.9 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 512786 0 0 0 33674 116 0 0 20 0 3 0 78420079 5324038144 1140917 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5199256 memory=4416176 CPUtime=394.09 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 854336 0 0 0 38788 621 0 0 20 0 3 0 78420079 5324038144 1140917 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 831.86 s
Current children cumulated vsize: 5199256 KiB
Current children cumulated memory: 4563668 KiB

[startup+448 s]*
/proc/loadavg: 8.18 8.05 7.64 9/270 91735
/proc/meminfo: memFree=110488340/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4908660 memory=4416176 CPUtime=857.24 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1608317 0 0 0 84912 812 0 0 20 0 3 0 78418395 5026467840 1104044 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1227165 1104044 2144 2102 0 1152025 0
[pid=91624/tid=91626] ppid=91621 vsize=4908660 memory=4352 CPUtime=350.54 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 516133 0 0 0 34938 116 0 0 20 0 3 0 78420079 5026467840 1104044 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4908660 memory=8903175118957001580 CPUtime=406.82 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 856605 0 0 0 40047 635 0 0 20 0 3 0 78420079 5026467840 1104044 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 857.24 s
Current children cumulated vsize: 4908660 KiB
Current children cumulated memory: 4416176 KiB

[startup+454.4 s]
/proc/loadavg: 8.15 8.05 7.64 9/270 91736
/proc/meminfo: memFree=109949160/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4908660 memory=4416176 CPUtime=869.89 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1625602 0 0 0 86170 819 0 0 20 0 3 0 78418395 5026467840 1104044 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1227165 1104044 2144 2102 0 1152025 0
[pid=91624/tid=91626] ppid=91621 vsize=4908660 memory=14156 CPUtime=356.33 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 519044 0 0 0 35517 116 0 0 20 0 3 0 78420079 5026467840 1104044 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4908660 memory=5148 CPUtime=411.66 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 860297 0 0 0 40525 641 0 0 20 0 3 0 78420079 5026467840 1104044 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 869.89 s
Current children cumulated vsize: 4908660 KiB
Current children cumulated memory: 4416176 KiB

[startup+457.6 s]
/proc/loadavg: 8.15 8.05 7.64 9/270 91736
/proc/meminfo: memFree=110076276/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5032576 memory=4540092 CPUtime=876.24 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 1627796 0 0 0 86800 824 0 0 20 0 3 0 78418395 5153357824 1135023 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1258144 1135023 2144 2102 0 1183004 0
[pid=91624/tid=91626] ppid=91621 vsize=5032576 memory=4614636 CPUtime=359.45 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 519119 0 0 0 35829 116 0 0 20 0 3 0 78420079 5153357824 1135023 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5032576 memory=21612 CPUtime=414.28 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 861900 0 0 0 40782 646 0 0 20 0 3 0 78420079 5153357824 1135023 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 876.24 s
Current children cumulated vsize: 5032576 KiB
Current children cumulated memory: 4540092 KiB

[startup+459.2 s]
/proc/loadavg: 8.14 8.04 7.64 9/270 91736
/proc/meminfo: memFree=110427632/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5235524 memory=4522112 CPUtime=879.4 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1634887 0 0 0 87110 830 0 0 20 0 3 0 78418395 5361176576 1130528 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1308881 1130528 2144 2102 0 1233741 0
[pid=91624/tid=91626] ppid=91621 vsize=5235524 memory=4491196 CPUtime=360.95 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 519122 0 0 0 35979 116 0 0 20 0 3 0 78420079 5361176576 1130528 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5235524 memory=14156 CPUtime=415.5 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 865379 0 0 0 40898 652 0 0 20 0 3 0 78420079 5361176576 1130528 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 879.4 s
Current children cumulated vsize: 5235524 KiB
Current children cumulated memory: 4522112 KiB

[startup+460.8 s]
/proc/loadavg: 8.14 8.04 7.64 9/270 91736
/proc/meminfo: memFree=110137044/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=5235524 memory=4599936 CPUtime=882.57 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) S 91621 91624 89339 0 -1 4194304 1640015 0 0 0 87425 832 0 0 20 0 3 0 78418395 5361176576 1149984 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1308881 1149984 2144 2102 0 1233741 0
[pid=91624/tid=91626] ppid=91621 vsize=5235524 memory=5148 CPUtime=362.55 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 524203 0 0 0 36138 117 0 0 20 0 3 0 78420079 5361176576 1149984 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=5235524 memory=14156 CPUtime=417.09 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) R 91621 91624 89339 0 -1 4194368 865426 0 0 0 41055 654 0 0 20 0 3 0 78420079 5361176576 1149984 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 882.57 s
Current children cumulated vsize: 5235524 KiB
Current children cumulated memory: 4599936 KiB

[startup+461.6 s]
/proc/loadavg: 8.14 8.04 7.64 9/270 91736
/proc/meminfo: memFree=109887284/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4805340 memory=4345724 CPUtime=884.13 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 1643004 0 0 0 87580 833 0 0 20 0 3 0 78418395 4920668160 1086431 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1201335 1086431 2144 2102 0 1126195 0
[pid=91624/tid=91626] ppid=91621 vsize=4805340 memory=10624 CPUtime=363.29 cores=5,7
/proc/91624/task/91626/stat : 91626 (cp-sat-runner) S 91621 91624 89339 0 -1 4194368 525059 0 0 0 36212 117 0 0 20 0 3 0 78420079 4920668160 1086431 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
[pid=91624/tid=91627] ppid=91621 vsize=4805340 memory=14156 CPUtime=417.86 cores=5,7
/proc/91624/task/91627/stat : 91627 (cp-sat-runner) S 91621 91624 89339 0 -1 4194368 865426 0 0 0 41132 654 0 0 20 0 3 0 78420079 4920668160 1086431 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
Current children cumulated CPU time: 884.13 s
Current children cumulated vsize: 4805340 KiB
Current children cumulated memory: 4345724 KiB

[startup+461.8 s]
/proc/loadavg: 8.14 8.04 7.64 9/270 91736
/proc/meminfo: memFree=109887284/131249996 swapFree=33000896/33010684
[pid=91624] ppid=91621 vsize=4181384 memory=3777544 CPUtime=884.32 cores=5,7
/proc/91624/stat : 91624 (cp-sat-runner) R 91621 91624 89339 0 -1 4194304 1697417 0 0 0 87596 836 0 0 20 0 1 0 78418395 4281737216 944386 18446744073709551615 4198400 12805993 140729568551024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24555520 140729568553239 140729568553443 140729568553443 140729568559047 0
/proc/91624/statm: 1045346 944386 2144 2102 0 970206 0
Current children cumulated CPU time: 884.32 s
Current children cumulated vsize: 4181384 KiB
Current children cumulated memory: 3777544 KiB

Child status: 10

Real time (s): 461.893
CPU time (s): 884.429
CPU user time (s): 875.988
CPU system time (s): 8.441
CPU usage (%): 191.479
Max. virtual memory (cumulated for all children) (KiB): 5236508
Max. memory (cumulated for all children) (KiB): 4666456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 875.988
system time used= 8.441
maximum resident set size= 4666456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1704268
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= 5584
involuntary context switches= 33238


# summary of solver processes directly reported to runsolver:
#   pid: 91624
#   total CPU time (s): 884.429
#   total CPU user time (s): 875.988
#   total CPU system time (s): 8.441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.888699 second user time and 2.44819 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 13:10:05
IDJOB=4526646
IDBENCH=144135
IDSOLVER=3378
FILE ID=nodeC023/4526646-1751627405
RUNJOBID= nodeC023-1751625557-89352
SLURM_JOB_ID= 9598950
Free space on /tmp= 431812 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526646-1751627405/watcher-4526646-1751627405 -o /tmp/evaluation-result-4526646-1751627405/solver-4526646-1751627405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89352 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:105833174 --competition_mode --input HOME/instance-4526646-1751627405.wbo

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=105833174

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128064716 kB
MemAvailable:   127906332 kB
Buffers:              16 kB
Cached:           584192 kB
SwapCached:         2904 kB
Active:          1969752 kB
Inactive:         440688 kB
Active(anon):    1785400 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   387324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             40764 kB
Writeback:             4 kB
AnonPages:       1824136 kB
Mapped:           124092 kB
Shmem:             12532 kB
KReclaimable:     218360 kB
Slab:             310320 kB
SReclaimable:     218360 kB
SUnreclaim:        91960 kB
KernelStack:        4352 kB
PageTables:         6676 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2280268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    641024 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431740 MiB
End job on nodeC023 at 2025-07-04 13:17:47