Trace number 4525638

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14Wrong Cert. 3600.22 1816.02

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-20reduc_wcsp.wbo
MD5SUM7dad1a14c72e86cc3ff77d9672745bc4
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3163
Best CPU time to get the best result obtained on this benchmark60.0599
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1594
Total number of constraints87251
Number of soft constraints87169
Number of constraints which are clauses87169
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint24
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 29876722
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25
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 

3.91/3.87	o 81764
4.33/4.06	o 75635
9.58/6.74	o 60216
21.29/12.64	o 56881
21.29/12.67	o 56773
22.67/13.33	o 55864
22.67/13.35	o 51847
22.67/13.36	o 48886
22.87/13.45	o 46279
22.87/13.49	o 45520
23.07/13.54	o 45261
23.07/13.58	o 41262
23.67/13.81	o 40413
23.67/13.84	o 40018
25.86/14.93	o 38205
25.86/14.95	o 36107
27.04/15.55	o 35996
27.24/15.63	o 35668
28.83/16.41	o 32505
28.83/16.49	o 31325
31.21/17.61	o 31224
33.80/18.98	o 31090
33.99/19.09	o 21509
34.71/19.42	o 19182
37.28/20.75	o 18325
39.87/22.09	o 17382
40.07/22.12	o 16123
40.07/22.14	o 16013
40.07/22.19	o 15211
41.45/22.80	o 15210
41.45/22.82	o 12289
41.65/22.99	o 11386
43.03/23.67	o 8929
43.23/23.70	o 8385
45.62/24.93	o 8270
45.62/24.97	o 7836
46.41/25.37	o 7835
46.61/25.42	o 7833
47.01/25.63	o 7832
47.21/25.74	o 7642
47.60/25.94	o 7549
49.79/27.05	o 7431
51.97/28.17	o 7421
52.16/28.20	o 7397
55.35/29.81	o 7387
58.72/31.57	o 7379
64.47/34.42	o 6686
64.47/34.45	o 6572
68.64/36.51	o 6552
71.42/37.99	o 5887
74.00/39.20	o 5874
75.98/40.22	o 5864
76.18/40.34	o 5851
87.69/46.12	o 5111
88.68/46.66	o 5073
91.06/47.86	o 4971
91.06/47.88	o 4860
91.26/47.90	o 4760
93.45/49.06	o 4694
95.63/50.11	o 4671
103.76/54.20	o 4620
110.31/57.53	o 4618
130.16/67.57	o 4606
144.85/74.92	o 4514
149.61/77.38	o 4513
150.81/77.96	o 4508
151.01/78.03	o 4506
158.55/81.89	o 4505
159.94/82.53	o 4444
182.36/93.88	o 4338
184.34/94.89	o 4336
191.88/98.62	o 4328
195.86/100.69	o 4319
210.33/107.95	o 4318
226.61/116.19	o 4175
244.27/125.08	o 4165
245.05/125.42	o 4085
533.56/270.80	o 4084
647.57/328.38	o 4055
698.94/354.25	o 4054
901.46/456.32	o 4044
1659.44/838.31	o 4001
1676.11/846.76	o 3993
1676.51/846.95	o 3991
1677.30/847.33	o 3989
1691.80/854.67	o 3988
1697.15/857.32	o 3980
1697.15/857.39	o 3978
3226.35/1627.72	o 3965
3600.19/1816.01	s SATISFIABLE
3600.19/1816.01	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.19/1816.01	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.19/1816.01	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 
3600.19/1816.01	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.19/1816.01	v -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 
3600.19/1816.01	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 
3600.19/1816.01	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
3600.19/1816.01	v -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 
3600.19/1816.01	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 
3600.19/1816.01	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
3600.19/1816.01	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 
3600.19/1816.01	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 
3600.19/1816.01	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
3600.19/1816.01	v -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 
3600.19/1816.01	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 
3600.19/1816.01	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 
3600.19/1816.01	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 
3600.19/1816.01	v -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
3600.19/1816.01	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 
3600.19/1816.01	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 
3600.19/1816.01	v -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 
3600.19/1816.01	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
3600.19/1816.01	v -x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 
3600.19/1816.01	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
3600.19/1816.01	v -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 
3600.19/1816.01	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3600.19/1816.01	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 
3600.19/1816.01	v -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 
3600.19/1816.01	v -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 
3600.19/1816.01	v -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 
3600.19/1816.01	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
3600.19/1816.01	v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 
3600.19/1816.01	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 
3600.19/1816.01	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3600.19/1816.01	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 
3600.19/1816.01	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 
3600.19/1816.01	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 
3600.19/1816.01	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 
3600.19/1816.01	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 
3600.19/1816.01	v -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 
3600.19/1816.01	v -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
3600.19/1816.01	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
3600.19/1816.01	v -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
3600.19/1816.01	v -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 
3600.19/1816.01	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 
3600.19/1816.01	v x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
3600.19/1816.01	v -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 
3600.19/1816.01	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 
3600.19/1816.01	v -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 
3600.19/1816.01	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 
3600.19/1816.01	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 
3600.19/1816.01	v -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 
3600.19/1816.01	v -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 
3600.19/1816.01	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
3600.19/1816.01	v -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
3600.19/1816.01	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 
3600.19/1816.01	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 
3600.19/1816.01	v -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
3600.19/1816.01	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
3600.19/1816.01	v -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 
3600.19/1816.01	v -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 
3600.19/1816.01	v -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 
3600.19/1816.01	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3600.19/1816.01	v -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 
3600.19/1816.01	v -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 
3600.19/1816.01	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 
3600.19/1816.01	v -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 
3600.19/1816.01	v -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
3600.19/1816.01	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 
3600.19/1816.01	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 
3600.19/1816.01	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
3600.19/1816.01	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 
3600.19/1816.01	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 
3600.19/1816.01	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 
3600.19/1816.01	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 
3600.19/1816.01	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3600.19/1816.01	v -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
3600.19/1816.01	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
3600.19/1816.01	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 
3600.19/1816.01	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
3600.19/1816.01	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 
3600.19/1816.01	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
3600.19/1816.01	v -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 
3600.19/1816.01	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
3600.19/1816.01	v x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 
3600.19/1816.01	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 
3600.19/1816.01	v -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 
3600.19/1816.01	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 
3600.19/1816.01	v -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3600.19/1816.01	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
3600.19/1816.01	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
3600.19/1816.01	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 
3600.19/1816.01	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 
3600.19/1816.01	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 
3600.19/1816.01	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 
3600.19/1816.01	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
3600.19/1816.01	v -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 
3600.19/1816.01	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
3600.19/1816.01	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 
3600.19/1816.01	v -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
3600.19/1816.01	v -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 
3600.19/1816.01	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3600.19/1816.01	v -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
3600.19/1816.01	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
3600.19/1816.01	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 
3600.19/1816.01	v -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
3600.19/1816.01	v -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
3600.19/1816.01	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
3600.19/1816.01	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 
3600.19/1816.01	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 x1375 -x1376 -x1377 -x1378 
3600.19/1816.01	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
3600.19/1816.01	v -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
3600.19/1816.01	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 
3600.19/1816.01	v -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 
3600.19/1816.01	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
3600.19/1816.01	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 
3600.19/1816.01	v -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.19/1816.01	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.19/1816.01	v -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 
3600.19/1816.01	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.19/1816.01	v -x1489 x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 
3600.19/1816.01	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 
3600.19/1816.01	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
3600.19/1816.01	v x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 
3600.19/1816.01	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 
3600.19/1816.01	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
3600.19/1816.01	v -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 
3600.19/1816.01	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
3600.19/1816.01	v x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 
3600.19/1816.01	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594

Verifier Data 

FAILED
ERROR: cost 3402 exceeds topCost = 3389

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525638-1751617396/watcher-4525638-1751617396 -o /tmp/evaluation-result-4525638-1751617396/solver-4525638-1751617396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:267963213 --competition_mode --input HOME/instance-4525638-1751617396.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=96383, runsolver pid=96380

[startup+0.100069 s]*
/proc/loadavg: 8.09 8.09 8.02 8/257 96384
/proc/meminfo: memFree=126025324/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=21964 memory=15740 CPUtime=0.1 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 3222 0 0 0 9 1 0 0 20 0 1 0 77418753 22491136 3935 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 5491 3935 1088 2102 0 3031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21964 KiB
Current children cumulated memory: 15740 KiB

[startup+0.213546 s]*
/proc/loadavg: 8.09 8.09 8.02 8/257 96384
/proc/meminfo: memFree=125989224/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=56080 memory=49332 CPUtime=0.22 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 12336 0 0 0 18 4 0 0 20 0 1 0 77418753 57425920 12333 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 14020 12333 1152 2102 0 11560 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56080 KiB
Current children cumulated memory: 49332 KiB

[startup+0.313431 s]*
/proc/loadavg: 8.09 8.09 8.02 8/257 96384
/proc/meminfo: memFree=125979876/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=67448 memory=60980 CPUtime=0.32 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 15080 0 0 0 27 5 0 0 20 0 1 0 77418753 69066752 15245 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 16862 15245 1344 2102 0 14402 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 67448 KiB
Current children cumulated memory: 60980 KiB

[startup+0.700305 s]
/proc/loadavg: 8.09 8.09 8.02 8/257 96384
/proc/meminfo: memFree=125945540/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=109396 memory=97820 CPUtime=0.68 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 22571 0 0 0 61 7 0 0 20 0 1 0 77418753 112021504 24455 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 27349 24455 1536 2102 0 24889 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109396 KiB
Current children cumulated memory: 97820 KiB

[startup+1.50031 s]
/proc/loadavg: 8.09 8.09 8.02 8/257 96384
/proc/meminfo: memFree=125988964/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=188548 memory=172528 CPUtime=1.48 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 47658 0 0 0 136 12 0 0 20 0 1 0 77418753 193073152 43132 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 47137 43132 1792 2102 0 44677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188548 KiB
Current children cumulated memory: 172528 KiB

[startup+3.11311 s]
/proc/loadavg: 8.00 8.07 8.01 8/257 96384
/proc/meminfo: memFree=125847032/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=222408 memory=206112 CPUtime=3.09 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 54863 0 0 0 295 14 0 0 20 0 1 0 77418753 227745792 51528 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 55602 51528 1888 2102 0 53142 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222408 KiB
Current children cumulated memory: 206112 KiB

[startup+6.30024 s]
/proc/loadavg: 8.00 8.07 8.01 9/259 96386
/proc/meminfo: memFree=125236160/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1031360 memory=808504 CPUtime=8.79 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) R 96380 96383 90031 0 -1 4194304 210711 0 0 0 833 46 0 0 20 0 3 0 77418753 1056112640 202126 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 257840 202126 2176 2102 0 235069 0
[pid=96383/tid=96385] ppid=96380 vsize=1031360 memory=671932 CPUtime=2.26 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) S 96380 96383 90031 0 -1 4194368 114830 0 0 0 206 20 0 0 20 0 3 0 77419113 1056112640 202126 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1031360 memory=18560 CPUtime=2.56 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 38466 0 0 0 247 9 0 0 20 0 3 0 77419113 1056112640 202126 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 8.79 s
Current children cumulated vsize: 1031360 KiB
Current children cumulated memory: 808504 KiB

[startup+12.7002 s]
/proc/loadavg: 8.00 8.07 8.01 9/259 96386
/proc/meminfo: memFree=125139444/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=959260 memory=817468 CPUtime=21.48 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 282363 0 0 0 2093 55 0 0 20 0 3 0 77418753 982282240 204367 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 239815 204367 2176 2102 0 217426 0
[pid=96383/tid=96385] ppid=96380 vsize=959260 memory=672884 CPUtime=8.62 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 137595 0 0 0 840 22 0 0 20 0 3 0 77419113 982282240 204367 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=959260 memory=206112 CPUtime=8.8 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 87271 0 0 0 863 17 0 0 20 0 3 0 77419113 982282240 204367 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 21.48 s
Current children cumulated vsize: 959260 KiB
Current children cumulated memory: 817468 KiB

[startup+25.5003 s]
/proc/loadavg: 8.00 8.06 8.01 9/259 96386
/proc/meminfo: memFree=125187052/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1031832 memory=884244 CPUtime=46.81 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 404877 0 0 0 4605 76 0 0 20 0 3 0 77418753 1056595968 221061 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 257958 221061 2176 2102 0 236037 0
[pid=96383/tid=96385] ppid=96380 vsize=1031832 memory=867588 CPUtime=20.97 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 218307 0 0 0 2068 29 0 0 20 0 3 0 77419113 1056595968 221061 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1031832 memory=885516 CPUtime=21.27 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 129024 0 0 0 2096 31 0 0 20 0 3 0 77419113 1056595968 221061 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 46.81 s
Current children cumulated vsize: 1031832 KiB
Current children cumulated memory: 884244 KiB

[startup+51.1055 s]
/proc/loadavg: 7.98 8.06 8.01 8/258 96433
/proc/meminfo: memFree=125086332/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1011352 memory=896652 CPUtime=97.62 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 511555 0 0 0 9653 109 0 0 20 0 3 0 77418753 1035624448 224163 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 252838 224163 2176 2102 0 237019 0
[pid=96383/tid=96385] ppid=96380 vsize=1011352 memory=18560 CPUtime=46.46 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 268396 0 0 0 4613 33 0 0 20 0 3 0 77419113 1035624448 224163 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1011352 memory=876628 CPUtime=46.58 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 185543 0 0 0 4598 60 0 0 20 0 3 0 77419113 1035624448 224163 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 97.62 s
Current children cumulated vsize: 1011352 KiB
Current children cumulated memory: 896652 KiB

[startup+102.3 s]
/proc/loadavg: 7.89 8.00 8.00 9/259 96437
/proc/meminfo: memFree=120904608/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1075108 memory=942412 CPUtime=199.21 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 662387 0 0 0 19754 167 0 0 20 0 3 0 77418753 1100910592 235603 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 268777 235603 2176 2102 0 247253 0
[pid=96383/tid=96385] ppid=96380 vsize=1075108 memory=14080 CPUtime=97.43 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 334869 0 0 0 9705 38 0 0 20 0 3 0 77419113 1100910592 235603 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1075108 memory=901364 CPUtime=97.19 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 269793 0 0 0 9607 112 0 0 20 0 3 0 77419113 1100910592 235603 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 199.21 s
Current children cumulated vsize: 1075108 KiB
Current children cumulated memory: 942412 KiB

[startup+162.3 s]
/proc/loadavg: 7.96 8.00 8.00 9/258 96439
/proc/meminfo: memFree=120608996/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1041308 memory=912688 CPUtime=318.28 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 756034 0 0 0 31621 207 0 0 20 0 3 0 77418753 1066299392 228172 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 260327 228172 2176 2102 0 239177 0
[pid=96383/tid=96385] ppid=96380 vsize=1041308 memory=911280 CPUtime=157.17 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 365025 0 0 0 15676 41 0 0 20 0 3 0 77419113 1066299392 228172 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1041308 memory=911280 CPUtime=156.49 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 333243 0 0 0 15501 148 0 0 20 0 3 0 77419113 1066299392 228172 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 318.28 s
Current children cumulated vsize: 1041308 KiB
Current children cumulated memory: 912688 KiB

[startup+222.3 s]
/proc/loadavg: 8.11 8.03 8.01 9/258 96487
/proc/meminfo: memFree=120232212/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1092544 memory=952500 CPUtime=437.35 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 815223 0 0 0 43501 234 0 0 20 0 3 0 77418753 1118765056 238125 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 273136 238125 2176 2102 0 253217 0
[pid=96383/tid=96385] ppid=96380 vsize=1092544 memory=-8183434661288973247 CPUtime=216.91 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 376640 0 0 0 21649 42 0 0 20 0 3 0 77419113 1118765056 238125 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1092544 memory=18560 CPUtime=215.81 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 380778 0 0 0 21407 174 0 0 20 0 3 0 77419113 1118765056 238125 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 437.35 s
Current children cumulated vsize: 1092544 KiB
Current children cumulated memory: 952500 KiB

[startup+282.3 s]
/proc/loadavg: 8.15 8.06 8.02 9/258 96489
/proc/meminfo: memFree=120054616/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1092312 memory=954328 CPUtime=556.35 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 867680 0 0 0 55378 257 0 0 20 0 3 0 77418753 1118527488 238582 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 273078 238582 2176 2102 0 253159 0
[pid=96383/tid=96385] ppid=96380 vsize=1092312 memory=940112 CPUtime=276.64 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 385029 0 0 0 27621 43 0 0 20 0 3 0 77419113 1118527488 238582 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1092312 memory=917288 CPUtime=275.07 cores=0,2

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

Current children cumulated memory: 1013260 KiB

[startup+1302.3 s]
/proc/loadavg: 8.13 8.14 8.08 9/258 96538
/proc/meminfo: memFree=119683224/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1013260 CPUtime=2580.44 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1333309 0 0 0 257451 593 0 0 20 0 3 0 77418753 1133408256 253315 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 253315 2176 2102 0 260674 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1010700 CPUtime=1287.05 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 465435 0 0 0 128649 56 0 0 20 0 3 0 77419113 1133408256 253315 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=1048480 CPUtime=1288.45 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 809748 0 0 0 128340 505 0 0 20 0 3 0 77419113 1133408256 253315 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 2580.44 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1013260 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.13 8.08 9/258 96540
/proc/meminfo: memFree=119374536/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1017484 CPUtime=2699.55 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1345822 0 0 0 269337 618 0 0 20 0 3 0 77418753 1133408256 254371 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 254371 2176 2102 0 261708 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1048480 CPUtime=1346.4 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 466668 0 0 0 134584 56 0 0 20 0 3 0 77419113 1133408256 254371 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=1050756 CPUtime=1348.19 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 821027 0 0 0 134290 529 0 0 20 0 3 0 77419113 1133408256 254371 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 2699.55 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1017484 KiB

[startup+1422.3 s]
/proc/loadavg: 8.08 8.11 8.08 9/258 96542
/proc/meminfo: memFree=119366748/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1018636 CPUtime=2818.63 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1352113 0 0 0 281235 628 0 0 20 0 3 0 77418753 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 254659 2176 2102 0 262017 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1048480 CPUtime=1405.72 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 467017 0 0 0 140516 56 0 0 20 0 3 0 77419113 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=1018636 CPUtime=1407.94 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 826950 0 0 0 140255 539 0 0 20 0 3 0 77419113 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 2818.63 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1018636 KiB

[startup+1482.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/259 96545
/proc/meminfo: memFree=119360892/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1018636 CPUtime=2937.74 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1354154 0 0 0 293143 631 0 0 20 0 3 0 77418753 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 254659 2176 2102 0 262017 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1018636 CPUtime=1465.08 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 467051 0 0 0 146451 57 0 0 20 0 3 0 77419113 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=14080 CPUtime=1467.68 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 828951 0 0 0 146227 541 0 0 20 0 3 0 77419113 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 2937.74 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1018636 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.11 8.09 9/259 96547
/proc/meminfo: memFree=119314392/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1018636 CPUtime=3056.84 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1359068 0 0 0 305047 637 0 0 20 0 3 0 77418753 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 254659 2176 2102 0 262017 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=14080 CPUtime=1524.42 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 468150 0 0 0 152385 57 0 0 20 0 3 0 77419113 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=1065932 CPUtime=1527.43 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 832744 0 0 0 152196 547 0 0 20 0 3 0 77419113 1133408256 254659 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 3056.84 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1018636 KiB

[startup+1602.3 s]
/proc/loadavg: 7.92 8.07 8.08 8/257 96599
/proc/meminfo: memFree=119535276/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1018644 CPUtime=3175.94 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1373184 0 0 0 316938 656 0 0 20 0 3 0 77418753 1133408256 254661 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 254661 2176 2102 0 262017 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1065932 CPUtime=1583.76 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 472118 0 0 0 158319 57 0 0 20 0 3 0 77419113 1133408256 254661 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=14080 CPUtime=1587.17 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 842882 0 0 0 158153 564 0 0 20 0 3 0 77419113 1133408256 254661 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 3175.94 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1018644 KiB

[startup+1662.3 s]
/proc/loadavg: 8.04 8.07 8.08 9/259 96605
/proc/meminfo: memFree=117661600/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1027736 CPUtime=3295.03 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1380474 0 0 0 328844 659 0 0 20 0 3 0 77418753 1133408256 256934 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 256934 2176 2102 0 264288 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1018644 CPUtime=1643.09 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 477236 0 0 0 164251 58 0 0 20 0 3 0 77419113 1133408256 256934 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=14080 CPUtime=1646.91 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 845052 0 0 0 164125 566 0 0 20 0 3 0 77419113 1133408256 256934 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 3295.03 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1027736 KiB

[startup+1722.3 s]
/proc/loadavg: 8.17 8.10 8.09 9/259 96607
/proc/meminfo: memFree=117824720/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1149168 memory=1073716 CPUtime=3414.14 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1392880 0 0 0 340731 683 0 0 20 0 3 0 77418753 1176748032 268429 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 287292 268429 2176 2102 0 275779 0
[pid=96383/tid=96385] ppid=96380 vsize=1149168 memory=1018644 CPUtime=1702.43 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 477643 0 0 0 170185 58 0 0 20 0 3 0 77419113 1176748032 268429 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1149168 memory=1063948 CPUtime=1706.68 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 857047 0 0 0 170079 589 0 0 20 0 3 0 77419113 1176748032 268429 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 3414.14 s
Current children cumulated vsize: 1149168 KiB
Current children cumulated memory: 1073716 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.10 8.09 9/259 96612
/proc/meminfo: memFree=117505552/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1031404 CPUtime=3533.27 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1401521 0 0 0 352642 685 0 0 20 0 3 0 77418753 1133408256 257851 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 257851 2176 2102 0 265198 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=1031404 CPUtime=1761.78 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 484917 0 0 0 176119 59 0 0 20 0 3 0 77419113 1133408256 257851 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=1031404 CPUtime=1766.44 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 858395 0 0 0 176054 590 0 0 20 0 3 0 77419113 1133408256 257851 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 3533.27 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1031404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816 s]*
/proc/loadavg: 8.14 8.10 8.09 9/259 96613
/proc/meminfo: memFree=117614580/131382116 swapFree=33009904/33010684
[pid=96383] ppid=96380 vsize=1106844 memory=1031404 CPUtime=3600.19 cores=0,2
/proc/96383/stat : 96383 (cp-sat-runner) S 96380 96383 90031 0 -1 4194304 1406646 0 0 0 359333 686 0 0 20 0 3 0 77418753 1133408256 257851 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
/proc/96383/statm: 276711 257851 2176 2102 0 265198 0
[pid=96383/tid=96385] ppid=96380 vsize=1106844 memory=-8183429159402311358 CPUtime=1795.12 cores=0,2
/proc/96383/task/96385/stat : 96385 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 488923 0 0 0 179453 59 0 0 20 0 3 0 77419113 1133408256 257851 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
[pid=96383/tid=96386] ppid=96380 vsize=1106844 memory=7686721470264483783 CPUtime=1800.01 cores=0,2
/proc/96383/task/96386/stat : 96386 (cp-sat-runner) R 96380 96383 90031 0 -1 4194368 859497 0 0 0 179411 590 0 0 20 0 3 0 77419113 1133408256 257851 18446744073709551615 4198400 12805993 140724932745936 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 17080320 140724932749591 140724932749795 140724932749795 140724932755399 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 1106844 KiB
Current children cumulated memory: 1031404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.34 s, system=6.88223 s

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

Child status: 0

Real time (s): 1816.02
CPU time (s): 3600.22
CPU user time (s): 3593.34
CPU system time (s): 6.88223
CPU usage (%): 198.247
Max. virtual memory (cumulated for all children) (KiB): 1162464
Max. memory (cumulated for all children) (KiB): 1085020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.34
system time used= 6.88223
maximum resident set size= 1085020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1406654
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= 21876
involuntary context switches= 129558


# summary of solver processes directly reported to runsolver:
#   pid: 96383
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3593.34
#   total CPU system time (s): 6.88223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71612 second user time and 9.22162 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 10:23:16
IDJOB=4525638
IDBENCH=143869
IDSOLVER=3378
FILE ID=nodeC004/4525638-1751617396
RUNJOBID= nodeC004-1751612733-90041
SLURM_JOB_ID= 9598915
Free space on /tmp= 431632 MiB

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

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

MD5SUM BENCH= 7dad1a14c72e86cc3ff77d9672745bc4
RANDOM SEED=267963213

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		: 1197.884
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		: 3591.632
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		: 1197.210
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		: 3591.788
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		: 3591.693
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		: 3591.656
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		: 3591.629
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.627
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:        126029708 kB
MemAvailable:   126970192 kB
Buffers:            2128 kB
Cached:          1688724 kB
SwapCached:           32 kB
Active:          3463580 kB
Inactive:        1093744 kB
Active(anon):    2873668 kB
Inactive(anon):    10736 kB
Active(file):     589912 kB
Inactive(file):  1083008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15140 kB
Writeback:           108 kB
AnonPages:       2863644 kB
Mapped:           129920 kB
Shmem:             17932 kB
KReclaimable:     214384 kB
Slab:             301260 kB
SReclaimable:     214384 kB
SUnreclaim:        86876 kB
KernelStack:        4144 kB
PageTables:         8836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3395376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2023424 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= 431592 MiB
End job on nodeC004 at 2025-07-04 10:53:32