Trace number 4518425

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-04OPT1 1539.34 1543.49

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
MD5SUM13aa29e786187b82093ba5acc80c7659
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.009484
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables84
Total number of constraints21
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)21
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 21
Biggest coefficient in the objective function 21
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 231
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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 42 PB-constraints to clauses...
0.00/0.00	o 151
0.00/0.00	c Boolean multilevel optimization (BMO) can be done in 1 point(s).
0.00/0.00	c ============================[  Problem Statistics ]============================
0.00/0.00	c |  Number of variables:           210                                         |
0.00/0.00	c |  Number of clauses:            1048 (incl.           19 soft in queue)      |
0.00/0.00	c ===============================================================================
0.00/0.00	o 91
0.00/0.00	o 72
0.00/0.00	o 71
0.00/0.00	o 41
0.00/0.00	o 19
0.00/0.00	o 17
0.00/0.00	o 5
0.00/0.00	o 3
0.00/0.00	o 1
0.00/0.00	c BMO - done.
1539.24/1543.48	c Optimal solution: 1
1539.24/1543.48	c _______________________________________________________________________________
1539.24/1543.48	c 
1539.24/1543.48	c =======================[ UWrMaxSat resources usage ]===========================
1539.24/1543.48	c Memory used            : 92.00 MB
1539.24/1543.48	c CPU time               : 1538.79 s
1539.24/1543.48	c Constr Enc: Srt/BDD/Add: 21 0 0
1539.24/1543.48	c _______________________________________________________________________________
1539.24/1543.48	s OPTIMUM FOUND
1539.24/1543.48	v x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 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

Verifier Data 

OK	1

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 (61818 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-4518425-1751543957/watcher-4518425-1751543957 -o /tmp/evaluation-result-4518425-1751543957/solver-4518425-1751543957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74340 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518425-1751543957.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=74384, runsolver pid=74379
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128190792/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=4240 memory=3540 CPUtime=0.1 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 543 0 0 0 10 0 0 0 20 0 1 0 70073244 4341760 885 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 1060 885 544 484 0 471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 4240 KiB
Current children cumulated memory: 3540 KiB

[startup+0.205424 s]*
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128190792/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=5016 memory=4344 CPUtime=0.2 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 869 0 0 0 20 0 0 0 20 0 1 0 70073244 5136384 1086 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 1254 1086 544 484 0 665 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 5016 KiB
Current children cumulated memory: 4344 KiB

[startup+0.304742 s]*
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128188284/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=5388 memory=4792 CPUtime=0.3 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 1156 0 0 0 30 0 0 0 20 0 1 0 70073244 5517312 1198 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 1347 1198 544 484 0 758 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 5388 KiB
Current children cumulated memory: 4792 KiB

[startup+0.700103 s]
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128187400/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=5480 memory=4820 CPUtime=0.69 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 2030 0 0 0 69 0 0 0 20 0 1 0 70073244 5611520 1205 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 1370 1205 544 484 0 781 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 5480 KiB
Current children cumulated memory: 4820 KiB

[startup+1.50013 s]
/proc/loadavg: 0.13 0.72 1.88 5/265 74398
/proc/meminfo: memFree=128184880/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=8324 memory=7504 CPUtime=1.49 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 3779 0 0 0 149 0 0 0 20 0 1 0 70073244 8523776 1876 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 2081 1876 544 484 0 1492 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 8324 KiB
Current children cumulated memory: 7504 KiB

[startup+3.10534 s]
/proc/loadavg: 0.44 0.77 1.89 5/265 74398
/proc/meminfo: memFree=128177056/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=7788 memory=7332 CPUtime=3.08 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 7072 0 0 0 308 0 0 0 20 0 1 0 70073244 7974912 1833 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 1947 1833 544 484 0 1358 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 7788 KiB
Current children cumulated memory: 7332 KiB

[startup+6.30015 s]
/proc/loadavg: 0.44 0.77 1.89 5/265 74398
/proc/meminfo: memFree=128164252/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=11412 memory=10532 CPUtime=6.27 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 11841 0 0 0 626 1 0 0 20 0 1 0 70073244 11685888 2633 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 2853 2633 544 484 0 2264 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 11412 KiB
Current children cumulated memory: 10532 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=74384] ppid=74379 vsize=16956 memory=15684 CPUtime=12.65 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 17127 0 0 0 1263 2 0 0 20 0 1 0 70073244 17362944 3921 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 4239 3921 544 484 0 3650 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 16956 KiB
Current children cumulated memory: 15684 KiB

[startup+25.5002 s]
/proc/loadavg: 1.45 0.98 1.93 5/265 74399
/proc/meminfo: memFree=128098120/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=14760 memory=14128 CPUtime=25.42 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 21858 0 0 0 2538 4 0 0 20 0 1 0 70073244 15114240 3532 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 3690 3532 544 484 0 3101 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 14760 KiB
Current children cumulated memory: 14128 KiB

[startup+51.1056 s]
/proc/loadavg: 2.39 1.24 1.99 5/265 74399
/proc/meminfo: memFree=128082288/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=24556 memory=23072 CPUtime=50.94 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 43521 0 0 0 5086 8 0 0 20 0 1 0 70073244 25145344 5768 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 6139 5768 544 484 0 5550 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 24556 KiB
Current children cumulated memory: 23072 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=74384] ppid=74379 vsize=28532 memory=27864 CPUtime=101.98 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 61447 0 0 0 10185 13 0 0 20 0 1 0 70073244 29216768 6966 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 7133 6966 544 484 0 6544 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 28532 KiB
Current children cumulated memory: 27864 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=74384] ppid=74379 vsize=29848 memory=29164 CPUtime=161.82 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 66437 0 0 0 16167 15 0 0 20 0 1 0 70073244 30564352 7291 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 7462 7291 544 484 0 6873 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 29848 KiB
Current children cumulated memory: 29164 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=74384] ppid=74379 vsize=39092 memory=37436 CPUtime=221.65 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 79463 0 0 0 22145 20 0 0 20 0 1 0 70073244 40030208 9359 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 9773 9359 544 484 0 9184 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 39092 KiB
Current children cumulated memory: 37436 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=74384] ppid=74379 vsize=39616 memory=39160 CPUtime=281.48 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 90531 0 0 0 28126 22 0 0 20 0 1 0 70073244 40566784 9790 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 9904 9790 544 484 0 9315 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 39616 KiB
Current children cumulated memory: 39160 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.02 2.57 5/264 74428
/proc/meminfo: memFree=127900964/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=49052 memory=48468 CPUtime=341.32 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 100388 0 0 0 34107 25 0 0 20 0 1 0 70073244 50229248 12117 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 12263 12117 544 484 0 11674 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 49052 KiB
Current children cumulated memory: 48468 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=74384] ppid=74379 vsize=70576 memory=69928 CPUtime=401.16 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 102670 0 0 0 40089 27 0 0 20 0 1 0 70073244 72269824 17482 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 17644 17482 544 484 0 17055 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 70576 KiB
Current children cumulated memory: 69928 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=74384] ppid=74379 vsize=61200 memory=60616 CPUtime=460.99 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 103922 0 0 0 46071 28 0 0 20 0 1 0 70073244 62668800 15154 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 15300 15154 544 484 0 14711 0
Current children cumulated CPU time: 460.99 s

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

/proc/loadavg: 4.12 3.94 3.26 5/265 74457
/proc/meminfo: memFree=127818972/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=60184 memory=57544 CPUtime=879.86 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 126040 0 0 0 87947 39 0 0 20 0 1 0 70073244 61628416 14386 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 15046 14386 544 484 0 14457 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 60184 KiB
Current children cumulated memory: 57544 KiB

[startup+942.3 s]
/proc/loadavg: 4.09 3.97 3.32 5/264 74459
/proc/meminfo: memFree=127710724/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=81084 memory=80420 CPUtime=939.7 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 129376 0 0 0 93929 41 0 0 20 0 1 0 70073244 83030016 20105 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 20271 20105 544 484 0 19682 0
Current children cumulated CPU time: 939.7 s
Current children cumulated vsize: 81084 KiB
Current children cumulated memory: 80420 KiB

[startup+1002.3 s]
/proc/loadavg: 4.14 4.01 3.37 5/264 74461
/proc/meminfo: memFree=127804864/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=68764 memory=68080 CPUtime=999.55 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 133192 0 0 0 99911 44 0 0 20 0 1 0 70073244 70414336 17020 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 17191 17020 544 484 0 16602 0
Current children cumulated CPU time: 999.55 s
Current children cumulated vsize: 68764 KiB
Current children cumulated memory: 68080 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.02 3.42 5/264 74463
/proc/meminfo: memFree=127749028/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=94892 memory=94220 CPUtime=1059.39 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 133598 0 0 0 105894 45 0 0 20 0 1 0 70073244 97169408 23555 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 23723 23555 544 484 0 23134 0
Current children cumulated CPU time: 1059.39 s
Current children cumulated vsize: 94892 KiB
Current children cumulated memory: 94220 KiB

[startup+1122.3 s]
/proc/loadavg: 4.16 4.04 3.47 5/264 74464
/proc/meminfo: memFree=127769044/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=55880 memory=52868 CPUtime=1119.24 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 135844 0 0 0 111877 47 0 0 20 0 1 0 70073244 57221120 13217 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 13970 13217 544 484 0 13381 0
Current children cumulated CPU time: 1119.24 s
Current children cumulated vsize: 55880 KiB
Current children cumulated memory: 52868 KiB

[startup+1182.3 s]
/proc/loadavg: 4.12 4.05 3.51 5/264 74466
/proc/meminfo: memFree=127724100/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=71948 memory=71292 CPUtime=1179.07 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 141145 0 0 0 117859 48 0 0 20 0 1 0 70073244 73674752 17823 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 17987 17823 544 484 0 17398 0
Current children cumulated CPU time: 1179.07 s
Current children cumulated vsize: 71948 KiB
Current children cumulated memory: 71292 KiB

[startup+1242.3 s]
/proc/loadavg: 4.09 4.05 3.55 5/264 74469
/proc/meminfo: memFree=127778268/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=44468 memory=44008 CPUtime=1238.93 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 142325 0 0 0 123843 50 0 0 20 0 1 0 70073244 45535232 11002 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 11117 11002 544 484 0 10528 0
Current children cumulated CPU time: 1238.93 s
Current children cumulated vsize: 44468 KiB
Current children cumulated memory: 44008 KiB

[startup+1302.3 s]
/proc/loadavg: 4.72 4.23 3.65 5/263 74475
/proc/meminfo: memFree=127750992/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=78824 memory=78164 CPUtime=1298.77 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 143728 0 0 0 129826 51 0 0 20 0 1 0 70073244 80715776 19541 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 19706 19541 544 484 0 19117 0
Current children cumulated CPU time: 1298.77 s
Current children cumulated vsize: 78824 KiB
Current children cumulated memory: 78164 KiB

[startup+1362.3 s]
/proc/loadavg: 4.54 4.25 3.69 5/263 74477
/proc/meminfo: memFree=127687628/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=66332 memory=65620 CPUtime=1358.62 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 144587 0 0 0 135810 52 0 0 20 0 1 0 70073244 67923968 16405 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 16583 16405 544 484 0 15994 0
Current children cumulated CPU time: 1358.62 s
Current children cumulated vsize: 66332 KiB
Current children cumulated memory: 65620 KiB

[startup+1422.3 s]
/proc/loadavg: 4.49 4.32 3.75 5/263 74479
/proc/meminfo: memFree=127734684/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=77340 memory=76628 CPUtime=1418.46 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 146509 0 0 0 141793 53 0 0 20 0 1 0 70073244 79196160 19157 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 19335 19157 544 484 0 18746 0
Current children cumulated CPU time: 1418.46 s
Current children cumulated vsize: 77340 KiB
Current children cumulated memory: 76628 KiB

[startup+1482.3 s]
/proc/loadavg: 4.28 4.29 3.78 5/264 74484
/proc/meminfo: memFree=127736756/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=75160 memory=74452 CPUtime=1478.3 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 148018 0 0 0 147776 54 0 0 20 0 1 0 70073244 76963840 18613 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 18790 18613 544 484 0 18201 0
Current children cumulated CPU time: 1478.3 s
Current children cumulated vsize: 75160 KiB
Current children cumulated memory: 74452 KiB

[startup+1542.3 s]
/proc/loadavg: 4.15 4.25 3.80 5/264 74487
/proc/meminfo: memFree=127735688/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=65304 memory=64720 CPUtime=1538.15 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 148597 0 0 0 153760 55 0 0 20 0 1 0 70073244 66871296 16180 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 16326 16180 544 484 0 15737 0
Current children cumulated CPU time: 1538.15 s
Current children cumulated vsize: 65304 KiB
Current children cumulated memory: 64720 KiB

[startup+1543.49 s]
# the end of solver process 74384 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1538.79 s, system=0.552876 s

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

[startup+1542.4 s]
/proc/loadavg: 4.15 4.25 3.80 5/264 74487
/proc/meminfo: memFree=127735688/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=65304 memory=64720 CPUtime=1538.25 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 148597 0 0 0 153770 55 0 0 20 0 1 0 70073244 66871296 16180 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 16326 16180 544 484 0 15737 0
Current children cumulated CPU time: 1538.25 s
Current children cumulated vsize: 65304 KiB
Current children cumulated memory: 64720 KiB

[startup+1543.2 s]
/proc/loadavg: 4.15 4.25 3.80 5/264 74487
/proc/meminfo: memFree=127735688/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=65304 memory=64720 CPUtime=1539.05 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 148597 0 0 0 153850 55 0 0 20 0 1 0 70073244 66871296 16180 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 16326 16180 544 484 0 15737 0
Current children cumulated CPU time: 1539.05 s
Current children cumulated vsize: 65304 KiB
Current children cumulated memory: 64720 KiB

[startup+1543.4 s]
/proc/loadavg: 4.15 4.25 3.80 5/264 74487
/proc/meminfo: memFree=127735688/131250000 swapFree=33007332/33010684
[pid=74384] ppid=74379 vsize=65304 memory=64720 CPUtime=1539.24 cores=4,6
/proc/74384/stat : 74384 (uwrmaxsat) R 74379 74384 73607 0 -1 4194304 148597 0 0 0 153869 55 0 0 20 0 1 0 70073244 66871296 16180 18446744073709551615 4198400 6176925 140735964446976 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 26079232 140735964453226 140735964453353 140735964453353 140735964458955 0
/proc/74384/statm: 16326 16180 544 484 0 15737 0
Current children cumulated CPU time: 1539.24 s
Current children cumulated vsize: 65304 KiB
Current children cumulated memory: 64720 KiB

Child status: 30

Real time (s): 1543.49
CPU time (s): 1539.34
CPU user time (s): 1538.79
CPU system time (s): 0.552876
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 94892
Max. memory (cumulated for all children) (KiB): 94220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1538.79
system time used= 0.552876
maximum resident set size= 94220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148597
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= 31
involuntary context switches= 1090


# summary of solver processes directly reported to runsolver:
#   pid: 74384
#   total CPU time (s): 1539.34
#   total CPU user time (s): 1538.79
#   total CPU system time (s): 0.552876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.10667 second user time and 6.82994 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-03 13:59:17
IDJOB=4518425
IDBENCH=177047
IDSOLVER=3372
FILE ID=nodeC019/4518425-1751543957
RUNJOBID= nodeC019-1751543957-74340
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/linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518425-1751543957/watcher-4518425-1751543957 -o /tmp/evaluation-result-4518425-1751543957/solver-4518425-1751543957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751543957-74340 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4518425-1751543957.opb -mem-lim=31000

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

MD5SUM BENCH= 13aa29e786187b82093ba5acc80c7659
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.700
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		: 3203.948
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		: 3600.070
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		: 2908.269
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.744
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		: 3378.861
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.675
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		: 2904.629
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:        128205160 kB
MemAvailable:   129777696 kB
Buffers:             904 kB
Cached:          2375152 kB
SwapCached:          440 kB
Active:           214688 kB
Inactive:        2229540 kB
Active(anon):      55628 kB
Inactive(anon):    27736 kB
Active(file):     159060 kB
Inactive(file):  2201804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4212 kB
Writeback:             0 kB
AnonPages:         70536 kB
Mapped:           103660 kB
Shmem:             15192 kB
KReclaimable:     101824 kB
Slab:             190364 kB
SReclaimable:     101824 kB
SUnreclaim:        88540 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:     330864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 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:25:01