Trace number 4514432

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-01UNSAT 1500.57 1505.26

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_36.opb
MD5SUM483b29da31af2436e91ca4a2082e11b8
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 benchmark1244.51
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1722
Total number of constraints8246
Number of constraints which are clauses8241
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint41
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 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 77
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1500.51/1505.25	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1500.51/1505.25	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514432-1751223934/watcher-4514432-1751223934 -o /tmp/evaluation-result-4514432-1751223934/solver-4514432-1751223934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29083 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4514432-1751223934.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29857, runsolver pid=29854

[startup+0.100068 s]*
/proc/loadavg: 4.27 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129540476/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=24252 memory=9856 CPUtime=0.09 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 1717 0 0 0 9 0 0 0 20 0 1 0 38072797 24834048 2464 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 6063 2464 864 2593 0 2956 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24252 KiB
Current children cumulated memory: 9856 KiB

[startup+0.214733 s]*
/proc/loadavg: 4.27 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129540476/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=26908 memory=12800 CPUtime=0.18 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 2401 0 0 0 18 0 0 0 20 0 1 0 38072797 27553792 3200 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 6727 3200 960 2593 0 3620 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26908 KiB
Current children cumulated memory: 12800 KiB

[startup+0.312626 s]*
/proc/loadavg: 4.27 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129540476/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=27324 memory=13300 CPUtime=0.28 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 2610 0 0 0 27 1 0 0 20 0 1 0 38072797 27979776 3325 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 6831 3325 960 2593 0 3724 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27324 KiB
Current children cumulated memory: 13300 KiB

[startup+0.700207 s]
/proc/loadavg: 4.27 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129540476/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=27900 memory=13844 CPUtime=0.63 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 2958 0 0 0 62 1 0 0 20 0 1 0 38072797 28569600 3461 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 6975 3461 992 2593 0 3868 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 27900 KiB
Current children cumulated memory: 13844 KiB

[startup+1.50019 s]
/proc/loadavg: 4.27 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129540476/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=28072 memory=13984 CPUtime=1.41 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 3530 0 0 0 140 1 0 0 20 0 1 0 38072797 28745728 3496 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 7018 3496 992 2593 0 3911 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 28072 KiB
Current children cumulated memory: 13984 KiB

[startup+3.1141 s]
/proc/loadavg: 4.27 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129540728/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=28384 memory=14320 CPUtime=3.02 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 4368 0 0 0 301 1 0 0 20 0 1 0 38072797 29065216 3580 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 7096 3580 992 2593 0 3989 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 28384 KiB
Current children cumulated memory: 14320 KiB

[startup+6.30027 s]
/proc/loadavg: 4.25 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129541124/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=30836 memory=16876 CPUtime=6.19 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 5775 0 0 0 618 1 0 0 20 0 1 0 38072797 31576064 4219 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 7709 4219 992 2593 0 4602 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 30836 KiB
Current children cumulated memory: 16876 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.14 4.10 5/249 29858
/proc/meminfo: memFree=129535972/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=29868 memory=15956 CPUtime=12.58 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 9653 0 0 0 1256 2 0 0 20 0 1 0 38072797 30584832 3989 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 7467 3989 992 2593 0 4360 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 29868 KiB
Current children cumulated memory: 15956 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.15 4.10 5/249 29858
/proc/meminfo: memFree=129499732/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=37212 memory=23220 CPUtime=25.34 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 12741 0 0 0 2531 3 0 0 20 0 1 0 38072797 38105088 5805 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 9303 5805 992 2593 0 6196 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 37212 KiB
Current children cumulated memory: 23220 KiB

[startup+51.1134 s]
/proc/loadavg: 4.23 4.15 4.10 5/249 29859
/proc/meminfo: memFree=129503412/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=40536 memory=26444 CPUtime=50.87 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 19703 0 0 0 5083 4 0 0 20 0 1 0 38072797 41508864 6611 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 10134 6611 992 2593 0 7027 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 40536 KiB
Current children cumulated memory: 26444 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/249 29860
/proc/meminfo: memFree=129483264/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=48244 memory=34332 CPUtime=101.89 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 27047 0 0 0 10183 6 0 0 20 0 1 0 38072797 49401856 8583 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 12061 8583 992 2593 0 8954 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 48244 KiB
Current children cumulated memory: 34332 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/249 30041
/proc/meminfo: memFree=129565120/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=51520 memory=37712 CPUtime=161.72 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 36431 0 0 0 16163 9 0 0 20 0 1 0 38072797 52756480 9428 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 12880 9428 992 2593 0 9773 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 51520 KiB
Current children cumulated memory: 37712 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/249 30043
/proc/meminfo: memFree=129564588/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=60052 memory=46212 CPUtime=221.55 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 41607 0 0 0 22144 11 0 0 20 0 1 0 38072797 61493248 11553 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 15013 11553 992 2593 0 11906 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 60052 KiB
Current children cumulated memory: 46212 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/250 30363
/proc/meminfo: memFree=128689888/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=55468 memory=41668 CPUtime=281.37 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 48148 0 0 0 28123 14 0 0 20 0 1 0 38072797 56799232 10417 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 13867 10417 992 2593 0 10760 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 55468 KiB
Current children cumulated memory: 41668 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/251 30367
/proc/meminfo: memFree=128651056/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=49220 memory=34816 CPUtime=341.19 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 51951 0 0 0 34103 16 0 0 20 0 1 0 38072797 50401280 8704 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 12305 8704 992 2593 0 9198 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 49220 KiB
Current children cumulated memory: 34816 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/251 30369
/proc/meminfo: memFree=128650200/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=67460 memory=53584 CPUtime=401.01 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 56372 0 0 0 40084 17 0 0 20 0 1 0 38072797 69079040 13396 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 16865 13396 992 2593 0 13758 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 67460 KiB
Current children cumulated memory: 53584 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 30371
/proc/meminfo: memFree=128625000/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=74972 memory=61136 CPUtime=460.83 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 57248 0 0 0 46065 18 0 0 20 0 1 0 38072797 76771328 15284 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 18743 15284 992 2593 0 15636 0
Current children cumulated CPU time: 460.83 s

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

/proc/loadavg: 4.11 4.11 4.09 5/250 30398
/proc/meminfo: memFree=128663696/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=80692 memory=66832 CPUtime=1058.95 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 83205 0 0 0 105865 30 0 0 20 0 1 0 38072797 82628608 16708 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 20173 16708 992 2593 0 17066 0
Current children cumulated CPU time: 1058.95 s
Current children cumulated vsize: 80692 KiB
Current children cumulated memory: 66832 KiB

[startup+1122.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 30404
/proc/meminfo: memFree=128626932/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=84344 memory=70480 CPUtime=1118.76 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 84252 0 0 0 111845 31 0 0 20 0 1 0 38072797 86368256 17620 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 21086 17620 992 2593 0 17979 0
Current children cumulated CPU time: 1118.76 s
Current children cumulated vsize: 84344 KiB
Current children cumulated memory: 70480 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 30406
/proc/meminfo: memFree=128622116/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=94964 memory=81164 CPUtime=1178.58 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 87456 0 0 0 117826 32 0 0 20 0 1 0 38072797 97243136 20291 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 23741 20291 992 2593 0 20634 0
Current children cumulated CPU time: 1178.58 s
Current children cumulated vsize: 94964 KiB
Current children cumulated memory: 81164 KiB

[startup+1242.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 30499
/proc/meminfo: memFree=128762208/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=72220 memory=58420 CPUtime=1238.4 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 89957 0 0 0 123806 34 0 0 20 0 1 0 38072797 73953280 14605 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 18055 14605 992 2593 0 14948 0
Current children cumulated CPU time: 1238.4 s
Current children cumulated vsize: 72220 KiB
Current children cumulated memory: 58420 KiB

[startup+1302.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 30501
/proc/meminfo: memFree=128671812/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=113824 memory=99984 CPUtime=1298.23 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 91694 0 0 0 129788 35 0 0 20 0 1 0 38072797 116555776 24996 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 28456 24996 992 2593 0 25349 0
Current children cumulated CPU time: 1298.23 s
Current children cumulated vsize: 113824 KiB
Current children cumulated memory: 99984 KiB

[startup+1362.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/251 30504
/proc/meminfo: memFree=128623080/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=103028 memory=89188 CPUtime=1358.05 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 94040 0 0 0 135769 36 0 0 20 0 1 0 38072797 105500672 22297 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 25757 22297 992 2593 0 22650 0
Current children cumulated CPU time: 1358.05 s
Current children cumulated vsize: 103028 KiB
Current children cumulated memory: 89188 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 30595
/proc/meminfo: memFree=128138264/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=92984 memory=79184 CPUtime=1417.87 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95003 0 0 0 141750 37 0 0 20 0 1 0 38072797 95215616 19796 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 23246 19796 992 2593 0 20139 0
Current children cumulated CPU time: 1417.87 s
Current children cumulated vsize: 92984 KiB
Current children cumulated memory: 79184 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 30641
/proc/meminfo: memFree=123633552/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=92984 memory=79184 CPUtime=1477.68 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95037 0 0 0 147730 38 0 0 20 0 1 0 38072797 95215616 19796 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 23246 19796 992 2593 0 20139 0
Current children cumulated CPU time: 1477.68 s
Current children cumulated vsize: 92984 KiB
Current children cumulated memory: 79184 KiB

[startup+1505.26 s]
# the end of solver process 29857 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1500.19 s, system=0.383756 s

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

[startup+1484.8 s]
/proc/loadavg: 4.21 4.13 4.10 5/251 30641
/proc/meminfo: memFree=122912728/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=92984 memory=79184 CPUtime=1480.17 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95037 0 0 0 147979 38 0 0 20 0 1 0 38072797 95215616 19796 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 23246 19796 992 2593 0 20139 0
Current children cumulated CPU time: 1480.17 s
Current children cumulated vsize: 92984 KiB
Current children cumulated memory: 79184 KiB

[startup+1497.6 s]
/proc/loadavg: 4.17 4.13 4.10 5/251 30641
/proc/meminfo: memFree=120397632/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=92984 memory=79184 CPUtime=1492.93 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95037 0 0 0 149255 38 0 0 20 0 1 0 38072797 95215616 19796 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 23246 19796 992 2593 0 20139 0
Current children cumulated CPU time: 1492.93 s
Current children cumulated vsize: 92984 KiB
Current children cumulated memory: 79184 KiB

[startup+1500.8 s]
/proc/loadavg: 4.16 4.12 4.10 5/251 30641
/proc/meminfo: memFree=120412352/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=57076 memory=43404 CPUtime=1496.12 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95037 0 0 0 149574 38 0 0 20 0 1 0 38072797 58445824 10851 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 14269 10851 992 2593 0 11162 0
Current children cumulated CPU time: 1496.12 s
Current children cumulated vsize: 57076 KiB
Current children cumulated memory: 43404 KiB

[startup+1502.4 s]
/proc/loadavg: 4.16 4.12 4.10 5/251 30641
/proc/meminfo: memFree=120407796/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=57076 memory=43404 CPUtime=1497.72 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95037 0 0 0 149734 38 0 0 20 0 1 0 38072797 58445824 10851 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 14269 10851 992 2593 0 11162 0
Current children cumulated CPU time: 1497.72 s
Current children cumulated vsize: 57076 KiB
Current children cumulated memory: 43404 KiB

[startup+1504 s]*
/proc/loadavg: 4.15 4.12 4.09 5/252 30645
/proc/meminfo: memFree=120456332/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=62656 memory=48848 CPUtime=1499.32 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95889 0 0 0 149894 38 0 0 20 0 1 0 38072797 64159744 12212 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 15664 12212 992 2593 0 12557 0
Current children cumulated CPU time: 1499.32 s
Current children cumulated vsize: 62656 KiB
Current children cumulated memory: 48848 KiB

[startup+1504.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 30645
/proc/meminfo: memFree=120456332/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=62656 memory=48848 CPUtime=1500.11 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95889 0 0 0 149973 38 0 0 20 0 1 0 38072797 64159744 12212 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 15664 12212 992 2593 0 12557 0
Current children cumulated CPU time: 1500.11 s
Current children cumulated vsize: 62656 KiB
Current children cumulated memory: 48848 KiB

[startup+1505.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 30645
/proc/meminfo: memFree=120464028/131382112 swapFree=33010684/33010684
[pid=29857] ppid=29854 vsize=62656 memory=48848 CPUtime=1500.51 cores=4,6
/proc/29857/stat : 29857 (CASHWMaxSAT-Dis) R 29854 29857 29072 0 -1 4194304 95889 0 0 0 150013 38 0 0 20 0 1 0 38072797 64159744 12212 18446744073709551615 4198400 14817773 140724331575136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 41914368 140724331583850 140724331583965 140724331583965 140724331589567 0
/proc/29857/statm: 15664 12212 992 2593 0 12557 0
Current children cumulated CPU time: 1500.51 s
Current children cumulated vsize: 62656 KiB
Current children cumulated memory: 48848 KiB

Child status: 20

Real time (s): 1505.26
CPU time (s): 1500.57
CPU user time (s): 1500.19
CPU system time (s): 0.383756
CPU usage (%): 99.6887
Max. virtual memory (cumulated for all children) (KiB): 113824
Max. memory (cumulated for all children) (KiB): 99984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1500.19
system time used= 0.383756
maximum resident set size= 99984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95889
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= 23
involuntary context switches= 8225


# summary of solver processes directly reported to runsolver:
#   pid: 29857
#   total CPU time (s): 1500.57
#   total CPU user time (s): 1500.19
#   total CPU system time (s): 0.383756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25293 second user time and 15.3568 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 21:05:34
IDJOB=4514432
IDBENCH=162693
IDSOLVER=3322
FILE ID=nodeC005/4514432-1751223934
RUNJOBID= nodeC005-1751220287-29083
SLURM_JOB_ID= 9587675
Free space on /tmp= 433016 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_36.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514432-1751223934/watcher-4514432-1751223934 -o /tmp/evaluation-result-4514432-1751223934/solver-4514432-1751223934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751220287-29083 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4514432-1751223934.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 483b29da31af2436e91ca4a2082e11b8
RANDOM SEED=810061592

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.517
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		: 3700.000
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.478
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		: 1197.244
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.218
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:        129540160 kB
MemAvailable:   129671124 kB
Buffers:            3280 kB
Cached:           934636 kB
SwapCached:            0 kB
Active:           561544 kB
Inactive:         686748 kB
Active(anon):     328336 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   686748 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45196 kB
Writeback:             0 kB
AnonPages:        312412 kB
Mapped:           114468 kB
Shmem:             17960 kB
KReclaimable:     101272 kB
Slab:             183712 kB
SReclaimable:     101272 kB
SUnreclaim:        82440 kB
KernelStack:        4016 kB
PageTables:         3612 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     663792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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 21:30:40