Trace number 4509912

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.08 3611.2

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
MD5SUMe5c6ae9ee6fd03a9aee6a0d19e002873
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables577
Total number of constraints1922
Number of constraints which are clauses1922
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.01	c Converting 1922 PB-constraints to clauses...
0.00/0.01	c ============================[ Encoding Statistics ]============================
0.00/0.01	c |  Number of variables:           577                                         |
0.00/0.01	c |  Number of clauses:            1922                                         |
0.00/0.01	c ===============================================================================
3600.07/3611.20	c *** TERMINATED by signal 15 ***
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	c 
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	c 
3600.07/3611.20	c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3611.20	c Memory used            : 207.00 MB
3600.07/3611.20	c CPU time               : 3599.22 s
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	c _______________________________________________________________________________
3600.07/3611.20	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63010 MiB free)
  memory of node 1: 64465 MiB (63948 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509912-1751192867/watcher-4509912-1751192867 -o /tmp/evaluation-result-4509912-1751192867/solver-4509912-1751192867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751192867-25925 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4509912-1751192867.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=25980, runsolver pid=25973
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 0.52 0.94 1.50 5/265 25982
/proc/meminfo: memFree=130003520/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=5152 memory=4480 CPUtime=0.1 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 873 0 0 0 10 0 0 0 20 0 1 0 34965234 5275648 1120 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 1288 1120 544 484 0 699 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 5152 KiB
Current children cumulated memory: 4480 KiB

[startup+0.205373 s]*
/proc/loadavg: 0.52 0.94 1.50 6/265 25982
/proc/meminfo: memFree=130002764/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=5976 memory=5248 CPUtime=0.2 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 1079 0 0 0 20 0 0 0 20 0 1 0 34965234 6119424 1312 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 1494 1312 544 484 0 905 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 5976 KiB
Current children cumulated memory: 5248 KiB

[startup+0.304865 s]*
/proc/loadavg: 0.52 0.94 1.50 5/265 25982
/proc/meminfo: memFree=130002260/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=6040 memory=5524 CPUtime=0.3 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 1251 0 0 0 30 0 0 0 20 0 1 0 34965234 6184960 1381 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 1510 1381 544 484 0 921 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 6040 KiB
Current children cumulated memory: 5524 KiB

[startup+0.700102 s]
/proc/loadavg: 0.52 0.94 1.50 5/265 25982
/proc/meminfo: memFree=129998708/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=6632 memory=6212 CPUtime=0.69 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 2198 0 0 0 69 0 0 0 20 0 1 0 34965234 6791168 1553 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 1658 1553 544 484 0 1069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 6632 KiB
Current children cumulated memory: 6212 KiB

[startup+1.5001 s]
/proc/loadavg: 0.52 0.94 1.50 5/265 25982
/proc/meminfo: memFree=129994424/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=7840 memory=7156 CPUtime=1.49 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 3790 0 0 0 149 0 0 0 20 0 1 0 34965234 8028160 1789 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 1960 1789 544 484 0 1371 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 7840 KiB
Current children cumulated memory: 7156 KiB

[startup+3.1054 s]
/proc/loadavg: 0.80 0.99 1.51 5/265 25982
/proc/meminfo: memFree=129975076/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=11612 memory=11196 CPUtime=3.09 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 6480 0 0 0 308 1 0 0 20 0 1 0 34965234 11890688 2799 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 2903 2799 544 484 0 2314 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 11612 KiB
Current children cumulated memory: 11196 KiB

[startup+6.30013 s]
/proc/loadavg: 0.80 0.99 1.51 5/265 25982
/proc/meminfo: memFree=129965516/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=13820 memory=13276 CPUtime=6.27 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 9511 0 0 0 626 1 0 0 20 0 1 0 34965234 14151680 3319 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 3455 3319 544 484 0 2866 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 13820 KiB
Current children cumulated memory: 13276 KiB

[startup+12.7002 s]
/proc/loadavg: 1.05 1.04 1.53 6/265 25982
/proc/meminfo: memFree=129947120/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=21296 memory=20700 CPUtime=12.66 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 11380 0 0 0 1264 2 0 0 20 0 1 0 34965234 21807104 5175 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 5324 5175 544 484 0 4735 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 21296 KiB
Current children cumulated memory: 20700 KiB

[startup+25.5002 s]
/proc/loadavg: 1.79 1.20 1.57 5/266 25984
/proc/meminfo: memFree=129932364/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=24720 memory=24124 CPUtime=25.42 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 16291 0 0 0 2539 3 0 0 20 0 1 0 34965234 25313280 6031 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 6180 6031 544 484 0 5591 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 24720 KiB
Current children cumulated memory: 24124 KiB

[startup+51.1057 s]
/proc/loadavg: 2.54 1.43 1.64 5/266 25984
/proc/meminfo: memFree=129893648/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=38412 memory=37792 CPUtime=50.94 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 18705 0 0 0 5090 4 0 0 20 0 1 0 34965234 39333888 9448 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 9603 9448 544 484 0 9014 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 37792 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.84 1.77 5/266 26034
/proc/meminfo: memFree=129850956/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=34552 memory=34128 CPUtime=101.98 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 30816 0 0 0 10189 9 0 0 20 0 1 0 34965234 35381248 8532 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 8638 8532 544 484 0 8049 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 34552 KiB
Current children cumulated memory: 34128 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.28 1.93 5/265 26040
/proc/meminfo: memFree=129805300/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=61792 memory=61216 CPUtime=161.81 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 37375 0 0 0 16168 13 0 0 20 0 1 0 34965234 63275008 15304 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 15448 15304 544 484 0 14859 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 61792 KiB
Current children cumulated memory: 61216 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.61 2.06 5/265 26042
/proc/meminfo: memFree=129784684/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=69736 memory=69152 CPUtime=221.63 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 38312 0 0 0 22150 13 0 0 20 0 1 0 34965234 71409664 17288 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 17434 17288 544 484 0 16845 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 69736 KiB
Current children cumulated memory: 69152 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.90 2.20 5/265 26044
/proc/meminfo: memFree=129757564/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=78640 memory=78080 CPUtime=281.45 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 43648 0 0 0 28131 14 0 0 20 0 1 0 34965234 80527360 19520 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 19660 19520 544 484 0 19071 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 78640 KiB
Current children cumulated memory: 78080 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.13 2.32 5/266 26047
/proc/meminfo: memFree=129731200/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=83248 memory=82688 CPUtime=341.28 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 44824 0 0 0 34113 15 0 0 20 0 1 0 34965234 85245952 20672 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 20812 20672 544 484 0 20223 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 83248 KiB
Current children cumulated memory: 82688 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.29 2.43 5/264 26049
/proc/meminfo: memFree=129745892/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=66064 memory=65168 CPUtime=401.08 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 50508 0 0 0 40090 18 0 0 20 0 1 0 34965234 67649536 16292 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 16516 16292 544 484 0 15927 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 66064 KiB
Current children cumulated memory: 65168 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.45 2.54 5/264 26051
/proc/meminfo: memFree=129758712/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=70528 memory=69496 CPUtime=460.91 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 55894 0 0 0 46070 21 0 0 20 0 1 0 34965234 72220672 17374 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 17632 17374 544 484 0 17043 0

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

Current children cumulated memory: 143288 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/263 26174
/proc/meminfo: memFree=129398524/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=146032 memory=144688 CPUtime=2853.39 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 117170 0 0 0 285274 65 0 0 20 0 1 0 34965234 149536768 36172 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 36508 36172 544 484 0 35919 0
Current children cumulated CPU time: 2853.39 s
Current children cumulated vsize: 146032 KiB
Current children cumulated memory: 144688 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.15 4.06 5/263 26176
/proc/meminfo: memFree=129378420/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=146156 memory=145228 CPUtime=2913.18 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 118108 0 0 0 291252 66 0 0 20 0 1 0 34965234 149663744 36307 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 36539 36307 544 484 0 35950 0
Current children cumulated CPU time: 2913.18 s
Current children cumulated vsize: 146156 KiB
Current children cumulated memory: 145228 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/263 26178
/proc/meminfo: memFree=129410396/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=147540 memory=146432 CPUtime=2973.01 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 119853 0 0 0 297232 69 0 0 20 0 1 0 34965234 151080960 36608 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 36885 36608 544 484 0 36296 0
Current children cumulated CPU time: 2973.01 s
Current children cumulated vsize: 147540 KiB
Current children cumulated memory: 146432 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/263 26180
/proc/meminfo: memFree=129443600/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=147788 memory=146780 CPUtime=3032.83 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 121088 0 0 0 303213 70 0 0 20 0 1 0 34965234 151334912 36695 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 36947 36695 544 484 0 36358 0
Current children cumulated CPU time: 3032.83 s
Current children cumulated vsize: 147788 KiB
Current children cumulated memory: 146780 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/264 26185
/proc/meminfo: memFree=129423340/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=147996 memory=147260 CPUtime=3092.65 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 121937 0 0 0 309194 71 0 0 20 0 1 0 34965234 151547904 36815 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 36999 36815 544 484 0 36410 0
Current children cumulated CPU time: 3092.65 s
Current children cumulated vsize: 147996 KiB
Current children cumulated memory: 147260 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.07 5/264 26191
/proc/meminfo: memFree=129384628/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=150628 memory=148520 CPUtime=3152.48 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 123698 0 0 0 315174 74 0 0 20 0 1 0 34965234 154243072 37130 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 37657 37130 544 484 0 37068 0
Current children cumulated CPU time: 3152.48 s
Current children cumulated vsize: 150628 KiB
Current children cumulated memory: 148520 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/263 26193
/proc/meminfo: memFree=129458672/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=150996 memory=149584 CPUtime=3212.3 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 124866 0 0 0 321155 75 0 0 20 0 1 0 34965234 154619904 37396 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 37749 37396 544 484 0 37160 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 150996 KiB
Current children cumulated memory: 149584 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/263 26195
/proc/meminfo: memFree=129397560/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=151140 memory=150120 CPUtime=3272.12 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 126058 0 0 0 327136 76 0 0 20 0 1 0 34965234 154767360 37530 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 37785 37530 544 484 0 37196 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 151140 KiB
Current children cumulated memory: 150120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.08 5/263 26196
/proc/meminfo: memFree=129438732/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=153936 memory=151540 CPUtime=3331.96 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 127069 0 0 0 333118 78 0 0 20 0 1 0 34965234 157630464 37885 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 38484 37885 544 484 0 37895 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 153936 KiB
Current children cumulated memory: 151540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 26198
/proc/meminfo: memFree=129455808/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=154352 memory=152484 CPUtime=3391.78 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 128546 0 0 0 339099 79 0 0 20 0 1 0 34965234 158056448 38121 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 38588 38121 544 484 0 37999 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 154352 KiB
Current children cumulated memory: 152484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/263 26200
/proc/meminfo: memFree=129446264/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=159572 memory=156364 CPUtime=3451.6 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 130206 0 0 0 345079 81 0 0 20 0 1 0 34965234 163401728 39091 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 39893 39091 544 484 0 39304 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 159572 KiB
Current children cumulated memory: 156364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/263 26202
/proc/meminfo: memFree=129414524/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=160068 memory=156952 CPUtime=3511.42 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 131739 0 0 0 351060 82 0 0 20 0 1 0 34965234 163909632 39238 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 40017 39238 544 484 0 39428 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 160068 KiB
Current children cumulated memory: 156952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 26205
/proc/meminfo: memFree=129404048/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=160552 memory=158504 CPUtime=3571.26 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 133661 0 0 0 357041 85 0 0 20 0 1 0 34965234 164405248 39626 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 40138 39626 544 484 0 39549 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 160552 KiB
Current children cumulated memory: 158504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.16 4.12 4.09 3/258 26262
/proc/meminfo: memFree=129645312/131249988 swapFree=33010684/33010684
[pid=25980] ppid=25973 vsize=160740 memory=158692 CPUtime=3600.07 cores=5,7
/proc/25980/stat : 25980 (uwrmaxsat) R 25973 25980 25912 0 -1 4194304 134241 0 0 0 359921 86 0 0 20 0 1 0 34965234 164597760 39673 18446744073709551615 4198400 6176925 140731283617136 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 11235328 140731283622250 140731283622377 140731283622377 140731283627979 0
/proc/25980/statm: 40185 39673 544 484 0 39596 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 158692 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.22 s, system=0.862077 s

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

Child status: 0

Real time (s): 3611.2
CPU time (s): 3600.08
CPU user time (s): 3599.22
CPU system time (s): 0.862077
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 212936
Max. memory (cumulated for all children) (KiB): 205384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 0.862077
maximum resident set size= 212168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134241
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= 38
involuntary context switches= 20379


# summary of solver processes directly reported to runsolver:
#   pid: 25980
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.22
#   total CPU system time (s): 0.862077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48996 second user time and 12.6865 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-29 12:27:47
IDJOB=4509912
IDBENCH=159173
IDSOLVER=3372
FILE ID=nodeC031/4509912-1751192867
RUNJOBID= nodeC031-1751192867-25925
SLURM_JOB_ID= 9587586
Free space on /tmp= 433060 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509912-1751192867/watcher-4509912-1751192867 -o /tmp/evaluation-result-4509912-1751192867/solver-4509912-1751192867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751192867-25925 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4509912-1751192867.opb -mem-lim=31000

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

MD5SUM BENCH= e5c6ae9ee6fd03a9aee6a0d19e002873
RANDOM SEED=1167178360

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        130013832 kB
MemAvailable:   129758576 kB
Buffers:            3280 kB
Cached:           554508 kB
SwapCached:            0 kB
Active:           301768 kB
Inactive:         335508 kB
Active(anon):      97552 kB
Inactive(anon):        0 kB
Active(file):     204216 kB
Inactive(file):   335508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10368 kB
Writeback:             0 kB
AnonPages:         82668 kB
Mapped:           102736 kB
Shmem:             18064 kB
KReclaimable:      88520 kB
Slab:             174176 kB
SReclaimable:      88520 kB
SUnreclaim:        85656 kB
KernelStack:        3856 kB
PageTables:         2704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     342276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC031 at 2025-06-29 13:27:58