Trace number 4544098

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
Picat 2025-06-16? (TO) 3600.05 3609.2

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_10_092.opb
MD5SUMabde55a93501845a748728a01651cccf
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 benchmark1.10617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables85570
Total number of constraints1851
Number of constraints which are clauses931
Number of constraints which are cardinality constraints (but not clauses)920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint93
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 94
Number of bits of the biggest sum of numbers7
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-4544098-1753228830.opb (Picat 3.9b6)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544098-1753228830/watcher-4544098-1753228830 -o /tmp/evaluation-result-4544098-1753228830/solver-4544098-1753228830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753221605-164723 --watchdog 3760 pb_picat HOME/instance-4544098-1753228830.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=165965, runsolver pid=165962
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.09 4/263 165966
/proc/meminfo: memFree=129143672/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2027148 memory=46576 CPUtime=0.08 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 1078 0 0 0 8 0 0 0 20 0 1 0 238560710 2075799552 11644 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 506787 11644 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46576 KiB

[startup+0.205504 s]*
/proc/loadavg: 4.10 4.09 4.09 4/264 165974
/proc/meminfo: memFree=129118316/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2027148 memory=77556 CPUtime=0.2 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 1158 0 0 0 19 1 0 0 20 0 1 0 238560710 2075799552 19389 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 506787 19389 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 77556 KiB

[startup+0.305872 s]*
/proc/loadavg: 4.10 4.09 4.09 4/261 165974
/proc/meminfo: memFree=129091876/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2027148 memory=104180 CPUtime=0.29 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 1171 0 0 0 28 1 0 0 20 0 1 0 238560710 2075799552 26045 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 506787 26045 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 104180 KiB

[startup+0.700162 s]
/proc/loadavg: 4.10 4.09 4.09 4/261 165974
/proc/meminfo: memFree=129053248/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2055152 memory=162112 CPUtime=0.68 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 8142 0 0 0 65 3 0 0 20 0 1 0 238560710 2104475648 40528 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 513788 40528 1600 343 0 510852 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2055152 KiB
Current children cumulated memory: 162112 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.09 4.09 4/263 165980
/proc/meminfo: memFree=129036516/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2067240 memory=170224 CPUtime=1.48 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 14522 0 0 0 143 5 0 0 20 0 1 0 238560710 2116853760 42556 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 516810 42556 1600 343 0 513874 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2067240 KiB
Current children cumulated memory: 170224 KiB

[startup+3.10533 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 166056
/proc/meminfo: memFree=128993604/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2062352 memory=169136 CPUtime=3.07 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 21567 0 0 0 300 7 0 0 20 0 1 0 238560710 2111848448 42284 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 515588 42284 1600 343 0 512652 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2062352 KiB
Current children cumulated memory: 169136 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 166056
/proc/meminfo: memFree=128973668/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2066448 memory=176792 CPUtime=6.27 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 31665 0 0 0 616 11 0 0 20 0 1 0 238560710 2116042752 44198 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 516612 44198 1600 343 0 513676 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2066448 KiB
Current children cumulated memory: 176792 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 166056
/proc/meminfo: memFree=128943456/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2087968 memory=192816 CPUtime=12.65 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 45968 0 0 0 1248 17 0 0 20 0 1 0 238560710 2138079232 48204 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 521992 48204 1600 343 0 519056 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2087968 KiB
Current children cumulated memory: 192816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 166056
/proc/meminfo: memFree=128908312/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2120736 memory=208820 CPUtime=25.42 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 60241 0 0 0 2516 26 0 0 20 0 1 0 238560710 2171633664 52205 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 530184 52205 1600 343 0 527248 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2120736 KiB
Current children cumulated memory: 208820 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 166071
/proc/meminfo: memFree=128888840/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2121036 memory=201636 CPUtime=50.95 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 76615 0 0 0 5062 33 0 0 20 0 1 0 238560710 2171940864 50409 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 530259 50409 1600 343 0 527323 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2121036 KiB
Current children cumulated memory: 201636 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/266 166076
/proc/meminfo: memFree=128881052/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2084172 memory=196828 CPUtime=102.02 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 116799 0 0 0 10130 72 0 0 20 0 1 0 238560710 2134192128 49207 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 521043 49207 1600 343 0 518107 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2084172 KiB
Current children cumulated memory: 196828 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/266 166082
/proc/meminfo: memFree=128868672/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2194764 memory=267216 CPUtime=161.87 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 164504 0 0 0 16075 112 0 0 20 0 1 0 238560710 2247438336 66804 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 548691 66804 1600 343 0 545755 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2194764 KiB
Current children cumulated memory: 267216 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/265 166218
/proc/meminfo: memFree=128902176/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2121036 memory=206760 CPUtime=221.71 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 202454 0 0 0 22026 145 0 0 20 0 1 0 238560710 2171940864 51690 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 530259 51690 1600 343 0 527323 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2121036 KiB
Current children cumulated memory: 206760 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/266 166221
/proc/meminfo: memFree=128879608/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2122080 memory=234200 CPUtime=281.56 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 252758 0 0 0 27964 192 0 0 20 0 1 0 238560710 2173009920 58550 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 530520 58550 1600 343 0 527584 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2122080 KiB
Current children cumulated memory: 234200 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/265 166223
/proc/meminfo: memFree=128892932/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2122080 memory=227716 CPUtime=341.41 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 295313 0 0 0 33909 232 0 0 20 0 1 0 238560710 2173009920 56929 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 530520 56929 1600 343 0 527584 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2122080 KiB
Current children cumulated memory: 227716 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 166225
/proc/meminfo: memFree=128784696/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2318688 memory=349248 CPUtime=401.26 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 334954 0 0 0 39850 276 0 0 20 0 1 0 238560710 2374336512 87312 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 579672 87312 1600 343 0 576736 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2318688 KiB
Current children cumulated memory: 349248 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 166227
/proc/meminfo: memFree=128517096/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2589024 memory=573832 CPUtime=461.12 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 360383 0 0 0 45799 313 0 0 20 0 1 0 238560710 2651160576 143458 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 647256 143458 1600 343 0 644320 0

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

Current children cumulated memory: 269724 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 166344
/proc/meminfo: memFree=128373180/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2589024 memory=472844 CPUtime=2855.04 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2029651 0 0 0 283701 1803 0 0 20 0 1 0 238560710 2651160576 118211 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 647256 118211 1600 343 0 644320 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 2589024 KiB
Current children cumulated memory: 472844 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/265 166346
/proc/meminfo: memFree=128474256/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2589024 memory=441100 CPUtime=2914.88 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2150681 0 0 0 289639 1849 0 0 20 0 1 0 238560710 2651160576 110275 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 647256 110275 1600 343 0 644320 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 2589024 KiB
Current children cumulated memory: 441100 KiB

[startup+2982.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/265 166349
/proc/meminfo: memFree=128544288/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2326880 memory=342284 CPUtime=2974.72 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2232605 0 0 0 295588 1884 0 0 20 0 1 0 238560710 2382725120 85571 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 581720 85571 1600 343 0 578784 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 2326880 KiB
Current children cumulated memory: 342284 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/265 166351
/proc/meminfo: memFree=128540980/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2326880 memory=337676 CPUtime=3034.57 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2336895 0 0 0 301531 1926 0 0 20 0 1 0 238560710 2382725120 84419 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 581720 84419 1600 343 0 578784 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 2326880 KiB
Current children cumulated memory: 337676 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/266 166356
/proc/meminfo: memFree=128687940/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2318688 memory=329416 CPUtime=3094.42 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2387076 0 0 0 307481 1961 0 0 20 0 1 0 238560710 2374336512 82354 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 579672 82354 1600 343 0 576736 0
Current children cumulated CPU time: 3094.42 s
Current children cumulated vsize: 2318688 KiB
Current children cumulated memory: 329416 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 166362
/proc/meminfo: memFree=128374308/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2326880 memory=377464 CPUtime=3154.26 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2403935 0 0 0 313433 1993 0 0 20 0 1 0 238560710 2382725120 94366 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 581720 94366 1600 343 0 578784 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 2326880 KiB
Current children cumulated memory: 377464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 166364
/proc/meminfo: memFree=128549096/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2576736 memory=446660 CPUtime=3214.11 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2425749 0 0 0 319374 2037 0 0 20 0 1 0 238560710 2638577664 111665 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 644184 111665 1600 343 0 641248 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 2576736 KiB
Current children cumulated memory: 446660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 166366
/proc/meminfo: memFree=128257968/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2580832 memory=449884 CPUtime=3273.96 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2439334 0 0 0 325325 2071 0 0 20 0 1 0 238560710 2642771968 112471 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 645208 112471 1600 343 0 642272 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 2580832 KiB
Current children cumulated memory: 449884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 166368
/proc/meminfo: memFree=128512304/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2318688 memory=367020 CPUtime=3333.82 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2453557 0 0 0 331282 2100 0 0 20 0 1 0 238560710 2374336512 91755 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 579672 91755 1600 343 0 576736 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 2318688 KiB
Current children cumulated memory: 367020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.21 4.12 5/264 166370
/proc/meminfo: memFree=128639456/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2122080 memory=233228 CPUtime=3393.66 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2469509 0 0 0 337230 2136 0 0 20 0 1 0 238560710 2173009920 58307 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 530520 58307 1600 343 0 527584 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 2122080 KiB
Current children cumulated memory: 233228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.20 4.12 5/264 166372
/proc/meminfo: memFree=128588288/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2187616 memory=296716 CPUtime=3453.51 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2486871 0 0 0 343181 2170 0 0 20 0 1 0 238560710 2240118784 74179 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 546904 74179 1600 343 0 543968 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 2187616 KiB
Current children cumulated memory: 296716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/264 166374
/proc/meminfo: memFree=128497424/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2580832 memory=458776 CPUtime=3513.36 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2498328 0 0 0 349133 2203 0 0 20 0 1 0 238560710 2642771968 114694 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 645208 114694 1600 343 0 642272 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 2580832 KiB
Current children cumulated memory: 458776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.11 5/265 166377
/proc/meminfo: memFree=128606792/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2195808 memory=304908 CPUtime=3573.2 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2520818 0 0 0 355090 2230 0 0 20 0 1 0 238560710 2248507392 76227 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 548952 76227 1600 343 0 546016 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 2195808 KiB
Current children cumulated memory: 304908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.12 4.16 4.11 5/265 166377
/proc/meminfo: memFree=128257588/131249996 swapFree=33010416/33010684
[pid=165965] ppid=165962 vsize=2318688 memory=427788 CPUtime=3600.03 cores=4,6
/proc/165965/stat : 165965 (pb_picat) R 165962 165965 164712 0 -1 4194304 2570421 0 0 0 357756 2247 0 0 20 0 1 0 238560710 2374336512 106947 18446744073709551615 94440177377280 94440178778861 140737015572592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94440179050288 94440180924592 94440219082752 140737015581084 140737015581160 140737015581160 140737015586764 0
/proc/165965/statm: 579672 106947 1600 343 0 576736 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2318688 KiB
Current children cumulated memory: 427788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.57 s, system=22.4786 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): 3609.2
CPU time (s): 3600.05
CPU user time (s): 3577.57
CPU system time (s): 22.4786
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 3113312
Max. memory (cumulated for all children) (KiB): 1209604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.57
system time used= 22.4786
maximum resident set size= 1211680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2570422
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= 4650


# summary of solver processes directly reported to runsolver:
#   pid: 165965
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3577.57
#   total CPU system time (s): 22.4786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71271 second user time and 15.1654 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-23 02:00:30
IDJOB=4544098
IDBENCH=174892
IDSOLVER=3346
FILE ID=nodeC017/4544098-1753228830
RUNJOBID= nodeC017-1753221605-164723
SLURM_JOB_ID= 9687814
Free space on /tmp= 433036 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_10_092.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544098-1753228830/watcher-4544098-1753228830 -o /tmp/evaluation-result-4544098-1753228830/solver-4544098-1753228830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753221605-164723 --watchdog 3760  pb_picat HOME/instance-4544098-1753228830.opb

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

MD5SUM BENCH= abde55a93501845a748728a01651cccf
RANDOM SEED=186446868

nodeC017 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.175
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.12
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.999
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.12
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		: 3573.030
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.12
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		: 3590.958
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.12
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.065
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.12
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.004
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.12
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		: 3795.018
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.12
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		: 3721.519
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129136196 kB
MemAvailable:   129572324 kB
Buffers:            1688 kB
Cached:          1203240 kB
SwapCached:           32 kB
Active:          1196236 kB
Inactive:         229508 kB
Active(anon):     222952 kB
Inactive(anon):    24108 kB
Active(file):     973284 kB
Inactive(file):   205400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9300 kB
Writeback:             0 kB
AnonPages:        222712 kB
Mapped:           119480 kB
Shmem:             26240 kB
KReclaimable:     192968 kB
Slab:             288116 kB
SReclaimable:     192968 kB
SUnreclaim:        95148 kB
KernelStack:        4288 kB
PageTables:         3428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6578632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC017 at 2025-07-23 03:00:39