Trace number 4518517

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 NameAnswerobjective functionCPU timeWall clock time
UWrMaxSat 2025-06-04SAT (TO)21 3600.07 3610.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
MD5SUMd5993a0e2ae11ecdb32c60d775cccf06
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.016932
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables124
Total number of constraints31
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 31
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
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 62 PB-constraints to clauses...
0.00/0.00	o 21
0.00/0.00	c ============================[  Problem Statistics ]============================
0.00/0.00	c |  Number of variables:           310                                         |
0.00/0.00	c |  Number of clauses:            1519                                         |
0.00/0.00	c ===============================================================================
246.99/247.74	c Switching to binary search ... (after 246.846 s and 5000001 conflicts) with 0 goal literals and 31 assumptions
3600.06/3610.70	c *** TERMINATED by signal 15 ***
3600.06/3610.70	c _______________________________________________________________________________
3600.06/3610.70	c 
3600.06/3610.70	c _______________________________________________________________________________
3600.06/3610.70	c 
3600.06/3610.70	c =======================[ UWrMaxSat resources usage ]===========================
3600.06/3610.70	c Memory used            : 182.00 MB
3600.06/3610.70	c CPU time               : 3599.15 s
3600.06/3610.70	c Constr Enc: Srt/BDD/Add: 31 0 0
3600.06/3610.70	c _______________________________________________________________________________
3600.06/3610.70	c _______________________________________________________________________________
3600.06/3610.70	
3600.06/3610.70	v -x94 -x95 x96 x97 x98 x99 -x100 x101 x102 x103 -x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 -x114 -x115 x116 x117 x118 x119 -x120 -x121 -x122 -x123 x124 -x1 x2 -x3 x4 x5 -x6 -x7 x8 x9 -x10 x11 -x12 -x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 x50 -x51 x52 -x53 x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93
3600.06/3610.70	s SATISFIABLE

Verifier Data 

OK	21

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 (61817 MiB free)
  memory of node 1: 64465 MiB (63374 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518517-1751543957/watcher-4518517-1751543957 -o /tmp/evaluation-result-4518517-1751543957/solver-4518517-1751543957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74342 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518517-1751543957.opb -mem-lim=31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=74393, runsolver pid=74381

[startup+0.100058 s]*
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128190792/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=4448 memory=3744 CPUtime=0.09 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 720 0 0 0 9 0 0 0 20 0 1 0 70073245 4554752 936 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 1112 936 544 484 0 523 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 4448 KiB
Current children cumulated memory: 3744 KiB

[startup+0.205198 s]*
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128189784/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=5112 memory=4404 CPUtime=0.2 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 992 0 0 0 20 0 0 0 20 0 1 0 70073245 5234688 1101 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 1278 1101 544 484 0 689 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 5112 KiB
Current children cumulated memory: 4404 KiB

[startup+0.304681 s]*
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128188284/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=5548 memory=4876 CPUtime=0.3 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 1387 0 0 0 30 0 0 0 20 0 1 0 70073245 5681152 1219 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 1387 1219 544 484 0 798 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 5548 KiB
Current children cumulated memory: 4876 KiB

[startup+0.700101 s]
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128187400/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=6792 memory=6192 CPUtime=0.68 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 2344 0 0 0 68 0 0 0 20 0 1 0 70073245 6955008 1548 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 1698 1548 544 484 0 1109 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 6792 KiB
Current children cumulated memory: 6192 KiB

[startup+1.50011 s]
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128182864/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=8968 memory=8208 CPUtime=1.48 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 3931 0 0 0 148 0 0 0 20 0 1 0 70073245 9183232 2052 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 2242 2052 544 484 0 1653 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 8968 KiB
Current children cumulated memory: 8208 KiB

[startup+3.10525 s]
/proc/loadavg: 0.44 0.77 1.89 5/265 74398
/proc/meminfo: memFree=128175292/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=11260 memory=10604 CPUtime=3.09 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 5646 0 0 0 308 1 0 0 20 0 1 0 70073245 11530240 2651 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 2815 2651 544 484 0 2226 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 11260 KiB
Current children cumulated memory: 10604 KiB

[startup+6.30014 s]
/proc/loadavg: 0.44 0.77 1.89 5/265 74398
/proc/meminfo: memFree=128164252/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=15252 memory=14428 CPUtime=6.27 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 11211 0 0 0 626 1 0 0 20 0 1 0 70073245 15618048 3607 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 3813 3607 544 484 0 3224 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 15252 KiB
Current children cumulated memory: 14428 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.83 1.90 5/265 74398
/proc/meminfo: memFree=128151220/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=17656 memory=16788 CPUtime=12.65 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 18832 0 0 0 1262 3 0 0 20 0 1 0 70073245 18079744 4197 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 4414 4197 544 484 0 3825 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 17656 KiB
Current children cumulated memory: 16788 KiB

[startup+25.5001 s]
/proc/loadavg: 1.45 0.98 1.93 5/265 74399
/proc/meminfo: memFree=128098120/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=26928 memory=26232 CPUtime=25.42 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 25778 0 0 0 2538 4 0 0 20 0 1 0 70073245 27574272 6558 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 6732 6558 544 484 0 6143 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 26928 KiB
Current children cumulated memory: 26232 KiB

[startup+51.1054 s]
/proc/loadavg: 2.39 1.24 1.99 5/265 74399
/proc/meminfo: memFree=128082288/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=29384 memory=28420 CPUtime=50.95 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 34309 0 0 0 5088 7 0 0 20 0 1 0 70073245 30089216 7105 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 7346 7105 544 484 0 6757 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 29384 KiB
Current children cumulated memory: 28420 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.69 2.11 5/266 74406
/proc/meminfo: memFree=127980992/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=46464 memory=45688 CPUtime=102 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 47440 0 0 0 10187 13 0 0 20 0 1 0 70073245 47579136 11422 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 11616 11422 544 484 0 11027 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 46464 KiB
Current children cumulated memory: 45688 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 2.13 2.23 5/266 74419
/proc/meminfo: memFree=127924520/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=61972 memory=61300 CPUtime=161.82 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 54800 0 0 0 16167 15 0 0 20 0 1 0 70073245 63459328 15325 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 15493 15325 544 484 0 14904 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 61972 KiB
Current children cumulated memory: 61300 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.49 2.35 5/265 74422
/proc/meminfo: memFree=127896024/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=52432 memory=50848 CPUtime=221.65 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 59606 0 0 0 22148 17 0 0 20 0 1 0 70073245 53690368 12712 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 13108 12712 544 484 0 12519 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 52432 KiB
Current children cumulated memory: 50848 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.78 2.46 5/264 74426
/proc/meminfo: memFree=127919172/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=75560 memory=74720 CPUtime=281.49 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 67381 0 0 0 28128 21 0 0 20 0 1 0 70073245 77373440 18680 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 18890 18680 544 484 0 18301 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 75560 KiB
Current children cumulated memory: 74720 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.02 2.57 5/264 74428
/proc/meminfo: memFree=127892772/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=79288 memory=78560 CPUtime=341.31 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 69397 0 0 0 34109 22 0 0 20 0 1 0 70073245 81190912 19640 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 19822 19640 544 484 0 19233 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 79288 KiB
Current children cumulated memory: 78560 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.23 2.67 5/263 74430
/proc/meminfo: memFree=127858588/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=73704 memory=70052 CPUtime=401.1 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 75385 0 0 0 40085 25 0 0 20 0 1 0 70073245 75472896 17513 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 18426 17513 544 484 0 17837 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 73704 KiB
Current children cumulated memory: 70052 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.37 2.76 5/263 74432
/proc/meminfo: memFree=127840616/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=81748 memory=80992 CPUtime=460.91 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 79106 0 0 0 46064 27 0 0 20 0 1 0 70073245 83709952 20248 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 20437 20248 544 484 0 19848 0
Current children cumulated CPU time: 460.91 s

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

Current children cumulated memory: 133764 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/265 74599
/proc/meminfo: memFree=127376620/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=158956 memory=158088 CPUtime=2913.65 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 150847 0 0 0 291294 71 0 0 20 0 1 0 70073245 162770944 39522 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 39739 39522 544 484 0 39150 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 158956 KiB
Current children cumulated memory: 158088 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/265 74601
/proc/meminfo: memFree=127400132/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=128992 memory=121748 CPUtime=2973.46 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 153571 0 0 0 297274 72 0 0 20 0 1 0 70073245 132087808 30437 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 32248 30437 544 484 0 31659 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 128992 KiB
Current children cumulated memory: 121748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/265 74603
/proc/meminfo: memFree=127385620/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=129564 memory=128128 CPUtime=3033.29 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 157468 0 0 0 303255 74 0 0 20 0 1 0 70073245 132673536 32032 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 32391 32032 544 484 0 31802 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 129564 KiB
Current children cumulated memory: 128128 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/265 74605
/proc/meminfo: memFree=127367036/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=138248 memory=130552 CPUtime=3093.12 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 165645 0 0 0 309234 78 0 0 20 0 1 0 70073245 141565952 32638 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 34562 32638 544 484 0 33973 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 138248 KiB
Current children cumulated memory: 130552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/265 74611
/proc/meminfo: memFree=127378340/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=138708 memory=136792 CPUtime=3152.94 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 168659 0 0 0 315215 79 0 0 20 0 1 0 70073245 142036992 34198 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 34677 34198 544 484 0 34088 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 138708 KiB
Current children cumulated memory: 136792 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 74614
/proc/meminfo: memFree=127367912/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=139012 memory=137988 CPUtime=3212.77 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 169894 0 0 0 321197 80 0 0 20 0 1 0 70073245 142348288 34497 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 34753 34497 544 484 0 34164 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 139012 KiB
Current children cumulated memory: 137988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 74619
/proc/meminfo: memFree=127458384/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=141488 memory=138944 CPUtime=3272.6 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 171244 0 0 0 327178 82 0 0 20 0 1 0 70073245 144883712 34736 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 35372 34736 544 484 0 34783 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 141488 KiB
Current children cumulated memory: 138944 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/266 74624
/proc/meminfo: memFree=127432136/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=141696 memory=139868 CPUtime=3332.42 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 172597 0 0 0 333159 83 0 0 20 0 1 0 70073245 145096704 34967 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 35424 34967 544 484 0 34835 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 141696 KiB
Current children cumulated memory: 139868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/266 74626
/proc/meminfo: memFree=127424604/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=150472 memory=145136 CPUtime=3392.25 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 175175 0 0 0 339141 84 0 0 20 0 1 0 70073245 154083328 36284 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 37618 36284 544 484 0 37029 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 150472 KiB
Current children cumulated memory: 145136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/266 74628
/proc/meminfo: memFree=127455504/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=150712 memory=148080 CPUtime=3452.09 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 177253 0 0 0 345123 86 0 0 20 0 1 0 70073245 154329088 37020 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 37678 37020 544 484 0 37089 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 150712 KiB
Current children cumulated memory: 148080 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/266 74631
/proc/meminfo: memFree=127517672/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=105524 memory=104836 CPUtime=3511.91 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 179103 0 0 0 351104 87 0 0 20 0 1 0 70073245 108056576 26209 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 26381 26209 544 484 0 25792 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 105524 KiB
Current children cumulated memory: 104836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/267 74634
/proc/meminfo: memFree=127457600/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=138844 memory=132992 CPUtime=3571.74 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 186358 0 0 0 357084 90 0 0 20 0 1 0 70073245 142176256 33248 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 34711 33248 544 484 0 34122 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 138844 KiB
Current children cumulated memory: 132992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.07 4.08 4.02 4/262 74635
/proc/meminfo: memFree=127638372/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=142528 memory=137784 CPUtime=3600.06 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 188330 0 0 0 359915 91 0 0 20 0 1 0 70073245 145948672 34446 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 35632 34446 544 484 0 35043 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 142528 KiB
Current children cumulated memory: 137784 KiB

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

[startup+3610.7 s]
# the end of solver process 74393 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.15 s, system=0.912889 s

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

[startup+3610.7 s]
/proc/loadavg: 4.07 4.08 4.02 4/262 74635
/proc/meminfo: memFree=127638372/131250000 swapFree=33007332/33010684
[pid=74393] ppid=74381 vsize=142528 memory=137784 CPUtime=3600.06 cores=5,7
/proc/74393/stat : 74393 (uwrmaxsat) R 74381 74393 73607 0 -1 4194304 188330 0 0 0 359915 91 0 0 20 0 1 0 70073245 145948672 34446 18446744073709551615 4198400 6176925 140721781499728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 39956480 140721781504362 140721781504489 140721781504489 140721781510091 0
/proc/74393/statm: 35632 34446 544 484 0 35043 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 142528 KiB
Current children cumulated memory: 137784 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.07
CPU user time (s): 3599.15
CPU system time (s): 0.912889
CPU usage (%): 99.7054
Max. virtual memory (cumulated for all children) (KiB): 187036
Max. memory (cumulated for all children) (KiB): 174744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.912889
maximum resident set size= 186104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188330
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= 37
involuntary context switches= 3994


# summary of solver processes directly reported to runsolver:
#   pid: 74393
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 0.912889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77839 second user time and 15.6615 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-03 13:59:17
IDJOB=4518517
IDBENCH=177059
IDSOLVER=3372
FILE ID=nodeC019/4518517-1751543957
RUNJOBID= nodeC019-1751543957-74342
SLURM_JOB_ID= 9598697
Free space on /tmp= 431644 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518517-1751543957/watcher-4518517-1751543957 -o /tmp/evaluation-result-4518517-1751543957/solver-4518517-1751543957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74342 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4518517-1751543957.opb -mem-lim=31000

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

MD5SUM BENCH= d5993a0e2ae11ecdb32c60d775cccf06
RANDOM SEED=160547305

nodeC019 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.957
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.37
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.790
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.37
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		: 3599.837
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128200144 kB
MemAvailable:   129776244 kB
Buffers:             904 kB
Cached:          2378716 kB
SwapCached:          440 kB
Active:           213716 kB
Inactive:        2233104 kB
Active(anon):      54656 kB
Inactive(anon):    27736 kB
Active(file):     159060 kB
Inactive(file):  2205368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7776 kB
Writeback:             0 kB
AnonPages:         69564 kB
Mapped:           103660 kB
Shmem:             15192 kB
KReclaimable:     101824 kB
Slab:             190700 kB
SReclaimable:     101824 kB
SUnreclaim:        88876 kB
KernelStack:        3968 kB
PageTables:         2556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     331016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431636 MiB
End job on nodeC019 at 2025-07-03 14:59:28