Trace number 4497672

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)18 3600.03 1810.91

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
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 benchmark18
Best CPU time to get the best result obtained on this benchmark1.91149
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
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.10/0.19	o 24
0.10/0.19	o 23
0.60/0.41	o 22
0.60/0.47	o 21
1.37/0.80	o 20
1.77/1.08	o 19
2.36/1.37	o 18
3600.01/1810.90	s SATISFIABLE
3600.01/1810.90	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 
3600.01/1810.90	v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 
3600.01/1810.90	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.01/1810.90	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.01/1810.90	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3600.01/1810.90	v -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 
3600.01/1810.90	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
3600.01/1810.90	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 
3600.01/1810.90	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 
3600.01/1810.90	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
3600.01/1810.90	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
3600.01/1810.90	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 
3600.01/1810.90	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
3600.01/1810.90	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 
3600.01/1810.90	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 
3600.01/1810.90	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 
3600.01/1810.90	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 
3600.01/1810.90	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 
3600.01/1810.90	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 
3600.01/1810.90	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 
3600.01/1810.90	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
3600.01/1810.90	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
3600.01/1810.90	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 
3600.01/1810.90	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
3600.01/1810.90	v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 
3600.01/1810.90	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3600.01/1810.90	v -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 
3600.01/1810.90	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 
3600.01/1810.90	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 x393 -x394 
3600.01/1810.90	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 
3600.01/1810.90	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
3600.01/1810.90	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 
3600.01/1810.90	v -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 
3600.01/1810.90	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3600.01/1810.90	v -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 
3600.01/1810.90	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 
3600.01/1810.90	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 
3600.01/1810.90	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 
3600.01/1810.90	v -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 
3600.01/1810.90	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 x535 -x536 -x537 
3600.01/1810.90	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
3600.01/1810.90	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
3600.01/1810.90	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
3600.01/1810.90	v -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 
3600.01/1810.90	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 
3600.01/1810.90	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
3600.01/1810.90	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 
3600.01/1810.90	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 
3600.01/1810.90	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 
3600.01/1810.90	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 x664 -x665 -x666 -x667 
3600.01/1810.90	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 
3600.01/1810.90	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 
3600.01/1810.90	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 
3600.01/1810.90	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
3600.01/1810.90	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
3600.01/1810.90	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 
3600.01/1810.90	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 
3600.01/1810.90	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
3600.01/1810.90	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
3600.01/1810.90	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 
3600.01/1810.90	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 
3600.01/1810.90	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 
3600.01/1810.90	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3600.01/1810.90	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 
3600.01/1810.90	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 
3600.01/1810.90	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 
3600.01/1810.90	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 
3600.01/1810.90	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
3600.01/1810.90	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 
3600.01/1810.90	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 
3600.01/1810.90	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
3600.01/1810.90	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 
3600.01/1810.90	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 
3600.01/1810.90	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 
3600.01/1810.90	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 
3600.01/1810.90	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3600.01/1810.90	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
3600.01/1810.90	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
3600.01/1810.90	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 
3600.01/1810.90	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
3600.01/1810.90	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 
3600.01/1810.90	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
3600.01/1810.90	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 
3600.01/1810.90	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
3600.01/1810.90	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 
3600.01/1810.90	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 
3600.01/1810.90	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 
3600.01/1810.90	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 
3600.01/1810.90	v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3600.01/1810.90	v x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
3600.01/1810.90	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
3600.01/1810.90	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 
3600.01/1810.90	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 
3600.01/1810.90	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 
3600.01/1810.90	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 
3600.01/1810.90	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
3600.01/1810.90	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
3600.01/1810.90	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
3600.01/1810.90	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 
3600.01/1810.90	v -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
3600.01/1810.90	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 
3600.01/1810.90	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3600.01/1810.90	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
3600.01/1810.90	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
3600.01/1810.90	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 
3600.01/1810.90	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
3600.01/1810.90	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
3600.01/1810.90	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
3600.01/1810.90	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 
3600.01/1810.90	v x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 
3600.01/1810.90	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
3600.01/1810.90	v -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
3600.01/1810.90	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 
3600.01/1810.90	v -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 
3600.01/1810.90	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
3600.01/1810.90	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 
3600.01/1810.90	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.01/1810.90	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.01/1810.90	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 
3600.01/1810.90	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.01/1810.90	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 
3600.01/1810.90	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 
3600.01/1810.90	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
3600.01/1810.90	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 
3600.01/1810.90	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 
3600.01/1810.90	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
3600.01/1810.90	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 
3600.01/1810.90	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
3600.01/1810.90	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 
3600.01/1810.90	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 
3600.01/1810.90	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 
3600.01/1810.90	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 
3600.01/1810.90	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 
3600.01/1810.90	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 
3600.01/1810.90	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 
3600.01/1810.90	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 
3600.01/1810.90	v x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 
3600.01/1810.90	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 
3600.01/1810.90	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 
3600.01/1810.90	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 
3600.01/1810.90	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 
3600.01/1810.90	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 
3600.01/1810.90	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 
3600.01/1810.90	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 
3600.01/1810.90	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 
3600.01/1810.90	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 
3600.01/1810.90	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 
3600.01/1810.90	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 
3600.01/1810.90	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 
3600.01/1810.90	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 
3600.01/1810.90	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 
3600.01/1810.90	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 
3600.01/1810.90	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 
3600.01/1810.90	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 
3600.01/1810.90	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 
3600.01/1810.90	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 
3600.01/1810.90	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 
3600.01/1810.90	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 
3600.01/1810.90	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 
3600.01/1810.90	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 
3600.01/1810.90	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 
3600.01/1810.90	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 
3600.01/1810.90	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 
3600.01/1810.90	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 
3600.01/1810.90	v -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 
3600.01/1810.90	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 
3600.01/1810.90	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 
3600.01/1810.90	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 
3600.01/1810.90	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 
3600.01/1810.90	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 
3600.01/1810.90	v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 x2048 -x2049 
3600.01/1810.90	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 
3600.01/1810.90	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 
3600.01/1810.90	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 
3600.01/1810.90	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 
3600.01/1810.90	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x2104 
3600.01/1810.90	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 
3600.01/1810.90	v x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 
3600.01/1810.90	v -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 
3600.01/1810.90	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 
3600.01/1810.90	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 x2158 x2159 x2160 
3600.01/1810.90	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 
3600.01/1810.90	v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 
3600.01/1810.90	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 
3600.01/1810.90	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 
3600.01/1810.90	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 
3600.01/1810.90	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 
3600.01/1810.90	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 
3600.01/1810.90	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 
3600.01/1810.90	v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 
3600.01/1810.90	v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 
3600.01/1810.90	v -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 
3600.01/1810.90	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 
3600.01/1810.90	v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 
3600.01/1810.90	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 x2313 -x2314 
3600.01/1810.90	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 
3600.01/1810.90	v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 
3600.01/1810.90	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 
3600.01/1810.90	v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 
3600.01/1810.90	v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 
3600.01/1810.90	v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 
3600.01/1810.90	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 
3600.01/1810.90	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 
3600.01/1810.90	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 
3600.01/1810.90	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 
3600.01/1810.90	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 
3600.01/1810.90	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 
3600.01/1810.90	v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 
3600.01/1810.90	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 
3600.01/1810.90	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 
3600.01/1810.90	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 
3600.01/1810.90	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 
3600.01/1810.90	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 
3600.01/1810.90	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 
3600.01/1810.90	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 
3600.01/1810.90	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 
3600.01/1810.90	v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 
3600.01/1810.90	v -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 
3600.01/1810.90	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 
3600.01/1810.90	v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 
3600.01/1810.90	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 
3600.01/1810.90	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 
3600.01/1810.90	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 
3600.01/1810.90	v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 
3600.01/1810.90	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 
3600.01/1810.90	v -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 
3600.01/1810.90	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 
3600.01/1810.90	v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 
3600.01/1810.90	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 x2688 
3600.01/1810.90	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 
3600.01/1810.90	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 
3600.01/1810.90	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 
3600.01/1810.90	v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 
3600.01/1810.90	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 
3600.01/1810.90	v -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 
3600.01/1810.90	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 
3600.01/1810.90	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 
3600.01/1810.90	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 
3600.01/1810.90	v -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 
3600.01/1810.90	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 
3600.01/1810.90	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 
3600.01/1810.90	v -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 
3600.01/1810.90	v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 
3600.01/1810.90	v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 
3600.01/1810.90	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 
3600.01/1810.90	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 
3600.01/1810.90	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 
3600.01/1810.90	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 
3600.01/1810.90	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 
3600.01/1810.90	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 
3600.01/1810.90	v -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 x2928 x2929 -x2930 -x2931 
3600.01/1810.90	v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 
3600.01/1810.90	v -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 
3600.01/1810.90	v -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 
3600.01/1810.90	v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 
3600.01/1810.90	v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 
3600.01/1810.90	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 
3600.01/1810.90	v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 
3600.01/1810.90	v -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 
3600.01/1810.90	v -x3020 -x3021 -x3022 -x3023 x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 
3600.01/1810.90	v -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 
3600.01/1810.90	v -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 
3600.01/1810.90	v -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 
3600.01/1810.90	v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 
3600.01/1810.90	v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 
3600.01/1810.90	v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 
3600.01/1810.90	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 
3600.01/1810.90	v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 
3600.01/1810.90	v -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 
3600.01/1810.90	v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 
3600.01/1810.90	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 
3600.01/1810.90	v -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 
3600.01/1810.90	v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 
3600.01/1810.90	v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 x3184 
3600.01/1810.90	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 
3600.01/1810.90	v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 x3206 
3600.01/1810.90	v -x3207 -x3208 x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 
3600.01/1810.90	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 
3600.01/1810.90	v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 
3600.01/1810.90	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 x3251 
3600.01/1810.90	v -x3252 x3253 -x3254 x3255 -x3256 x3257 -x3258 x3259 -x3260 x3261 -x3262 x3263 
3600.01/1810.90	v -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 -x3273 -x3274 
3600.01/1810.90	v -x3275 -x3276 x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 
3600.01/1810.90	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 
3600.01/1810.90	v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 
3600.01/1810.90	v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 
3600.01/1810.90	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 x3329 
3600.01/1810.90	v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 
3600.01/1810.90	v x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 
3600.01/1810.90	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 
3600.01/1810.90	v x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 
3600.01/1810.90	v -x3374 -x3375 -x3376 -x3377 x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 
3600.01/1810.90	v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 
3600.01/1810.90	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 
3600.01/1810.90	v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 
3600.01/1810.90	v -x3418 -x3419 -x3420 -x3421 x3422 x3423 -x3424 -x3425 x3426 -x3427 x3428 -x3429 
3600.01/1810.90	v x3430 -x3431 x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 
3600.01/1810.90	v -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 
3600.01/1810.90	v -x3453 x3454 -x3455 x3456 -x3457 x3458 -x3459 x3460 -x3461 x3462 -x3463 x3464 
3600.01/1810.90	v -x3465 x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 
3600.01/1810.90	v -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 
3600.01/1810.90	v -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 
3600.01/1810.90	v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 
3600.01/1810.90	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 
3600.01/1810.90	v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 
3600.01/1810.90	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 
3600.01/1810.90	v -x3542 x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 
3600.01/1810.90	v -x3553 -x3554 -x3555 -x3556 x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 
3600.01/1810.90	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 
3600.01/1810.90	v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 
3600.01/1810.90	v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 
3600.01/1810.90	v -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 
3600.01/1810.90	v x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 
3600.01/1810.90	v -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 x3630 
3600.01/1810.90	v -x3631 -x3632 -x3633 x3634 -x3635 x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 
3600.01/1810.90	v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 
3600.01/1810.90	v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 
3600.01/1810.90	v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 
3600.01/1810.90	v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 
3600.01/1810.90	v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 
3600.01/1810.90	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 
3600.01/1810.90	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 
3600.01/1810.90	v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 
3600.01/1810.90	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 
3600.01/1810.90	v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 
3600.01/1810.90	v -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 
3600.01/1810.90	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 
3600.01/1810.90	v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 
3600.01/1810.90	v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 
3600.01/1810.90	v -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 x3804 -x3805 -x3806 -x3807 
3600.01/1810.90	v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 
3600.01/1810.90	v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 
3600.01/1810.90	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 
3600.01/1810.90	v x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 
3600.01/1810.90	v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 
3600.01/1810.90	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 
3600.01/1810.90	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 
3600.01/1810.90	v -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 
3600.01/1810.90	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 
3600.01/1810.90	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 
3600.01/1810.90	v -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 
3600.01/1810.90	v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 
3600.01/1810.90	v -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 
3600.01/1810.90	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 
3600.01/1810.90	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 
3600.01/1810.90	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 
3600.01/1810.90	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 
3600.01/1810.90	v -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 
3600.01/1810.90	v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 
3600.01/1810.90	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 
3600.01/1810.90	v -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 
3600.01/1810.90	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 
3600.01/1810.90	v -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 
3600.01/1810.90	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 
3600.01/1810.90	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 
3600.01/1810.90	v -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 
3600.01/1810.90	v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 
3600.01/1810.90	v -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 
3600.01/1810.90	v x4116 -x4117 x4118 -x4119 -x4120 x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 
3600.01/1810.90	v -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 x4136 x4137 x4138 -x4139 
3600.01/1810.90	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 
3600.01/1810.90	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 
3600.01/1810.90	v -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 
3600.01/1810.90	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 
3600.01/1810.90	v x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 
3600.01/1810.90	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 
3600.01/1810.90	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 x4214 -x4215 -x4216 
3600.01/1810.90	v -x4217 -x4218 x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 x4228 
3600.01/1810.90	v x4229 -x4230 -x4231 -x4232 x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 x4240 
3600.01/1810.90	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 
3600.01/1810.90	v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 
3600.01/1810.90	v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 
3600.01/1810.90	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 
3600.01/1810.90	v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 x4294 -x4295 
3600.01/1810.90	v x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 
3600.01/1810.90	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 x4315 -x4316 x4317 -x4318

Verifier Data 

OK	18

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62624 MiB free)
  memory of node 1: 64507 MiB (63314 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497672-1751322807/watcher-4497672-1751322807 -o /tmp/evaluation-result-4497672-1751322807/solver-4497672-1751322807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751313715-47856 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:451337210 --competition_mode --input HOME/instance-4497672-1751322807.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=50488, runsolver pid=50485

[startup+0.100064 s]*
/proc/loadavg: 7.93 8.05 8.08 8/271 50489
/proc/meminfo: memFree=128952640/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=28224 memory=24888 CPUtime=0.1 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) R 50485 50488 47844 0 -1 4194304 5733 0 0 0 9 1 0 0 20 0 1 0 47958641 28901376 6222 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 7056 6222 1888 2102 0 4596 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28224 KiB
Current children cumulated memory: 24888 KiB

[startup+0.205598 s]*
/proc/loadavg: 7.93 8.05 8.08 9/273 50491
/proc/meminfo: memFree=128936764/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=41264 CPUtime=0.21 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 9779 0 0 0 20 1 0 0 20 0 3 0 47958641 181280768 10316 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 10316 2144 2102 0 14665 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=3472285463193977116 CPUtime=0.03 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 2362 0 0 0 3 0 0 0 20 0 3 0 47958658 181280768 10316 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=18949 CPUtime=0.02 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 1261 0 0 0 2 0 0 0 20 0 3 0 47958658 181280768 10316 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 41264 KiB

[startup+0.305514 s]*
/proc/loadavg: 7.93 8.05 8.08 9/273 50491
/proc/meminfo: memFree=128936764/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=44524 CPUtime=0.4 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 10126 0 0 0 39 1 0 0 20 0 3 0 47958641 181280768 11131 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 11131 2144 2102 0 15004 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=-8183429163714450111 CPUtime=0.12 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 2578 0 0 0 12 0 0 0 20 0 3 0 47958658 181280768 11131 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=0 CPUtime=0.12 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 1392 0 0 0 12 0 0 0 20 0 3 0 47958658 181280768 11131 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 44524 KiB

[startup+0.70017 s]
/proc/loadavg: 7.93 8.05 8.08 9/273 50491
/proc/meminfo: memFree=128937084/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=49904 CPUtime=1.17 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 10911 0 0 0 116 1 0 0 20 0 3 0 47958641 181280768 12476 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 12476 2144 2102 0 15929 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=0 CPUtime=0.5 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 3295 0 0 0 50 0 0 0 20 0 3 0 47958658 181280768 12476 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=0 CPUtime=0.5 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 1460 0 0 0 50 0 0 0 20 0 3 0 47958658 181280768 12476 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 49904 KiB

[startup+1.50023 s]
/proc/loadavg: 7.93 8.05 8.08 9/273 50491
/proc/meminfo: memFree=128937084/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=53112 CPUtime=2.76 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 13467 0 0 0 275 1 0 0 20 0 3 0 47958641 181280768 13278 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 13278 2144 2102 0 16275 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=0 CPUtime=1.29 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 4050 0 0 0 129 0 0 0 20 0 3 0 47958658 181280768 13278 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=0 CPUtime=1.3 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 3232 0 0 0 130 0 0 0 20 0 3 0 47958658 181280768 13278 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 53112 KiB

[startup+3.10543 s]
/proc/loadavg: 7.93 8.05 8.08 9/273 50491
/proc/meminfo: memFree=128929588/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=60796 CPUtime=5.95 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 17261 0 0 0 594 1 0 0 20 0 3 0 47958641 181280768 15199 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 15199 2144 2102 0 19623 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=0 CPUtime=2.88 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 7390 0 0 0 288 0 0 0 20 0 3 0 47958658 181280768 15199 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=14848 CPUtime=2.9 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 3686 0 0 0 290 0 0 0 20 0 3 0 47958658 181280768 15199 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 60796 KiB

[startup+6.30023 s]
/proc/loadavg: 7.94 8.05 8.08 9/273 50491
/proc/meminfo: memFree=128929708/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=60796 CPUtime=12.3 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 24381 0 0 0 1228 2 0 0 20 0 3 0 47958641 181280768 15199 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 15199 2144 2102 0 19623 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=0 CPUtime=6.04 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 11878 0 0 0 604 0 0 0 20 0 3 0 47958658 181280768 15199 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=-8183429163714450111 CPUtime=6.08 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 6240 0 0 0 608 0 0 0 20 0 3 0 47958658 181280768 15199 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 60796 KiB

[startup+12.7002 s]
/proc/loadavg: 8.02 8.07 8.08 9/273 50491
/proc/meminfo: memFree=128929708/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=60924 CPUtime=25.02 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 29258 0 0 0 2500 2 0 0 20 0 3 0 47958641 181280768 15231 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 15231 2144 2102 0 19638 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=-8183429163714450111 CPUtime=12.39 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 15344 0 0 0 1238 1 0 0 20 0 3 0 47958658 181280768 15231 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=-8183429163714450111 CPUtime=12.46 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 7614 0 0 0 1246 0 0 0 20 0 3 0 47958658 181280768 15231 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 60924 KiB

[startup+25.5002 s]
/proc/loadavg: 8.02 8.06 8.08 9/273 50491
/proc/meminfo: memFree=128930008/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=63356 CPUtime=50.46 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 34434 0 0 0 5043 3 0 0 20 0 3 0 47958641 181280768 15839 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 15839 2144 2102 0 20272 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=-8183429163714450111 CPUtime=25.05 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 19957 0 0 0 2504 1 0 0 20 0 3 0 47958658 181280768 15839 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=14848 CPUtime=25.21 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 8122 0 0 0 2521 0 0 0 20 0 3 0 47958658 181280768 15839 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 50.46 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 63356 KiB

[startup+51.1054 s]
/proc/loadavg: 8.01 8.06 8.08 9/273 50492
/proc/meminfo: memFree=128928092/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=64252 CPUtime=101.36 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 42197 0 0 0 10132 4 0 0 20 0 3 0 47958641 181280768 16063 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 16063 2144 2102 0 20572 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=64252 CPUtime=50.42 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 27135 0 0 0 5040 2 0 0 20 0 3 0 47958658 181280768 16063 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=14848 CPUtime=50.74 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 8666 0 0 0 5073 1 0 0 20 0 3 0 47958658 181280768 16063 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 101.36 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 64252 KiB

[startup+102.3 s]
/proc/loadavg: 8.07 8.06 8.08 9/272 50494
/proc/meminfo: memFree=128902484/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=69884 CPUtime=203.12 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 53060 0 0 0 20305 7 0 0 20 0 3 0 47958641 181280768 17471 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 17471 2144 2102 0 22004 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=68988 CPUtime=101.12 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 37425 0 0 0 10109 3 0 0 20 0 3 0 47958658 181280768 17471 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=68348 CPUtime=101.75 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 9189 0 0 0 10174 1 0 0 20 0 3 0 47958658 181280768 17471 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 203.12 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 69884 KiB

[startup+162.3 s]
/proc/loadavg: 8.08 8.06 8.08 9/272 50498
/proc/meminfo: memFree=128870328/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=75644 CPUtime=322.38 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 56721 0 0 0 32229 9 0 0 20 0 3 0 47958641 181280768 18911 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 18911 2144 2102 0 23443 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=75004 CPUtime=160.55 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 39222 0 0 0 16051 4 0 0 20 0 3 0 47958658 181280768 18911 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=75260 CPUtime=161.55 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 10979 0 0 0 16153 2 0 0 20 0 3 0 47958658 181280768 18911 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 322.38 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 75644 KiB

[startup+222.3 s]
/proc/loadavg: 8.07 8.06 8.08 9/272 50500

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

Current children cumulated memory: 97404 KiB

[startup+1362.3 s]
/proc/loadavg: 6.08 6.42 7.19 7/263 50633
/proc/meminfo: memFree=128940520/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=2707.95 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 92642 0 0 0 270742 53 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=14848 CPUtime=1349.49 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72576 0 0 0 134924 25 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1357.54 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13408 0 0 0 135742 12 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 2707.95 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1422.3 s]
/proc/loadavg: 6.07 6.36 7.12 7/265 50638
/proc/meminfo: memFree=128938172/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=2827.26 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 92969 0 0 0 282671 55 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=14848 CPUtime=1408.94 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72836 0 0 0 140868 26 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1417.36 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13468 0 0 0 141724 12 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 2827.26 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1482.3 s]
/proc/loadavg: 6.12 6.32 7.06 7/265 50641
/proc/meminfo: memFree=128937216/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=2946.57 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 92970 0 0 0 294600 57 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=97404 CPUtime=1468.41 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72836 0 0 0 146813 28 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1477.19 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13469 0 0 0 147707 12 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 2946.57 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1542.3 s]
/proc/loadavg: 6.10 6.27 6.99 7/265 50649
/proc/meminfo: memFree=128937904/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3065.89 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93071 0 0 0 306530 59 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=14848 CPUtime=1527.87 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72872 0 0 0 152758 29 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=14848 CPUtime=1537.02 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13524 0 0 0 153689 13 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3065.89 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1602.3 s]
/proc/loadavg: 6.15 6.25 6.94 7/265 50651
/proc/meminfo: memFree=128946924/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3185.2 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93073 0 0 0 318459 61 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=3328 CPUtime=1587.33 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72872 0 0 0 158703 30 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=4380 CPUtime=1596.85 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13525 0 0 0 159672 13 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3185.2 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1662.3 s]
/proc/loadavg: 6.11 6.22 6.88 7/265 50668
/proc/meminfo: memFree=128939188/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3304.52 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93074 0 0 0 330388 64 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=97404 CPUtime=1646.79 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72873 0 0 0 164648 31 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=14848 CPUtime=1656.68 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13525 0 0 0 165654 14 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3304.52 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1722.3 s]
/proc/loadavg: 6.08 6.19 6.83 7/263 50670
/proc/meminfo: memFree=128939796/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3423.83 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93172 0 0 0 342317 66 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=21952 CPUtime=1706.26 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72908 0 0 0 170593 33 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1716.51 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13581 0 0 0 171637 14 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3423.83 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

[startup+1782.3 s]
/proc/loadavg: 6.14 6.19 6.79 7/263 50673
/proc/meminfo: memFree=128937760/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3543.13 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93173 0 0 0 354245 68 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=97404 CPUtime=1765.74 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72908 0 0 0 176539 35 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1776.32 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13582 0 0 0 177617 15 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3543.13 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 5.60 6.05 6.72 5/255 50704
/proc/meminfo: memFree=129170508/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3600.01 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93173 0 0 0 359932 69 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=97404 CPUtime=1794.09 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72908 0 0 0 179374 35 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1804.82 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13582 0 0 0 180467 15 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.33 s, system=0.693139 s

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

[startup+1810.9 s]
/proc/loadavg: 5.60 6.05 6.72 5/255 50704
/proc/meminfo: memFree=129170508/131249996 swapFree=33010684/33010684
[pid=50488] ppid=50485 vsize=177032 memory=97404 CPUtime=3600.01 cores=1,3
/proc/50488/stat : 50488 (cp-sat-runner) S 50485 50488 47844 0 -1 4194304 93173 0 0 0 359932 69 0 0 20 0 3 0 47958641 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
/proc/50488/statm: 44258 24351 2144 2102 0 27912 0
[pid=50488/tid=50490] ppid=50485 vsize=177032 memory=97404 CPUtime=1794.09 cores=1,3
/proc/50488/task/50490/stat : 50490 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 72908 0 0 0 179374 35 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
[pid=50488/tid=50491] ppid=50485 vsize=177032 memory=97404 CPUtime=1804.82 cores=1,3
/proc/50488/task/50491/stat : 50491 (cp-sat-runner) R 50485 50488 47844 0 -1 4194368 13582 0 0 0 180467 15 0 0 20 0 3 0 47958658 181280768 24351 18446744073709551615 4198400 12805993 140733075957808 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 24924160 140733075966233 140733075966437 140733075966437 140733075972039 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 177032 KiB
Current children cumulated memory: 97404 KiB

Child status: 0

Real time (s): 1810.91
CPU time (s): 3600.03
CPU user time (s): 3599.33
CPU system time (s): 0.693139
CPU usage (%): 198.796
Max. virtual memory (cumulated for all children) (KiB): 177032
Max. memory (cumulated for all children) (KiB): 97404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.693139
maximum resident set size= 97660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93180
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= 30063
involuntary context switches= 90628


# summary of solver processes directly reported to runsolver:
#   pid: 50488
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.33
#   total CPU system time (s): 0.693139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10239 second user time and 7.75368 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-01 00:33:27
IDJOB=4497672
IDBENCH=148191
IDSOLVER=3320
FILE ID=nodeC024/4497672-1751322807
RUNJOBID= nodeC024-1751313715-47856
SLURM_JOB_ID= 9594318
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=451337210

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128960980 kB
MemAvailable:   129327716 kB
Buffers:            3280 kB
Cached:          1172396 kB
SwapCached:            0 kB
Active:           742112 kB
Inactive:         916892 kB
Active(anon):     501392 kB
Inactive(anon):        0 kB
Active(file):     240720 kB
Inactive(file):   916892 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27068 kB
Writeback:            16 kB
AnonPages:        486472 kB
Mapped:           129292 kB
Shmem:             18064 kB
KReclaimable:      96324 kB
Slab:             183508 kB
SReclaimable:      96324 kB
SUnreclaim:        87184 kB
KernelStack:        4320 kB
PageTables:         4000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     920740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC024 at 2025-07-01 01:03:39