Trace number 4541893

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
UWrMaxSat 2025-06-04? (TO) 3600.09 3609.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
MD5SUMb6349d7dce380ae2e08847675885e6d3
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.773453
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6208
Total number of constraints3201
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3201
Minimum length of a constraint2
Maximum length of a constraint128
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 9223372036854775808
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 36893488147419103231
Number of bits of the biggest sum of numbers65
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
0.00/0.03	c Converting 6401 PB-constraints to clauses...
0.00/0.09	c ============================[ Encoding Statistics ]============================
0.00/0.09	c |  Number of variables:         10302                                         |
0.00/0.09	c |  Number of clauses:           33982                                         |
0.00/0.09	c ===============================================================================
3600.08/3609.50	c *** TERMINATED by signal 15 ***
3600.08/3609.50	c _______________________________________________________________________________
3600.08/3609.50	c 
3600.08/3609.50	c _______________________________________________________________________________
3600.08/3609.50	c 
3600.08/3609.50	c =======================[ UWrMaxSat resources usage ]===========================
3600.08/3609.50	c Memory used            : 411.00 MB
3600.08/3609.50	c CPU time               : 3597.15 s
3600.08/3609.50	c Constr Enc: Srt/BDD/Add: 3201 0 0
3600.08/3609.50	c _______________________________________________________________________________
3600.08/3609.50	c _______________________________________________________________________________
3600.08/3609.50	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 (62326 MiB free)
  memory of node 1: 64507 MiB (63523 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541893-1753213494/watcher-4541893-1753213494 -o /tmp/evaluation-result-4541893-1753213494/solver-4541893-1753213494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753209881-165422 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4541893-1753213494.opb -mem-lim=31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=165834, runsolver pid=165826

[startup+0.10006 s]*
/proc/loadavg: 4.04 4.09 4.09 5/263 165839
/proc/meminfo: memFree=128848236/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=17504 memory=16288 CPUtime=0.09 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 4544 0 0 0 9 0 0 0 20 0 1 0 237028264 17924096 4072 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 4376 4072 512 484 0 3787 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17504 KiB
Current children cumulated memory: 16288 KiB

[startup+0.205489 s]*
/proc/loadavg: 4.04 4.09 4.09 5/263 165839
/proc/meminfo: memFree=128838288/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=20684 memory=19124 CPUtime=0.2 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 5807 0 0 0 19 1 0 0 20 0 1 0 237028264 21180416 4781 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 5171 4781 512 484 0 4582 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20684 KiB
Current children cumulated memory: 19124 KiB

[startup+0.305095 s]*
/proc/loadavg: 4.04 4.09 4.09 5/263 165839
/proc/meminfo: memFree=128837532/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=21324 memory=19224 CPUtime=0.3 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 6171 0 0 0 29 1 0 0 20 0 1 0 237028264 21835776 4806 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 5331 4806 512 484 0 4742 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21324 KiB
Current children cumulated memory: 19224 KiB

[startup+0.700119 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 165839
/proc/meminfo: memFree=128836776/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=22108 memory=19888 CPUtime=0.69 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 8026 0 0 0 68 1 0 0 20 0 1 0 237028264 22638592 4972 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 5527 4972 512 484 0 4938 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22108 KiB
Current children cumulated memory: 19888 KiB

[startup+1.50012 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 165839
/proc/meminfo: memFree=128832240/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=23436 memory=21044 CPUtime=1.49 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 10438 0 0 0 147 2 0 0 20 0 1 0 237028264 23998464 5261 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 5859 5261 512 484 0 5270 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 23436 KiB
Current children cumulated memory: 21044 KiB

[startup+3.10473 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 165839
/proc/meminfo: memFree=128823676/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=24396 memory=21852 CPUtime=3.08 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 13327 0 0 0 306 2 0 0 20 0 1 0 237028264 24981504 5463 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 6099 5463 512 484 0 5510 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 24396 KiB
Current children cumulated memory: 21852 KiB

[startup+6.30013 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 165839
/proc/meminfo: memFree=128820372/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=30320 memory=28124 CPUtime=6.27 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 20229 0 0 0 623 4 0 0 20 0 1 0 237028264 31047680 7031 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 7580 7031 512 484 0 6991 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30320 KiB
Current children cumulated memory: 28124 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 165839
/proc/meminfo: memFree=128829268/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=33128 memory=31192 CPUtime=12.66 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 22052 0 0 0 1261 5 0 0 20 0 1 0 237028264 33923072 7798 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 8282 7798 512 484 0 7693 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33128 KiB
Current children cumulated memory: 31192 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 165839
/proc/meminfo: memFree=128806412/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=50672 memory=48988 CPUtime=25.43 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 29193 0 0 0 2536 7 0 0 20 0 1 0 237028264 51888128 12247 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 12668 12247 512 484 0 12079 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 50672 KiB
Current children cumulated memory: 48988 KiB

[startup+51.1056 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 165840
/proc/meminfo: memFree=128761148/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=58796 memory=56884 CPUtime=50.96 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 35473 0 0 0 5087 9 0 0 20 0 1 0 237028264 60207104 14221 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 14699 14221 512 484 0 14110 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 58796 KiB
Current children cumulated memory: 56884 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 165842
/proc/meminfo: memFree=128721964/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=103876 memory=102236 CPUtime=102.02 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 48044 0 0 0 10186 16 0 0 20 0 1 0 237028264 106369024 25559 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 25969 25559 512 484 0 25380 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 103876 KiB
Current children cumulated memory: 102236 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 165845
/proc/meminfo: memFree=128682832/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=119628 memory=117980 CPUtime=161.86 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 50728 0 0 0 16168 18 0 0 20 0 1 0 237028264 122499072 29495 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 29907 29495 512 484 0 29318 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 119628 KiB
Current children cumulated memory: 117980 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 165848
/proc/meminfo: memFree=128695192/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=111016 memory=109712 CPUtime=221.7 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 52133 0 0 0 22151 19 0 0 20 0 1 0 237028264 113680384 27428 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 27754 27428 512 484 0 27165 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 111016 KiB
Current children cumulated memory: 109712 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 165850
/proc/meminfo: memFree=128650616/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=114052 memory=112748 CPUtime=281.55 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 58547 0 0 0 28129 26 0 0 20 0 1 0 237028264 116789248 28187 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 28513 28187 512 484 0 27924 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 114052 KiB
Current children cumulated memory: 112748 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 165897
/proc/meminfo: memFree=126328128/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=124572 memory=121316 CPUtime=341.39 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 63747 0 0 0 34107 32 0 0 20 0 1 0 237028264 127561728 30329 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 31143 30329 512 484 0 30554 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 124572 KiB
Current children cumulated memory: 121316 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 165899
/proc/meminfo: memFree=123320064/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=139344 memory=134792 CPUtime=401.23 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 68292 0 0 0 40085 38 0 0 20 0 1 0 237028264 142688256 33698 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 34836 33698 512 484 0 34247 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 139344 KiB
Current children cumulated memory: 134792 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 165900
/proc/meminfo: memFree=123147092/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=141212 memory=139772 CPUtime=461.06 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 71954 0 0 0 46063 43 0 0 20 0 1 0 237028264 144601088 34943 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 35303 34943 512 484 0 34714 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 318816 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 166025
/proc/meminfo: memFree=123213368/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=322812 memory=319368 CPUtime=2914.69 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 176051 0 0 0 291210 259 0 0 20 0 1 0 237028264 330559488 79842 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 80703 79842 512 484 0 80114 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 322812 KiB
Current children cumulated memory: 319368 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/263 166034
/proc/meminfo: memFree=122580280/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=323568 memory=320124 CPUtime=2974.53 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 176817 0 0 0 297191 262 0 0 20 0 1 0 237028264 331333632 80031 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 80892 80031 512 484 0 80303 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 323568 KiB
Current children cumulated memory: 320124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.42 4.24 4.15 5/263 166035
/proc/meminfo: memFree=123229040/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=330220 memory=327684 CPUtime=3034.37 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 178592 0 0 0 303172 265 0 0 20 0 1 0 237028264 338145280 81921 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 82555 81921 512 484 0 81966 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 330220 KiB
Current children cumulated memory: 327684 KiB

[startup+3102.3 s]
/proc/loadavg: 4.75 4.34 4.19 5/263 166037
/proc/meminfo: memFree=123199448/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=407900 memory=405404 CPUtime=3094.22 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 180040 0 0 0 309154 268 0 0 20 0 1 0 237028264 417689600 101351 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 101975 101351 512 484 0 101386 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 407900 KiB
Current children cumulated memory: 405404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.49 4.35 4.20 5/263 166039
/proc/meminfo: memFree=123197728/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=330976 memory=328548 CPUtime=3154.05 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 180525 0 0 0 315136 269 0 0 20 0 1 0 237028264 338919424 82137 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 82744 82137 512 484 0 82155 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 330976 KiB
Current children cumulated memory: 328548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.30 4.19 5/263 166041
/proc/meminfo: memFree=123193456/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=331408 memory=328980 CPUtime=3213.89 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 181749 0 0 0 321117 272 0 0 20 0 1 0 237028264 339361792 82245 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 82852 82245 512 484 0 82263 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 331408 KiB
Current children cumulated memory: 328980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.27 4.18 5/262 166043
/proc/meminfo: memFree=123251768/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=331972 memory=329544 CPUtime=3273.74 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 182639 0 0 0 327098 276 0 0 20 0 1 0 237028264 339939328 82386 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 82993 82386 512 484 0 82404 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 331972 KiB
Current children cumulated memory: 329544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/262 166045
/proc/meminfo: memFree=123237488/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=332880 memory=330452 CPUtime=3333.59 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 183442 0 0 0 333080 279 0 0 20 0 1 0 237028264 340869120 82613 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 83220 82613 512 484 0 82631 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 332880 KiB
Current children cumulated memory: 330452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/262 166047
/proc/meminfo: memFree=123054180/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=333468 memory=331040 CPUtime=3393.42 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 184701 0 0 0 339060 282 0 0 20 0 1 0 237028264 341471232 82760 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 83367 82760 512 484 0 82778 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 333468 KiB
Current children cumulated memory: 331040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.18 4.16 5/262 166049
/proc/meminfo: memFree=123200316/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=338680 memory=336176 CPUtime=3453.27 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 186099 0 0 0 345042 285 0 0 20 0 1 0 237028264 346808320 84044 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 84670 84044 512 484 0 84081 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 338680 KiB
Current children cumulated memory: 336176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/262 166051
/proc/meminfo: memFree=123213284/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=339252 memory=336864 CPUtime=3513.11 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 187067 0 0 0 351023 288 0 0 20 0 1 0 237028264 347394048 84216 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 84813 84216 512 484 0 84224 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 339252 KiB
Current children cumulated memory: 336864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/263 166060
/proc/meminfo: memFree=123219340/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=339800 memory=337468 CPUtime=3572.95 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 187901 0 0 0 357004 291 0 0 20 0 1 0 237028264 347955200 84367 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 84950 84367 512 484 0 84361 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 339800 KiB
Current children cumulated memory: 337468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.09 4.14 4.15 5/263 166061
/proc/meminfo: memFree=123050148/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=340384 memory=338084 CPUtime=3600.08 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 188450 0 0 0 359715 293 0 0 20 0 1 0 237028264 348553216 84521 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 85096 84521 512 484 0 84507 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 340384 KiB
Current children cumulated memory: 338084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.15 s, system=2.93851 s

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

[startup+3609.5 s]
/proc/loadavg: 4.09 4.14 4.15 5/263 166061
/proc/meminfo: memFree=123050148/131249988 swapFree=33010160/33010684
[pid=165834] ppid=165826 vsize=340384 memory=338084 CPUtime=3600.08 cores=1,3
/proc/165834/stat : 165834 (uwrmaxsat) R 165826 165834 165410 0 -1 4194304 188450 0 0 0 359715 293 0 0 20 0 1 0 237028264 348553216 84521 18446744073709551615 4198400 6176925 140721762902032 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 18235392 140721762904424 140721762904551 140721762904551 140721762910155 0
/proc/165834/statm: 85096 84521 512 484 0 84507 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 340384 KiB
Current children cumulated memory: 338084 KiB

Child status: 0

Real time (s): 3609.5
CPU time (s): 3600.09
CPU user time (s): 3597.15
CPU system time (s): 2.93851
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 421680
Max. memory (cumulated for all children) (KiB): 419340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.15
system time used= 2.93851
maximum resident set size= 419340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188450
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= 25
involuntary context switches= 1679


# summary of solver processes directly reported to runsolver:
#   pid: 165834
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.15
#   total CPU system time (s): 2.93851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.192 second user time and 16.3072 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-22 21:44:54
IDJOB=4541893
IDBENCH=163529
IDSOLVER=3372
FILE ID=nodeC034/4541893-1753213494
RUNJOBID= nodeC034-1753209881-165422
SLURM_JOB_ID= 9687778
Free space on /tmp= 433036 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541893-1753213494/watcher-4541893-1753213494 -o /tmp/evaluation-result-4541893-1753213494/solver-4541893-1753213494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753209881-165422 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4541893-1753213494.opb -mem-lim=31000

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

MD5SUM BENCH= b6349d7dce380ae2e08847675885e6d3
RANDOM SEED=684873033

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.767
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		: 3600.455
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		: 3600.002
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.758
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.749
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		: 3601.491
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		: 3594.959
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.785
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:        128881544 kB
MemAvailable:   129481984 kB
Buffers:            2128 kB
Cached:          1339268 kB
SwapCached:           32 kB
Active:          1393116 kB
Inactive:         218872 kB
Active(anon):     294460 kB
Inactive(anon):     2152 kB
Active(file):    1098656 kB
Inactive(file):   216720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6280 kB
Writeback:             0 kB
AnonPages:        272400 kB
Mapped:           111260 kB
Shmem:             26264 kB
KReclaimable:     248208 kB
Slab:             346276 kB
SReclaimable:     248208 kB
SUnreclaim:        98068 kB
KernelStack:        4208 kB
PageTables:         3528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     564372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 432956 MiB
End job on nodeC034 at 2025-07-22 22:45:04