Trace number 4497810

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)21 3600.13 1812.61

General information on the benchmark

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

Verifier Data 

OK	21

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497810-1751394261/watcher-4497810-1751394261 -o /tmp/evaluation-result-4497810-1751394261/solver-4497810-1751394261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751394261-53044 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1221379718 --competition_mode --input HOME/instance-4497810-1751394261.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53078, runsolver pid=53074
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 2.76 3.80 4.02 5/244 53083
/proc/meminfo: memFree=129381892/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=25748 memory=21052 CPUtime=0.1 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) R 53074 53078 53034 0 -1 4194304 4516 0 0 0 9 1 0 0 20 0 1 0 55105557 26365952 5263 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 6437 5263 1504 2102 0 3977 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25748 KiB
Current children cumulated memory: 21052 KiB

[startup+0.215326 s]*
/proc/loadavg: 2.76 3.80 4.02 6/244 53083
/proc/meminfo: memFree=129351248/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=28932 memory=24124 CPUtime=0.21 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) R 53074 53078 53034 0 -1 4194304 5301 0 0 0 20 1 0 0 20 0 1 0 55105557 29626368 6031 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 7233 6031 1504 2102 0 4773 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28932 KiB
Current children cumulated memory: 24124 KiB

[startup+0.315108 s]*
/proc/loadavg: 2.76 3.80 4.02 5/242 53083
/proc/meminfo: memFree=129327212/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=32804 memory=28720 CPUtime=0.32 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) R 53074 53078 53034 0 -1 4194304 6836 0 0 0 30 2 0 0 20 0 1 0 55105557 33591296 7180 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 8201 7180 1760 2102 0 5741 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 32804 KiB
Current children cumulated memory: 28720 KiB

[startup+0.700352 s]
/proc/loadavg: 2.76 3.80 4.02 5/242 53084
/proc/meminfo: memFree=129294452/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=51504 CPUtime=0.76 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 11946 0 0 0 72 4 0 0 20 0 3 0 55105557 189972480 12876 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 12876 2144 2102 0 18041 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 51504 KiB

[startup+1.50037 s]
/proc/loadavg: 2.76 3.80 4.02 6/249 53095
/proc/meminfo: memFree=129094716/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=61680 CPUtime=2.33 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 13943 0 0 0 229 4 0 0 20 0 3 0 55105557 189972480 15420 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 15420 2176 2102 0 20204 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=95061237 CPUtime=0.86 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 1821 0 0 0 86 0 0 0 20 0 3 0 55105619 189972480 15420 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=14352 CPUtime=0.84 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 3788 0 0 0 83 1 0 0 20 0 3 0 55105619 189972480 15420 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 61680 KiB

[startup+3.10601 s]
/proc/loadavg: 2.76 3.80 4.02 6/249 53095
/proc/meminfo: memFree=128053560/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=69488 CPUtime=5.52 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 20458 0 0 0 547 5 0 0 20 0 3 0 55105557 189972480 17372 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 17372 2176 2102 0 22004 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=14352 CPUtime=2.46 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 4031 0 0 0 246 0 0 0 20 0 3 0 55105619 189972480 17372 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=67696 CPUtime=2.42 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 8050 0 0 0 241 1 0 0 20 0 3 0 55105619 189972480 17372 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 69488 KiB

[startup+6.30024 s]
/proc/loadavg: 2.94 3.82 4.03 6/252 53105
/proc/meminfo: memFree=126068576/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=76856 CPUtime=11.86 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 31332 0 0 0 1180 6 0 0 20 0 3 0 55105557 189972480 19214 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 19214 2176 2102 0 26413 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=-8183430267587957440 CPUtime=5.65 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 7230 0 0 0 564 1 0 0 20 0 3 0 55105619 189972480 19214 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=70256 CPUtime=5.58 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 15651 0 0 0 556 2 0 0 20 0 3 0 55105619 189972480 19214 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 11.86 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 76856 KiB

[startup+12.7002 s]
/proc/loadavg: 3.02 3.82 4.03 6/252 53203
/proc/meminfo: memFree=124970312/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=79052 CPUtime=24.59 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 33089 0 0 0 2452 7 0 0 20 0 3 0 55105557 189972480 19763 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 19763 2176 2102 0 26413 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=79052 CPUtime=12.03 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 7780 0 0 0 1202 1 0 0 20 0 3 0 55105619 189972480 19763 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=78924 CPUtime=11.93 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 16858 0 0 0 1190 3 0 0 20 0 3 0 55105619 189972480 19763 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 79052 KiB

[startup+25.5003 s]
/proc/loadavg: 3.53 3.90 4.05 6/253 53342
/proc/meminfo: memFree=121338128/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=79052 CPUtime=50.02 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 41057 0 0 0 4995 7 0 0 20 0 3 0 55105557 189972480 19763 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 19763 2176 2102 0 26413 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=79052 CPUtime=24.78 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 11021 0 0 0 2477 1 0 0 20 0 3 0 55105619 189972480 19763 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=14352 CPUtime=24.6 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 21495 0 0 0 2457 3 0 0 20 0 3 0 55105619 189972480 19763 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 50.02 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 79052 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.02 4.09 6/253 53389
/proc/meminfo: memFree=113075420/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=83788 CPUtime=100.88 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 49516 0 0 0 10080 8 0 0 20 0 3 0 55105557 189972480 20947 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 20947 2176 2102 0 27616 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=83404 CPUtime=50.29 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 13039 0 0 0 5028 1 0 0 20 0 3 0 55105619 189972480 20947 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=81612 CPUtime=49.92 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 27893 0 0 0 4989 3 0 0 20 0 3 0 55105619 189972480 20947 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 100.88 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 83788 KiB

[startup+102.3 s]
/proc/loadavg: 4.92 4.24 4.16 7/258 53495
/proc/meminfo: memFree=97841720/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=99404 CPUtime=202.58 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 62552 0 0 0 20244 14 0 0 20 0 3 0 55105557 189972480 24851 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 24851 2176 2102 0 30332 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=14352 CPUtime=101.3 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 13725 0 0 0 10128 2 0 0 20 0 3 0 55105619 189972480 24851 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=99020 CPUtime=100.58 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 40196 0 0 0 10050 8 0 0 20 0 3 0 55105619 189972480 24851 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 202.58 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 99404 KiB

[startup+162.3 s]
/proc/loadavg: 6.15 4.70 4.32 8/260 53545
/proc/meminfo: memFree=113900580/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=101452 CPUtime=321.76 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 64942 0 0 0 32158 18 0 0 20 0 3 0 55105557 189972480 25363 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 25363 2176 2102 0 30846 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=11008 CPUtime=161.04 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 13943 0 0 0 16102 2 0 0 20 0 3 0 55105619 189972480 25363 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=101324 CPUtime=159.95 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 42323 0 0 0 15985 10 0 0 20 0 3 0 55105619 189972480 25363 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 321.76 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 101452 KiB

[startup+222.3 s]
/proc/loadavg: 6.75 5.14 4.50 8/261 53594
/proc/meminfo: memFree=106663304/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=185520 memory=111820 CPUtime=440.92 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 67681 0 0 0 44070 22 0 0 20 0 3 0 55105557 189972480 27955 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 46380 27955 2176 2102 0 33435 0
[pid=53078/tid=53090] ppid=53074 vsize=185520 memory=111052 CPUtime=220.77 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 13954 0 0 0 22074 3 0 0 20 0 3 0 55105619 189972480 27955 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=185520 memory=5632 CPUtime=219.34 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 45050 0 0 0 21921 13 0 0 20 0 3 0 55105619 189972480 27955 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 440.92 s
Current children cumulated vsize: 185520 KiB
Current children cumulated memory: 111820 KiB

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

Current children cumulated memory: 132812 KiB

[startup+1302.3 s]
/proc/loadavg: 8.12 8.06 6.98 9/258 53740
/proc/meminfo: memFree=128623232/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=132812 CPUtime=2586.22 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 95334 0 0 0 258527 95 0 0 20 0 3 0 55105557 257081344 33203 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 33203 2176 2102 0 38774 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=132812 CPUtime=1296.09 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14756 0 0 0 129592 17 0 0 20 0 3 0 55105619 257081344 33203 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=132812 CPUtime=1288.55 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 71772 0 0 0 128796 59 0 0 20 0 3 0 55105619 257081344 33203 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 2586.22 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 132812 KiB

[startup+1362.3 s]
/proc/loadavg: 8.08 8.06 7.05 9/258 53742
/proc/meminfo: memFree=128618420/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=134868 CPUtime=2705.42 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 95816 0 0 0 270443 99 0 0 20 0 3 0 55105557 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 33717 2176 2102 0 38774 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=132812 CPUtime=1355.84 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14757 0 0 0 135566 18 0 0 20 0 3 0 55105619 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=11008 CPUtime=1347.97 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72253 0 0 0 134735 62 0 0 20 0 3 0 55105619 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 2705.42 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 134868 KiB

[startup+1422.3 s]
/proc/loadavg: 8.12 8.08 7.12 9/258 53744
/proc/meminfo: memFree=128620952/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=134868 CPUtime=2824.62 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 95838 0 0 0 282358 104 0 0 20 0 3 0 55105557 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 33717 2176 2102 0 38774 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=132812 CPUtime=1415.3 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14758 0 0 0 141509 21 0 0 20 0 3 0 55105619 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=134868 CPUtime=1407.66 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72272 0 0 0 140704 62 0 0 20 0 3 0 55105619 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 2824.62 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 134868 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 8.07 7.18 9/258 53752
/proc/meminfo: memFree=128599928/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=134868 CPUtime=2943.82 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 95850 0 0 0 294275 107 0 0 20 0 3 0 55105557 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 33717 2176 2102 0 38774 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=134868 CPUtime=1474.67 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14758 0 0 0 147443 24 0 0 20 0 3 0 55105619 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=134868 CPUtime=1467.45 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72284 0 0 0 146683 62 0 0 20 0 3 0 55105619 257081344 33717 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 2943.82 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 134868 KiB

[startup+1542.3 s]
/proc/loadavg: 8.22 8.11 7.25 9/258 53755
/proc/meminfo: memFree=128603388/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=137172 CPUtime=3063.02 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 96489 0 0 0 306191 111 0 0 20 0 3 0 55105557 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 34293 2176 2102 0 39356 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=137172 CPUtime=1534.04 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14764 0 0 0 153377 27 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=14352 CPUtime=1527.24 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72917 0 0 0 152662 62 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 3063.02 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 137172 KiB

[startup+1602.3 s]
/proc/loadavg: 8.33 8.17 7.33 9/258 53758
/proc/meminfo: memFree=128620160/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=137172 CPUtime=3182.22 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 96494 0 0 0 318107 115 0 0 20 0 3 0 55105557 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 34293 2176 2102 0 39356 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=137172 CPUtime=1593.42 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14767 0 0 0 159312 30 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=18176 CPUtime=1587.03 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72919 0 0 0 158641 62 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 3182.22 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 137172 KiB

[startup+1662.3 s]
/proc/loadavg: 8.24 8.17 7.39 9/258 53760
/proc/meminfo: memFree=128623708/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=137172 CPUtime=3301.44 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 96495 0 0 0 330026 118 0 0 20 0 3 0 55105557 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 34293 2176 2102 0 39356 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=137172 CPUtime=1652.78 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14767 0 0 0 165245 33 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=137172 CPUtime=1646.85 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72920 0 0 0 164623 62 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 3301.44 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 137172 KiB

[startup+1722.3 s]
/proc/loadavg: 8.15 8.15 7.44 9/258 53762
/proc/meminfo: memFree=128626292/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=137172 CPUtime=3420.67 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 96643 0 0 0 341945 122 0 0 20 0 3 0 55105557 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 34293 2176 2102 0 39356 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=137172 CPUtime=1712.15 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14885 0 0 0 171179 36 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=137172 CPUtime=1706.68 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 72943 0 0 0 170606 62 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 3420.67 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 137172 KiB

[startup+1782.3 s]
/proc/loadavg: 8.29 8.21 7.50 9/258 53764
/proc/meminfo: memFree=128631528/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=137172 CPUtime=3539.9 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 96787 0 0 0 353866 124 0 0 20 0 3 0 55105557 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 34293 2176 2102 0 39356 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=137172 CPUtime=1771.52 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14888 0 0 0 177114 38 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=14352 CPUtime=1766.5 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 73084 0 0 0 176588 62 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 3539.9 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 137172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.6 s]
/proc/loadavg: 8.24 8.21 7.53 9/259 53766
/proc/meminfo: memFree=128631780/131382116 swapFree=33010684/33010684
[pid=53078] ppid=53074 vsize=251056 memory=137172 CPUtime=3600.11 cores=0,2
/proc/53078/stat : 53078 (cp-sat-runner) S 53074 53078 53034 0 -1 4194304 96788 0 0 0 359885 126 0 0 20 0 3 0 55105557 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
/proc/53078/statm: 62764 34293 2176 2102 0 39356 0
[pid=53078/tid=53090] ppid=53074 vsize=251056 memory=6784 CPUtime=1801.49 cores=0,2
/proc/53078/task/53090/stat : 53090 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 14888 0 0 0 180110 39 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
[pid=53078/tid=53091] ppid=53074 vsize=251056 memory=4660 CPUtime=1796.71 cores=0,2
/proc/53078/task/53091/stat : 53091 (cp-sat-runner) R 53074 53078 53034 0 -1 4194368 73085 0 0 0 179609 62 0 0 20 0 3 0 55105619 257081344 34293 18446744073709551615 4198400 12805993 140733484477888 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26030080 140733484480792 140733484480997 140733484480997 140733484486599 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 251056 KiB
Current children cumulated memory: 137172 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.87 s, system=1.26292 s

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

Child status: 0

Real time (s): 1812.61
CPU time (s): 3600.13
CPU user time (s): 3598.87
CPU system time (s): 1.26292
CPU usage (%): 198.616
Max. virtual memory (cumulated for all children) (KiB): 251056
Max. memory (cumulated for all children) (KiB): 137172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.26292
maximum resident set size= 137300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96794
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= 29631
involuntary context switches= 111775


# summary of solver processes directly reported to runsolver:
#   pid: 53078
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3598.87
#   total CPU system time (s): 1.26292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55209 second user time and 8.72629 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-01 20:24:21
IDJOB=4497810
IDBENCH=148194
IDSOLVER=3320
FILE ID=nodeC010/4497810-1751394261
RUNJOBID= nodeC010-1751394261-53044
SLURM_JOB_ID= 9598262
Free space on /tmp= 432688 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.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-4497810-1751394261/watcher-4497810-1751394261 -o /tmp/evaluation-result-4497810-1751394261/solver-4497810-1751394261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751394261-53044 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1221379718 --competition_mode --input HOME/instance-4497810-1751394261.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1221379718

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129402448 kB
MemAvailable:   129925972 kB
Buffers:            3280 kB
Cached:          1330264 kB
SwapCached:            0 kB
Active:           387548 kB
Inactive:        1023976 kB
Active(anon):      95940 kB
Inactive(anon):        0 kB
Active(file):     291608 kB
Inactive(file):  1023976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44396 kB
Writeback:             0 kB
AnonPages:         81520 kB
Mapped:           103872 kB
Shmem:             17960 kB
KReclaimable:      95132 kB
Slab:             178572 kB
SReclaimable:      95132 kB
SUnreclaim:        83440 kB
KernelStack:        3800 kB
PageTables:         2688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     348232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432540 MiB
End job on nodeC010 at 2025-07-01 20:54:34