Trace number 4542265

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
Picat 2025-06-16? (TO) 3600.08 3610.61

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
MD5SUM8324c3ed1748cac240c60f4c3727f95f
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 benchmark268.679
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables837976
Total number of constraints52507
Number of constraints which are clauses26605
Number of constraints which are cardinality constraints (but not clauses)23201
Number of constraints which are nor clauses,nor cardinality constraints2701
Minimum length of a constraint34
Maximum length of a constraint39
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 42
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.01	c solving HOME/instance-4542265-1753206207.opb (Picat 3.9b6)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542265-1753206207/watcher-4542265-1753206207 -o /tmp/evaluation-result-4542265-1753206207/solver-4542265-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753198973-212731 --watchdog 3760 pb_picat HOME/instance-4542265-1753206207.opb 

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=213436, runsolver pid=213432

[startup+0.100014 s]*
/proc/loadavg: 4.13 4.09 4.09 4/264 213446
/proc/meminfo: memFree=126319216/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=2027148 memory=44884 CPUtime=0.09 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 1206 0 0 0 8 1 0 0 20 0 1 0 236299444 2075799552 11221 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 506787 11221 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 44884 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.13 4.09 4.09 4/264 213449
/proc/meminfo: memFree=126294640/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=2027148 memory=73836 CPUtime=0.19 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 1284 0 0 0 18 1 0 0 20 0 1 0 236299444 2075799552 18459 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 506787 18459 1504 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73836 KiB

[startup+0.305798 s]*
/proc/loadavg: 4.13 4.09 4.09 4/262 213463
/proc/meminfo: memFree=126266032/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=2027148 memory=102508 CPUtime=0.29 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 1298 0 0 0 27 2 0 0 20 0 1 0 236299444 2075799552 25627 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 506787 25627 1504 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 102508 KiB

[startup+0.700164 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 213480
/proc/meminfo: memFree=126232684/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=2027148 memory=209004 CPUtime=0.68 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 1350 0 0 0 64 4 0 0 20 0 1 0 236299444 2075799552 52251 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 506787 52251 1504 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 209004 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.09 4.09 4/264 213517
/proc/meminfo: memFree=125973476/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=2042776 memory=407808 CPUtime=1.47 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 1484 0 0 0 140 7 0 0 20 0 1 0 236299444 2091802624 101952 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 510694 101952 1504 343 0 507758 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 407808 KiB

[startup+3.10558 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 213522
/proc/meminfo: memFree=125344336/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=2042776 memory=782592 CPUtime=3.08 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 1820 0 0 0 295 13 0 0 20 0 1 0 236299444 2091802624 195648 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 510694 195648 1504 343 0 507758 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 782592 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 213522
/proc/meminfo: memFree=124571060/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3315380 memory=1696700 CPUtime=6.26 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 7361 0 0 0 595 31 0 0 20 0 1 0 236299444 3394949120 424175 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 828845 424175 1568 343 0 825909 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 3315380 KiB
Current children cumulated memory: 1696700 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 213522
/proc/meminfo: memFree=123646548/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3777584 memory=2316116 CPUtime=12.65 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 30785 0 0 0 1201 64 0 0 20 0 1 0 236299444 3868246016 579029 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 944396 579029 1664 343 0 941460 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3777584 KiB
Current children cumulated memory: 2316116 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 213522
/proc/meminfo: memFree=123723292/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3805664 memory=2366180 CPUtime=25.41 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 36428 0 0 0 2469 72 0 0 20 0 1 0 236299444 3896999936 591545 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 951416 591545 1664 343 0 948480 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3805664 KiB
Current children cumulated memory: 2366180 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 213522
/proc/meminfo: memFree=123687836/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3805664 memory=2368588 CPUtime=50.94 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 45723 0 0 0 5006 88 0 0 20 0 1 0 236299444 3896999936 592147 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 951416 592147 1664 343 0 948480 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3805664 KiB
Current children cumulated memory: 2368588 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 213524
/proc/meminfo: memFree=123672052/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3805664 memory=2380608 CPUtime=101.97 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 57379 0 0 0 10092 105 0 0 20 0 1 0 236299444 3896999936 595152 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 951416 595152 1664 343 0 948480 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3805664 KiB
Current children cumulated memory: 2380608 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 213526
/proc/meminfo: memFree=123708668/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3805664 memory=2396992 CPUtime=161.79 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 57434 0 0 0 16073 106 0 0 20 0 1 0 236299444 3896999936 599248 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 951416 599248 1664 343 0 948480 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3805664 KiB
Current children cumulated memory: 2396992 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 213528
/proc/meminfo: memFree=123748492/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3805664 memory=2405184 CPUtime=221.61 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 57504 0 0 0 22055 106 0 0 20 0 1 0 236299444 3896999936 601296 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 951416 601296 1664 343 0 948480 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 3805664 KiB
Current children cumulated memory: 2405184 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 213576
/proc/meminfo: memFree=122018732/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3805664 memory=2413376 CPUtime=281.42 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 57584 0 0 0 28036 106 0 0 20 0 1 0 236299444 3896999936 603344 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 951416 603344 1664 343 0 948480 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 3805664 KiB
Current children cumulated memory: 2413376 KiB

[startup+342.3 s]
/proc/loadavg: 4.37 4.16 4.12 5/264 213578
/proc/meminfo: memFree=119436372/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3774072 memory=2393528 CPUtime=341.24 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 68066 0 0 0 34002 122 0 0 20 0 1 0 236299444 3864649728 598382 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 943518 598382 1664 343 0 940582 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 3774072 KiB
Current children cumulated memory: 2393528 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 213580
/proc/meminfo: memFree=119449760/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3774072 memory=2410992 CPUtime=401.05 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 77433 0 0 0 39964 141 0 0 20 0 1 0 236299444 3864649728 602748 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 943518 602748 1664 343 0 940582 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 3774072 KiB
Current children cumulated memory: 2410992 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 213582
/proc/meminfo: memFree=119409232/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=4036216 memory=2474484 CPUtime=460.88 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 87819 0 0 0 45928 160 0 0 20 0 1 0 236299444 4133085184 618621 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 1009054 618621 1664 343 0 1006118 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 2596884 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 213753
/proc/meminfo: memFree=121331204/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=4050960 memory=2637844 CPUtime=2854.15 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 194922 0 0 0 285000 415 0 0 20 0 1 0 236299444 4148183040 659461 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 1012740 659461 1664 343 0 1009804 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 4050960 KiB
Current children cumulated memory: 2637844 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 213756
/proc/meminfo: memFree=121399136/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2543636 CPUtime=2913.96 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 196432 0 0 0 290976 420 0 0 20 0 1 0 236299444 4013965312 635909 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 635909 1664 343 0 977036 0
Current children cumulated CPU time: 2913.96 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2543636 KiB

[startup+2982.3 s]
/proc/loadavg: 4.43 4.17 4.12 5/264 213758
/proc/meminfo: memFree=121389264/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3854352 memory=2510444 CPUtime=2973.77 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 199517 0 0 0 296951 426 0 0 20 0 1 0 236299444 3946856448 627611 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 963588 627611 1664 343 0 960652 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 3854352 KiB
Current children cumulated memory: 2510444 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/264 213760
/proc/meminfo: memFree=121537804/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2570260 CPUtime=3033.58 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 200388 0 0 0 302928 430 0 0 20 0 1 0 236299444 4013965312 642565 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 642565 1664 343 0 977036 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2570260 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/265 213769
/proc/meminfo: memFree=121303956/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=4050960 memory=2590740 CPUtime=3093.39 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 201827 0 0 0 308905 434 0 0 20 0 1 0 236299444 4148183040 647685 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 1012740 647685 1664 343 0 1009804 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 4050960 KiB
Current children cumulated memory: 2590740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/265 213771
/proc/meminfo: memFree=121544228/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3854352 memory=2537580 CPUtime=3153.2 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 203332 0 0 0 314882 438 0 0 20 0 1 0 236299444 3946856448 634395 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 963588 634395 1664 343 0 960652 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 3854352 KiB
Current children cumulated memory: 2537580 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 213773
/proc/meminfo: memFree=121427076/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=4050960 memory=2578452 CPUtime=3213 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 205333 0 0 0 320857 443 0 0 20 0 1 0 236299444 4148183040 644613 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 1012740 644613 1664 343 0 1009804 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 4050960 KiB
Current children cumulated memory: 2578452 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 213777
/proc/meminfo: memFree=121370808/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=4050960 memory=2568212 CPUtime=3272.81 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 206097 0 0 0 326835 446 0 0 20 0 1 0 236299444 4148183040 642053 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 1012740 642053 1664 343 0 1009804 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 4050960 KiB
Current children cumulated memory: 2568212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 213779
/proc/meminfo: memFree=121571984/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2492436 CPUtime=3332.62 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 206230 0 0 0 332815 447 0 0 20 0 1 0 236299444 4013965312 623109 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 623109 1664 343 0 977036 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2492436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 213781
/proc/meminfo: memFree=121519600/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2525204 CPUtime=3392.43 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 207119 0 0 0 338791 452 0 0 20 0 1 0 236299444 4013965312 631301 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 631301 1664 343 0 977036 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2525204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 213783
/proc/meminfo: memFree=121331340/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2545684 CPUtime=3452.25 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 208588 0 0 0 344767 458 0 0 20 0 1 0 236299444 4013965312 636421 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 636421 1664 343 0 977036 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2545684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 213785
/proc/meminfo: memFree=121472364/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2560020 CPUtime=3512.05 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 210707 0 0 0 350740 465 0 0 20 0 1 0 236299444 4013965312 640005 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 640005 1664 343 0 977036 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2560020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 213787
/proc/meminfo: memFree=121326516/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=4050960 memory=2609172 CPUtime=3571.86 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 211346 0 0 0 356720 466 0 0 20 0 1 0 236299444 4148183040 652293 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 1012740 652293 1664 343 0 1009804 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 4050960 KiB
Current children cumulated memory: 2609172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 213788
/proc/meminfo: memFree=121347936/131249992 swapFree=33003724/33010684
[pid=213436] ppid=213432 vsize=3919888 memory=2525204 CPUtime=3600.07 cores=1,3
/proc/213436/stat : 213436 (pb_picat) R 213432 213436 212712 0 -1 4194304 211476 0 0 0 359540 467 0 0 20 0 1 0 236299444 4013965312 631301 18446744073709551615 93830364446720 93830365848301 140734651264096 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93830366119728 93830367994032 93830378430464 140734651271580 140734651271656 140734651271656 140734651277260 0
/proc/213436/statm: 979972 631301 1664 343 0 977036 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3919888 KiB
Current children cumulated memory: 2525204 KiB

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

[startup+3610.61 s]
# the end of solver process 213436 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3595.41 s, system=4.67817 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.61
CPU time (s): 3600.08
CPU user time (s): 3595.41
CPU system time (s): 4.67817
CPU usage (%): 99.7085
Max. virtual memory (cumulated for all children) (KiB): 4313104
Max. memory (cumulated for all children) (KiB): 2673052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.41
system time used= 4.67817
maximum resident set size= 2673052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211476
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= 7247


# summary of solver processes directly reported to runsolver:
#   pid: 213436
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3595.41
#   total CPU system time (s): 4.67817

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47722 second user time and 15.7783 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-22 19:43:27
IDJOB=4542265
IDBENCH=163916
IDSOLVER=3346
FILE ID=nodeC025/4542265-1753206207
RUNJOBID= nodeC025-1753198973-212731
SLURM_JOB_ID= 9687758
Free space on /tmp= 431808 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542265-1753206207/watcher-4542265-1753206207 -o /tmp/evaluation-result-4542265-1753206207/solver-4542265-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753198973-212731 --watchdog 3760  pb_picat HOME/instance-4542265-1753206207.opb

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

MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=2091113130

nodeC025 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.836
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.67
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		: 3601.514
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.67
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		: 3546.628
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.67
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.838
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.67
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		: 3603.545
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126340352 kB
MemAvailable:   126579828 kB
Buffers:            2128 kB
Cached:           983556 kB
SwapCached:         2132 kB
Active:          3860836 kB
Inactive:         330076 kB
Active(anon):    3199212 kB
Inactive(anon):    27616 kB
Active(file):     661624 kB
Inactive(file):   302460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23380 kB
Writeback:             0 kB
AnonPages:       3205356 kB
Mapped:           110388 kB
Shmem:             21600 kB
KReclaimable:     229260 kB
Slab:             325960 kB
SReclaimable:     229260 kB
SUnreclaim:        96700 kB
KernelStack:        4336 kB
PageTables:         9396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6835116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2951168 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431768 MiB
End job on nodeC025 at 2025-07-22 20:43:38