Trace number 4509490

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14SAT (TO)16 3600.21 1813.61

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUMa64beba99ddb27280a5fb75072b9e119
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3499.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints412
Number of constraints which are clauses173
Number of constraints which are cardinality constraints (but not clauses)173
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint174
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 56906
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 206719
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	16

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: 63665 MiB (62017 MiB free)
  memory of node 1: 64507 MiB (62926 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509490-1751506502/watcher-4509490-1751506502 -o /tmp/evaluation-result-4509490-1751506502/solver-4509490-1751506502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751504462-68198 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1216861079 --competition_mode --input HOME/instance-4509490-1751506502.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=69536, runsolver pid=69533

[startup+0.100059 s]*
/proc/loadavg: 7.59 7.88 7.42 8/272 69537
/proc/meminfo: memFree=127943608/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=19216 memory=14812 CPUtime=0.1 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) R 69533 69536 68188 0 -1 4194304 2749 0 0 0 10 0 0 0 20 0 1 0 66330127 19677184 3703 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 4804 3703 1600 2102 0 2344 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19216 KiB
Current children cumulated memory: 14812 KiB

[startup+0.205812 s]*
/proc/loadavg: 7.59 7.88 7.42 8/272 69537
/proc/meminfo: memFree=127943608/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=19616 memory=16876 CPUtime=0.2 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) R 69533 69536 68188 0 -1 4194304 3364 0 0 0 20 0 0 0 20 0 1 0 66330127 20086784 4219 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 4904 4219 1920 2102 0 2444 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19616 KiB
Current children cumulated memory: 16876 KiB

[startup+0.30566 s]*
/proc/loadavg: 7.59 7.88 7.42 8/272 69537
/proc/meminfo: memFree=127943608/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=20672 memory=17900 CPUtime=0.3 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) R 69533 69536 68188 0 -1 4194304 3602 0 0 0 30 0 0 0 20 0 1 0 66330127 21168128 4475 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 5168 4475 1920 2102 0 2708 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20672 KiB
Current children cumulated memory: 17900 KiB

[startup+0.700208 s]
/proc/loadavg: 7.59 7.88 7.42 9/274 69539
/proc/meminfo: memFree=127927732/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=166800 memory=43188 CPUtime=0.89 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 10595 0 0 0 88 1 0 0 20 0 3 0 66330127 170803200 10797 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41700 10797 2176 2102 0 13417 0
[pid=69536/tid=69538] ppid=69533 vsize=166800 memory=10880 CPUtime=0.2 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 3575 0 0 0 20 0 0 0 20 0 3 0 66330174 170803200 10797 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=166800 memory=128637231 CPUtime=0.21 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 3226 0 0 0 21 0 0 0 20 0 3 0 66330174 170803200 10797 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 166800 KiB
Current children cumulated memory: 43188 KiB

[startup+1.50023 s]
/proc/loadavg: 7.59 7.88 7.42 9/274 69539
/proc/meminfo: memFree=127920172/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=58932 CPUtime=2.47 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 18934 0 0 0 245 2 0 0 20 0 3 0 66330127 171061248 14733 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 14733 2176 2102 0 17359 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=128637231 CPUtime=1 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 7408 0 0 0 99 1 0 0 20 0 3 0 66330174 171061248 14733 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=14720 CPUtime=1 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 7646 0 0 0 100 0 0 0 20 0 3 0 66330174 171061248 14733 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 58932 KiB

[startup+3.10556 s]
/proc/loadavg: 7.62 7.88 7.42 9/274 69539
/proc/meminfo: memFree=127892388/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=60852 CPUtime=5.65 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 23794 0 0 0 563 2 0 0 20 0 3 0 66330127 171061248 15213 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 15213 2176 2102 0 17823 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=14720 CPUtime=2.58 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 10406 0 0 0 257 1 0 0 20 0 3 0 66330174 171061248 15213 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=60852 CPUtime=2.6 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 9505 0 0 0 260 0 0 0 20 0 3 0 66330174 171061248 15213 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 60852 KiB

[startup+6.30022 s]
/proc/loadavg: 7.62 7.88 7.42 9/274 69539
/proc/meminfo: memFree=127882756/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=66484 CPUtime=12 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 39412 0 0 0 1197 3 0 0 20 0 3 0 66330127 171061248 16621 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 16621 2176 2102 0 19256 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=5760 CPUtime=5.73 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 19900 0 0 0 572 1 0 0 20 0 3 0 66330174 171061248 16621 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=0 CPUtime=5.78 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 15547 0 0 0 577 1 0 0 20 0 3 0 66330174 171061248 16621 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 12 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 66484 KiB

[startup+12.7002 s]
/proc/loadavg: 7.68 7.89 7.43 9/274 69539
/proc/meminfo: memFree=127867888/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=74292 CPUtime=24.71 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 44406 0 0 0 2467 4 0 0 20 0 3 0 66330127 171061248 18573 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 18573 2176 2102 0 21191 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=0 CPUtime=12.06 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 23944 0 0 0 1205 1 0 0 20 0 3 0 66330174 171061248 18573 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=60852 CPUtime=12.15 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 16491 0 0 0 1214 1 0 0 20 0 3 0 66330174 171061248 18573 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 74292 KiB

[startup+25.5002 s]
/proc/loadavg: 7.73 7.89 7.44 9/274 69539
/proc/meminfo: memFree=127857112/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=79028 CPUtime=50.11 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 57705 0 0 0 5005 6 0 0 20 0 3 0 66330127 171061248 19757 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 19757 2176 2102 0 22513 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=14720 CPUtime=24.71 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 31921 0 0 0 2468 3 0 0 20 0 3 0 66330174 171061248 19757 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=78516 CPUtime=24.9 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 21770 0 0 0 2488 2 0 0 20 0 3 0 66330174 171061248 19757 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 50.11 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 79028 KiB

[startup+51.1058 s]
/proc/loadavg: 7.82 7.90 7.45 9/274 69540
/proc/meminfo: memFree=127820816/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=84364 CPUtime=100.92 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 85355 0 0 0 10083 9 0 0 20 0 3 0 66330127 171061248 21091 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 21091 2176 2102 0 23913 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=84364 CPUtime=50.02 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 48035 0 0 0 4997 5 0 0 20 0 3 0 66330174 171061248 21091 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=84364 CPUtime=50.4 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 33207 0 0 0 5037 3 0 0 20 0 3 0 66330174 171061248 21091 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 100.92 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 84364 KiB

[startup+102.3 s]
/proc/loadavg: 8.04 7.95 7.50 9/274 69542
/proc/meminfo: memFree=127768492/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=87908 CPUtime=202.54 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 133647 0 0 0 20238 16 0 0 20 0 3 0 66330127 171061248 21977 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 21977 2176 2102 0 26016 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=-8183431384195175364 CPUtime=100.62 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 72926 0 0 0 10054 8 0 0 20 0 3 0 66330174 171061248 21977 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=86756 CPUtime=101.37 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 56459 0 0 0 10132 5 0 0 20 0 3 0 66330174 171061248 21977 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 202.54 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 87908 KiB

[startup+162.3 s]
/proc/loadavg: 8.07 7.98 7.54 9/273 69544
/proc/meminfo: memFree=127755856/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=89060 CPUtime=321.64 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 163710 0 0 0 32143 21 0 0 20 0 3 0 66330127 171061248 22265 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 22265 2176 2102 0 26016 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=14720 CPUtime=159.94 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 89074 0 0 0 15983 11 0 0 20 0 3 0 66330174 171061248 22265 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=-8183431384195175364 CPUtime=161.13 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 70260 0 0 0 16106 7 0 0 20 0 3 0 66330174 171061248 22265 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 321.64 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 89060 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 8.00 7.57 9/272 69546
/proc/meminfo: memFree=127711580/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=89828 CPUtime=440.74 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 164166 0 0 0 44050 24 0 0 20 0 3 0 66330127 171061248 22457 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 22457 2176 2102 0 26016 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=89060 CPUtime=219.25 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 89285 0 0 0 21913 12 0 0 20 0 3 0 66330174 171061248 22457 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=89572 CPUtime=220.88 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 70502 0 0 0 22080 8 0 0 20 0 3 0 66330174 171061248 22457 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0

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

Current children cumulated memory: 99800 KiB

[startup+1302.3 s]
/proc/loadavg: 8.11 8.10 7.98 9/271 69600
/proc/meminfo: memFree=127429080/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=99776 CPUtime=2584.67 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 215194 0 0 0 258401 66 0 0 20 0 3 0 66330127 171061248 24944 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 24944 2176 2102 0 27868 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=99800 CPUtime=1289.6 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 109273 0 0 0 128929 31 0 0 20 0 3 0 66330174 171061248 24944 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=100372 CPUtime=1293.88 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 101320 0 0 0 129374 14 0 0 20 0 3 0 66330174 171061248 24944 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 2584.67 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 99776 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.09 7.99 9/271 69602
/proc/meminfo: memFree=127367672/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=100416 CPUtime=2703.82 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 215637 0 0 0 270314 68 0 0 20 0 3 0 66330127 171061248 25104 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 25104 2176 2102 0 27948 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=99732 CPUtime=1349.35 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 109348 0 0 0 134903 32 0 0 20 0 3 0 66330174 171061248 25104 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=100288 CPUtime=1353.25 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 101688 0 0 0 135311 14 0 0 20 0 3 0 66330174 171061248 25104 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 2703.82 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 100416 KiB

[startup+1422.3 s]
/proc/loadavg: 8.27 8.16 8.02 9/270 69604
/proc/meminfo: memFree=127363720/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=101252 CPUtime=2822.96 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 216583 0 0 0 282226 70 0 0 20 0 3 0 66330127 171061248 25313 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 25313 2176 2102 0 27948 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=99732 CPUtime=1409.09 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 110281 0 0 0 140876 33 0 0 20 0 3 0 66330174 171061248 25313 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=101252 CPUtime=1412.61 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 101701 0 0 0 141247 14 0 0 20 0 3 0 66330174 171061248 25313 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 2822.96 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 101252 KiB

[startup+1482.3 s]
/proc/loadavg: 8.21 8.16 8.03 9/269 69606
/proc/meminfo: memFree=127395468/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=96608 CPUtime=2942.13 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 217940 0 0 0 294141 72 0 0 20 0 3 0 66330127 171061248 24152 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 24152 2176 2102 0 28781 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=5760 CPUtime=1468.84 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 110873 0 0 0 146850 34 0 0 20 0 3 0 66330174 171061248 24152 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=4352 CPUtime=1472 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 102464 0 0 0 147185 15 0 0 20 0 3 0 66330174 171061248 24152 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 2942.13 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 96608 KiB

[startup+1542.3 s]
/proc/loadavg: 8.07 8.13 8.02 9/269 69608
/proc/meminfo: memFree=127383664/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=102880 CPUtime=3061.29 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 219516 0 0 0 306056 73 0 0 20 0 3 0 66330127 171061248 25720 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 25720 2176 2102 0 28781 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=96608 CPUtime=1528.6 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 110879 0 0 0 152825 35 0 0 20 0 3 0 66330174 171061248 25720 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=14720 CPUtime=1531.39 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 104034 0 0 0 153124 15 0 0 20 0 3 0 66330174 171061248 25720 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 3061.29 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 102880 KiB

[startup+1602.3 s]
/proc/loadavg: 7.92 8.08 8.01 8/268 69761
/proc/meminfo: memFree=127281556/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=108000 CPUtime=3180.42 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 220802 0 0 0 317966 76 0 0 20 0 3 0 66330127 171061248 27000 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 27000 2176 2102 0 30219 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=14720 CPUtime=1588.32 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 110879 0 0 0 158796 36 0 0 20 0 3 0 66330174 171061248 27000 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=-8183431384195175364 CPUtime=1590.75 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 105317 0 0 0 159060 15 0 0 20 0 3 0 66330174 171061248 27000 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 3180.42 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 108000 KiB

[startup+1662.3 s]
/proc/loadavg: 8.03 8.08 8.01 9/271 70094
/proc/meminfo: memFree=128735828/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=114016 CPUtime=3299.48 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 221953 0 0 0 329862 86 0 0 20 0 3 0 66330127 171061248 28504 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 28504 2176 2102 0 31563 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=110944 CPUtime=1648.05 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 110880 0 0 0 164763 42 0 0 20 0 3 0 66330174 171061248 28504 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=111968 CPUtime=1650.06 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 106467 0 0 0 164987 19 0 0 20 0 3 0 66330174 171061248 28504 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 3299.48 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 114016 KiB

[startup+1722.3 s]
/proc/loadavg: 8.02 8.07 8.00 9/271 70236
/proc/meminfo: memFree=128831964/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=167052 memory=117088 CPUtime=3418.72 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 222556 0 0 0 341785 87 0 0 20 0 3 0 66330127 171061248 29272 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 41763 29272 2176 2102 0 31723 0
[pid=69536/tid=69538] ppid=69533 vsize=167052 memory=114016 CPUtime=1707.84 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 111178 0 0 0 170742 42 0 0 20 0 3 0 66330174 171061248 29272 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=167052 memory=117088 CPUtime=1709.48 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 106748 0 0 0 170929 19 0 0 20 0 3 0 66330174 171061248 29272 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 3418.72 s
Current children cumulated vsize: 167052 KiB
Current children cumulated memory: 117088 KiB

[startup+1782.3 s]
/proc/loadavg: 8.07 8.07 8.00 9/272 70241
/proc/meminfo: memFree=128814544/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=232588 memory=117588 CPUtime=3537.98 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 224518 0 0 0 353709 89 0 0 20 0 3 0 66330127 238170112 29397 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 58147 29397 2176 2102 0 32236 0
[pid=69536/tid=69538] ppid=69533 vsize=232588 memory=116948 CPUtime=1767.64 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 112367 0 0 0 176721 43 0 0 20 0 3 0 66330174 238170112 29397 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=232588 memory=18560 CPUtime=1768.92 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 107521 0 0 0 176872 20 0 0 20 0 3 0 66330174 238170112 29397 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 3537.98 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 117588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.6 s]
/proc/loadavg: 8.04 8.06 8.00 9/272 70243
/proc/meminfo: memFree=128848464/131250000 swapFree=33010416/33010684
[pid=69536] ppid=69533 vsize=232588 memory=117920 CPUtime=3600.19 cores=0,2
/proc/69536/stat : 69536 (cp-sat-runner) S 69533 69536 68188 0 -1 4194304 225280 0 0 0 359929 90 0 0 20 0 3 0 66330127 238170112 29480 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
/proc/69536/statm: 58147 29480 2176 2102 0 32364 0
[pid=69536/tid=69538] ppid=69533 vsize=232588 memory=117920 CPUtime=1798.84 cores=0,2
/proc/69536/task/69538/stat : 69538 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 113011 0 0 0 179840 44 0 0 20 0 3 0 66330174 238170112 29480 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
[pid=69536/tid=69539] ppid=69533 vsize=232588 memory=115716 CPUtime=1799.92 cores=0,2
/proc/69536/task/69539/stat : 69539 (cp-sat-runner) R 69533 69536 68188 0 -1 4194368 107639 0 0 0 179972 20 0 0 20 0 3 0 66330174 238170112 29480 18446744073709551615 4198400 12805993 140728388432032 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 23121920 140728388434200 140728388434405 140728388434405 140728388440007 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 117920 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1813.61 s]
# the end of solver process 69536 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.31 s, system=0.903419 s

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

Child status: 0

Real time (s): 1813.61
CPU time (s): 3600.21
CPU user time (s): 3599.31
CPU system time (s): 0.903419
CPU usage (%): 198.511
Max. virtual memory (cumulated for all children) (KiB): 232588
Max. memory (cumulated for all children) (KiB): 118484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.31
system time used= 0.903419
maximum resident set size= 118484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225286
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= 28818
involuntary context switches= 139977


# summary of solver processes directly reported to runsolver:
#   pid: 69536
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3599.31
#   total CPU system time (s): 0.903419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76622 second user time and 8.63489 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-03 03:35:02
IDJOB=4509490
IDBENCH=158621
IDSOLVER=3320
FILE ID=nodeC027/4509490-1751506502
RUNJOBID= nodeC027-1751504462-68198
SLURM_JOB_ID= 9598594
Free space on /tmp= 431140 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.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-4509490-1751506502/watcher-4509490-1751506502 -o /tmp/evaluation-result-4509490-1751506502/solver-4509490-1751506502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751504462-68198 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1216861079 --competition_mode --input HOME/instance-4509490-1751506502.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1216861079

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127943608 kB
MemAvailable:   128139672 kB
Buffers:            2488 kB
Cached:           996324 kB
SwapCached:           12 kB
Active:          2165672 kB
Inactive:         455820 kB
Active(anon):    1637944 kB
Inactive(anon):     2792 kB
Active(file):     527728 kB
Inactive(file):   453028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12816 kB
Writeback:            12 kB
AnonPages:       1625716 kB
Mapped:           130272 kB
Shmem:             18056 kB
KReclaimable:     108692 kB
Slab:             197880 kB
SReclaimable:     108692 kB
SUnreclaim:        89188 kB
KernelStack:        4384 kB
PageTables:         6308 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2107608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431124 MiB
End job on nodeC027 at 2025-07-03 04:05:16