Trace number 4528301

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 NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11? (TO) 3600.11 3612.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM3cf724146d283b6491b934147ab5b23d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1030
Best CPU time to get the best result obtained on this benchmark37185.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1959
Total number of constraints4000
Number of constraints which are clauses4000
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1959
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1959
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1959
Number of bits of the biggest sum of numbers11
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.02	c solving HOME/instance-4528301-1752238243.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 (62576 MiB free)
  memory of node 1: 64465 MiB (63540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528301-1752238243/watcher-4528301-1752238243 -o /tmp/evaluation-result-4528301-1752238243/solver-4528301-1752238243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108756 --watchdog 3760 pb_picat HOME/instance-4528301-1752238243.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=109353, runsolver pid=109350
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=129086292/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2034964 memory=23816 CPUtime=0.09 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 990 0 0 0 8 1 0 0 20 0 1 0 139503442 2083803136 5954 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 508741 5954 1568 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 23816 KiB

[startup+0.213427 s]*
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=129045396/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2040476 memory=30784 CPUtime=0.2 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2321 0 0 0 19 1 0 0 20 0 1 0 139503442 2089447424 7696 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 510119 7696 1696 343 0 507183 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2040476 KiB
Current children cumulated memory: 30784 KiB

[startup+0.313286 s]*
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=129007776/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2043304 memory=32432 CPUtime=0.31 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 3180 0 0 0 29 2 0 0 20 0 1 0 139503442 2092343296 8108 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 510826 8108 1696 343 0 507890 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 32432 KiB

[startup+0.700314 s]
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=128933388/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2043176 memory=33356 CPUtime=0.68 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 4099 0 0 0 66 2 0 0 20 0 1 0 139503442 2092212224 8339 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 510794 8339 1696 343 0 507858 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043176 KiB
Current children cumulated memory: 33356 KiB

[startup+1.50032 s]
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=128747808/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2043096 memory=32452 CPUtime=1.47 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 6138 0 0 0 145 2 0 0 20 0 1 0 139503442 2092130304 8113 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 510774 8113 1696 343 0 507838 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2043096 KiB
Current children cumulated memory: 32452 KiB

[startup+3.11255 s]
/proc/loadavg: 1.58 1.84 3.25 5/250 109354
/proc/meminfo: memFree=127827532/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2045380 memory=34168 CPUtime=3.09 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 9781 0 0 0 306 3 0 0 20 0 1 0 139503442 2094469120 8542 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 511345 8542 1696 343 0 508409 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2045380 KiB
Current children cumulated memory: 34168 KiB

[startup+6.30032 s]
/proc/loadavg: 1.78 1.88 3.26 5/250 109354
/proc/meminfo: memFree=126495640/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2045908 memory=35512 CPUtime=6.26 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 18638 0 0 0 622 4 0 0 20 0 1 0 139503442 2095009792 8878 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 511477 8878 1696 343 0 508541 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2045908 KiB
Current children cumulated memory: 35512 KiB

[startup+12.7003 s]
/proc/loadavg: 1.95 1.91 3.26 5/250 109354
/proc/meminfo: memFree=125009376/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2054100 memory=41788 CPUtime=12.64 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 31397 0 0 0 1257 7 0 0 20 0 1 0 139503442 2103398400 10447 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 513525 10447 1696 343 0 510589 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2054100 KiB
Current children cumulated memory: 41788 KiB

[startup+25.5004 s]
/proc/loadavg: 2.41 2.02 3.28 5/251 109355
/proc/meminfo: memFree=124607800/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2054676 memory=39384 CPUtime=25.41 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 52605 0 0 0 2528 13 0 0 20 0 1 0 139503442 2103988224 9846 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 513669 9846 1696 343 0 510733 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2054676 KiB
Current children cumulated memory: 39384 KiB

[startup+51.1129 s]
/proc/loadavg: 2.95 2.18 3.30 5/251 109356
/proc/meminfo: memFree=124486640/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2051460 memory=40004 CPUtime=50.95 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 99528 0 0 0 5070 25 0 0 20 0 1 0 139503442 2100695040 10001 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 512865 10001 1696 343 0 509929 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2051460 KiB
Current children cumulated memory: 40004 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.47 3.34 5/251 109357
/proc/meminfo: memFree=124463684/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2055836 memory=46872 CPUtime=101.97 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 177381 0 0 0 10150 47 0 0 20 0 1 0 139503442 2105176064 11718 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 513959 11718 1696 343 0 511023 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2055836 KiB
Current children cumulated memory: 46872 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.79 3.39 5/251 109359
/proc/meminfo: memFree=124437568/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2064028 memory=48568 CPUtime=161.77 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 271142 0 0 0 16101 76 0 0 20 0 1 0 139503442 2113564672 12142 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 516007 12142 1696 343 0 513071 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2064028 KiB
Current children cumulated memory: 48568 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.02 3.44 5/251 109361
/proc/meminfo: memFree=124407416/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2064028 memory=48124 CPUtime=221.58 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 349246 0 0 0 22056 102 0 0 20 0 1 0 139503442 2113564672 12031 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 516007 12031 1696 343 0 513071 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2064028 KiB
Current children cumulated memory: 48124 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.22 3.48 5/252 109366
/proc/meminfo: memFree=124471268/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2081004 memory=56184 CPUtime=281.39 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 420353 0 0 0 28013 126 0 0 20 0 1 0 139503442 2130948096 14046 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 520251 14046 1696 343 0 517315 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 2081004 KiB
Current children cumulated memory: 56184 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.38 3.52 5/250 109372
/proc/meminfo: memFree=124383072/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2052948 memory=43028 CPUtime=341.18 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 476832 0 0 0 33972 146 0 0 20 0 1 0 139503442 2102218752 10757 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 513237 10757 1696 343 0 510301 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 2052948 KiB
Current children cumulated memory: 43028 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.51 3.56 5/250 109374
/proc/meminfo: memFree=124455668/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2065236 memory=56476 CPUtime=400.99 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 528810 0 0 0 39934 165 0 0 20 0 1 0 139503442 2114801664 14119 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 516309 14119 1696 343 0 513373 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 2065236 KiB
Current children cumulated memory: 56476 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.63 3.60 5/250 109376
/proc/meminfo: memFree=124502188/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2073428 memory=56348 CPUtime=460.8 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 575563 0 0 0 45894 186 0 0 20 0 1 0 139503442 2123190272 14087 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 518357 14087 1696 343 0 515421 0

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

Current children cumulated memory: 111228 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 109766
/proc/meminfo: memFree=124155220/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2150692 memory=107132 CPUtime=2852.89 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 1896986 0 0 0 284410 879 0 0 20 0 1 0 139503442 2202308608 26783 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 537673 26783 1696 343 0 534737 0
Current children cumulated CPU time: 2852.89 s
Current children cumulated vsize: 2150692 KiB
Current children cumulated memory: 107132 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 109768
/proc/meminfo: memFree=123888656/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2150692 memory=112252 CPUtime=2912.68 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 1930162 0 0 0 290370 898 0 0 20 0 1 0 139503442 2202308608 28063 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 537673 28063 1696 343 0 534737 0
Current children cumulated CPU time: 2912.68 s
Current children cumulated vsize: 2150692 KiB
Current children cumulated memory: 112252 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/250 109770
/proc/meminfo: memFree=124190268/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2150692 memory=135804 CPUtime=2972.49 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 1940283 0 0 0 296344 905 0 0 20 0 1 0 139503442 2202308608 33951 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 537673 33951 1696 343 0 534737 0
Current children cumulated CPU time: 2972.49 s
Current children cumulated vsize: 2150692 KiB
Current children cumulated memory: 135804 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.13 4.11 5/250 109772
/proc/meminfo: memFree=124051916/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2135584 memory=122744 CPUtime=3032.29 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 1953229 0 0 0 302317 912 0 0 20 0 1 0 139503442 2186838016 30686 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 533896 30686 1696 343 0 530960 0
Current children cumulated CPU time: 3032.29 s
Current children cumulated vsize: 2135584 KiB
Current children cumulated memory: 122744 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/249 109774
/proc/meminfo: memFree=123982004/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2135584 memory=126840 CPUtime=3092.08 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 1965673 0 0 0 308290 918 0 0 20 0 1 0 139503442 2186838016 31710 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 533896 31710 1696 343 0 530960 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 2135584 KiB
Current children cumulated memory: 126840 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/249 109776
/proc/meminfo: memFree=124120248/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2151968 memory=135032 CPUtime=3151.89 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 1985736 0 0 0 314259 930 0 0 20 0 1 0 139503442 2203615232 33758 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 537992 33758 1696 343 0 535056 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 2151968 KiB
Current children cumulated memory: 135032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 109779
/proc/meminfo: memFree=124027700/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2154116 memory=131036 CPUtime=3211.68 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2020328 0 0 0 320218 950 0 0 20 0 1 0 139503442 2205814784 32759 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 538529 32759 1696 343 0 535593 0
Current children cumulated CPU time: 3211.68 s
Current children cumulated vsize: 2154116 KiB
Current children cumulated memory: 131036 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 109781
/proc/meminfo: memFree=123823512/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2186884 memory=139740 CPUtime=3271.49 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2049661 0 0 0 326180 969 0 0 20 0 1 0 139503442 2239369216 34935 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 546721 34935 1696 343 0 543785 0
Current children cumulated CPU time: 3271.49 s
Current children cumulated vsize: 2186884 KiB
Current children cumulated memory: 139740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 109786
/proc/meminfo: memFree=124088104/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2219652 memory=151516 CPUtime=3331.3 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2078167 0 0 0 332142 988 0 0 20 0 1 0 139503442 2272923648 37879 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 554913 37879 1696 343 0 551977 0
Current children cumulated CPU time: 3331.3 s
Current children cumulated vsize: 2219652 KiB
Current children cumulated memory: 151516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 109792
/proc/meminfo: memFree=123976336/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2154116 memory=126940 CPUtime=3391.09 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2090748 0 0 0 338112 997 0 0 20 0 1 0 139503442 2205814784 31735 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 538529 31735 1696 343 0 535593 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 2154116 KiB
Current children cumulated memory: 126940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 109794
/proc/meminfo: memFree=123767380/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2154116 memory=118748 CPUtime=3450.89 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2101029 0 0 0 344085 1004 0 0 20 0 1 0 139503442 2205814784 29687 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 538529 29687 1696 343 0 535593 0
Current children cumulated CPU time: 3450.89 s
Current children cumulated vsize: 2154116 KiB
Current children cumulated memory: 118748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 109796
/proc/meminfo: memFree=123888964/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2154116 memory=120796 CPUtime=3510.69 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2112989 0 0 0 350056 1013 0 0 20 0 1 0 139503442 2205814784 30199 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 538529 30199 1696 343 0 535593 0
Current children cumulated CPU time: 3510.69 s
Current children cumulated vsize: 2154116 KiB
Current children cumulated memory: 120796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 109798
/proc/meminfo: memFree=124076488/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2154116 memory=126940 CPUtime=3570.5 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2129704 0 0 0 356026 1024 0 0 20 0 1 0 139503442 2205814784 31735 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 538529 31735 1696 343 0 535593 0
Current children cumulated CPU time: 3570.5 s
Current children cumulated vsize: 2154116 KiB
Current children cumulated memory: 126940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.12 4.11 4.09 3/244 109946
/proc/meminfo: memFree=129336608/131382120 swapFree=33010160/33010684
[pid=109353] ppid=109350 vsize=2154116 memory=135132 CPUtime=3600.1 cores=1,3
/proc/109353/stat : 109353 (pb_picat) R 109350 109353 107429 0 -1 4194304 2144102 0 0 0 358977 1033 0 0 20 0 1 0 139503442 2205814784 33783 18446744073709551615 94264617156608 94264618558189 140724434496768 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94264618829616 94264620703856 94264626151424 140724434504092 140724434504168 140724434504168 140724434509772 0
/proc/109353/statm: 538529 33783 1696 343 0 535593 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2154116 KiB
Current children cumulated memory: 135132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.77 s, system=10.3371 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): 3612.02
CPU time (s): 3600.11
CPU user time (s): 3589.77
CPU system time (s): 10.3371
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 2252420
Max. memory (cumulated for all children) (KiB): 202716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.77
system time used= 10.3371
maximum resident set size= 202716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2144102
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= 67
involuntary context switches= 5400


# summary of solver processes directly reported to runsolver:
#   pid: 109353
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3589.77
#   total CPU system time (s): 10.3371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6981 second user time and 32.4253 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-11 14:50:43
IDJOB=4528301
IDBENCH=147521
IDSOLVER=3385
FILE ID=nodeC008/4528301-1752238243
RUNJOBID= nodeC008-1752238236-108756
SLURM_JOB_ID= 9682519
Free space on /tmp= 432764 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528301-1752238243/watcher-4528301-1752238243 -o /tmp/evaluation-result-4528301-1752238243/solver-4528301-1752238243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108756 --watchdog 3760  pb_picat HOME/instance-4528301-1752238243.opb

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

MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=288879722

nodeC008 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		: 3491.830
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.72
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		: 1197.188
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.72
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.209
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.72
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.765
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.72
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		: 3591.574
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.72
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		: 1795.837
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.72
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		: 1197.189
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.72
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		: 3700.000
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129173256 kB
MemAvailable:   129469400 kB
Buffers:            2128 kB
Cached:          1088276 kB
SwapCached:           16 kB
Active:          1091280 kB
Inactive:         555348 kB
Active(anon):     540332 kB
Inactive(anon):    33820 kB
Active(file):     550948 kB
Inactive(file):   521528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56352 kB
Writeback:             0 kB
AnonPages:        559392 kB
Mapped:           115108 kB
Shmem:             17920 kB
KReclaimable:     126588 kB
Slab:             213964 kB
SReclaimable:     126588 kB
SUnreclaim:        87376 kB
KernelStack:        4048 kB
PageTables:         3900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6467848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    485376 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432780 MiB
End job on nodeC008 at 2025-07-11 15:50:56