Trace number 4542985

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
UWrMaxSat 2025-06-04? (TO) 3600.05 3611.02

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
MD5SUMf232403836dcde587a139eecc4d77a9a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.086058
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables337
Total number of constraints170
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
0.00/0.00	c Converting 170 PB-constraints to clauses...
0.00/0.02	c ============================[ Encoding Statistics ]============================
0.00/0.02	c |  Number of variables:          1177                                         |
0.00/0.02	c |  Number of clauses:            5882                                         |
0.00/0.02	c ===============================================================================
3600.03/3611.01	c *** TERMINATED by signal 15 ***
3600.03/3611.01	c _______________________________________________________________________________
3600.03/3611.01	c 
3600.03/3611.01	c _______________________________________________________________________________
3600.03/3611.01	c 
3600.03/3611.01	c =======================[ UWrMaxSat resources usage ]===========================
3600.03/3611.01	c Memory used            : 220.00 MB
3600.03/3611.01	c CPU time               : 3598.37 s
3600.03/3611.01	c Constr Enc: Srt/BDD/Add: 85 0 0
3600.03/3611.01	c _______________________________________________________________________________
3600.03/3611.01	c _______________________________________________________________________________
3600.03/3611.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62566 MiB free)
  memory of node 1: 64507 MiB (63507 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100099 s]*
/proc/loadavg: 1.27 1.17 1.58 5/255 151917
/proc/meminfo: memFree=129082928/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=5520 memory=4900 CPUtime=0.1 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 904 0 0 0 10 0 0 0 20 0 1 0 238162736 5652480 1225 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 1380 1225 544 484 0 791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 5520 KiB
Current children cumulated memory: 4900 KiB

[startup+0.213703 s]*
/proc/loadavg: 1.27 1.17 1.58 5/255 151917
/proc/meminfo: memFree=129072352/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=5712 memory=5100 CPUtime=0.21 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 1154 0 0 0 21 0 0 0 20 0 1 0 238162736 5849088 1275 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 1428 1275 544 484 0 839 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 5712 KiB
Current children cumulated memory: 5100 KiB

[startup+0.313275 s]*
/proc/loadavg: 1.27 1.17 1.58 6/255 151917
/proc/meminfo: memFree=129061012/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=5560 memory=5204 CPUtime=0.31 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 1216 0 0 0 31 0 0 0 20 0 1 0 238162736 5693440 1301 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 1390 1301 544 484 0 801 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 5560 KiB
Current children cumulated memory: 5204 KiB

[startup+0.700239 s]
/proc/loadavg: 1.27 1.17 1.58 6/255 151917
/proc/meminfo: memFree=129036744/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=6592 memory=5948 CPUtime=0.68 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 1555 0 0 0 68 0 0 0 20 0 1 0 238162736 6750208 1487 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 1648 1487 544 484 0 1059 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 6592 KiB
Current children cumulated memory: 5948 KiB

[startup+1.50025 s]
/proc/loadavg: 1.27 1.17 1.58 5/255 151917
/proc/meminfo: memFree=128952196/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=7192 memory=6844 CPUtime=1.48 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 2858 0 0 0 147 1 0 0 20 0 1 0 238162736 7364608 1711 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 1798 1711 544 484 0 1209 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 7192 KiB
Current children cumulated memory: 6844 KiB

[startup+3.11329 s]
/proc/loadavg: 1.27 1.17 1.58 4/251 151925
/proc/meminfo: memFree=128746368/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=10868 memory=10396 CPUtime=3.09 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 6961 0 0 0 307 2 0 0 20 0 1 0 238162736 11128832 2599 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 2717 2599 544 484 0 2128 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10868 KiB
Current children cumulated memory: 10396 KiB

[startup+6.30026 s]
/proc/loadavg: 1.49 1.22 1.59 5/255 151963
/proc/meminfo: memFree=128640376/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=15788 memory=15024 CPUtime=6.26 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 11121 0 0 0 624 2 0 0 20 0 1 0 238162736 16166912 3756 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 3947 3756 544 484 0 3358 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 15788 KiB
Current children cumulated memory: 15024 KiB

[startup+12.7002 s]
/proc/loadavg: 1.69 1.27 1.61 5/255 151963
/proc/meminfo: memFree=128581500/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=18748 memory=18104 CPUtime=12.64 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 14608 0 0 0 1261 3 0 0 20 0 1 0 238162736 19197952 4526 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 4687 4526 544 484 0 4098 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 18748 KiB
Current children cumulated memory: 18104 KiB

[startup+25.5003 s]
/proc/loadavg: 2.20 1.40 1.65 5/255 151963
/proc/meminfo: memFree=128566008/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=31604 memory=30952 CPUtime=25.41 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 23300 0 0 0 2536 5 0 0 20 0 1 0 238162736 32362496 7738 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 7901 7738 544 484 0 7312 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 31604 KiB
Current children cumulated memory: 30952 KiB

[startup+51.1131 s]
/proc/loadavg: 2.88 1.63 1.71 5/255 151963
/proc/meminfo: memFree=128434576/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=27052 memory=26348 CPUtime=50.95 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 34518 0 0 0 5086 9 0 0 20 0 1 0 238162736 27701248 6587 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 6763 6587 544 484 0 6174 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 26348 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 2.01 1.84 5/253 151969
/proc/meminfo: memFree=128330260/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=37020 memory=36548 CPUtime=101.98 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 45430 0 0 0 10186 12 0 0 20 0 1 0 238162736 37908480 9137 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 9255 9137 544 484 0 8666 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 37020 KiB
Current children cumulated memory: 36548 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.41 1.99 5/251 151971
/proc/meminfo: memFree=128307860/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=64284 memory=63672 CPUtime=161.8 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 47660 0 0 0 16167 13 0 0 20 0 1 0 238162736 65826816 15918 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 16071 15918 544 484 0 15482 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 64284 KiB
Current children cumulated memory: 63672 KiB

[startup+222.3 s]
/proc/loadavg: 4.70 2.90 2.19 5/251 151973
/proc/meminfo: memFree=128236592/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=59256 memory=58216 CPUtime=221.61 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 57843 0 0 0 22142 19 0 0 20 0 1 0 238162736 60678144 14554 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 14814 14554 544 484 0 14225 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 59256 KiB
Current children cumulated memory: 58216 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 3.12 2.31 5/251 151975
/proc/meminfo: memFree=128269148/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=61080 memory=56748 CPUtime=281.42 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 71043 0 0 0 28118 24 0 0 20 0 1 0 238162736 62545920 14187 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 15270 14187 544 484 0 14681 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 61080 KiB
Current children cumulated memory: 56748 KiB

[startup+342.3 s]
/proc/loadavg: 4.72 3.45 2.47 5/249 151977
/proc/meminfo: memFree=128194444/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=67520 memory=65900 CPUtime=341.23 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 84301 0 0 0 34094 29 0 0 20 0 1 0 238162736 69140480 16475 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 16880 16475 544 484 0 16291 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 67520 KiB
Current children cumulated memory: 65900 KiB

[startup+402.3 s]
/proc/loadavg: 4.42 3.61 2.59 5/250 151980
/proc/meminfo: memFree=128109676/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=66828 memory=66208 CPUtime=401.04 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 100275 0 0 0 40070 34 0 0 20 0 1 0 238162736 68431872 16552 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 16707 16552 544 484 0 16118 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 66828 KiB
Current children cumulated memory: 66208 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 3.70 2.69 5/251 152000
/proc/meminfo: memFree=128068400/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=78692 memory=78008 CPUtime=460.85 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 107334 0 0 0 46046 39 0 0 20 0 1 0 238162736 80580608 19502 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 19673 19502 544 484 0 19084 0
Current children cumulated CPU time: 460.85 s

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

Current children cumulated memory: 138620 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/252 152115
/proc/meminfo: memFree=127642956/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=148256 memory=138768 CPUtime=2853.49 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 361979 0 0 0 285201 148 0 0 20 0 1 0 238162736 151814144 34692 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 37064 34692 544 484 0 36475 0
Current children cumulated CPU time: 2853.49 s
Current children cumulated vsize: 148256 KiB
Current children cumulated memory: 138768 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.12 4.03 5/252 152117
/proc/meminfo: memFree=127564608/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=146708 memory=145624 CPUtime=2913.32 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 366175 0 0 0 291181 151 0 0 20 0 1 0 238162736 150228992 36406 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 36677 36406 544 484 0 36088 0
Current children cumulated CPU time: 2913.32 s
Current children cumulated vsize: 146708 KiB
Current children cumulated memory: 145624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.02 5/252 152119
/proc/meminfo: memFree=127576800/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=171948 memory=171104 CPUtime=2973.13 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 367529 0 0 0 297162 151 0 0 20 0 1 0 238162736 176074752 42776 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 42987 42776 544 484 0 42398 0
Current children cumulated CPU time: 2973.13 s
Current children cumulated vsize: 171948 KiB
Current children cumulated memory: 171104 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/252 152121
/proc/meminfo: memFree=127570496/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=171948 memory=171232 CPUtime=3032.94 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 367541 0 0 0 303143 151 0 0 20 0 1 0 238162736 176074752 42808 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 42987 42808 544 484 0 42398 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 171948 KiB
Current children cumulated memory: 171232 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/251 152127
/proc/meminfo: memFree=127465808/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=142172 memory=136580 CPUtime=3092.77 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 375053 0 0 0 309122 155 0 0 20 0 1 0 238162736 145584128 34145 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 35543 34145 544 484 0 34954 0
Current children cumulated CPU time: 3092.77 s
Current children cumulated vsize: 142172 KiB
Current children cumulated memory: 136580 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 152129
/proc/meminfo: memFree=127521648/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=157388 memory=156628 CPUtime=3152.59 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 377489 0 0 0 315103 156 0 0 20 0 1 0 238162736 161165312 39157 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 39347 39157 544 484 0 38758 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 156628 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/250 152131
/proc/meminfo: memFree=127534232/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=130912 memory=130132 CPUtime=3212.42 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 380819 0 0 0 321084 158 0 0 20 0 1 0 238162736 134053888 32533 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 32728 32533 544 484 0 32139 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 130912 KiB
Current children cumulated memory: 130132 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/250 152133
/proc/meminfo: memFree=127563568/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=129956 memory=129236 CPUtime=3272.25 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 381969 0 0 0 327064 161 0 0 20 0 1 0 238162736 133074944 32309 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 32489 32309 544 484 0 31900 0
Current children cumulated CPU time: 3272.25 s
Current children cumulated vsize: 129956 KiB
Current children cumulated memory: 129236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/250 152135
/proc/meminfo: memFree=127359000/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=163420 memory=162644 CPUtime=3332.08 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 383255 0 0 0 333047 161 0 0 20 0 1 0 238162736 167342080 40661 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 40855 40661 544 484 0 40266 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 163420 KiB
Current children cumulated memory: 162644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/251 152138
/proc/meminfo: memFree=127382272/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=195800 memory=194988 CPUtime=3391.91 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 383901 0 0 0 339029 162 0 0 20 0 1 0 238162736 200499200 48747 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 48950 48747 544 484 0 48361 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 195800 KiB
Current children cumulated memory: 194988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/252 152143
/proc/meminfo: memFree=127505152/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=103604 memory=103032 CPUtime=3451.75 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 385340 0 0 0 345011 164 0 0 20 0 1 0 238162736 106090496 25758 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 25901 25758 544 484 0 25312 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 103604 KiB
Current children cumulated memory: 103032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/251 152145
/proc/meminfo: memFree=127587616/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=161764 memory=161192 CPUtime=3511.57 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 387282 0 0 0 350991 166 0 0 20 0 1 0 238162736 165646336 40298 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 40441 40298 544 484 0 39852 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 161764 KiB
Current children cumulated memory: 161192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/251 152147
/proc/meminfo: memFree=127585312/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=164920 memory=164160 CPUtime=3571.4 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 388375 0 0 0 356973 167 0 0 20 0 1 0 238162736 168878080 41040 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 41230 41040 544 484 0 40641 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 164920 KiB
Current children cumulated memory: 164160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.07 4.08 4.03 4/247 152156
/proc/meminfo: memFree=127949116/131382120 swapFree=33010416/33010684
[pid=151901] ppid=151894 vsize=164920 memory=164160 CPUtime=3600.03 cores=0,2
/proc/151901/stat : 151901 (uwrmaxsat) R 151894 151901 151846 0 -1 4194304 388375 0 0 0 359836 167 0 0 20 0 1 0 238162736 168878080 41040 18446744073709551615 4198400 6176925 140735826650832 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 36577280 140735826655592 140735826655719 140735826655719 140735826661323 0
/proc/151901/statm: 41230 41040 544 484 0 40641 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 164920 KiB
Current children cumulated memory: 164160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.37 s, system=1.67735 s

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

Child status: 0

Real time (s): 3611.02
CPU time (s): 3600.05
CPU user time (s): 3598.37
CPU system time (s): 1.67735
CPU usage (%): 99.6962
Max. virtual memory (cumulated for all children) (KiB): 225936
Max. memory (cumulated for all children) (KiB): 225124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.37
system time used= 1.67735
maximum resident set size= 225124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388375
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= 52
involuntary context switches= 9136


# summary of solver processes directly reported to runsolver:
#   pid: 151901
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.37
#   total CPU system time (s): 1.67735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2296 second user time and 34.8309 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-23 00:53:54
IDJOB=4542985
IDBENCH=165199
IDSOLVER=3372
FILE ID=nodeC006/4542985-1753224833
RUNJOBID= nodeC006-1753224833-151856
SLURM_JOB_ID= 9687836
Free space on /tmp= 432784 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542985-1753224833/watcher-4542985-1753224833 -o /tmp/evaluation-result-4542985-1753224833/solver-4542985-1753224833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753224833-151856 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4542985-1753224833.opb -mem-lim=31000

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

MD5SUM BENCH= f232403836dcde587a139eecc4d77a9a
RANDOM SEED=1999980303

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.591
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.127
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.142
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.128
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.423
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.955
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.139
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129108756 kB
MemAvailable:   129802828 kB
Buffers:            2128 kB
Cached:          1371392 kB
SwapCached:           12 kB
Active:          1054364 kB
Inactive:         393864 kB
Active(anon):      90056 kB
Inactive(anon):    10792 kB
Active(file):     964308 kB
Inactive(file):   383072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8452 kB
Writeback:            16 kB
AnonPages:         76664 kB
Mapped:           108328 kB
Shmem:             26140 kB
KReclaimable:     372252 kB
Slab:             467344 kB
SReclaimable:     372252 kB
SUnreclaim:        95092 kB
KernelStack:        3920 kB
PageTables:         2904 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     358232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432768 MiB
End job on nodeC006 at 2025-07-23 01:54:05