Trace number 4526121

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
Exact 2025-06-02OPTIMUM 421.286 422.281

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-cap103_wcsp.wbo
MD5SUMba857364af295ab8f3555d8567fc7cd2
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8654841
Best CPU time to get the best result obtained on this benchmark0.045898
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 61786724
Min constraint cost 1
Max constraint cost 61786724
Sum of constraints costs 77838680126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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 

359.20/360.09	o 8999242
361.29/362.16	o 8998167
361.29/362.16	o 8997136
361.29/362.17	o 8996184
361.59/362.45	o 8941697
361.59/362.48	o 8941464
361.59/362.49	o 8933076
361.78/362.61	o 8931899
361.78/362.62	o 8930124
361.78/362.63	o 8924396
363.48/364.30	o 8923605
364.67/365.50	o 8922602
364.67/365.53	o 8922488
364.77/365.68	o 8916256
365.27/366.11	o 8914893
366.56/367.46	o 8912319
369.46/370.30	o 8912265
369.46/370.32	o 8911552
369.46/370.35	o 8910541
369.46/370.38	o 8909667
369.56/370.46	o 8909102
369.56/370.48	o 8908392
371.66/372.57	o 8907917
372.26/373.14	o 8907742
373.74/374.63	o 8907507
374.15/375.07	o 8890363
375.15/376.08	o 8890122
375.25/376.14	o 8889758
375.25/376.17	o 8889166
375.35/376.20	o 8888924
375.35/376.25	o 8887293
375.35/376.28	o 8886419
375.44/376.32	o 8885706
377.83/378.71	o 8885553
378.33/379.20	o 8880840
379.53/380.44	o 8880820
379.53/380.49	o 8880110
379.63/380.54	o 8871059
379.63/380.58	o 8868407
379.73/380.62	o 8867694
379.83/380.79	o 8867482
381.12/382.00	o 8867377
382.32/383.24	o 8865717
382.42/383.30	o 8860581
382.42/383.35	o 8859989
383.51/384.41	o 8857506
383.51/384.48	o 8853293
383.61/384.53	o 8849158
383.61/384.58	o 8846522
383.71/384.63	o 8845648
383.71/384.67	o 8843761
383.91/384.84	o 8843048
384.01/384.94	o 8823900
384.01/384.98	o 8815232
384.31/385.23	o 8814262
384.41/385.33	o 8809884
384.41/385.38	o 8809766
384.51/385.42	o 8809174
385.40/386.31	o 8809156
385.51/386.47	o 8808443
385.61/386.53	o 8807181
385.61/386.58	o 8804657
385.71/386.62	o 8804065
385.81/386.72	o 8803355
385.91/386.87	o 8803007
386.01/386.93	o 8802415
386.01/386.98	o 8801702
387.11/388.10	o 8800828
387.80/388.72	o 8799414
387.80/388.79	o 8798822
387.90/388.86	o 8797906
388.00/388.92	o 8797193
388.00/388.98	o 8796483
388.10/389.07	o 8795609
388.20/389.16	o 8793618
388.30/389.21	o 8793026
388.30/389.29	o 8791395
388.39/389.38	o 8791113
388.49/389.45	o 8790521
389.00/389.90	o 8790212
390.10/391.09	o 8789772
390.49/391.49	o 8789226
390.59/391.55	o 8788761
391.19/392.16	o 8788628
392.39/393.33	o 8787657
393.09/394.08	o 8787151
393.19/394.14	o 8786277
393.28/394.21	o 8785695
393.28/394.28	o 8785103
393.38/394.35	o 8783029
394.28/395.20	o 8783001
394.48/395.41	o 8763214
394.48/395.47	o 8762622
394.58/395.51	o 8762504
401.17/402.13	o 8759385
401.46/402.44	o 8758581
401.46/402.46	o 8757087
401.46/402.48	o 8755882
401.66/402.62	o 8754566
401.66/402.65	o 8754234
401.66/402.67	o 8753056
404.45/405.49	o 8752569
404.55/405.51	o 8752104
405.25/406.20	o 8749743
405.25/406.22	o 8749439
405.25/406.24	o 8748565
405.25/406.26	o 8748394
405.25/406.28	o 8747216
405.35/406.31	o 8746187
405.35/406.33	o 8745722
405.35/406.36	o 8745595
405.35/406.38	o 8745130
405.45/406.40	o 8745082
405.45/406.41	o 8744617
405.45/406.43	o 8744587
405.45/406.44	o 8744122
405.65/406.68	o 8742612
405.74/406.71	o 8741738
406.34/407.36	o 8740184
407.24/408.29	o 8739886
407.34/408.32	o 8739045
407.34/408.34	o 8737911
407.94/408.93	o 8733433
408.04/409.02	o 8732255
408.64/409.68	o 8731904
408.73/409.73	o 8731440
408.73/409.76	o 8730730
408.73/409.78	o 8730017
409.04/410.10	o 8728467
409.14/410.12	o 8727593
409.14/410.15	o 8726407
409.14/410.18	o 8725815
409.23/410.21	o 8725533
409.23/410.24	o 8724941
409.83/410.89	o 8724396
410.03/411.01	o 8723761
410.03/411.04	o 8722627
410.03/411.07	o 8721917
410.83/411.81	o 8721901
410.83/411.84	o 8721191
410.83/411.88	o 8716103
410.93/411.95	o 8714769
410.93/411.99	o 8714059
411.03/412.06	o 8713467
411.62/412.66	o 8713169
411.62/412.69	o 8712456
411.72/412.72	o 8712174
411.72/412.75	o 8711582
412.43/413.42	o 8703460
412.43/413.46	o 8702750
412.53/413.51	o 8702747
412.53/413.55	o 8702037
412.63/413.63	o 8702012
412.63/413.68	o 8700878
412.73/413.71	o 8699247
412.73/413.74	o 8698373
412.73/413.78	o 8697663
412.83/413.84	o 8696518
412.83/413.88	o 8696397
412.93/413.95	o 8695805
413.03/414.00	o 8688673
413.32/414.38	o 8688209
413.72/414.77	o 8688088
413.82/414.80	o 8687378
413.82/414.83	o 8686786
415.61/416.61	o 8683054
416.12/417.16	o 8680273
416.32/417.34	o 8679936
416.32/417.38	o 8679223
416.41/417.41	o 8678513
416.41/417.46	o 8674150
416.41/417.50	o 8673437
416.71/417.79	o 8671550
417.41/418.47	o 8670676
419.01/420.03	o 8670084
419.40/420.44	o 8667516
419.50/420.53	o 8666496
419.60/420.64	o 8663860
419.70/420.71	o 8661946
419.70/420.76	o 8661072
419.80/420.80	o 8657320
419.80/420.84	o 8656728
419.90/420.93	o 8655551
419.90/420.96	o 8654841
421.19/422.26	s OPTIMUM FOUND
421.19/422.26	v x1 -x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 x11 -x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300

Verifier Data 

OK	8654841

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526121-1751629298/watcher-4526121-1751629298 -o /tmp/evaluation-result-4526121-1751629298/solver-4526121-1751629298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751619454-100205 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1266401190 --ls=360 HOME/instance-4526121-1751629298.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=102713, runsolver pid=102710

[startup+0.100059 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 102714
/proc/meminfo: memFree=120377940/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=0.09 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 9 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.204575 s]*
/proc/loadavg: 4.08 4.10 4.09 6/265 102714
/proc/meminfo: memFree=120378100/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=0.2 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 20 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.304282 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 102714
/proc/meminfo: memFree=120378100/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=0.3 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 30 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.700095 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 102714
/proc/meminfo: memFree=120378100/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=0.69 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 69 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+1.50009 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 102714
/proc/meminfo: memFree=120378100/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=1.49 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 149 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+3.10467 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 102714
/proc/meminfo: memFree=120378372/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=3.09 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 309 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+6.30009 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 102714
/proc/meminfo: memFree=120378372/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=6.27 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 627 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 102714
/proc/meminfo: memFree=120378692/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=12.66 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 1266 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+25.5001 s]
/proc/loadavg: 4.27 4.14 4.10 5/265 102714
/proc/meminfo: memFree=120378692/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=25.43 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 2543 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+51.1047 s]
/proc/loadavg: 4.44 4.20 4.12 5/265 102715
/proc/meminfo: memFree=120360808/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=50.98 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 5098 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/265 102716
/proc/meminfo: memFree=120353032/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=102.07 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 10207 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/265 102718
/proc/meminfo: memFree=120354044/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=161.94 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 16194 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/264 102720
/proc/meminfo: memFree=120349928/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=221.8 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 22180 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 102722
/proc/meminfo: memFree=120347292/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=281.67 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 28167 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+342.3 s]
/proc/loadavg: 3.53 4.00 4.06 3/253 102791
/proc/meminfo: memFree=120069484/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=36296 memory=12676 CPUtime=341.54 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 2543 0 0 0 34154 0 0 0 20 0 1 0 78608565 37167104 3169 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+402.3 s]
/proc/loadavg: 2.63 3.65 3.93 3/252 102793
/proc/meminfo: memFree=118675724/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=268732 memory=230844 CPUtime=401.36 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 38751 0 0 0 40115 21 0 0 20 0 1 0 78608565 275181568 57711 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67183 57711 1280 1200 0 65663 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 268732 KiB
Current children cumulated memory: 230844 KiB

[startup+422.281 s]
# the end of solver process 102713 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=420.988 s, system=0.298097 s

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

[startup+409.6 s]
/proc/loadavg: 2.58 3.62 3.92 3/252 102793
/proc/meminfo: memFree=118667408/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=268732 memory=230844 CPUtime=408.64 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 38752 0 0 0 40839 25 0 0 20 0 1 0 78608565 275181568 57711 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67183 57711 1280 1200 0 65663 0
Current children cumulated CPU time: 408.64 s
Current children cumulated vsize: 268732 KiB
Current children cumulated memory: 230844 KiB

[startup+416 s]*
/proc/loadavg: 2.54 3.59 3.91 3/252 102793
/proc/meminfo: memFree=118667408/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=268884 memory=230972 CPUtime=415.02 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 38772 0 0 0 41476 26 0 0 20 0 1 0 78608565 275337216 57743 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67221 57743 1280 1200 0 65701 0
Current children cumulated CPU time: 415.02 s
Current children cumulated vsize: 268884 KiB
Current children cumulated memory: 230972 KiB

[startup+419.2 s]
/proc/loadavg: 2.49 3.57 3.90 3/252 102794
/proc/meminfo: memFree=118667528/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=269808 memory=231868 CPUtime=418.21 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 38999 0 0 0 41793 28 0 0 20 0 1 0 78608565 276283392 57967 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67452 57967 1280 1200 0 65932 0
Current children cumulated CPU time: 418.21 s
Current children cumulated vsize: 269808 KiB
Current children cumulated memory: 231868 KiB

[startup+420.8 s]
/proc/loadavg: 2.49 3.57 3.90 3/252 102794
/proc/meminfo: memFree=118663432/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=270324 memory=232380 CPUtime=419.8 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 39136 0 0 0 41952 28 0 0 20 0 1 0 78608565 276811776 58095 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67581 58095 1280 1200 0 66061 0
Current children cumulated CPU time: 419.8 s
Current children cumulated vsize: 270324 KiB
Current children cumulated memory: 232380 KiB

[startup+421.6 s]
/proc/loadavg: 2.49 3.57 3.90 3/252 102794
/proc/meminfo: memFree=118663432/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=271044 memory=232892 CPUtime=420.6 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 39249 0 0 0 42032 28 0 0 20 0 1 0 78608565 277549056 58223 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67761 58223 1280 1200 0 66241 0
Current children cumulated CPU time: 420.6 s
Current children cumulated vsize: 271044 KiB
Current children cumulated memory: 232892 KiB

[startup+422 s]*
/proc/loadavg: 2.45 3.54 3.89 3/252 102794
/proc/meminfo: memFree=118663432/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=271176 memory=233148 CPUtime=421 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 39316 0 0 0 42072 28 0 0 20 0 1 0 78608565 277684224 58287 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67794 58287 1280 1200 0 66274 0
Current children cumulated CPU time: 421 s
Current children cumulated vsize: 271176 KiB
Current children cumulated memory: 233148 KiB

[startup+422.2 s]
/proc/loadavg: 2.45 3.54 3.89 3/252 102794
/proc/meminfo: memFree=118663432/131249992 swapFree=33010160/33010684
[pid=102713] ppid=102710 vsize=271176 memory=233276 CPUtime=421.19 cores=5,7
/proc/102713/stat : 102713 (Exact) R 102710 102713 100192 0 -1 4194304 39344 0 0 0 42091 28 0 0 20 0 1 0 78608565 277684224 58319 18446744073709551615 4198400 9112445 140736815546848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 30425088 140736815548727 140736815548906 140736815548906 140736815554511 0
/proc/102713/statm: 67794 58319 1280 1200 0 66274 0
Current children cumulated CPU time: 421.19 s
Current children cumulated vsize: 271176 KiB
Current children cumulated memory: 233276 KiB

Child status: 30

Real time (s): 422.281
CPU time (s): 421.286
CPU user time (s): 420.988
CPU system time (s): 0.298097
CPU usage (%): 99.7643
Max. virtual memory (cumulated for all children) (KiB): 271176
Max. memory (cumulated for all children) (KiB): 233276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 420.988
system time used= 0.298097
maximum resident set size= 233276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39354
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= 2
involuntary context switches= 178


# summary of solver processes directly reported to runsolver:
#   pid: 102713
#   total CPU time (s): 421.286
#   total CPU user time (s): 420.988
#   total CPU system time (s): 0.298097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.703315 second user time and 1.45873 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-04 13:41:38
IDJOB=4526121
IDBENCH=143985
IDSOLVER=3375
FILE ID=nodeC025/4526121-1751629298
RUNJOBID= nodeC025-1751619454-100205
SLURM_JOB_ID= 9598934
Free space on /tmp= 432952 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap103_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526121-1751629298/watcher-4526121-1751629298 -o /tmp/evaluation-result-4526121-1751629298/solver-4526121-1751629298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751619454-100205 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1266401190 --ls=360 HOME/instance-4526121-1751629298.wbo

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

MD5SUM BENCH= ba857364af295ab8f3555d8567fc7cd2
RANDOM SEED=1266401190

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.846
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.67
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.803
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.67
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		: 3553.100
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.67
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		: 3601.157
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.820
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.67
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		: 3598.588
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.67
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		: 3600.133
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        120387312 kB
MemAvailable:   128973544 kB
Buffers:            2128 kB
Cached:          9333900 kB
SwapCached:          200 kB
Active:          1138544 kB
Inactive:        8999564 kB
Active(anon):     802784 kB
Inactive(anon):    17152 kB
Active(file):     335760 kB
Inactive(file):  8982412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7188 kB
Writeback:            40 kB
AnonPages:        804932 kB
Mapped:           115852 kB
Shmem:             17856 kB
KReclaimable:     214600 kB
Slab:             305540 kB
SReclaimable:     214600 kB
SUnreclaim:        90940 kB
KernelStack:        4288 kB
PageTables:         4476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1228676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432956 MiB
End job on nodeC025 at 2025-07-04 13:48:40