Trace number 4492386

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.02 3609.7

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
MD5SUM6180e07a8a28dc9855a92185a7357651
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.013872
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2800
Total number of constraints150
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.70	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: 63665 MiB (63147 MiB free)
  memory of node 1: 64507 MiB (63995 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492386-1751133677/watcher-4492386-1751133677 -o /tmp/evaluation-result-4492386-1751133677/solver-4492386-1751133677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751133631-11804 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4492386-1751133677.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100058 s]*
/proc/loadavg: 2.56 0.76 0.32 3/262 12212
/proc/meminfo: memFree=130191604/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=23724 memory=9492 CPUtime=0.09 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 1978 0 0 0 9 0 0 0 20 0 1 0 29047802 24293376 2373 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 5931 2373 992 2593 0 2824 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23724 KiB
Current children cumulated memory: 9492 KiB

[startup+0.205379 s]*
/proc/loadavg: 2.67 0.81 0.34 4/262 12212
/proc/meminfo: memFree=130189700/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=23928 memory=9860 CPUtime=0.2 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 2334 0 0 0 20 0 0 0 20 0 1 0 29047802 24502272 2465 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 5982 2465 992 2593 0 2875 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23928 KiB
Current children cumulated memory: 9860 KiB

[startup+0.304781 s]*
/proc/loadavg: 2.67 0.81 0.34 3/259 12213
/proc/meminfo: memFree=130196864/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=23440 memory=9480 CPUtime=0.3 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 2836 0 0 0 30 0 0 0 20 0 1 0 29047802 24002560 2370 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 5860 2370 992 2593 0 2753 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23440 KiB
Current children cumulated memory: 9480 KiB

[startup+0.700113 s]
/proc/loadavg: 2.67 0.81 0.34 4/259 12216
/proc/meminfo: memFree=130192800/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=23960 memory=10040 CPUtime=0.69 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 3736 0 0 0 69 0 0 0 20 0 1 0 29047802 24535040 2510 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 5990 2510 992 2593 0 2883 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 23960 KiB
Current children cumulated memory: 10040 KiB

[startup+1.50011 s]
/proc/loadavg: 2.67 0.81 0.34 4/259 12222
/proc/meminfo: memFree=130187284/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=28520 memory=14404 CPUtime=1.48 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 5182 0 0 0 148 0 0 0 20 0 1 0 29047802 29204480 3601 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 7130 3601 992 2593 0 4023 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 14404 KiB

[startup+3.10529 s]
/proc/loadavg: 2.67 0.81 0.34 3/261 12238
/proc/meminfo: memFree=130145436/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=27608 memory=13604 CPUtime=3.08 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 7542 0 0 0 307 1 0 0 20 0 1 0 29047802 28270592 3401 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 6902 3401 992 2593 0 3795 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 27608 KiB
Current children cumulated memory: 13604 KiB

[startup+6.30011 s]
/proc/loadavg: 2.78 0.87 0.36 3/259 12255
/proc/meminfo: memFree=130135632/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=30356 memory=16480 CPUtime=6.27 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 11562 0 0 0 625 2 0 0 20 0 1 0 29047802 31084544 4120 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 7589 4120 992 2593 0 4482 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30356 KiB
Current children cumulated memory: 16480 KiB

[startup+12.7001 s]
/proc/loadavg: 2.88 0.92 0.38 4/263 12332
/proc/meminfo: memFree=130152912/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=38388 memory=24300 CPUtime=12.65 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 16599 0 0 0 1262 3 0 0 20 0 1 0 29047802 39309312 6075 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 9597 6075 992 2593 0 6490 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38388 KiB
Current children cumulated memory: 24300 KiB

[startup+25.5001 s]
/proc/loadavg: 3.05 1.02 0.42 5/267 12462
/proc/meminfo: memFree=130029744/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=45596 memory=31468 CPUtime=25.41 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 22168 0 0 0 2537 4 0 0 20 0 1 0 29047802 46690304 7867 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 11399 7867 992 2593 0 8292 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 31468 KiB

[startup+51.1053 s]
/proc/loadavg: 3.42 1.31 0.53 5/267 12463
/proc/meminfo: memFree=129959232/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=42360 memory=28484 CPUtime=50.95 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 29754 0 0 0 5087 8 0 0 20 0 1 0 29047802 43376640 7121 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 10590 7121 992 2593 0 7483 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 42360 KiB
Current children cumulated memory: 28484 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 1.74 0.72 5/267 12465
/proc/meminfo: memFree=129901852/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=65900 memory=51820 CPUtime=102.01 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 39355 0 0 0 10190 11 0 0 20 0 1 0 29047802 67481600 12955 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 16475 12955 992 2593 0 13368 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 65900 KiB
Current children cumulated memory: 51820 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 2.18 0.94 5/267 12467
/proc/meminfo: memFree=129794852/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=79740 memory=65644 CPUtime=161.86 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 46202 0 0 0 16172 14 0 0 20 0 1 0 29047802 81653760 16411 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 19935 16411 992 2593 0 16828 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 79740 KiB
Current children cumulated memory: 65644 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 2.63 1.17 5/266 12469
/proc/meminfo: memFree=129797464/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=83364 memory=69356 CPUtime=221.71 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 50209 0 0 0 22155 16 0 0 20 0 1 0 29047802 85364736 17339 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 20841 17339 992 2593 0 17734 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 83364 KiB
Current children cumulated memory: 69356 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.88 1.35 5/264 12471
/proc/meminfo: memFree=129702432/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=90376 memory=76268 CPUtime=281.56 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 54173 0 0 0 28137 19 0 0 20 0 1 0 29047802 92545024 19067 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 22594 19067 992 2593 0 19487 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 90376 KiB
Current children cumulated memory: 76268 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.12 1.53 5/263 12472
/proc/meminfo: memFree=129657744/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=85920 memory=71916 CPUtime=341.4 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 59526 0 0 0 34117 23 0 0 20 0 1 0 29047802 87982080 17979 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 21480 17979 992 2593 0 18373 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 85920 KiB
Current children cumulated memory: 71916 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.29 1.69 5/262 12474
/proc/meminfo: memFree=129587424/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=103336 memory=89324 CPUtime=401.24 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 60340 0 0 0 40101 23 0 0 20 0 1 0 29047802 105816064 22331 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 25834 22331 992 2593 0 22727 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 103336 KiB
Current children cumulated memory: 89324 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.44 1.84 5/262 12476
/proc/meminfo: memFree=129565764/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=125360 memory=111340 CPUtime=461.09 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 62410 0 0 0 46084 25 0 0 20 0 1 0 29047802 128368640 27835 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 31340 27835 992 2593 0 28233 0
Current children cumulated CPU time: 461.09 s

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

Current children cumulated memory: 124916 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.00 5/263 12590
/proc/meminfo: memFree=129291288/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=177216 memory=160660 CPUtime=2914.43 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 125832 0 0 0 291350 93 0 0 20 0 1 0 29047802 181469184 40165 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 44304 40165 992 2593 0 41197 0
Current children cumulated CPU time: 2914.43 s
Current children cumulated vsize: 177216 KiB
Current children cumulated memory: 160660 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.00 5/263 12596
/proc/meminfo: memFree=129275824/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=180948 memory=164392 CPUtime=2974.26 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 127966 0 0 0 297331 95 0 0 20 0 1 0 29047802 185290752 41098 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 45237 41098 992 2593 0 42130 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 180948 KiB
Current children cumulated memory: 164392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.00 5/263 12600
/proc/meminfo: memFree=129273788/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=141472 memory=124920 CPUtime=3034.11 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 128936 0 0 0 303313 98 0 0 20 0 1 0 29047802 144867328 31230 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 35368 31230 992 2593 0 32261 0
Current children cumulated CPU time: 3034.11 s
Current children cumulated vsize: 141472 KiB
Current children cumulated memory: 124920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.01 5/263 12602
/proc/meminfo: memFree=129246728/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=175380 memory=158832 CPUtime=3093.95 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 131550 0 0 0 309294 101 0 0 20 0 1 0 29047802 179589120 39708 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 43845 39708 992 2593 0 40738 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 175380 KiB
Current children cumulated memory: 158832 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/262 12604
/proc/meminfo: memFree=129284740/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=179188 memory=164340 CPUtime=3153.79 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 133623 0 0 0 315276 103 0 0 20 0 1 0 29047802 183488512 41085 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 44797 41085 992 2593 0 41690 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 179188 KiB
Current children cumulated memory: 164340 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.02 5/262 12606
/proc/meminfo: memFree=129318732/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=143944 memory=129904 CPUtime=3213.64 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 134201 0 0 0 321260 104 0 0 20 0 1 0 29047802 147398656 32476 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 35986 32476 992 2593 0 32879 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 143944 KiB
Current children cumulated memory: 129904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.03 5/265 12612
/proc/meminfo: memFree=129213852/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=187656 memory=171408 CPUtime=3273.48 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 135566 0 0 0 327241 107 0 0 20 0 1 0 29047802 192159744 42852 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 46914 42852 992 2593 0 43807 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 187656 KiB
Current children cumulated memory: 171408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.03 5/265 12614
/proc/meminfo: memFree=129225840/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=189300 memory=173052 CPUtime=3333.32 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 138420 0 0 0 333221 111 0 0 20 0 1 0 29047802 193843200 43263 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 47325 43263 992 2593 0 44218 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 189300 KiB
Current children cumulated memory: 173052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/265 12616
/proc/meminfo: memFree=129235752/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=190004 memory=173756 CPUtime=3393.16 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 141554 0 0 0 339201 115 0 0 20 0 1 0 29047802 194564096 43439 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 47501 43439 992 2593 0 44394 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 190004 KiB
Current children cumulated memory: 173756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.03 5/265 12618
/proc/meminfo: memFree=129215608/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=209900 memory=195776 CPUtime=3453 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 144856 0 0 0 345181 119 0 0 20 0 1 0 29047802 214937600 48944 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 52475 48944 992 2593 0 49368 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 209900 KiB
Current children cumulated memory: 195776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.03 5/265 12620
/proc/meminfo: memFree=129198932/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=219272 memory=205148 CPUtime=3512.84 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 146262 0 0 0 351163 121 0 0 20 0 1 0 29047802 224534528 51287 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 54818 51287 992 2593 0 51711 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 219272 KiB
Current children cumulated memory: 205148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/263 12638
/proc/meminfo: memFree=129240960/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=218616 memory=204492 CPUtime=3572.68 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 147109 0 0 0 357145 123 0 0 20 0 1 0 29047802 223862784 51123 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 54654 51123 992 2593 0 51547 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 218616 KiB
Current children cumulated memory: 204492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 12639
/proc/meminfo: memFree=129179364/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=217904 memory=203780 CPUtime=3600.01 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 147712 0 0 0 359877 124 0 0 20 0 1 0 29047802 223133696 50945 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 54476 50945 992 2593 0 51369 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 217904 KiB
Current children cumulated memory: 203780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.77 s, system=1.24485 s

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

[startup+3609.7 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 12639
/proc/meminfo: memFree=129179364/131250000 swapFree=33010684/33010684
[pid=12209] ppid=12204 vsize=217904 memory=203780 CPUtime=3600.01 cores=5,7
/proc/12209/stat : 12209 (CASHWMaxSAT-Dis) R 12204 12209 11786 0 -1 4194304 147712 0 0 0 359877 124 0 0 20 0 1 0 29047802 223133696 50945 18446744073709551615 4198400 14817773 140722474717936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 47251456 140722474719594 140722474719709 140722474719709 140722474725311 0
/proc/12209/statm: 54476 50945 992 2593 0 51369 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 217904 KiB
Current children cumulated memory: 203780 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.02
CPU user time (s): 3598.77
CPU system time (s): 1.24485
CPU usage (%): 99.7317
Max. virtual memory (cumulated for all children) (KiB): 263072
Max. memory (cumulated for all children) (KiB): 248132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.24485
maximum resident set size= 248948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147712
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= 27
involuntary context switches= 4241


# summary of solver processes directly reported to runsolver:
#   pid: 12209
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.77
#   total CPU system time (s): 1.24485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70608 second user time and 15.2665 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-28 20:01:18
IDJOB=4492386
IDBENCH=147791
IDSOLVER=3322
FILE ID=nodeC027/4492386-1751133677
RUNJOBID= nodeC027-1751133631-11804
SLURM_JOB_ID= 9587427
Free space on /tmp= 433020 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492386-1751133677/watcher-4492386-1751133677 -o /tmp/evaluation-result-4492386-1751133677/solver-4492386-1751133677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751133631-11804 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4492386-1751133677.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 6180e07a8a28dc9855a92185a7357651
RANDOM SEED=1054116676

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2822.863
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.631
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1199.156
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.662
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1199.287
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.659
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1558.225
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3615.696
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130199980 kB
MemAvailable:   129797284 kB
Buffers:            3280 kB
Cached:           376864 kB
SwapCached:            0 kB
Active:           342484 kB
Inactive:         170068 kB
Active(anon):     150532 kB
Inactive(anon):        0 kB
Active(file):     191952 kB
Inactive(file):   170068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56336 kB
Writeback:             0 kB
AnonPages:        135612 kB
Mapped:           106776 kB
Shmem:             18068 kB
KReclaimable:      67544 kB
Slab:             145180 kB
SReclaimable:      67544 kB
SUnreclaim:        77636 kB
KernelStack:        4192 kB
PageTables:         3152 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     428068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC027 at 2025-06-28 21:01:29