Trace number 4505375

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.38 3610.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
MD5SUMfb79dc5ec425f6747fbd9d81f9d6ccc8
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 benchmark14278749
Best CPU time to get the best result obtained on this benchmark68921.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 183250432
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 416475778904
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 183250432
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 416475778904
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

115.90/116.29	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
115.90/116.29	c Do: 140721201769512 140721201769520
3600.05/3609.90	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: 63708 MiB (61358 MiB free)
  memory of node 1: 64465 MiB (62960 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505375-1751471714/watcher-4505375-1751471714 -o /tmp/evaluation-result-4505375-1751471714/solver-4505375-1751471714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751471635-66040 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4505375-1751471714.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=66508, runsolver pid=66505
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 3.35 2.42 2.73 5/267 66509
/proc/meminfo: memFree=127233940/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=62172 memory=47164 CPUtime=0.09 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 11487 0 0 0 8 1 0 0 20 0 1 0 62849967 63664128 11791 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 15543 11791 864 2593 0 12436 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 47164 KiB

[startup+0.205546 s]*
/proc/loadavg: 3.35 2.42 2.73 5/267 66509
/proc/meminfo: memFree=127165552/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=107168 memory=90968 CPUtime=0.2 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 18887 0 0 0 16 4 0 0 20 0 1 0 62849967 109740032 22742 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 26792 22742 864 2593 0 23685 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107168 KiB
Current children cumulated memory: 90968 KiB

[startup+0.305442 s]*
/proc/loadavg: 3.35 2.42 2.73 5/267 66509
/proc/meminfo: memFree=127059696/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=177772 memory=161436 CPUtime=0.3 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 21693 0 0 0 25 5 0 0 20 0 1 0 62849967 182038528 40359 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 44443 40359 864 2593 0 41336 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 177772 KiB
Current children cumulated memory: 161436 KiB

[startup+0.700171 s]
/proc/loadavg: 3.35 2.42 2.73 5/267 66509
/proc/meminfo: memFree=126852968/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=356384 memory=335880 CPUtime=0.69 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 33621 0 0 0 59 10 0 0 20 0 1 0 62849967 364937216 83970 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 89096 83970 864 2593 0 85989 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 356384 KiB
Current children cumulated memory: 335880 KiB

[startup+1.50016 s]
/proc/loadavg: 3.35 2.42 2.73 5/267 66509
/proc/meminfo: memFree=126386272/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=455884 memory=431212 CPUtime=1.49 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 54409 0 0 0 136 13 0 0 20 0 1 0 62849967 466825216 107803 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 113971 107803 864 2593 0 110864 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 455884 KiB
Current children cumulated memory: 431212 KiB

[startup+3.10535 s]
/proc/loadavg: 3.40 2.45 2.74 5/267 66509
/proc/meminfo: memFree=125675656/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=515552 memory=439148 CPUtime=3.09 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 56419 0 0 0 295 14 0 0 20 0 1 0 62849967 527925248 109787 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 128888 109787 864 2593 0 125781 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 515552 KiB
Current children cumulated memory: 439148 KiB

[startup+6.30015 s]
/proc/loadavg: 3.40 2.45 2.74 5/267 66509
/proc/meminfo: memFree=124062976/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=1224420 memory=1122420 CPUtime=6.27 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 163024 0 0 0 590 37 0 0 20 0 1 0 62849967 1253806080 280605 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 306105 280605 864 2593 0 302998 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1224420 KiB
Current children cumulated memory: 1122420 KiB

[startup+12.7002 s]
/proc/loadavg: 3.50 2.50 2.76 5/267 66509
/proc/meminfo: memFree=121427720/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=2384892 memory=2282996 CPUtime=12.66 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 434336 0 0 0 1183 83 0 0 20 0 1 0 62849967 2442129408 570749 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 596223 570749 864 2593 0 593116 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2384892 KiB
Current children cumulated memory: 2282996 KiB

[startup+25.5002 s]
/proc/loadavg: 3.65 2.57 2.77 5/267 66509
/proc/meminfo: memFree=115823016/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=4251948 memory=4153132 CPUtime=25.43 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 898343 0 0 0 2382 161 0 0 20 0 1 0 62849967 4353994752 1038283 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 1062987 1038283 864 2593 0 1059880 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4251948 KiB
Current children cumulated memory: 4153132 KiB

[startup+51.1054 s]
/proc/loadavg: 3.85 2.70 2.81 5/267 66554
/proc/meminfo: memFree=106485928/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=7452144 memory=7149164 CPUtime=50.96 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 1254061 0 0 0 4835 261 0 0 20 0 1 0 62849967 7630995456 1787291 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 1863036 1787291 896 2593 0 1859929 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 7452144 KiB
Current children cumulated memory: 7149164 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 2.94 2.89 5/269 66558
/proc/meminfo: memFree=82424924/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=17301376 memory=16232180 CPUtime=102.04 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2023951 0 0 0 9656 548 0 0 20 0 1 0 62849967 17716609024 4058045 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 4325344 4058045 1152 2593 0 4322237 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 17301376 KiB
Current children cumulated memory: 16232180 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.15 2.97 5/267 66560
/proc/meminfo: memFree=73537728/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=16502528 memory=15121196 CPUtime=161.86 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2077036 0 0 0 15609 577 0 0 20 0 1 0 62849967 16898588672 3780299 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 4125632 3780299 1216 2593 0 4122525 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 16502528 KiB
Current children cumulated memory: 15121196 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.34 3.04 5/266 66562
/proc/meminfo: memFree=73640952/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=18615996 memory=17088048 CPUtime=221.68 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2097982 0 0 0 21548 620 0 0 20 0 1 0 62849967 19062779904 4272012 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 4653999 4272012 1216 2593 0 4650892 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 18615996 KiB
Current children cumulated memory: 17088048 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.47 3.11 5/266 66564
/proc/meminfo: memFree=69689472/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=19203400 memory=17844412 CPUtime=281.5 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2114742 0 0 0 27367 783 0 0 20 0 1 0 62849967 19664281600 4461103 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 4800850 4461103 1216 2593 0 4797743 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 19203400 KiB
Current children cumulated memory: 17844412 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.59 3.18 5/264 66566
/proc/meminfo: memFree=69506552/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=19422248 memory=18135312 CPUtime=341.34 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2122288 0 0 0 33304 830 0 0 20 0 1 0 62849967 19888381952 4533828 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 4855562 4533828 1248 2593 0 4852455 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 19422248 KiB
Current children cumulated memory: 18135312 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.69 3.24 5/262 66579
/proc/meminfo: memFree=66654644/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=19891328 memory=18399056 CPUtime=401.17 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2128906 0 0 0 39205 912 0 0 20 0 1 0 62849967 20368719872 4599764 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 4972832 4599764 1248 2593 0 4969725 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 19891328 KiB
Current children cumulated memory: 18399056 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.77 3.30 5/263 66584
/proc/meminfo: memFree=63742636/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20904196 memory=18738496 CPUtime=461.01 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2136279 0 0 0 45096 1005 0 0 20 0 1 0 62849967 21405896704 4684624 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5226049 4684624 1248 2593 0 5222942 0
Current children cumulated CPU time: 461.01 s

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

/proc/meminfo: memFree=68175300/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=22927220 memory=18062588 CPUtime=2914.27 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2372912 0 0 0 288259 3168 0 0 20 0 1 0 62849967 23477473280 4515647 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5731805 4515647 1248 2593 0 5728698 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 22927220 KiB
Current children cumulated memory: 18062588 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/264 66701
/proc/meminfo: memFree=68461628/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20877084 memory=17630372 CPUtime=2974.11 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2379627 0 0 0 294150 3261 0 0 20 0 1 0 62849967 21378134016 4407593 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5219271 4407593 1248 2593 0 5216164 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 20877084 KiB
Current children cumulated memory: 17630372 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/264 66703
/proc/meminfo: memFree=68074820/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=21256524 memory=18003668 CPUtime=3033.95 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2387306 0 0 0 300070 3325 0 0 20 0 1 0 62849967 21766680576 4500917 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5314131 4500917 1248 2593 0 5311024 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 21256524 KiB
Current children cumulated memory: 18003668 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 66709
/proc/meminfo: memFree=68435056/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20909996 memory=17657140 CPUtime=3093.78 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2392769 0 0 0 305998 3380 0 0 20 0 1 0 62849967 21411835904 4414285 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5227499 4414285 1248 2593 0 5224392 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 20909996 KiB
Current children cumulated memory: 17657140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/264 66711
/proc/meminfo: memFree=67934552/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20909996 memory=17657140 CPUtime=3153.61 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2398914 0 0 0 311942 3419 0 0 20 0 1 0 62849967 21411835904 4414285 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5227499 4414285 1248 2593 0 5224392 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 20909996 KiB
Current children cumulated memory: 17657140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/263 66713
/proc/meminfo: memFree=68063016/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=21249284 memory=18014860 CPUtime=3213.44 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2403689 0 0 0 317907 3437 0 0 20 0 1 0 62849967 21759266816 4503715 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5312321 4503715 1248 2593 0 5309214 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 21249284 KiB
Current children cumulated memory: 18014860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/263 66715
/proc/meminfo: memFree=68372020/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=21249284 memory=18025100 CPUtime=3273.29 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2405193 0 0 0 323889 3440 0 0 20 0 1 0 62849967 21759266816 4506275 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5312321 4506275 1248 2593 0 5309214 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 21249284 KiB
Current children cumulated memory: 18025100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/263 66717
/proc/meminfo: memFree=65960504/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=21226188 memory=18045012 CPUtime=3333.14 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2411152 0 0 0 329819 3495 0 0 20 0 1 0 62849967 21735616512 4511253 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5306547 4511253 1248 2593 0 5303440 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 21226188 KiB
Current children cumulated memory: 18045012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.04 5/263 66719
/proc/meminfo: memFree=68158400/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=21247124 memory=18055708 CPUtime=3392.99 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2414891 0 0 0 335749 3550 0 0 20 0 1 0 62849967 21757054976 4513927 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5311781 4513927 1248 2593 0 5308674 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 21247124 KiB
Current children cumulated memory: 18055708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 66721
/proc/meminfo: memFree=68111836/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=21238488 memory=18040928 CPUtime=3452.84 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2420493 0 0 0 341680 3604 0 0 20 0 1 0 62849967 21748211712 4510232 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5309622 4510232 1248 2593 0 5306515 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 21238488 KiB
Current children cumulated memory: 18040928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 66725
/proc/meminfo: memFree=67860868/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20899200 memory=17748744 CPUtime=3512.68 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2426857 0 0 0 347637 3631 0 0 20 0 1 0 62849967 21400780800 4437186 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5224800 4437186 1248 2593 0 5221693 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 20899200 KiB
Current children cumulated memory: 17748744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/262 66727
/proc/meminfo: memFree=68395864/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20841012 memory=17688508 CPUtime=3572.53 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2433224 0 0 0 353562 3691 0 0 20 0 1 0 62849967 21341196288 4422127 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5210253 4422127 1248 2593 0 5207146 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 20841012 KiB
Current children cumulated memory: 17688508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.09 4.04 4/258 66736
/proc/meminfo: memFree=80229924/131249996 swapFree=33010160/33010684
[pid=66508] ppid=66505 vsize=20841012 memory=17694652 CPUtime=3600.05 cores=1,3
/proc/66508/stat : 66508 (CASHWMaxSAT-Dis) R 66505 66508 66028 0 -1 4194304 2434229 0 0 0 356313 3692 0 0 20 0 1 0 62849967 21341196288 4423663 18446744073709551615 4198400 14817773 140721201771920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 26365952 140721201781098 140721201781213 140721201781213 140721201786815 0
/proc/66508/statm: 5210253 4423663 1248 2593 0 5207146 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 20841012 KiB
Current children cumulated memory: 17694652 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.14 s, system=37.2433 s

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

[startup+3610 s]*
/proc/loadavg: 4.08 4.09 4.04 4/257 66750
/proc/meminfo: memFree=95693892/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.2 s]
/proc/loadavg: 4.08 4.09 4.04 4/257 66750
/proc/meminfo: memFree=95693892/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3610.22
CPU time (s): 3600.38
CPU user time (s): 3563.14
CPU system time (s): 37.2433
CPU usage (%): 99.7276
Max. virtual memory (cumulated for all children) (KiB): 23375252
Max. memory (cumulated for all children) (KiB): 21192696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.14
system time used= 37.2433
maximum resident set size= 21217544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2434229
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= 3
involuntary context switches= 3649


# summary of solver processes directly reported to runsolver:
#   pid: 66508
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3563.14
#   total CPU system time (s): 37.2433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50718 second user time and 15.6815 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 17:55:15
IDJOB=4505375
IDBENCH=155756
IDSOLVER=3322
FILE ID=nodeC029/4505375-1751471714
RUNJOBID= nodeC029-1751471635-66040
SLURM_JOB_ID= 9598496
Free space on /tmp= 431808 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505375-1751471714/watcher-4505375-1751471714 -o /tmp/evaluation-result-4505375-1751471714/solver-4505375-1751471714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751471635-66040 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4505375-1751471714.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=437174551

nodeC029 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.715
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.46
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.712
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.46
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		: 3641.501
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127322248 kB
MemAvailable:   128536296 kB
Buffers:            2128 kB
Cached:          2014284 kB
SwapCached:           40 kB
Active:          1719024 kB
Inactive:        1574748 kB
Active(anon):    1290620 kB
Inactive(anon):     4768 kB
Active(file):     428404 kB
Inactive(file):  1569980 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            463168 kB
Writeback:             4 kB
AnonPages:       1280432 kB
Mapped:           121432 kB
Shmem:             18020 kB
KReclaimable:     109808 kB
Slab:             198844 kB
SReclaimable:     109808 kB
SUnreclaim:        89036 kB
KernelStack:        4304 kB
PageTables:         5480 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1649136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431564 MiB
End job on nodeC029 at 2025-07-02 18:55:26