Trace number 4543729

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.05 3609.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
MD5SUMfedac043231dc7d3bd4ac0917a28b068
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 benchmark6.12995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables279390
Total number of constraints5791
Number of constraints which are clauses2911
Number of constraints which are cardinality constraints (but not clauses)2880
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint97
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 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 98
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.00	c solving HOME/instance-4543729-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 (62087 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-4543729-1753227091/watcher-4543729-1753227091 -o /tmp/evaluation-result-4543729-1753227091/solver-4543729-1753227091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161392 --watchdog 3760 pb_picat HOME/instance-4543729-1753227091.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 4.08 4.09 4.04 4/262 161826
/proc/meminfo: memFree=128793128/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2027148 memory=47124 CPUtime=0.09 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 1216 0 0 0 8 1 0 0 20 0 1 0 238386791 2075799552 11781 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 506787 11781 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 47124 KiB

[startup+0.205362 s]*
/proc/loadavg: 4.08 4.09 4.04 4/264 161835
/proc/meminfo: memFree=128759352/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2027148 memory=78068 CPUtime=0.19 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 1287 0 0 0 18 1 0 0 20 0 1 0 238386791 2075799552 19517 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 506787 19517 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 78068 KiB

[startup+0.305311 s]*
/proc/loadavg: 4.08 4.09 4.04 4/262 161839
/proc/meminfo: memFree=128730680/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2027148 memory=106740 CPUtime=0.3 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 1301 0 0 0 28 2 0 0 20 0 1 0 238386791 2075799552 26685 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 506787 26685 1536 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 106740 KiB

[startup+0.700143 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 161861
/proc/meminfo: memFree=128668764/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2027148 memory=215284 CPUtime=0.69 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 1354 0 0 0 65 4 0 0 20 0 1 0 238386791 2075799552 53821 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 506787 53821 1536 343 0 503851 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 215284 KiB

[startup+1.50015 s]
/proc/loadavg: 4.08 4.09 4.04 5/266 161866
/proc/meminfo: memFree=128410000/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2027148 memory=405748 CPUtime=1.49 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 1447 0 0 0 142 7 0 0 20 0 1 0 238386791 2075799552 101437 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 506787 101437 1536 343 0 503851 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 405748 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=161820] ppid=161817 vsize=2488632 memory=674456 CPUtime=3.09 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 12184 0 0 0 296 13 0 0 20 0 1 0 238386791 2548359168 168614 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 622158 168614 1632 343 0 619222 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2488632 KiB
Current children cumulated memory: 674456 KiB

[startup+6.30014 s]
/proc/loadavg: 4.16 4.11 4.05 5/266 161866
/proc/meminfo: memFree=127918040/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2486944 memory=677016 CPUtime=6.27 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 19316 0 0 0 612 15 0 0 20 0 1 0 238386791 2546630656 169254 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 621736 169254 1632 343 0 618800 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2486944 KiB
Current children cumulated memory: 677016 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=161820] ppid=161817 vsize=2503328 memory=685276 CPUtime=12.66 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 25761 0 0 0 1246 20 0 0 20 0 1 0 238386791 2563407872 171319 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 625832 171319 1632 343 0 622896 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2503328 KiB
Current children cumulated memory: 685276 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.05 5/266 161911
/proc/meminfo: memFree=127311868/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2536096 memory=709896 CPUtime=25.42 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 34281 0 0 0 2515 27 0 0 20 0 1 0 238386791 2596962304 177474 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 634024 177474 1632 343 0 631088 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2536096 KiB
Current children cumulated memory: 709896 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=161820] ppid=161817 vsize=2858712 memory=892668 CPUtime=50.95 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 47985 0 0 0 5054 41 0 0 20 0 1 0 238386791 2927321088 223167 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 714678 223167 1632 343 0 711742 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2858712 KiB
Current children cumulated memory: 892668 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=161820] ppid=161817 vsize=2614444 memory=744660 CPUtime=102.01 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 59943 0 0 0 10147 54 0 0 20 0 1 0 238386791 2677190656 186165 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 653611 186165 1632 343 0 650675 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2614444 KiB
Current children cumulated memory: 744660 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=161820] ppid=161817 vsize=2630828 memory=802004 CPUtime=161.83 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 70604 0 0 0 16114 69 0 0 20 0 1 0 238386791 2693967872 200501 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 657707 200501 1632 343 0 654771 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 802004 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=161820] ppid=161817 vsize=2630828 memory=806100 CPUtime=221.65 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 77930 0 0 0 22090 75 0 0 20 0 1 0 238386791 2693967872 201525 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 657707 201525 1632 343 0 654771 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 806100 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/265 161921
/proc/meminfo: memFree=127045596/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2745516 memory=836820 CPUtime=281.48 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 89506 0 0 0 28051 97 0 0 20 0 1 0 238386791 2811408384 209205 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 686379 209205 1632 343 0 683443 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2745516 KiB
Current children cumulated memory: 836820 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/264 161923
/proc/meminfo: memFree=127035168/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2630828 memory=779476 CPUtime=341.31 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 99044 0 0 0 34017 114 0 0 20 0 1 0 238386791 2693967872 194869 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 657707 194869 1632 343 0 654771 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 779476 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=161820] ppid=161817 vsize=2630828 memory=787668 CPUtime=401.13 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 110275 0 0 0 39975 138 0 0 20 0 1 0 238386791 2693967872 196917 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 657707 196917 1632 343 0 654771 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2630828 KiB
Current children cumulated memory: 787668 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=161820] ppid=161817 vsize=2614444 memory=798824 CPUtime=460.95 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 122958 0 0 0 45933 162 0 0 20 0 1 0 238386791 2677190656 199706 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 653611 199706 1632 343 0 650675 0
Current children cumulated CPU time: 460.95 s

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

Current children cumulated memory: 856056 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 162070
/proc/meminfo: memFree=126076868/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=3008312 memory=999416 CPUtime=2914.53 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 580780 0 0 0 290174 1279 0 0 20 0 1 0 238386791 3080511488 249854 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 752078 249854 1632 343 0 749142 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 3008312 KiB
Current children cumulated memory: 999416 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 162072
/proc/meminfo: memFree=126821136/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2631480 memory=817528 CPUtime=2974.39 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 589751 0 0 0 296130 1309 0 0 20 0 1 0 238386791 2694635520 204382 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 657870 204382 1632 343 0 654934 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 2631480 KiB
Current children cumulated memory: 817528 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 162074
/proc/meminfo: memFree=126685508/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2762552 memory=959352 CPUtime=3034.24 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 602093 0 0 0 302099 1325 0 0 20 0 1 0 238386791 2828853248 239838 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 690638 239838 1632 343 0 687702 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 959352 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=161820] ppid=161817 vsize=2762552 memory=856056 CPUtime=3094.09 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 622001 0 0 0 308066 1343 0 0 20 0 1 0 238386791 2828853248 214014 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 690638 214014 1632 343 0 687702 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 856056 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=161820] ppid=161817 vsize=3024696 memory=1001464 CPUtime=3153.93 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 639116 0 0 0 314035 1358 0 0 20 0 1 0 238386791 3097288704 250366 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 756174 250366 1632 343 0 753238 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 1001464 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=161820] ppid=161817 vsize=2762552 memory=874488 CPUtime=3213.77 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 658904 0 0 0 320002 1375 0 0 20 0 1 0 238386791 2828853248 218622 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 690638 218622 1632 343 0 687702 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 2762552 KiB
Current children cumulated memory: 874488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 162084
/proc/meminfo: memFree=126840284/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2746168 memory=825336 CPUtime=3273.62 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 670661 0 0 0 325967 1395 0 0 20 0 1 0 238386791 2812076032 206334 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 686542 206334 1632 343 0 683606 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 2746168 KiB
Current children cumulated memory: 825336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 162085
/proc/meminfo: memFree=126160036/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=3024696 memory=999416 CPUtime=3333.49 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 681211 0 0 0 331920 1429 0 0 20 0 1 0 238386791 3097288704 249854 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 756174 249854 1632 343 0 753238 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 999416 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=161820] ppid=161817 vsize=3024696 memory=956280 CPUtime=3393.33 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 691087 0 0 0 337871 1462 0 0 20 0 1 0 238386791 3097288704 239070 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 756174 239070 1632 343 0 753238 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 956280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 162097
/proc/meminfo: memFree=126651032/131249996 swapFree=33003468/33010684
[pid=161820] ppid=161817 vsize=2746168 memory=907256 CPUtime=3453.2 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 700610 0 0 0 343828 1492 0 0 20 0 1 0 238386791 2812076032 226814 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 686542 226814 1632 343 0 683606 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 2746168 KiB
Current children cumulated memory: 907256 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=161820] ppid=161817 vsize=3024696 memory=1007608 CPUtime=3513.05 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 713017 0 0 0 349779 1526 0 0 20 0 1 0 238386791 3097288704 251902 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 756174 251902 1632 343 0 753238 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 1007608 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=161820] ppid=161817 vsize=3024696 memory=1017860 CPUtime=3572.91 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 720453 0 0 0 355734 1557 0 0 20 0 1 0 238386791 3097288704 254465 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 756174 254465 1632 343 0 753238 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 3024696 KiB
Current children cumulated memory: 1017860 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=161820] ppid=161817 vsize=2746168 memory=903160 CPUtime=3600.04 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 725294 0 0 0 358427 1577 0 0 20 0 1 0 238386791 2812076032 225790 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 686542 225790 1632 343 0 683606 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2746168 KiB
Current children cumulated memory: 903160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.27 s, system=15.776 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=161820] ppid=161817 vsize=2746168 memory=903160 CPUtime=3600.04 cores=1,3
/proc/161820/stat : 161820 (pb_picat) R 161817 161820 161380 0 -1 4194304 725294 0 0 0 358427 1577 0 0 20 0 1 0 238386791 2812076032 225790 18446744073709551615 94436020649984 94436022051565 140735654226784 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94436022322992 94436024197232 94436043571200 140735654230428 140735654230504 140735654230504 140735654236108 0
/proc/161820/statm: 686542 225790 1632 343 0 683606 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2746168 KiB
Current children cumulated memory: 903160 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.5
CPU time (s): 3600.05
CPU user time (s): 3584.27
CPU system time (s): 15.776
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 3548984
Max. memory (cumulated for all children) (KiB): 1449464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.27
system time used= 15.776
maximum resident set size= 1449464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725294
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= 86
involuntary context switches= 8055


# summary of solver processes directly reported to runsolver:
#   pid: 161820
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3584.27
#   total CPU system time (s): 15.776

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75914 second user time and 15.402 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-23 01:31:31
IDJOB=4543729
IDBENCH=174564
IDSOLVER=3385
FILE ID=nodeC021/4543729-1753227091
RUNJOBID= nodeC021-1753223480-161392
SLURM_JOB_ID= 9687828
Free space on /tmp= 433008 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543729-1753227091/watcher-4543729-1753227091 -o /tmp/evaluation-result-4543729-1753227091/solver-4543729-1753227091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753223480-161392 --watchdog 3760  pb_picat HOME/instance-4543729-1753227091.opb

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
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		: 3601.614
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.836
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.772
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.777
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		: 3600.208
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.785
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		: 3599.923
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		: 3598.188
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:        128825500 kB
MemAvailable:   129619824 kB
Buffers:            1056 kB
Cached:          1530236 kB
SwapCached:           56 kB
Active:          1206796 kB
Inactive:         437340 kB
Active(anon):      96004 kB
Inactive(anon):    38496 kB
Active(file):    1110792 kB
Inactive(file):   398844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17084 kB
Writeback:             0 kB
AnonPages:        115684 kB
Mapped:           110620 kB
Shmem:             21656 kB
KReclaimable:     247456 kB
Slab:             343936 kB
SReclaimable:     247456 kB
SUnreclaim:        96480 kB
KernelStack:        4240 kB
PageTables:         3312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4454300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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