Trace number 4543690

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
pb_picat 2025-07-11? (TO) 3600.03 3609.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb
MD5SUMbc326017418b9b1ea2c8f3320db7415a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.01891
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables256
Total number of constraints257
Number of constraints which are clauses256
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint256
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 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 316
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4543690-1753227091.opb (Picat 3.9b11, 7/10/2025)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543690-1753227091/watcher-4543690-1753227091 -o /tmp/evaluation-result-4543690-1753227091/solver-4543690-1753227091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161391 --watchdog 3760 pb_picat HOME/instance-4543690-1753227091.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 4.08 4.09 4.04 4/264 161821
/proc/meminfo: memFree=128806172/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2029396 memory=19428 CPUtime=0.08 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 1327 0 0 0 8 0 0 0 20 0 1 0 238386786 2078101504 4857 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507349 4857 1728 343 0 504413 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 19428 KiB

[startup+0.204414 s]*
/proc/loadavg: 4.08 4.09 4.04 4/264 161833
/proc/meminfo: memFree=128775736/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2029396 memory=19556 CPUtime=0.18 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 1369 0 0 0 18 0 0 0 20 0 1 0 238386786 2078101504 4889 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507349 4889 1728 343 0 504413 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 19556 KiB

[startup+0.305273 s]*
/proc/loadavg: 4.08 4.09 4.04 4/264 161835
/proc/meminfo: memFree=128742968/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2029396 memory=19684 CPUtime=0.28 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 1393 0 0 0 28 0 0 0 20 0 1 0 238386786 2078101504 4921 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507349 4921 1728 343 0 504413 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 19684 KiB

[startup+0.700166 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 161856
/proc/meminfo: memFree=128685148/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2029928 memory=20016 CPUtime=0.67 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 1966 0 0 0 66 1 0 0 20 0 1 0 238386786 2078646272 5004 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507482 5004 1728 343 0 504546 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2029928 KiB
Current children cumulated memory: 20016 KiB

[startup+1.50012 s]
/proc/loadavg: 4.08 4.09 4.04 5/266 161866
/proc/meminfo: memFree=128430480/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2030132 memory=20184 CPUtime=1.46 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3299 0 0 0 145 1 0 0 20 0 1 0 238386786 2078855168 5046 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507533 5046 1728 343 0 504597 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2030132 KiB
Current children cumulated memory: 20184 KiB

[startup+3.10524 s]
/proc/loadavg: 4.08 4.09 4.04 5/266 161866
/proc/meminfo: memFree=127951604/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2030344 memory=20268 CPUtime=3.07 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 7168 0 0 0 305 2 0 0 20 0 1 0 238386786 2079072256 5067 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507586 5067 1728 343 0 504650 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2030344 KiB
Current children cumulated memory: 20268 KiB

[startup+6.30013 s]
/proc/loadavg: 4.16 4.11 4.05 5/266 161866
/proc/meminfo: memFree=127918040/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2031372 memory=21264 CPUtime=6.26 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 16046 0 0 0 622 4 0 0 20 0 1 0 238386786 2080124928 5316 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 507843 5316 1728 343 0 504907 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2031372 KiB
Current children cumulated memory: 21264 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.11 4.05 5/266 161866
/proc/meminfo: memFree=127901856/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2034588 memory=24488 CPUtime=12.64 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 34780 0 0 0 1257 7 0 0 20 0 1 0 238386786 2083418112 6122 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 508647 6122 1728 343 0 505711 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2034588 KiB
Current children cumulated memory: 24488 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127315964/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2036920 memory=25260 CPUtime=25.41 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 72567 0 0 0 2526 15 0 0 20 0 1 0 238386786 2085806080 6315 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 509230 6315 1728 343 0 506294 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2036920 KiB
Current children cumulated memory: 25260 KiB

[startup+51.1053 s]
/proc/loadavg: 4.15 4.11 4.05 5/266 161912
/proc/meminfo: memFree=126977744/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2049972 memory=37052 CPUtime=50.95 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 149934 0 0 0 5063 32 0 0 20 0 1 0 238386786 2099171328 9263 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 512493 9263 1728 343 0 509557 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2049972 KiB
Current children cumulated memory: 37052 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/266 161914
/proc/meminfo: memFree=127124064/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2033588 memory=30180 CPUtime=102.01 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 295230 0 0 0 10134 67 0 0 20 0 1 0 238386786 2082394112 7545 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 508397 7545 1728 343 0 505461 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2033588 KiB
Current children cumulated memory: 30180 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 161916
/proc/meminfo: memFree=127100760/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2041780 memory=37796 CPUtime=161.86 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 433126 0 0 0 16087 99 0 0 20 0 1 0 238386786 2090782720 9449 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 510445 9449 1728 343 0 507509 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2041780 KiB
Current children cumulated memory: 37796 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/265 161918
/proc/meminfo: memFree=126989888/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2040056 memory=32744 CPUtime=221.71 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 558606 0 0 0 22044 127 0 0 20 0 1 0 238386786 2089017344 8186 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 510014 8186 1728 343 0 507078 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2040056 KiB
Current children cumulated memory: 32744 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/265 161921
/proc/meminfo: memFree=127053788/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2042104 memory=36732 CPUtime=281.55 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 666490 0 0 0 28001 154 0 0 20 0 1 0 238386786 2091114496 9183 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 510526 9183 1728 343 0 507590 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2042104 KiB
Current children cumulated memory: 36732 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/264 161923
/proc/meminfo: memFree=127039264/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2050464 memory=46744 CPUtime=341.39 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 783372 0 0 0 33956 183 0 0 20 0 1 0 238386786 2099675136 11686 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 512616 11686 1728 343 0 509680 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2050464 KiB
Current children cumulated memory: 46744 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/264 161925
/proc/meminfo: memFree=127086824/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2054560 memory=40596 CPUtime=401.23 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 940800 0 0 0 39900 223 0 0 20 0 1 0 238386786 2103869440 10149 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 513640 10149 1728 343 0 510704 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 2054560 KiB
Current children cumulated memory: 40596 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/264 161933
/proc/meminfo: memFree=127000580/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2054560 memory=44472 CPUtime=461.08 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 1069900 0 0 0 45852 256 0 0 20 0 1 0 238386786 2103869440 11118 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 513640 11118 1728 343 0 510704 0
Current children cumulated CPU time: 461.08 s

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

Current children cumulated memory: 75592 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 162070
/proc/meminfo: memFree=126080964/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2114196 memory=77640 CPUtime=2914.59 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3596524 0 0 0 290409 1050 0 0 20 0 1 0 238386786 2164936704 19410 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 528549 19410 1728 343 0 525613 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 2114196 KiB
Current children cumulated memory: 77640 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 162072
/proc/meminfo: memFree=126825232/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083560 memory=69024 CPUtime=2974.44 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3616326 0 0 0 296386 1058 0 0 20 0 1 0 238386786 2133565440 17256 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520890 17256 1728 343 0 517954 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 2083560 KiB
Current children cumulated memory: 69024 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 162074
/proc/meminfo: memFree=126693700/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2116328 memory=87920 CPUtime=3034.28 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3632914 0 0 0 302361 1067 0 0 20 0 1 0 238386786 2167119872 21980 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 529082 21980 1728 343 0 526146 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 2116328 KiB
Current children cumulated memory: 87920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 162077
/proc/meminfo: memFree=126783500/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083560 memory=71536 CPUtime=3094.12 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3688909 0 0 0 308326 1086 0 0 20 0 1 0 238386786 2133565440 17884 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520890 17884 1728 343 0 517954 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 2083560 KiB
Current children cumulated memory: 71536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 162079
/proc/meminfo: memFree=126643364/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083560 memory=69488 CPUtime=3153.96 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3778818 0 0 0 314285 1111 0 0 20 0 1 0 238386786 2133565440 17372 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520890 17372 1728 343 0 517954 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 2083560 KiB
Current children cumulated memory: 69488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 162082
/proc/meminfo: memFree=126802868/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083560 memory=71536 CPUtime=3213.81 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3835486 0 0 0 320250 1131 0 0 20 0 1 0 238386786 2133565440 17884 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520890 17884 1728 343 0 517954 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2083560 KiB
Current children cumulated memory: 71536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 162083
/proc/meminfo: memFree=126844380/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083560 memory=73584 CPUtime=3273.65 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3890286 0 0 0 326218 1147 0 0 20 0 1 0 238386786 2133565440 18396 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520890 18396 1728 343 0 517954 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 2083560 KiB
Current children cumulated memory: 73584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 162085
/proc/meminfo: memFree=126164132/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2099944 memory=81776 CPUtime=3333.5 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 3989275 0 0 0 332172 1178 0 0 20 0 1 0 238386786 2150342656 20444 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 524986 20444 1728 343 0 522050 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 2099944 KiB
Current children cumulated memory: 81776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 162088
/proc/meminfo: memFree=126606224/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083736 memory=66400 CPUtime=3393.34 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 4019707 0 0 0 338144 1190 0 0 20 0 1 0 238386786 2133745664 16600 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520934 16600 1728 343 0 517998 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 2083736 KiB
Current children cumulated memory: 66400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 162097
/proc/meminfo: memFree=126655128/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083736 memory=72800 CPUtime=3453.2 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 4035761 0 0 0 344120 1200 0 0 20 0 1 0 238386786 2133745664 18200 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520934 18200 1728 343 0 517998 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 2083736 KiB
Current children cumulated memory: 72800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/264 162099
/proc/meminfo: memFree=126625940/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2059160 memory=44376 CPUtime=3513.04 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 4055997 0 0 0 350094 1210 0 0 20 0 1 0 238386786 2108579840 11094 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 514790 11094 1728 343 0 511854 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 2059160 KiB
Current children cumulated memory: 44376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.17 4.12 5/264 162101
/proc/meminfo: memFree=126686780/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2083736 memory=63008 CPUtime=3572.89 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 4073618 0 0 0 356071 1218 0 0 20 0 1 0 238386786 2133745664 15752 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 520934 15752 1728 343 0 517998 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 2083736 KiB
Current children cumulated memory: 63008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 162102
/proc/meminfo: memFree=126585784/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2116504 memory=92236 CPUtime=3600.02 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 4080592 0 0 0 358780 1222 0 0 20 0 1 0 238386786 2167300096 23059 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 529126 23059 1728 343 0 526190 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2116504 KiB
Current children cumulated memory: 92236 KiB

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

[startup+3609.5 s]
# the end of solver process 161812 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3587.8 s, system=12.2223 s

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

[startup+3609.5 s]
/proc/loadavg: 4.16 4.16 4.11 5/264 162102
/proc/meminfo: memFree=126585784/131249996 swapFree=33003468/33010684
[pid=161812] ppid=161804 vsize=2116504 memory=92236 CPUtime=3600.02 cores=4,6
/proc/161812/stat : 161812 (pb_picat) R 161804 161812 161380 0 -1 4194304 4080592 0 0 0 358780 1222 0 0 20 0 1 0 238386786 2167300096 23059 18446744073709551615 94600402771968 94600404173549 140730017699376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94600404444976 94600406319216 94600443609088 140730017704348 140730017704424 140730017704424 140730017710028 0
/proc/161812/statm: 529126 23059 1728 343 0 526190 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2116504 KiB
Current children cumulated memory: 92236 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.5
CPU time (s): 3600.03
CPU user time (s): 3587.8
CPU system time (s): 12.2223
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 2132888
Max. memory (cumulated for all children) (KiB): 96332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.8
system time used= 12.2223
maximum resident set size= 96332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4080592
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= 76
involuntary context switches= 4609


# summary of solver processes directly reported to runsolver:
#   pid: 161812
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3587.8
#   total CPU system time (s): 12.2223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6652 second user time and 14.7107 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-23 01:31:31
IDJOB=4543690
IDBENCH=174409
IDSOLVER=3385
FILE ID=nodeC021/4543690-1753227091
RUNJOBID= nodeC021-1753223480-161391
SLURM_JOB_ID= 9687828
Free space on /tmp= 433020 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543690-1753227091/watcher-4543690-1753227091 -o /tmp/evaluation-result-4543690-1753227091/solver-4543690-1753227091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161391 --watchdog 3760  pb_picat HOME/instance-4543690-1753227091.opb

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

MD5SUM BENCH= bc326017418b9b1ea2c8f3320db7415a
RANDOM SEED=1582646445

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128834688 kB
MemAvailable:   129622852 kB
Buffers:            1056 kB
Cached:          1524132 kB
SwapCached:           56 kB
Active:          1230780 kB
Inactive:         431184 kB
Active(anon):     119988 kB
Inactive(anon):    38496 kB
Active(file):    1110792 kB
Inactive(file):   392688 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11084 kB
Writeback:            48 kB
AnonPages:        139268 kB
Mapped:           107772 kB
Shmem:             21656 kB
KReclaimable:     247448 kB
Slab:             343840 kB
SReclaimable:     247448 kB
SUnreclaim:        96392 kB
KernelStack:        4160 kB
PageTables:         3240 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2459340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC021 at 2025-07-23 02:31:41