Trace number 4492207

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
CASHWMaxSATDisjCom-S 2025-06-01? (TO) 3600.06 3608.6

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUM2ef810527ffcd806c891780de1e04313
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.016603
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
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 51
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 

1.29/1.32	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.29/1.32	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.05/3608.60	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 (63082 MiB free)
  memory of node 1: 64507 MiB (63708 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492207-1751133788/watcher-4492207-1751133788 -o /tmp/evaluation-result-4492207-1751133788/solver-4492207-1751133788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751133631-12469 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4492207-1751133788.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=13400, runsolver pid=13397
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.00 1.85 0.77 5/267 13401
/proc/meminfo: memFree=129833520/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=25232 memory=10848 CPUtime=0.09 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 2353 0 0 0 9 0 0 0 20 0 1 0 29056734 25837568 2712 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 6308 2712 768 2416 0 3410 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25232 KiB
Current children cumulated memory: 10848 KiB

[startup+0.205575 s]*
/proc/loadavg: 4.00 1.85 0.77 5/267 13401
/proc/meminfo: memFree=129830496/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=29628 memory=13536 CPUtime=0.2 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 2990 0 0 0 20 0 0 0 20 0 1 0 29056734 30339072 3384 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 7407 3384 800 2416 0 4509 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29628 KiB
Current children cumulated memory: 13536 KiB

[startup+0.305505 s]*
/proc/loadavg: 4.00 1.85 0.77 5/267 13401
/proc/meminfo: memFree=129826464/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=34180 memory=15840 CPUtime=0.29 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 3561 0 0 0 29 0 0 0 20 0 1 0 29056734 35000320 3960 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 8545 3960 800 2416 0 5647 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34180 KiB
Current children cumulated memory: 15840 KiB

[startup+0.700164 s]
/proc/loadavg: 4.00 1.85 0.77 5/267 13401
/proc/meminfo: memFree=129826464/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=41784 memory=21040 CPUtime=0.69 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 4345 0 0 0 68 1 0 0 20 0 1 0 29056734 42786816 5260 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 10446 5260 800 2416 0 7548 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 21040 KiB

[startup+1.50018 s]
/proc/loadavg: 4.00 1.89 0.78 5/267 13401
/proc/meminfo: memFree=129814304/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=54568 memory=32816 CPUtime=1.49 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 5246 0 0 0 148 1 0 0 20 0 1 0 29056734 55877632 8204 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 13642 8204 800 2416 0 10744 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54568 KiB
Current children cumulated memory: 32816 KiB

[startup+3.10533 s]
/proc/loadavg: 4.00 1.89 0.78 5/267 13401
/proc/meminfo: memFree=129785648/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=49008 memory=30880 CPUtime=3.09 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 8203 0 0 0 306 3 0 0 20 0 1 0 29056734 50184192 7720 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 12252 7720 800 2416 0 9354 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 30880 KiB

[startup+6.30017 s]
/proc/loadavg: 4.00 1.92 0.80 5/267 13402
/proc/meminfo: memFree=129727444/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=147984 memory=119768 CPUtime=6.27 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 9480 0 0 0 623 4 0 0 20 0 1 0 29056734 151535616 29942 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 36996 29942 800 2416 0 34098 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147984 KiB
Current children cumulated memory: 119768 KiB

[startup+12.7002 s]
/proc/loadavg: 4.00 1.96 0.82 5/267 13402
/proc/meminfo: memFree=129744908/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=98664 memory=84620 CPUtime=12.66 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 9800 0 0 0 1260 6 0 0 20 0 1 0 29056734 101031936 21155 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 24666 21155 800 2416 0 21768 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 98664 KiB
Current children cumulated memory: 84620 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 2.04 0.86 5/267 13402
/proc/meminfo: memFree=129738656/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=98664 memory=84620 CPUtime=25.43 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 10532 0 0 0 2532 11 0 0 20 0 1 0 29056734 101031936 21155 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 24666 21155 800 2416 0 21768 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 98664 KiB
Current children cumulated memory: 84620 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 2.23 0.96 5/267 13447
/proc/meminfo: memFree=129816604/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=147984 memory=123864 CPUtime=50.97 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 11898 0 0 0 5076 21 0 0 20 0 1 0 29056734 151535616 30966 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 36996 30966 800 2416 0 34098 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 147984 KiB
Current children cumulated memory: 123864 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 2.52 1.13 5/267 13450
/proc/meminfo: memFree=129769228/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=148124 memory=121956 CPUtime=102.05 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 17411 0 0 0 10160 45 0 0 20 0 1 0 29056734 151678976 30489 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 37031 30489 800 2416 0 34133 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 148124 KiB
Current children cumulated memory: 121956 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 2.82 1.32 5/265 13452
/proc/meminfo: memFree=129647400/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=179568 memory=155428 CPUtime=161.91 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 25442 0 0 0 16123 68 0 0 20 0 1 0 29056734 183877632 38857 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 44892 38857 800 2416 0 41994 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 179568 KiB
Current children cumulated memory: 155428 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.06 1.50 5/264 13454
/proc/meminfo: memFree=129663592/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=198244 memory=168088 CPUtime=221.77 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 33880 0 0 0 22087 90 0 0 20 0 1 0 29056734 203001856 42022 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 49561 42022 800 2416 0 46663 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 198244 KiB
Current children cumulated memory: 168088 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.26 1.67 5/264 13456
/proc/meminfo: memFree=129629136/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=160684 memory=146748 CPUtime=281.62 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 40345 0 0 0 28056 106 0 0 20 0 1 0 29056734 164540416 36687 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 40171 36687 800 2416 0 37273 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 160684 KiB
Current children cumulated memory: 146748 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.41 1.82 5/264 13458
/proc/meminfo: memFree=129558648/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=179360 memory=165424 CPUtime=341.48 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 47305 0 0 0 34024 124 0 0 20 0 1 0 29056734 183664640 41356 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 44840 41356 800 2416 0 41942 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 179360 KiB
Current children cumulated memory: 165424 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.54 1.96 5/264 13460
/proc/meminfo: memFree=129479672/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=259500 memory=225416 CPUtime=401.35 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 58739 0 0 0 39986 149 0 0 20 0 1 0 29056734 265728000 56354 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 64875 56354 800 2416 0 61977 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 259500 KiB
Current children cumulated memory: 225416 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.65 2.10 5/265 13468
/proc/meminfo: memFree=129530232/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=182912 memory=168900 CPUtime=461.2 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 69879 0 0 0 45953 167 0 0 20 0 1 0 29056734 187301888 42225 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 45728 42225 800 2416 0 42830 0

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

Current children cumulated memory: 339124 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/265 13590
/proc/meminfo: memFree=129020144/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=402468 memory=380416 CPUtime=2855.56 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 345274 0 0 0 284753 803 0 0 20 0 1 0 29056734 412127232 95104 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 100617 95104 800 2416 0 97719 0
Current children cumulated CPU time: 2855.56 s
Current children cumulated vsize: 402468 KiB
Current children cumulated memory: 380416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/265 13594
/proc/meminfo: memFree=129020112/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=402468 memory=378368 CPUtime=2915.41 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 359019 0 0 0 290712 829 0 0 20 0 1 0 29056734 412127232 94592 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 100617 94592 800 2416 0 97719 0
Current children cumulated CPU time: 2915.41 s
Current children cumulated vsize: 402468 KiB
Current children cumulated memory: 378368 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/265 13596
/proc/meminfo: memFree=129028784/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=353148 memory=339124 CPUtime=2975.26 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 368644 0 0 0 296677 849 0 0 20 0 1 0 29056734 361623552 84781 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 88287 84781 800 2416 0 85389 0
Current children cumulated CPU time: 2975.26 s
Current children cumulated vsize: 353148 KiB
Current children cumulated memory: 339124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/266 13600
/proc/meminfo: memFree=129028704/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=353148 memory=339124 CPUtime=3035.13 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 368644 0 0 0 302663 850 0 0 20 0 1 0 29056734 361623552 84781 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 88287 84781 800 2416 0 85389 0
Current children cumulated CPU time: 3035.13 s
Current children cumulated vsize: 353148 KiB
Current children cumulated memory: 339124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/266 13602
/proc/meminfo: memFree=129028504/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=353148 memory=339124 CPUtime=3094.98 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 368796 0 0 0 308648 850 0 0 20 0 1 0 29056734 361623552 84781 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 88287 84781 800 2416 0 85389 0
Current children cumulated CPU time: 3094.98 s
Current children cumulated vsize: 353148 KiB
Current children cumulated memory: 339124 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/266 13604
/proc/meminfo: memFree=129004816/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=402468 memory=386560 CPUtime=3154.84 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 378695 0 0 0 314612 872 0 0 20 0 1 0 29056734 412127232 96640 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 100617 96640 800 2416 0 97719 0
Current children cumulated CPU time: 3154.84 s
Current children cumulated vsize: 402468 KiB
Current children cumulated memory: 386560 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/265 13606
/proc/meminfo: memFree=128999024/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=433288 memory=390924 CPUtime=3214.69 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 392566 0 0 0 320570 899 0 0 20 0 1 0 29056734 443686912 97731 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 108322 97731 800 2416 0 105424 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 433288 KiB
Current children cumulated memory: 390924 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 13608
/proc/meminfo: memFree=129038244/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=354644 memory=340532 CPUtime=3274.54 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 398618 0 0 0 326538 916 0 0 20 0 1 0 29056734 363155456 85133 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 88661 85133 800 2416 0 85763 0
Current children cumulated CPU time: 3274.54 s
Current children cumulated vsize: 354644 KiB
Current children cumulated memory: 340532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/264 13610
/proc/meminfo: memFree=129027248/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=354644 memory=340620 CPUtime=3334.4 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 399271 0 0 0 332521 919 0 0 20 0 1 0 29056734 363155456 85155 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 88661 85155 800 2416 0 85763 0
Current children cumulated CPU time: 3334.4 s
Current children cumulated vsize: 354644 KiB
Current children cumulated memory: 340620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/264 13613
/proc/meminfo: memFree=129020976/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=354644 memory=340620 CPUtime=3394.25 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 399370 0 0 0 338505 920 0 0 20 0 1 0 29056734 363155456 85155 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 88661 85155 800 2416 0 85763 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 354644 KiB
Current children cumulated memory: 340620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/264 13619
/proc/meminfo: memFree=128985300/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=403964 memory=379864 CPUtime=3454.11 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 413624 0 0 0 344457 954 0 0 20 0 1 0 29056734 413659136 94966 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 100991 94966 800 2416 0 98093 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 403964 KiB
Current children cumulated memory: 379864 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.12 4.03 5/263 13856
/proc/meminfo: memFree=129523548/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=434784 memory=400612 CPUtime=3513.96 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 428258 0 0 0 350410 986 0 0 20 0 1 0 29056734 445218816 100153 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 108696 100153 800 2416 0 105798 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 434784 KiB
Current children cumulated memory: 400612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/264 13861
/proc/meminfo: memFree=129461452/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=423468 memory=405512 CPUtime=3573.81 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 443359 0 0 0 356371 1010 0 0 20 0 1 0 29056734 433631232 101378 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 105867 101378 800 2416 0 102969 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 423468 KiB
Current children cumulated memory: 405512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.14 4.12 4.04 5/264 13861
/proc/meminfo: memFree=129400492/131249996 swapFree=33010684/33010684
[pid=13400] ppid=13397 vsize=454288 memory=416020 CPUtime=3600.05 cores=4,6
/proc/13400/stat : 13400 (CASHWMaxSAT-Dis) R 13397 13400 12453 0 -1 4194304 447390 0 0 0 358988 1017 0 0 20 0 1 0 29056734 465190912 104005 18446744073709551615 4198400 14093885 140722083784752 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26828800 140722083789162 140722083789277 140722083789277 140722083794879 0
/proc/13400/statm: 113572 104005 800 2416 0 110674 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 454288 KiB
Current children cumulated memory: 416020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.89 s, system=10.1757 s

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

Child status: 0

Real time (s): 3608.6
CPU time (s): 3600.06
CPU user time (s): 3589.89
CPU system time (s): 10.1757
CPU usage (%): 99.7634
Max. virtual memory (cumulated for all children) (KiB): 534192
Max. memory (cumulated for all children) (KiB): 453348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.89
system time used= 10.1757
maximum resident set size= 471780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447390
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= 26
involuntary context switches= 3359


# summary of solver processes directly reported to runsolver:
#   pid: 13400
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3589.89
#   total CPU system time (s): 10.1757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80992 second user time and 15.3229 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-28 20:03:08
IDJOB=4492207
IDBENCH=147770
IDSOLVER=3323
FILE ID=nodeC024/4492207-1751133788
RUNJOBID= nodeC024-1751133631-12469
SLURM_JOB_ID= 9587424
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= 2ef810527ffcd806c891780de1e04313
RANDOM SEED=1248656310

nodeC024 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		: 3599.705
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.36
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.674
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.933
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.36
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		: 3600.557
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.36
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		: 3778.877
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.36
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.696
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.36
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		: 3600.089
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.36
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		: 3580.122
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129834276 kB
MemAvailable:   129435356 kB
Buffers:            3280 kB
Cached:           380244 kB
SwapCached:            0 kB
Active:           659756 kB
Inactive:         173712 kB
Active(anon):     468008 kB
Inactive(anon):        0 kB
Active(file):     191748 kB
Inactive(file):   173712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12776 kB
Writeback:             8 kB
AnonPages:        451512 kB
Mapped:           112544 kB
Shmem:             18064 kB
KReclaimable:      71656 kB
Slab:             153968 kB
SReclaimable:      71656 kB
SUnreclaim:        82312 kB
KernelStack:        4304 kB
PageTables:         3896 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     819148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-06-28 21:03:17