Trace number 4542205

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
MD5SUM883a1a775d6309f3a96fbb0c62b71064
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 benchmark366.876
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1040520
Total number of constraints61390
Number of constraints which are clauses31085
Number of constraints which are cardinality constraints (but not clauses)27302
Number of constraints which are nor clauses,nor cardinality constraints3003
Minimum length of a constraint36
Maximum length of a constraint41
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 44
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...
3.87/3.93	c Converting 61390 PB-constraints to clauses...
11.06/11.12	c ============================[ Encoding Statistics ]============================
11.06/11.12	c |  Number of variables:       1513050                                         |
11.06/11.12	c |  Number of clauses:         5433503                                         |
11.06/11.12	c ===============================================================================
3600.04/3609.70	c *** TERMINATED by signal 15 ***
3600.04/3609.70	c _______________________________________________________________________________
3600.04/3609.70	c 
3600.04/3609.70	c _______________________________________________________________________________
3600.04/3609.70	c 
3600.04/3609.70	c =======================[ UWrMaxSat resources usage ]===========================
3600.04/3609.70	c Memory used            : 2182.00 MB
3600.04/3609.70	c CPU time               : 3583.77 s
3600.04/3609.70	c Constr Enc: Srt/BDD/Add: 30305 0 0
3600.04/3609.70	c _______________________________________________________________________________
3600.04/3609.70	c _______________________________________________________________________________
3600.04/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 (62617 MiB free)
  memory of node 1: 64507 MiB (63575 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542205-1753217106/watcher-4542205-1753217106 -o /tmp/evaluation-result-4542205-1753217106/solver-4542205-1753217106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753209881-163447 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4542205-1753217106.opb -mem-lim=31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=164125, runsolver pid=164122

[startup+0.100063 s]*
/proc/loadavg: 4.07 4.09 4.09 2/252 164126
/proc/meminfo: memFree=129209396/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=20708 memory=19464 CPUtime=0.09 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 4870 0 0 0 9 0 0 0 20 0 1 0 237388413 21204992 4866 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 5177 4866 448 484 0 4588 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20708 KiB
Current children cumulated memory: 19464 KiB

[startup+0.205539 s]*
/proc/loadavg: 4.07 4.09 4.09 2/252 164126
/proc/meminfo: memFree=129189740/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=38576 memory=37172 CPUtime=0.19 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 9684 0 0 0 18 1 0 0 20 0 1 0 237388413 39501824 9293 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 9644 9293 448 484 0 9055 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38576 KiB
Current children cumulated memory: 37172 KiB

[startup+0.305445 s]*
/proc/loadavg: 4.07 4.09 4.09 2/252 164126
/proc/meminfo: memFree=129179912/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=62552 memory=60732 CPUtime=0.29 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 14295 0 0 0 27 2 0 0 20 0 1 0 237388413 64053248 15183 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 15638 15183 448 484 0 15049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62552 KiB
Current children cumulated memory: 60732 KiB

[startup+0.700147 s]
/proc/loadavg: 4.07 4.09 4.09 3/259 164145
/proc/meminfo: memFree=129135756/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=128840 memory=126384 CPUtime=0.69 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 25579 0 0 0 64 5 0 0 20 0 1 0 237388413 131932160 31596 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 32210 31596 448 484 0 31621 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128840 KiB
Current children cumulated memory: 126384 KiB

[startup+1.50014 s]
/proc/loadavg: 4.15 4.11 4.09 4/263 164238
/proc/meminfo: memFree=129025156/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=266604 memory=261752 CPUtime=1.48 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 49224 0 0 0 139 9 0 0 20 0 1 0 237388413 273002496 65438 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 66651 65438 448 484 0 66062 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266604 KiB
Current children cumulated memory: 261752 KiB

[startup+3.10513 s]
/proc/loadavg: 4.15 4.11 4.09 6/266 164284
/proc/meminfo: memFree=128397620/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=543852 memory=533168 CPUtime=3.08 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 89025 0 0 0 289 19 0 0 20 0 1 0 237388413 556904448 133292 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 135963 133292 448 484 0 135374 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 543852 KiB
Current children cumulated memory: 533168 KiB

[startup+6.30015 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 164284
/proc/meminfo: memFree=127528908/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=960044 memory=951752 CPUtime=6.27 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 133342 0 0 0 596 31 0 0 20 0 1 0 237388413 983085056 237938 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 240011 237938 448 484 0 239422 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 960044 KiB
Current children cumulated memory: 951752 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 164284
/proc/meminfo: memFree=125819080/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1855628 memory=1752008 CPUtime=12.65 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 219524 0 0 0 1206 59 0 0 20 0 1 0 237388413 1900163072 438002 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 463907 438002 512 484 0 463318 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1855628 KiB
Current children cumulated memory: 1752008 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 164284
/proc/meminfo: memFree=123989712/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1923104 memory=1787436 CPUtime=25.41 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 235417 0 0 0 2455 86 0 0 20 0 1 0 237388413 1969258496 446859 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 480776 446859 512 484 0 480187 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1923104 KiB
Current children cumulated memory: 1787436 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 164285
/proc/meminfo: memFree=123729796/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1925452 memory=1792560 CPUtime=50.94 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 244254 0 0 0 4965 129 0 0 20 0 1 0 237388413 1971662848 448140 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 481363 448140 512 484 0 480774 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1925452 KiB
Current children cumulated memory: 1792560 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 164286
/proc/meminfo: memFree=123896348/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1908480 memory=1820388 CPUtime=101.96 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 261227 0 0 0 10005 191 0 0 20 0 1 0 237388413 1954283520 455097 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 477120 455097 512 484 0 476531 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1908480 KiB
Current children cumulated memory: 1820388 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 164288
/proc/meminfo: memFree=123862768/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1925016 memory=1855356 CPUtime=161.76 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 278841 0 0 0 15926 250 0 0 20 0 1 0 237388413 1971216384 463839 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 481254 463839 512 484 0 480665 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1925016 KiB
Current children cumulated memory: 1855356 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 164293
/proc/meminfo: memFree=123526788/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=2179432 memory=2069460 CPUtime=221.58 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 293708 0 0 0 21830 328 0 0 20 0 1 0 237388413 2231738368 517365 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 544858 517365 512 484 0 544269 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2179432 KiB
Current children cumulated memory: 2069460 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 164299
/proc/meminfo: memFree=123764620/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1957352 memory=1847448 CPUtime=281.39 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 305748 0 0 0 27737 402 0 0 20 0 1 0 237388413 2004328448 461862 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 489338 461862 512 484 0 488749 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1957352 KiB
Current children cumulated memory: 1847448 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 164302
/proc/meminfo: memFree=123738248/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1960048 memory=1850144 CPUtime=341.21 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 314255 0 0 0 33659 462 0 0 20 0 1 0 237388413 2007089152 462536 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 490012 462536 512 484 0 489423 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 1960048 KiB
Current children cumulated memory: 1850144 KiB

[startup+402.3 s]
/proc/loadavg: 4.40 4.16 4.11 5/266 164304
/proc/meminfo: memFree=123724352/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1961304 memory=1851676 CPUtime=401.02 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 323388 0 0 0 39584 518 0 0 20 0 1 0 237388413 2008375296 462919 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 490326 462919 512 484 0 489737 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 1961304 KiB
Current children cumulated memory: 1851676 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/265 164306
/proc/meminfo: memFree=123739268/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1962652 memory=1853004 CPUtime=460.84 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 331322 0 0 0 45517 567 0 0 20 0 1 0 237388413 2009755648 463251 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 490663 463251 512 484 0 490074 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 1835700 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/264 164493
/proc/meminfo: memFree=119793136/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1902652 memory=1837932 CPUtime=2914.51 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 480705 0 0 0 289946 1505 0 0 20 0 1 0 237388413 1948315648 459483 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 475663 459483 512 484 0 475074 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 1902652 KiB
Current children cumulated memory: 1837932 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/264 164495
/proc/meminfo: memFree=119809112/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1898248 memory=1833528 CPUtime=2974.37 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 483149 0 0 0 295916 1521 0 0 20 0 1 0 237388413 1943805952 458382 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 474562 458382 512 484 0 473973 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 1898248 KiB
Current children cumulated memory: 1833528 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 164498
/proc/meminfo: memFree=119817380/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1899356 memory=1834636 CPUtime=3034.22 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 485113 0 0 0 301891 1531 0 0 20 0 1 0 237388413 1944940544 458659 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 474839 458659 512 484 0 474250 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 1899356 KiB
Current children cumulated memory: 1834636 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 164500
/proc/meminfo: memFree=119806160/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1897368 memory=1832648 CPUtime=3094.07 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 486954 0 0 0 307866 1541 0 0 20 0 1 0 237388413 1942904832 458162 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 474342 458162 512 484 0 473753 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 1897368 KiB
Current children cumulated memory: 1832648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 164502
/proc/meminfo: memFree=119551720/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1899872 memory=1835152 CPUtime=3153.91 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 489311 0 0 0 313841 1550 0 0 20 0 1 0 237388413 1945468928 458788 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 474968 458788 512 484 0 474379 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 1899872 KiB
Current children cumulated memory: 1835152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 164504
/proc/meminfo: memFree=119761036/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1917560 memory=1852876 CPUtime=3213.75 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 490590 0 0 0 319815 1560 0 0 20 0 1 0 237388413 1963581440 463219 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 479390 463219 512 484 0 478801 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 1917560 KiB
Current children cumulated memory: 1852876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 164509
/proc/meminfo: memFree=119772900/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1910444 memory=1845724 CPUtime=3273.57 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 491534 0 0 0 325792 1565 0 0 20 0 1 0 237388413 1956294656 461431 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 477611 461431 512 484 0 477022 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 1910444 KiB
Current children cumulated memory: 1845724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 164515
/proc/meminfo: memFree=119655484/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=2165176 memory=2100440 CPUtime=3333.4 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 494821 0 0 0 331755 1585 0 0 20 0 1 0 237388413 2217140224 525110 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 541294 525110 512 484 0 540705 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 2165176 KiB
Current children cumulated memory: 2100440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 164517
/proc/meminfo: memFree=119793788/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1896980 memory=1832260 CPUtime=3393.23 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 496531 0 0 0 337728 1595 0 0 20 0 1 0 237388413 1942507520 458065 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 474245 458065 512 484 0 473656 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 1896980 KiB
Current children cumulated memory: 1832260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 164519
/proc/meminfo: memFree=119777088/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1901740 memory=1837020 CPUtime=3453.06 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 498486 0 0 0 343700 1606 0 0 20 0 1 0 237388413 1947381760 459255 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 475435 459255 512 484 0 474846 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 1901740 KiB
Current children cumulated memory: 1837020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 164521
/proc/meminfo: memFree=119783524/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1902864 memory=1838144 CPUtime=3512.88 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 499137 0 0 0 349677 1611 0 0 20 0 1 0 237388413 1948532736 459536 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 475716 459536 512 484 0 475127 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 1902864 KiB
Current children cumulated memory: 1838144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 164523
/proc/meminfo: memFree=119753752/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1905044 memory=1840324 CPUtime=3572.71 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 500711 0 0 0 355650 1621 0 0 20 0 1 0 237388413 1950765056 460081 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 476261 460081 512 484 0 475672 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 1905044 KiB
Current children cumulated memory: 1840324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 164527
/proc/meminfo: memFree=119754112/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1905320 memory=1840600 CPUtime=3600.04 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 501900 0 0 0 358377 1627 0 0 20 0 1 0 237388413 1951047680 460150 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 476330 460150 512 484 0 475741 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1905320 KiB
Current children cumulated memory: 1840600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.77 s, system=16.2751 s

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

[startup+3609.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 164527
/proc/meminfo: memFree=119754112/131249996 swapFree=33010416/33010684
[pid=164125] ppid=164122 vsize=1905320 memory=1840600 CPUtime=3600.04 cores=1,3
/proc/164125/stat : 164125 (uwrmaxsat) R 164122 164125 163435 0 -1 4194304 501900 0 0 0 358377 1627 0 0 20 0 1 0 237388413 1951047680 460150 18446744073709551615 4198400 6176925 140726148768672 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 17625088 140726148770152 140726148770279 140726148770279 140726148775883 0
/proc/164125/statm: 476330 460150 512 484 0 475741 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1905320 KiB
Current children cumulated memory: 1840600 KiB

Child status: 0

Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3583.77
CPU system time (s): 16.2751
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 2235316
Max. memory (cumulated for all children) (KiB): 2129612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.77
system time used= 16.2751
maximum resident set size= 2129612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501900
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= 166
involuntary context switches= 5907


# summary of solver processes directly reported to runsolver:
#   pid: 164125
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3583.77
#   total CPU system time (s): 16.2751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60345 second user time and 17.1705 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-22 22:45:07
IDJOB=4542205
IDBENCH=163905
IDSOLVER=3372
FILE ID=nodeC017/4542205-1753217106
RUNJOBID= nodeC017-1753209881-163447
SLURM_JOB_ID= 9687774
Free space on /tmp= 433016 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_height38_pigeons37_holes36.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542205-1753217106/watcher-4542205-1753217106 -o /tmp/evaluation-result-4542205-1753217106/solver-4542205-1753217106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753209881-163447 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4542205-1753217106.opb -mem-lim=31000

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

MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=1613162073

nodeC017 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		: 1867.063
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	: 7000.12
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.775
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	: 7000.12
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		: 1198.208
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	: 7000.12
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		: 3600.002
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	: 7000.12
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		: 2436.579
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	: 7000.12
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		: 3604.298
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	: 7000.12
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		: 1203.672
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	: 7000.12
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		: 2515.600
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129221464 kB
MemAvailable:   129668204 kB
Buffers:            1688 kB
Cached:          1214052 kB
SwapCached:           32 kB
Active:          1048868 kB
Inactive:         240324 kB
Active(anon):      75584 kB
Inactive(anon):    24108 kB
Active(file):     973284 kB
Inactive(file):   216216 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27348 kB
Writeback:             0 kB
AnonPages:         76836 kB
Mapped:           108840 kB
Shmem:             26240 kB
KReclaimable:     192560 kB
Slab:             287588 kB
SReclaimable:     192560 kB
SUnreclaim:        95028 kB
KernelStack:        4080 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     345356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432912 MiB
End job on nodeC017 at 2025-07-22 23:45:17