Trace number 4491183

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
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.09 3611.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM0e700fc92a231fc1e477aebd59f20b52
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark137
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.88/1.90	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1.88/1.90	c Do: 140733235507000 140733235507008
3600.07/3611.10	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 63665 MiB (60603 MiB free)
  memory of node 1: 64507 MiB (63220 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491183-1751382647/watcher-4491183-1751382647 -o /tmp/evaluation-result-4491183-1751382647/solver-4491183-1751382647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751382616-53786 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4491183-1751382647.opb -total-t=3600 -no-par -v0 

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
Starting watchdog thread
solver pid=54114, runsolver pid=54111
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 2.29 1.42 1.93 5/266 54115
/proc/meminfo: memFree=126795536/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=29332 memory=14848 CPUtime=0.09 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 2968 0 0 0 9 0 0 0 20 0 1 0 53942373 30035968 3712 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 7333 3712 864 2593 0 4226 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29332 KiB
Current children cumulated memory: 14848 KiB

[startup+0.20554 s]*
/proc/loadavg: 2.29 1.42 1.93 5/266 54115
/proc/meminfo: memFree=126795536/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=40124 memory=25600 CPUtime=0.2 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 5669 0 0 0 19 1 0 0 20 0 1 0 53942373 41086976 6400 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 10031 6400 864 2593 0 6924 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 25600 KiB

[startup+0.305435 s]*
/proc/loadavg: 2.29 1.42 1.93 5/266 54115
/proc/meminfo: memFree=126795536/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=50408 memory=35840 CPUtime=0.29 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 8228 0 0 0 28 1 0 0 20 0 1 0 53942373 51617792 8960 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 12602 8960 864 2593 0 9495 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50408 KiB
Current children cumulated memory: 35840 KiB

[startup+0.700181 s]
/proc/loadavg: 2.29 1.42 1.93 5/266 54115
/proc/meminfo: memFree=126789488/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=70584 memory=54072 CPUtime=0.68 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 13762 0 0 0 66 2 0 0 20 0 1 0 53942373 72278016 13518 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 17646 13518 896 2593 0 14539 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70584 KiB
Current children cumulated memory: 54072 KiB

[startup+1.50019 s]
/proc/loadavg: 2.29 1.42 1.93 5/266 54115
/proc/meminfo: memFree=126732088/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=214788 memory=174804 CPUtime=1.48 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 30047 0 0 0 142 6 0 0 20 0 1 0 53942373 219942912 43701 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 53697 43701 896 2593 0 50590 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 214788 KiB
Current children cumulated memory: 174804 KiB

[startup+3.10533 s]
/proc/loadavg: 2.29 1.42 1.93 5/266 54115
/proc/meminfo: memFree=126505908/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=362604 memory=320700 CPUtime=3.08 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 51956 0 0 0 296 12 0 0 20 0 1 0 53942373 371306496 80175 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 90651 80175 960 2593 0 87544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 362604 KiB
Current children cumulated memory: 320700 KiB

[startup+6.30017 s]
/proc/loadavg: 2.42 1.47 1.94 5/266 54115
/proc/meminfo: memFree=126473484/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=411308 memory=370264 CPUtime=6.27 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 53641 0 0 0 614 13 0 0 20 0 1 0 53942373 421179392 92566 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 102827 92566 960 2593 0 99720 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 411308 KiB
Current children cumulated memory: 370264 KiB

[startup+12.7002 s]
/proc/loadavg: 2.55 1.51 1.95 5/266 54115
/proc/meminfo: memFree=126405316/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=474876 memory=422280 CPUtime=12.65 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 63497 0 0 0 1244 21 0 0 20 0 1 0 53942373 486273024 105570 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 118719 105570 992 2593 0 115612 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 474876 KiB
Current children cumulated memory: 422280 KiB

[startup+25.5002 s]
/proc/loadavg: 2.95 1.65 1.99 5/266 54115
/proc/meminfo: memFree=126346384/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=453836 memory=406168 CPUtime=25.4 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 66145 0 0 0 2518 22 0 0 20 0 1 0 53942373 464728064 101542 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 113459 101542 992 2593 0 110352 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 453836 KiB
Current children cumulated memory: 406168 KiB

[startup+51.1054 s]
/proc/loadavg: 3.31 1.84 2.04 5/266 54117
/proc/meminfo: memFree=126272884/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=459856 memory=412188 CPUtime=50.93 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 67276 0 0 0 5069 24 0 0 20 0 1 0 53942373 470892544 103047 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 114964 103047 992 2593 0 111857 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 459856 KiB
Current children cumulated memory: 412188 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 2.19 2.15 5/267 54119
/proc/meminfo: memFree=126434892/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=460372 memory=412708 CPUtime=101.97 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 68784 0 0 0 10171 26 0 0 20 0 1 0 53942373 471420928 103177 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 115093 103177 992 2593 0 111986 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 460372 KiB
Current children cumulated memory: 412708 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 2.57 2.29 5/267 54121
/proc/meminfo: memFree=126365860/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=460176 memory=412512 CPUtime=161.77 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 70425 0 0 0 16150 27 0 0 20 0 1 0 53942373 471220224 103128 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 115044 103128 992 2593 0 111937 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 460176 KiB
Current children cumulated memory: 412512 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.86 2.41 5/267 54123
/proc/meminfo: memFree=126248972/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=460884 memory=413224 CPUtime=221.58 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 70891 0 0 0 22130 28 0 0 20 0 1 0 53942373 471945216 103306 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 115221 103306 992 2593 0 112114 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 460884 KiB
Current children cumulated memory: 413224 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.10 2.52 5/266 54125
/proc/meminfo: memFree=126251120/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=461000 memory=413340 CPUtime=281.39 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 71729 0 0 0 28110 29 0 0 20 0 1 0 53942373 472064000 103335 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 115250 103335 992 2593 0 112143 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 461000 KiB
Current children cumulated memory: 413340 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.28 2.62 5/265 54127
/proc/meminfo: memFree=126143644/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=541248 memory=493492 CPUtime=341.2 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 90602 0 0 0 34078 42 0 0 20 0 1 0 53942373 554237952 123373 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 135312 123373 992 2593 0 132205 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 541248 KiB
Current children cumulated memory: 493492 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.43 2.72 5/264 54130
/proc/meminfo: memFree=126151396/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=557880 memory=508252 CPUtime=401.01 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 91574 0 0 0 40058 43 0 0 20 0 1 0 53942373 571269120 127063 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 139470 127063 992 2593 0 136363 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 557880 KiB
Current children cumulated memory: 508252 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.57 2.81 5/263 54138
/proc/meminfo: memFree=126086100/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=601004 memory=546900 CPUtime=460.82 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 94063 0 0 0 46035 47 0 0 20 0 1 0 53942373 615428096 136725 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 150251 136725 992 2593 0 147144 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 797924 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.03 5/263 54257
/proc/meminfo: memFree=125530936/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=790720 memory=752516 CPUtime=2913.29 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 181970 0 0 0 291231 98 0 0 20 0 1 0 53942373 809697280 188129 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 197680 188129 992 2593 0 194573 0
Current children cumulated CPU time: 2913.29 s
Current children cumulated vsize: 790720 KiB
Current children cumulated memory: 752516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/263 54259
/proc/meminfo: memFree=125524056/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=790708 memory=752504 CPUtime=2973.12 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 182871 0 0 0 297213 99 0 0 20 0 1 0 53942373 809684992 188126 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 197677 188126 992 2593 0 194570 0
Current children cumulated CPU time: 2973.12 s
Current children cumulated vsize: 790708 KiB
Current children cumulated memory: 752504 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/263 54272
/proc/meminfo: memFree=125477416/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=861132 memory=791472 CPUtime=3032.95 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 184705 0 0 0 303193 102 0 0 20 0 1 0 53942373 881799168 197868 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 215283 197868 992 2593 0 212176 0
Current children cumulated CPU time: 3032.95 s
Current children cumulated vsize: 861132 KiB
Current children cumulated memory: 791472 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/263 54274
/proc/meminfo: memFree=125455224/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=861132 memory=793520 CPUtime=3092.77 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 184706 0 0 0 309175 102 0 0 20 0 1 0 53942373 881799168 198380 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 215283 198380 992 2593 0 212176 0
Current children cumulated CPU time: 3092.77 s
Current children cumulated vsize: 861132 KiB
Current children cumulated memory: 793520 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/263 54276
/proc/meminfo: memFree=125519700/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=766488 memory=719716 CPUtime=3152.59 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 185829 0 0 0 315157 102 0 0 20 0 1 0 53942373 784883712 179929 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 191622 179929 992 2593 0 188515 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 766488 KiB
Current children cumulated memory: 719716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.04 5/262 54278
/proc/meminfo: memFree=124865200/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=817028 memory=770328 CPUtime=3212.41 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 186757 0 0 0 321138 103 0 0 20 0 1 0 53942373 836636672 192582 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 204257 192582 992 2593 0 201150 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 817028 KiB
Current children cumulated memory: 770328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/263 54281
/proc/meminfo: memFree=124877248/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=801724 memory=751664 CPUtime=3272.24 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 187689 0 0 0 327120 104 0 0 20 0 1 0 53942373 820965376 187916 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 200431 187916 992 2593 0 197324 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 801724 KiB
Current children cumulated memory: 751664 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/263 54283
/proc/meminfo: memFree=124820012/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=836956 memory=768884 CPUtime=3332.06 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 188690 0 0 0 333101 105 0 0 20 0 1 0 53942373 857042944 192221 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 209239 192221 992 2593 0 206132 0
Current children cumulated CPU time: 3332.06 s
Current children cumulated vsize: 836956 KiB
Current children cumulated memory: 768884 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/263 54285
/proc/meminfo: memFree=124902808/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=835388 memory=788388 CPUtime=3391.88 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 190037 0 0 0 339082 106 0 0 20 0 1 0 53942373 855437312 197097 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 208847 197097 992 2593 0 205740 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 835388 KiB
Current children cumulated memory: 788388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.06 5/264 54294
/proc/meminfo: memFree=124948296/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=784308 memory=739612 CPUtime=3451.7 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 190344 0 0 0 345064 106 0 0 20 0 1 0 53942373 803131392 184903 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 196077 184903 992 2593 0 192970 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 784308 KiB
Current children cumulated memory: 739612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/264 54296
/proc/meminfo: memFree=124943556/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=784308 memory=739612 CPUtime=3511.53 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 190344 0 0 0 351047 106 0 0 20 0 1 0 53942373 803131392 184903 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 196077 184903 992 2593 0 192970 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 784308 KiB
Current children cumulated memory: 739612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.06 2/251 54357
/proc/meminfo: memFree=128113292/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=835964 memory=797760 CPUtime=3571.36 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 192248 0 0 0 357026 110 0 0 20 0 1 0 53942373 856027136 199440 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 208991 199440 992 2593 0 205884 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 835964 KiB
Current children cumulated memory: 797760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.12 4.11 4.06 5/266 54483
/proc/meminfo: memFree=127233012/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=835964 memory=797760 CPUtime=3600.07 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 192249 0 0 0 359897 110 0 0 20 0 1 0 53942373 856027136 199440 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 208991 199440 992 2593 0 205884 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 835964 KiB
Current children cumulated memory: 797760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.98 s, system=1.10751 s

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

[startup+3611.11 s]
/proc/loadavg: 4.12 4.11 4.06 5/266 54483
/proc/meminfo: memFree=127233012/131249996 swapFree=33010684/33010684
[pid=54114] ppid=54111 vsize=835964 memory=797760 CPUtime=3600.07 cores=5,7
/proc/54114/stat : 54114 (CASHWMaxSAT-Dis) R 54111 54114 53773 0 -1 4194304 192249 0 0 0 359897 110 0 0 20 0 1 0 53942373 856027136 199440 18446744073709551615 4198400 14817773 140733235509408 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 25522176 140733235513706 140733235513821 140733235513821 140733235519423 0
/proc/54114/statm: 208991 199440 992 2593 0 205884 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 835964 KiB
Current children cumulated memory: 797760 KiB

Child status: 0

Real time (s): 3611.11
CPU time (s): 3600.09
CPU user time (s): 3598.98
CPU system time (s): 1.10751
CPU usage (%): 99.6947
Max. virtual memory (cumulated for all children) (KiB): 911000
Max. memory (cumulated for all children) (KiB): 848524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.98
system time used= 1.10751
maximum resident set size= 848524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192249
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= 109
involuntary context switches= 19190


# summary of solver processes directly reported to runsolver:
#   pid: 54114
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.98
#   total CPU system time (s): 1.10751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55404 second user time and 15.8443 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-01 17:10:47
IDJOB=4491183
IDBENCH=147690
IDSOLVER=3322
FILE ID=nodeC021/4491183-1751382647
RUNJOBID= nodeC021-1751382616-53786
SLURM_JOB_ID= 9598225
Free space on /tmp= 432544 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491183-1751382647/watcher-4491183-1751382647 -o /tmp/evaluation-result-4491183-1751382647/solver-4491183-1751382647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751382616-53786 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4491183-1751382647.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=1873868647

nodeC021 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.779
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.56
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.851
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.56
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		: 3594.799
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.56
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		: 3598.433
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.56
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.790
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.56
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		: 3581.860
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.56
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		: 3605.259
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.56
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.763
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126795748 kB
MemAvailable:   127627960 kB
Buffers:            3280 kB
Cached:          1637784 kB
SwapCached:            0 kB
Active:          2421164 kB
Inactive:        1368072 kB
Active(anon):    2166232 kB
Inactive(anon):        0 kB
Active(file):     254932 kB
Inactive(file):  1368072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15068 kB
Writeback:            28 kB
AnonPages:       2151240 kB
Mapped:           115952 kB
Shmem:             18060 kB
KReclaimable:      96496 kB
Slab:             184876 kB
SReclaimable:      96496 kB
SUnreclaim:        88380 kB
KernelStack:        4368 kB
PageTables:         7072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2639848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1038336 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432532 MiB
End job on nodeC021 at 2025-07-01 18:10:58