Trace number 4507428

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 555.592 280.569

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K101.opb
MD5SUM169808018047e4e4c90ba93c1e86b926
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 benchmark4.34712
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6868
Total number of constraints7072
Number of constraints which are clauses6971
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint101
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 102
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 

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507428-1751177269/watcher-4507428-1751177269 -o /tmp/evaluation-result-4507428-1751177269/solver-4507428-1751177269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22398 --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-4507428-1751177269.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=23576, runsolver pid=23573

[startup+0.100062 s]*
/proc/loadavg: 8.07 8.09 8.09 6/252 23577
/proc/meminfo: memFree=129801884/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=25132 memory=21892 CPUtime=0.09 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) R 23573 23576 22382 0 -1 4194304 5040 0 0 0 9 0 0 0 20 0 1 0 33405996 25735168 5473 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 6283 5473 1856 2102 0 3823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25132 KiB
Current children cumulated memory: 21892 KiB

[startup+0.205536 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23579
/proc/meminfo: memFree=129790292/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=31476 memory=28292 CPUtime=0.2 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) R 23573 23576 22382 0 -1 4194304 6631 0 0 0 19 1 0 0 20 0 1 0 33405996 32231424 7073 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 7869 7073 1856 2102 0 5409 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31476 KiB
Current children cumulated memory: 28292 KiB

[startup+0.308277 s]*
/proc/loadavg: 8.07 8.09 8.09 7/254 23579
/proc/meminfo: memFree=129778196/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=35044 memory=31876 CPUtime=0.3 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) R 23573 23576 22382 0 -1 4194304 7524 0 0 0 29 1 0 0 20 0 1 0 33405996 35885056 7969 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 8761 7969 1856 2102 0 6301 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35044 KiB
Current children cumulated memory: 31876 KiB

[startup+0.700216 s]
/proc/loadavg: 8.07 8.09 8.09 8/256 23581
/proc/meminfo: memFree=129757280/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=43988 memory=40836 CPUtime=0.68 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) R 23573 23576 22382 0 -1 4194304 9746 0 0 0 67 1 0 0 20 0 1 0 33405996 45043712 10209 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 10997 10209 1856 2102 0 8537 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43988 KiB
Current children cumulated memory: 40836 KiB

[startup+1.50031 s]
/proc/loadavg: 8.07 8.09 8.09 8/256 23581
/proc/meminfo: memFree=129730568/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=46004 memory=43012 CPUtime=1.49 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) R 23573 23576 22382 0 -1 4194304 10289 0 0 0 147 2 0 0 20 0 1 0 33405996 47108096 10753 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 11501 10753 1888 2102 0 9041 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46004 KiB
Current children cumulated memory: 43012 KiB

[startup+3.10771 s]
/proc/loadavg: 8.07 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129657924/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=79320 CPUtime=4.35 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 21958 0 0 0 431 4 0 0 20 0 3 0 33405996 199716864 19830 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 19830 2112 2102 0 22154 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=0 CPUtime=1.26 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 1873 0 0 0 126 0 0 0 20 0 3 0 33406177 199716864 19830 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=74584 CPUtime=1.28 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 9200 0 0 0 126 2 0 0 20 0 3 0 33406177 199716864 19830 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 79320 KiB

[startup+6.30013 s]
/proc/loadavg: 8.07 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129654396/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=82904 CPUtime=10.71 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 26478 0 0 0 1066 5 0 0 20 0 3 0 33405996 199716864 20726 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 20726 2144 2102 0 23101 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=0 CPUtime=4.42 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 2887 0 0 0 442 0 0 0 20 0 3 0 33406177 199716864 20726 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=82904 CPUtime=4.47 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 12653 0 0 0 445 2 0 0 20 0 3 0 33406177 199716864 20726 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 82904 KiB

[startup+12.7001 s]
/proc/loadavg: 8.06 8.09 8.09 9/258 23583
/proc/meminfo: memFree=129649356/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=89816 CPUtime=23.44 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 39331 0 0 0 2338 6 0 0 20 0 3 0 33405996 199716864 22454 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 22454 2144 2102 0 25026 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=11264 CPUtime=10.77 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 3761 0 0 0 1077 0 0 0 20 0 3 0 33406177 199716864 22454 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=88920 CPUtime=10.85 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 24602 0 0 0 1082 3 0 0 20 0 3 0 33406177 199716864 22454 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 23.44 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 89816 KiB

[startup+25.5002 s]
/proc/loadavg: 8.13 8.10 8.09 9/258 23584
/proc/meminfo: memFree=129612988/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=101232 CPUtime=48.88 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 52501 0 0 0 4881 7 0 0 20 0 3 0 33405996 199716864 25308 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 25308 2144 2102 0 27922 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=14340 CPUtime=23.43 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 8437 0 0 0 2343 0 0 0 20 0 3 0 33406177 199716864 25308 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=101232 CPUtime=23.62 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31160 0 0 0 2358 4 0 0 20 0 3 0 33406177 199716864 25308 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 48.88 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 101232 KiB

[startup+51.1053 s]
/proc/loadavg: 8.08 8.09 8.09 9/258 23584
/proc/meminfo: memFree=129610240/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=102000 CPUtime=99.77 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 70763 0 0 0 9968 9 0 0 20 0 3 0 33405996 199716864 25500 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 25500 2144 2102 0 28122 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=102000 CPUtime=48.77 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 17430 0 0 0 4876 1 0 0 20 0 3 0 33406177 199716864 25500 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=17408 CPUtime=49.15 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 39706 0 0 0 4911 4 0 0 20 0 3 0 33406177 199716864 25500 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 99.77 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 102000 KiB

[startup+102.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/258 23590
/proc/meminfo: memFree=129598544/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=104176 CPUtime=201.5 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 94222 0 0 0 20138 12 0 0 20 0 3 0 33405996 199716864 26044 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 26044 2144 2102 0 28617 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=14340 CPUtime=99.44 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 26130 0 0 0 9942 2 0 0 20 0 3 0 33406177 199716864 26044 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=103792 CPUtime=100.21 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 53731 0 0 0 10015 6 0 0 20 0 3 0 33406177 199716864 26044 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 201.5 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 104176 KiB

[startup+162.3 s]
/proc/loadavg: 8.14 8.10 8.09 9/259 23593
/proc/meminfo: memFree=129544944/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=113136 CPUtime=320.69 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 104504 0 0 0 32055 14 0 0 20 0 3 0 33405996 199716864 28284 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 28284 2144 2102 0 30847 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=111728 CPUtime=158.82 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 26993 0 0 0 15879 3 0 0 20 0 3 0 33406177 199716864 28284 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=2273 CPUtime=160 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 63105 0 0 0 15992 8 0 0 20 0 3 0 33406177 199716864 28284 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 320.69 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 113136 KiB

[startup+222.3 s]
/proc/loadavg: 8.24 8.15 8.11 9/259 23642
/proc/meminfo: memFree=129578976/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=114800 CPUtime=439.84 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 116054 0 0 0 43965 19 0 0 20 0 3 0 33405996 199716864 28700 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 28700 2144 2102 0 31266 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=114800 CPUtime=218.18 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 27841 0 0 0 21813 5 0 0 20 0 3 0 33406177 199716864 28700 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=114800 CPUtime=219.78 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 73779 0 0 0 21968 10 0 0 20 0 3 0 33406177 199716864 28700 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 439.84 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 114800 KiB

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

# cumulated CPU time of all completed processes:  user=555.366 s, system=0.226755 s

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

[startup+230.4 s]
/proc/loadavg: 8.30 8.17 8.11 9/259 23642
/proc/meminfo: memFree=129571684/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=114800 CPUtime=455.93 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 116056 0 0 0 45574 19 0 0 20 0 3 0 33405996 199716864 28700 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 28700 2144 2102 0 31266 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=14340 CPUtime=226.19 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 27842 0 0 0 22614 5 0 0 20 0 3 0 33406177 199716864 28700 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=4252 CPUtime=227.85 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 73780 0 0 0 22775 10 0 0 20 0 3 0 33406177 199716864 28700 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 455.93 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 114800 KiB

[startup+256 s]*
/proc/loadavg: 8.26 8.17 8.12 9/259 23642
/proc/meminfo: memFree=129558704/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=117104 CPUtime=506.79 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 129079 0 0 0 50658 21 0 0 20 0 3 0 33405996 199716864 29276 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29276 2144 2102 0 31749 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=-8183428085643908292 CPUtime=251.53 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31420 0 0 0 25148 5 0 0 20 0 3 0 33406177 199716864 29276 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=6380 CPUtime=253.37 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 83214 0 0 0 25326 11 0 0 20 0 3 0 33406177 199716864 29276 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 506.79 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 117104 KiB

[startup+268.8 s]
/proc/loadavg: 8.20 8.16 8.11 9/259 23643
/proc/meminfo: memFree=129538168/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=118256 CPUtime=532.22 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131064 0 0 0 53200 22 0 0 20 0 3 0 33405996 199716864 29564 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29564 2144 2102 0 31918 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=118256 CPUtime=264.2 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 26415 5 0 0 20 0 3 0 33406177 199716864 29564 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=-8183431367015700416 CPUtime=266.11 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85095 0 0 0 26600 11 0 0 20 0 3 0 33406177 199716864 29564 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 532.22 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 118256 KiB

[startup+275.2 s]
/proc/loadavg: 8.18 8.16 8.11 9/259 23643
/proc/meminfo: memFree=129530616/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=118256 CPUtime=544.94 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131065 0 0 0 54472 22 0 0 20 0 3 0 33405996 199716864 29564 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29564 2144 2102 0 31918 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=118256 CPUtime=270.53 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 27048 5 0 0 20 0 3 0 33406177 199716864 29564 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=118256 CPUtime=272.5 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85096 0 0 0 27239 11 0 0 20 0 3 0 33406177 199716864 29564 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 544.94 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 118256 KiB

[startup+278.4 s]
/proc/loadavg: 8.17 8.15 8.11 9/259 23644
/proc/meminfo: memFree=129521936/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=119536 CPUtime=551.28 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131178 0 0 0 55106 22 0 0 20 0 3 0 33405996 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29884 2144 2102 0 32024 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=14340 CPUtime=273.69 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 27364 5 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=119536 CPUtime=275.68 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85209 0 0 0 27557 11 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 551.28 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 119536 KiB

[startup+279.2 s]
/proc/loadavg: 8.17 8.15 8.11 9/259 23644
/proc/meminfo: memFree=129530300/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=119536 CPUtime=552.87 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131178 0 0 0 55265 22 0 0 20 0 3 0 33405996 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29884 2144 2102 0 32024 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=118256 CPUtime=274.48 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 27443 5 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=-8183431367015700416 CPUtime=276.48 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85209 0 0 0 27637 11 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 552.87 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 119536 KiB

[startup+280 s]*
/proc/loadavg: 8.17 8.15 8.11 9/259 23644
/proc/meminfo: memFree=129530552/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=119536 CPUtime=554.46 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131178 0 0 0 55424 22 0 0 20 0 3 0 33405996 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29884 2144 2102 0 32024 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=-8183428085643908292 CPUtime=275.28 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 27522 6 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=6508 CPUtime=277.28 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85209 0 0 0 27717 11 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 554.46 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 119536 KiB

[startup+280.4 s]
/proc/loadavg: 8.17 8.15 8.11 9/259 23644
/proc/meminfo: memFree=129530552/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=119536 CPUtime=555.25 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131178 0 0 0 55503 22 0 0 20 0 3 0 33405996 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29884 2144 2102 0 32024 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=4252 CPUtime=275.67 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 27561 6 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=3328 CPUtime=277.68 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85209 0 0 0 27757 11 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 555.25 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 119536 KiB

[startup+280.5 s]
/proc/loadavg: 8.17 8.15 8.11 9/259 23644
/proc/meminfo: memFree=129530552/131382112 swapFree=33010684/33010684
[pid=23576] ppid=23573 vsize=195036 memory=119536 CPUtime=555.45 cores=5,7
/proc/23576/stat : 23576 (cp-sat-runner) S 23573 23576 22382 0 -1 4194304 131178 0 0 0 55523 22 0 0 20 0 3 0 33405996 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
/proc/23576/statm: 48759 29884 2144 2102 0 32024 0
[pid=23576/tid=23582] ppid=23573 vsize=195036 memory=118256 CPUtime=275.77 cores=5,7
/proc/23576/task/23582/stat : 23582 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 31524 0 0 0 27571 6 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
[pid=23576/tid=23583] ppid=23573 vsize=195036 memory=118256 CPUtime=277.78 cores=5,7
/proc/23576/task/23583/stat : 23583 (cp-sat-runner) R 23573 23576 22382 0 -1 4194368 85209 0 0 0 27767 11 0 0 20 0 3 0 33406177 199716864 29884 18446744073709551615 4198400 12805993 140727137092688 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 40521728 140727137102104 140727137102309 140727137102309 140727137107911 0
Current children cumulated CPU time: 555.45 s
Current children cumulated vsize: 195036 KiB
Current children cumulated memory: 119536 KiB

Child status: 10

Real time (s): 280.569
CPU time (s): 555.592
CPU user time (s): 555.366
CPU system time (s): 0.226755
CPU usage (%): 198.023
Max. virtual memory (cumulated for all children) (KiB): 204780
Max. memory (cumulated for all children) (KiB): 119536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 555.366
system time used= 0.226755
maximum resident set size= 119792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131291
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= 4064
involuntary context switches= 23002


# summary of solver processes directly reported to runsolver:
#   pid: 23576
#   total CPU time (s): 555.592
#   total CPU user time (s): 555.366
#   total CPU system time (s): 0.226755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.5823 second user time and 1.30231 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 08:07:49
IDJOB=4507428
IDBENCH=158353
IDSOLVER=3320
FILE ID=nodeC007/4507428-1751177269
RUNJOBID= nodeC007-1751170007-22398
SLURM_JOB_ID= 9587524
Free space on /tmp= 432980 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.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-4507428-1751177269/watcher-4507428-1751177269 -o /tmp/evaluation-result-4507428-1751177269/solver-4507428-1751177269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22398 --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-4507428-1751177269.opb

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.291
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		: 3491.863
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:        129809948 kB
MemAvailable:   129754132 kB
Buffers:            3280 kB
Cached:           754548 kB
SwapCached:            0 kB
Active:           498140 kB
Inactive:         509456 kB
Active(anon):     267736 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   509456 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39192 kB
Writeback:             4 kB
AnonPages:        252956 kB
Mapped:           126364 kB
Shmem:             17960 kB
KReclaimable:      87900 kB
Slab:             169044 kB
SReclaimable:      87900 kB
SUnreclaim:        81144 kB
KernelStack:        4064 kB
PageTables:         3444 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     601948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 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= 432964 MiB
End job on nodeC007 at 2025-06-29 08:12:29