Trace number 4507572

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 935.777 471.787

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
MD5SUM85449da570d8e9c3bf031cd447953d83
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 benchmark6.73265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6528
Total number of constraints6722
Number of constraints which are clauses6626
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint96
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 97
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 

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100069 s]*
/proc/loadavg: 8.12 8.12 8.09 8/257 23795
/proc/meminfo: memFree=129643588/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=18616 memory=14740 CPUtime=0.1 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) R 23791 23794 22382 0 -1 4194304 2539 0 0 0 10 0 0 0 20 0 1 0 33468714 19062784 3685 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 4654 3685 1568 2102 0 2194 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18616 KiB
Current children cumulated memory: 14740 KiB

[startup+0.212107 s]*
/proc/loadavg: 8.12 8.12 8.09 8/257 23795
/proc/meminfo: memFree=129637792/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=23828 memory=20664 CPUtime=0.21 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) R 23791 23794 22382 0 -1 4194304 5063 0 0 0 20 1 0 0 20 0 1 0 33468714 24399872 5166 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 5957 5166 1856 2102 0 3497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23828 KiB
Current children cumulated memory: 20664 KiB

[startup+0.31215 s]*
/proc/loadavg: 8.12 8.12 8.09 8/257 23795
/proc/meminfo: memFree=129636028/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=26600 memory=23480 CPUtime=0.31 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) R 23791 23794 22382 0 -1 4194304 5758 0 0 0 30 1 0 0 20 0 1 0 33468714 27238400 5870 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 6650 5870 1856 2102 0 4190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26600 KiB
Current children cumulated memory: 23480 KiB

[startup+0.700288 s]
/proc/loadavg: 8.12 8.12 8.09 8/257 23795
/proc/meminfo: memFree=129629980/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=38628 memory=35640 CPUtime=0.68 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) R 23791 23794 22382 0 -1 4194304 8788 0 0 0 66 2 0 0 20 0 1 0 33468714 39555072 8910 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 9657 8910 1856 2102 0 7197 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38628 KiB
Current children cumulated memory: 35640 KiB

[startup+1.50032 s]
/proc/loadavg: 8.12 8.12 8.09 8/257 23795
/proc/meminfo: memFree=129614104/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=44040 memory=41016 CPUtime=1.49 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) R 23791 23794 22382 0 -1 4194304 10128 0 0 0 146 3 0 0 20 0 1 0 33468714 45096960 10254 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 11010 10254 1888 2102 0 8550 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44040 KiB
Current children cumulated memory: 41016 KiB

[startup+3.10708 s]
/proc/loadavg: 8.12 8.12 8.09 9/259 23798
/proc/meminfo: memFree=129574540/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=75692 CPUtime=4.25 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 21396 0 0 0 418 7 0 0 20 0 3 0 33468714 197705728 18923 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 18923 2144 2102 0 21236 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=0 CPUtime=1.15 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 1796 0 0 0 115 0 0 0 20 0 3 0 33468906 197705728 18923 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=69844 CPUtime=1.17 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 8858 0 0 0 114 3 0 0 20 0 3 0 33468906 197705728 18923 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 75692 KiB

[startup+6.30015 s]
/proc/loadavg: 8.11 8.11 8.09 9/259 23798
/proc/meminfo: memFree=129575296/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=79788 CPUtime=10.59 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 26115 0 0 0 1052 7 0 0 20 0 3 0 33468714 197705728 19947 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 19947 2144 2102 0 22319 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=0 CPUtime=4.32 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 2762 0 0 0 432 0 0 0 20 0 3 0 33468906 197705728 19947 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=79788 CPUtime=4.36 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 12569 0 0 0 433 3 0 0 20 0 3 0 33468906 197705728 19947 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 10.59 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 79788 KiB

[startup+12.7002 s]
/proc/loadavg: 8.10 8.11 8.09 9/258 23798
/proc/meminfo: memFree=129574540/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=86572 CPUtime=23.32 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 38538 0 0 0 2324 8 0 0 20 0 3 0 33468714 197705728 21643 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 21643 2176 2102 0 24201 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=11264 CPUtime=10.66 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 3601 0 0 0 1066 0 0 0 20 0 3 0 33468906 197705728 21643 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=84908 CPUtime=10.74 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 24113 0 0 0 1070 4 0 0 20 0 3 0 33468906 197705728 21643 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 23.32 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 86572 KiB

[startup+25.5002 s]
/proc/loadavg: 8.08 8.11 8.09 9/258 23798
/proc/meminfo: memFree=129558916/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=98412 CPUtime=48.77 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 50714 0 0 0 4866 11 0 0 20 0 3 0 33468714 197705728 24603 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 24603 2176 2102 0 27253 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=14340 CPUtime=23.33 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 7701 0 0 0 2332 1 0 0 20 0 3 0 33468906 197705728 24603 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=98028 CPUtime=23.5 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 32147 0 0 0 2345 5 0 0 20 0 3 0 33468906 197705728 24603 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 48.77 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 98412 KiB

[startup+51.1051 s]
/proc/loadavg: 8.12 8.11 8.09 9/258 23798
/proc/meminfo: memFree=129551436/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=99052 CPUtime=99.63 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 74137 0 0 0 9951 12 0 0 20 0 3 0 33468714 197705728 24763 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 24763 2176 2102 0 27415 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=99052 CPUtime=48.68 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 15893 0 0 0 4866 2 0 0 20 0 3 0 33468906 197705728 24763 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=17408 CPUtime=49.01 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 44944 0 0 0 4895 6 0 0 20 0 3 0 33468906 197705728 24763 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 99.63 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 99052 KiB

[startup+102.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/259 23805
/proc/meminfo: memFree=129550172/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=103916 CPUtime=201.39 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 87725 0 0 0 20124 15 0 0 20 0 3 0 33468714 197705728 25979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 25979 2176 2102 0 28622 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=14340 CPUtime=99.36 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 17544 0 0 0 9933 3 0 0 20 0 3 0 33468906 197705728 25979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=102892 CPUtime=100.07 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 56195 0 0 0 10000 7 0 0 20 0 3 0 33468906 197705728 25979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 201.39 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 103916 KiB

[startup+162.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/258 23807
/proc/meminfo: memFree=129524928/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=106988 CPUtime=320.64 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 105514 0 0 0 32046 18 0 0 20 0 3 0 33468714 197705728 26747 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 26747 2176 2102 0 29213 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=105068 CPUtime=158.76 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21019 0 0 0 15872 4 0 0 20 0 3 0 33468906 197705728 26747 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=2273 CPUtime=159.91 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 70484 0 0 0 15982 9 0 0 20 0 3 0 33468906 197705728 26747 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 320.64 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 106988 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/258 23809
/proc/meminfo: memFree=129519128/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=115436 CPUtime=439.89 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 108295 0 0 0 43970 19 0 0 20 0 3 0 33468714 197705728 28859 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 28859 2176 2102 0 30951 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=114156 CPUtime=218.16 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21266 0 0 0 21812 4 0 0 20 0 3 0 33468906 197705728 28859 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=114156 CPUtime=219.73 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 73006 0 0 0 21964 9 0 0 20 0 3 0 33468906 197705728 28859 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 439.89 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 115436 KiB

[startup+282.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/259 23812
/proc/meminfo: memFree=129525188/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=119148 CPUtime=559.15 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 109512 0 0 0 55895 20 0 0 20 0 3 0 33468714 197705728 29787 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 29787 2176 2102 0 31910 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=119148 CPUtime=277.58 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21281 0 0 0 27753 5 0 0 20 0 3 0 33468906 197705728 29787 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=14340 CPUtime=279.58 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 73939 0 0 0 27948 10 0 0 20 0 3 0 33468906 197705728 29787 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 559.15 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 119148 KiB

[startup+342.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/259 23861
/proc/meminfo: memFree=129629160/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=119916 CPUtime=678.4 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 111620 0 0 0 67816 24 0 0 20 0 3 0 33468714 197705728 29979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 29979 2176 2102 0 32102 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=117612 CPUtime=336.98 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21736 0 0 0 33693 5 0 0 20 0 3 0 33468906 197705728 29979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=116204 CPUtime=339.39 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 75570 0 0 0 33927 12 0 0 20 0 3 0 33468906 197705728 29979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 678.4 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 119916 KiB

[startup+402.3 s]
/proc/loadavg: 8.12 8.10 8.09 9/258 23910
/proc/meminfo: memFree=129633604/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=119916 CPUtime=797.66 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 113261 0 0 0 79741 25 0 0 20 0 3 0 33468714 197705728 29979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 29979 2176 2102 0 32102 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=117612 CPUtime=396.38 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21814 0 0 0 39632 6 0 0 20 0 3 0 33468906 197705728 29979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=116204 CPUtime=399.24 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 77119 0 0 0 39911 13 0 0 20 0 3 0 33468906 197705728 29979 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 797.66 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 119916 KiB

[startup+462.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/258 23912
/proc/meminfo: memFree=129630852/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123756 CPUtime=916.92 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114491 0 0 0 91666 26 0 0 20 0 3 0 33468714 197705728 30939 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30939 2176 2102 0 33051 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=122860 CPUtime=455.79 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 45573 6 0 0 20 0 3 0 33468906 197705728 30939 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=123756 CPUtime=459.08 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78348 0 0 0 45895 13 0 0 20 0 3 0 33468906 197705728 30939 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 916.92 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123756 KiB

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

# cumulated CPU time of all completed processes:  user=935.505 s, system=0.272331 s

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

[startup+467.2 s]
/proc/loadavg: 8.04 8.08 8.08 9/258 23912
/proc/meminfo: memFree=129630348/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123756 CPUtime=926.66 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114491 0 0 0 92640 26 0 0 20 0 3 0 33468714 197705728 30939 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30939 2176 2102 0 33051 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=123756 CPUtime=460.64 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 46058 6 0 0 20 0 3 0 33468906 197705728 30939 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=122860 CPUtime=463.96 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78348 0 0 0 46383 13 0 0 20 0 3 0 33468906 197705728 30939 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 926.66 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123756 KiB

[startup+468.8 s]
/proc/loadavg: 8.04 8.08 8.08 9/258 23912
/proc/meminfo: memFree=129629340/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123884 CPUtime=929.84 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114494 0 0 0 92958 26 0 0 20 0 3 0 33468714 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30971 2176 2102 0 33051 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=14340 CPUtime=462.23 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 46217 6 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=17408 CPUtime=465.56 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78351 0 0 0 46543 13 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 929.84 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123884 KiB

[startup+470.4 s]
/proc/loadavg: 8.12 8.09 8.09 9/258 23912
/proc/meminfo: memFree=129629340/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123884 CPUtime=933.02 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114494 0 0 0 93276 26 0 0 20 0 3 0 33468714 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30971 2176 2102 0 33051 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=14340 CPUtime=463.81 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 46375 6 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=17408 CPUtime=467.15 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78351 0 0 0 46702 13 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 933.02 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123884 KiB

[startup+471.2 s]
/proc/loadavg: 8.12 8.09 8.09 9/258 23912
/proc/meminfo: memFree=129629592/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123884 CPUtime=934.61 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114494 0 0 0 93435 26 0 0 20 0 3 0 33468714 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30971 2176 2102 0 33051 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=17408 CPUtime=464.6 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 46454 6 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=11264 CPUtime=467.95 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78351 0 0 0 46782 13 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 934.61 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123884 KiB

[startup+471.6 s]
/proc/loadavg: 8.12 8.09 8.09 9/258 23912
/proc/meminfo: memFree=129629592/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123884 CPUtime=935.4 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114494 0 0 0 93514 26 0 0 20 0 3 0 33468714 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30971 2176 2102 0 33051 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=17408 CPUtime=465 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 46494 6 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=11264 CPUtime=468.35 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78351 0 0 0 46822 13 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 935.4 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123884 KiB

[startup+471.7 s]
/proc/loadavg: 8.12 8.09 8.09 9/258 23912
/proc/meminfo: memFree=129629592/131382112 swapFree=33010684/33010684
[pid=23794] ppid=23791 vsize=193072 memory=123884 CPUtime=935.6 cores=1,3
/proc/23794/stat : 23794 (cp-sat-runner) S 23791 23794 22382 0 -1 4194304 114505 0 0 0 93534 26 0 0 20 0 3 0 33468714 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
/proc/23794/statm: 48268 30971 2176 2102 0 33062 0
[pid=23794/tid=23796] ppid=23791 vsize=193072 memory=122860 CPUtime=465.1 cores=1,3
/proc/23794/task/23796/stat : 23796 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 21815 0 0 0 46504 6 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
[pid=23794/tid=23797] ppid=23791 vsize=193072 memory=123756 CPUtime=468.45 cores=1,3
/proc/23794/task/23797/stat : 23797 (cp-sat-runner) R 23791 23794 22382 0 -1 4194368 78362 0 0 0 46832 13 0 0 20 0 3 0 33468906 197705728 30971 18446744073709551615 4198400 12805993 140726180704416 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 47353856 140726180706585 140726180706789 140726180706789 140726180712391 0
Current children cumulated CPU time: 935.6 s
Current children cumulated vsize: 193072 KiB
Current children cumulated memory: 123884 KiB

Child status: 10

Real time (s): 471.787
CPU time (s): 935.777
CPU user time (s): 935.505
CPU system time (s): 0.272331
CPU usage (%): 198.347
Max. virtual memory (cumulated for all children) (KiB): 195124
Max. memory (cumulated for all children) (KiB): 123884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 935.505
system time used= 0.272331
maximum resident set size= 124268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114610
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= 6608
involuntary context switches= 43945


# summary of solver processes directly reported to runsolver:
#   pid: 23794
#   total CPU time (s): 935.777
#   total CPU user time (s): 935.505
#   total CPU system time (s): 0.272331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.984946 second user time and 2.15578 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 08:18:16
IDJOB=4507572
IDBENCH=158367
IDSOLVER=3320
FILE ID=nodeC007/4507572-1751177896
RUNJOBID= nodeC007-1751170007-22397
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_K96.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-4507572-1751177896/watcher-4507572-1751177896 -o /tmp/evaluation-result-4507572-1751177896/solver-4507572-1751177896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751170007-22397 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:160989761 --competition_mode --input HOME/instance-4507572-1751177896.opb

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

MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=160989761

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.612
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:        129647684 kB
MemAvailable:   129592096 kB
Buffers:            3280 kB
Cached:           754752 kB
SwapCached:            0 kB
Active:           620648 kB
Inactive:         509668 kB
Active(anon):     390244 kB
Inactive(anon):        0 kB
Active(file):     230404 kB
Inactive(file):   509668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12968 kB
Writeback:            36 kB
AnonPages:        375420 kB
Mapped:           128620 kB
Shmem:             17960 kB
KReclaimable:      87932 kB
Slab:             169032 kB
SReclaimable:      87932 kB
SUnreclaim:        81100 kB
KernelStack:        4128 kB
PageTables:         3772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     757280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

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