Trace number 4503764

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14OPT3367493 88.7011 44.8074

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	3367493

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=59824, runsolver pid=59821

[startup+0.100063 s]*
/proc/loadavg: 0.99 3.09 3.73 5/256 59834
/proc/meminfo: memFree=126409704/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=24144 memory=20976 CPUtime=0.09 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) R 59821 59824 59758 0 -1 4194304 4739 0 0 0 9 0 0 0 20 0 1 0 58556915 24723456 5244 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 6036 5244 1920 2102 0 3576 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24144 KiB
Current children cumulated memory: 20976 KiB

[startup+0.20549 s]*
/proc/loadavg: 0.99 3.09 3.73 4/258 59841
/proc/meminfo: memFree=126341840/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=27532 memory=24304 CPUtime=0.19 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) R 59821 59824 59758 0 -1 4194304 5596 0 0 0 19 0 0 0 20 0 1 0 58556915 28192768 6076 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 6883 6076 1920 2102 0 4423 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27532 KiB
Current children cumulated memory: 24304 KiB

[startup+0.305383 s]*
/proc/loadavg: 0.99 3.09 3.73 6/268 59856
/proc/meminfo: memFree=126225920/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=174396 memory=38136 CPUtime=0.35 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 9005 0 0 0 34 1 0 0 20 0 3 0 58556915 178581504 9534 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43599 9534 2144 2102 0 12012 0
[pid=59824/tid=59846] ppid=59821 vsize=174396 memory=8903175127597335402 CPUtime=0.06 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 2345 0 0 0 6 0 0 0 20 0 3 0 58556938 178581504 9534 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=174396 memory=0 CPUtime=0.05 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 1027 0 0 0 5 0 0 0 20 0 3 0 58556938 178581504 9534 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 174396 KiB
Current children cumulated memory: 38136 KiB

[startup+0.700214 s]
/proc/loadavg: 0.99 3.09 3.73 7/268 59856
/proc/meminfo: memFree=125905628/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=174396 memory=44640 CPUtime=1.11 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 10750 0 0 0 110 1 0 0 20 0 3 0 58556915 178581504 11160 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43599 11160 2144 2102 0 15122 0
[pid=59824/tid=59846] ppid=59821 vsize=174396 memory=18304 CPUtime=0.44 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 2626 0 0 0 44 0 0 0 20 0 3 0 58556938 178581504 11160 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=174396 memory=111561127 CPUtime=0.44 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 2491 0 0 0 44 0 0 0 20 0 3 0 58556938 178581504 11160 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 174396 KiB
Current children cumulated memory: 44640 KiB

[startup+1.50021 s]
/proc/loadavg: 0.99 3.09 3.73 6/268 59856
/proc/meminfo: memFree=125350112/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=174396 memory=52828 CPUtime=2.7 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 14166 0 0 0 269 1 0 0 20 0 3 0 58556915 178581504 13207 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43599 13207 2144 2102 0 16233 0
[pid=59824/tid=59846] ppid=59821 vsize=174396 memory=111561127 CPUtime=1.23 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 4159 0 0 0 123 0 0 0 20 0 3 0 58556938 178581504 13207 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=174396 memory=0 CPUtime=1.24 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 4345 0 0 0 124 0 0 0 20 0 3 0 58556938 178581504 13207 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 174396 KiB
Current children cumulated memory: 52828 KiB

[startup+3.10583 s]
/proc/loadavg: 0.99 3.09 3.73 6/268 59856
/proc/meminfo: memFree=124913060/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=174396 memory=56028 CPUtime=5.88 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 18335 0 0 0 587 1 0 0 20 0 3 0 58556915 178581504 14007 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43599 14007 2144 2102 0 16866 0
[pid=59824/tid=59846] ppid=59821 vsize=174396 memory=0 CPUtime=2.81 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 6212 0 0 0 281 0 0 0 20 0 3 0 58556938 178581504 14007 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=174396 memory=14720 CPUtime=2.83 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 6461 0 0 0 283 0 0 0 20 0 3 0 58556938 178581504 14007 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 174396 KiB
Current children cumulated memory: 56028 KiB

[startup+6.30019 s]
/proc/loadavg: 1.31 3.12 3.74 6/268 59856
/proc/meminfo: memFree=124723484/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=64348 CPUtime=12.24 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 32550 0 0 0 1221 3 0 0 20 0 3 0 58556915 179490816 16087 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 16087 2144 2102 0 18823 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=-8183433587463067333 CPUtime=5.98 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 12669 0 0 0 597 1 0 0 20 0 3 0 58556938 179490816 16087 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=56924 CPUtime=6.02 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 13448 0 0 0 601 1 0 0 20 0 3 0 58556938 179490816 16087 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 64348 KiB

[startup+12.7002 s]
/proc/loadavg: 1.68 3.17 3.75 7/270 59858
/proc/meminfo: memFree=124161444/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=68060 CPUtime=24.95 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 45808 0 0 0 2491 4 0 0 20 0 3 0 58556915 179490816 17015 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 17015 2144 2102 0 19912 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=56924 CPUtime=12.32 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 17187 0 0 0 1231 1 0 0 20 0 3 0 58556938 179490816 17015 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=64348 CPUtime=12.38 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 21721 0 0 0 1237 1 0 0 20 0 3 0 58556938 179490816 17015 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 24.95 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 68060 KiB

[startup+25.5002 s]
/proc/loadavg: 3.16 3.43 3.82 9/275 59864
/proc/meminfo: memFree=123068996/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=71772 CPUtime=50.36 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 56463 0 0 0 5031 5 0 0 20 0 3 0 58556915 179490816 17943 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 17943 2144 2102 0 20804 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=71516 CPUtime=24.98 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 21492 0 0 0 2497 1 0 0 20 0 3 0 58556938 179490816 17943 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=56924 CPUtime=25.12 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 27824 0 0 0 2510 2 0 0 20 0 3 0 58556938 179490816 17943 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 50.36 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 71772 KiB

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

# cumulated CPU time of all completed processes:  user=88.6214 s, system=0.079633 s

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

[startup+25.6003 s]
/proc/loadavg: 3.16 3.43 3.82 9/275 59864
/proc/meminfo: memFree=123068996/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=71772 CPUtime=50.56 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 56463 0 0 0 5051 5 0 0 20 0 3 0 58556915 179490816 17943 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 17943 2144 2102 0 20804 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=70364 CPUtime=25.08 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 21492 0 0 0 2507 1 0 0 20 0 3 0 58556938 179490816 17943 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=1104916 CPUtime=25.22 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 27824 0 0 0 2520 2 0 0 20 0 3 0 58556938 179490816 17943 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 71772 KiB

[startup+38.4002 s]
/proc/loadavg: 3.91 3.58 3.87 9/275 59864
/proc/meminfo: memFree=123021180/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=76380 CPUtime=75.98 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 67875 0 0 0 7592 6 0 0 20 0 3 0 58556915 179490816 19095 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 19095 2144 2102 0 21978 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=73308 CPUtime=37.76 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 25965 0 0 0 3774 2 0 0 20 0 3 0 58556938 179490816 19095 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=14720 CPUtime=37.97 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 34510 0 0 0 3794 3 0 0 20 0 3 0 58556938 179490816 19095 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 75.98 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 76380 KiB

[startup+41.6002 s]
/proc/loadavg: 4.24 3.65 3.89 9/275 59864
/proc/meminfo: memFree=123082424/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=78428 CPUtime=82.34 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 68416 0 0 0 8228 6 0 0 20 0 3 0 58556915 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 19607 2144 2102 0 22525 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=14720 CPUtime=40.93 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 25973 0 0 0 4091 2 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=3456 CPUtime=41.15 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 35043 0 0 0 4112 3 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 82.34 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 78428 KiB

[startup+43.2002 s]
/proc/loadavg: 4.24 3.65 3.89 9/275 59864
/proc/meminfo: memFree=122994992/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=78428 CPUtime=85.51 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 68514 0 0 0 8545 6 0 0 20 0 3 0 58556915 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 19607 2144 2102 0 22525 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=78428 CPUtime=42.51 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 25977 0 0 0 4249 2 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=14720 CPUtime=42.74 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 35137 0 0 0 4271 3 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 85.51 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 78428 KiB

[startup+44.0002 s]*
/proc/loadavg: 4.54 3.72 3.91 9/275 59864
/proc/meminfo: memFree=122937964/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=78428 CPUtime=87.12 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 72186 0 0 0 8705 7 0 0 20 0 3 0 58556915 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 19607 2144 2102 0 22525 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=-8183432475066537410 CPUtime=43.31 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 27767 0 0 0 4329 2 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=4571889875167112860 CPUtime=43.54 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 37018 0 0 0 4351 3 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 87.12 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 78428 KiB

[startup+44.4002 s]
/proc/loadavg: 4.54 3.72 3.91 9/275 59864
/proc/meminfo: memFree=122937964/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=78428 CPUtime=87.9 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) S 59821 59824 59758 0 -1 4194304 74656 0 0 0 8783 7 0 0 20 0 3 0 58556915 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 19607 2144 2102 0 22525 0
[pid=59824/tid=59846] ppid=59821 vsize=175284 memory=3546929095101441976 CPUtime=43.7 cores=1,3
/proc/59824/task/59846/stat : 59846 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 28490 0 0 0 4368 2 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
[pid=59824/tid=59847] ppid=59821 vsize=175284 memory=5148 CPUtime=43.94 cores=1,3
/proc/59824/task/59847/stat : 59847 (cp-sat-runner) R 59821 59824 59758 0 -1 4194368 38725 0 0 0 4391 3 0 0 20 0 3 0 58556938 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
Current children cumulated CPU time: 87.9 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 78428 KiB

[startup+44.8002 s]
/proc/loadavg: 4.54 3.72 3.91 9/275 59864
/proc/meminfo: memFree=122937964/131250000 swapFree=33010684/33010684
[pid=59824] ppid=59821 vsize=175284 memory=78428 CPUtime=88.69 cores=1,3
/proc/59824/stat : 59824 (cp-sat-runner) R 59821 59824 59758 0 -1 4194304 79070 0 0 0 8862 7 0 0 20 0 1 0 58556915 179490816 19607 18446744073709551615 4198400 12805993 140730211832784 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 32772096 140730211838232 140730211838437 140730211838437 140730211844039 0
/proc/59824/statm: 43821 19607 2144 2102 0 22525 0
Current children cumulated CPU time: 88.69 s
Current children cumulated vsize: 175284 KiB
Current children cumulated memory: 78428 KiB

Child status: 10

Real time (s): 44.8074
CPU time (s): 88.7011
CPU user time (s): 88.6214
CPU system time (s): 0.079633
CPU usage (%): 197.961
Max. virtual memory (cumulated for all children) (KiB): 175284
Max. memory (cumulated for all children) (KiB): 78428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.6214
system time used= 0.079633
maximum resident set size= 78684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79672
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= 766
involuntary context switches= 2628


# summary of solver processes directly reported to runsolver:
#   pid: 59824
#   total CPU time (s): 88.7011
#   total CPU user time (s): 88.6214
#   total CPU system time (s): 0.079633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113815 second user time and 0.239482 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-02 05:59:43
IDJOB=4503764
IDBENCH=155603
IDSOLVER=3320
FILE ID=nodeC026/4503764-1751428783
RUNJOBID= nodeC026-1751428782-59796
SLURM_JOB_ID= 9598365
Free space on /tmp= 432208 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503764-1751428783/watcher-4503764-1751428783 -o /tmp/evaluation-result-4503764-1751428783/solver-4503764-1751428783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751428782-59796 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1182934836 --competition_mode --input HOME/instance-4503764-1751428783.opb

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=1182934836

nodeC026 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.787
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.59
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.792
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.59
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.263
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.59
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		: 3600.269
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.59
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		: 3600.321
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126519128 kB
MemAvailable:   129779796 kB
Buffers:            3280 kB
Cached:          4055992 kB
SwapCached:            0 kB
Active:           346648 kB
Inactive:        3796664 kB
Active(anon):     102152 kB
Inactive(anon):        0 kB
Active(file):     244496 kB
Inactive(file):  3796664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64228 kB
Writeback:             0 kB
AnonPages:         87228 kB
Mapped:           104156 kB
Shmem:             18080 kB
KReclaimable:     117496 kB
Slab:             206940 kB
SReclaimable:     117496 kB
SUnreclaim:        89444 kB
KernelStack:        4144 kB
PageTables:         2880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     348172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432060 MiB
End job on nodeC026 at 2025-07-02 06:00:28