Trace number 4543726

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.01 3610.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
MD5SUMfedac043231dc7d3bd4ac0917a28b068
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 benchmark6.12995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables279390
Total number of constraints5791
Number of constraints which are clauses2911
Number of constraints which are cardinality constraints (but not clauses)2880
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint97
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 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
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...
1.88/1.94	c Converting 5791 PB-constraints to clauses...
2.99/3.05	c ============================[ Encoding Statistics ]============================
2.99/3.05	c |  Number of variables:        354270                                         |
2.99/3.05	c |  Number of clauses:         1218271                                         |
2.99/3.05	c ===============================================================================
3600.00/3610.50	c *** TERMINATED by signal 15 ***
3600.00/3610.50	c _______________________________________________________________________________
3600.00/3610.50	c 
3600.00/3610.50	c _______________________________________________________________________________
3600.00/3610.50	c 
3600.00/3610.50	c =======================[ UWrMaxSat resources usage ]===========================
3600.00/3610.50	c Memory used            : 787.00 MB
3600.00/3610.50	c CPU time               : 3592.52 s
3600.00/3610.50	c Constr Enc: Srt/BDD/Add: 2880 0 0
3600.00/3610.50	c _______________________________________________________________________________
3600.00/3610.50	c _______________________________________________________________________________
3600.00/3610.50	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 (63101 MiB free)
  memory of node 1: 64465 MiB (63085 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543726-1753226602/watcher-4543726-1753226602 -o /tmp/evaluation-result-4543726-1753226602/solver-4543726-1753226602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753222988-194558 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4543726-1753226602.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=194985, runsolver pid=194978
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.00 4.14 4.17 6/251 194988
/proc/meminfo: memFree=129193908/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=10040 memory=8916 CPUtime=0.1 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 2010 0 0 0 9 1 0 0 20 0 1 0 238339377 10280960 2229 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 2510 2229 448 484 0 1921 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10040 KiB
Current children cumulated memory: 8916 KiB

[startup+0.213257 s]*
/proc/loadavg: 4.00 4.14 4.17 6/251 194988
/proc/meminfo: memFree=129169968/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=17140 memory=15756 CPUtime=0.22 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 3925 0 0 0 20 2 0 0 20 0 1 0 238339377 17551360 3939 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 4285 3939 448 484 0 3696 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 17140 KiB
Current children cumulated memory: 15756 KiB

[startup+0.312757 s]*
/proc/loadavg: 4.00 4.14 4.17 6/251 194988
/proc/meminfo: memFree=129124608/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=20436 memory=19340 CPUtime=0.31 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 4814 0 0 0 29 2 0 0 20 0 1 0 238339377 20926464 4835 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 5109 4835 448 484 0 4520 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20436 KiB
Current children cumulated memory: 19340 KiB

[startup+0.700272 s]
/proc/loadavg: 4.00 4.14 4.17 6/251 194988
/proc/meminfo: memFree=129097392/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=51872 memory=49148 CPUtime=0.69 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 11894 0 0 0 65 4 0 0 20 0 1 0 238339377 53116928 12287 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 12968 12287 448 484 0 12379 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51872 KiB
Current children cumulated memory: 49148 KiB

[startup+1.50031 s]
/proc/loadavg: 4.00 4.14 4.17 6/251 194988
/proc/meminfo: memFree=128944992/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=123908 memory=120884 CPUtime=1.49 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 26270 0 0 0 139 10 0 0 20 0 1 0 238339377 126881792 30221 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 30977 30221 448 484 0 30388 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 123908 KiB
Current children cumulated memory: 120884 KiB

[startup+3.11215 s]
/proc/loadavg: 4.08 4.15 4.17 6/251 194988
/proc/meminfo: memFree=128121616/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=401896 memory=382464 CPUtime=3.09 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 69197 0 0 0 288 21 0 0 20 0 1 0 238339377 411541504 95616 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 100474 95616 480 484 0 99885 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 401896 KiB
Current children cumulated memory: 382464 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.15 4.17 6/251 194988
/proc/meminfo: memFree=127906188/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=470164 memory=447388 CPUtime=6.27 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 75328 0 0 0 601 26 0 0 20 0 1 0 238339377 481447936 111847 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 117541 111847 544 484 0 116952 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 470164 KiB
Current children cumulated memory: 447388 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.15 4.17 6/251 194988
/proc/meminfo: memFree=127894592/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=448388 memory=432796 CPUtime=12.65 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 84406 0 0 0 1231 34 0 0 20 0 1 0 238339377 459149312 108199 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 112097 108199 544 484 0 111508 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 448388 KiB
Current children cumulated memory: 432796 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.16 4.18 6/251 194988
/proc/meminfo: memFree=127933704/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=450696 memory=435104 CPUtime=25.42 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 93877 0 0 0 2496 46 0 0 20 0 1 0 238339377 461512704 108776 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 112674 108776 544 484 0 112085 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 450696 KiB
Current children cumulated memory: 435104 KiB

[startup+51.1122 s]
/proc/loadavg: 4.15 4.16 4.18 6/251 194988
/proc/meminfo: memFree=127930848/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=455364 memory=439780 CPUtime=50.96 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 104769 0 0 0 5030 66 0 0 20 0 1 0 238339377 466292736 109945 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 113841 109945 544 484 0 113252 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 455364 KiB
Current children cumulated memory: 439780 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.18 4.18 6/252 194992
/proc/meminfo: memFree=127881680/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=465692 memory=450108 CPUtime=102 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 116594 0 0 0 10104 96 0 0 20 0 1 0 238339377 476868608 112527 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 116423 112527 544 484 0 115834 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 465692 KiB
Current children cumulated memory: 450108 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.18 6/252 194994
/proc/meminfo: memFree=127856980/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=471524 memory=455940 CPUtime=161.83 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 127142 0 0 0 16060 123 0 0 20 0 1 0 238339377 482840576 113985 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 117881 113985 544 484 0 117292 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 471524 KiB
Current children cumulated memory: 455940 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.18 6/253 195003
/proc/meminfo: memFree=127835832/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=550252 memory=534552 CPUtime=221.64 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 135758 0 0 0 22018 146 0 0 20 0 1 0 238339377 563458048 133638 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 137563 133638 544 484 0 136974 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 550252 KiB
Current children cumulated memory: 534552 KiB

[startup+282.3 s]
/proc/loadavg: 4.64 4.29 4.22 6/253 195005
/proc/meminfo: memFree=127809404/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=489232 memory=473648 CPUtime=281.43 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 145707 0 0 0 27979 164 0 0 20 0 1 0 238339377 500973568 118412 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 122308 118412 544 484 0 121719 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 489232 KiB
Current children cumulated memory: 473648 KiB

[startup+342.3 s]
/proc/loadavg: 5.02 4.48 4.29 6/252 195008
/proc/meminfo: memFree=127696820/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=502072 memory=486488 CPUtime=341.24 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 156965 0 0 0 33940 184 0 0 20 0 1 0 238339377 514121728 121622 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 125518 121622 544 484 0 124929 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 502072 KiB
Current children cumulated memory: 486488 KiB

[startup+402.3 s]
/proc/loadavg: 4.51 4.43 4.29 6/251 195010
/proc/meminfo: memFree=127733324/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=510236 memory=494652 CPUtime=401.04 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 168392 0 0 0 39900 204 0 0 20 0 1 0 238339377 522481664 123663 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 127559 123663 544 484 0 126970 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 510236 KiB
Current children cumulated memory: 494652 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.37 4.27 6/251 195012
/proc/meminfo: memFree=127730776/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=512800 memory=497216 CPUtime=460.84 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 176189 0 0 0 45862 222 0 0 20 0 1 0 238339377 525107200 124304 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 128200 124304 544 484 0 127611 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 621568 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.15 4.12 6/249 195141
/proc/meminfo: memFree=127154808/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=641192 memory=629836 CPUtime=2913.78 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 338198 0 0 0 290715 663 0 0 20 0 1 0 238339377 656580608 157459 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 160298 157459 544 484 0 159709 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 641192 KiB
Current children cumulated memory: 629836 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.12 6/249 195144
/proc/meminfo: memFree=127195852/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=634264 memory=622904 CPUtime=2973.62 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 339390 0 0 0 296691 671 0 0 20 0 1 0 238339377 649486336 155726 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 158566 155726 544 484 0 157977 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 634264 KiB
Current children cumulated memory: 622904 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.11 6/249 195146
/proc/meminfo: memFree=127176844/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=644436 memory=633076 CPUtime=3033.44 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 341111 0 0 0 302664 680 0 0 20 0 1 0 238339377 659902464 158269 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 161109 158269 544 484 0 160520 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 644436 KiB
Current children cumulated memory: 633076 KiB

[startup+3102.3 s]
/proc/loadavg: 4.31 4.17 4.12 6/249 195148
/proc/meminfo: memFree=127183916/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=643148 memory=631788 CPUtime=3093.27 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 342912 0 0 0 308638 689 0 0 20 0 1 0 238339377 658583552 157947 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 160787 157947 544 484 0 160198 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 643148 KiB
Current children cumulated memory: 631788 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.16 4.12 6/249 195150
/proc/meminfo: memFree=127181044/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=617364 memory=606004 CPUtime=3153.1 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 346853 0 0 0 314613 697 0 0 20 0 1 0 238339377 632180736 151501 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 154341 151501 544 484 0 153752 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 617364 KiB
Current children cumulated memory: 606004 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.11 6/250 195159
/proc/meminfo: memFree=127133168/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=640744 memory=629384 CPUtime=3212.92 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 349057 0 0 0 320584 708 0 0 20 0 1 0 238339377 656121856 157346 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 160186 157346 544 484 0 159597 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 640744 KiB
Current children cumulated memory: 629384 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.11 6/250 195161
/proc/meminfo: memFree=127129456/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=642960 memory=631632 CPUtime=3272.74 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 351059 0 0 0 326561 713 0 0 20 0 1 0 238339377 658391040 157908 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 160740 157908 544 484 0 160151 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 642960 KiB
Current children cumulated memory: 631632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 6/250 195163
/proc/meminfo: memFree=127112912/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=644420 memory=633060 CPUtime=3332.57 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 352478 0 0 0 332537 720 0 0 20 0 1 0 238339377 659886080 158265 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 161105 158265 544 484 0 160516 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 644420 KiB
Current children cumulated memory: 633060 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/252 195167
/proc/meminfo: memFree=127116048/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=646876 memory=635516 CPUtime=3392.39 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 353742 0 0 0 338514 725 0 0 20 0 1 0 238339377 662401024 158879 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 161719 158879 544 484 0 161130 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 646876 KiB
Current children cumulated memory: 635516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.10 6/252 195169
/proc/meminfo: memFree=127080952/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=657500 memory=646140 CPUtime=3452.22 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 354933 0 0 0 344492 730 0 0 20 0 1 0 238339377 673280000 161535 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 164375 161535 544 484 0 163786 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 657500 KiB
Current children cumulated memory: 646140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/251 195171
/proc/meminfo: memFree=127043404/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=661996 memory=650636 CPUtime=3512.04 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 356785 0 0 0 350469 735 0 0 20 0 1 0 238339377 677883904 162659 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 165499 162659 544 484 0 164910 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 661996 KiB
Current children cumulated memory: 650636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/251 195173
/proc/meminfo: memFree=127054596/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=655692 memory=644332 CPUtime=3571.88 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 358157 0 0 0 356445 743 0 0 20 0 1 0 238339377 671428608 161083 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 163923 161083 544 484 0 163334 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 655692 KiB
Current children cumulated memory: 644332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.20 4.14 4.10 6/251 195174
/proc/meminfo: memFree=127049376/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=656796 memory=645436 CPUtime=3600 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 359060 0 0 0 359251 749 0 0 20 0 1 0 238339377 672559104 161359 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 164199 161359 544 484 0 163610 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 656796 KiB
Current children cumulated memory: 645436 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.52 s, system=7.49504 s

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

[startup+3610.5 s]
/proc/loadavg: 4.20 4.14 4.10 6/251 195174
/proc/meminfo: memFree=127049376/131382116 swapFree=33009904/33010684
[pid=194985] ppid=194978 vsize=656796 memory=645436 CPUtime=3600 cores=0,2
/proc/194985/stat : 194985 (uwrmaxsat) R 194978 194985 194548 0 -1 4194304 359060 0 0 0 359251 749 0 0 20 0 1 0 238339377 672559104 161359 18446744073709551615 4198400 6176925 140733627359456 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 8196096 140733627365736 140733627365863 140733627365863 140733627371467 0
/proc/194985/statm: 164199 161359 544 484 0 163610 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 656796 KiB
Current children cumulated memory: 645436 KiB

Child status: 0

Real time (s): 3610.5
CPU time (s): 3600.01
CPU user time (s): 3592.52
CPU system time (s): 7.49504
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 806068
Max. memory (cumulated for all children) (KiB): 794636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.52
system time used= 7.49504
maximum resident set size= 794636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359060
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= 97
involuntary context switches= 8126


# summary of solver processes directly reported to runsolver:
#   pid: 194985
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3592.52
#   total CPU system time (s): 7.49504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8827 second user time and 29.8444 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-23 01:23:22
IDJOB=4543726
IDBENCH=174564
IDSOLVER=3372
FILE ID=nodeC004/4543726-1753226602
RUNJOBID= nodeC004-1753222988-194558
SLURM_JOB_ID= 9687825
Free space on /tmp= 432996 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543726-1753226602/watcher-4543726-1753226602 -o /tmp/evaluation-result-4543726-1753226602/solver-4543726-1753226602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753222988-194558 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4543726-1753226602.opb -mem-lim=31000

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=1074821252

nodeC004 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.294
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.74
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.193
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.74
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.376
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.74
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.220
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.74
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.220
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.74
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		: 1197.213
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.74
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.258
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.74
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.061
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129222468 kB
MemAvailable:   129856932 kB
Buffers:            2128 kB
Cached:          1382832 kB
SwapCached:           32 kB
Active:          1137936 kB
Inactive:         315880 kB
Active(anon):      84588 kB
Inactive(anon):    10468 kB
Active(file):    1053348 kB
Inactive(file):   305412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25156 kB
Writeback:             0 kB
AnonPages:         71984 kB
Mapped:           108916 kB
Shmem:             26132 kB
KReclaimable:     230664 kB
Slab:             323312 kB
SReclaimable:     230664 kB
SUnreclaim:        92648 kB
KernelStack:        3900 kB
PageTables:         3228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     351568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC004 at 2025-07-23 02:23:33