Trace number 4528077

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.08 3609.8

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM2ca6c56c39551016f0346c5d85471318
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables276
Total number of constraints736
Number of constraints which are clauses736
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-4528077-1752245359.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: 63837 MiB (62779 MiB free)
  memory of node 1: 64465 MiB (62490 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528077-1752245359/watcher-4528077-1752245359 -o /tmp/evaluation-result-4528077-1752245359/solver-4528077-1752245359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752245169-125795 --watchdog 3760 pb_picat HOME/instance-4528077-1752245359.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
LinuxS5.14.0-503.14.1.el9_5.x8

LinuxS5.14.0-503.14.1.el9_5.x8

Current StackSize limit: 8192 KiB

solver pid=126082, runsolver pid=126079

[startup+0.100098 s]*
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128276580/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2028108 memory=18700 CPUtime=0.1 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1346 0 0 0 10 0 0 0 20 0 1 0 140215054 2076782592 4675 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507027 4675 1664 343 0 504091 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028108 KiB
Current children cumulated memory: 18700 KiB

[startup+0.212986 s]*
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128276580/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2028364 memory=18860 CPUtime=0.21 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1615 0 0 0 21 0 0 0 20 0 1 0 140215054 2077044736 4715 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507091 4715 1664 343 0 504155 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028364 KiB
Current children cumulated memory: 18860 KiB

[startup+0.312931 s]*
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128272484/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2028748 memory=19056 CPUtime=0.31 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1907 0 0 0 31 0 0 0 20 0 1 0 140215054 2077437952 4764 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507187 4764 1664 343 0 504251 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028748 KiB
Current children cumulated memory: 19056 KiB

[startup+0.700294 s]
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128272484/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2029796 memory=19744 CPUtime=0.68 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3243 0 0 0 68 0 0 0 20 0 1 0 140215054 2078511104 4936 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507449 4936 1664 343 0 504513 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029796 KiB
Current children cumulated memory: 19744 KiB

[startup+1.5003 s]
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128284772/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030828 memory=20252 CPUtime=1.48 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 6634 0 0 0 147 1 0 0 20 0 1 0 140215054 2079567872 5063 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507707 5063 1664 343 0 504771 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2030828 KiB
Current children cumulated memory: 20252 KiB

[startup+3.11255 s]
/proc/loadavg: 4.01 3.18 3.12 5/251 126083
/proc/meminfo: memFree=128276832/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2031216 memory=21164 CPUtime=3.09 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 13325 0 0 0 308 1 0 0 20 0 1 0 140215054 2079965184 5291 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507804 5291 1664 343 0 504868 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031216 KiB
Current children cumulated memory: 21164 KiB

[startup+6.3003 s]
/proc/loadavg: 4.01 3.20 3.12 5/251 126083
/proc/meminfo: memFree=128276832/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030208 memory=20036 CPUtime=6.26 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 26364 0 0 0 624 2 0 0 20 0 1 0 140215054 2078932992 5009 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507552 5009 1664 343 0 504616 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2030208 KiB
Current children cumulated memory: 20036 KiB

[startup+12.7003 s]
/proc/loadavg: 4.01 3.21 3.13 5/251 126083
/proc/meminfo: memFree=128283820/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2031312 memory=20980 CPUtime=12.65 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 53337 0 0 0 1259 6 0 0 20 0 1 0 140215054 2080063488 5213 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507828 5213 1664 343 0 504892 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2031312 KiB
Current children cumulated memory: 20980 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 3.27 3.15 5/251 126083
/proc/meminfo: memFree=128271280/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030928 memory=20772 CPUtime=25.42 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 108405 0 0 0 2524 18 0 0 20 0 1 0 140215054 2079670272 5193 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507732 5193 1664 343 0 504796 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2030928 KiB
Current children cumulated memory: 20772 KiB

[startup+51.1127 s]
/proc/loadavg: 4.06 3.33 3.17 5/251 126084
/proc/meminfo: memFree=128275124/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2030928 memory=21084 CPUtime=50.97 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 213065 0 0 0 5060 37 0 0 20 0 1 0 140215054 2079670272 5271 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 507732 5271 1664 343 0 504796 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2030928 KiB
Current children cumulated memory: 21084 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 3.46 3.23 5/250 126085
/proc/meminfo: memFree=128293860/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039876 memory=26192 CPUtime=102.02 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 356833 0 0 0 10137 65 0 0 20 0 1 0 140215054 2088833024 6548 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509969 6548 1664 343 0 507033 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2039876 KiB
Current children cumulated memory: 26192 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 3.59 3.29 5/249 126087
/proc/meminfo: memFree=128245784/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2040020 memory=26812 CPUtime=161.87 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 519492 0 0 0 16083 104 0 0 20 0 1 0 140215054 2088980480 6703 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 510005 6703 1664 343 0 507069 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2040020 KiB
Current children cumulated memory: 26812 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.67 3.34 5/249 126089
/proc/meminfo: memFree=128256320/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2040152 memory=29688 CPUtime=221.72 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 659165 0 0 0 22036 136 0 0 20 0 1 0 140215054 2089115648 7422 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 510038 7422 1664 343 0 507102 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2040152 KiB
Current children cumulated memory: 29688 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.75 3.38 5/249 126091
/proc/meminfo: memFree=128271504/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2040336 memory=28612 CPUtime=281.56 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 769199 0 0 0 27993 163 0 0 20 0 1 0 140215054 2089304064 7153 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 510084 7153 1664 343 0 507148 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2040336 KiB
Current children cumulated memory: 28612 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.83 3.44 5/251 126097
/proc/meminfo: memFree=128271448/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2036240 memory=26580 CPUtime=341.42 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 868284 0 0 0 33954 188 0 0 20 0 1 0 140215054 2085109760 6645 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509060 6645 1664 343 0 506124 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2036240 KiB
Current children cumulated memory: 26580 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.88 3.48 5/252 126104
/proc/meminfo: memFree=128232900/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2051600 memory=33568 CPUtime=401.26 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 967610 0 0 0 39916 210 0 0 20 0 1 0 140215054 2100838400 8392 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 512900 8392 1664 343 0 509964 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2051600 KiB
Current children cumulated memory: 33568 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.92 3.52 5/252 126106
/proc/meminfo: memFree=128254532/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2041492 memory=28388 CPUtime=461.11 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 1061062 0 0 0 45879 232 0 0 20 0 1 0 140215054 2090487808 7097 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0

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

Current children cumulated memory: 39492 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/250 126228
/proc/meminfo: memFree=128094308/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2051364 memory=33944 CPUtime=2854.82 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3747415 0 0 0 284535 947 0 0 20 0 1 0 140215054 2100596736 8486 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 512841 8486 1664 343 0 509905 0
Current children cumulated CPU time: 2854.82 s
Current children cumulated vsize: 2051364 KiB
Current children cumulated memory: 33944 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/250 126230
/proc/meminfo: memFree=128091432/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053412 memory=38720 CPUtime=2914.65 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3800146 0 0 0 290504 961 0 0 20 0 1 0 140215054 2102693888 9680 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513353 9680 1664 343 0 510417 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 2053412 KiB
Current children cumulated memory: 38720 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/250 126232
/proc/meminfo: memFree=128065008/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039076 memory=28700 CPUtime=2974.47 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3845974 0 0 0 296474 973 0 0 20 0 1 0 140215054 2088013824 7175 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509769 7175 1664 343 0 506833 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 2039076 KiB
Current children cumulated memory: 28700 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/250 126234
/proc/meminfo: memFree=128071604/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=28860 CPUtime=3034.28 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3886676 0 0 0 302443 985 0 0 20 0 1 0 140215054 2088157184 7215 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 7215 1664 343 0 506868 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 28860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/250 126236
/proc/meminfo: memFree=128080156/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=40552 CPUtime=3094.09 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3923988 0 0 0 308413 996 0 0 20 0 1 0 140215054 2102837248 10138 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 10138 1664 343 0 510452 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 40552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/250 126238
/proc/meminfo: memFree=128063940/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2069936 memory=47392 CPUtime=3153.91 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 3972023 0 0 0 314380 1011 0 0 20 0 1 0 140215054 2119614464 11848 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 517484 11848 1664 343 0 514548 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 2069936 KiB
Current children cumulated memory: 47392 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/251 126241
/proc/meminfo: memFree=128059700/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=28808 CPUtime=3213.74 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4023618 0 0 0 320348 1026 0 0 20 0 1 0 140215054 2088157184 7202 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 7202 1664 343 0 506868 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 28808 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/251 126243
/proc/meminfo: memFree=127951248/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=40332 CPUtime=3273.56 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4072296 0 0 0 326316 1040 0 0 20 0 1 0 140215054 2102837248 10083 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 10083 1664 343 0 510452 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 40332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/250 126247
/proc/meminfo: memFree=127952876/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=37608 CPUtime=3333.37 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4112210 0 0 0 332282 1055 0 0 20 0 1 0 140215054 2102837248 9402 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 9402 1664 343 0 510452 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 37608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 126254
/proc/meminfo: memFree=127930400/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=27956 CPUtime=3393.19 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4155845 0 0 0 338252 1067 0 0 20 0 1 0 140215054 2088157184 6989 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 6989 1664 343 0 506868 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 27956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 126345
/proc/meminfo: memFree=124732384/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2039216 memory=28852 CPUtime=3453 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4206185 0 0 0 344218 1082 0 0 20 0 1 0 140215054 2088157184 7213 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 509804 7213 1664 343 0 506868 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 2039216 KiB
Current children cumulated memory: 28852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 126347
/proc/meminfo: memFree=124534356/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=35636 CPUtime=3512.82 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4244329 0 0 0 350188 1094 0 0 20 0 1 0 140215054 2102837248 8909 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 8909 1664 343 0 510452 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 35636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 126394
/proc/meminfo: memFree=124585556/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=44352 CPUtime=3572.64 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4282216 0 0 0 356159 1105 0 0 20 0 1 0 140215054 2102837248 11088 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 11088 1664 343 0 510452 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 44352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 126394
/proc/meminfo: memFree=124780492/131382116 swapFree=33009904/33010684
[pid=126082] ppid=126079 vsize=2053552 memory=47156 CPUtime=3600.07 cores=1,3
/proc/126082/stat : 126082 (pb_picat) R 126079 126082 125783 0 -1 4194304 4303249 0 0 0 358895 1112 0 0 20 0 1 0 140215054 2102837248 11789 18446744073709551615 94763380998144 94763382399725 140723422224640 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94763382671152 94763384545392 94763419226112 140723422226844 140723422226920 140723422226920 140723422232524 0
/proc/126082/statm: 513388 11789 1664 343 0 510452 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2053552 KiB
Current children cumulated memory: 47156 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.96 s, system=11.124 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.8
CPU time (s): 3600.08
CPU user time (s): 3588.96
CPU system time (s): 11.124
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 2100516
Max. memory (cumulated for all children) (KiB): 59532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.96
system time used= 11.124
maximum resident set size= 59532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4303249
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= 73
involuntary context switches= 4824


# summary of solver processes directly reported to runsolver:
#   pid: 126082
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3588.96
#   total CPU system time (s): 11.124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2016 second user time and 34.4656 second system time

The end

Launcher Data

Begin job on nodeC004 at 2025-07-11 16:49:19
IDJOB=4528077
IDBENCH=158984
IDSOLVER=3385
FILE ID=nodeC004/4528077-1752245359
RUNJOBID= nodeC004-1752245169-125795
SLURM_JOB_ID= 9682566
Free space on /tmp= 431664 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528077-1752245359/watcher-4528077-1752245359 -o /tmp/evaluation-result-4528077-1752245359/solver-4528077-1752245359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752245169-125795 --watchdog 3760  pb_picat HOME/instance-4528077-1752245359.opb

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

MD5SUM BENCH= 2ca6c56c39551016f0346c5d85471318
RANDOM SEED=1911928571

nodeC004 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	: 0xb00001f
cpu MHz		: 3614.265
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3492.439
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.218
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3662.300
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3664.758
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.374
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128276580 kB
MemAvailable:   129362140 kB
Buffers:            2128 kB
Cached:          1831180 kB
SwapCached:           32 kB
Active:          1203100 kB
Inactive:        1225076 kB
Active(anon):     602076 kB
Inactive(anon):    10724 kB
Active(file):     601024 kB
Inactive(file):  1214352 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3664 kB
Writeback:            24 kB
AnonPages:        596672 kB
Mapped:           116404 kB
Shmem:             17932 kB
KReclaimable:     219624 kB
Slab:             308948 kB
SReclaimable:     219624 kB
SUnreclaim:        89324 kB
KernelStack:        4064 kB
PageTables:         4304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6754780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431608 MiB
End job on nodeC004 at 2025-07-11 17:49:29