Trace number 4542177

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CASHWMaxSATDisjCom-S 2025-06-01? (TO) 3600.11 3609.75

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
MD5SUM883a1a775d6309f3a96fbb0c62b71064
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark366.876
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1040520
Total number of constraints61390
Number of constraints which are clauses31085
Number of constraints which are cardinality constraints (but not clauses)27302
Number of constraints which are nor clauses,nor cardinality constraints3003
Minimum length of a constraint36
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 44
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

18.24/18.39	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
18.24/18.39	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.06/3609.70	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 (62534 MiB free)
  memory of node 1: 64507 MiB (63713 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542177-1753212081/watcher-4542177-1753212081 -o /tmp/evaluation-result-4542177-1753212081/solver-4542177-1753212081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172651 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542177-1753212081.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=172700, runsolver pid=172697

[startup+0.100063 s]*
/proc/loadavg: 1.16 1.48 2.64 5/264 172701
/proc/meminfo: memFree=129219868/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=42272 memory=21572 CPUtime=0.09 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 4925 0 0 0 9 0 0 0 20 0 1 0 236887757 43286528 5393 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 10568 5393 736 2416 0 7670 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42272 KiB
Current children cumulated memory: 21572 KiB

[startup+0.205582 s]*
/proc/loadavg: 1.16 1.48 2.64 5/262 172701
/proc/meminfo: memFree=129178792/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=60416 memory=39356 CPUtime=0.19 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 9531 0 0 0 18 1 0 0 20 0 1 0 236887757 61865984 9839 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 15104 9839 736 2416 0 12206 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60416 KiB
Current children cumulated memory: 39356 KiB

[startup+0.305484 s]*
/proc/loadavg: 1.16 1.48 2.64 5/262 172702
/proc/meminfo: memFree=129121144/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=75220 memory=54844 CPUtime=0.3 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 13427 0 0 0 28 2 0 0 20 0 1 0 236887757 77025280 13711 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 18805 13711 736 2416 0 15907 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 54844 KiB

[startup+0.700172 s]
/proc/loadavg: 1.16 1.48 2.64 5/267 172711
/proc/meminfo: memFree=129044472/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=143608 memory=120184 CPUtime=0.69 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 29790 0 0 0 64 5 0 0 20 0 1 0 236887757 147054592 30046 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 35902 30046 736 2416 0 33004 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143608 KiB
Current children cumulated memory: 120184 KiB

[startup+1.50017 s]
/proc/loadavg: 1.16 1.48 2.64 5/267 172711
/proc/meminfo: memFree=128875264/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=285840 memory=253176 CPUtime=1.48 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 60905 0 0 0 136 12 0 0 20 0 1 0 236887757 292700160 63294 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 71460 63294 736 2416 0 68562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 285840 KiB
Current children cumulated memory: 253176 KiB

[startup+3.10546 s]
/proc/loadavg: 1.38 1.52 2.65 5/267 172711
/proc/meminfo: memFree=128239052/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=580664 memory=526956 CPUtime=3.08 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 115783 0 0 0 285 23 0 0 20 0 1 0 236887757 594599936 131739 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 145166 131739 736 2416 0 142268 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 580664 KiB
Current children cumulated memory: 526956 KiB

[startup+6.30017 s]
/proc/loadavg: 1.38 1.52 2.65 5/267 172711
/proc/meminfo: memFree=127279820/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1077296 memory=956288 CPUtime=6.27 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 169890 0 0 0 590 37 0 0 20 0 1 0 236887757 1103151104 239072 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 269324 239072 768 2416 0 266426 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1077296 KiB
Current children cumulated memory: 956288 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 1.62 2.67 5/267 172711
/proc/meminfo: memFree=125701060/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1662756 memory=1488884 CPUtime=12.65 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 206963 0 0 0 1211 54 0 0 20 0 1 0 236887757 1702662144 372221 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 415689 372221 768 2416 0 412791 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1662756 KiB
Current children cumulated memory: 1488884 KiB

[startup+25.5002 s]
/proc/loadavg: 2.19 1.70 2.69 5/267 172711
/proc/meminfo: memFree=124787704/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1651976 memory=1491388 CPUtime=25.41 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 214927 0 0 0 2472 69 0 0 20 0 1 0 236887757 1691623424 372847 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 412994 372847 800 2416 0 410096 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1651976 KiB
Current children cumulated memory: 1491388 KiB

[startup+51.1048 s]
/proc/loadavg: 2.81 1.88 2.72 5/267 172712
/proc/meminfo: memFree=123178488/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1651976 memory=1482240 CPUtime=50.94 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 224545 0 0 0 4989 105 0 0 20 0 1 0 236887757 1691623424 370560 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 412994 370560 800 2416 0 410096 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1651976 KiB
Current children cumulated memory: 1482240 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.27 2.81 5/268 172720
/proc/meminfo: memFree=123296464/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1674832 memory=1522592 CPUtime=101.98 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 244720 0 0 0 10035 163 0 0 20 0 1 0 236887757 1715027968 380648 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 418708 380648 800 2416 0 415810 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1674832 KiB
Current children cumulated memory: 1522592 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.59 2.89 5/268 172722
/proc/meminfo: memFree=123172556/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1730216 memory=1574336 CPUtime=161.81 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 273388 0 0 0 15953 228 0 0 20 0 1 0 236887757 1771741184 393584 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 432554 393584 800 2416 0 429656 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1730216 KiB
Current children cumulated memory: 1574336 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.86 2.96 5/267 172724
/proc/meminfo: memFree=123135180/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1784436 memory=1624140 CPUtime=221.63 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 302346 0 0 0 21869 294 0 0 20 0 1 0 236887757 1827262464 406035 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 446109 406035 800 2416 0 443211 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1784436 KiB
Current children cumulated memory: 1624140 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.10 3.04 5/268 172727
/proc/meminfo: memFree=122832128/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1754312 memory=1658288 CPUtime=281.45 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 328934 0 0 0 27791 354 0 0 20 0 1 0 236887757 1796415488 414572 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 438578 414572 800 2416 0 435680 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1754312 KiB
Current children cumulated memory: 1658288 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.28 3.11 5/265 172729
/proc/meminfo: memFree=122901744/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1803740 memory=1695976 CPUtime=341.3 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 355133 0 0 0 33717 413 0 0 20 0 1 0 236887757 1847029760 423994 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 450935 423994 800 2416 0 448037 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1803740 KiB
Current children cumulated memory: 1695976 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.45 3.18 5/264 172731
/proc/meminfo: memFree=122782980/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1929248 memory=1763164 CPUtime=401.12 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 378222 0 0 0 39645 467 0 0 20 0 1 0 236887757 1975549952 440791 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 482312 440791 800 2416 0 479414 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1929248 KiB
Current children cumulated memory: 1763164 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.57 3.24 5/264 172734
/proc/meminfo: memFree=122677040/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=1948372 memory=1785148 CPUtime=460.96 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 392420 0 0 0 45591 505 0 0 20 0 1 0 236887757 1995132928 446287 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 487093 446287 800 2416 0 484195 0

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

Current children cumulated memory: 2593512 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 172864
/proc/meminfo: memFree=120704792/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2696524 memory=2580560 CPUtime=2914.45 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1007453 0 0 0 289284 2161 0 0 20 0 1 0 236887757 2761240576 645140 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 674131 645140 800 2416 0 671233 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 2696524 KiB
Current children cumulated memory: 2580560 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 172869
/proc/meminfo: memFree=120700264/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2783752 memory=2614952 CPUtime=2974.29 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1017389 0 0 0 295228 2201 0 0 20 0 1 0 236887757 2850562048 653738 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 695938 653738 800 2416 0 693040 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 2783752 KiB
Current children cumulated memory: 2614952 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 172871
/proc/meminfo: memFree=120682300/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2720164 memory=2598400 CPUtime=3034.13 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1032954 0 0 0 301167 2246 0 0 20 0 1 0 236887757 2785447936 649600 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 680041 649600 800 2416 0 677143 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 2720164 KiB
Current children cumulated memory: 2598400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 172878
/proc/meminfo: memFree=120641696/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2828236 memory=2643160 CPUtime=3093.97 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1050433 0 0 0 307110 2287 0 0 20 0 1 0 236887757 2896113664 660790 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 707059 660790 800 2416 0 704161 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 2828236 KiB
Current children cumulated memory: 2643160 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 172879
/proc/meminfo: memFree=120579812/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2779868 memory=2659888 CPUtime=3153.81 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1068367 0 0 0 313050 2331 0 0 20 0 1 0 236887757 2846584832 664972 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 694967 664972 800 2416 0 692069 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 2779868 KiB
Current children cumulated memory: 2659888 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/264 172881
/proc/meminfo: memFree=120558460/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2869448 memory=2674044 CPUtime=3213.66 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1085581 0 0 0 318977 2389 0 0 20 0 1 0 236887757 2938314752 668511 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 717362 668511 800 2416 0 714464 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 2869448 KiB
Current children cumulated memory: 2674044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 172883
/proc/meminfo: memFree=120484248/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2887268 memory=2707092 CPUtime=3273.52 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1100362 0 0 0 324919 2433 0 0 20 0 1 0 236887757 2956562432 676773 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 721817 676773 800 2416 0 718919 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 2887268 KiB
Current children cumulated memory: 2707092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 172885
/proc/meminfo: memFree=120443620/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2914880 memory=2733784 CPUtime=3333.37 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1115660 0 0 0 330870 2467 0 0 20 0 1 0 236887757 2984837120 683446 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 728720 683446 800 2416 0 725822 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 2914880 KiB
Current children cumulated memory: 2733784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.03 5/262 172887
/proc/meminfo: memFree=120499776/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2938652 memory=2746504 CPUtime=3393.2 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1130876 0 0 0 336817 2503 0 0 20 0 1 0 236887757 3009179648 686626 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 734663 686626 800 2416 0 731765 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 2938652 KiB
Current children cumulated memory: 2746504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/263 172890
/proc/meminfo: memFree=120430236/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2967700 memory=2784420 CPUtime=3453.04 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1147689 0 0 0 342764 2540 0 0 20 0 1 0 236887757 3038924800 696105 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 741925 696105 800 2416 0 739027 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 2967700 KiB
Current children cumulated memory: 2784420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 172894
/proc/meminfo: memFree=120440660/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2979264 memory=2784660 CPUtime=3512.89 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1166696 0 0 0 348687 2602 0 0 20 0 1 0 236887757 3050766336 696165 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 744816 696165 800 2416 0 741918 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 2979264 KiB
Current children cumulated memory: 2784660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/266 172900
/proc/meminfo: memFree=120428284/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=2911040 memory=2786248 CPUtime=3572.73 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1183296 0 0 0 354615 2658 0 0 20 0 1 0 236887757 2980904960 696562 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 727760 696562 800 2416 0 724862 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 2911040 KiB
Current children cumulated memory: 2786248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.11 4.09 4.03 4/264 172902
/proc/meminfo: memFree=120491968/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=3138468 memory=2933964 CPUtime=3600.06 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1192964 0 0 0 357328 2678 0 0 20 0 1 0 236887757 3213791232 733491 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 784617 733491 800 2416 0 781719 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3138468 KiB
Current children cumulated memory: 2933964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.29 s, system=26.828 s

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

[startup+3609.7 s]
/proc/loadavg: 4.11 4.09 4.03 4/264 172902
/proc/meminfo: memFree=120491968/131249996 swapFree=33005016/33010684
[pid=172700] ppid=172697 vsize=3138468 memory=2933964 CPUtime=3600.06 cores=1,3
/proc/172700/stat : 172700 (CASHWMaxSAT-Dis) R 172697 172700 172639 0 -1 4194304 1192964 0 0 0 357328 2678 0 0 20 0 1 0 236887757 3213791232 733491 18446744073709551615 4198400 14093885 140730211522048 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 26365952 140730211527016 140730211527131 140730211527131 140730211532735 0
/proc/172700/statm: 784617 733491 800 2416 0 781719 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3138468 KiB
Current children cumulated memory: 2933964 KiB

Child status: 0

Real time (s): 3609.75
CPU time (s): 3600.11
CPU user time (s): 3573.29
CPU system time (s): 26.828
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 3138468
Max. memory (cumulated for all children) (KiB): 2933964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.29
system time used= 26.828
maximum resident set size= 2940988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1192964
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= 123
involuntary context switches= 4912


# summary of solver processes directly reported to runsolver:
#   pid: 172700
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3573.29
#   total CPU system time (s): 26.828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78759 second user time and 15.4315 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-22 21:21:22
IDJOB=4542177
IDBENCH=163905
IDSOLVER=3323
FILE ID=nodeC030/4542177-1753212081
RUNJOBID= nodeC030-1753212081-172651
SLURM_JOB_ID= 9687801
Free space on /tmp= 432732 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542177-1753212081/watcher-4542177-1753212081 -o /tmp/evaluation-result-4542177-1753212081/solver-4542177-1753212081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172651 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4542177-1753212081.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=1883705223

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129312640 kB
MemAvailable:   129649372 kB
Buffers:              16 kB
Cached:          1103456 kB
SwapCached:          232 kB
Active:           741340 kB
Inactive:         432216 kB
Active(anon):      53964 kB
Inactive(anon):    37904 kB
Active(file):     687376 kB
Inactive(file):   394312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            108836 kB
Writeback:             0 kB
AnonPages:         72668 kB
Mapped:           103760 kB
Shmem:             21756 kB
KReclaimable:     188168 kB
Slab:             283636 kB
SReclaimable:     188168 kB
SUnreclaim:        95468 kB
KernelStack:        4144 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432696 MiB
End job on nodeC030 at 2025-07-22 22:21:32