Trace number 4544470

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.1 3611.01

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
MD5SUMec82efcd866f342a1f5f756e3ed31d43
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 benchmark5.10808
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5508
Total number of constraints408375
Number of constraints which are clauses397971
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10404
Minimum length of a constraint2
Maximum length of a constraint17
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 33
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 

0.00/0.00	c solving HOME/instance-4544470-1753230729.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 (62042 MiB free)
  memory of node 1: 64507 MiB (63685 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=162416, runsolver pid=162413
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128724124/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2027148 memory=38320 CPUtime=0.09 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 998 0 0 0 9 0 0 0 20 0 1 0 238750591 2075799552 9580 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 506787 9580 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38320 KiB

[startup+0.205438 s]*
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128707740/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2027148 memory=54704 CPUtime=0.2 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1006 0 0 0 19 1 0 0 20 0 1 0 238750591 2075799552 13676 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 506787 13676 1600 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54704 KiB

[startup+0.305369 s]*
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128695452/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2027148 memory=71088 CPUtime=0.29 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1014 0 0 0 28 1 0 0 20 0 1 0 238750591 2075799552 17772 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 506787 17772 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71088 KiB

[startup+0.700185 s]
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128662432/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2027148 memory=130480 CPUtime=0.68 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1043 0 0 0 66 2 0 0 20 0 1 0 238750591 2075799552 32620 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 506787 32620 1600 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 130480 KiB

[startup+1.50014 s]
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128588704/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2027148 memory=253360 CPUtime=1.48 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1103 0 0 0 143 5 0 0 20 0 1 0 238750591 2075799552 63340 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 506787 63340 1600 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 253360 KiB

[startup+3.10525 s]
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128284288/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2038204 memory=487656 CPUtime=3.08 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 3792 0 0 0 298 10 0 0 20 0 1 0 238750591 2087120896 121914 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 509551 121914 1632 343 0 506615 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2038204 KiB
Current children cumulated memory: 487656 KiB

[startup+6.30013 s]
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128264852/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2048900 memory=491912 CPUtime=6.27 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 8283 0 0 0 610 17 0 0 20 0 1 0 238750591 2098073600 122978 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 512225 122978 1728 343 0 509289 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048900 KiB
Current children cumulated memory: 491912 KiB

[startup+12.7002 s]
/proc/loadavg: 3.99 4.11 4.09 5/264 162417
/proc/meminfo: memFree=128243944/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2053232 memory=496448 CPUtime=12.65 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 12376 0 0 0 1247 18 0 0 20 0 1 0 238750591 2102509568 124112 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 513308 124112 1728 343 0 510372 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2053232 KiB
Current children cumulated memory: 496448 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 4.10 4.09 5/264 162418
/proc/meminfo: memFree=128225600/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2053444 memory=503380 CPUtime=25.42 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 17154 0 0 0 2523 19 0 0 20 0 1 0 238750591 2102726656 125845 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 513361 125845 1728 343 0 510425 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2053444 KiB
Current children cumulated memory: 503380 KiB

[startup+51.1053 s]
/proc/loadavg: 4.00 4.09 4.09 5/265 162419
/proc/meminfo: memFree=128211804/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2053832 memory=501772 CPUtime=50.96 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 34497 0 0 0 5072 24 0 0 20 0 1 0 238750591 2103123968 125443 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 513458 125443 1728 343 0 510522 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2053832 KiB
Current children cumulated memory: 501772 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 162421
/proc/meminfo: memFree=128177704/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2078496 memory=512464 CPUtime=102.01 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 65613 0 0 0 10166 35 0 0 20 0 1 0 238750591 2128379904 128116 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 519624 128116 1728 343 0 516688 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2078496 KiB
Current children cumulated memory: 512464 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 162424
/proc/meminfo: memFree=128186952/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2053124 memory=500836 CPUtime=161.84 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 96241 0 0 0 16140 44 0 0 20 0 1 0 238750591 2102398976 125209 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 513281 125209 1728 343 0 510345 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2053124 KiB
Current children cumulated memory: 500836 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 162426
/proc/meminfo: memFree=128158592/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2053932 memory=497340 CPUtime=221.67 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 133630 0 0 0 22112 55 0 0 20 0 1 0 238750591 2103226368 124335 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 513483 124335 1728 343 0 510547 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2053932 KiB
Current children cumulated memory: 497340 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 162428
/proc/meminfo: memFree=128166448/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2054044 memory=501892 CPUtime=281.52 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 165451 0 0 0 28085 67 0 0 20 0 1 0 238750591 2103341056 125473 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 513511 125473 1728 343 0 510575 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2054044 KiB
Current children cumulated memory: 501892 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 162430
/proc/meminfo: memFree=128118752/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2050020 memory=498160 CPUtime=341.34 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 185591 0 0 0 34060 74 0 0 20 0 1 0 238750591 2099220480 124540 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 512505 124540 1728 343 0 509569 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2050020 KiB
Current children cumulated memory: 498160 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 162432
/proc/meminfo: memFree=128118196/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2061316 memory=508860 CPUtime=401.17 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 217031 0 0 0 40032 85 0 0 20 0 1 0 238750591 2110787584 127215 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 515329 127215 1728 343 0 512393 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2061316 KiB
Current children cumulated memory: 508860 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 162440
/proc/meminfo: memFree=128097156/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2046596 memory=488720 CPUtime=461.01 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 245065 0 0 0 46005 96 0 0 20 0 1 0 238750591 2095714304 122180 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 511649 122180 1728 343 0 508713 0

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

Current children cumulated memory: 527848 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 162571
/proc/meminfo: memFree=127875184/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2118788 memory=542184 CPUtime=2853.55 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1732746 0 0 0 284643 712 0 0 20 0 1 0 238750591 2169638912 135546 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 529697 135546 1728 343 0 526761 0
Current children cumulated CPU time: 2853.55 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 542184 KiB

[startup+2922.3 s]
/proc/loadavg: 4.21 4.14 4.11 5/264 162573
/proc/meminfo: memFree=127874264/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2086020 memory=523752 CPUtime=2913.37 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1754116 0 0 0 290616 721 0 0 20 0 1 0 238750591 2136084480 130938 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 521505 130938 1728 343 0 518569 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 523752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 162575
/proc/meminfo: memFree=127932384/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2069636 memory=515560 CPUtime=2973.2 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1798103 0 0 0 296581 739 0 0 20 0 1 0 238750591 2119307264 128890 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 517409 128890 1728 343 0 514473 0
Current children cumulated CPU time: 2973.2 s
Current children cumulated vsize: 2069636 KiB
Current children cumulated memory: 515560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 162577
/proc/meminfo: memFree=127893612/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2086020 memory=527580 CPUtime=3033.03 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1827510 0 0 0 302551 752 0 0 20 0 1 0 238750591 2136084480 131895 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 521505 131895 1728 343 0 518569 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 527580 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/265 162580
/proc/meminfo: memFree=127792912/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2118788 memory=540136 CPUtime=3092.86 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1845184 0 0 0 308524 762 0 0 20 0 1 0 238750591 2169638912 135034 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 529697 135034 1728 343 0 526761 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 540136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 162583
/proc/meminfo: memFree=127815836/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2118788 memory=546280 CPUtime=3152.69 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1859806 0 0 0 314499 770 0 0 20 0 1 0 238750591 2169638912 136570 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 529697 136570 1728 343 0 526761 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 546280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 162585
/proc/meminfo: memFree=127832536/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2086020 memory=521704 CPUtime=3212.52 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 1920538 0 0 0 320459 793 0 0 20 0 1 0 238750591 2136084480 130426 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 521505 130426 1728 343 0 518569 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 521704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 162589
/proc/meminfo: memFree=127833528/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2118788 memory=536632 CPUtime=3272.34 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2237456 0 0 0 326330 904 0 0 20 0 1 0 238750591 2169638912 134158 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 529697 134158 1728 343 0 526761 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 536632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 162591
/proc/meminfo: memFree=127845276/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2077828 memory=523752 CPUtime=3332.16 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2360663 0 0 0 332264 952 0 0 20 0 1 0 238750591 2127695872 130938 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 519457 130938 1728 343 0 516521 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 2077828 KiB
Current children cumulated memory: 523752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 162593
/proc/meminfo: memFree=127823400/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2061444 memory=504124 CPUtime=3391.98 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2401782 0 0 0 338230 968 0 0 20 0 1 0 238750591 2110918656 126031 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 515361 126031 1728 343 0 512425 0
Current children cumulated CPU time: 3391.98 s
Current children cumulated vsize: 2061444 KiB
Current children cumulated memory: 504124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 162602
/proc/meminfo: memFree=127839108/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2086020 memory=521704 CPUtime=3451.81 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2438946 0 0 0 344198 983 0 0 20 0 1 0 238750591 2136084480 130426 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 521505 130426 1728 343 0 518569 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 521704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/264 162605
/proc/meminfo: memFree=127817140/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2077828 memory=517704 CPUtime=3511.64 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2470722 0 0 0 350166 998 0 0 20 0 1 0 238750591 2127695872 129426 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 519457 129426 1728 343 0 516521 0
Current children cumulated CPU time: 3511.64 s
Current children cumulated vsize: 2077828 KiB
Current children cumulated memory: 517704 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/264 162607
/proc/meminfo: memFree=127810272/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2086020 memory=521704 CPUtime=3571.46 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2488198 0 0 0 356139 1007 0 0 20 0 1 0 238750591 2136084480 130426 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 521505 130426 1728 343 0 518569 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 521704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 3.20 3.94 4.04 2/246 162700
/proc/meminfo: memFree=128369280/131249996 swapFree=33003468/33010684
[pid=162416] ppid=162413 vsize=2077828 memory=523752 CPUtime=3600.09 cores=5,7
/proc/162416/stat : 162416 (pb_picat) R 162413 162416 161380 0 -1 4194304 2495774 0 0 0 358998 1011 0 0 20 0 1 0 238750591 2127695872 130938 18446744073709551615 94472830234624 94472831636205 140722659760736 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94472831907632 94472833781872 94472855007232 140722659768732 140722659768808 140722659768808 140722659774412 0
/proc/162416/statm: 519457 130938 1728 343 0 516521 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2077828 KiB
Current children cumulated memory: 523752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.98 s, system=10.1158 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.01
CPU time (s): 3600.1
CPU user time (s): 3589.98
CPU system time (s): 10.1158
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 2135172
Max. memory (cumulated for all children) (KiB): 556520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.98
system time used= 10.1158
maximum resident set size= 556520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2495774
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= 68
involuntary context switches= 22016


# summary of solver processes directly reported to runsolver:
#   pid: 162416
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3589.98
#   total CPU system time (s): 10.1158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6711 second user time and 15.1965 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-23 02:32:09
IDJOB=4544470
IDBENCH=180672
IDSOLVER=3385
FILE ID=nodeC021/4544470-1753230729
RUNJOBID= nodeC021-1753223480-161393
SLURM_JOB_ID= 9687828
Free space on /tmp= 433000 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat16_15_identity_complement.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544470-1753230729/watcher-4544470-1753230729 -o /tmp/evaluation-result-4544470-1753230729/solver-4544470-1753230729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161393 --watchdog 3760  pb_picat HOME/instance-4544470-1753230729.opb

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

MD5SUM BENCH= ec82efcd866f342a1f5f756e3ed31d43
RANDOM SEED=1897719345

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.767
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.740
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.661
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.781
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.774
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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.787
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		: 3738.608
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		: 3620.083
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:        128744796 kB
MemAvailable:   129546396 kB
Buffers:            1056 kB
Cached:          1537456 kB
SwapCached:           56 kB
Active:          1316612 kB
Inactive:         444560 kB
Active(anon):     205820 kB
Inactive(anon):    38496 kB
Active(file):    1110792 kB
Inactive(file):   406064 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26216 kB
Writeback:             0 kB
AnonPages:        225284 kB
Mapped:           114592 kB
Shmem:             21656 kB
KReclaimable:     247568 kB
Slab:             343592 kB
SReclaimable:     247568 kB
SUnreclaim:        96024 kB
KernelStack:        4272 kB
PageTables:         3596 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6554544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 433008 MiB
End job on nodeC021 at 2025-07-23 03:32:20