Trace number 4525665

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.14MSAT (TO) 3600.11 1823.63

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18_wcsp.wbo
MD5SUM7ac97bb2deff70454cbda9bb64710db6
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3263
Best CPU time to get the best result obtained on this benchmark234.422
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2210
Total number of constraints246592
Number of soft constraints246492
Number of constraints which are clauses246492
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Top cost 255184
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 44859114
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
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 

17.43/16.56	o 511674
18.63/17.14	o 252117
24.96/20.38	o 195614
39.50/27.76	o 167313
46.24/31.12	o 131644
52.38/34.24	o 106452
52.79/34.40	o 40399
52.79/34.46	o 40388
52.98/34.53	o 38398
52.98/34.59	o 38286
53.38/34.75	o 35287
56.17/36.17	o 31823
56.35/36.23	o 28389
56.55/36.30	o 24500
56.55/36.36	o 24269
65.88/41.09	o 24169
66.28/41.25	o 24159
74.12/45.25	o 20489
74.32/45.32	o 18466
74.52/45.42	o 16596
74.52/45.49	o 16491
74.92/45.60	o 13491
78.49/47.41	o 13470
78.49/47.48	o 12237
83.25/49.83	o 12236
88.01/52.20	o 12234
96.75/56.67	o 11434
98.34/57.45	o 11303
98.53/57.51	o 11093
115.36/66.49	o 10193
121.85/69.75	o 10192
136.30/77.03	o 9593
136.30/77.10	o 7593
149.31/83.68	o 7085
171.32/94.81	o 6998
171.52/94.95	o 6988
176.68/97.54	o 6987
185.41/101.94	o 6978
211.81/115.28	o 6975
212.00/115.35	o 6963
218.56/118.65	o 6962
242.78/130.89	o 6643
299.32/159.38	o 6577
303.29/161.33	o 6564
305.27/162.39	o 6553
305.47/162.45	o 6549
319.56/169.50	o 6548
369.98/194.91	o 6267
430.72/225.52	o 6217
505.12/263.07	o 5961
505.71/263.30	o 5293
534.69/277.99	o 5291
570.64/296.05	o 4282
741.73/382.25	o 4270
747.49/385.15	o 4259
751.64/387.21	o 4249
913.32/468.87	o 4248
1576.77/803.69	o 4183
1584.90/807.73	o 4182
1607.10/818.92	o 4172
3600.07/1823.60	s SATISFIABLE
3600.07/1823.60	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.07/1823.60	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.07/1823.60	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 
3600.07/1823.60	v -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.07/1823.60	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 
3600.07/1823.60	v x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 
3600.07/1823.60	v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 
3600.07/1823.60	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 
3600.07/1823.60	v -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 
3600.07/1823.60	v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 
3600.07/1823.60	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 
3600.07/1823.60	v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 
3600.07/1823.60	v -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3600.07/1823.60	v -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 
3600.07/1823.60	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 
3600.07/1823.60	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 
3600.07/1823.60	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 
3600.07/1823.60	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 
3600.07/1823.60	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 
3600.07/1823.60	v -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 
3600.07/1823.60	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
3600.07/1823.60	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 
3600.07/1823.60	v -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 
3600.07/1823.60	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 
3600.07/1823.60	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 
3600.07/1823.60	v x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 
3600.07/1823.60	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 
3600.07/1823.60	v x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 
3600.07/1823.60	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
3600.07/1823.60	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 
3600.07/1823.60	v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 
3600.07/1823.60	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 
3600.07/1823.60	v -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 
3600.07/1823.60	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 
3600.07/1823.60	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 
3600.07/1823.60	v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 
3600.07/1823.60	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 
3600.07/1823.60	v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 
3600.07/1823.60	v -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 
3600.07/1823.60	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 
3600.07/1823.60	v -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 
3600.07/1823.60	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 
3600.07/1823.60	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 
3600.07/1823.60	v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 
3600.07/1823.60	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 
3600.07/1823.60	v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 
3600.07/1823.60	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 
3600.07/1823.60	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 
3600.07/1823.60	v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 
3600.07/1823.60	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 
3600.07/1823.60	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 
3600.07/1823.60	v -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 
3600.07/1823.60	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 
3600.07/1823.60	v -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 
3600.07/1823.60	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 
3600.07/1823.60	v x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 
3600.07/1823.60	v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 
3600.07/1823.60	v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 
3600.07/1823.60	v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 
3600.07/1823.60	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 
3600.07/1823.60	v -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 
3600.07/1823.60	v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 
3600.07/1823.60	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 
3600.07/1823.60	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 
3600.07/1823.60	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 
3600.07/1823.60	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 
3600.07/1823.60	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 
3600.07/1823.60	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 
3600.07/1823.60	v -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 
3600.07/1823.60	v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 
3600.07/1823.60	v -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3600.07/1823.60	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 
3600.07/1823.60	v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 
3600.07/1823.60	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 
3600.07/1823.60	v x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 
3600.07/1823.60	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 
3600.07/1823.60	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 
3600.07/1823.60	v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 
3600.07/1823.60	v -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 
3600.07/1823.60	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 
3600.07/1823.60	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 
3600.07/1823.60	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 
3600.07/1823.60	v x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 
3600.07/1823.60	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3600.07/1823.60	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 
3600.07/1823.60	v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 
3600.07/1823.60	v -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 
3600.07/1823.60	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 
3600.07/1823.60	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 
3600.07/1823.60	v -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 
3600.07/1823.60	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 
3600.07/1823.60	v -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 
3600.07/1823.60	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 
3600.07/1823.60	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 
3600.07/1823.60	v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 
3600.07/1823.60	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 
3600.07/1823.60	v -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
3600.07/1823.60	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 
3600.07/1823.60	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 
3600.07/1823.60	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 
3600.07/1823.60	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 
3600.07/1823.60	v -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 
3600.07/1823.60	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 
3600.07/1823.60	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 
3600.07/1823.60	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 
3600.07/1823.60	v -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 
3600.07/1823.60	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 
3600.07/1823.60	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 
3600.07/1823.60	v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 
3600.07/1823.60	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 
3600.07/1823.60	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 
3600.07/1823.60	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 
3600.07/1823.60	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 
3600.07/1823.60	v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 
3600.07/1823.60	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 
3600.07/1823.60	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 
3600.07/1823.60	v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 
3600.07/1823.60	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 
3600.07/1823.60	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 
3600.07/1823.60	v -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 
3600.07/1823.60	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 
3600.07/1823.60	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 
3600.07/1823.60	v -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 
3600.07/1823.60	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 
3600.07/1823.60	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 
3600.07/1823.60	v -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 
3600.07/1823.60	v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 
3600.07/1823.60	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 
3600.07/1823.60	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 
3600.07/1823.60	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 
3600.07/1823.60	v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 -x1610 
3600.07/1823.60	v -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 
3600.07/1823.60	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 
3600.07/1823.60	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 
3600.07/1823.60	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 
3600.07/1823.60	v -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 
3600.07/1823.60	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 
3600.07/1823.60	v x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 
3600.07/1823.60	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 
3600.07/1823.60	v -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 
3600.07/1823.60	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 
3600.07/1823.60	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 
3600.07/1823.60	v -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 
3600.07/1823.60	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 
3600.07/1823.60	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 
3600.07/1823.60	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 
3600.07/1823.60	v -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 
3600.07/1823.60	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 
3600.07/1823.60	v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 
3600.07/1823.60	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 
3600.07/1823.60	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 
3600.07/1823.60	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 
3600.07/1823.60	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 
3600.07/1823.60	v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 
3600.07/1823.60	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 
3600.07/1823.60	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 
3600.07/1823.60	v x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 
3600.07/1823.60	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 
3600.07/1823.60	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 
3600.07/1823.60	v x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 
3600.07/1823.60	v -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 
3600.07/1823.60	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 
3600.07/1823.60	v -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 
3600.07/1823.60	v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 
3600.07/1823.60	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 
3600.07/1823.60	v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 
3600.07/1823.60	v -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 
3600.07/1823.60	v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 
3600.07/1823.60	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 
3600.07/1823.60	v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 
3600.07/1823.60	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 
3600.07/1823.60	v -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 
3600.07/1823.60	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 
3600.07/1823.60	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 
3600.07/1823.60	v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 
3600.07/1823.60	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 
3600.07/1823.60	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 x2115 -x2116 
3600.07/1823.60	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 
3600.07/1823.60	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 
3600.07/1823.60	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 
3600.07/1823.60	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 
3600.07/1823.60	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 
3600.07/1823.60	v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 
3600.07/1823.60	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 
3600.07/1823.60	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 
3600.07/1823.60	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210

Verifier Data 

OK	4172

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525665-1751618985/watcher-4525665-1751618985 -o /tmp/evaluation-result-4525665-1751618985/solver-4525665-1751618985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90043 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2098604970 --competition_mode --input HOME/instance-4525665-1751618985.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
Starting watchdog thread
solver pid=96598, runsolver pid=96595
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=120173280/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=21620 memory=15364 CPUtime=0.1 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 3115 0 0 0 10 0 0 0 20 0 1 0 77577745 22138880 3841 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 5405 3841 1088 2102 0 2945 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21620 KiB
Current children cumulated memory: 15364 KiB

[startup+0.213413 s]*
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=120161688/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=33536 memory=27144 CPUtime=0.21 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 5808 0 0 0 20 1 0 0 20 0 1 0 77577745 34340864 6786 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 8384 6786 1088 2102 0 5924 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 27144 KiB

[startup+0.313356 s]*
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=120149528/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=47468 memory=37920 CPUtime=0.31 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 7975 0 0 0 29 2 0 0 20 0 1 0 77577745 48607232 9480 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 11867 9480 1088 2102 0 9407 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47468 KiB
Current children cumulated memory: 37920 KiB

[startup+0.700324 s]
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=120157456/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=133380 memory=127828 CPUtime=0.69 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 32651 0 0 0 59 10 0 0 20 0 1 0 77577745 136581120 31957 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 33345 31957 1280 2102 0 30885 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133380 KiB
Current children cumulated memory: 127828 KiB

[startup+1.50032 s]
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=120016140/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=247292 memory=241924 CPUtime=1.49 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 55900 0 0 0 133 16 0 0 20 0 1 0 77577745 253227008 60481 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 61823 60481 1472 2102 0 59363 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 247292 KiB
Current children cumulated memory: 241924 KiB

[startup+3.1129 s]
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=119519720/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=391492 memory=371772 CPUtime=3.09 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 78751 0 0 0 287 22 0 0 20 0 1 0 77577745 400887808 92943 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 97873 92943 1600 2102 0 95413 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 391492 KiB
Current children cumulated memory: 371772 KiB

[startup+6.30032 s]
/proc/loadavg: 8.00 8.09 8.08 8/257 96599
/proc/meminfo: memFree=119294740/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=481964 memory=466940 CPUtime=6.27 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 93150 0 0 0 599 28 0 0 20 0 1 0 77577745 493531136 116735 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 120491 116735 1888 2102 0 118031 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 481964 KiB
Current children cumulated memory: 466940 KiB

[startup+12.7003 s]
/proc/loadavg: 7.92 8.07 8.08 8/257 96599
/proc/meminfo: memFree=119541324/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=688812 memory=671348 CPUtime=12.65 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) R 96595 96598 90031 0 -1 4194304 108212 0 0 0 1229 36 0 0 20 0 1 0 77577745 705343488 167837 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 172203 167837 1888 2102 0 169743 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 688812 KiB
Current children cumulated memory: 671348 KiB

[startup+25.5002 s]
/proc/loadavg: 7.87 8.05 8.07 9/259 96601
/proc/meminfo: memFree=118121304/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2519160 memory=2053212 CPUtime=35.12 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 327938 0 0 0 3411 101 0 0 20 0 3 0 77577745 2579619840 513303 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 629790 513303 2144 2102 0 597239 0
[pid=96598/tid=96600] ppid=96595 vsize=2519160 memory=1929800 CPUtime=6.35 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 138980 0 0 0 605 30 0 0 20 0 3 0 77579291 2579619840 513303 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2519160 memory=2114244 CPUtime=9.64 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 79431 0 0 0 931 33 0 0 20 0 3 0 77579291 2579619840 513303 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 35.12 s
Current children cumulated vsize: 2519160 KiB
Current children cumulated memory: 2053212 KiB

[startup+51.1056 s]
/proc/loadavg: 8.06 8.08 8.08 9/259 96602
/proc/meminfo: memFree=117654568/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2469640 memory=2217316 CPUtime=85.84 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 511270 0 0 0 8440 144 0 0 20 0 3 0 77577745 2528911360 554329 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 617410 554329 2144 2102 0 581921 0
[pid=96598/tid=96600] ppid=96595 vsize=2469640 memory=2191404 CPUtime=30.21 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 244193 0 0 0 2982 39 0 0 20 0 3 0 77579291 2528911360 554329 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2469640 memory=2225 CPUtime=34.66 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 157483 0 0 0 3399 67 0 0 20 0 3 0 77579291 2528911360 554329 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 85.84 s
Current children cumulated vsize: 2469640 KiB
Current children cumulated memory: 2217316 KiB

[startup+102.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/259 96606
/proc/meminfo: memFree=117910240/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2547676 memory=2271776 CPUtime=186.2 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 724903 0 0 0 18404 216 0 0 20 0 3 0 77577745 2608820224 567944 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 636919 567944 2144 2102 0 598636 0
[pid=96598/tid=96600] ppid=96595 vsize=2547676 memory=5632 CPUtime=76.49 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 352669 0 0 0 7597 52 0 0 20 0 3 0 77579291 2608820224 567944 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2547676 memory=2254364 CPUtime=82.94 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 262570 0 0 0 8168 126 0 0 20 0 3 0 77579291 2608820224 567944 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 186.2 s
Current children cumulated vsize: 2547676 KiB
Current children cumulated memory: 2271776 KiB

[startup+162.3 s]
/proc/loadavg: 8.10 8.09 8.09 9/259 96608
/proc/meminfo: memFree=117575896/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2535712 memory=2298724 CPUtime=305.27 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 811304 0 0 0 30237 290 0 0 20 0 3 0 77577745 2596569088 574681 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 633928 574681 2144 2102 0 595645 0
[pid=96598/tid=96600] ppid=96595 vsize=2535712 memory=2326940 CPUtime=136.21 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 359882 0 0 0 13569 52 0 0 20 0 3 0 77579291 2596569088 574681 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2535712 memory=2278784 CPUtime=142.27 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 341720 0 0 0 14028 199 0 0 20 0 3 0 77579291 2596569088 574681 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 305.27 s
Current children cumulated vsize: 2535712 KiB
Current children cumulated memory: 2298724 KiB

[startup+222.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/259 96612
/proc/meminfo: memFree=117770520/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2565688 memory=2278388 CPUtime=424.37 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 894313 0 0 0 42074 363 0 0 20 0 3 0 77577745 2627264512 569597 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 641422 569597 2144 2102 0 603206 0
[pid=96598/tid=96600] ppid=96595 vsize=2565688 memory=14080 CPUtime=195.97 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 367736 0 0 0 19544 53 0 0 20 0 3 0 77579291 2627264512 569597 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2565688 memory=2277236 CPUtime=201.59 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 416842 0 0 0 19889 270 0 0 20 0 3 0 77579291 2627264512 569597 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 424.37 s
Current children cumulated vsize: 2565688 KiB
Current children cumulated memory: 2278388 KiB

[startup+282.3 s]
/proc/loadavg: 7.52 7.93 8.03 8/257 96658
/proc/meminfo: memFree=115185924/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2475480 memory=2235100 CPUtime=543.42 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 961844 0 0 0 53908 434 0 0 20 0 3 0 77577745 2534891520 558775 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 618870 558775 2144 2102 0 580657 0
[pid=96598/tid=96600] ppid=96595 vsize=2475480 memory=2341728 CPUtime=255.72 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 374055 0 0 0 25518 54 0 0 20 0 3 0 77579291 2534891520 558775 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2475480 memory=2282868 CPUtime=260.87 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 478020 0 0 0 25747 340 0 0 20 0 3 0 77579291 2534891520 558775 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 543.42 s
Current children cumulated vsize: 2475480 KiB
Current children cumulated memory: 2235100 KiB

[startup+342.3 s]
/proc/loadavg: 7.37 7.81 7.98 8/257 96707
/proc/meminfo: memFree=111685392/131382116 swapFree=33009904/33010684

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

Current children cumulated memory: 2253988 KiB

[startup+1302.3 s]
/proc/loadavg: 8.35 8.13 8.04 10/259 96859
/proc/meminfo: memFree=101261288/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2481516 memory=2253988 CPUtime=2565.67 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1680323 0 0 0 255028 1539 0 0 20 0 3 0 77577745 2541072384 563497 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 620379 563497 2144 2102 0 582167 0
[pid=96598/tid=96600] ppid=96595 vsize=2481516 memory=2293112 CPUtime=1266.66 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 602906 0 0 0 126591 75 0 0 20 0 3 0 77579291 2541072384 563497 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2481516 memory=2350752 CPUtime=1271.88 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 967157 0 0 0 125773 1415 0 0 20 0 3 0 77579291 2541072384 563497 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 2565.67 s
Current children cumulated vsize: 2481516 KiB
Current children cumulated memory: 2253988 KiB

[startup+1362.3 s]
/proc/loadavg: 8.15 8.12 8.04 8/259 96861
/proc/meminfo: memFree=101556632/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2567232 memory=2332664 CPUtime=2684.69 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1703873 0 0 0 266868 1601 0 0 20 0 3 0 77577745 2628845568 583166 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 641808 583166 2144 2102 0 603596 0
[pid=96598/tid=96600] ppid=96595 vsize=2567232 memory=2345260 CPUtime=1325.97 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 611649 0 0 0 132521 76 0 0 20 0 3 0 77579291 2628845568 583166 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2567232 memory=5632 CPUtime=1331.57 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 981941 0 0 0 131681 1476 0 0 20 0 3 0 77579291 2628845568 583166 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 2684.69 s
Current children cumulated vsize: 2567232 KiB
Current children cumulated memory: 2332664 KiB

[startup+1422.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/259 96865
/proc/meminfo: memFree=99873592/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2556760 memory=2303248 CPUtime=2803.68 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1720917 0 0 0 278703 1665 0 0 20 0 3 0 77577745 2618122240 575812 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 639190 575812 2144 2102 0 600978 0
[pid=96598/tid=96600] ppid=96595 vsize=2556760 memory=2302788 CPUtime=1385.28 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 616638 0 0 0 138452 76 0 0 20 0 3 0 77579291 2618122240 575812 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2556760 memory=14080 CPUtime=1391.24 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 993971 0 0 0 137585 1539 0 0 20 0 3 0 77579291 2618122240 575812 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 2803.68 s
Current children cumulated vsize: 2556760 KiB
Current children cumulated memory: 2303248 KiB

[startup+1482.3 s]
/proc/loadavg: 8.13 8.09 8.03 9/259 96867
/proc/meminfo: memFree=100508596/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2596996 memory=2346556 CPUtime=2922.71 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1738929 0 0 0 290542 1729 0 0 20 0 3 0 77577745 2659323904 586639 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 649249 586639 2144 2102 0 611037 0
[pid=96598/tid=96600] ppid=96595 vsize=2596996 memory=14080 CPUtime=1444.76 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 622809 0 0 0 144399 77 0 0 20 0 3 0 77579291 2659323904 586639 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2596996 memory=2366572 CPUtime=1450.77 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1005793 0 0 0 143475 1602 0 0 20 0 3 0 77579291 2659323904 586639 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 2922.71 s
Current children cumulated vsize: 2596996 KiB
Current children cumulated memory: 2346556 KiB

[startup+1542.3 s]
/proc/loadavg: 8.39 8.16 8.06 9/260 96871
/proc/meminfo: memFree=101294912/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2481516 memory=2257828 CPUtime=3041.73 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1767400 0 0 0 302377 1796 0 0 20 0 3 0 77577745 2541072384 564457 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 620379 564457 2144 2102 0 582167 0
[pid=96598/tid=96600] ppid=96595 vsize=2481516 memory=2306736 CPUtime=1504.49 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 640440 0 0 0 150371 78 0 0 20 0 3 0 77579291 2541072384 564457 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2481516 memory=2281136 CPUtime=1510.04 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1016604 0 0 0 149337 1667 0 0 20 0 3 0 77579291 2541072384 564457 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 3041.73 s
Current children cumulated vsize: 2481516 KiB
Current children cumulated memory: 2257828 KiB

[startup+1602.3 s]
/proc/loadavg: 8.39 8.21 8.09 9/259 96873
/proc/meminfo: memFree=99745228/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2481516 memory=2258980 CPUtime=3160.86 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1799244 0 0 0 314224 1862 0 0 20 0 3 0 77577745 2541072384 564745 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 620379 564745 2144 2102 0 582167 0
[pid=96598/tid=96600] ppid=96595 vsize=2481516 memory=2356904 CPUtime=1564.26 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 659657 0 0 0 156347 79 0 0 20 0 3 0 77579291 2541072384 564745 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2481516 memory=2336224 CPUtime=1569.38 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1029206 0 0 0 155207 1731 0 0 20 0 3 0 77579291 2541072384 564745 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 3160.86 s
Current children cumulated vsize: 2481516 KiB
Current children cumulated memory: 2258980 KiB

[startup+1662.3 s]
/proc/loadavg: 8.14 8.17 8.08 9/258 96875
/proc/meminfo: memFree=98789000/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2581932 memory=2355300 CPUtime=3279.96 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1820084 0 0 0 326073 1923 0 0 20 0 3 0 77577745 2643898368 588825 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 645483 588825 2144 2102 0 607271 0
[pid=96598/tid=96600] ppid=96595 vsize=2581932 memory=11264 CPUtime=1624.02 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 667156 0 0 0 162322 80 0 0 20 0 3 0 77579291 2643898368 588825 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2581932 memory=14080 CPUtime=1628.7 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1042501 0 0 0 161080 1790 0 0 20 0 3 0 77579291 2643898368 588825 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 3279.96 s
Current children cumulated vsize: 2581932 KiB
Current children cumulated memory: 2355300 KiB

[startup+1722.3 s]
/proc/loadavg: 8.09 8.15 8.08 9/258 96877
/proc/meminfo: memFree=98290572/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2564244 memory=2341708 CPUtime=3398.99 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1840578 0 0 0 337908 1991 0 0 20 0 3 0 77577745 2625785856 585427 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 641061 585427 2144 2102 0 602849 0
[pid=96598/tid=96600] ppid=96595 vsize=2564244 memory=2283620 CPUtime=1683.76 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 676420 0 0 0 168295 81 0 0 20 0 3 0 77579291 2625785856 585427 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2564244 memory=2359396 CPUtime=1687.99 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1053709 0 0 0 166942 1857 0 0 20 0 3 0 77579291 2625785856 585427 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 3398.99 s
Current children cumulated vsize: 2564244 KiB
Current children cumulated memory: 2341708 KiB

[startup+1782.3 s]
/proc/loadavg: 8.13 8.15 8.09 9/258 96879
/proc/meminfo: memFree=98189716/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2596028 memory=2357108 CPUtime=3518.1 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1855013 0 0 0 349752 2058 0 0 20 0 3 0 77577745 2658332672 589277 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 649007 589277 2144 2102 0 610795 0
[pid=96598/tid=96600] ppid=96595 vsize=2596028 memory=14080 CPUtime=1743.52 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 679496 0 0 0 174271 81 0 0 20 0 3 0 77579291 2658332672 589277 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2596028 memory=2337804 CPUtime=1747.31 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1065068 0 0 0 172808 1923 0 0 20 0 3 0 77579291 2658332672 589277 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 3518.1 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 2357108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1823.6 s]
/proc/loadavg: 8.13 8.15 8.09 9/258 96880
/proc/meminfo: memFree=97565780/131382116 swapFree=33009904/33010684
[pid=96598] ppid=96595 vsize=2578816 memory=2352184 CPUtime=3600.07 cores=1,3
/proc/96598/stat : 96598 (cp-sat-runner) S 96595 96598 90031 0 -1 4194304 1866526 0 0 0 357899 2108 0 0 20 0 3 0 77577745 2640707584 588046 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
/proc/96598/statm: 644704 588046 2144 2102 0 606492 0
[pid=96598/tid=96600] ppid=96595 vsize=2578816 memory=1792 CPUtime=1784.65 cores=1,3
/proc/96598/task/96600/stat : 96600 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 683616 0 0 0 178384 81 0 0 20 0 3 0 77579291 2640707584 588046 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
[pid=96598/tid=96601] ppid=96595 vsize=2578816 memory=1920 CPUtime=1788.15 cores=1,3
/proc/96598/task/96601/stat : 96601 (cp-sat-runner) R 96595 96598 90031 0 -1 4194368 1072437 0 0 0 176843 1972 0 0 20 0 3 0 77579291 2640707584 588046 18446744073709551615 4198400 12805993 140734857280992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 40394752 140734857283862 140734857284067 140734857284067 140734857289671 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2578816 KiB
Current children cumulated memory: 2352184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.01 s, system=21.1035 s

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

Child status: 0

Real time (s): 1823.63
CPU time (s): 3600.11
CPU user time (s): 3579.01
CPU system time (s): 21.1035
CPU usage (%): 197.415
Max. virtual memory (cumulated for all children) (KiB): 2669872
Max. memory (cumulated for all children) (KiB): 2409676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.01
system time used= 21.1035
maximum resident set size= 2409676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1866531
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= 19354
involuntary context switches= 97233


# summary of solver processes directly reported to runsolver:
#   pid: 96598
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3579.01
#   total CPU system time (s): 21.1035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69057 second user time and 9.06337 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 10:49:46
IDJOB=4525665
IDBENCH=143872
IDSOLVER=3378
FILE ID=nodeC004/4525665-1751618985
RUNJOBID= nodeC004-1751612733-90043
SLURM_JOB_ID= 9598915
Free space on /tmp= 431604 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18_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-4525665-1751618985/watcher-4525665-1751618985 -o /tmp/evaluation-result-4525665-1751618985/solver-4525665-1751618985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90043 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2098604970 --competition_mode --input HOME/instance-4525665-1751618985.wbo

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

MD5SUM BENCH= 7ac97bb2deff70454cbda9bb64710db6
RANDOM SEED=2098604970

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        119910820 kB
MemAvailable:   120881148 kB
Buffers:            2128 kB
Cached:          1718552 kB
SwapCached:           32 kB
Active:          9534488 kB
Inactive:        1123572 kB
Active(anon):    8944576 kB
Inactive(anon):    10736 kB
Active(file):     589912 kB
Inactive(file):  1112836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19736 kB
Writeback:             4 kB
AnonPages:       8936592 kB
Mapped:           129848 kB
Shmem:             17932 kB
KReclaimable:     214416 kB
Slab:             301156 kB
SReclaimable:     214416 kB
SUnreclaim:        86740 kB
KernelStack:        4144 kB
PageTables:        20728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9771444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149592 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5974016 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431524 MiB
End job on nodeC004 at 2025-07-04 11:20:10