Trace number 4507356

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.14SAT 1081.38 544.963

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
MD5SUM5359c0df8e4997707ebdbb5ef15bc818
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.62353
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507356-1751177267/watcher-4507356-1751177267 -o /tmp/evaluation-result-4507356-1751177267/solver-4507356-1751177267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22397 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1929684677 --competition_mode --input HOME/instance-4507356-1751177267.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.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23519, runsolver pid=23515

[startup+0.100063 s]*
/proc/loadavg: 8.07 8.09 8.09 7/252 23527
/proc/meminfo: memFree=129497356/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=24800 memory=21748 CPUtime=0.09 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) R 23515 23519 22382 0 -1 4194304 4535 0 0 0 9 0 0 0 20 0 1 0 33405872 25395200 5437 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 6200 5437 1856 2102 0 3740 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24800 KiB
Current children cumulated memory: 21748 KiB

[startup+0.2056 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23532
/proc/meminfo: memFree=129472096/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=31004 memory=27892 CPUtime=0.2 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) R 23515 23519 22382 0 -1 4194304 6077 0 0 0 19 1 0 0 20 0 1 0 33405872 31748096 6973 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 7751 6973 1856 2102 0 5291 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 27892 KiB

[startup+0.305667 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23532
/proc/meminfo: memFree=129468316/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=36812 memory=33780 CPUtime=0.3 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) R 23515 23519 22382 0 -1 4194304 7551 0 0 0 29 1 0 0 20 0 1 0 33405872 37695488 8445 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 9203 8445 1856 2102 0 6743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36812 KiB
Current children cumulated memory: 33780 KiB

[startup+0.700295 s]
/proc/loadavg: 8.07 8.09 8.09 7/254 23532
/proc/meminfo: memFree=129448156/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=43680 memory=40692 CPUtime=0.68 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) R 23515 23519 22382 0 -1 4194304 9245 0 0 0 67 1 0 0 20 0 1 0 33405872 44728320 10173 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 10920 10173 1888 2102 0 8460 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43680 KiB
Current children cumulated memory: 40692 KiB

[startup+1.50029 s]
/proc/loadavg: 8.07 8.09 8.09 5/250 23558
/proc/meminfo: memFree=129830876/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=54988 CPUtime=1.54 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 12900 0 0 0 151 3 0 0 20 0 3 0 33405872 198553600 13747 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 13747 1984 2102 0 16249 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 54988 KiB

[startup+3.10601 s]
/proc/loadavg: 8.07 8.09 8.09 8/256 23581
/proc/meminfo: memFree=129698248/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=77640 CPUtime=4.72 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 24684 0 0 0 466 6 0 0 20 0 3 0 33405872 198553600 19410 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 19410 2144 2102 0 21721 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=0 CPUtime=1.67 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 12345 0 0 0 164 3 0 0 20 0 3 0 33406009 198553600 19410 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=70476 CPUtime=1.68 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 2182 0 0 0 168 0 0 0 20 0 3 0 33406009 198553600 19410 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 77640 KiB

[startup+6.30014 s]
/proc/loadavg: 8.07 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129658176/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=81096 CPUtime=11.08 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 29080 0 0 0 1101 7 0 0 20 0 3 0 33405872 198553600 20274 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 20274 2144 2102 0 22654 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=0 CPUtime=4.83 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 15950 0 0 0 480 3 0 0 20 0 3 0 33406009 198553600 20274 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=6376 CPUtime=4.87 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 2930 0 0 0 487 0 0 0 20 0 3 0 33406009 198553600 20274 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 81096 KiB

[startup+12.7002 s]
/proc/loadavg: 8.06 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129650616/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=87240 CPUtime=23.81 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 42548 0 0 0 2373 8 0 0 20 0 3 0 33405872 198553600 21810 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 21810 2144 2102 0 24283 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=86984 CPUtime=11.18 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 27960 0 0 0 1114 4 0 0 20 0 3 0 33406009 198553600 21810 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=14340 CPUtime=11.25 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 4316 0 0 0 1125 0 0 0 20 0 3 0 33406009 198553600 21810 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 23.81 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 87240 KiB

[startup+25.5003 s]
/proc/loadavg: 8.13 8.10 8.09 9/258 23584
/proc/meminfo: memFree=129612988/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=98568 CPUtime=49.25 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 57560 0 0 0 4916 9 0 0 20 0 3 0 33405872 198553600 24642 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 24642 2144 2102 0 27252 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=98568 CPUtime=23.86 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 34640 0 0 0 2381 5 0 0 20 0 3 0 33406009 198553600 24642 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=17408 CPUtime=24.02 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 10685 0 0 0 2401 1 0 0 20 0 3 0 33406009 198553600 24642 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 49.25 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 98568 KiB

[startup+51.1053 s]
/proc/loadavg: 8.08 8.09 8.09 9/258 23584
/proc/meminfo: memFree=129609980/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=99976 CPUtime=100.15 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 82527 0 0 0 10002 13 0 0 20 0 3 0 33405872 198553600 24994 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 24994 2144 2102 0 27603 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=99208 CPUtime=49.21 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 51011 0 0 0 4914 7 0 0 20 0 3 0 33406009 198553600 24994 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=99208 CPUtime=49.55 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 18557 0 0 0 4953 2 0 0 20 0 3 0 33406009 198553600 24994 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 100.15 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 99976 KiB

[startup+102.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/258 23590
/proc/meminfo: memFree=129598292/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=99976 CPUtime=201.87 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 93339 0 0 0 20171 16 0 0 20 0 3 0 33405872 198553600 24994 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 24994 2144 2102 0 27603 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=99976 CPUtime=99.9 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 57796 0 0 0 9981 9 0 0 20 0 3 0 33406009 198553600 24994 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=99976 CPUtime=100.57 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 22531 0 0 0 10054 3 0 0 20 0 3 0 33406009 198553600 24994 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 201.87 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 99976 KiB

[startup+162.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/259 23593
/proc/meminfo: memFree=129544944/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=103944 CPUtime=321.08 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 104018 0 0 0 32087 21 0 0 20 0 3 0 33405872 198553600 25986 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 25986 2144 2102 0 28235 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=11264 CPUtime=159.27 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 65283 0 0 0 15915 12 0 0 20 0 3 0 33406009 198553600 25986 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=5632 CPUtime=160.37 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 25697 0 0 0 16034 3 0 0 20 0 3 0 33406009 198553600 25986 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 321.08 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 103944 KiB

[startup+222.3 s]
/proc/loadavg: 8.26 8.16 8.11 9/259 23642
/proc/meminfo: memFree=129580740/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=107016 CPUtime=440.31 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 106472 0 0 0 44005 26 0 0 20 0 3 0 33405872 198553600 26754 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 26754 2144 2102 0 28983 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=107016 CPUtime=218.65 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 67517 0 0 0 21849 16 0 0 20 0 3 0 33406009 198553600 26754 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=17408 CPUtime=220.21 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 25890 0 0 0 22017 4 0 0 20 0 3 0 33406009 198553600 26754 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 440.31 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 107016 KiB

[startup+282.3 s]
/proc/loadavg: 8.17 8.15 8.11 8/256 23658
/proc/meminfo: memFree=129633072/131382112 swapFree=33010684/33010684

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

/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=14340 CPUtime=396.86 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75390 0 0 0 39664 22 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=-8183429193762247878 CPUtime=399.56 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26225 0 0 0 39949 7 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 797.92 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+462.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/259 23696
/proc/meminfo: memFree=129518476/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=917.13 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114763 0 0 0 91675 38 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=116872 CPUtime=456.28 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75420 0 0 0 45604 24 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=116872 CPUtime=459.36 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26231 0 0 0 45928 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 917.13 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+522.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/259 23698
/proc/meminfo: memFree=129528000/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1036.34 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114778 0 0 0 103594 40 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=116872 CPUtime=515.69 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75427 0 0 0 51544 25 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=14340 CPUtime=519.14 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26239 0 0 0 51906 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1036.34 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

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

# cumulated CPU time of all completed processes:  user=1080.95 s, system=0.424711 s

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

[startup+524.8 s]
/proc/loadavg: 8.09 8.11 8.09 9/259 23699
/proc/meminfo: memFree=129527460/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1041.32 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114778 0 0 0 104091 41 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=116872 CPUtime=518.17 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75427 0 0 0 51792 25 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=116872 CPUtime=521.63 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26239 0 0 0 52155 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1041.32 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+537.6 s]
/proc/loadavg: 8.07 8.11 8.09 9/259 23699
/proc/meminfo: memFree=129525736/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1066.74 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114781 0 0 0 106633 41 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=14340 CPUtime=530.84 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75427 0 0 0 53058 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=116872 CPUtime=534.38 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 53430 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1066.74 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+540.8 s]
/proc/loadavg: 8.07 8.10 8.09 9/259 23699
/proc/meminfo: memFree=129525760/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1073.11 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114782 0 0 0 107269 42 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=17408 CPUtime=534.01 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75428 0 0 0 53375 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=11264 CPUtime=537.57 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 53749 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1073.11 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+542.4 s]
/proc/loadavg: 8.07 8.10 8.09 9/259 23699
/proc/meminfo: memFree=129525760/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1076.29 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114782 0 0 0 107587 42 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=116872 CPUtime=535.6 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75428 0 0 0 53534 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=6784 CPUtime=539.17 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 53909 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1076.29 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+544 s]*
/proc/loadavg: 8.14 8.12 8.09 9/259 23699
/proc/meminfo: memFree=129525528/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1079.48 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114782 0 0 0 107906 42 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=-8183429163680699839 CPUtime=537.18 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75428 0 0 0 53692 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=4908 CPUtime=540.77 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 54069 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1079.48 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+544.4 s]
/proc/loadavg: 8.14 8.12 8.09 9/259 23699
/proc/meminfo: memFree=129525528/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1080.26 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114782 0 0 0 107984 42 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=11264 CPUtime=537.58 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75428 0 0 0 53732 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=5632 CPUtime=541.16 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 54108 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1080.26 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+544.8 s]
/proc/loadavg: 8.14 8.12 8.09 9/259 23699
/proc/meminfo: memFree=129525528/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1081.06 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114782 0 0 0 108064 42 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=4908 CPUtime=537.97 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75428 0 0 0 53771 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=4908 CPUtime=541.56 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 54148 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1081.06 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

[startup+544.9 s]
/proc/loadavg: 8.14 8.12 8.09 9/259 23699
/proc/meminfo: memFree=129525528/131382112 swapFree=33010684/33010684
[pid=23519] ppid=23515 vsize=193900 memory=116872 CPUtime=1081.26 cores=1,3
/proc/23519/stat : 23519 (cp-sat-runner) S 23515 23519 22382 0 -1 4194304 114782 0 0 0 108084 42 0 0 20 0 3 0 33405872 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
/proc/23519/statm: 48475 29218 2144 2102 0 31410 0
[pid=23519/tid=23578] ppid=23515 vsize=193900 memory=116872 CPUtime=538.07 cores=1,3
/proc/23519/task/23578/stat : 23578 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 75428 0 0 0 53781 26 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
[pid=23519/tid=23579] ppid=23515 vsize=193900 memory=17408 CPUtime=541.66 cores=1,3
/proc/23519/task/23579/stat : 23579 (cp-sat-runner) R 23515 23519 22382 0 -1 4194368 26241 0 0 0 54158 8 0 0 20 0 3 0 33406009 198553600 29218 18446744073709551615 4198400 12805993 140734002372192 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29196288 140734002374936 140734002375141 140734002375141 140734002380743 0
Current children cumulated CPU time: 1081.26 s
Current children cumulated vsize: 193900 KiB
Current children cumulated memory: 116872 KiB

Child status: 10

Real time (s): 544.963
CPU time (s): 1081.38
CPU user time (s): 1080.95
CPU system time (s): 0.424711
CPU usage (%): 198.431
Max. virtual memory (cumulated for all children) (KiB): 198000
Max. memory (cumulated for all children) (KiB): 116872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1080.95
system time used= 0.424711
maximum resident set size= 117128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115309
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= 7586
involuntary context switches= 43625


# summary of solver processes directly reported to runsolver:
#   pid: 23519
#   total CPU time (s): 1081.38
#   total CPU user time (s): 1080.95
#   total CPU system time (s): 0.424711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30918 second user time and 2.33911 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 08:07:47
IDJOB=4507356
IDBENCH=158344
IDSOLVER=3320
FILE ID=nodeC007/4507356-1751177267
RUNJOBID= nodeC007-1751170007-22397
SLURM_JOB_ID= 9587524
Free space on /tmp= 432976 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.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-4507356-1751177267/watcher-4507356-1751177267 -o /tmp/evaluation-result-4507356-1751177267/solver-4507356-1751177267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22397 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1929684677 --competition_mode --input HOME/instance-4507356-1751177267.opb

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

MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1929684677

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129503308 kB
MemAvailable:   129449212 kB
Buffers:            3280 kB
Cached:           756268 kB
SwapCached:            0 kB
Active:           790304 kB
Inactive:         511184 kB
Active(anon):     559900 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   511184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12988 kB
Writeback:            12 kB
AnonPages:        544956 kB
Mapped:           119920 kB
Shmem:             17960 kB
KReclaimable:      87884 kB
Slab:             168732 kB
SReclaimable:      87884 kB
SUnreclaim:        80848 kB
KernelStack:        4156 kB
PageTables:         4172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     896248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC007 at 2025-06-29 08:16:53