Trace number 4514900

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.01 3610.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
MD5SUM8ef3131177365cbfba34b2238fc87839
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1372
Total number of constraints4945
Number of constraints which are clauses4944
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint1372
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 422
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1794
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.00/3610.01	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 (62783 MiB free)
  memory of node 1: 64465 MiB (62984 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514900-1751225172/watcher-4514900-1751225172 -o /tmp/evaluation-result-4514900-1751225172/solver-4514900-1751225172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29082 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4514900-1751225172.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
solver pid=30498, runsolver pid=30495
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 30499
/proc/meminfo: memFree=128783656/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=23512 memory=9088 CPUtime=0.1 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 1546 0 0 0 10 0 0 0 20 0 1 0 38196616 24076288 2272 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 5878 2272 864 2593 0 2771 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23512 KiB
Current children cumulated memory: 9088 KiB

[startup+0.213467 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 30499
/proc/meminfo: memFree=128778112/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=31736 memory=16812 CPUtime=0.22 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 3567 0 0 0 21 1 0 0 20 0 1 0 38196616 32497664 4203 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 7934 4203 896 2593 0 4827 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 31736 KiB
Current children cumulated memory: 16812 KiB

[startup+0.313411 s]*
/proc/loadavg: 4.06 4.09 4.09 5/250 30499
/proc/meminfo: memFree=128770552/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=39312 memory=24056 CPUtime=0.31 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 5890 0 0 0 30 1 0 0 20 0 1 0 38196616 40255488 6014 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 9828 6014 960 2593 0 6721 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 24056 KiB

[startup+0.700329 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 30499
/proc/meminfo: memFree=128766016/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=42392 memory=27004 CPUtime=0.68 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 6768 0 0 0 67 1 0 0 20 0 1 0 38196616 43409408 6751 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 10598 6751 960 2593 0 7491 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42392 KiB
Current children cumulated memory: 27004 KiB

[startup+1.50035 s]
/proc/loadavg: 4.06 4.09 4.09 6/250 30499
/proc/meminfo: memFree=128761984/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=50176 memory=34252 CPUtime=1.48 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 9755 0 0 0 146 2 0 0 20 0 1 0 38196616 51380224 8563 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 12544 8563 992 2593 0 9437 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50176 KiB
Current children cumulated memory: 34252 KiB

[startup+3.11312 s]
/proc/loadavg: 4.06 4.09 4.09 6/250 30499
/proc/meminfo: memFree=128762176/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=50176 memory=34252 CPUtime=3.09 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 9772 0 0 0 307 2 0 0 20 0 1 0 38196616 51380224 8563 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 12544 8563 992 2593 0 9437 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50176 KiB
Current children cumulated memory: 34252 KiB

[startup+6.30038 s]
/proc/loadavg: 4.06 4.09 4.09 6/250 30499
/proc/meminfo: memFree=128762208/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=50176 memory=34252 CPUtime=6.26 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 9772 0 0 0 624 2 0 0 20 0 1 0 38196616 51380224 8563 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 12544 8563 992 2593 0 9437 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 50176 KiB
Current children cumulated memory: 34252 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.09 4.09 6/250 30499
/proc/meminfo: memFree=128585728/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=52020 memory=36152 CPUtime=12.65 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 13247 0 0 0 1262 3 0 0 20 0 1 0 38196616 53268480 9038 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 13005 9038 992 2593 0 9898 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52020 KiB
Current children cumulated memory: 36152 KiB

[startup+25.5004 s]
/proc/loadavg: 4.04 4.08 4.08 6/250 30499
/proc/meminfo: memFree=128739904/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=55608 memory=39736 CPUtime=25.41 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 16705 0 0 0 2537 4 0 0 20 0 1 0 38196616 56942592 9934 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 13902 9934 992 2593 0 10795 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 55608 KiB
Current children cumulated memory: 39736 KiB

[startup+51.1128 s]
/proc/loadavg: 4.08 4.09 4.09 6/250 30500
/proc/meminfo: memFree=128678348/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=55712 memory=40036 CPUtime=50.95 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 18911 0 0 0 5090 5 0 0 20 0 1 0 38196616 57049088 10009 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 13928 10009 992 2593 0 10821 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 55712 KiB
Current children cumulated memory: 40036 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/251 30503
/proc/meminfo: memFree=128635896/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=84176 memory=68280 CPUtime=101.99 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 23321 0 0 0 10192 7 0 0 20 0 1 0 38196616 86196224 17070 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 21044 17070 992 2593 0 17937 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 84176 KiB
Current children cumulated memory: 68280 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/251 30594
/proc/meminfo: memFree=128102664/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=84176 memory=68664 CPUtime=161.8 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 23409 0 0 0 16173 7 0 0 20 0 1 0 38196616 86196224 17166 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 21044 17166 992 2593 0 17937 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 84176 KiB
Current children cumulated memory: 68664 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 6/251 30640
/proc/meminfo: memFree=128013568/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=88320 memory=73144 CPUtime=221.61 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 24538 0 0 0 22154 7 0 0 20 0 1 0 38196616 90439680 18286 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 22080 18286 992 2593 0 18973 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 88320 KiB
Current children cumulated memory: 73144 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/252 30690
/proc/meminfo: memFree=119018724/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=89456 memory=74872 CPUtime=281.43 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 29860 0 0 0 28133 10 0 0 20 0 1 0 38196616 91602944 18718 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 22364 18718 992 2593 0 19257 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 89456 KiB
Current children cumulated memory: 74872 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 30692
/proc/meminfo: memFree=117557224/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=92624 memory=78168 CPUtime=341.23 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 32514 0 0 0 34111 12 0 0 20 0 1 0 38196616 94846976 19542 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 23156 19542 992 2593 0 20049 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 92624 KiB
Current children cumulated memory: 78168 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 30698
/proc/meminfo: memFree=116805932/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=142264 memory=127608 CPUtime=401.02 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 34965 0 0 0 40088 14 0 0 20 0 1 0 38196616 145678336 31902 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 35566 31902 992 2593 0 32459 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 142264 KiB
Current children cumulated memory: 127608 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/253 30700
/proc/meminfo: memFree=116847256/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=145684 memory=131064 CPUtime=460.81 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 36176 0 0 0 46065 16 0 0 20 0 1 0 38196616 149180416 32766 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 36421 32766 992 2593 0 33314 0
Current children cumulated CPU time: 460.81 s

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

Current children cumulated memory: 200568 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 31177
/proc/meminfo: memFree=118786440/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=216584 memory=202104 CPUtime=2854.31 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 73961 0 0 0 285347 84 0 0 20 0 1 0 38196616 221782016 50526 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 54146 50526 992 2593 0 51039 0
Current children cumulated CPU time: 2854.31 s
Current children cumulated vsize: 216584 KiB
Current children cumulated memory: 202104 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 31180
/proc/meminfo: memFree=119260460/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=216584 memory=202104 CPUtime=2914.15 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 73962 0 0 0 291331 84 0 0 20 0 1 0 38196616 221782016 50526 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 54146 50526 992 2593 0 51039 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 216584 KiB
Current children cumulated memory: 202104 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 31186
/proc/meminfo: memFree=119347332/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=161524 memory=147196 CPUtime=2973.99 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 74120 0 0 0 297314 85 0 0 20 0 1 0 38196616 165400576 36799 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 40381 36799 992 2593 0 37274 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 161524 KiB
Current children cumulated memory: 147196 KiB

[startup+3042.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/251 31278
/proc/meminfo: memFree=119422596/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=191968 memory=177512 CPUtime=3033.84 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 75146 0 0 0 303297 87 0 0 20 0 1 0 38196616 196575232 44378 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 47992 44378 992 2593 0 44885 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 191968 KiB
Current children cumulated memory: 177512 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 31460
/proc/meminfo: memFree=119606496/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=160524 memory=146068 CPUtime=3093.67 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 75798 0 0 0 309279 88 0 0 20 0 1 0 38196616 164376576 36517 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 40131 36517 992 2593 0 37024 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 160524 KiB
Current children cumulated memory: 146068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/252 31463
/proc/meminfo: memFree=119620672/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=223940 memory=209412 CPUtime=3153.51 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 76833 0 0 0 315262 89 0 0 20 0 1 0 38196616 229314560 52353 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 55985 52353 992 2593 0 52878 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 223940 KiB
Current children cumulated memory: 209412 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 31465
/proc/meminfo: memFree=119632928/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=192820 memory=178340 CPUtime=3213.34 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 77192 0 0 0 321245 89 0 0 20 0 1 0 38196616 197447680 44585 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 48205 44585 992 2593 0 45098 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 192820 KiB
Current children cumulated memory: 178340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 31467
/proc/meminfo: memFree=119645996/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=169836 memory=152140 CPUtime=3273.18 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 77947 0 0 0 327228 90 0 0 20 0 1 0 38196616 173912064 38035 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 42459 38035 992 2593 0 39352 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 169836 KiB
Current children cumulated memory: 152140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 31472
/proc/meminfo: memFree=119634452/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=190448 memory=175992 CPUtime=3333.01 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 79733 0 0 0 333209 92 0 0 20 0 1 0 38196616 195018752 43998 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 47612 43998 992 2593 0 44505 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 190448 KiB
Current children cumulated memory: 175992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 31474
/proc/meminfo: memFree=119615320/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=190448 memory=175992 CPUtime=3392.85 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 79736 0 0 0 339193 92 0 0 20 0 1 0 38196616 195018752 43998 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 47612 43998 992 2593 0 44505 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 190448 KiB
Current children cumulated memory: 175992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 31476
/proc/meminfo: memFree=119595860/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=219872 memory=205304 CPUtime=3452.69 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 80450 0 0 0 345176 93 0 0 20 0 1 0 38196616 225148928 51326 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 54968 51326 992 2593 0 51861 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 219872 KiB
Current children cumulated memory: 205304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/250 31478
/proc/meminfo: memFree=119627180/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=160444 memory=146116 CPUtime=3512.53 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 81409 0 0 0 351158 95 0 0 20 0 1 0 38196616 164294656 36529 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 40111 36529 992 2593 0 37004 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 160444 KiB
Current children cumulated memory: 146116 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.19 4.12 5/251 31485
/proc/meminfo: memFree=119669068/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=166924 memory=151448 CPUtime=3572.37 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 82684 0 0 0 357141 96 0 0 20 0 1 0 38196616 170930176 37862 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 41731 37862 992 2593 0 38624 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 166924 KiB
Current children cumulated memory: 151448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.76 4.28 4.15 5/251 31486
/proc/meminfo: memFree=118969372/131382112 swapFree=33010684/33010684
[pid=30498] ppid=30495 vsize=166020 memory=150544 CPUtime=3600 cores=0,2
/proc/30498/stat : 30498 (CASHWMaxSAT-Dis) R 30495 30498 29072 0 -1 4194304 83090 0 0 0 359903 97 0 0 20 0 1 0 38196616 170004480 37636 18446744073709551615 4198400 14817773 140721741098864 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48848896 140721741101418 140721741101533 140721741101533 140721741107135 0
/proc/30498/statm: 41505 37636 992 2593 0 38398 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 166020 KiB
Current children cumulated memory: 150544 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.04 s, system=0.972901 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.01
CPU user time (s): 3599.04
CPU system time (s): 0.972901
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 294228
Max. memory (cumulated for all children) (KiB): 276964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 0.972901
maximum resident set size= 279672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83090
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= 22
involuntary context switches= 8787


# summary of solver processes directly reported to runsolver:
#   pid: 30498
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.04
#   total CPU system time (s): 0.972901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2107 second user time and 37.3802 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 21:26:12
IDJOB=4514900
IDBENCH=163980
IDSOLVER=3322
FILE ID=nodeC005/4514900-1751225172
RUNJOBID= nodeC005-1751220287-29082
SLURM_JOB_ID= 9587675
Free space on /tmp= 433020 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib3/normalized-seymour.0.u.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514900-1751225172/watcher-4514900-1751225172 -o /tmp/evaluation-result-4514900-1751225172/solver-4514900-1751225172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29082 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4514900-1751225172.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 8ef3131177365cbfba34b2238fc87839
RANDOM SEED=861333575

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.723
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		: 3691.510
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.240
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		: 3700.000
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		: 3662.828
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		: 3691.496
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.627
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:        128787372 kB
MemAvailable:   128916384 kB
Buffers:            3280 kB
Cached:           932644 kB
SwapCached:            0 kB
Active:          1328936 kB
Inactive:         684756 kB
Active(anon):    1095728 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   684756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14120 kB
Writeback:             0 kB
AnonPages:       1077228 kB
Mapped:           114480 kB
Shmem:             17960 kB
KReclaimable:     101352 kB
Slab:             183840 kB
SReclaimable:     101352 kB
SUnreclaim:        82488 kB
KernelStack:        4032 kB
PageTables:         5084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1476920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    989184 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= 433004 MiB
End job on nodeC005 at 2025-06-29 22:26:23