Trace number 4529562

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.14.2MSAT (TO) 3600.21 1817.73

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-24_wcsp.wbo
MD5SUM5f4845564474de72882a5c75d8b8b05c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2857
Best CPU time to get the best result obtained on this benchmark22.1293
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1612
Total number of constraints129924
Number of soft constraints129825
Number of constraints which are clauses129825
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Top cost 250711
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 22300299
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
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 

7.46/7.20	o 77544
7.85/7.43	o 66348
11.42/9.22	o 66330
13.63/10.45	o 42678
25.03/16.27	o 37784
28.01/17.70	o 29628
28.01/17.78	o 25416
29.40/18.48	o 25202
29.80/18.64	o 25102
33.98/20.79	o 24791
36.16/21.87	o 24771
39.73/23.64	o 24739
44.51/26.09	o 24617
48.82/28.28	o 24448
50.01/28.86	o 21358
50.20/28.93	o 20946
55.19/31.54	o 19668
55.39/31.65	o 15180
61.73/34.87	o 15179
67.05/37.58	o 15115
67.24/37.65	o 14683
67.84/38.00	o 12986
71.77/40.00	o 11995
71.98/40.03	o 11994
84.96/46.60	o 11986
86.94/47.65	o 11651
86.94/47.69	o 8851
87.14/47.72	o 8841
89.51/48.90	o 8840
94.00/51.23	o 8830
102.73/55.64	o 7927
109.86/59.26	o 7906
114.62/61.68	o 7145
118.19/63.43	o 6933
118.19/63.48	o 6620
122.55/65.65	o 6519
132.86/70.84	o 5211
144.96/76.98	o 5195
145.16/77.02	o 5185
146.54/77.71	o 5166
162.20/85.68	o 5082
185.39/97.38	o 4102
211.15/110.32	o 4049
380.98/195.93	o 4047
408.35/209.73	o 3895
425.21/218.25	o 3837
962.27/489.08	o 3827
1465.72/742.61	o 3818
1479.81/749.78	o 3817
1481.80/750.77	o 3816
3600.18/1817.70	s SATISFIABLE
3600.18/1817.70	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 
3600.18/1817.70	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.18/1817.70	v -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.18/1817.70	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 
3600.18/1817.70	v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 
3600.18/1817.70	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 
3600.18/1817.70	v -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
3600.18/1817.70	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 
3600.18/1817.70	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 
3600.18/1817.70	v -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 
3600.18/1817.70	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
3600.18/1817.70	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 
3600.18/1817.70	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
3600.18/1817.70	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 
3600.18/1817.70	v -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 
3600.18/1817.70	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 
3600.18/1817.70	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 
3600.18/1817.70	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
3600.18/1817.70	v -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 
3600.18/1817.70	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 
3600.18/1817.70	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
3600.18/1817.70	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 
3600.18/1817.70	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 
3600.18/1817.70	v -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
3600.18/1817.70	v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 
3600.18/1817.70	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 
3600.18/1817.70	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 
3600.18/1817.70	v -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 
3600.18/1817.70	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 
3600.18/1817.70	v -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 
3600.18/1817.70	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
3600.18/1817.70	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 
3600.18/1817.70	v -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 
3600.18/1817.70	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 
3600.18/1817.70	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 
3600.18/1817.70	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 
3600.18/1817.70	v -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 
3600.18/1817.70	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 
3600.18/1817.70	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 
3600.18/1817.70	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 
3600.18/1817.70	v -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
3600.18/1817.70	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 
3600.18/1817.70	v -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 
3600.18/1817.70	v -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 
3600.18/1817.70	v -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 
3600.18/1817.70	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
3600.18/1817.70	v -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 
3600.18/1817.70	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 
3600.18/1817.70	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 
3600.18/1817.70	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 
3600.18/1817.70	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 
3600.18/1817.70	v -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 
3600.18/1817.70	v -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 
3600.18/1817.70	v -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
3600.18/1817.70	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 
3600.18/1817.70	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 
3600.18/1817.70	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 
3600.18/1817.70	v -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 
3600.18/1817.70	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
3600.18/1817.70	v -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 
3600.18/1817.70	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 
3600.18/1817.70	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 
3600.18/1817.70	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3600.18/1817.70	v -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 
3600.18/1817.70	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 
3600.18/1817.70	v -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 
3600.18/1817.70	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 
3600.18/1817.70	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 
3600.18/1817.70	v -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 
3600.18/1817.70	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 
3600.18/1817.70	v x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
3600.18/1817.70	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 
3600.18/1817.70	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 
3600.18/1817.70	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 
3600.18/1817.70	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 
3600.18/1817.70	v x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3600.18/1817.70	v -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
3600.18/1817.70	v -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
3600.18/1817.70	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 
3600.18/1817.70	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
3600.18/1817.70	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 
3600.18/1817.70	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
3600.18/1817.70	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 
3600.18/1817.70	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 
3600.18/1817.70	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 
3600.18/1817.70	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 
3600.18/1817.70	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 
3600.18/1817.70	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 
3600.18/1817.70	v -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3600.18/1817.70	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
3600.18/1817.70	v -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
3600.18/1817.70	v -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 
3600.18/1817.70	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 
3600.18/1817.70	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 
3600.18/1817.70	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 
3600.18/1817.70	v x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 
3600.18/1817.70	v -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
3600.18/1817.70	v -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
3600.18/1817.70	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 
3600.18/1817.70	v -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
3600.18/1817.70	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 x1277 -x1278 -x1279 
3600.18/1817.70	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3600.18/1817.70	v -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
3600.18/1817.70	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
3600.18/1817.70	v -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 
3600.18/1817.70	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
3600.18/1817.70	v -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
3600.18/1817.70	v -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
3600.18/1817.70	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 
3600.18/1817.70	v -x1368 -x1369 -x1370 -x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 
3600.18/1817.70	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
3600.18/1817.70	v -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
3600.18/1817.70	v -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 
3600.18/1817.70	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 
3600.18/1817.70	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 
3600.18/1817.70	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 
3600.18/1817.70	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.18/1817.70	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.18/1817.70	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 x1477 
3600.18/1817.70	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.18/1817.70	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 
3600.18/1817.70	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 x1509 -x1510 
3600.18/1817.70	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
3600.18/1817.70	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 
3600.18/1817.70	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 
3600.18/1817.70	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
3600.18/1817.70	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 
3600.18/1817.70	v -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
3600.18/1817.70	v -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 
3600.18/1817.70	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 
3600.18/1817.70	v -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 
3600.18/1817.70	v -x1610 -x1611 -x1612

Verifier Data 

OK	3816

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529562-1752571848/watcher-4529562-1752571848 -o /tmp/evaluation-result-4529562-1752571848/solver-4529562-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752571848-122184 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529562-1752571848.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
Current StackSize limit: 8192 KiB

solver pid=122238, runsolver pid=122227

[startup+0.100062 s]*
/proc/loadavg: 1.27 0.35 0.18 5/264 122243
/proc/meminfo: memFree=107651992/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=52356 memory=45956 CPUtime=0.08 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 10519 0 0 0 7 1 0 0 20 0 1 0 172865394 53612544 11489 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 13089 11489 1088 2102 0 10629 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 45956 KiB

[startup+0.205513 s]*
/proc/loadavg: 1.27 0.35 0.18 4/266 122249
/proc/meminfo: memFree=107543188/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=101280 memory=94236 CPUtime=0.19 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 23884 0 0 0 15 4 0 0 20 0 1 0 172865394 103710720 23559 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 25320 23559 1344 2102 0 22860 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101280 KiB
Current children cumulated memory: 94236 KiB

[startup+0.305323 s]*
/proc/loadavg: 1.27 0.35 0.18 4/264 122250
/proc/meminfo: memFree=107471868/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=136180 memory=128164 CPUtime=0.28 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 31285 0 0 0 23 5 0 0 20 0 1 0 172865394 139448320 32041 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 34045 32041 1408 2102 0 31585 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 136180 KiB
Current children cumulated memory: 128164 KiB

[startup+0.700124 s]
/proc/loadavg: 1.27 0.35 0.18 4/264 122250
/proc/meminfo: memFree=107398912/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=157116 memory=146184 CPUtime=0.67 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 35182 0 0 0 61 6 0 0 20 0 1 0 172865394 160886784 36546 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 39279 36546 1536 2102 0 36819 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 157116 KiB
Current children cumulated memory: 146184 KiB

[startup+1.50017 s]
/proc/loadavg: 1.27 0.35 0.18 4/266 122253
/proc/meminfo: memFree=107028152/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=259364 memory=240924 CPUtime=1.47 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 59272 0 0 0 135 12 0 0 20 0 1 0 172865394 265588736 60231 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 64841 60231 1824 2102 0 62381 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 259364 KiB
Current children cumulated memory: 240924 KiB

[startup+3.10535 s]
/proc/loadavg: 1.57 0.43 0.20 3/262 122263
/proc/meminfo: memFree=106590424/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=272008 memory=259232 CPUtime=3.07 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 68395 0 0 0 293 14 0 0 20 0 1 0 172865394 278536192 64808 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 68002 64808 1888 2102 0 65542 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 272008 KiB
Current children cumulated memory: 259232 KiB

[startup+6.30014 s]
/proc/loadavg: 1.57 0.43 0.20 3/260 122267
/proc/meminfo: memFree=106363128/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=315184 memory=308444 CPUtime=6.25 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) R 122227 122238 122165 0 -1 4194304 87519 0 0 0 605 20 0 0 20 0 1 0 172865394 322748416 77111 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 78796 77111 1888 2102 0 76336 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 315184 KiB
Current children cumulated memory: 308444 KiB

[startup+12.7002 s]
/proc/loadavg: 2.10 0.58 0.26 4/269 122280
/proc/meminfo: memFree=104802828/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1432980 memory=1157944 CPUtime=18.12 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 294751 0 0 0 1755 57 0 0 20 0 3 0 172865394 1467371520 289486 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 358245 289486 2176 2102 0 338797 0
[pid=122238/tid=122268] ppid=122227 vsize=1432980 memory=20736 CPUtime=4.9 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 132604 0 0 0 469 21 0 0 20 0 3 0 172866081 1467371520 289486 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1432980 memory=14344 CPUtime=5.46 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 71677 0 0 0 532 14 0 0 20 0 3 0 172866081 1467371520 289486 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 18.12 s
Current children cumulated vsize: 1432980 KiB
Current children cumulated memory: 1157944 KiB

[startup+25.5002 s]
/proc/loadavg: 2.55 0.73 0.31 4/263 122364
/proc/meminfo: memFree=104467796/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1476620 memory=1360116 CPUtime=43.51 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 460848 0 0 0 4269 82 0 0 20 0 3 0 172865394 1512058880 340029 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 369155 340029 2176 2102 0 358248 0
[pid=122238/tid=122268] ppid=122227 vsize=1476620 memory=1358356 CPUtime=17.3 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 210289 0 0 0 1705 25 0 0 20 0 3 0 172866081 1512058880 340029 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1476620 memory=1266852 CPUtime=18 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 160015 0 0 0 1765 35 0 0 20 0 3 0 172866081 1512058880 340029 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 43.51 s
Current children cumulated vsize: 1476620 KiB
Current children cumulated memory: 1360116 KiB

[startup+51.1057 s]
/proc/loadavg: 3.49 1.10 0.44 5/261 122460
/proc/meminfo: memFree=100170640/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1611004 memory=1495356 CPUtime=93.81 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 703727 0 0 0 9253 128 0 0 20 0 3 0 172865394 1649668096 373839 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 402751 373839 2176 2102 0 391663 0
[pid=122238/tid=122268] ppid=122227 vsize=1611004 memory=14344 CPUtime=40.48 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 354221 0 0 0 4008 40 0 0 20 0 3 0 172866081 1649668096 373839 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1611004 memory=1554188 CPUtime=42.61 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 258586 0 0 0 4195 66 0 0 20 0 3 0 172866081 1649668096 373839 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 93.81 s
Current children cumulated vsize: 1611004 KiB
Current children cumulated memory: 1495356 KiB

[startup+102.3 s]
/proc/loadavg: 3.94 1.62 0.66 5/261 122461
/proc/meminfo: memFree=100198836/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1616052 memory=1443396 CPUtime=195.3 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 855947 0 0 0 19344 186 0 0 20 0 3 0 172865394 1654837248 360849 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 404013 360849 2176 2102 0 393461 0
[pid=122238/tid=122268] ppid=122227 vsize=1616052 memory=14344 CPUtime=91.36 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 373421 0 0 0 9094 42 0 0 20 0 3 0 172866081 1654837248 360849 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1616052 memory=20736 CPUtime=93.2 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 391546 0 0 0 9199 121 0 0 20 0 3 0 172866081 1654837248 360849 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 195.3 s
Current children cumulated vsize: 1616052 KiB
Current children cumulated memory: 1443396 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.06 0.87 5/261 122463
/proc/meminfo: memFree=100253332/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1604612 memory=1400824 CPUtime=314.31 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 965004 0 0 0 31180 251 0 0 20 0 3 0 172865394 1643122688 350206 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 401153 350206 2176 2102 0 390706 0
[pid=122238/tid=122268] ppid=122227 vsize=1604612 memory=1426816 CPUtime=151.05 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 379925 0 0 0 15063 42 0 0 20 0 3 0 172866081 1643122688 350206 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1604612 memory=1453828 CPUtime=152.5 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 494055 0 0 0 15065 185 0 0 20 0 3 0 172866081 1643122688 350206 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 314.31 s
Current children cumulated vsize: 1604612 KiB
Current children cumulated memory: 1400824 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.45 1.08 5/261 122465
/proc/meminfo: memFree=99901404/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1662576 memory=1480292 CPUtime=433.35 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1049582 0 0 0 43029 306 0 0 20 0 3 0 172865394 1702477824 370073 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 415644 370073 2176 2102 0 405197 0
[pid=122238/tid=122268] ppid=122227 vsize=1662576 memory=14344 CPUtime=210.76 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 397554 0 0 0 21032 44 0 0 20 0 3 0 172866081 1702477824 370073 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1662576 memory=1476876 CPUtime=211.81 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 560981 0 0 0 20943 238 0 0 20 0 3 0 172866081 1702477824 370073 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 433.35 s
Current children cumulated vsize: 1662576 KiB
Current children cumulated memory: 1480292 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.73 1.27 6/261 122467
/proc/meminfo: memFree=99771540/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1604612 memory=1426380 CPUtime=552.29 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1128282 0 0 0 54862 367 0 0 20 0 3 0 172865394 1643122688 356595 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 401153 356595 2176 2102 0 390714 0
[pid=122238/tid=122268] ppid=122227 vsize=1604612 memory=1475456 CPUtime=270.46 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 402088 0 0 0 27002 44 0 0 20 0 3 0 172866081 1643122688 356595 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1604612 memory=1494948 CPUtime=271.04 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 635117 0 0 0 26806 298 0 0 20 0 3 0 172866081 1643122688 356595 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 552.29 s
Current children cumulated vsize: 1604612 KiB
Current children cumulated memory: 1426380 KiB

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

Current children cumulated memory: 1600640 KiB

[startup+1362.3 s]
/proc/loadavg: 4.11 4.11 3.27 5/256 122521
/proc/meminfo: memFree=99595208/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1753268 memory=1596724 CPUtime=2696.08 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1908618 0 0 0 268126 1482 0 0 20 0 3 0 172865394 1795346432 399181 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 438317 399181 2176 2102 0 425537 0
[pid=122238/tid=122268] ppid=122227 vsize=1753268 memory=1577124 CPUtime=1346.21 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 500269 0 0 0 134457 164 0 0 20 0 3 0 172866081 1795346432 399181 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1753268 memory=1565496 CPUtime=1338.78 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1316801 0 0 0 132598 1280 0 0 20 0 3 0 172866081 1795346432 399181 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 2696.08 s
Current children cumulated vsize: 1753268 KiB
Current children cumulated memory: 1596724 KiB

[startup+1422.3 s]
/proc/loadavg: 4.08 4.10 3.32 5/256 122523
/proc/meminfo: memFree=99404512/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1768120 memory=1609456 CPUtime=2815.19 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1924977 0 0 0 279986 1533 0 0 20 0 3 0 172865394 1810554880 402364 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 442030 402364 2176 2102 0 429250 0
[pid=122238/tid=122268] ppid=122227 vsize=1768120 memory=1553136 CPUtime=1406 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 500602 0 0 0 140436 164 0 0 20 0 3 0 172866081 1810554880 402364 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1768120 memory=14344 CPUtime=1398.09 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1332800 0 0 0 138478 1331 0 0 20 0 3 0 172866081 1810554880 402364 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 2815.19 s
Current children cumulated vsize: 1768120 KiB
Current children cumulated memory: 1609456 KiB

[startup+1482.3 s]
/proc/loadavg: 4.12 4.11 3.38 5/256 122525
/proc/meminfo: memFree=99766444/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1754224 memory=1605504 CPUtime=2934.31 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1959046 0 0 0 291849 1582 0 0 20 0 3 0 172865394 1796325376 401376 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 438556 401376 2176 2102 0 425776 0
[pid=122238/tid=122268] ppid=122227 vsize=1754224 memory=1553136 CPUtime=1465.79 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 501877 0 0 0 146414 165 0 0 20 0 3 0 172866081 1796325376 401376 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1754224 memory=10752 CPUtime=1457.4 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1365569 0 0 0 144362 1378 0 0 20 0 3 0 172866081 1796325376 401376 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 2934.31 s
Current children cumulated vsize: 1754224 KiB
Current children cumulated memory: 1605504 KiB

[startup+1542.3 s]
/proc/loadavg: 4.37 4.17 3.44 5/255 122526
/proc/meminfo: memFree=99780092/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1757760 memory=1620396 CPUtime=3053.42 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1976646 0 0 0 303712 1630 0 0 20 0 3 0 172865394 1799946240 405099 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 439440 405099 2176 2102 0 426660 0
[pid=122238/tid=122268] ppid=122227 vsize=1757760 memory=14344 CPUtime=1525.58 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 502126 0 0 0 152393 165 0 0 20 0 3 0 172866081 1799946240 405099 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1757760 memory=1612204 CPUtime=1516.71 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1382872 0 0 0 150246 1425 0 0 20 0 3 0 172866081 1799946240 405099 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3053.42 s
Current children cumulated vsize: 1757760 KiB
Current children cumulated memory: 1620396 KiB

[startup+1602.3 s]
/proc/loadavg: 4.31 4.20 3.50 5/255 122529
/proc/meminfo: memFree=99770604/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1677176 memory=1542364 CPUtime=3172.54 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 1994668 0 0 0 315575 1679 0 0 20 0 3 0 172865394 1717428224 385591 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 419294 385591 2176 2102 0 406514 0
[pid=122238/tid=122268] ppid=122227 vsize=1677176 memory=20736 CPUtime=1585.36 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 502382 0 0 0 158371 165 0 0 20 0 3 0 172866081 1717428224 385591 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1677176 memory=3100 CPUtime=1576.03 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1400615 0 0 0 156130 1473 0 0 20 0 3 0 172866081 1717428224 385591 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3172.54 s
Current children cumulated vsize: 1677176 KiB
Current children cumulated memory: 1542364 KiB

[startup+1662.3 s]
/proc/loadavg: 4.17 4.17 3.54 5/256 122532
/proc/meminfo: memFree=99299592/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1754276 memory=1594808 CPUtime=3291.66 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 2019948 0 0 0 327439 1727 0 0 20 0 3 0 172865394 1796378624 398702 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 438569 398702 2176 2102 0 425789 0
[pid=122238/tid=122268] ppid=122227 vsize=1754276 memory=1610308 CPUtime=1645.15 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 502612 0 0 0 164350 165 0 0 20 0 3 0 172866081 1796378624 398702 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1754276 memory=14344 CPUtime=1635.34 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1425661 0 0 0 162013 1521 0 0 20 0 3 0 172866081 1796378624 398702 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3291.66 s
Current children cumulated vsize: 1754276 KiB
Current children cumulated memory: 1594808 KiB

[startup+1722.3 s]
/proc/loadavg: 4.18 4.17 3.58 5/256 122534
/proc/meminfo: memFree=99770220/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1727372 memory=1605004 CPUtime=3410.77 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 2047910 0 0 0 339301 1776 0 0 20 0 3 0 172865394 1768828928 401251 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 431843 401251 2176 2102 0 420463 0
[pid=122238/tid=122268] ppid=122227 vsize=1727372 memory=1610308 CPUtime=1704.94 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 505853 0 0 0 170328 166 0 0 20 0 3 0 172866081 1768828928 401251 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1727372 memory=1633736 CPUtime=1694.66 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1450364 0 0 0 167898 1568 0 0 20 0 3 0 172866081 1768828928 401251 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3410.77 s
Current children cumulated vsize: 1727372 KiB
Current children cumulated memory: 1605004 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.15 3.62 5/256 122536
/proc/meminfo: memFree=99609968/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1677176 memory=1537808 CPUtime=3529.89 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 2083205 0 0 0 351160 1829 0 0 20 0 3 0 172865394 1717428224 384452 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 419294 384452 2176 2102 0 408706 0
[pid=122238/tid=122268] ppid=122227 vsize=1677176 memory=1594656 CPUtime=1764.73 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 509295 0 0 0 176306 167 0 0 20 0 3 0 172866081 1717428224 384452 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1677176 memory=-7241082054883119978 CPUtime=1753.97 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1482167 0 0 0 173778 1619 0 0 20 0 3 0 172866081 1717428224 384452 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3529.89 s
Current children cumulated vsize: 1677176 KiB
Current children cumulated memory: 1537808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.7 s]
/proc/loadavg: 4.14 4.15 3.64 5/255 122554
/proc/meminfo: memFree=99366848/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1754328 memory=1590384 CPUtime=3600.18 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 2095730 0 0 0 358160 1858 0 0 20 0 3 0 172865394 1796431872 397596 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 438582 397596 2176 2102 0 427994 0
[pid=122238/tid=122268] ppid=122227 vsize=1754328 memory=1537808 CPUtime=1800 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 509499 0 0 0 179833 167 0 0 20 0 3 0 172866081 1796431872 397596 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1754328 memory=1537808 CPUtime=1788.97 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1494485 0 0 0 177249 1648 0 0 20 0 3 0 172866081 1796431872 397596 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1754328 KiB
Current children cumulated memory: 1590384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.61 s, system=18.6047 s

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

[startup+1817.7 s]
/proc/loadavg: 4.14 4.15 3.64 5/255 122554
/proc/meminfo: memFree=99366848/131249988 swapFree=33010416/33010684
[pid=122238] ppid=122227 vsize=1754328 memory=1590384 CPUtime=3600.18 cores=1,3
/proc/122238/stat : 122238 (cp_sat_runner) S 122227 122238 122165 0 -1 4194304 2095730 0 0 0 358160 1858 0 0 20 0 3 0 172865394 1796431872 397596 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
/proc/122238/statm: 438582 397596 2176 2102 0 427994 0
[pid=122238/tid=122268] ppid=122227 vsize=1754328 memory=1537808 CPUtime=1800 cores=1,3
/proc/122238/task/122268/stat : 122268 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 509499 0 0 0 179833 167 0 0 20 0 3 0 172866081 1796431872 397596 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
[pid=122238/tid=122269] ppid=122227 vsize=1754328 memory=1537808 CPUtime=1788.97 cores=1,3
/proc/122238/task/122269/stat : 122269 (cp_sat_runner) R 122227 122238 122165 0 -1 4194368 1494485 0 0 0 177249 1648 0 0 20 0 3 0 172866081 1796431872 397596 18446744073709551615 4198400 12806697 140736507927168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45178880 140736507934997 140736507935201 140736507935201 140736507940807 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1754328 KiB
Current children cumulated memory: 1590384 KiB

Child status: 0

Real time (s): 1817.73
CPU time (s): 3600.21
CPU user time (s): 3581.61
CPU system time (s): 18.6047
CPU usage (%): 198.061
Max. virtual memory (cumulated for all children) (KiB): 1813420
Max. memory (cumulated for all children) (KiB): 1668068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.61
system time used= 18.6047
maximum resident set size= 1668068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2095739
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= 21734
involuntary context switches= 46682


# summary of solver processes directly reported to runsolver:
#   pid: 122238
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3581.61
#   total CPU system time (s): 18.6047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60508 second user time and 8.6204 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-15 11:30:56
IDJOB=4529562
IDBENCH=143860
IDSOLVER=3387
FILE ID=nodeC031/4529562-1752571848
RUNJOBID= nodeC031-1752571848-122184
SLURM_JOB_ID= 9683900
Free space on /tmp= 431544 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-24_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-4529562-1752571848/watcher-4529562-1752571848 -o /tmp/evaluation-result-4529562-1752571848/solver-4529562-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752571848-122184 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529562-1752571848.wbo

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

MD5SUM BENCH= 5f4845564474de72882a5c75d8b8b05c
RANDOM SEED=764063283

nodeC031 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		: 1200.288
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.887
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		: 3700.000
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		: 3600.137
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		: 1199.242
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		: 3602.550
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		: 3700.000
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		: 3700.000
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:       131249988 kB
MemFree:        107751684 kB
MemAvailable:   129644792 kB
Buffers:            2128 kB
Cached:         22573792 kB
SwapCached:           12 kB
Active:           542296 kB
Inactive:       22113328 kB
Active(anon):      87288 kB
Inactive(anon):    10468 kB
Active(file):     455008 kB
Inactive(file): 22102860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66880 kB
Writeback:             0 kB
AnonPages:         82840 kB
Mapped:           106544 kB
Shmem:             18052 kB
KReclaimable:     348956 kB
Slab:             445816 kB
SReclaimable:     348956 kB
SUnreclaim:        96860 kB
KernelStack:        4112 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     351440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431640 MiB
End job on nodeC031 at 2025-07-15 12:01:26