Trace number 4510602

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

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
MD5SUM6c6f54dbad76425fd68d4f6d2aa72935
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 benchmark8.17924
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints980
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)978
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3610.00	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 (62875 MiB free)
  memory of node 1: 64507 MiB (63874 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510602-1751186807/watcher-4510602-1751186807 -o /tmp/evaluation-result-4510602-1751186807/solver-4510602-1751186807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751178706-20254 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4510602-1751186807.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
solver pid=21616, runsolver pid=21613
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129791628/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=21520 memory=7432 CPUtime=0.1 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 1475 0 0 0 10 0 0 0 20 0 1 0 34359552 22036480 1858 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 5380 1858 992 2593 0 2273 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21520 KiB
Current children cumulated memory: 7432 KiB

[startup+0.20556 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129791628/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=21772 memory=7832 CPUtime=0.2 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 1961 0 0 0 20 0 0 0 20 0 1 0 34359552 22294528 1958 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 5443 1958 992 2593 0 2336 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21772 KiB
Current children cumulated memory: 7832 KiB

[startup+0.305459 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129791376/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=22428 memory=8460 CPUtime=0.3 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 2395 0 0 0 30 0 0 0 20 0 1 0 34359552 22966272 2115 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 5607 2115 992 2593 0 2500 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22428 KiB
Current children cumulated memory: 8460 KiB

[startup+0.700114 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129790620/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=22352 memory=8336 CPUtime=0.69 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 3795 0 0 0 69 0 0 0 20 0 1 0 34359552 22888448 2084 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 5588 2084 992 2593 0 2481 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22352 KiB
Current children cumulated memory: 8336 KiB

[startup+1.50016 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129788604/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=25072 memory=11172 CPUtime=1.48 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 5512 0 0 0 148 0 0 0 20 0 1 0 34359552 25673728 2793 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 6268 2793 992 2593 0 3161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25072 KiB
Current children cumulated memory: 11172 KiB

[startup+3.10549 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129784888/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=25596 memory=11808 CPUtime=3.09 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 9054 0 0 0 308 1 0 0 20 0 1 0 34359552 26210304 2952 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 6399 2952 992 2593 0 3292 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 25596 KiB
Current children cumulated memory: 11808 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129780100/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=32100 memory=17976 CPUtime=6.27 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 16408 0 0 0 625 2 0 0 20 0 1 0 34359552 32870400 4494 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 8025 4494 992 2593 0 4918 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32100 KiB
Current children cumulated memory: 17976 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 21617
/proc/meminfo: memFree=129777840/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=31280 memory=17364 CPUtime=12.66 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 26027 0 0 0 1262 4 0 0 20 0 1 0 34359552 32030720 4341 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 7820 4341 992 2593 0 4713 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 17364 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 21617
/proc/meminfo: memFree=129770532/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=43996 memory=29972 CPUtime=25.42 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 36460 0 0 0 2536 6 0 0 20 0 1 0 34359552 45051904 7493 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 10999 7493 992 2593 0 7892 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 43996 KiB
Current children cumulated memory: 29972 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 21618
/proc/meminfo: memFree=129765436/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=52628 memory=38160 CPUtime=50.95 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 53627 0 0 0 5084 11 0 0 20 0 1 0 34359552 53891072 9540 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 13157 9540 992 2593 0 10050 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 38160 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 21620
/proc/meminfo: memFree=129745180/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=79736 memory=65472 CPUtime=102.01 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 66992 0 0 0 10185 16 0 0 20 0 1 0 34359552 81649664 16368 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 19934 16368 992 2593 0 16827 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 79736 KiB
Current children cumulated memory: 65472 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 21671
/proc/meminfo: memFree=129731192/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=79504 memory=63976 CPUtime=161.84 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 80916 0 0 0 16162 22 0 0 20 0 1 0 34359552 81412096 15994 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 19876 15994 992 2593 0 16769 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 79504 KiB
Current children cumulated memory: 63976 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 21673
/proc/meminfo: memFree=129663980/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=81272 memory=67340 CPUtime=221.66 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 101215 0 0 0 22137 29 0 0 20 0 1 0 34359552 83222528 16835 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 20318 16835 992 2593 0 17211 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 81272 KiB
Current children cumulated memory: 67340 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 21675
/proc/meminfo: memFree=129631400/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=90716 memory=75748 CPUtime=281.48 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 114438 0 0 0 28113 35 0 0 20 0 1 0 34359552 92893184 18937 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 22679 18937 992 2593 0 19572 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 90716 KiB
Current children cumulated memory: 75748 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 21677
/proc/meminfo: memFree=129588512/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=96048 memory=81068 CPUtime=341.29 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 122738 0 0 0 34090 39 0 0 20 0 1 0 34359552 98353152 20267 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 24012 20267 992 2593 0 20905 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 96048 KiB
Current children cumulated memory: 81068 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 21679
/proc/meminfo: memFree=129587832/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=105800 memory=91748 CPUtime=401.11 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 130426 0 0 0 40068 43 0 0 20 0 1 0 34359552 108339200 22937 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 26450 22937 992 2593 0 23343 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 105800 KiB
Current children cumulated memory: 91748 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 21681
/proc/meminfo: memFree=129603060/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=107084 memory=93280 CPUtime=460.92 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 133116 0 0 0 46048 44 0 0 20 0 1 0 34359552 109654016 23320 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 26771 23320 992 2593 0 23664 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 107084 KiB

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

Current children cumulated memory: 176836 KiB

[startup+2862.3 s]
/proc/loadavg: 3.20 3.76 3.96 4/257 21852
/proc/meminfo: memFree=129602212/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=132720 memory=118588 CPUtime=2854.21 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 371808 0 0 0 285244 177 0 0 20 0 1 0 34359552 135905280 29647 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 33180 29647 992 2593 0 30073 0
Current children cumulated CPU time: 2854.21 s
Current children cumulated vsize: 132720 KiB
Current children cumulated memory: 118588 KiB

[startup+2922.3 s]
/proc/loadavg: 3.16 3.65 3.91 4/257 21855
/proc/meminfo: memFree=129609680/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=142192 memory=127608 CPUtime=2914.05 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 377830 0 0 0 291221 184 0 0 20 0 1 0 34359552 145604608 31902 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 35548 31902 992 2593 0 32441 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 142192 KiB
Current children cumulated memory: 127608 KiB

[startup+2982.3 s]
/proc/loadavg: 3.10 3.54 3.86 4/257 21857
/proc/meminfo: memFree=129623368/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=151068 memory=135744 CPUtime=2973.88 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 383577 0 0 0 297198 190 0 0 20 0 1 0 34359552 154693632 33936 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 37767 33936 992 2593 0 34660 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 151068 KiB
Current children cumulated memory: 135744 KiB

[startup+3042.3 s]
/proc/loadavg: 3.14 3.47 3.81 4/258 21862
/proc/meminfo: memFree=129596808/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=149404 memory=135144 CPUtime=3033.73 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 389005 0 0 0 303177 196 0 0 20 0 1 0 34359552 152989696 33786 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 37351 33786 992 2593 0 34244 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 149404 KiB
Current children cumulated memory: 135144 KiB

[startup+3102.3 s]
/proc/loadavg: 3.05 3.38 3.76 4/258 21864
/proc/meminfo: memFree=129594400/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=150340 memory=136032 CPUtime=3093.56 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 393469 0 0 0 309155 201 0 0 20 0 1 0 34359552 153948160 34008 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 37585 34008 992 2593 0 34478 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 150340 KiB
Current children cumulated memory: 136032 KiB

[startup+3162.3 s]
/proc/loadavg: 2.91 3.29 3.70 3/252 21898
/proc/meminfo: memFree=129741916/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=153140 memory=138988 CPUtime=3153.41 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 397547 0 0 0 315133 208 0 0 20 0 1 0 34359552 156815360 34747 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 38285 34747 992 2593 0 35178 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 153140 KiB
Current children cumulated memory: 138988 KiB

[startup+3222.3 s]
/proc/loadavg: 2.40 3.07 3.60 3/251 21904
/proc/meminfo: memFree=129742860/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=154104 memory=139952 CPUtime=3213.26 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 401605 0 0 0 321112 214 0 0 20 0 1 0 34359552 157802496 34988 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 38526 34988 992 2593 0 35419 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 154104 KiB
Current children cumulated memory: 139952 KiB

[startup+3282.3 s]
/proc/loadavg: 2.19 2.89 3.50 3/251 21906
/proc/meminfo: memFree=129746992/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=159084 memory=144932 CPUtime=3273.12 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 406089 0 0 0 327092 220 0 0 20 0 1 0 34359552 162902016 36233 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 39771 36233 992 2593 0 36664 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 159084 KiB
Current children cumulated memory: 144932 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.74 3.41 3/252 21909
/proc/meminfo: memFree=129737420/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=160888 memory=146716 CPUtime=3332.98 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 411383 0 0 0 333071 227 0 0 20 0 1 0 34359552 164749312 36679 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 40222 36679 992 2593 0 37115 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 160888 KiB
Current children cumulated memory: 146716 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.62 3.32 3/251 21911
/proc/meminfo: memFree=129734444/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=160668 memory=146516 CPUtime=3392.84 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 416256 0 0 0 339051 233 0 0 20 0 1 0 34359552 164524032 36629 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 40167 36629 992 2593 0 37060 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 160668 KiB
Current children cumulated memory: 146516 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.52 3.24 3/251 21913
/proc/meminfo: memFree=129740672/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=161952 memory=147836 CPUtime=3452.7 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 419524 0 0 0 345032 238 0 0 20 0 1 0 34359552 165838848 36959 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 40488 36959 992 2593 0 37381 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 161952 KiB
Current children cumulated memory: 147836 KiB

[startup+3522.3 s]
/proc/loadavg: 2.06 2.44 3.17 3/251 21915
/proc/meminfo: memFree=129738064/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=164588 memory=150416 CPUtime=3512.55 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 423889 0 0 0 351011 244 0 0 20 0 1 0 34359552 168538112 37604 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 41147 37604 992 2593 0 38040 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 164588 KiB
Current children cumulated memory: 150416 KiB

[startup+3582.3 s]
/proc/loadavg: 2.06 2.37 3.10 3/251 21917
/proc/meminfo: memFree=129724124/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=167576 memory=153452 CPUtime=3572.41 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 427934 0 0 0 356991 250 0 0 20 0 1 0 34359552 171597824 38363 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 41894 38363 992 2593 0 38787 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 167576 KiB
Current children cumulated memory: 153452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 2.10 2.35 3.07 3/251 21917
/proc/meminfo: memFree=129705972/131249988 swapFree=33010684/33010684
[pid=21616] ppid=21613 vsize=168720 memory=154596 CPUtime=3600.05 cores=0,2
/proc/21616/stat : 21616 (CASHWMaxSAT-Dis) R 21613 21616 20244 0 -1 4194304 429925 0 0 0 359753 252 0 0 20 0 1 0 34359552 172769280 38649 18446744073709551615 4198400 14817773 140730555559232 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 34779136 140730555562346 140730555562461 140730555562461 140730555568063 0
/proc/21616/statm: 42180 38649 992 2593 0 39073 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 168720 KiB
Current children cumulated memory: 154596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.54 s, system=2.52533 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.06
CPU user time (s): 3597.54
CPU system time (s): 2.52533
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 234476
Max. memory (cumulated for all children) (KiB): 220236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.54
system time used= 2.52533
maximum resident set size= 220236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429925
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= 78
involuntary context switches= 8003


# summary of solver processes directly reported to runsolver:
#   pid: 21616
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.54
#   total CPU system time (s): 2.52533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61722 second user time and 16.915 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-06-29 10:46:47
IDJOB=4510602
IDBENCH=160374
IDSOLVER=3322
FILE ID=nodeC034/4510602-1751186807
RUNJOBID= nodeC034-1751178706-20254
SLURM_JOB_ID= 9587541
Free space on /tmp= 433024 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510602-1751186807/watcher-4510602-1751186807 -o /tmp/evaluation-result-4510602-1751186807/solver-4510602-1751186807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751178706-20254 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4510602-1751186807.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=1946908267

nodeC034 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.711
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.53
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.760
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.53
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		: 3502.550
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.53
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		: 3599.947
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.53
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		: 3599.767
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.53
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.745
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.53
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		: 3627.777
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.53
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		: 3599.870
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129792268 kB
MemAvailable:   129482248 kB
Buffers:            3280 kB
Cached:           500448 kB
SwapCached:            0 kB
Active:           599224 kB
Inactive:         279332 kB
Active(anon):     392936 kB
Inactive(anon):        0 kB
Active(file):     206288 kB
Inactive(file):   279332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13668 kB
Writeback:             0 kB
AnonPages:        377396 kB
Mapped:           114840 kB
Shmem:             18104 kB
KReclaimable:      86796 kB
Slab:             172764 kB
SReclaimable:      86796 kB
SUnreclaim:        85968 kB
KernelStack:        4236 kB
PageTables:         3780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     721200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC034 at 2025-06-29 11:46:57