Trace number 4501954

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.02 3609.6

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
MD5SUM69f6f997ce8de3d1a51b1c8599cc504d
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 variables19838
Total number of constraints62894
Number of constraints which are clauses62462
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints432
Minimum length of a constraint1
Maximum length of a constraint90
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 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
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.69/0.76	c Converting 54821 PB-constraints to clauses...
1.68/1.75	c ============================[ Encoding Statistics ]============================
1.68/1.75	c |  Number of variables:         95286                                         |
1.68/1.75	c |  Number of clauses:          496876                                         |
1.68/1.75	c ===============================================================================
3600.01/3609.60	c *** TERMINATED by signal 15 ***
3600.01/3609.60	c _______________________________________________________________________________
3600.01/3609.60	c 
3600.01/3609.60	c _______________________________________________________________________________
3600.01/3609.60	c 
3600.01/3609.60	c =======================[ UWrMaxSat resources usage ]===========================
3600.01/3609.60	c Memory used            : 295.00 MB
3600.01/3609.60	c CPU time               : 3599.17 s
3600.01/3609.60	c Constr Enc: Srt/BDD/Add: 1366 0 0
3600.01/3609.60	c _______________________________________________________________________________
3600.01/3609.60	c _______________________________________________________________________________
3600.01/3609.60	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: 63837 MiB (63292 MiB free)
  memory of node 1: 64465 MiB (63873 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501954-1751167409/watcher-4501954-1751167409 -o /tmp/evaluation-result-4501954-1751167409/solver-4501954-1751167409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751167366-18749 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4501954-1751167409.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=19170, runsolver pid=19167
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 2.70 2.74 3.50 4/253 19179
/proc/meminfo: memFree=130217272/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=12928 memory=11876 CPUtime=0.1 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 2755 0 0 0 10 0 0 0 20 0 1 0 32420280 13238272 2969 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 3232 2969 448 484 0 2643 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 12928 KiB
Current children cumulated memory: 11876 KiB

[startup+0.213281 s]*
/proc/loadavg: 2.70 2.74 3.50 5/250 19179
/proc/meminfo: memFree=130215508/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=19752 memory=18532 CPUtime=0.22 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 4438 0 0 0 21 1 0 0 20 0 1 0 32420280 20226048 4633 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 4938 4633 448 484 0 4349 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 19752 KiB
Current children cumulated memory: 18532 KiB

[startup+0.31305 s]*
/proc/loadavg: 2.70 2.74 3.50 5/250 19179
/proc/meminfo: memFree=130215508/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=24904 memory=23780 CPUtime=0.32 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 5735 0 0 0 31 1 0 0 20 0 1 0 32420280 25501696 5945 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 6226 5945 448 484 0 5637 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 24904 KiB
Current children cumulated memory: 23780 KiB

[startup+0.700311 s]
/proc/loadavg: 2.70 2.74 3.50 4/250 19179
/proc/meminfo: memFree=130199632/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=48772 memory=46580 CPUtime=0.69 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 11650 0 0 0 66 3 0 0 20 0 1 0 32420280 49942528 11645 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 12193 11645 448 484 0 11604 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48772 KiB
Current children cumulated memory: 46580 KiB

[startup+1.50033 s]
/proc/loadavg: 2.70 2.74 3.50 5/252 19191
/proc/meminfo: memFree=130176816/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=133120 memory=123400 CPUtime=1.48 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 24878 0 0 0 141 7 0 0 20 0 1 0 32420280 136314880 30850 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 33280 30850 480 484 0 32691 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133120 KiB
Current children cumulated memory: 123400 KiB

[startup+3.11308 s]
/proc/loadavg: 2.80 2.77 3.50 5/254 19216
/proc/meminfo: memFree=129913964/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=210948 memory=198676 CPUtime=3.09 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 32974 0 0 0 299 10 0 0 20 0 1 0 32420280 216010752 49669 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 52737 49669 544 484 0 52148 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 210948 KiB
Current children cumulated memory: 198676 KiB

[startup+6.30034 s]
/proc/loadavg: 2.80 2.77 3.50 5/254 19216
/proc/meminfo: memFree=129701812/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=237864 memory=227816 CPUtime=6.27 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 34166 0 0 0 616 11 0 0 20 0 1 0 32420280 243572736 56954 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 59466 56954 544 484 0 58877 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 237864 KiB
Current children cumulated memory: 227816 KiB

[startup+12.7003 s]
/proc/loadavg: 2.98 2.80 3.51 5/254 19216
/proc/meminfo: memFree=129676784/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=237864 memory=228328 CPUtime=12.65 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 34316 0 0 0 1254 11 0 0 20 0 1 0 32420280 243572736 57082 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 59466 57082 544 484 0 58877 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 237864 KiB
Current children cumulated memory: 228328 KiB

[startup+25.5003 s]
/proc/loadavg: 3.20 2.86 3.52 5/254 19216
/proc/meminfo: memFree=129663676/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=237864 memory=229224 CPUtime=25.41 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 34572 0 0 0 2530 11 0 0 20 0 1 0 32420280 243572736 57306 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 59466 57306 544 484 0 58877 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 237864 KiB
Current children cumulated memory: 229224 KiB

[startup+51.1133 s]
/proc/loadavg: 3.48 2.95 3.54 5/254 19217
/proc/meminfo: memFree=129666252/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=237864 memory=229352 CPUtime=50.95 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 34640 0 0 0 5084 11 0 0 20 0 1 0 32420280 243572736 57338 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 59466 57338 544 484 0 58877 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 237864 KiB
Current children cumulated memory: 229352 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 3.15 3.57 5/254 19224
/proc/meminfo: memFree=129644832/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=204220 memory=195608 CPUtime=101.95 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 38652 0 0 0 10181 14 0 0 20 0 1 0 32420280 209121280 48902 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 51055 48902 544 484 0 50466 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 204220 KiB
Current children cumulated memory: 195608 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.33 3.61 5/254 19226
/proc/meminfo: memFree=129630136/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=243444 memory=235548 CPUtime=161.77 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 40783 0 0 0 16161 16 0 0 20 0 1 0 32420280 249286656 58887 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 60861 58887 544 484 0 60272 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 243444 KiB
Current children cumulated memory: 235548 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.47 3.64 5/254 19228
/proc/meminfo: memFree=129596000/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=205296 memory=197504 CPUtime=221.63 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 44751 0 0 0 22144 19 0 0 20 0 1 0 32420280 210223104 49376 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 51324 49376 544 484 0 50735 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 205296 KiB
Current children cumulated memory: 197504 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.60 3.68 5/252 19229
/proc/meminfo: memFree=129597656/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=212208 memory=204364 CPUtime=281.48 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 48598 0 0 0 28127 21 0 0 20 0 1 0 32420280 217300992 51091 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 53052 51091 544 484 0 52463 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 212208 KiB
Current children cumulated memory: 204364 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.68 3.70 5/251 19231
/proc/meminfo: memFree=129614772/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=231568 memory=223768 CPUtime=341.32 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 50255 0 0 0 34110 22 0 0 20 0 1 0 32420280 237125632 55942 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 57892 55942 544 484 0 57303 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 231568 KiB
Current children cumulated memory: 223768 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.77 3.74 5/250 19233
/proc/meminfo: memFree=129614272/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=205608 memory=197896 CPUtime=401.17 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 51367 0 0 0 40094 23 0 0 20 0 1 0 32420280 210542592 49474 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 51402 49474 544 484 0 50813 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 205608 KiB
Current children cumulated memory: 197896 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.83 3.76 5/251 19236
/proc/meminfo: memFree=129599568/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=242776 memory=234912 CPUtime=461.01 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 54729 0 0 0 46076 25 0 0 20 0 1 0 32420280 248602624 58728 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 60694 58728 544 484 0 60105 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 236592 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/250 19407
/proc/meminfo: memFree=129242464/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=244852 memory=237008 CPUtime=2854.67 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 102952 0 0 0 285396 71 0 0 20 0 1 0 32420280 250728448 59252 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 61213 59252 544 484 0 60624 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 244852 KiB
Current children cumulated memory: 237008 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/250 19409
/proc/meminfo: memFree=129241740/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=245380 memory=237536 CPUtime=2914.52 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 103818 0 0 0 291380 72 0 0 20 0 1 0 32420280 251269120 59384 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 61345 59384 544 484 0 60756 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 245380 KiB
Current children cumulated memory: 237536 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 19412
/proc/meminfo: memFree=129221136/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=248848 memory=240936 CPUtime=2974.35 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 105023 0 0 0 297363 72 0 0 20 0 1 0 32420280 254820352 60234 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62212 60234 544 484 0 61623 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 248848 KiB
Current children cumulated memory: 240936 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 19416
/proc/meminfo: memFree=129213424/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=249376 memory=241464 CPUtime=3034.2 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 106029 0 0 0 303346 74 0 0 20 0 1 0 32420280 255361024 60366 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62344 60366 544 484 0 61755 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 249376 KiB
Current children cumulated memory: 241464 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 19422
/proc/meminfo: memFree=129222532/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=248264 memory=237644 CPUtime=3094.04 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 106696 0 0 0 309330 74 0 0 20 0 1 0 32420280 254222336 59411 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62066 59411 544 484 0 61477 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 248264 KiB
Current children cumulated memory: 237644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/250 19424
/proc/meminfo: memFree=129211816/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=250904 memory=240284 CPUtime=3153.88 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 107407 0 0 0 315313 75 0 0 20 0 1 0 32420280 256925696 60071 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62726 60071 544 484 0 62137 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 250904 KiB
Current children cumulated memory: 240284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/251 19427
/proc/meminfo: memFree=129238988/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=251784 memory=241164 CPUtime=3213.73 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 108659 0 0 0 321296 77 0 0 20 0 1 0 32420280 257826816 60291 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62946 60291 544 484 0 62357 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 251784 KiB
Current children cumulated memory: 241164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/251 19430
/proc/meminfo: memFree=129189296/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=252096 memory=241476 CPUtime=3273.57 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 109141 0 0 0 327280 77 0 0 20 0 1 0 32420280 258146304 60369 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 63024 60369 544 484 0 62435 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 252096 KiB
Current children cumulated memory: 241476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/251 19432
/proc/meminfo: memFree=129193432/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=248800 memory=238180 CPUtime=3333.42 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 110430 0 0 0 333263 79 0 0 20 0 1 0 32420280 254771200 59545 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62200 59545 544 484 0 61611 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 248800 KiB
Current children cumulated memory: 238180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/251 19434
/proc/meminfo: memFree=129220860/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=249636 memory=239528 CPUtime=3393.27 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 110876 0 0 0 339247 80 0 0 20 0 1 0 32420280 255627264 59882 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 62409 59882 544 484 0 61820 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 249636 KiB
Current children cumulated memory: 239528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 19436
/proc/meminfo: memFree=129174040/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=252356 memory=242248 CPUtime=3453.11 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 112366 0 0 0 345230 81 0 0 20 0 1 0 32420280 258412544 60562 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 63089 60562 544 484 0 62500 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 252356 KiB
Current children cumulated memory: 242248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 19438
/proc/meminfo: memFree=129168944/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=263188 memory=254748 CPUtime=3512.96 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 113995 0 0 0 351213 83 0 0 20 0 1 0 32420280 269504512 63687 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 65797 63687 544 484 0 65208 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 263188 KiB
Current children cumulated memory: 254748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 19486
/proc/meminfo: memFree=128782528/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=264068 memory=255628 CPUtime=3572.79 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 114775 0 0 0 357196 83 0 0 20 0 1 0 32420280 270405632 63907 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 66017 63907 544 484 0 65428 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 264068 KiB
Current children cumulated memory: 255628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 19487
/proc/meminfo: memFree=128795980/131382116 swapFree=33010684/33010684
[pid=19170] ppid=19167 vsize=264488 memory=256048 CPUtime=3600.01 cores=4,6
/proc/19170/stat : 19170 (uwrmaxsat) R 19167 19170 18738 0 -1 4194304 115659 0 0 0 359917 84 0 0 20 0 1 0 32420280 270835712 64012 18446744073709551615 4198400 6176925 140725458851168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 17739776 140725458860394 140725458860521 140725458860521 140725458866123 0
/proc/19170/statm: 66122 64012 544 484 0 65533 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 264488 KiB
Current children cumulated memory: 256048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.17 s, system=0.849775 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.02
CPU user time (s): 3599.17
CPU system time (s): 0.849775
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 302352
Max. memory (cumulated for all children) (KiB): 293876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 0.849775
maximum resident set size= 293876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115659
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= 42
involuntary context switches= 2391


# summary of solver processes directly reported to runsolver:
#   pid: 19170
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.17
#   total CPU system time (s): 0.849775

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3706 second user time and 36.1022 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-29 05:23:29
IDJOB=4501954
IDBENCH=152982
IDSOLVER=3372
FILE ID=nodeC010/4501954-1751167409
RUNJOBID= nodeC010-1751167366-18749
SLURM_JOB_ID= 9587506
Free space on /tmp= 433048 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_3-sat.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501954-1751167409/watcher-4501954-1751167409 -o /tmp/evaluation-result-4501954-1751167409/solver-4501954-1751167409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751167366-18749 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4501954-1751167409.opb -mem-lim=31000

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

MD5SUM BENCH= 69f6f997ce8de3d1a51b1c8599cc504d
RANDOM SEED=279763984

nodeC010 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		: 3660.961
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.36
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.148
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.36
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.36
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.240
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.36
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.412
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.36
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		: 3644.345
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.36
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.151
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.36
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.214
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        130217424 kB
MemAvailable:   129894136 kB
Buffers:            3280 kB
Cached:           488544 kB
SwapCached:            0 kB
Active:           426552 kB
Inactive:         197180 kB
Active(anon):     149868 kB
Inactive(anon):        0 kB
Active(file):     276684 kB
Inactive(file):   197180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8216 kB
Writeback:             8 kB
AnonPages:        135024 kB
Mapped:           108844 kB
Shmem:             17960 kB
KReclaimable:      84948 kB
Slab:             163816 kB
SReclaimable:      84948 kB
SUnreclaim:        78868 kB
KernelStack:        4144 kB
PageTables:         3160 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     471964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC010 at 2025-06-29 06:23:39