Trace number 4497396

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)20 3600.05 1811.91

General information on the benchmark

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

Verifier Data 

OK	20

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=55719, runsolver pid=55716

[startup+0.100099 s]*
/proc/loadavg: 7.33 7.86 8.01 7/251 55720
/proc/meminfo: memFree=129219540/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=25800 memory=20992 CPUtime=0.1 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) R 55716 55719 52096 0 -1 4194304 4518 0 0 0 9 1 0 0 20 0 1 0 47949697 26419200 5248 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 6450 5248 1504 2102 0 3990 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25800 KiB
Current children cumulated memory: 20992 KiB

[startup+0.212918 s]*
/proc/loadavg: 7.33 7.86 8.01 7/251 55720
/proc/meminfo: memFree=129205680/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=28820 memory=24064 CPUtime=0.21 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) R 55716 55719 52096 0 -1 4194304 5273 0 0 0 20 1 0 0 20 0 1 0 47949697 29511680 6016 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 7205 6016 1504 2102 0 4745 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28820 KiB
Current children cumulated memory: 24064 KiB

[startup+0.312685 s]*
/proc/loadavg: 7.33 7.86 8.01 7/250 55721
/proc/meminfo: memFree=129197376/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=33212 memory=29152 CPUtime=0.32 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) R 55716 55719 52096 0 -1 4194304 6961 0 0 0 30 2 0 0 20 0 1 0 47949697 34009088 7288 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 8303 7288 1760 2102 0 5843 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 33212 KiB
Current children cumulated memory: 29152 KiB

[startup+0.700277 s]
/proc/loadavg: 7.33 7.86 8.01 7/254 55730
/proc/meminfo: memFree=129172748/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=56384 CPUtime=0.77 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 12962 0 0 0 74 3 0 0 20 0 3 0 47949697 189509632 14096 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 14096 2144 2102 0 19390 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 56384 KiB

[startup+1.50028 s]
/proc/loadavg: 7.33 7.86 8.01 8/256 55732
/proc/meminfo: memFree=129110500/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=61332 CPUtime=2.35 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 13664 0 0 0 231 4 0 0 20 0 3 0 47949697 189509632 15333 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 15333 2144 2102 0 20074 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=0 CPUtime=0.88 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 3765 0 0 0 88 0 0 0 20 0 3 0 47949756 189509632 15333 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=14340 CPUtime=0.88 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 1672 0 0 0 88 0 0 0 20 0 3 0 47949756 189509632 15333 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 61332 KiB

[startup+3.10529 s]
/proc/loadavg: 7.33 7.86 8.01 8/257 55733
/proc/meminfo: memFree=128783252/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=71060 CPUtime=5.54 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 19962 0 0 0 549 5 0 0 20 0 3 0 47949697 189509632 17765 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 17765 2144 2102 0 21739 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=14340 CPUtime=2.46 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 7868 0 0 0 245 1 0 0 20 0 3 0 47949756 189509632 17765 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=0 CPUtime=2.47 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 3841 0 0 0 247 0 0 0 20 0 3 0 47949756 189509632 17765 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 71060 KiB

[startup+6.30022 s]
/proc/loadavg: 7.30 7.85 8.00 8/257 55733
/proc/meminfo: memFree=128594972/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=79684 CPUtime=11.89 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 30675 0 0 0 1183 6 0 0 20 0 3 0 47949697 189509632 19921 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 19921 2144 2102 0 26349 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=14340 CPUtime=5.63 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 16056 0 0 0 561 2 0 0 20 0 3 0 47949756 189509632 19921 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=79684 CPUtime=5.67 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 6335 0 0 0 566 1 0 0 20 0 3 0 47949756 189509632 19921 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 11.89 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 79684 KiB

[startup+12.7002 s]
/proc/loadavg: 7.28 7.83 7.99 8/256 55750
/proc/meminfo: memFree=128828084/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=79812 CPUtime=24.6 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 37878 0 0 0 2453 7 0 0 20 0 3 0 47949697 189509632 19953 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 19953 2144 2102 0 26351 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=17664 CPUtime=11.96 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 19832 0 0 0 1194 2 0 0 20 0 3 0 47949756 189509632 19953 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=11264 CPUtime=12.04 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 9682 0 0 0 1203 1 0 0 20 0 3 0 47949756 189509632 19953 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 24.6 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 79812 KiB

[startup+25.5002 s]
/proc/loadavg: 7.37 7.82 7.99 9/259 55783
/proc/meminfo: memFree=128138348/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=80324 CPUtime=50.04 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 39578 0 0 0 4997 7 0 0 20 0 3 0 47949697 189509632 20081 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 20081 2144 2102 0 26479 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=14340 CPUtime=24.64 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 21466 0 0 0 2461 3 0 0 20 0 3 0 47949756 189509632 20081 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=80196 CPUtime=24.8 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 9742 0 0 0 2479 1 0 0 20 0 3 0 47949756 189509632 20081 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 50.04 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 80324 KiB

[startup+51.1055 s]
/proc/loadavg: 7.28 7.77 7.97 7/251 55814
/proc/meminfo: memFree=129130688/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=86084 CPUtime=100.87 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 49319 0 0 0 10074 13 0 0 20 0 3 0 47949697 189509632 21521 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 21521 2144 2102 0 27972 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=84420 CPUtime=49.95 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 30474 0 0 0 4991 4 0 0 20 0 3 0 47949756 189509632 21521 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=0 CPUtime=50.29 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 10391 0 0 0 5024 5 0 0 20 0 3 0 47949756 189509632 21521 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 100.87 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 86084 KiB

[startup+102.3 s]
/proc/loadavg: 6.62 7.51 7.87 7/252 55821
/proc/meminfo: memFree=129103448/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=96580 CPUtime=202.57 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 65495 0 0 0 20241 16 0 0 20 0 3 0 47949697 189509632 24145 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 24145 2144 2102 0 30571 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=93380 CPUtime=100.61 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 44354 0 0 0 10055 6 0 0 20 0 3 0 47949756 189509632 24145 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=92612 CPUtime=101.3 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 12593 0 0 0 10124 6 0 0 20 0 3 0 47949756 189509632 24145 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 202.57 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 96580 KiB

[startup+162.3 s]
/proc/loadavg: 6.53 7.34 7.79 7/252 55823
/proc/meminfo: memFree=129087472/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=106308 CPUtime=321.76 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 76912 0 0 0 32156 20 0 0 20 0 3 0 47949697 189509632 26577 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 26577 2144 2102 0 31912 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=3328 CPUtime=159.98 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 55637 0 0 0 15990 8 0 0 20 0 3 0 47949756 189509632 26577 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=106308 CPUtime=161.06 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 12684 0 0 0 16100 6 0 0 20 0 3 0 47949756 189509632 26577 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 321.76 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 106308 KiB

[startup+222.3 s]
/proc/loadavg: 6.30 7.12 7.68 7/252 55825
/proc/meminfo: memFree=129090148/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=185068 memory=110276 CPUtime=440.99 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 77963 0 0 0 44076 23 0 0 20 0 3 0 47949697 189509632 27569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 46267 27569 2144 2102 0 32897 0
[pid=55719/tid=55731] ppid=55716 vsize=185068 memory=108484 CPUtime=219.37 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 56637 0 0 0 21928 9 0 0 20 0 3 0 47949756 189509632 27569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=185068 memory=110276 CPUtime=220.85 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 12725 0 0 0 22078 7 0 0 20 0 3 0 47949756 189509632 27569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 440.99 s
Current children cumulated vsize: 185068 KiB
Current children cumulated memory: 110276 KiB


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

Current children cumulated memory: 134276 KiB

[startup+1362.3 s]
/proc/loadavg: 4.21 5.25 6.22 5/244 55912
/proc/meminfo: memFree=129002884/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=2706.37 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100044 0 0 0 270579 58 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1348.08 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78252 0 0 0 134787 21 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1356.78 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13089 0 0 0 135655 23 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 2706.37 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 5.04 6.08 5/244 55914
/proc/meminfo: memFree=128995408/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=2825.61 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100045 0 0 0 282502 59 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1407.52 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78252 0 0 0 140731 21 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1416.54 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13089 0 0 0 141631 23 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 2825.61 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.86 5.95 5/244 55916
/proc/meminfo: memFree=128982352/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=2944.87 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100051 0 0 0 294427 60 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=14340 CPUtime=1466.98 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78252 0 0 0 146676 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1476.32 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13095 0 0 0 147609 23 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 2944.87 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1542.3 s]
/proc/loadavg: 4.08 4.72 5.83 5/242 55917
/proc/meminfo: memFree=128982384/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3064.13 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100054 0 0 0 306353 60 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1526.44 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78255 0 0 0 152622 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1536.1 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13095 0 0 0 153586 24 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3064.13 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1602.3 s]
/proc/loadavg: 4.14 4.62 5.73 5/241 55919
/proc/meminfo: memFree=128974328/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3183.39 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100057 0 0 0 318278 61 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=11264 CPUtime=1585.9 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78255 0 0 0 158568 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=11264 CPUtime=1595.88 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13095 0 0 0 159564 24 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3183.39 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1662.3 s]
/proc/loadavg: 4.05 4.50 5.62 5/241 55921
/proc/meminfo: memFree=128974352/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3302.66 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100057 0 0 0 330204 62 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=17664 CPUtime=1645.35 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78255 0 0 0 164513 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=11264 CPUtime=1655.66 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13095 0 0 0 165541 25 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3302.66 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.44 5.52 5/241 55923
/proc/meminfo: memFree=128974604/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3421.92 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100127 0 0 0 342129 63 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1704.81 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78267 0 0 0 170459 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1715.43 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13148 0 0 0 171518 25 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3421.92 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.37 5.43 5/241 55940
/proc/meminfo: memFree=128973860/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3541.19 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100130 0 0 0 354055 64 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1764.27 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78270 0 0 0 176405 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1775.22 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13148 0 0 0 177496 26 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3541.19 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.9 s]
/proc/loadavg: 4.15 4.35 5.39 5/242 55945
/proc/meminfo: memFree=128974616/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3600.04 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100133 0 0 0 359939 65 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1793.6 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78270 0 0 0 179338 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1804.72 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13150 0 0 0 180446 26 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.4 s, system=0.652924 s

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

[startup+1811.9 s]
/proc/loadavg: 4.15 4.35 5.39 5/242 55945
/proc/meminfo: memFree=128974616/131382112 swapFree=33010684/33010684
[pid=55719] ppid=55716 vsize=250604 memory=134276 CPUtime=3600.04 cores=1,3
/proc/55719/stat : 55719 (cp-sat-runner) S 55716 55719 52096 0 -1 4194304 100133 0 0 0 359939 65 0 0 20 0 3 0 47949697 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
/proc/55719/statm: 62651 33569 2144 2102 0 38441 0
[pid=55719/tid=55731] ppid=55716 vsize=250604 memory=134276 CPUtime=1793.6 cores=1,3
/proc/55719/task/55731/stat : 55731 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 78270 0 0 0 179338 22 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
[pid=55719/tid=55732] ppid=55716 vsize=250604 memory=134276 CPUtime=1804.72 cores=1,3
/proc/55719/task/55732/stat : 55732 (cp-sat-runner) R 55716 55719 52096 0 -1 4194368 13150 0 0 0 180446 26 0 0 20 0 3 0 47949756 256618496 33569 18446744073709551615 4198400 12805993 140724000981584 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29208576 140724000983320 140724000983525 140724000983525 140724000989127 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 134276 KiB

Child status: 0

Real time (s): 1811.91
CPU time (s): 3600.05
CPU user time (s): 3599.4
CPU system time (s): 0.652924
CPU usage (%): 198.688
Max. virtual memory (cumulated for all children) (KiB): 250604
Max. memory (cumulated for all children) (KiB): 134276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.652924
maximum resident set size= 134532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100139
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= 29769
involuntary context switches= 72907


# summary of solver processes directly reported to runsolver:
#   pid: 55719
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.4
#   total CPU system time (s): 0.652924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20519 second user time and 8.39358 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-01 00:31:46
IDJOB=4497396
IDBENCH=148185
IDSOLVER=3320
FILE ID=nodeC007/4497396-1751322705
RUNJOBID= nodeC007-1751312874-52108
SLURM_JOB_ID= 9594310
Free space on /tmp= 432976 MiB

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

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1902655784

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

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129233400 kB
MemAvailable:   129455856 kB
Buffers:            3280 kB
Cached:          1029404 kB
SwapCached:            0 kB
Active:           768424 kB
Inactive:         782880 kB
Active(anon):     536596 kB
Inactive(anon):        0 kB
Active(file):     231828 kB
Inactive(file):   782880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18088 kB
Writeback:             4 kB
AnonPages:        521784 kB
Mapped:           120580 kB
Shmem:             17960 kB
KReclaimable:      94748 kB
Slab:             177736 kB
SReclaimable:      94748 kB
SUnreclaim:        82988 kB
KernelStack:        4048 kB
PageTables:         3968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     886560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC007 at 2025-07-01 01:01:58