Trace number 4514858

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 3610.8

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-disctom.0.u.opb
MD5SUMf04c7bc93f027c2b63d00aa04181a654
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.290507
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10000
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 5001
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 15001
Number of bits of the biggest sum of numbers14
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.32/0.35	c Converting 789 PB-constraints to clauses...
3.38/3.42	c ============================[ Encoding Statistics ]============================
3.38/3.42	c |  Number of variables:        599934                                         |
3.38/3.42	c |  Number of clauses:         2704919                                         |
3.38/3.42	c ===============================================================================
3600.03/3610.80	c *** TERMINATED by signal 15 ***
3600.03/3610.80	c _______________________________________________________________________________
3600.03/3610.80	c 
3600.03/3610.80	c _______________________________________________________________________________
3600.03/3610.80	c 
3600.03/3610.80	c =======================[ UWrMaxSat resources usage ]===========================
3600.03/3610.80	c Memory used            : 1514.00 MB
3600.03/3610.80	c CPU time               : 3594.61 s
3600.03/3610.80	c Constr Enc: Srt/BDD/Add: 395 0 0
3600.03/3610.80	c _______________________________________________________________________________
3600.03/3610.80	c _______________________________________________________________________________
3600.03/3610.80	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 (60698 MiB free)
  memory of node 1: 64507 MiB (59658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514858-1751224188/watcher-4514858-1751224188 -o /tmp/evaluation-result-4514858-1751224188/solver-4514858-1751224188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751215608-30251 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4514858-1751224188.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
Starting watchdog thread
solver pid=32262, runsolver pid=32259
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 4.15 4.11 4.09 5/251 32263
/proc/meminfo: memFree=123244052/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=11972 memory=10796 CPUtime=0.1 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 2498 0 0 0 10 0 0 0 20 0 1 0 38098603 12259328 2699 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 2993 2699 448 484 0 2404 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 11972 KiB
Current children cumulated memory: 10796 KiB

[startup+0.213022 s]*
/proc/loadavg: 4.15 4.11 4.09 5/251 32263
/proc/meminfo: memFree=123242036/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=13448 memory=11948 CPUtime=0.21 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 2777 0 0 0 21 0 0 0 20 0 1 0 38098603 13770752 2987 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 3362 2987 448 484 0 2773 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13448 KiB
Current children cumulated memory: 11948 KiB

[startup+0.312906 s]*
/proc/loadavg: 4.21 4.13 4.10 5/251 32263
/proc/meminfo: memFree=123238004/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=16972 memory=14764 CPUtime=0.32 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 3499 0 0 0 31 1 0 0 20 0 1 0 38098603 17379328 3691 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 4243 3691 448 484 0 3654 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 16972 KiB
Current children cumulated memory: 14764 KiB

[startup+0.700295 s]
/proc/loadavg: 4.21 4.13 4.10 5/251 32263
/proc/meminfo: memFree=123220364/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=84584 memory=81852 CPUtime=0.69 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 12983 0 0 0 66 3 0 0 20 0 1 0 38098603 86614016 20463 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 21146 20463 480 484 0 20557 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84584 KiB
Current children cumulated memory: 81852 KiB

[startup+1.50029 s]
/proc/loadavg: 4.21 4.13 4.10 5/251 32263
/proc/meminfo: memFree=123123076/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=303256 memory=276728 CPUtime=1.49 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 28242 0 0 0 140 9 0 0 20 0 1 0 38098603 310534144 69182 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 75814 69182 480 484 0 75225 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 303256 KiB
Current children cumulated memory: 276728 KiB

[startup+3.11286 s]
/proc/loadavg: 4.21 4.13 4.10 5/251 32263
/proc/meminfo: memFree=122628712/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=693348 memory=652884 CPUtime=3.09 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 78430 0 0 0 287 22 0 0 20 0 1 0 38098603 709988352 163221 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 173337 163221 480 484 0 172748 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 693348 KiB
Current children cumulated memory: 652884 KiB

[startup+6.30029 s]
/proc/loadavg: 4.28 4.14 4.10 5/251 32263
/proc/meminfo: memFree=122446552/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=876180 memory=821160 CPUtime=6.26 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 93207 0 0 0 597 29 0 0 20 0 1 0 38098603 897208320 205290 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 219045 205290 544 484 0 218456 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 876180 KiB
Current children cumulated memory: 821160 KiB

[startup+12.7003 s]
/proc/loadavg: 4.34 4.16 4.11 5/251 32263
/proc/meminfo: memFree=122368068/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=928732 memory=872436 CPUtime=12.65 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 101293 0 0 0 1222 43 0 0 20 0 1 0 38098603 951021568 218109 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 232183 218109 544 484 0 231594 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 928732 KiB
Current children cumulated memory: 872436 KiB

[startup+25.5003 s]
/proc/loadavg: 4.51 4.20 4.12 5/251 32263
/proc/meminfo: memFree=122403064/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=890400 memory=836836 CPUtime=25.41 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 110692 0 0 0 2481 60 0 0 20 0 1 0 38098603 911769600 209209 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 222600 209209 544 484 0 222011 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 890400 KiB
Current children cumulated memory: 836836 KiB

[startup+51.113 s]
/proc/loadavg: 4.77 4.30 4.16 5/251 32354
/proc/meminfo: memFree=122292320/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=891852 memory=855244 CPUtime=50.94 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 117061 0 0 0 5016 78 0 0 20 0 1 0 38098603 913256448 213811 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 222963 213811 544 484 0 222374 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 891852 KiB
Current children cumulated memory: 855244 KiB

[startup+102.3 s]
/proc/loadavg: 4.50 4.31 4.17 5/251 32356
/proc/meminfo: memFree=122323824/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=903652 memory=867044 CPUtime=101.96 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 122524 0 0 0 10098 98 0 0 20 0 1 0 38098603 925339648 216761 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 225913 216761 544 484 0 225324 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 903652 KiB
Current children cumulated memory: 867044 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.26 4.17 5/251 32358
/proc/meminfo: memFree=122308308/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=935136 memory=881660 CPUtime=161.77 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 128017 0 0 0 16057 120 0 0 20 0 1 0 38098603 957579264 220415 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 233784 220415 544 484 0 233195 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 935136 KiB
Current children cumulated memory: 881660 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.23 4.16 5/251 32360
/proc/meminfo: memFree=122317164/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=931072 memory=870212 CPUtime=221.58 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 132733 0 0 0 22019 139 0 0 20 0 1 0 38098603 953417728 217553 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 232768 217553 544 484 0 232179 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 870212 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.21 4.16 5/250 32361
/proc/meminfo: memFree=122273032/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=977112 memory=901304 CPUtime=281.35 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 139462 0 0 0 27971 164 0 0 20 0 1 0 38098603 1000562688 225326 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 244278 225326 544 484 0 243689 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 977112 KiB
Current children cumulated memory: 901304 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/249 32365
/proc/meminfo: memFree=122256836/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=959432 memory=906036 CPUtime=341.15 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 149975 0 0 0 33922 193 0 0 20 0 1 0 38098603 982458368 226509 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 239858 226509 544 484 0 239269 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 959432 KiB
Current children cumulated memory: 906036 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/249 32367
/proc/meminfo: memFree=122164540/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1146516 memory=1072280 CPUtime=400.97 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 155662 0 0 0 39891 206 0 0 20 0 1 0 38098603 1174032384 268070 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 286629 268070 544 484 0 286040 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1146516 KiB
Current children cumulated memory: 1072280 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/249 32459
/proc/meminfo: memFree=121767796/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1004092 memory=929860 CPUtime=460.8 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 160428 0 0 0 45863 217 0 0 20 0 1 0 38098603 1028190208 232465 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 251023 232465 544 484 0 250434 0
Current children cumulated CPU time: 460.8 s

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

Current children cumulated memory: 1082884 KiB

[startup+2862.3 s]
/proc/loadavg: 2.12 2.30 3.01 3/238 32721
/proc/meminfo: memFree=122182604/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1140684 memory=1051740 CPUtime=2853.71 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 262725 0 0 0 284851 520 0 0 20 0 1 0 38098603 1168060416 262935 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 285171 262935 544 484 0 284582 0
Current children cumulated CPU time: 2853.71 s
Current children cumulated vsize: 1140684 KiB
Current children cumulated memory: 1051740 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.26 2.95 3/238 32723
/proc/meminfo: memFree=122170888/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1199432 memory=1081396 CPUtime=2913.51 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 264196 0 0 0 290827 524 0 0 20 0 1 0 38098603 1228218368 270349 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 299858 270349 544 484 0 299269 0
Current children cumulated CPU time: 2913.51 s
Current children cumulated vsize: 1199432 KiB
Current children cumulated memory: 1081396 KiB

[startup+2982.3 s]
/proc/loadavg: 2.08 2.22 2.89 3/239 32730
/proc/meminfo: memFree=122216988/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1199432 memory=1081780 CPUtime=2973.33 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 264397 0 0 0 296809 524 0 0 20 0 1 0 38098603 1228218368 270445 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 299858 270445 544 484 0 299269 0
Current children cumulated CPU time: 2973.33 s
Current children cumulated vsize: 1199432 KiB
Current children cumulated memory: 1081780 KiB

[startup+3042.3 s]
/proc/loadavg: 2.09 2.20 2.84 3/239 32732
/proc/meminfo: memFree=122228668/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1199432 memory=1081780 CPUtime=3033.18 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 264633 0 0 0 302794 524 0 0 20 0 1 0 38098603 1228218368 270445 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 299858 270445 544 484 0 299269 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 1199432 KiB
Current children cumulated memory: 1081780 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.17 2.79 3/238 32745
/proc/meminfo: memFree=122194388/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1200804 memory=1085200 CPUtime=3093.03 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 265321 0 0 0 308776 527 0 0 20 0 1 0 38098603 1229623296 271300 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 300201 271300 544 484 0 299612 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 1200804 KiB
Current children cumulated memory: 1085200 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 2.17 2.75 3/238 32747
/proc/meminfo: memFree=122205344/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1200804 memory=1085200 CPUtime=3152.88 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 265604 0 0 0 314761 527 0 0 20 0 1 0 38098603 1229623296 271300 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 300201 271300 544 484 0 299612 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 1200804 KiB
Current children cumulated memory: 1085200 KiB

[startup+3222.3 s]
/proc/loadavg: 2.05 2.14 2.70 3/238 32749
/proc/meminfo: memFree=122180000/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1201844 memory=1088288 CPUtime=3212.73 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 266214 0 0 0 320743 530 0 0 20 0 1 0 38098603 1230688256 272072 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 300461 272072 544 484 0 299872 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 1201844 KiB
Current children cumulated memory: 1088288 KiB

[startup+3282.3 s]
/proc/loadavg: 2.06 2.12 2.66 3/238 32751
/proc/meminfo: memFree=122205152/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1179308 memory=1065752 CPUtime=3272.58 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 270980 0 0 0 326722 536 0 0 20 0 1 0 38098603 1207611392 266438 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294827 266438 544 484 0 294238 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 1179308 KiB
Current children cumulated memory: 1065752 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.13 2.63 3/237 32753
/proc/meminfo: memFree=122197116/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1178456 memory=1064900 CPUtime=3332.42 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 271961 0 0 0 332702 540 0 0 20 0 1 0 38098603 1206738944 266225 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294614 266225 544 484 0 294025 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 1178456 KiB
Current children cumulated memory: 1064900 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.12 2.59 3/238 32758
/proc/meminfo: memFree=122178956/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1178456 memory=1064900 CPUtime=3392.22 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 272244 0 0 0 338682 540 0 0 20 0 1 0 38098603 1206738944 266225 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294614 266225 544 484 0 294025 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 1178456 KiB
Current children cumulated memory: 1064900 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.11 2.56 3/238 32760
/proc/meminfo: memFree=122175580/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1178456 memory=1064900 CPUtime=3452.03 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 272337 0 0 0 344663 540 0 0 20 0 1 0 38098603 1206738944 266225 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294614 266225 544 484 0 294025 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 1178456 KiB
Current children cumulated memory: 1064900 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.10 2.52 3/238 32762
/proc/meminfo: memFree=122177700/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1179692 memory=1066136 CPUtime=3511.82 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 272823 0 0 0 350639 543 0 0 20 0 1 0 38098603 1208004608 266534 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294923 266534 544 484 0 294334 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 1179692 KiB
Current children cumulated memory: 1066136 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.10 2.50 3/238 32768
/proc/meminfo: memFree=122177952/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1179692 memory=1066136 CPUtime=3571.63 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 273116 0 0 0 356620 543 0 0 20 0 1 0 38098603 1208004608 266534 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294923 266534 544 484 0 294334 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 1179692 KiB
Current children cumulated memory: 1066136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 2.11 2.11 2.49 3/238 32769
/proc/meminfo: memFree=122198180/131382112 swapFree=33010684/33010684
[pid=32262] ppid=32259 vsize=1179692 memory=1066136 CPUtime=3600.03 cores=0,2
/proc/32262/stat : 32262 (uwrmaxsat) R 32259 32262 30241 0 -1 4194304 273160 0 0 0 359460 543 0 0 20 0 1 0 38098603 1208004608 266534 18446744073709551615 4198400 6176925 140735585378624 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 10153984 140735585384810 140735585384937 140735585384937 140735585390539 0
/proc/32262/statm: 294923 266534 544 484 0 294334 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1179692 KiB
Current children cumulated memory: 1066136 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.61 s, system=5.44241 s

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

Child status: 0

Real time (s): 3610.8
CPU time (s): 3600.05
CPU user time (s): 3594.61
CPU system time (s): 5.44241
CPU usage (%): 99.7022
Max. virtual memory (cumulated for all children) (KiB): 1551300
Max. memory (cumulated for all children) (KiB): 1436252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.61
system time used= 5.44241
maximum resident set size= 1436252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273160
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= 98
involuntary context switches= 7951


# summary of solver processes directly reported to runsolver:
#   pid: 32262
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.61
#   total CPU system time (s): 5.44241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0501 second user time and 33.3892 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-29 21:09:48
IDJOB=4514858
IDBENCH=163961
IDSOLVER=3372
FILE ID=nodeC009/4514858-1751224188
RUNJOBID= nodeC009-1751215608-30251
SLURM_JOB_ID= 9587652
Free space on /tmp= 432648 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2003/normalized-disctom.0.u.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514858-1751224188/watcher-4514858-1751224188 -o /tmp/evaluation-result-4514858-1751224188/solver-4514858-1751224188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751215608-30251 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4514858-1751224188.opb -mem-lim=31000

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

MD5SUM BENCH= f04c7bc93f027c2b63d00aa04181a654
RANDOM SEED=512008998

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.238
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		: 3611.317
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.575
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.476
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		: 3610.049
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		: 3611.330
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.382
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.603
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:        123246008 kB
MemAvailable:   129686976 kB
Buffers:            3280 kB
Cached:          7214724 kB
SwapCached:            0 kB
Active:           602256 kB
Inactive:        6917436 kB
Active(anon):     318680 kB
Inactive(anon):      968 kB
Active(file):     283576 kB
Inactive(file):  6916468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3004 kB
Writeback:             0 kB
AnonPages:        304396 kB
Mapped:           109392 kB
Shmem:             17960 kB
KReclaimable:     160716 kB
Slab:             243884 kB
SReclaimable:     160716 kB
SUnreclaim:        83168 kB
KernelStack:        4016 kB
PageTables:         3528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     636100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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= 432652 MiB
End job on nodeC009 at 2025-06-29 22:09:59