Trace number 4515908

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
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.08 3611.4

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
MD5SUM97ac09d7b638be47b4d5a322b09a2581
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 benchmark0.971775
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1288
Total number of constraints2577
Number of constraints which are clauses2576
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint1288
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 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 1295
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 

3600.07/3611.40	s UNKNOWN

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 (61092 MiB free)
  memory of node 1: 64465 MiB (55223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515908-1751228786/watcher-4515908-1751228786 -o /tmp/evaluation-result-4515908-1751228786/solver-4515908-1751228786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29082 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4515908-1751228786.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=31575, runsolver pid=31572

[startup+0.100069 s]*
/proc/loadavg: 4.69 4.27 4.15 6/251 31576
/proc/meminfo: memFree=119106992/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=30648 memory=15828 CPUtime=0.1 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 3518 0 0 0 9 1 0 0 20 0 1 0 38558027 31383552 3957 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 7662 3957 896 2593 0 4555 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30648 KiB
Current children cumulated memory: 15828 KiB

[startup+0.2131 s]*
/proc/loadavg: 4.69 4.27 4.15 5/251 31576
/proc/meminfo: memFree=119095400/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=39284 memory=24176 CPUtime=0.22 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 6061 0 0 0 20 2 0 0 20 0 1 0 38558027 40226816 6044 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 9821 6044 960 2593 0 6714 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 24176 KiB

[startup+0.313442 s]*
/proc/loadavg: 4.69 4.27 4.15 5/251 31576
/proc/meminfo: memFree=119095400/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=40288 memory=24812 CPUtime=0.32 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 6395 0 0 0 30 2 0 0 20 0 1 0 38558027 41254912 6203 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 10072 6203 960 2593 0 6965 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40288 KiB
Current children cumulated memory: 24812 KiB

[startup+0.700426 s]
/proc/loadavg: 4.69 4.27 4.15 5/251 31576
/proc/meminfo: memFree=119095400/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=43844 memory=28404 CPUtime=0.69 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 6778 0 0 0 67 2 0 0 20 0 1 0 38558027 44896256 7101 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 10961 7101 960 2593 0 7854 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43844 KiB
Current children cumulated memory: 28404 KiB

[startup+1.50029 s]
/proc/loadavg: 4.69 4.27 4.15 5/251 31576
/proc/meminfo: memFree=119094192/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=44632 memory=29588 CPUtime=1.48 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 9955 0 0 0 145 3 0 0 20 0 1 0 38558027 45703168 7397 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 11158 7397 960 2593 0 8051 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44632 KiB
Current children cumulated memory: 29588 KiB

[startup+3.11287 s]
/proc/loadavg: 4.64 4.27 4.15 5/251 31576
/proc/meminfo: memFree=119091672/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=47944 memory=33032 CPUtime=3.09 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 11483 0 0 0 306 3 0 0 20 0 1 0 38558027 49094656 8258 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 11986 8258 960 2593 0 8879 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 33032 KiB

[startup+6.30028 s]
/proc/loadavg: 4.64 4.27 4.15 5/251 31576
/proc/meminfo: memFree=119772220/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=49944 memory=34992 CPUtime=6.26 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 12734 0 0 0 623 3 0 0 20 0 1 0 38558027 51142656 8748 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 12486 8748 960 2593 0 9379 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49944 KiB
Current children cumulated memory: 34992 KiB

[startup+12.7003 s]
/proc/loadavg: 4.54 4.26 4.15 5/251 31576
/proc/meminfo: memFree=119768692/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=51040 memory=36220 CPUtime=12.65 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 15384 0 0 0 1261 4 0 0 20 0 1 0 38558027 52264960 9055 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 12760 9055 960 2593 0 9653 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 51040 KiB
Current children cumulated memory: 36220 KiB

[startup+25.5003 s]
/proc/loadavg: 4.46 4.25 4.15 5/251 31576
/proc/meminfo: memFree=119773204/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=59240 memory=44336 CPUtime=25.41 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 19755 0 0 0 2535 6 0 0 20 0 1 0 38558027 60661760 11084 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 14810 11084 960 2593 0 11703 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 59240 KiB
Current children cumulated memory: 44336 KiB

[startup+51.1131 s]
/proc/loadavg: 4.37 4.24 4.15 5/250 31576
/proc/meminfo: memFree=119762492/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=61620 memory=46820 CPUtime=50.94 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 21214 0 0 0 5088 6 0 0 20 0 1 0 38558027 63098880 11705 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 15405 11705 960 2593 0 12298 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 61620 KiB
Current children cumulated memory: 46820 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.22 4.14 5/250 31578
/proc/meminfo: memFree=119748416/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=92028 memory=77104 CPUtime=101.97 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 23417 0 0 0 10189 8 0 0 20 0 1 0 38558027 94236672 19276 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 23007 19276 960 2593 0 19900 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 92028 KiB
Current children cumulated memory: 77104 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/251 31581
/proc/meminfo: memFree=119753224/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=72536 memory=57864 CPUtime=161.77 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 24447 0 0 0 16169 8 0 0 20 0 1 0 38558027 74276864 14466 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 18134 14466 960 2593 0 15027 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 72536 KiB
Current children cumulated memory: 57864 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/252 31629
/proc/meminfo: memFree=127838824/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=89656 memory=74800 CPUtime=221.59 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 26159 0 0 0 22150 9 0 0 20 0 1 0 38558027 91807744 18700 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 22414 18700 960 2593 0 19307 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 74800 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/251 31722
/proc/meminfo: memFree=129586536/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=92220 memory=77360 CPUtime=281.36 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 26292 0 0 0 28127 9 0 0 20 0 1 0 38558027 94433280 19340 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 23055 19340 960 2593 0 19948 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 92220 KiB
Current children cumulated memory: 77360 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/252 31727
/proc/meminfo: memFree=129500292/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=140660 memory=125860 CPUtime=341.14 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 28357 0 0 0 34104 10 0 0 20 0 1 0 38558027 144035840 31465 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 35165 31465 960 2593 0 32058 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 140660 KiB
Current children cumulated memory: 125860 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/252 31729
/proc/meminfo: memFree=129485036/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=134068 memory=119344 CPUtime=400.95 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 31182 0 0 0 40081 14 0 0 20 0 1 0 38558027 137285632 29836 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 33517 29836 960 2593 0 30410 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 134068 KiB
Current children cumulated memory: 119344 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/251 31775
/proc/meminfo: memFree=129418328/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=161040 memory=146352 CPUtime=460.79 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 31794 0 0 0 46065 14 0 0 20 0 1 0 38558027 164904960 36588 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 40260 36588 960 2593 0 37153 0
Current children cumulated CPU time: 460.79 s

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

Current children cumulated memory: 215144 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/250 31898
/proc/meminfo: memFree=128969804/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=230108 memory=215436 CPUtime=2853.3 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 68892 0 0 0 285227 103 0 0 20 0 1 0 38558027 235630592 53859 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 57527 53859 960 2593 0 54420 0
Current children cumulated CPU time: 2853.3 s
Current children cumulated vsize: 230108 KiB
Current children cumulated memory: 215436 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/250 31900
/proc/meminfo: memFree=129006884/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=241848 memory=227176 CPUtime=2913.12 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 69529 0 0 0 291206 106 0 0 20 0 1 0 38558027 247652352 56794 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 60462 56794 960 2593 0 57355 0
Current children cumulated CPU time: 2913.12 s
Current children cumulated vsize: 241848 KiB
Current children cumulated memory: 227176 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/250 31902
/proc/meminfo: memFree=129036052/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=224544 memory=209872 CPUtime=2972.92 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 70824 0 0 0 297183 109 0 0 20 0 1 0 38558027 229933056 52468 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 56136 52468 960 2593 0 53029 0
Current children cumulated CPU time: 2972.92 s
Current children cumulated vsize: 224544 KiB
Current children cumulated memory: 209872 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/250 31908
/proc/meminfo: memFree=129016780/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=226508 memory=211836 CPUtime=3032.73 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 71922 0 0 0 303161 112 0 0 20 0 1 0 38558027 231944192 52959 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 56627 52959 960 2593 0 53520 0
Current children cumulated CPU time: 3032.73 s
Current children cumulated vsize: 226508 KiB
Current children cumulated memory: 211836 KiB

[startup+3102.3 s]
/proc/loadavg: 3.98 4.09 4.11 4/244 31941
/proc/meminfo: memFree=129153716/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=235780 memory=221108 CPUtime=3092.55 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 72909 0 0 0 309138 117 0 0 20 0 1 0 38558027 241438720 55277 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 58945 55277 960 2593 0 55838 0
Current children cumulated CPU time: 3092.55 s
Current children cumulated vsize: 235780 KiB
Current children cumulated memory: 221108 KiB

[startup+3162.3 s]
/proc/loadavg: 3.36 3.89 4.04 4/244 31943
/proc/meminfo: memFree=129194096/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=229120 memory=214448 CPUtime=3152.36 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 73651 0 0 0 315117 119 0 0 20 0 1 0 38558027 234618880 53612 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 57280 53612 960 2593 0 54173 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 229120 KiB
Current children cumulated memory: 214448 KiB

[startup+3222.3 s]
/proc/loadavg: 3.25 3.76 3.98 4/244 31945
/proc/meminfo: memFree=129159000/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=258988 memory=244316 CPUtime=3212.18 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 74885 0 0 0 321093 125 0 0 20 0 1 0 38558027 265203712 61079 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 64747 61079 960 2593 0 61640 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 258988 KiB
Current children cumulated memory: 244316 KiB

[startup+3282.3 s]
/proc/loadavg: 3.15 3.64 3.92 4/245 31960
/proc/meminfo: memFree=129198608/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=219556 memory=204884 CPUtime=3271.99 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 76746 0 0 0 327072 127 0 0 20 0 1 0 38558027 224825344 51221 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 54889 51221 960 2593 0 51782 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 219556 KiB
Current children cumulated memory: 204884 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.53 3.87 4/245 31962
/proc/meminfo: memFree=129244488/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=238912 memory=224240 CPUtime=3331.8 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 77380 0 0 0 333050 130 0 0 20 0 1 0 38558027 244645888 56060 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 59728 56060 960 2593 0 56621 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 238912 KiB
Current children cumulated memory: 224240 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.46 3.82 4/245 31967
/proc/meminfo: memFree=129200872/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=258352 memory=243176 CPUtime=3391.62 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 79478 0 0 0 339027 135 0 0 20 0 1 0 38558027 264552448 60794 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 64588 60794 960 2593 0 61481 0
Current children cumulated CPU time: 3391.62 s
Current children cumulated vsize: 258352 KiB
Current children cumulated memory: 243176 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.39 3.77 4/245 31969
/proc/meminfo: memFree=129211332/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=247340 memory=232172 CPUtime=3451.43 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 80909 0 0 0 345004 139 0 0 20 0 1 0 38558027 253276160 58043 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 61835 58043 960 2593 0 58728 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 247340 KiB
Current children cumulated memory: 232172 KiB

[startup+3522.3 s]
/proc/loadavg: 3.08 3.33 3.72 4/245 31971
/proc/meminfo: memFree=129225980/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=244300 memory=229152 CPUtime=3511.25 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 82304 0 0 0 350982 143 0 0 20 0 1 0 38558027 250163200 57288 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 61075 57288 960 2593 0 57968 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 244300 KiB
Current children cumulated memory: 229152 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.30 3.69 4/244 31973
/proc/meminfo: memFree=129274532/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=214356 memory=199592 CPUtime=3571.05 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 83854 0 0 0 356962 143 0 0 20 0 1 0 38558027 219500544 49898 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 53589 49898 960 2593 0 50482 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 214356 KiB
Current children cumulated memory: 199592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.15 3.29 3.67 4/244 31973
/proc/meminfo: memFree=129248192/131382112 swapFree=33010684/33010684
[pid=31575] ppid=31572 vsize=242488 memory=227752 CPUtime=3600.07 cores=0,2
/proc/31575/stat : 31575 (CASHWMaxSAT-Dis) R 31572 31575 29072 0 -1 4194304 84246 0 0 0 359863 144 0 0 20 0 1 0 38558027 248307712 56938 18446744073709551615 4198400 14817773 140726035918016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50839552 140726035921258 140726035921373 140726035921373 140726035926975 0
/proc/31575/statm: 60622 56938 960 2593 0 57515 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 242488 KiB
Current children cumulated memory: 227752 KiB

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

[startup+3611.4 s]
# the end of solver process 31575 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3598.63 s, system=1.44337 s

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

Child status: 0

Real time (s): 3611.4
CPU time (s): 3600.08
CPU user time (s): 3598.63
CPU system time (s): 1.44337
CPU usage (%): 99.6864
Max. virtual memory (cumulated for all children) (KiB): 354784
Max. memory (cumulated for all children) (KiB): 332220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.44337
maximum resident set size= 339524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84246
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= 21
involuntary context switches= 8759


# summary of solver processes directly reported to runsolver:
#   pid: 31575
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.44337

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2122 second user time and 34.3574 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 22:26:26
IDJOB=4515908
IDBENCH=167132
IDSOLVER=3322
FILE ID=nodeC005/4515908-1751228786
RUNJOBID= nodeC005-1751220287-29082
SLURM_JOB_ID= 9587675
Free space on /tmp= 433016 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515908-1751228786/watcher-4515908-1751228786 -o /tmp/evaluation-result-4515908-1751228786/solver-4515908-1751228786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29082 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4515908-1751228786.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 97ac09d7b638be47b4d5a322b09a2581
RANDOM SEED=1436723722

nodeC005 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		: 1197.972
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.90
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		: 3518.252
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.90
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.245
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.90
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.463
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.90
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		: 3491.961
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.90
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		: 3491.799
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.90
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.90
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.465
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        119106944 kB
MemAvailable:   119241444 kB
Buffers:            3280 kB
Cached:           938016 kB
SwapCached:            0 kB
Active:         10989272 kB
Inactive:         690128 kB
Active(anon):   10756064 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   690128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13888 kB
Writeback:            40 kB
AnonPages:      10738180 kB
Mapped:           114512 kB
Shmem:             17960 kB
KReclaimable:     101580 kB
Slab:             184568 kB
SReclaimable:     101580 kB
SUnreclaim:        82988 kB
KernelStack:        4048 kB
PageTables:        24080 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   12209560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9052160 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC005 at 2025-06-29 23:26:38