Trace number 4522430

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 NameAnswerobjective functionCPU timeWall clock time
Exact_no_db_no_ls 2025-06-19OPT2967 61.5216 61.6877

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
MD5SUMb6d457804c0edb01048fac97a08f0a0d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.147297
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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 

0.00/0.04	o 3705
3.38/3.45	o 3685
3.48/3.51	o 3652
3.48/3.51	o 3651
3.48/3.52	o 3647
3.48/3.52	o 3636
3.48/3.53	o 3635
3.48/3.54	o 3631
3.48/3.58	o 3629
4.58/4.63	o 3587
4.78/4.89	o 3573
4.98/5.01	o 3572
8.56/8.63	o 3504
8.56/8.64	o 3503
12.46/12.53	o 3502
12.46/12.55	o 3501
12.46/12.58	o 3500
12.56/12.65	o 3493
12.66/12.72	o 3491
12.66/12.74	o 3490
12.66/12.75	o 3489
12.85/12.90	o 3488
12.85/12.91	o 3487
12.85/12.93	o 3484
12.85/12.96	o 3483
13.15/13.25	o 3482
13.15/13.27	o 3477
16.84/16.95	o 3474
17.84/17.95	o 3471
20.24/20.38	o 3469
20.33/20.46	o 3468
20.53/20.61	o 3378
20.63/20.77	o 3367
22.04/22.13	o 3362
22.04/22.15	o 3361
23.72/23.81	o 3356
23.72/23.83	o 3355
23.72/23.84	o 3351
23.72/23.87	o 3349
23.93/24.02	o 3348
24.12/24.20	o 3347
25.72/25.88	o 3346
26.02/26.13	o 3345
26.12/26.26	o 3343
26.12/26.29	o 3342
26.42/26.54	o 3338
29.61/29.75	o 3335
29.61/29.76	o 3331
29.61/29.77	o 3330
29.61/29.79	o 3316
29.71/29.83	o 3315
29.71/29.86	o 3312
29.71/29.86	o 3311
30.20/30.31	o 3250
30.20/30.32	o 3248
30.20/30.33	o 3237
30.20/30.33	o 3233
30.20/30.35	o 3231
30.20/30.35	o 3230
30.20/30.37	o 3228
30.20/30.38	o 3227
32.50/32.67	o 3220
32.50/32.68	o 3219
32.50/32.68	o 3217
32.50/32.69	o 3208
32.60/32.72	o 3207
33.91/34.01	o 3201
36.29/36.40	o 3199
36.29/36.40	o 3197
36.29/36.41	o 3195
36.29/36.42	o 3193
36.29/36.42	o 3190
36.29/36.43	o 3188
36.29/36.43	o 3187
36.29/36.44	o 3186
36.29/36.44	o 3185
36.49/36.65	o 3158
36.49/36.65	o 3157
36.49/36.65	o 3155
36.49/36.67	o 3154
36.49/36.67	o 3153
36.49/36.69	o 3152
37.59/37.71	o 3138
37.59/37.72	o 3137
37.59/37.74	o 3136
37.69/37.83	o 3135
37.69/37.87	o 3133
37.69/37.88	o 3132
37.79/37.99	o 3131
37.89/38.02	o 3130
37.89/38.06	o 3128
37.89/38.08	o 3127
37.99/38.16	o 3126
37.99/38.17	o 3124
38.09/38.20	o 3123
38.99/39.19	o 3122
39.49/39.68	o 3121
48.16/48.38	o 3118
48.16/48.39	o 3117
48.26/48.40	o 3114
48.56/48.77	o 3112
48.66/48.87	o 3111
49.36/49.59	o 3109
49.46/49.61	o 3107
49.46/49.66	o 3106
49.55/49.70	o 3105
49.55/49.73	o 3104
49.55/49.74	o 3103
50.05/50.21	o 3102
50.05/50.23	o 3100
50.55/50.71	o 3099
52.65/52.88	o 3098
58.33/58.51	o 3067
58.33/58.53	o 3066
58.33/58.53	o 3065
58.33/58.54	o 3063
58.33/58.56	o 3056
58.43/58.61	o 3055
58.43/58.65	o 3051
58.43/58.65	o 3049
58.43/58.67	o 3043
58.43/58.67	o 3041
58.43/58.68	o 3039
58.43/58.69	o 3038
58.53/58.73	o 3034
58.53/58.77	o 3026
58.53/58.78	o 3025
58.53/58.79	o 3022
58.53/58.79	o 3021
58.63/58.80	o 3020
58.63/58.83	o 3019
58.63/58.84	o 3018
58.63/58.88	o 3017
59.43/59.62	o 2990
59.43/59.63	o 2987
59.43/59.64	o 2985
59.43/59.64	o 2980
59.43/59.65	o 2977
59.43/59.66	o 2976
59.43/59.67	o 2974
59.53/59.71	o 2973
59.62/59.86	o 2968
61.22/61.47	o 2967
61.42/61.68	s OPTIMUM FOUND
61.42/61.68	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

Verifier Data 

OK	2967

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522430-1751595153/watcher-4522430-1751595153 -o /tmp/evaluation-result-4522430-1751595153/solver-4522430-1751595153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751591540-83144 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2019882854 --ls=0 --inp-dombreaklim=0 HOME/instance-4522430-1751595153.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.10 4.09 4.09 5/262 83555
/proc/meminfo: memFree=102132516/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=32960 memory=11264 CPUtime=0.09 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 1759 0 0 0 9 0 0 0 20 0 1 0 75193874 33751040 2816 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 8240 2816 1280 1200 0 6720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32960 KiB
Current children cumulated memory: 11264 KiB

[startup+0.205614 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 83560
/proc/meminfo: memFree=102048280/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=34672 memory=15264 CPUtime=0.2 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 2353 0 0 0 20 0 0 0 20 0 1 0 75193874 35504128 3816 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 8668 3816 1280 1200 0 7148 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34672 KiB
Current children cumulated memory: 15264 KiB

[startup+0.305585 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 83560
/proc/meminfo: memFree=101989120/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=36928 memory=19612 CPUtime=0.3 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 2916 0 0 0 30 0 0 0 20 0 1 0 75193874 37814272 4903 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 9232 4903 1280 1200 0 7712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36928 KiB
Current children cumulated memory: 19612 KiB

[startup+0.700149 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 83560
/proc/meminfo: memFree=101953084/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=42992 memory=27044 CPUtime=0.69 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 4275 0 0 0 68 1 0 0 20 0 1 0 75193874 44023808 6761 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 10748 6761 1280 1200 0 9228 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42992 KiB
Current children cumulated memory: 27044 KiB

[startup+1.50013 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 83560
/proc/meminfo: memFree=101884220/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=48704 memory=36432 CPUtime=1.49 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 5586 0 0 0 148 1 0 0 20 0 1 0 75193874 49872896 9108 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 12176 9108 1280 1200 0 10656 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48704 KiB
Current children cumulated memory: 36432 KiB

[startup+3.10511 s]
/proc/loadavg: 4.09 4.09 4.09 4/260 83575
/proc/meminfo: memFree=102191044/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=61440 memory=52048 CPUtime=3.08 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 8469 0 0 0 305 3 0 0 20 0 1 0 75193874 62914560 13012 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 15360 13012 1280 1200 0 13840 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61440 KiB
Current children cumulated memory: 52048 KiB

[startup+6.30017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 83605
/proc/meminfo: memFree=101708532/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=87540 memory=73392 CPUtime=6.27 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 12011 0 0 0 622 5 0 0 20 0 1 0 75193874 89640960 18348 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 21885 18348 1280 1200 0 20365 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 87540 KiB
Current children cumulated memory: 73392 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 83605
/proc/meminfo: memFree=101254236/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=139640 memory=113692 CPUtime=12.66 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 18891 0 0 0 1256 10 0 0 20 0 1 0 75193874 142991360 28423 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 34910 28423 1280 1200 0 33390 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 139640 KiB
Current children cumulated memory: 113692 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 83605
/proc/meminfo: memFree=101271292/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=150424 memory=127216 CPUtime=25.42 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 21265 0 0 0 2528 14 0 0 20 0 1 0 75193874 154034176 31804 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 37606 31804 1280 1200 0 36086 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 150424 KiB
Current children cumulated memory: 127216 KiB

[startup+51.1056 s]
/proc/loadavg: 4.03 4.08 4.08 5/264 83651
/proc/meminfo: memFree=99960012/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=156820 memory=132720 CPUtime=50.95 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 22673 0 0 0 5074 21 0 0 20 0 1 0 75193874 160583680 33180 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39205 33180 1280 1200 0 37685 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 156820 KiB
Current children cumulated memory: 132720 KiB

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

# cumulated CPU time of all completed processes:  user=61.2583 s, system=0.263315 s

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

[startup+51.2002 s]
/proc/loadavg: 4.03 4.08 4.08 5/264 83651
/proc/meminfo: memFree=99960012/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=156820 memory=132720 CPUtime=51.05 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 22673 0 0 0 5084 21 0 0 20 0 1 0 75193874 160583680 33180 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39205 33180 1280 1200 0 37685 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 156820 KiB
Current children cumulated memory: 132720 KiB

[startup+57.6002 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 83651
/proc/meminfo: memFree=99945296/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=159496 memory=134896 CPUtime=57.43 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 23199 0 0 0 5720 23 0 0 20 0 1 0 75193874 163323904 33724 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39874 33724 1280 1200 0 38354 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 159496 KiB
Current children cumulated memory: 134896 KiB

[startup+59.2002 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 83651
/proc/meminfo: memFree=99961680/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=159496 memory=134896 CPUtime=59.03 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 23201 0 0 0 5879 24 0 0 20 0 1 0 75193874 163323904 33724 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39874 33724 1280 1200 0 38354 0
Current children cumulated CPU time: 59.03 s
Current children cumulated vsize: 159496 KiB
Current children cumulated memory: 134896 KiB

[startup+60.8002 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 83651
/proc/meminfo: memFree=99969872/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=159496 memory=134896 CPUtime=60.63 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 23203 0 0 0 6038 25 0 0 20 0 1 0 75193874 163323904 33724 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39874 33724 1280 1200 0 38354 0
Current children cumulated CPU time: 60.63 s
Current children cumulated vsize: 159496 KiB
Current children cumulated memory: 134896 KiB

[startup+61.2002 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 83651
/proc/meminfo: memFree=99976016/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=159496 memory=134896 CPUtime=61.03 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 23203 0 0 0 6078 25 0 0 20 0 1 0 75193874 163323904 33724 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39874 33724 1280 1200 0 38354 0
Current children cumulated CPU time: 61.03 s
Current children cumulated vsize: 159496 KiB
Current children cumulated memory: 134896 KiB

[startup+61.6002 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 83651
/proc/meminfo: memFree=99976016/131249988 swapFree=33010416/33010684
[pid=83549] ppid=83546 vsize=159496 memory=134896 CPUtime=61.42 cores=1,3
/proc/83549/stat : 83549 (Exact) R 83546 83549 83132 0 -1 4194304 23203 0 0 0 6117 25 0 0 20 0 1 0 75193874 163323904 33724 18446744073709551615 4198400 9112445 140727731433824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27267072 140727731439912 140727731440109 140727731440109 140727731445711 0
/proc/83549/statm: 39874 33724 1280 1200 0 38354 0
Current children cumulated CPU time: 61.42 s
Current children cumulated vsize: 159496 KiB
Current children cumulated memory: 134896 KiB

Child status: 30

Real time (s): 61.6877
CPU time (s): 61.5216
CPU user time (s): 61.2583
CPU system time (s): 0.263315
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 159496
Max. memory (cumulated for all children) (KiB): 134896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.2583
system time used= 0.263315
maximum resident set size= 134896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23229
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= 64


# summary of solver processes directly reported to runsolver:
#   pid: 83549
#   total CPU time (s): 61.5216
#   total CPU user time (s): 61.2583
#   total CPU system time (s): 0.263315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.100811 second user time and 0.333117 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-04 04:12:33
IDJOB=4522430
IDBENCH=178829
IDSOLVER=3318
FILE ID=nodeC031/4522430-1751595153
RUNJOBID= nodeC031-1751591540-83144
SLURM_JOB_ID= 9598853
Free space on /tmp= 432048 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522430-1751595153/watcher-4522430-1751595153 -o /tmp/evaluation-result-4522430-1751595153/solver-4522430-1751595153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751591540-83144 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2019882854 --ls=0 --inp-dombreaklim=0 HOME/instance-4522430-1751595153.opb

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

MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=2019882854

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        102140992 kB
MemAvailable:   123070432 kB
Buffers:            2128 kB
Cached:         21612976 kB
SwapCached:           12 kB
Active:          7023604 kB
Inactive:       21206256 kB
Active(anon):    6622340 kB
Inactive(anon):    10468 kB
Active(file):     401264 kB
Inactive(file): 21195788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7132 kB
Writeback:            76 kB
AnonPages:       6617960 kB
Mapped:           114352 kB
Shmem:             18052 kB
KReclaimable:     343252 kB
Slab:             436596 kB
SReclaimable:     343252 kB
SUnreclaim:        93344 kB
KernelStack:        4196 kB
PageTables:        15792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    8310012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6363136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431972 MiB
End job on nodeC031 at 2025-07-04 04:13:35