Trace number 4523169

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.08 3610.5

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
MD5SUM3781b2dec582d0b67f0282d1f3dabfdd
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 benchmark-118198
Best CPU time to get the best result obtained on this benchmark12.0426
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables210652
Total number of constraints1683
Number of constraints which are clauses28
Number of constraints which are cardinality constraints (but not clauses)1019
Number of constraints which are nor clauses,nor cardinality constraints636
Minimum length of a constraint1
Maximum length of a constraint8024
Number of terms in the objective function 195786
Biggest coefficient in the objective function 19970
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 34983315
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 19970
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 34983315
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

5.87/5.91	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
5.87/5.91	c Do: 140732978832456 140732978832464
3600.07/3610.50	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 (62283 MiB free)
  memory of node 1: 64507 MiB (63638 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523169-1751599765/watcher-4523169-1751599765 -o /tmp/evaluation-result-4523169-1751599765/solver-4523169-1751599765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94079 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4523169-1751599765.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
Current StackSize limit: 8192 KiB

solver pid=94134, runsolver pid=94131

[startup+0.100072 s]*
/proc/loadavg: 1.24 3.73 5.88 5/265 94135
/proc/meminfo: memFree=128795556/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=77440 memory=62500 CPUtime=0.09 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 14307 0 0 0 7 2 0 0 20 0 1 0 75654413 79298560 15625 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 19360 15625 864 2593 0 16253 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77440 KiB
Current children cumulated memory: 62500 KiB

[startup+0.205504 s]*
/proc/loadavg: 1.24 3.73 5.88 5/265 94135
/proc/meminfo: memFree=128670248/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=112436 memory=96476 CPUtime=0.19 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 21791 0 0 0 16 3 0 0 20 0 1 0 75654413 115134464 24119 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 28109 24119 864 2593 0 25002 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 96476 KiB

[startup+0.305467 s]*
/proc/loadavg: 1.24 3.73 5.88 5/265 94135
/proc/meminfo: memFree=128646312/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=114968 memory=98268 CPUtime=0.3 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 22262 0 0 0 26 4 0 0 20 0 1 0 75654413 117727232 24567 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 28742 24567 864 2593 0 25635 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114968 KiB
Current children cumulated memory: 98268 KiB

[startup+0.70018 s]
/proc/loadavg: 1.24 3.73 5.88 5/265 94135
/proc/meminfo: memFree=128586084/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=126052 memory=105820 CPUtime=0.68 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 24129 0 0 0 64 4 0 0 20 0 1 0 75654413 129077248 26455 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 31513 26455 864 2593 0 28406 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126052 KiB
Current children cumulated memory: 105820 KiB

[startup+1.50017 s]
/proc/loadavg: 1.24 3.73 5.88 5/265 94135
/proc/meminfo: memFree=128453132/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=196800 memory=175660 CPUtime=1.48 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 41057 0 0 0 141 7 0 0 20 0 1 0 75654413 201523200 43915 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 49200 43915 896 2593 0 46093 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 196800 KiB
Current children cumulated memory: 175660 KiB

[startup+3.10545 s]
/proc/loadavg: 1.46 3.74 5.87 5/265 94135
/proc/meminfo: memFree=127886168/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=294112 memory=259708 CPUtime=3.08 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 46973 0 0 0 298 10 0 0 20 0 1 0 75654413 301170688 64927 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 73528 64927 896 2593 0 70421 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 294112 KiB
Current children cumulated memory: 259708 KiB

[startup+6.30018 s]
/proc/loadavg: 1.46 3.74 5.87 5/265 94135
/proc/meminfo: memFree=127318800/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=556964 memory=513508 CPUtime=6.27 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 95438 0 0 0 606 21 0 0 20 0 1 0 75654413 570331136 128377 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139241 128377 928 2593 0 136134 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 556964 KiB
Current children cumulated memory: 513508 KiB

[startup+12.7002 s]
/proc/loadavg: 1.75 3.76 5.87 5/265 94135
/proc/meminfo: memFree=126817444/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=12.65 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 95903 0 0 0 1244 21 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+25.5002 s]
/proc/loadavg: 2.25 3.77 5.84 5/265 94135
/proc/meminfo: memFree=123007660/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=25.41 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 95946 0 0 0 2520 21 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+51.1055 s]
/proc/loadavg: 2.85 3.79 5.79 5/265 94136
/proc/meminfo: memFree=123001276/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=50.94 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 95992 0 0 0 5072 22 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 3.86 5.70 5/265 94139
/proc/meminfo: memFree=122670720/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=101.97 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96046 0 0 0 10173 24 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.90 5.60 5/265 94146
/proc/meminfo: memFree=122887472/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=161.78 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96087 0 0 0 16151 27 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.94 5.50 5/265 94148
/proc/meminfo: memFree=122788788/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=221.58 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96115 0 0 0 22129 29 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.98 5.41 5/265 94149
/proc/meminfo: memFree=122125116/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=281.39 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96145 0 0 0 28108 31 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.00 5.33 5/264 94151
/proc/meminfo: memFree=122530464/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=341.2 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96166 0 0 0 34087 33 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.03 5.25 5/263 94153
/proc/meminfo: memFree=122706208/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=401.01 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96174 0 0 0 40066 35 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 557488 KiB
Current children cumulated memory: 514020 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.04 5.17 5/263 94158
/proc/meminfo: memFree=122521368/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=557488 memory=514020 CPUtime=460.82 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 96175 0 0 0 46045 37 0 0 20 0 1 0 75654413 570867712 128505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139372 128505 928 2593 0 136265 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 529636 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.15 5/264 94378
/proc/meminfo: memFree=115591352/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=559948 memory=529764 CPUtime=2913.84 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 99795 0 0 0 291264 120 0 0 20 0 1 0 75654413 573386752 132441 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 139987 132441 928 2593 0 136880 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 559948 KiB
Current children cumulated memory: 529764 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.14 5/264 94380
/proc/meminfo: memFree=115718032/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560080 memory=529764 CPUtime=2973.67 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 99990 0 0 0 297246 121 0 0 20 0 1 0 75654413 573521920 132441 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140020 132441 928 2593 0 136913 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 560080 KiB
Current children cumulated memory: 529764 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.14 5/264 94383
/proc/meminfo: memFree=114927220/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560080 memory=529892 CPUtime=3033.49 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100007 0 0 0 303226 123 0 0 20 0 1 0 75654413 573521920 132473 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140020 132473 928 2593 0 136913 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 560080 KiB
Current children cumulated memory: 529892 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.13 5/263 94385
/proc/meminfo: memFree=115697708/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560212 memory=530020 CPUtime=3093.33 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100204 0 0 0 309207 126 0 0 20 0 1 0 75654413 573657088 132505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140053 132505 928 2593 0 136946 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 560212 KiB
Current children cumulated memory: 530020 KiB

[startup+3162.3 s]
/proc/loadavg: 4.48 4.18 4.16 5/264 94392
/proc/meminfo: memFree=115527684/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560212 memory=530020 CPUtime=3153.15 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100221 0 0 0 315188 127 0 0 20 0 1 0 75654413 573657088 132505 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140053 132505 928 2593 0 136946 0
Current children cumulated CPU time: 3153.15 s
Current children cumulated vsize: 560212 KiB
Current children cumulated memory: 530020 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/264 94394
/proc/meminfo: memFree=115647272/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560344 memory=530148 CPUtime=3212.97 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100418 0 0 0 321168 129 0 0 20 0 1 0 75654413 573792256 132537 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140086 132537 928 2593 0 136979 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 560344 KiB
Current children cumulated memory: 530148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/264 94396
/proc/meminfo: memFree=115638568/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560344 memory=530148 CPUtime=3272.82 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100539 0 0 0 327150 132 0 0 20 0 1 0 75654413 573792256 132537 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140086 132537 928 2593 0 136979 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 560344 KiB
Current children cumulated memory: 530148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/264 94398
/proc/meminfo: memFree=115632212/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560476 memory=530276 CPUtime=3332.65 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100632 0 0 0 333131 134 0 0 20 0 1 0 75654413 573927424 132569 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140119 132569 928 2593 0 137012 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 560476 KiB
Current children cumulated memory: 530276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/264 94401
/proc/meminfo: memFree=115630036/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560476 memory=530276 CPUtime=3392.47 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100754 0 0 0 339111 136 0 0 20 0 1 0 75654413 573927424 132569 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140119 132569 928 2593 0 137012 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 560476 KiB
Current children cumulated memory: 530276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/263 94405
/proc/meminfo: memFree=115799940/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560608 memory=530404 CPUtime=3452.3 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 100847 0 0 0 345091 139 0 0 20 0 1 0 75654413 574062592 132601 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140152 132601 928 2593 0 137045 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 560608 KiB
Current children cumulated memory: 530404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/263 94407
/proc/meminfo: memFree=115820468/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560608 memory=530404 CPUtime=3512.12 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 101033 0 0 0 351072 140 0 0 20 0 1 0 75654413 574062592 132601 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140152 132601 928 2593 0 137045 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 560608 KiB
Current children cumulated memory: 530404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/263 94409
/proc/meminfo: memFree=115729172/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560740 memory=530532 CPUtime=3571.96 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 101062 0 0 0 357053 143 0 0 20 0 1 0 75654413 574197760 132633 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140185 132633 928 2593 0 137078 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 560740 KiB
Current children cumulated memory: 530532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.10 4.11 4.12 5/263 94410
/proc/meminfo: memFree=115651540/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560740 memory=530532 CPUtime=3600.07 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 101070 0 0 0 359864 143 0 0 20 0 1 0 75654413 574197760 132633 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140185 132633 928 2593 0 137078 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 560740 KiB
Current children cumulated memory: 530532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.64 s, system=1.43991 s

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

[startup+3610.5 s]
/proc/loadavg: 4.10 4.11 4.12 5/263 94410
/proc/meminfo: memFree=115651540/131250000 swapFree=33010416/33010684
[pid=94134] ppid=94131 vsize=560740 memory=530532 CPUtime=3600.07 cores=5,7
/proc/94134/stat : 94134 (CASHWMaxSAT-Dis) R 94131 94134 94066 0 -1 4194304 101070 0 0 0 359864 143 0 0 20 0 1 0 75654413 574197760 132633 18446744073709551615 4198400 14817773 140732978834864 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41816064 140732978837866 140732978837981 140732978837981 140732978843583 0
/proc/94134/statm: 140185 132633 928 2593 0 137078 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 560740 KiB
Current children cumulated memory: 530532 KiB

Child status: 0

Real time (s): 3610.5
CPU time (s): 3600.08
CPU user time (s): 3598.64
CPU system time (s): 1.43991
CPU usage (%): 99.7114
Max. virtual memory (cumulated for all children) (KiB): 560740
Max. memory (cumulated for all children) (KiB): 530532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.64
system time used= 1.43991
maximum resident set size= 530532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101070
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= 82
involuntary context switches= 2726


# summary of solver processes directly reported to runsolver:
#   pid: 94134
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.64
#   total CPU system time (s): 1.43991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99485 second user time and 16.0111 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-04 05:29:26
IDJOB=4523169
IDBENCH=179809
IDSOLVER=3322
FILE ID=nodeC018/4523169-1751599765
RUNJOBID= nodeC018-1751599765-94079
SLURM_JOB_ID= 9598876
Free space on /tmp= 432520 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523169-1751599765/watcher-4523169-1751599765 -o /tmp/evaluation-result-4523169-1751599765/solver-4523169-1751599765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94079 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4523169-1751599765.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 3781b2dec582d0b67f0282d1f3dabfdd
RANDOM SEED=61077940

nodeC018 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.806
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.66
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.907
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.66
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		: 3600.084
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.66
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		: 3599.797
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.66
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.774
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.66
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		: 3600.276
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.66
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		: 3599.841
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.66
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.623
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128981964 kB
MemAvailable:   129713224 kB
Buffers:            2128 kB
Cached:          1494996 kB
SwapCached:           32 kB
Active:           575088 kB
Inactive:        1020044 kB
Active(anon):     115764 kB
Inactive(anon):      288 kB
Active(file):     459324 kB
Inactive(file):  1019756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69908 kB
Writeback:             0 kB
AnonPages:        101232 kB
Mapped:           114784 kB
Shmem:             18044 kB
KReclaimable:     182436 kB
Slab:             272812 kB
SReclaimable:     182436 kB
SUnreclaim:        90376 kB
KernelStack:        4256 kB
PageTables:         3076 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     449884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432504 MiB
End job on nodeC018 at 2025-07-04 06:29:36