Trace number 4506740

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.05 3609.7

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
MD5SUM963edb3c79c326322e0bda3e585d3232
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15946
Total number of constraints16216
Number of constraints which are clauses16082
Number of constraints which are cardinality constraints (but not clauses)134
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 135
Number of bits of the biggest sum of numbers8
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.09/0.17	c Converting 16214 PB-constraints to clauses...
0.20/0.24	c ============================[ Encoding Statistics ]============================
0.20/0.24	c |  Number of variables:         19292                                         |
0.20/0.24	c |  Number of clauses:           82077                                         |
0.20/0.24	c ===============================================================================
3600.03/3609.70	c *** TERMINATED by signal 15 ***
3600.03/3609.70	c _______________________________________________________________________________
3600.03/3609.70	c 
3600.03/3609.70	c _______________________________________________________________________________
3600.03/3609.70	c 
3600.03/3609.70	c =======================[ UWrMaxSat resources usage ]===========================
3600.03/3609.70	c Memory used            : 534.00 MB
3600.03/3609.70	c CPU time               : 3598.08 s
3600.03/3609.70	c Constr Enc: Srt/BDD/Add: 132 0 0
3600.03/3609.70	c _______________________________________________________________________________
3600.03/3609.70	c _______________________________________________________________________________
3600.03/3609.70	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: 63708 MiB (61577 MiB free)
  memory of node 1: 64465 MiB (63607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506740-1751172240/watcher-4506740-1751172240 -o /tmp/evaluation-result-4506740-1751172240/solver-4506740-1751172240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751168627-20769 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4506740-1751172240.opb -mem-lim=31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21592, runsolver pid=21589
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.13 4.09 4.02 5/264 21593
/proc/meminfo: memFree=128154284/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=20980 memory=19900 CPUtime=0.09 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 4770 0 0 0 9 0 0 0 20 0 1 0 32902588 21483520 4975 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 5245 4975 448 484 0 4656 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20980 KiB
Current children cumulated memory: 19900 KiB

[startup+0.205531 s]*
/proc/loadavg: 4.13 4.09 4.02 5/264 21593
/proc/meminfo: memFree=128128328/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=35292 memory=34000 CPUtime=0.2 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 8759 0 0 0 19 1 0 0 20 0 1 0 32902588 36139008 8500 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 8823 8500 480 484 0 8234 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35292 KiB
Current children cumulated memory: 34000 KiB

[startup+0.305427 s]*
/proc/loadavg: 4.13 4.09 4.02 5/264 21593
/proc/meminfo: memFree=128102876/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=40852 memory=38992 CPUtime=0.3 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 10615 0 0 0 29 1 0 0 20 0 1 0 32902588 41832448 9748 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 10213 9748 544 484 0 9624 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 38992 KiB

[startup+0.700175 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 21593
/proc/meminfo: memFree=128070620/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=44260 memory=42404 CPUtime=0.68 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 11687 0 0 0 67 1 0 0 20 0 1 0 32902588 45322240 10601 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 11065 10601 544 484 0 10476 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44260 KiB
Current children cumulated memory: 42404 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 21593
/proc/meminfo: memFree=127988468/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=81212 memory=79220 CPUtime=1.48 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 21593 0 0 0 145 3 0 0 20 0 1 0 32902588 83161088 19805 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 20303 19805 544 484 0 19714 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81212 KiB
Current children cumulated memory: 79220 KiB

[startup+3.1053 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 21593
/proc/meminfo: memFree=127634156/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=85980 memory=84580 CPUtime=3.09 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 23052 0 0 0 305 4 0 0 20 0 1 0 32902588 88043520 21145 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 21495 21145 544 484 0 20906 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 85980 KiB
Current children cumulated memory: 84580 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 21638
/proc/meminfo: memFree=127409772/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=85980 memory=84872 CPUtime=6.27 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 23632 0 0 0 623 4 0 0 20 0 1 0 32902588 88043520 21218 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 21495 21218 544 484 0 20906 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85980 KiB
Current children cumulated memory: 84872 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 21640
/proc/meminfo: memFree=127393060/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=90632 memory=89372 CPUtime=12.65 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 26407 0 0 0 1260 5 0 0 20 0 1 0 32902588 92807168 22343 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 22658 22343 544 484 0 22069 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90632 KiB
Current children cumulated memory: 89372 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 21640
/proc/meminfo: memFree=127394704/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=93644 memory=92444 CPUtime=25.42 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 29060 0 0 0 2536 6 0 0 20 0 1 0 32902588 95891456 23111 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 23411 23111 544 484 0 22822 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 93644 KiB
Current children cumulated memory: 92444 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 21640
/proc/meminfo: memFree=127388772/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=103068 memory=101788 CPUtime=50.95 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 31633 0 0 0 5088 7 0 0 20 0 1 0 32902588 105541632 25447 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 25767 25447 544 484 0 25178 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 103068 KiB
Current children cumulated memory: 101788 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/264 21642
/proc/meminfo: memFree=127334496/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=124380 memory=123204 CPUtime=102.01 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 38073 0 0 0 10192 9 0 0 20 0 1 0 32902588 127365120 30801 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 31095 30801 544 484 0 30506 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 124380 KiB
Current children cumulated memory: 123204 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.15 4.04 5/264 21688
/proc/meminfo: memFree=128636568/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=138204 memory=136988 CPUtime=161.83 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 40051 0 0 0 16172 11 0 0 20 0 1 0 32902588 141520896 34247 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 34551 34247 544 484 0 33962 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 138204 KiB
Current children cumulated memory: 136988 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.05 5/264 21690
/proc/meminfo: memFree=128642100/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=151932 memory=150684 CPUtime=221.67 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 40445 0 0 0 22155 12 0 0 20 0 1 0 32902588 155578368 37671 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 37983 37671 544 484 0 37394 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 151932 KiB
Current children cumulated memory: 150684 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/265 21695
/proc/meminfo: memFree=128582212/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=172268 memory=169140 CPUtime=281.5 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 42017 0 0 0 28137 13 0 0 20 0 1 0 32902588 176402432 42285 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 43067 42285 544 484 0 42478 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 172268 KiB
Current children cumulated memory: 169140 KiB

[startup+342.3 s]
/proc/loadavg: 4.34 4.17 4.07 5/263 21711
/proc/meminfo: memFree=129455712/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=215416 memory=214240 CPUtime=341.33 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 44758 0 0 0 34118 15 0 0 20 0 1 0 32902588 220585984 53560 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 53854 53560 544 484 0 53265 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 215416 KiB
Current children cumulated memory: 214240 KiB

[startup+402.3 s]
/proc/loadavg: 4.29 4.20 4.08 5/263 21789
/proc/meminfo: memFree=129365420/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=213456 memory=212636 CPUtime=401.15 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 47160 0 0 0 40097 18 0 0 20 0 1 0 32902588 218578944 53159 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 53364 53159 544 484 0 52775 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 213456 KiB
Current children cumulated memory: 212636 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.08 5/263 21791
/proc/meminfo: memFree=129248916/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=237152 memory=236360 CPUtime=461 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 50272 0 0 0 46079 21 0 0 20 0 1 0 32902588 242843648 59090 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 59288 59090 544 484 0 58699 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 351704 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 21957
/proc/meminfo: memFree=128728252/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=369864 memory=367476 CPUtime=2914.59 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 139250 0 0 0 291307 152 0 0 20 0 1 0 32902588 378740736 91869 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 92466 91869 544 484 0 91877 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 369864 KiB
Current children cumulated memory: 367476 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 22004
/proc/meminfo: memFree=128836520/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=358292 memory=355904 CPUtime=2974.41 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 140776 0 0 0 297285 156 0 0 20 0 1 0 32902588 366891008 88976 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 89573 88976 544 484 0 88984 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 358292 KiB
Current children cumulated memory: 355904 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 22011
/proc/meminfo: memFree=128845816/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=344548 memory=342160 CPUtime=3034.24 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 142667 0 0 0 303263 161 0 0 20 0 1 0 32902588 352817152 85540 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 86137 85540 544 484 0 85548 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 344548 KiB
Current children cumulated memory: 342160 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 22013
/proc/meminfo: memFree=128811876/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=341248 memory=338860 CPUtime=3094.08 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 144402 0 0 0 309243 165 0 0 20 0 1 0 32902588 349437952 84715 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 85312 84715 544 484 0 84723 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 341248 KiB
Current children cumulated memory: 338860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/264 22062
/proc/meminfo: memFree=128893184/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=340940 memory=338556 CPUtime=3153.9 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 146705 0 0 0 315222 168 0 0 20 0 1 0 32902588 349122560 84639 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 85235 84639 544 484 0 84646 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 340940 KiB
Current children cumulated memory: 338556 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.16 4.11 5/264 22064
/proc/meminfo: memFree=128831268/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=344172 memory=341788 CPUtime=3213.74 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 147654 0 0 0 321203 171 0 0 20 0 1 0 32902588 352432128 85447 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 86043 85447 544 484 0 85454 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 344172 KiB
Current children cumulated memory: 341788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/264 22066
/proc/meminfo: memFree=128770544/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=350168 memory=347256 CPUtime=3273.57 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 149489 0 0 0 327182 175 0 0 20 0 1 0 32902588 358572032 86814 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 87542 86814 544 484 0 86953 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 350168 KiB
Current children cumulated memory: 347256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 22072
/proc/meminfo: memFree=128866144/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=333972 memory=333108 CPUtime=3333.39 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 151624 0 0 0 333159 180 0 0 20 0 1 0 32902588 341987328 83277 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 83493 83277 544 484 0 82904 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 333972 KiB
Current children cumulated memory: 333108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 22074
/proc/meminfo: memFree=128858008/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=342528 memory=341664 CPUtime=3393.22 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 153654 0 0 0 339139 183 0 0 20 0 1 0 32902588 350748672 85416 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 85632 85416 544 484 0 85043 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 342528 KiB
Current children cumulated memory: 341664 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 22076
/proc/meminfo: memFree=128848656/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=339832 memory=338968 CPUtime=3453.06 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 155417 0 0 0 345119 187 0 0 20 0 1 0 32902588 347987968 84742 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 84958 84742 544 484 0 84369 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 339832 KiB
Current children cumulated memory: 338968 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 22078
/proc/meminfo: memFree=128737372/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=355600 memory=354736 CPUtime=3512.89 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 156955 0 0 0 351099 190 0 0 20 0 1 0 32902588 364134400 88684 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 88900 88684 544 484 0 88311 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 355600 KiB
Current children cumulated memory: 354736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 22080
/proc/meminfo: memFree=128734452/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=348520 memory=347656 CPUtime=3572.71 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 158733 0 0 0 357077 194 0 0 20 0 1 0 32902588 356884480 86914 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 87130 86914 544 484 0 86541 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 348520 KiB
Current children cumulated memory: 347656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 22080
/proc/meminfo: memFree=128734992/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=344996 memory=344132 CPUtime=3600.03 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 159513 0 0 0 359807 196 0 0 20 0 1 0 32902588 353275904 86033 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 86249 86033 544 484 0 85660 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 344996 KiB
Current children cumulated memory: 344132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.08 s, system=1.96514 s

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

[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 22080
/proc/meminfo: memFree=128734992/131249988 swapFree=33010684/33010684
[pid=21592] ppid=21589 vsize=344996 memory=344132 CPUtime=3600.03 cores=4,6
/proc/21592/stat : 21592 (uwrmaxsat) R 21589 21592 20758 0 -1 4194304 159513 0 0 0 359807 196 0 0 20 0 1 0 32902588 353275904 86033 18446744073709551615 4198400 6176925 140726891072512 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 15007744 140726891080042 140726891080169 140726891080169 140726891085771 0
/proc/21592/statm: 86249 86033 544 484 0 85660 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 344996 KiB
Current children cumulated memory: 344132 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.05
CPU user time (s): 3598.08
CPU system time (s): 1.96514
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 547356
Max. memory (cumulated for all children) (KiB): 529804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.08
system time used= 1.96514
maximum resident set size= 534316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159513
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= 54
involuntary context switches= 1605


# summary of solver processes directly reported to runsolver:
#   pid: 21592
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.08
#   total CPU system time (s): 1.96514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49724 second user time and 15.5818 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-29 06:44:00
IDJOB=4506740
IDBENCH=158262
IDSOLVER=3372
FILE ID=nodeC031/4506740-1751172240
RUNJOBID= nodeC031-1751168627-20769
SLURM_JOB_ID= 9587512
Free space on /tmp= 432972 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506740-1751172240/watcher-4506740-1751172240 -o /tmp/evaluation-result-4506740-1751172240/solver-4506740-1751172240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751168627-20769 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4506740-1751172240.opb -mem-lim=31000

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

MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=989942351

nodeC031 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.860
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.78
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.875
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.78
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		: 3616.416
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.78
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		: 3627.721
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.78
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		: 3591.100
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.78
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.880
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.78
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		: 3599.892
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.78
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		: 3612.452
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128197880 kB
MemAvailable:   128000812 kB
Buffers:            3280 kB
Cached:           613048 kB
SwapCached:            0 kB
Active:          2036480 kB
Inactive:         394024 kB
Active(anon):    1832244 kB
Inactive(anon):        0 kB
Active(file):     204236 kB
Inactive(file):   394024 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39248 kB
Writeback:             0 kB
AnonPages:       1816272 kB
Mapped:           108984 kB
Shmem:             18064 kB
KReclaimable:      87824 kB
Slab:             173496 kB
SReclaimable:      87824 kB
SUnreclaim:        85672 kB
KernelStack:        4256 kB
PageTables:         6488 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2174456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1443840 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC031 at 2025-06-29 07:44:10