Trace number 4513634

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.07 3611.12

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
MD5SUM47f516134b673d8428e3cc21e9ca96cd
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.010725
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables123
Total number of constraints41
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)41
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
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.00	c Converting 82 PB-constraints to clauses...
0.00/0.00	c ============================[ Encoding Statistics ]============================
0.00/0.00	c |  Number of variables:           205                                         |
0.00/0.00	c |  Number of clauses:            1312                                         |
0.00/0.00	c ===============================================================================
3600.06/3611.11	c *** TERMINATED by signal 15 ***
3600.06/3611.11	c _______________________________________________________________________________
3600.06/3611.11	c 
3600.06/3611.11	c _______________________________________________________________________________
3600.06/3611.11	c 
3600.06/3611.11	c =======================[ UWrMaxSat resources usage ]===========================
3600.06/3611.11	c Memory used            : 174.00 MB
3600.06/3611.11	c CPU time               : 3598.2 s
3600.06/3611.11	c Constr Enc: Srt/BDD/Add: 41 0 0
3600.06/3611.11	c _______________________________________________________________________________
3600.06/3611.11	c _______________________________________________________________________________
3600.06/3611.11	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: 63794 MiB (60797 MiB free)
  memory of node 1: 64507 MiB (59725 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513634-1751215669/watcher-4513634-1751215669 -o /tmp/evaluation-result-4513634-1751215669/solver-4513634-1751215669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751215608-30251 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4513634-1751215669.opb -mem-lim=31000 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30535, runsolver pid=30532
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 2.98 2.96 3.59 5/259 30536
/proc/meminfo: memFree=123416064/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=3900 memory=3456 CPUtime=0.1 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 410 0 0 0 10 0 0 0 20 0 1 0 37246663 3993600 864 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 975 864 544 484 0 386 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 3900 KiB
Current children cumulated memory: 3456 KiB

[startup+0.21352 s]*
/proc/loadavg: 2.98 2.96 3.59 5/259 30536
/proc/meminfo: memFree=123413840/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=3972 memory=3520 CPUtime=0.22 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 585 0 0 0 22 0 0 0 20 0 1 0 37246663 4067328 880 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 993 880 544 484 0 404 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 3972 KiB
Current children cumulated memory: 3520 KiB

[startup+0.312941 s]*
/proc/loadavg: 2.98 2.96 3.59 5/259 30536
/proc/meminfo: memFree=123413840/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=4548 memory=4032 CPUtime=0.31 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 715 0 0 0 31 0 0 0 20 0 1 0 37246663 4657152 1008 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 1137 1008 544 484 0 548 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 4548 KiB
Current children cumulated memory: 4032 KiB

[startup+0.700309 s]
/proc/loadavg: 2.98 2.96 3.59 5/259 30536
/proc/meminfo: memFree=123413840/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=5096 memory=4576 CPUtime=0.68 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 1286 0 0 0 68 0 0 0 20 0 1 0 37246663 5218304 1144 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 1274 1144 544 484 0 685 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 5096 KiB
Current children cumulated memory: 4576 KiB

[startup+1.50026 s]
/proc/loadavg: 2.98 2.96 3.59 5/259 30536
/proc/meminfo: memFree=123413840/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=6492 memory=5960 CPUtime=1.48 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 2874 0 0 0 148 0 0 0 20 0 1 0 37246663 6647808 1490 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 1623 1490 544 484 0 1034 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 6492 KiB
Current children cumulated memory: 5960 KiB

[startup+3.11422 s]
/proc/loadavg: 3.07 2.97 3.59 5/259 30536
/proc/meminfo: memFree=123414204/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=9440 memory=8728 CPUtime=3.1 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 5058 0 0 0 309 1 0 0 20 0 1 0 37246663 9666560 2182 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 2360 2182 544 484 0 1771 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 9440 KiB
Current children cumulated memory: 8728 KiB

[startup+6.30025 s]
/proc/loadavg: 3.07 2.97 3.59 5/259 30536
/proc/meminfo: memFree=123405872/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=12356 memory=11780 CPUtime=6.27 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 10487 0 0 0 626 1 0 0 20 0 1 0 37246663 12652544 2945 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 3089 2945 544 484 0 2500 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 12356 KiB
Current children cumulated memory: 11780 KiB

[startup+12.7003 s]
/proc/loadavg: 3.14 2.99 3.59 5/259 30536
/proc/meminfo: memFree=123398248/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=16824 memory=15200 CPUtime=12.65 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 14196 0 0 0 1263 2 0 0 20 0 1 0 37246663 17227776 3800 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 4206 3800 544 484 0 3617 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 16824 KiB
Current children cumulated memory: 15200 KiB

[startup+25.5003 s]
/proc/loadavg: 3.40 3.06 3.61 5/259 30537
/proc/meminfo: memFree=123391280/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=22180 memory=21496 CPUtime=25.41 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 20363 0 0 0 2538 3 0 0 20 0 1 0 37246663 22712320 5374 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 5545 5374 544 484 0 4956 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 22180 KiB
Current children cumulated memory: 21496 KiB

[startup+51.1134 s]
/proc/loadavg: 3.61 3.14 3.62 5/259 30582
/proc/meminfo: memFree=123371852/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=28692 memory=27900 CPUtime=50.93 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 30303 0 0 0 5087 6 0 0 20 0 1 0 37246663 29380608 6975 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 7173 6975 544 484 0 6584 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 28692 KiB
Current children cumulated memory: 27900 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.30 3.65 5/260 30586
/proc/meminfo: memFree=123317800/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=39600 memory=38916 CPUtime=101.94 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 42830 0 0 0 10184 10 0 0 20 0 1 0 37246663 40550400 9729 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 9900 9729 544 484 0 9311 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 38916 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 3.46 3.69 5/256 30588
/proc/meminfo: memFree=123249544/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=48356 memory=46656 CPUtime=161.75 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 52699 0 0 0 16161 14 0 0 20 0 1 0 37246663 49516544 11664 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 12089 11664 544 484 0 11500 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 48356 KiB
Current children cumulated memory: 46656 KiB

[startup+222.3 s]
/proc/loadavg: 4.52 3.69 3.75 5/252 30590
/proc/meminfo: memFree=123210184/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=51376 memory=49968 CPUtime=221.56 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 64604 0 0 0 22138 18 0 0 20 0 1 0 37246663 52609024 12492 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 12844 12492 544 484 0 12255 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 51376 KiB
Current children cumulated memory: 49968 KiB

[startup+282.3 s]
/proc/loadavg: 4.49 3.85 3.81 5/252 30595
/proc/meminfo: memFree=123194176/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=54600 memory=49204 CPUtime=281.37 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 89028 0 0 0 28112 25 0 0 20 0 1 0 37246663 55910400 12301 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 13650 12301 544 484 0 13061 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 54600 KiB
Current children cumulated memory: 49204 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 3.89 3.83 5/251 30597
/proc/meminfo: memFree=123165680/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=57028 memory=50844 CPUtime=341.17 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 114591 0 0 0 34083 34 0 0 20 0 1 0 37246663 58396672 12711 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 14257 12711 544 484 0 13668 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 57028 KiB
Current children cumulated memory: 50844 KiB

[startup+402.3 s]
/proc/loadavg: 4.29 3.96 3.85 5/251 30599
/proc/meminfo: memFree=123161888/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=42076 memory=41008 CPUtime=400.96 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 130535 0 0 0 40057 39 0 0 20 0 1 0 37246663 43085824 10252 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 10519 10252 544 484 0 9930 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 42076 KiB
Current children cumulated memory: 41008 KiB

[startup+462.3 s]
/proc/loadavg: 4.80 4.17 3.93 5/250 30601
/proc/meminfo: memFree=123186008/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=62692 memory=58348 CPUtime=460.78 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 157510 0 0 0 46030 48 0 0 20 0 1 0 37246663 64196608 14587 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 15673 14587 544 484 0 15084 0

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

Current children cumulated memory: 155108 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/250 30727
/proc/meminfo: memFree=122841304/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=87828 memory=87180 CPUtime=2913.44 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 385991 0 0 0 291202 142 0 0 20 0 1 0 37246663 89935872 21795 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 21957 21795 544 484 0 21368 0
Current children cumulated CPU time: 2913.44 s
Current children cumulated vsize: 87828 KiB
Current children cumulated memory: 87180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/250 30729
/proc/meminfo: memFree=122823148/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=123644 memory=109240 CPUtime=2973.26 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 399683 0 0 0 297180 146 0 0 20 0 1 0 37246663 126611456 27310 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 30911 27310 544 484 0 30322 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 123644 KiB
Current children cumulated memory: 109240 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/250 30731
/proc/meminfo: memFree=122789656/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=128084 memory=126140 CPUtime=3033.1 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 404669 0 0 0 303162 148 0 0 20 0 1 0 37246663 131158016 31535 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 32021 31535 544 484 0 31432 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 128084 KiB
Current children cumulated memory: 126140 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/250 30733
/proc/meminfo: memFree=122764136/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=155428 memory=152844 CPUtime=3092.91 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 407885 0 0 0 309142 149 0 0 20 0 1 0 37246663 159158272 38211 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 38857 38211 544 484 0 38268 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 155428 KiB
Current children cumulated memory: 152844 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/250 30735
/proc/meminfo: memFree=122770504/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=155428 memory=154636 CPUtime=3152.74 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 408336 0 0 0 315124 150 0 0 20 0 1 0 37246663 159158272 38659 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 38857 38659 544 484 0 38268 0
Current children cumulated CPU time: 3152.74 s
Current children cumulated vsize: 155428 KiB
Current children cumulated memory: 154636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/250 30737
/proc/meminfo: memFree=122818092/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=94084 memory=87520 CPUtime=3212.55 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 418095 0 0 0 321102 153 0 0 20 0 1 0 37246663 96342016 21880 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 23521 21880 544 484 0 22932 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 94084 KiB
Current children cumulated memory: 87520 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/250 30741
/proc/meminfo: memFree=122793920/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=127456 memory=111548 CPUtime=3272.37 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 433143 0 0 0 327079 158 0 0 20 0 1 0 37246663 130514944 27887 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 31864 27887 544 484 0 31275 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 127456 KiB
Current children cumulated memory: 111548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/249 30743
/proc/meminfo: memFree=122821780/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=135584 memory=128316 CPUtime=3332.16 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 445897 0 0 0 333052 164 0 0 20 0 1 0 37246663 138838016 32079 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 33896 32079 544 484 0 33307 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 135584 KiB
Current children cumulated memory: 128316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/249 30745
/proc/meminfo: memFree=122836984/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=111652 memory=99512 CPUtime=3391.96 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 462190 0 0 0 339025 171 0 0 20 0 1 0 37246663 114331648 24878 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 27913 24878 544 484 0 27324 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 111652 KiB
Current children cumulated memory: 99512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/249 30747
/proc/meminfo: memFree=122857396/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=104168 memory=97084 CPUtime=3451.75 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 480801 0 0 0 344997 178 0 0 20 0 1 0 37246663 106668032 24271 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 26042 24271 544 484 0 25453 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 104168 KiB
Current children cumulated memory: 97084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/250 30754
/proc/meminfo: memFree=122829680/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=87168 memory=86520 CPUtime=3511.55 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 489239 0 0 0 350974 181 0 0 20 0 1 0 37246663 89260032 21630 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 21792 21630 544 484 0 21203 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 86520 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/250 30756
/proc/meminfo: memFree=122811504/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=133988 memory=123832 CPUtime=3571.35 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 498446 0 0 0 356950 185 0 0 20 0 1 0 37246663 137203712 30958 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 33497 30958 544 484 0 32908 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 133988 KiB
Current children cumulated memory: 123832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.18 4.13 4.11 5/250 30846
/proc/meminfo: memFree=123097644/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=134152 memory=129856 CPUtime=3600.06 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 500401 0 0 0 359820 186 0 0 20 0 1 0 37246663 137371648 32464 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 33538 32464 544 484 0 32949 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 134152 KiB
Current children cumulated memory: 129856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.2 s, system=1.87037 s

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

[startup+3611.11 s]
/proc/loadavg: 4.18 4.13 4.11 5/250 30846
/proc/meminfo: memFree=123097644/131382112 swapFree=33010684/33010684
[pid=30535] ppid=30532 vsize=134152 memory=129856 CPUtime=3600.06 cores=0,2
/proc/30535/stat : 30535 (uwrmaxsat) R 30532 30535 30241 0 -1 4194304 500401 0 0 0 359820 186 0 0 20 0 1 0 37246663 137371648 32464 18446744073709551615 4198400 6176925 140733367172384 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 37969920 140733367179626 140733367179753 140733367179753 140733367185355 0
/proc/30535/statm: 33538 32464 544 484 0 32949 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 134152 KiB
Current children cumulated memory: 129856 KiB

Child status: 0

Real time (s): 3611.12
CPU time (s): 3600.07
CPU user time (s): 3598.2
CPU system time (s): 1.87037
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 178888
Max. memory (cumulated for all children) (KiB): 178052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.2
system time used= 1.87037
maximum resident set size= 178052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500401
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= 72
involuntary context switches= 8135


# summary of solver processes directly reported to runsolver:
#   pid: 30535
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.2
#   total CPU system time (s): 1.87037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9376 second user time and 35.2133 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-29 18:47:49
IDJOB=4513634
IDBENCH=162388
IDSOLVER=3372
FILE ID=nodeC009/4513634-1751215669
RUNJOBID= nodeC009-1751215608-30251
SLURM_JOB_ID= 9587652
Free space on /tmp= 432648 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513634-1751215669/watcher-4513634-1751215669 -o /tmp/evaluation-result-4513634-1751215669/solver-4513634-1751215669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751215608-30251 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4513634-1751215669.opb -mem-lim=31000

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

MD5SUM BENCH= 47f516134b673d8428e3cc21e9ca96cd
RANDOM SEED=125963444

nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.233
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.85
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		: 3662.654
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.85
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.717
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.85
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.588
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.789
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.85
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		: 3662.662
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.85
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.249
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.85
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.476
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123416176 kB
MemAvailable:   129852268 kB
Buffers:            3280 kB
Cached:          7209972 kB
SwapCached:            0 kB
Active:           443216 kB
Inactive:        6912684 kB
Active(anon):     159640 kB
Inactive(anon):      968 kB
Active(file):     283576 kB
Inactive(file):  6911716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10876 kB
Writeback:             0 kB
AnonPages:        144824 kB
Mapped:           109536 kB
Shmem:             17960 kB
KReclaimable:     160468 kB
Slab:             243464 kB
SReclaimable:     160468 kB
SUnreclaim:        82996 kB
KernelStack:        4192 kB
PageTables:         3128 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     477924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432648 MiB
End job on nodeC009 at 2025-06-29 19:48:00