Trace number 4542140

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
Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01? (MO) 1859.73 1864.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
MD5SUMc26c89c819410142827dd0be6bce850a
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 benchmark2155.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3121404
Total number of constraints136276
Number of constraints which are clauses68801
Number of constraints which are cardinality constraints (but not clauses)62324
Number of constraints which are nor clauses,nor cardinality constraints5151
Minimum length of a constraint48
Maximum length of a constraint53
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 56
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


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 (55256 MiB free)
  memory of node 1: 64465 MiB (63474 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542140-1753212335/watcher-4542140-1753212335 -o /tmp/evaluation-result-4542140-1753212335/solver-4542140-1753212335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753212335-159175 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4542140-1753212335.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=159239, runsolver pid=159236

[startup+0.100064 s]*
/proc/loadavg: 1.10 1.11 1.24 5/273 159243
/proc/meminfo: memFree=121540552/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=33388 memory=18464 CPUtime=0.07 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 4295 0 0 0 7 0 0 0 20 0 1 0 236856082 34189312 4616 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 8347 4616 864 2593 0 5240 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40372 KiB
Current children cumulated memory: 22944 KiB

[startup+0.205944 s]*
/proc/loadavg: 1.10 1.11 1.24 5/273 159243
/proc/meminfo: memFree=121493444/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=50856 memory=35340 CPUtime=0.17 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 9018 0 0 0 16 1 0 0 20 0 1 0 236856082 52076544 8835 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 12714 8835 864 2593 0 9607 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 57840 KiB
Current children cumulated memory: 39820 KiB

[startup+0.305908 s]*
/proc/loadavg: 1.10 1.11 1.24 5/273 159243
/proc/meminfo: memFree=121459588/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=72876 memory=55992 CPUtime=0.27 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 14188 0 0 0 25 2 0 0 20 0 1 0 236856082 74625024 13998 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 18219 13998 864 2593 0 15112 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 79860 KiB
Current children cumulated memory: 60472 KiB

[startup+0.700232 s]
/proc/loadavg: 1.10 1.11 1.24 5/273 159243
/proc/meminfo: memFree=121411204/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=141408 memory=122452 CPUtime=0.66 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 27759 0 0 0 62 4 0 0 20 0 1 0 236856082 144801792 30613 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 35352 30613 864 2593 0 32245 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 148392 KiB
Current children cumulated memory: 126932 KiB

[startup+1.50022 s]
/proc/loadavg: 1.10 1.11 1.24 5/273 159243
/proc/meminfo: memFree=121229796/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=278688 memory=257680 CPUtime=1.46 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 50822 0 0 0 137 9 0 0 20 0 1 0 236856082 285376512 64420 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 69672 64420 864 2593 0 66565 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 285672 KiB
Current children cumulated memory: 262160 KiB

[startup+3.1057 s]
/proc/loadavg: 1.33 1.16 1.25 5/273 159244
/proc/meminfo: memFree=120539140/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=552640 memory=523304 CPUtime=3.06 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 89186 0 0 0 288 18 0 0 20 0 1 0 236856082 565903360 130826 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 138160 130826 864 2593 0 135053 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 559624 KiB
Current children cumulated memory: 527784 KiB

[startup+6.30019 s]
/proc/loadavg: 1.33 1.16 1.25 5/273 159244
/proc/meminfo: memFree=119620156/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=1108124 memory=1062064 CPUtime=6.24 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 158048 0 0 0 588 36 0 0 20 0 1 0 236856082 1134718976 265516 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 277031 265516 864 2593 0 273924 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1115108 KiB
Current children cumulated memory: 1066544 KiB

[startup+12.7002 s]
/proc/loadavg: 1.62 1.22 1.27 5/273 159244
/proc/meminfo: memFree=117789440/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=2451472 memory=2363328 CPUtime=12.63 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 344883 0 0 0 1179 84 0 0 20 0 1 0 236856082 2510307328 590832 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 612868 590832 864 2593 0 609761 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2458456 KiB
Current children cumulated memory: 2367808 KiB

[startup+25.5003 s]
/proc/loadavg: 2.15 1.36 1.32 5/271 159244
/proc/meminfo: memFree=116873684/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=2914756 memory=2823364 CPUtime=25.4 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 378778 0 0 0 2437 103 0 0 20 0 1 0 236856082 2984710144 705841 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 728689 705841 896 2593 0 725582 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2921740 KiB
Current children cumulated memory: 2827844 KiB

[startup+51.1058 s]
/proc/loadavg: 2.78 1.57 1.39 5/271 159244
/proc/meminfo: memFree=113746240/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=6084476 memory=5660084 CPUtime=50.93 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 691169 0 0 0 4862 231 0 0 20 0 1 0 236856082 6230503424 1415021 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 1521119 1415021 960 2593 0 1518012 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 6091460 KiB
Current children cumulated memory: 5664564 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 1.99 1.54 5/272 159253
/proc/meminfo: memFree=114344092/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0

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

/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 895218 0 0 0 163551 2246 0 0 20 0 1 0 236856082 5911773184 1319954 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 1443304 1319954 992 2593 0 1440197 0
Current children cumulated CPU time: 1657.97 s
Current children cumulated vsize: 5780200 KiB
Current children cumulated memory: 5284296 KiB

[startup+1722.3 s]
/proc/loadavg: 4.05 4.09 3.71 5/270 159324
/proc/meminfo: memFree=113579324/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=6423536 memory=5930088 CPUtime=1717.82 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 900484 0 0 0 169485 2297 0 0 20 0 1 0 236856082 6577700864 1482522 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 1605884 1482522 992 2593 0 1602777 0
Current children cumulated CPU time: 1717.82 s
Current children cumulated vsize: 6430520 KiB
Current children cumulated memory: 5934568 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.10 3.74 5/270 159325
/proc/meminfo: memFree=114207832/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159242] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159242/stat : 159242 (timeout) S 159239 159242 159162 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 236856082 2723840 352 18446744073709551615 94152342781952 94152342798465 140725491911936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94152342813232 94152342815320 94152353579008 140725491915166 140725491915296 140725491915296 140725491920871 0
/proc/159242/statm: 665 352 352 5 0 90 0
[pid=159243] ppid=159242 vsize=5769316 memory=5275916 CPUtime=1777.64 cores=5,7
/proc/159243/stat : 159243 (CASHWMaxSAT-Dis) R 159242 159242 159162 0 -1 4194304 905336 0 0 0 175429 2335 0 0 20 0 1 0 236856082 5907779584 1318979 18446744073709551615 4198400 14817773 140722176522064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35385344 140722176530852 140722176530969 140722176530969 140722176536544 0
/proc/159243/statm: 1442329 1318979 992 2593 0 1439222 0
Current children cumulated CPU time: 1777.64 s
Current children cumulated vsize: 5776300 KiB
Current children cumulated memory: 5280396 KiB

[startup+1842.3 s]
/proc/loadavg: 4.10 4.10 3.77 5/271 159391
/proc/meminfo: memFree=95850472/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=1793.4 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 283 906600 0 0 0 0 176983 2357 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159333] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159333/stat : 159333 (timeout) S 159239 159333 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237035891 2723840 352 18446744073709551615 93946313789440 93946313805953 140732712756656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93946313820720 93946313822808 93946343841792 140732712765830 140732712765984 140732712765984 140732712771559 0
/proc/159333/statm: 665 352 352 5 0 90 0
[pid=159334] ppid=159333 vsize=14514864 memory=14313040 CPUtime=44.05 cores=5,7
/proc/159334/stat : 159334 (SynLSCD) R 159333 159333 159162 0 -1 4194304 1951500 0 0 0 3880 525 0 0 20 0 1 0 237035892 14863220736 3578260 18446744073709551615 93891535499264 93891537933417 140728768413568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93891538414840 93891538447872 93891569676288 140728768420256 140728768420391 140728768420391 140728768425966 0
/proc/159334/statm: 3628716 3578260 2304 595 0 3613383 0
Current children cumulated CPU time: 1837.45 s
Current children cumulated vsize: 14521848 KiB
Current children cumulated memory: 14317520 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1862.2 s]
/proc/loadavg: 4.07 4.09 3.77 5/271 159392
/proc/meminfo: memFree=91117988/131250000 swapFree=33010416/33010684
[pid=159239] ppid=159236 vsize=4324 memory=3072 CPUtime=1793.4 cores=5,7
/proc/159239/stat : 159239 (Hybrid-CASHWMax) S 159236 159239 159162 0 -1 4194304 283 906600 0 0 0 0 176983 2357 20 0 1 0 236856080 4427776 768 18446744073709551615 94259019640832 94259020535365 140727454049808 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94259020774416 94259020822160 94259033001984 140727454054741 140727454054895 140727454054895 140727454060499 0
/proc/159239/statm: 1081 768 704 219 0 143 0
[pid=159333] ppid=159239 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159333/stat : 159333 (timeout) S 159239 159333 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237035891 2723840 352 18446744073709551615 93946313789440 93946313805953 140732712756656 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93946313820720 93946313822808 93946343841792 140732712765830 140732712765984 140732712765984 140732712771559 0
/proc/159333/statm: 665 352 352 5 0 90 0
[pid=159334] ppid=159333 vsize=35340884 memory=20349704 CPUtime=63.89 cores=5,7
/proc/159334/stat : 159334 (SynLSCD) R 159333 159333 159162 0 -1 4194304 2632087 0 0 0 5617 772 0 0 20 0 1 0 237035892 36189065216 5087426 18446744073709551615 93891535499264 93891537933417 140728768413568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93891538414840 93891538447872 93891569676288 140728768420256 140728768420391 140728768420391 140728768425966 0
/proc/159334/statm: 8835221 5087426 2496 595 0 8819888 0
Current children cumulated CPU time: 1857.29 s
Current children cumulated vsize: 35347868 KiB
Current children cumulated memory: 20354184 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=1769.84 s, system=23.5798 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+1864.2 s]
# the end of solver process 159333 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1769.84 s, system=23.5814 s
# this solver process was not waited by its parent and was adopted by runsolver
??? end of watcher thread

[startup+1864.62 s]
# the end of solver process 159334 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1827.42 s, system=32.3138 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+1862.41 s]
/proc/loadavg: 4.07 4.09 3.77 5/270 159392
/proc/meminfo: memFree=89983524/131250000 swapFree=33010416/33010684
[pid=159333] ppid=159236 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159333/stat : 159333 (timeout) S 159236 159333 159162 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 237035891 2723840 352 18446744073709551615 93946313789440 93946313805953 140732712756656 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93946313820720 93946313822808 93946343841792 140732712765830 140732712765984 140732712765984 140732712771559 0
/proc/159333/statm: 665 352 352 5 0 90 0
[pid=159334] ppid=159333 vsize=35340884 memory=21007112 CPUtime=64.1 cores=5,7
/proc/159334/stat : 159334 (SynLSCD) R 159333 159333 159162 0 -1 4194304 2632407 0 0 0 5625 785 0 0 20 0 1 0 237035892 36189065216 5251266 18446744073709551615 93891535499264 93891537933417 140728768413568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93891538414840 93891538447872 93891569676288 140728768420256 140728768420391 140728768420391 140728768425966 0
/proc/159334/statm: 8835221 5251266 2496 595 0 8819888 0
Current cumulated CPU time of completed processes: 1793.42 s
Current children cumulated CPU time: 64.1 s
Current children cumulated vsize: 35343544 KiB
Current children cumulated memory: 21008520 KiB

[startup+1863.2 s]
/proc/loadavg: 4.07 4.09 3.77 5/270 159392
/proc/meminfo: memFree=88863520/131250000 swapFree=33010416/33010684
[pid=159333] ppid=159236 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159333/stat : 159333 (timeout) S 159236 159333 159162 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 237035891 2723840 352 18446744073709551615 93946313789440 93946313805953 140732712756656 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93946313820720 93946313822808 93946343841792 140732712765830 140732712765984 140732712765984 140732712771559 0
/proc/159333/statm: 665 352 352 5 0 90 0
[pid=159334] ppid=159333 vsize=35596716 memory=21949636 CPUtime=64.89 cores=5,7
/proc/159334/stat : 159334 (SynLSCD) R 159333 159333 159162 0 -1 4194304 2693307 0 0 0 5681 808 0 0 20 0 1 0 237035892 36451037184 5487409 18446744073709551615 93891535499264 93891537933417 140728768413568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93891538414840 93891538447872 93891569676288 140728768420256 140728768420391 140728768420391 140728768425966 0
/proc/159334/statm: 8899179 5487409 2496 595 0 8883846 0
Current cumulated CPU time of completed processes: 1793.42 s
Current children cumulated CPU time: 64.89 s
Current children cumulated vsize: 35599376 KiB
Current children cumulated memory: 21951044 KiB

[startup+1864 s]*
/proc/loadavg: 4.15 4.10 3.78 5/270 159392
/proc/meminfo: memFree=88176288/131250000 swapFree=33010416/33010684
[pid=159333] ppid=159236 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159333/stat : 159333 (timeout) S 159236 159333 159162 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 237035891 2723840 352 18446744073709551615 93946313789440 93946313805953 140732712756656 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93946313820720 93946313822808 93946343841792 140732712765830 140732712765984 140732712765984 140732712771559 0
/proc/159333/statm: 665 352 352 5 0 90 0
[pid=159334] ppid=159333 vsize=36062148 memory=22509380 CPUtime=65.69 cores=5,7
/proc/159334/stat : 159334 (SynLSCD) R 159333 159333 159162 0 -1 4194304 2809747 0 0 0 5742 827 0 0 20 0 1 0 237035892 36927639552 5627345 18446744073709551615 93891535499264 93891537933417 140728768413568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93891538414840 93891538447872 93891569676288 140728768420256 140728768420391 140728768420391 140728768425966 0
/proc/159334/statm: 9015537 5627345 2496 595 0 9000204 0
Current cumulated CPU time of completed processes: 1793.42 s
Current children cumulated CPU time: 65.69 s
Current children cumulated vsize: 36064808 KiB
Current children cumulated memory: 22510788 KiB

[startup+1864.2 s]
/proc/loadavg: 4.15 4.10 3.78 5/270 159392
/proc/meminfo: memFree=88176288/131250000 swapFree=33010416/33010684
[pid=159333] ppid=159236 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/159333/stat : 159333 (timeout) S 159236 159333 159162 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 237035891 2723840 352 18446744073709551615 93946313789440 93946313805953 140732712756656 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 93946313820720 93946313822808 93946343841792 140732712765830 140732712765984 140732712765984 140732712771559 0
/proc/159333/statm: 665 352 352 5 0 90 0
[pid=159334] ppid=159333 vsize=36174612 memory=22646340 CPUtime=65.89 cores=5,7
/proc/159334/stat : 159334 (SynLSCD) R 159333 159333 159162 0 -1 4194304 2837874 0 0 0 5758 831 0 0 20 0 1 0 237035892 37042802688 5661585 18446744073709551615 93891535499264 93891537933417 140728768413568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93891538414840 93891538447872 93891569676288 140728768420256 140728768420391 140728768420391 140728768425966 0
/proc/159334/statm: 9043653 5661585 2496 595 0 9028320 0
Current cumulated CPU time of completed processes: 1793.42 s
Current children cumulated CPU time: 65.89 s
Current children cumulated vsize: 36177272 KiB
Current children cumulated memory: 22647748 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1864.62
CPU time (s): 1859.73
CPU user time (s): 1827.42
CPU system time (s): 32.3138
CPU usage (%): 99.738
Max. virtual memory (cumulated for all children) (KiB): 36177272
Max. memory (cumulated for all children) (KiB): 22647748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1827.42
system time used= 32.3138
maximum resident set size= 22646340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3744876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 550
involuntary context switches= 1860


# summary of solver processes directly reported to runsolver:
#   pid: 159239,159333,159334
#   total CPU time (s): 1859.73
#   total CPU user time (s): 1827.42
#   total CPU system time (s): 32.3138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72649 second user time and 9.33902 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-22 21:25:36
IDJOB=4542140
IDBENCH=163903
IDSOLVER=3328
FILE ID=nodeC028/4542140-1753212335
RUNJOBID= nodeC028-1753212335-159175
SLURM_JOB_ID= 9687802
Free space on /tmp= 432880 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542140-1753212335/watcher-4542140-1753212335 -o /tmp/evaluation-result-4542140-1753212335/solver-4542140-1753212335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753212335-159175 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4542140-1753212335.opb 3600 HOME

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

MD5SUM BENCH= c26c89c819410142827dd0be6bce850a
RANDOM SEED=1940957704

nodeC028 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.877
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.16
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		: 3600.086
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.16
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		: 3598.740
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.16
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		: 3605.689
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.16
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		: 3600.049
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.16
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		: 3600.106
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.16
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		: 3676.421
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.16
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.075
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121585328 kB
MemAvailable:   129515500 kB
Buffers:            2132 kB
Cached:          8697712 kB
SwapCached:            4 kB
Active:          1224368 kB
Inactive:        7740516 kB
Active(anon):     282992 kB
Inactive(anon):     8308 kB
Active(file):     941376 kB
Inactive(file):  7732208 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            172504 kB
Writeback:            20 kB
AnonPages:        267576 kB
Mapped:           120356 kB
Shmem:             26256 kB
KReclaimable:     191656 kB
Slab:             287008 kB
SReclaimable:     191656 kB
SUnreclaim:        95352 kB
KernelStack:        4320 kB
PageTables:         3456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     634820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC028 at 2025-07-22 21:56:40