Trace number 4542673

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.07 3609.7

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
MD5SUM97f31c39a85f5c54920a5de5b1e4a080
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 benchmark78.0826
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables403744
Total number of constraints31066
Number of constraints which are clauses15781
Number of constraints which are cardinality constraints (but not clauses)13394
Number of constraints which are nor clauses,nor cardinality constraints1891
Minimum length of a constraint28
Maximum length of a constraint33
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
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.49/1.56	c Converting 31066 PB-constraints to clauses...
3.88/3.95	c ============================[ Encoding Statistics ]============================
3.88/3.95	c |  Number of variables:        593869                                         |
3.88/3.95	c |  Number of clauses:         2201364                                         |
3.88/3.95	c ===============================================================================
3600.05/3609.70	c *** TERMINATED by signal 15 ***
3600.05/3609.70	c _______________________________________________________________________________
3600.05/3609.70	c 
3600.05/3609.70	c _______________________________________________________________________________
3600.05/3609.70	c 
3600.05/3609.70	c =======================[ UWrMaxSat resources usage ]===========================
3600.05/3609.70	c Memory used            : 1009.00 MB
3600.05/3609.70	c CPU time               : 3591.01 s
3600.05/3609.70	c Constr Enc: Srt/BDD/Add: 15285 0 0
3600.05/3609.70	c _______________________________________________________________________________
3600.05/3609.70	c _______________________________________________________________________________
3600.05/3609.70	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: 63665 MiB (59664 MiB free)
  memory of node 1: 64507 MiB (53293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542673-1753221469/watcher-4542673-1753221469 -o /tmp/evaluation-result-4542673-1753221469/solver-4542673-1753221469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753221469-176443 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4542673-1753221469.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=176501, runsolver pid=176498

[startup+0.10006 s]*
/proc/loadavg: 1.09 1.57 2.73 5/263 176502
/proc/meminfo: memFree=115631564/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=21196 memory=19872 CPUtime=0.1 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 4984 0 0 0 9 1 0 0 20 0 1 0 237826792 21704704 4968 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 5299 4968 448 484 0 4710 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21196 KiB
Current children cumulated memory: 19872 KiB

[startup+0.205338 s]*
/proc/loadavg: 1.09 1.57 2.73 5/263 176502
/proc/meminfo: memFree=115597292/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=39004 memory=37592 CPUtime=0.2 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 9789 0 0 0 19 1 0 0 20 0 1 0 237826792 39940096 9398 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 9751 9398 448 484 0 9162 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39004 KiB
Current children cumulated memory: 37592 KiB

[startup+0.304717 s]*
/proc/loadavg: 1.09 1.57 2.73 5/263 176502
/proc/meminfo: memFree=115557224/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=60648 memory=58044 CPUtime=0.3 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 14671 0 0 0 28 2 0 0 20 0 1 0 237826792 62103552 14511 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 15162 14511 448 484 0 14573 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60648 KiB
Current children cumulated memory: 58044 KiB

[startup+0.700131 s]
/proc/loadavg: 1.09 1.57 2.73 5/263 176502
/proc/meminfo: memFree=115475064/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=130488 memory=127928 CPUtime=0.69 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 26012 0 0 0 63 6 0 0 20 0 1 0 237826792 133619712 31982 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 32622 31982 448 484 0 32033 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 130488 KiB
Current children cumulated memory: 127928 KiB

[startup+1.50016 s]
/proc/loadavg: 1.09 1.57 2.73 5/263 176502
/proc/meminfo: memFree=115340104/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=270064 memory=265748 CPUtime=1.49 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 48710 0 0 0 136 13 0 0 20 0 1 0 237826792 276545536 66437 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 67516 66437 448 484 0 66927 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 270064 KiB
Current children cumulated memory: 265748 KiB

[startup+3.1053 s]
/proc/loadavg: 1.32 1.61 2.73 5/263 176502
/proc/meminfo: memFree=114763260/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=487404 memory=462376 CPUtime=3.09 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 69521 0 0 0 290 19 0 0 20 0 1 0 237826792 499101696 115594 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 121851 115594 448 484 0 121262 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 487404 KiB
Current children cumulated memory: 462376 KiB

[startup+6.30017 s]
/proc/loadavg: 1.32 1.61 2.73 5/263 176502
/proc/meminfo: memFree=114334184/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=825064 memory=768940 CPUtime=6.27 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 95794 0 0 0 595 32 0 0 20 0 1 0 237826792 844865536 192235 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 206266 192235 512 484 0 205677 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 825064 KiB
Current children cumulated memory: 768940 KiB

[startup+12.7002 s]
/proc/loadavg: 1.62 1.66 2.75 5/263 176502
/proc/meminfo: memFree=114341288/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=798492 memory=759216 CPUtime=12.65 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 103922 0 0 0 1217 48 0 0 20 0 1 0 237826792 817655808 189804 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 199623 189804 512 484 0 199034 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 798492 KiB
Current children cumulated memory: 759216 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 1.78 2.77 5/263 176502
/proc/meminfo: memFree=114319688/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=915280 memory=845104 CPUtime=25.41 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 112657 0 0 0 2473 68 0 0 20 0 1 0 237826792 937246720 211276 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 228820 211276 512 484 0 228231 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 915280 KiB
Current children cumulated memory: 845104 KiB

[startup+51.1053 s]
/proc/loadavg: 2.78 1.96 2.80 4/259 176511
/proc/meminfo: memFree=114433832/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=835000 memory=764880 CPUtime=50.95 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 122221 0 0 0 4995 100 0 0 20 0 1 0 237826792 855040000 191220 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 208750 191220 512 484 0 208161 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 835000 KiB
Current children cumulated memory: 764880 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.31 2.88 5/263 176549
/proc/meminfo: memFree=114381768/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=837912 memory=767800 CPUtime=102 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 135167 0 0 0 10052 148 0 0 20 0 1 0 237826792 858021888 191950 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 209478 191950 512 484 0 208889 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 837912 KiB
Current children cumulated memory: 767800 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.62 2.95 5/267 176564
/proc/meminfo: memFree=114316312/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=839364 memory=769252 CPUtime=161.83 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 145194 0 0 0 15995 188 0 0 20 0 1 0 237826792 859508736 192313 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 209841 192313 512 484 0 209252 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 839364 KiB
Current children cumulated memory: 769252 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.89 3.02 5/266 176580
/proc/meminfo: memFree=114289392/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=841932 memory=771820 CPUtime=221.66 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 152741 0 0 0 21947 219 0 0 20 0 1 0 237826792 862138368 192955 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 210483 192955 512 484 0 209894 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 841932 KiB
Current children cumulated memory: 771820 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.12 3.10 5/266 176586
/proc/meminfo: memFree=114222168/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=843120 memory=773008 CPUtime=281.49 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 159532 0 0 0 27900 249 0 0 20 0 1 0 237826792 863354880 193252 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 210780 193252 512 484 0 210191 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 843120 KiB
Current children cumulated memory: 773008 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.30 3.16 5/265 176588
/proc/meminfo: memFree=114186944/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=845244 memory=775144 CPUtime=341.32 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 164711 0 0 0 33863 269 0 0 20 0 1 0 237826792 865529856 193786 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 211311 193786 512 484 0 210722 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 845244 KiB
Current children cumulated memory: 775144 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.45 3.22 5/265 176590
/proc/meminfo: memFree=114155344/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=847160 memory=779096 CPUtime=401.16 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 170916 0 0 0 39824 292 0 0 20 0 1 0 237826792 867491840 194774 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 211790 194774 512 484 0 211201 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 847160 KiB
Current children cumulated memory: 779096 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.56 3.28 5/266 176596
/proc/meminfo: memFree=114134664/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=846900 memory=778836 CPUtime=460.97 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 175718 0 0 0 45784 313 0 0 20 0 1 0 237826792 867225600 194709 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 211725 194709 512 484 0 211136 0

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

Current children cumulated memory: 822840 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/264 176713
/proc/meminfo: memFree=113953556/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=885016 memory=820220 CPUtime=2914.46 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 283549 0 0 0 290639 807 0 0 20 0 1 0 237826792 906256384 205055 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 221254 205055 512 484 0 220665 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 885016 KiB
Current children cumulated memory: 820220 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 176715
/proc/meminfo: memFree=113938812/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=887024 memory=822228 CPUtime=2974.31 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 285880 0 0 0 296613 818 0 0 20 0 1 0 237826792 908312576 205557 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 221756 205557 512 484 0 221167 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 887024 KiB
Current children cumulated memory: 822228 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 176719
/proc/meminfo: memFree=113958856/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=888260 memory=823476 CPUtime=3034.15 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 287759 0 0 0 302588 827 0 0 20 0 1 0 237826792 909578240 205869 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222065 205869 512 484 0 221476 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 888260 KiB
Current children cumulated memory: 823476 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/262 176721
/proc/meminfo: memFree=113939260/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=889568 memory=824784 CPUtime=3093.99 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 289917 0 0 0 308563 836 0 0 20 0 1 0 237826792 910917632 206196 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222392 206196 512 484 0 221803 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 889568 KiB
Current children cumulated memory: 824784 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 176724
/proc/meminfo: memFree=113947504/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=880300 memory=815504 CPUtime=3153.83 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 291050 0 0 0 314539 844 0 0 20 0 1 0 237826792 901427200 203876 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 220075 203876 512 484 0 219486 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 880300 KiB
Current children cumulated memory: 815504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/263 176726
/proc/meminfo: memFree=113959332/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=891920 memory=827124 CPUtime=3213.68 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 292985 0 0 0 320516 852 0 0 20 0 1 0 237826792 913326080 206781 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222980 206781 512 484 0 222391 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 891920 KiB
Current children cumulated memory: 827124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 176733
/proc/meminfo: memFree=113951200/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=884488 memory=819692 CPUtime=3273.52 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 294952 0 0 0 326490 862 0 0 20 0 1 0 237826792 905715712 204923 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 221122 204923 512 484 0 220533 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 884488 KiB
Current children cumulated memory: 819692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 176735
/proc/meminfo: memFree=113944080/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=889684 memory=824900 CPUtime=3333.37 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 297927 0 0 0 332463 874 0 0 20 0 1 0 237826792 911036416 206225 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222421 206225 512 484 0 221832 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 889684 KiB
Current children cumulated memory: 824900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 176738
/proc/meminfo: memFree=113955196/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=890608 memory=825824 CPUtime=3393.21 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 298962 0 0 0 338442 879 0 0 20 0 1 0 237826792 911982592 206456 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222652 206456 512 484 0 222063 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 890608 KiB
Current children cumulated memory: 825824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.08 4.02 5/264 176740
/proc/meminfo: memFree=113947856/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=895832 memory=831036 CPUtime=3453.04 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 300452 0 0 0 344417 887 0 0 20 0 1 0 237826792 917331968 207759 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 223958 207759 512 484 0 223369 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 895832 KiB
Current children cumulated memory: 831036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/265 176743
/proc/meminfo: memFree=113950668/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=890288 memory=827540 CPUtime=3512.88 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 302074 0 0 0 350393 895 0 0 20 0 1 0 237826792 911654912 206885 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222572 206885 512 484 0 221983 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 890288 KiB
Current children cumulated memory: 827540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 176746
/proc/meminfo: memFree=113945696/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=891420 memory=828684 CPUtime=3572.72 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 303628 0 0 0 356370 902 0 0 20 0 1 0 237826792 912814080 207171 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 222855 207171 512 484 0 222266 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 891420 KiB
Current children cumulated memory: 828684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.10 4.09 4.03 5/266 176751
/proc/meminfo: memFree=113929228/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=893792 memory=831068 CPUtime=3600.05 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 304116 0 0 0 359100 905 0 0 20 0 1 0 237826792 915243008 207767 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 223448 207767 512 484 0 222859 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 893792 KiB
Current children cumulated memory: 831068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.01 s, system=9.05626 s

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

[startup+3609.7 s]
/proc/loadavg: 4.10 4.09 4.03 5/266 176751
/proc/meminfo: memFree=113929228/131250000 swapFree=33010416/33010684
[pid=176501] ppid=176498 vsize=893792 memory=831068 CPUtime=3600.05 cores=0,2
/proc/176501/stat : 176501 (uwrmaxsat) R 176498 176501 176433 0 -1 4194304 304116 0 0 0 359100 905 0 0 20 0 1 0 237826792 915243008 207767 18446744073709551615 4198400 6176925 140727409750240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35835904 140727409752424 140727409752551 140727409752551 140727409758155 0
/proc/176501/statm: 223448 207767 512 484 0 222859 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 893792 KiB
Current children cumulated memory: 831068 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3591.01
CPU system time (s): 9.05626
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 1033548
Max. memory (cumulated for all children) (KiB): 970788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.01
system time used= 9.05626
maximum resident set size= 970788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304116
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= 94
involuntary context switches= 7845


# summary of solver processes directly reported to runsolver:
#   pid: 176501
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.01
#   total CPU system time (s): 9.05626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77625 second user time and 15.2181 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-22 23:57:49
IDJOB=4542673
IDBENCH=163947
IDSOLVER=3372
FILE ID=nodeC027/4542673-1753221469
RUNJOBID= nodeC027-1753221469-176443
SLURM_JOB_ID= 9687812
Free space on /tmp= 432972 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542673-1753221469/watcher-4542673-1753221469 -o /tmp/evaluation-result-4542673-1753221469/solver-4542673-1753221469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753221469-176443 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4542673-1753221469.opb -mem-lim=31000

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

MD5SUM BENCH= 97f31c39a85f5c54920a5de5b1e4a080
RANDOM SEED=744634207

nodeC027 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.614
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.29
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		: 3599.835
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.29
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		: 3463.330
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.29
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.648
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.476
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.29
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		: 3507.480
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.29
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		: 3597.779
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.29
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.640
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115672768 kB
MemAvailable:   129616964 kB
Buffers:            2488 kB
Cached:         14709908 kB
SwapCached:            8 kB
Active:          1176236 kB
Inactive:       13613176 kB
Active(anon):     100480 kB
Inactive(anon):     2788 kB
Active(file):    1075756 kB
Inactive(file): 13610388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25904 kB
Writeback:             0 kB
AnonPages:         80528 kB
Mapped:           109728 kB
Shmem:             26252 kB
KReclaimable:     194184 kB
Slab:             290096 kB
SReclaimable:     194184 kB
SUnreclaim:        95912 kB
KernelStack:        4080 kB
PageTables:         3048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     399876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC027 at 2025-07-23 00:57:59