Trace number 4526061

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14Wrong Cert. 3600.15 1819.05

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
driver/normalized-driverlog09_wcsp.wbo
MD5SUMa775ba4e40b6fa0cd8cccf00ddaf4c72
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark744
Best CPU time to get the best result obtained on this benchmark5.98684
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2872
Total number of constraints139820
Number of soft constraints139170
Number of constraints which are clauses139170
Number of constraints which are cardinality constraints (but not clauses)650
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint12
Top cost 57492
Min constraint cost 1
Max constraint cost 57492
Sum of constraints costs 7912207592
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 13
Number of bits of the biggest sum of numbers4
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 

8.10/7.82	o 2990426
8.70/8.14	o 2645177
13.64/10.64	o 2530193
16.44/12.04	o 1725221
20.40/14.03	o 1667756
25.15/16.49	o 1092733
29.30/18.57	o 920258
31.08/19.48	o 747749
31.28/19.57	o 747738
31.47/19.60	o 747737
31.47/19.62	o 690245
31.47/19.69	o 690224
33.66/20.80	o 460185
33.85/20.84	o 460174
33.85/20.89	o 402682
34.46/21.16	o 402651
34.65/21.22	o 345261
35.44/21.64	o 287832
35.44/21.68	o 287791
35.64/21.74	o 287790
35.64/21.79	o 287779
36.63/22.22	o 172847
57.65/32.85	o 115450
61.22/34.61	o 115449
1268.35/643.25	o 58143
3600.08/1819.01	s SATISFIABLE
3600.08/1819.01	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 
3600.08/1819.01	v -x19 x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 
3600.08/1819.01	v x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 
3600.08/1819.01	v -x51 -x52 -x53 -x54 -x55 x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 
3600.08/1819.01	v -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 
3600.08/1819.01	v x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 
3600.08/1819.01	v -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 
3600.08/1819.01	v -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 
3600.08/1819.01	v -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 
3600.08/1819.01	v x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 
3600.08/1819.01	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 
3600.08/1819.01	v -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 
3600.08/1819.01	v -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 
3600.08/1819.01	v -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 
3600.08/1819.01	v -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 
3600.08/1819.01	v -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 -x227 -x228 
3600.08/1819.01	v -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 -x241 
3600.08/1819.01	v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 
3600.08/1819.01	v -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 
3600.08/1819.01	v -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 
3600.08/1819.01	v -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 
3600.08/1819.01	v -x294 x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 x306 
3600.08/1819.01	v -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 
3600.08/1819.01	v -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 
3600.08/1819.01	v -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 
3600.08/1819.01	v -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 
3600.08/1819.01	v -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 
3600.08/1819.01	v -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 x383 -x384 
3600.08/1819.01	v -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 
3600.08/1819.01	v -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 
3600.08/1819.01	v x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 x420 -x421 -x422 x423 -x424 
3600.08/1819.01	v -x425 x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 
3600.08/1819.01	v -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 x449 -x450 
3600.08/1819.01	v -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 
3600.08/1819.01	v x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 x475 -x476 
3600.08/1819.01	v -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 
3600.08/1819.01	v -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 
3600.08/1819.01	v x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 x514 -x515 
3600.08/1819.01	v -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 
3600.08/1819.01	v -x529 -x530 x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 x541 
3600.08/1819.01	v -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 x553 -x554 
3600.08/1819.01	v -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 
3600.08/1819.01	v -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 
3600.08/1819.01	v -x581 x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 x592 -x593 
3600.08/1819.01	v -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 
3600.08/1819.01	v -x607 -x608 x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 x619 
3600.08/1819.01	v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 
3600.08/1819.01	v -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 
3600.08/1819.01	v -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 
3600.08/1819.01	v -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 
3600.08/1819.01	v -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 
3600.08/1819.01	v -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 
3600.08/1819.01	v x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 
3600.08/1819.01	v -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 
3600.08/1819.01	v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 
3600.08/1819.01	v -x737 -x738 -x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 x749 
3600.08/1819.01	v -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 
3600.08/1819.01	v -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 
3600.08/1819.01	v -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 
3600.08/1819.01	v -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 
3600.08/1819.01	v -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 
3600.08/1819.01	v -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 x826 -x827 
3600.08/1819.01	v -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 
3600.08/1819.01	v -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 x852 -x853 
3600.08/1819.01	v -x854 -x855 -x856 x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 x866 
3600.08/1819.01	v -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 
3600.08/1819.01	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 
3600.08/1819.01	v -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 
3600.08/1819.01	v -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 
3600.08/1819.01	v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 
3600.08/1819.01	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 
3600.08/1819.01	v -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 x957 
3600.08/1819.01	v -x958 x959 -x960 x961 -x962 x963 -x964 x965 -x966 x967 -x968 x969 -x970 x971 
3600.08/1819.01	v -x972 x973 -x974 x975 -x976 x977 -x978 x979 -x980 x981 -x982 x983 -x984 x985 
3600.08/1819.01	v -x986 x987 -x988 x989 -x990 x991 -x992 x993 -x994 x995 -x996 x997 -x998 x999 
3600.08/1819.01	v -x1000 x1001 -x1002 x1003 -x1004 x1005 -x1006 x1007 -x1008 x1009 -x1010 x1011 
3600.08/1819.01	v -x1012 x1013 -x1014 x1015 -x1016 -x1017 x1018 -x1019 -x1020 x1021 -x1022 -x1023 
3600.08/1819.01	v x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 
3600.08/1819.01	v x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 x1043 -x1044 x1045 -x1046 -x1047 
3600.08/1819.01	v -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 
3600.08/1819.01	v -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 x1069 
3600.08/1819.01	v -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 x1080 
3600.08/1819.01	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 x1091 
3600.08/1819.01	v -x1092 -x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 
3600.08/1819.01	v -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 
3600.08/1819.01	v -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 
3600.08/1819.01	v -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 
3600.08/1819.01	v -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 
3600.08/1819.01	v -x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 
3600.08/1819.01	v x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 
3600.08/1819.01	v -x1171 x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 
3600.08/1819.01	v -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 
3600.08/1819.01	v x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 
3600.08/1819.01	v -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 
3600.08/1819.01	v -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 
3600.08/1819.01	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 
3600.08/1819.01	v -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 
3600.08/1819.01	v x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 
3600.08/1819.01	v -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 
3600.08/1819.01	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 
3600.08/1819.01	v x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 
3600.08/1819.01	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 x1302 
3600.08/1819.01	v -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 
3600.08/1819.01	v -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 
3600.08/1819.01	v -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 
3600.08/1819.01	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 x1346 
3600.08/1819.01	v -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 
3600.08/1819.01	v x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 
3600.08/1819.01	v -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 
3600.08/1819.01	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 
3600.08/1819.01	v x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 
3600.08/1819.01	v x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 
3600.08/1819.01	v x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 
3600.08/1819.01	v -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 
3600.08/1819.01	v -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 
3600.08/1819.01	v -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 
3600.08/1819.01	v x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 
3600.08/1819.01	v -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 
3600.08/1819.01	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 
3600.08/1819.01	v x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 
3600.08/1819.01	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 
3600.08/1819.01	v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 
3600.08/1819.01	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 
3600.08/1819.01	v -x1535 -x1536 x1537 -x1538 x1539 -x1540 x1541 -x1542 x1543 -x1544 x1545 -x1546 
3600.08/1819.01	v x1547 -x1548 x1549 -x1550 x1551 -x1552 x1553 -x1554 x1555 -x1556 x1557 -x1558 
3600.08/1819.01	v x1559 -x1560 x1561 -x1562 x1563 -x1564 x1565 -x1566 x1567 -x1568 x1569 -x1570 
3600.08/1819.01	v x1571 -x1572 x1573 -x1574 x1575 -x1576 x1577 -x1578 x1579 -x1580 x1581 -x1582 
3600.08/1819.01	v x1583 -x1584 x1585 -x1586 x1587 -x1588 x1589 -x1590 x1591 -x1592 x1593 -x1594 
3600.08/1819.01	v x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 x1602 -x1603 x1604 x1605 -x1606 
3600.08/1819.01	v -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 x1615 -x1616 -x1617 
3600.08/1819.01	v -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 
3600.08/1819.01	v -x1629 -x1630 x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 
3600.08/1819.01	v -x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 x1648 -x1649 -x1650 x1651 
3600.08/1819.01	v -x1652 -x1653 x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 
3600.08/1819.01	v -x1663 x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 
3600.08/1819.01	v -x1675 x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 
3600.08/1819.01	v x1686 -x1687 -x1688 x1689 -x1690 -x1691 x1692 -x1693 -x1694 x1695 -x1696 -x1697 
3600.08/1819.01	v x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 
3600.08/1819.01	v x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 
3600.08/1819.01	v -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 
3600.08/1819.01	v -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 
3600.08/1819.01	v x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 
3600.08/1819.01	v -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 
3600.08/1819.01	v -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 
3600.08/1819.01	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 
3600.08/1819.01	v -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 
3600.08/1819.01	v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 
3600.08/1819.01	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 
3600.08/1819.01	v -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 
3600.08/1819.01	v x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 
3600.08/1819.01	v x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 
3600.08/1819.01	v x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 
3600.08/1819.01	v -x1865 -x1866 -x1867 -x1868 x1869 -x1870 x1871 -x1872 -x1873 -x1874 x1875 -x1876 
3600.08/1819.01	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 
3600.08/1819.01	v -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 
3600.08/1819.01	v -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 
3600.08/1819.01	v x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 
3600.08/1819.01	v x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 
3600.08/1819.01	v -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 
3600.08/1819.01	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 x1955 
3600.08/1819.01	v -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 
3600.08/1819.01	v -x1967 x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 
3600.08/1819.01	v -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 
3600.08/1819.01	v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 
3600.08/1819.01	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 
3600.08/1819.01	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 
3600.08/1819.01	v -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 
3600.08/1819.01	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 
3600.08/1819.01	v -x2045 -x2046 x2047 -x2048 x2049 -x2050 x2051 -x2052 x2053 -x2054 x2055 -x2056 
3600.08/1819.01	v x2057 -x2058 x2059 -x2060 x2061 -x2062 x2063 -x2064 x2065 -x2066 x2067 -x2068 
3600.08/1819.01	v x2069 -x2070 x2071 -x2072 x2073 -x2074 x2075 -x2076 x2077 -x2078 x2079 -x2080 
3600.08/1819.01	v x2081 -x2082 x2083 -x2084 x2085 -x2086 x2087 -x2088 x2089 -x2090 x2091 -x2092 
3600.08/1819.01	v x2093 -x2094 x2095 -x2096 x2097 -x2098 x2099 -x2100 x2101 -x2102 x2103 -x2104 
3600.08/1819.01	v x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 x2112 -x2113 x2114 -x2115 x2116 
3600.08/1819.01	v -x2117 -x2118 x2119 -x2120 x2121 -x2122 x2123 -x2124 x2125 -x2126 x2127 -x2128 
3600.08/1819.01	v x2129 -x2130 x2131 -x2132 x2133 -x2134 x2135 -x2136 x2137 -x2138 x2139 -x2140 
3600.08/1819.01	v x2141 -x2142 x2143 -x2144 x2145 -x2146 x2147 -x2148 x2149 -x2150 x2151 -x2152 
3600.08/1819.01	v x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 
3600.08/1819.01	v x2165 -x2166 -x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 
3600.08/1819.01	v -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 
3600.08/1819.01	v -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 
3600.08/1819.01	v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 
3600.08/1819.01	v -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 
3600.08/1819.01	v -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 
3600.08/1819.01	v x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 
3600.08/1819.01	v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 x2251 -x2252 -x2253 
3600.08/1819.01	v -x2254 x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 
3600.08/1819.01	v x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 
3600.08/1819.01	v -x2278 x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 
3600.08/1819.01	v -x2289 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 
3600.08/1819.01	v -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 
3600.08/1819.01	v -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 
3600.08/1819.01	v x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 
3600.08/1819.01	v x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 x2345 
3600.08/1819.01	v -x2346 -x2347 -x2348 x2349 -x2350 -x2351 x2352 -x2353 x2354 -x2355 x2356 -x2357 
3600.08/1819.01	v x2358 -x2359 -x2360 -x2361 x2362 x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 
3600.08/1819.01	v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 
3600.08/1819.01	v -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 
3600.08/1819.01	v -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 
3600.08/1819.01	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 x2413 
3600.08/1819.01	v -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 
3600.08/1819.01	v -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 x2436 
3600.08/1819.01	v -x2437 x2438 -x2439 x2440 -x2441 x2442 -x2443 x2444 -x2445 x2446 -x2447 x2448 
3600.08/1819.01	v -x2449 x2450 -x2451 x2452 -x2453 x2454 -x2455 x2456 -x2457 x2458 -x2459 x2460 
3600.08/1819.01	v -x2461 x2462 -x2463 -x2464 x2465 x2466 -x2467 x2468 -x2469 x2470 -x2471 x2472 
3600.08/1819.01	v -x2473 x2474 -x2475 x2476 -x2477 x2478 -x2479 -x2480 x2481 x2482 -x2483 x2484 
3600.08/1819.01	v -x2485 x2486 -x2487 -x2488 x2489 -x2490 -x2491 x2492 -x2493 -x2494 x2495 -x2496 
3600.08/1819.01	v -x2497 x2498 -x2499 -x2500 x2501 -x2502 -x2503 x2504 -x2505 x2506 -x2507 -x2508 
3600.08/1819.01	v -x2509 -x2510 x2511 x2512 -x2513 -x2514 -x2515 x2516 -x2517 x2518 -x2519 -x2520 
3600.08/1819.01	v x2521 -x2522 -x2523 x2524 -x2525 -x2526 x2527 -x2528 -x2529 x2530 -x2531 -x2532 
3600.08/1819.01	v x2533 -x2534 -x2535 -x2536 x2537 -x2538 x2539 -x2540 -x2541 x2542 -x2543 -x2544 
3600.08/1819.01	v x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 
3600.08/1819.01	v -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 
3600.08/1819.01	v -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 
3600.08/1819.01	v -x2579 x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 
3600.08/1819.01	v -x2591 x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 
3600.08/1819.01	v x2603 -x2604 -x2605 x2606 -x2607 x2608 -x2609 x2610 -x2611 x2612 -x2613 -x2614 
3600.08/1819.01	v -x2615 x2616 x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 x2624 -x2625 x2626 
3600.08/1819.01	v -x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 -x2634 x2635 -x2636 x2637 -x2638 
3600.08/1819.01	v -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 x2646 -x2647 x2648 -x2649 x2650 
3600.08/1819.01	v -x2651 x2652 -x2653 x2654 -x2655 -x2656 x2657 x2658 -x2659 x2660 -x2661 x2662 
3600.08/1819.01	v -x2663 x2664 -x2665 x2666 -x2667 x2668 -x2669 -x2670 x2671 x2672 -x2673 x2674 
3600.08/1819.01	v -x2675 x2676 -x2677 -x2678 x2679 -x2680 -x2681 x2682 -x2683 -x2684 x2685 -x2686 
3600.08/1819.01	v -x2687 x2688 -x2689 -x2690 x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 x2698 
3600.08/1819.01	v -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 
3600.08/1819.01	v x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 x2717 -x2718 -x2719 -x2720 x2721 
3600.08/1819.01	v -x2722 -x2723 x2724 -x2725 x2726 -x2727 x2728 -x2729 x2730 -x2731 -x2732 -x2733 
3600.08/1819.01	v x2734 x2735 -x2736 -x2737 x2738 -x2739 -x2740 x2741 x2742 -x2743 -x2744 x2745 
3600.08/1819.01	v x2746 -x2747 -x2748 x2749 x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 
3600.08/1819.01	v -x2758 x2759 -x2760 -x2761 x2762 x2763 -x2764 x2765 -x2766 -x2767 x2768 x2769 
3600.08/1819.01	v -x2770 -x2771 x2772 -x2773 -x2774 x2775 -x2776 -x2777 x2778 -x2779 -x2780 x2781 
3600.08/1819.01	v -x2782 -x2783 -x2784 -x2785 x2786 x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 
3600.08/1819.01	v x2794 -x2795 x2796 -x2797 x2798 -x2799 x2800 -x2801 -x2802 -x2803 x2804 x2805 
3600.08/1819.01	v -x2806 -x2807 -x2808 x2809 -x2810 x2811 -x2812 x2813 -x2814 x2815 -x2816 x2817 
3600.08/1819.01	v -x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 
3600.08/1819.01	v x2830 x2831 -x2832 x2833 -x2834 -x2835 x2836 x2837 -x2838 x2839 -x2840 x2841 
3600.08/1819.01	v -x2842 -x2843 x2844 -x2845 x2846 -x2847 x2848 -x2849 x2850 x2851 -x2852 -x2853 
3600.08/1819.01	v x2854 -x2855 x2856 -x2857 x2858 -x2859 x2860 -x2861 x2862 -x2863 x2864 -x2865 
3600.08/1819.01	v x2866 -x2867 x2868 x2869 -x2870 x2871 -x2872

Verifier Data 

FAILED
ERROR: cost 57492 exceeds topCost = 57492

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526061-1751625738/watcher-4526061-1751625738 -o /tmp/evaluation-result-4526061-1751625738/solver-4526061-1751625738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89351 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1317377230 --competition_mode --input HOME/instance-4526061-1751625738.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=90735, runsolver pid=90732

[startup+0.100065 s]*
/proc/loadavg: 7.60 4.54 3.79 8/273 90736
/proc/meminfo: memFree=126213160/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=52092 memory=41072 CPUtime=0.1 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 9824 0 0 0 8 2 0 0 20 0 1 0 78251640 53342208 10268 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 13023 10268 1088 2102 0 10563 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 41072 KiB

[startup+0.205891 s]*
/proc/loadavg: 7.55 4.58 3.81 8/273 90736
/proc/meminfo: memFree=126149152/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=107316 memory=99072 CPUtime=0.2 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 25451 0 0 0 16 4 0 0 20 0 1 0 78251640 109891584 24768 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 26829 24768 1344 2102 0 24369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107316 KiB
Current children cumulated memory: 99072 KiB

[startup+0.30568 s]*
/proc/loadavg: 7.55 4.58 3.81 8/273 90736
/proc/meminfo: memFree=126218752/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=150316 memory=138644 CPUtime=0.3 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 33745 0 0 0 24 6 0 0 20 0 1 0 78251640 153923584 34661 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 37579 34661 1408 2102 0 35119 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150316 KiB
Current children cumulated memory: 138644 KiB

[startup+0.700149 s]
/proc/loadavg: 7.55 4.58 3.81 8/273 90736
/proc/meminfo: memFree=126195312/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=181652 memory=165628 CPUtime=0.69 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 37313 0 0 0 62 7 0 0 20 0 1 0 78251640 186011648 41407 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 45413 41407 1536 2102 0 42953 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181652 KiB
Current children cumulated memory: 165628 KiB

[startup+1.50018 s]
/proc/loadavg: 7.55 4.58 3.81 8/273 90736
/proc/meminfo: memFree=126167024/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=285688 memory=261832 CPUtime=1.48 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 54045 0 0 0 136 12 0 0 20 0 1 0 78251640 292544512 65458 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 71422 65458 1856 2102 0 68962 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 285688 KiB
Current children cumulated memory: 261832 KiB

[startup+3.10549 s]
/proc/loadavg: 7.55 4.58 3.81 8/273 90736
/proc/meminfo: memFree=125936048/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=314304 memory=293864 CPUtime=3.09 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 59339 0 0 0 294 15 0 0 20 0 1 0 78251640 321847296 73466 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 78576 73466 1888 2102 0 76116 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 314304 KiB
Current children cumulated memory: 293864 KiB

[startup+6.30018 s]
/proc/loadavg: 7.59 4.64 3.83 8/273 90737
/proc/meminfo: memFree=125921052/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=400212 memory=376104 CPUtime=6.27 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) R 90732 90735 89339 0 -1 4194304 81658 0 0 0 605 22 0 0 20 0 1 0 78251640 409817088 94026 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 100053 94026 1888 2102 0 97593 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 400212 KiB
Current children cumulated memory: 376104 KiB

[startup+12.7002 s]
/proc/loadavg: 7.62 4.69 3.86 9/275 90739
/proc/meminfo: memFree=125127704/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1363700 memory=1116372 CPUtime=17.81 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 212671 0 0 0 1731 50 0 0 20 0 3 0 78251640 1396428800 279093 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 340925 279093 2176 2102 0 331110 0
[pid=90735/tid=90738] ppid=90732 vsize=1363700 memory=14156 CPUtime=5.22 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 46114 0 0 0 508 14 0 0 20 0 3 0 78252383 1396428800 279093 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1363700 memory=-8183432483673838020 CPUtime=5.17 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 83127 0 0 0 504 13 0 0 20 0 3 0 78252383 1396428800 279093 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 17.81 s
Current children cumulated vsize: 1363700 KiB
Current children cumulated memory: 1116372 KiB

[startup+25.5002 s]
/proc/loadavg: 7.68 4.80 3.90 9/275 90739
/proc/meminfo: memFree=124947500/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1600076 memory=1374668 CPUtime=43.17 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 388451 0 0 0 4236 81 0 0 20 0 3 0 78251640 1638477824 343667 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 400019 343667 2176 2102 0 364997 0
[pid=90735/tid=90738] ppid=90732 vsize=1600076 memory=1362408 CPUtime=17.92 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 122511 0 0 0 1758 34 0 0 20 0 3 0 78252383 1638477824 343667 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1600076 memory=18035 CPUtime=16.7 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 182407 0 0 0 1646 24 0 0 20 0 3 0 78252383 1638477824 343667 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 43.17 s
Current children cumulated vsize: 1600076 KiB
Current children cumulated memory: 1374668 KiB

[startup+51.106 s]
/proc/loadavg: 7.89 5.13 4.04 9/275 90739
/proc/meminfo: memFree=124866576/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1593612 memory=1399940 CPUtime=93.94 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 534635 0 0 0 9270 124 0 0 20 0 3 0 78251640 1631858688 349985 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 398403 349985 2176 2102 0 375361 0
[pid=90735/tid=90738] ppid=90732 vsize=1593612 memory=1435432 CPUtime=43.39 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 213963 0 0 0 4266 73 0 0 20 0 3 0 78252383 1631858688 349985 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1593612 memory=0 CPUtime=41.97 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 237089 0 0 0 4169 28 0 0 20 0 3 0 78252383 1631858688 349985 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 93.94 s
Current children cumulated vsize: 1593612 KiB
Current children cumulated memory: 1399940 KiB

[startup+102.3 s]
/proc/loadavg: 8.03 5.59 4.25 9/274 90741
/proc/meminfo: memFree=124794960/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1645244 memory=1460580 CPUtime=195.48 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 736879 0 0 0 19362 186 0 0 20 0 3 0 78251640 1684729856 365145 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 411311 365145 2176 2102 0 388276 0
[pid=90735/tid=90738] ppid=90732 vsize=1645244 memory=14156 CPUtime=94.34 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 364357 0 0 0 9302 132 0 0 20 0 3 0 78252383 1684729856 365145 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1645244 memory=-8183432483673838020 CPUtime=92.54 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 288869 0 0 0 9224 30 0 0 20 0 3 0 78252383 1684729856 365145 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 195.48 s
Current children cumulated vsize: 1645244 KiB
Current children cumulated memory: 1460580 KiB

[startup+162.3 s]
/proc/loadavg: 8.07 6.04 4.50 9/272 90743
/proc/meminfo: memFree=124681296/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1576612 memory=1413092 CPUtime=314.49 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 827787 0 0 0 31197 252 0 0 20 0 3 0 78251640 1614450688 353273 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 394153 353273 2176 2102 0 371118 0
[pid=90735/tid=90738] ppid=90732 vsize=1576612 memory=1458912 CPUtime=154.06 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 445362 0 0 0 15209 197 0 0 20 0 3 0 78252383 1614450688 353273 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1576612 memory=1500188 CPUtime=151.82 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 298712 0 0 0 15151 31 0 0 20 0 3 0 78252383 1614450688 353273 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 314.49 s
Current children cumulated vsize: 1576612 KiB
Current children cumulated memory: 1413092 KiB

[startup+222.3 s]
/proc/loadavg: 8.17 6.44 4.73 9/270 90745
/proc/meminfo: memFree=124600544/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1651088 memory=1465040 CPUtime=433.49 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 912043 0 0 0 43038 311 0 0 20 0 3 0 78251640 1690714112 366260 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 412772 366260 2176 2102 0 389737 0
[pid=90735/tid=90738] ppid=90732 vsize=1651088 memory=14156 CPUtime=213.79 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 492737 0 0 0 21126 253 0 0 20 0 3 0 78252383 1690714112 366260 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1651088 memory=1413092 CPUtime=211.08 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 335561 0 0 0 21074 34 0 0 20 0 3 0 78252383 1690714112 366260 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 433.49 s
Current children cumulated vsize: 1651088 KiB
Current children cumulated memory: 1465040 KiB

[startup+282.3 s]
/proc/loadavg: 8.16 6.75 4.95 9/270 90747
/proc/meminfo: memFree=124395308/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1647060 memory=1466748 CPUtime=552.51 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 966463 0 0 0 54883 368 0 0 20 0 3 0 78251640 1686589440 366687 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 411765 366687 2176 2102 0 388730 0
[pid=90735/tid=90738] ppid=90732 vsize=1647060 memory=1450036 CPUtime=273.51 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 516358 0 0 0 27044 307 0 0 20 0 3 0 78252383 1686589440 366687 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1647060 memory=1413156 CPUtime=270.35 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 366350 0 0 0 26999 36 0 0 20 0 3 0 78252383 1686589440 366687 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 552.51 s
Current children cumulated vsize: 1647060 KiB

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

Current children cumulated memory: 1581948 KiB

[startup+1302.3 s]
/proc/loadavg: 8.11 8.04 7.07 9/273 91374
/proc/meminfo: memFree=124246616/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1689900 memory=1547832 CPUtime=2575.31 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2153747 0 0 0 256036 1495 0 0 20 0 3 0 78251640 1730457600 386958 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 422475 386958 2176 2102 0 413086 0
[pid=90735/tid=90738] ppid=90732 vsize=1689900 memory=0 CPUtime=1287.55 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1212088 0 0 0 127414 1341 0 0 20 0 3 0 78252383 1730457600 386958 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1689900 memory=1579172 CPUtime=1278.7 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 857305 0 0 0 127751 119 0 0 20 0 3 0 78252383 1730457600 386958 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 2575.31 s
Current children cumulated vsize: 1689900 KiB
Current children cumulated memory: 1547832 KiB

[startup+1362.3 s]
/proc/loadavg: 8.09 8.05 7.14 9/273 91376
/proc/meminfo: memFree=124257548/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1696696 memory=1579204 CPUtime=2694.32 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2224339 0 0 0 267847 1585 0 0 20 0 3 0 78251640 1737416704 394801 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 424174 394801 2176 2102 0 414785 0
[pid=90735/tid=90738] ppid=90732 vsize=1696696 memory=0 CPUtime=1346.8 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1269286 0 0 0 133283 1397 0 0 20 0 3 0 78252383 1737416704 394801 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1696696 memory=1582908 CPUtime=1338.44 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 870634 0 0 0 133692 152 0 0 20 0 3 0 78252383 1737416704 394801 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 2694.32 s
Current children cumulated vsize: 1696696 KiB
Current children cumulated memory: 1579204 KiB

[startup+1422.3 s]
/proc/loadavg: 8.08 8.05 7.20 9/273 91378
/proc/meminfo: memFree=124233384/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1698608 memory=1585212 CPUtime=2813.32 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2261460 0 0 0 279602 1730 0 0 20 0 3 0 78251640 1739374592 396303 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 424652 396303 2176 2102 0 415263 0
[pid=90735/tid=90738] ppid=90732 vsize=1698608 memory=0 CPUtime=1406.06 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1294849 0 0 0 139145 1461 0 0 20 0 3 0 78252383 1739374592 396303 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1698608 memory=1582908 CPUtime=1398.16 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 882186 0 0 0 139583 233 0 0 20 0 3 0 78252383 1739374592 396303 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 2813.32 s
Current children cumulated vsize: 1698608 KiB
Current children cumulated memory: 1585212 KiB

[startup+1482.3 s]
/proc/loadavg: 8.06 8.06 7.26 9/273 91380
/proc/meminfo: memFree=124157652/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1717696 memory=1600208 CPUtime=2932.34 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2338500 0 0 0 291331 1903 0 0 20 0 3 0 78251640 1758920704 400052 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 429424 400052 2176 2102 0 420035 0
[pid=90735/tid=90738] ppid=90732 vsize=1717696 memory=10624 CPUtime=1465.74 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1354498 0 0 0 145056 1518 0 0 20 0 3 0 78252383 1758920704 400052 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1717696 memory=1592604 CPUtime=1457.45 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 899495 0 0 0 145399 346 0 0 20 0 3 0 78252383 1758920704 400052 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 2932.34 s
Current children cumulated vsize: 1717696 KiB
Current children cumulated memory: 1600208 KiB

[startup+1542.3 s]
/proc/loadavg: 8.07 8.06 7.31 9/272 91382
/proc/meminfo: memFree=124170008/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1704336 memory=1591568 CPUtime=3051.31 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2400278 0 0 0 303045 2086 0 0 20 0 3 0 78251640 1745240064 397892 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 426084 397892 2176 2102 0 416695 0
[pid=90735/tid=90738] ppid=90732 vsize=1704336 memory=10624 CPUtime=1525.45 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1370263 0 0 0 150971 1574 0 0 20 0 3 0 78252383 1745240064 397892 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1704336 memory=-8183432483673838020 CPUtime=1516.7 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 945500 0 0 0 151196 474 0 0 20 0 3 0 78252383 1745240064 397892 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 3051.31 s
Current children cumulated vsize: 1704336 KiB
Current children cumulated memory: 1591568 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.08 7.37 9/272 91385
/proc/meminfo: memFree=124145432/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1714096 memory=1597232 CPUtime=3170.3 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2463206 0 0 0 314757 2273 0 0 20 0 3 0 78251640 1755234304 399308 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 428524 399308 2176 2102 0 419135 0
[pid=90735/tid=90738] ppid=90732 vsize=1714096 memory=10624 CPUtime=1585.16 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1411700 0 0 0 156879 1637 0 0 20 0 3 0 78252383 1755234304 399308 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1714096 memory=14336 CPUtime=1575.95 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 966943 0 0 0 156997 598 0 0 20 0 3 0 78252383 1755234304 399308 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 3170.3 s
Current children cumulated vsize: 1714096 KiB
Current children cumulated memory: 1597232 KiB

[startup+1662.3 s]
/proc/loadavg: 8.03 8.06 7.41 9/271 91532
/proc/meminfo: memFree=128046316/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1714728 memory=1589672 CPUtime=3289.34 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2526635 0 0 0 326473 2461 0 0 20 0 3 0 78251640 1755881472 397418 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 428682 397418 2176 2102 0 419293 0
[pid=90735/tid=90738] ppid=90732 vsize=1714728 memory=10624 CPUtime=1644.88 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1455072 0 0 0 162794 1694 0 0 20 0 3 0 78252383 1755881472 397418 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1714728 memory=1576480 CPUtime=1635.23 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 986969 0 0 0 162796 727 0 0 20 0 3 0 78252383 1755881472 397418 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 3289.34 s
Current children cumulated vsize: 1714728 KiB
Current children cumulated memory: 1589672 KiB

[startup+1722.3 s]
/proc/loadavg: 7.87 7.99 7.43 9/271 91628
/proc/meminfo: memFree=124186616/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1724396 memory=1591152 CPUtime=3408.38 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2576962 0 0 0 338193 2645 0 0 20 0 3 0 78251640 1765781504 397788 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 431099 397788 2176 2102 0 421710 0
[pid=90735/tid=90738] ppid=90732 vsize=1724396 memory=10624 CPUtime=1704.61 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1492448 0 0 0 168711 1750 0 0 20 0 3 0 78252383 1765781504 397788 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1724396 memory=1541124 CPUtime=1694.52 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 999880 0 0 0 168597 855 0 0 20 0 3 0 78252383 1765781504 397788 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 3408.38 s
Current children cumulated vsize: 1724396 KiB
Current children cumulated memory: 1591152 KiB

[startup+1782.3 s]
/proc/loadavg: 7.81 7.94 7.45 9/272 91677
/proc/meminfo: memFree=117157332/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1702444 memory=1548160 CPUtime=3527.33 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2631506 0 0 0 349922 2811 0 0 20 0 3 0 78251640 1743302656 387040 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 425611 387040 2176 2102 0 416222 0
[pid=90735/tid=90738] ppid=90732 vsize=1702444 memory=-8183432483673838020 CPUtime=1764.28 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1530460 0 0 0 174622 1806 0 0 20 0 3 0 78252383 1743302656 387040 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1702444 memory=1609364 CPUtime=1753.76 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1016381 0 0 0 174413 963 0 0 20 0 3 0 78252383 1743302656 387040 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 3527.33 s
Current children cumulated vsize: 1702444 KiB
Current children cumulated memory: 1548160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1819 s]*
/proc/loadavg: 7.98 7.96 7.47 10/272 91679
/proc/meminfo: memFree=116682940/131249996 swapFree=33000896/33010684
[pid=90735] ppid=90732 vsize=1711784 memory=1582632 CPUtime=3600.08 cores=1,3
/proc/90735/stat : 90735 (cp-sat-runner) S 90732 90735 89339 0 -1 4194304 2672322 0 0 0 357086 2922 0 0 20 0 3 0 78251640 1752866816 395658 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
/proc/90735/statm: 427946 395658 2176 2102 0 418557 0
[pid=90735/tid=90738] ppid=90732 vsize=1711784 memory=-8183434665533936576 CPUtime=1800.8 cores=1,3
/proc/90735/task/90738/stat : 90738 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1561409 0 0 0 178240 1840 0 0 20 0 3 0 78252383 1752866816 395658 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
[pid=90735/tid=90739] ppid=90732 vsize=1711784 memory=153800 CPUtime=1789.99 cores=1,3
/proc/90735/task/90739/stat : 90739 (cp-sat-runner) R 90732 90735 89339 0 -1 4194368 1026216 0 0 0 177958 1041 0 0 20 0 3 0 78252383 1752866816 395658 18446744073709551615 4198400 12805993 140728715957552 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40345600 140728715962646 140728715962851 140728715962851 140728715968455 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1711784 KiB
Current children cumulated memory: 1582632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.88 s, system=29.2686 s

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

Child status: 0

Real time (s): 1819.05
CPU time (s): 3600.15
CPU user time (s): 3570.88
CPU system time (s): 29.2686
CPU usage (%): 197.914
Max. virtual memory (cumulated for all children) (KiB): 1795172
Max. memory (cumulated for all children) (KiB): 1624040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.88
system time used= 29.2686
maximum resident set size= 1625832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2672329
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= 22304
involuntary context switches= 160912


# summary of solver processes directly reported to runsolver:
#   pid: 90735
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3570.88
#   total CPU system time (s): 29.2686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73146 second user time and 8.94093 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 12:42:18
IDJOB=4526061
IDBENCH=143957
IDSOLVER=3378
FILE ID=nodeC023/4526061-1751625738
RUNJOBID= nodeC023-1751625557-89351
SLURM_JOB_ID= 9598950
Free space on /tmp= 431820 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog09_wcsp.wbo
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 -w /tmp/evaluation-result-4526061-1751625738/watcher-4526061-1751625738 -o /tmp/evaluation-result-4526061-1751625738/solver-4526061-1751625738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89351 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1317377230 --competition_mode --input HOME/instance-4526061-1751625738.wbo

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

MD5SUM BENCH= a775ba4e40b6fa0cd8cccf00ddaf4c72
RANDOM SEED=1317377230

nodeC023 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.893
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126237640 kB
MemAvailable:   126069640 kB
Buffers:              16 kB
Cached:           574676 kB
SwapCached:         2904 kB
Active:          3823900 kB
Inactive:         431172 kB
Active(anon):    3639548 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   377808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16856 kB
Writeback:            48 kB
AnonPages:       3678820 kB
Mapped:           124316 kB
Shmem:             12532 kB
KReclaimable:     218156 kB
Slab:             310664 kB
SReclaimable:     218156 kB
SUnreclaim:        92508 kB
KernelStack:        4416 kB
PageTables:        10412 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4209824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1368064 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431772 MiB
End job on nodeC023 at 2025-07-04 13:12:37