Trace number 4542187

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.05 3609.61

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
MD5SUM883a1a775d6309f3a96fbb0c62b71064
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark366.876
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1040520
Total number of constraints61390
Number of constraints which are clauses31085
Number of constraints which are cardinality constraints (but not clauses)27302
Number of constraints which are nor clauses,nor cardinality constraints3003
Minimum length of a constraint36
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 44
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c solving HOME/instance-4542187-1753203561.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 (62761 MiB free)
  memory of node 1: 64465 MiB (63499 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=213243, runsolver pid=213240
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.08 4.08 4.07 5/264 213244
/proc/meminfo: memFree=129256724/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2027148 memory=46688 CPUtime=0.09 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 1110 0 0 0 8 1 0 0 20 0 1 0 236034878 2075799552 11672 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 2 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 506787 11672 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46688 KiB

[startup+0.205433 s]*
/proc/loadavg: 4.08 4.08 4.07 5/264 213244
/proc/meminfo: memFree=129228052/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2027148 memory=75644 CPUtime=0.19 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 1191 0 0 0 18 1 0 0 20 0 1 0 236034878 2075799552 18911 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 506787 18911 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 75644 KiB

[startup+0.305398 s]*
/proc/loadavg: 4.08 4.08 4.07 5/264 213244
/proc/meminfo: memFree=129207572/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2027148 memory=102268 CPUtime=0.29 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 1204 0 0 0 27 2 0 0 20 0 1 0 236034878 2075799552 25567 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 506787 25567 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 102268 KiB

[startup+0.700175 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 213244
/proc/meminfo: memFree=129154324/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2027148 memory=206716 CPUtime=0.67 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 1255 0 0 0 64 3 0 0 20 0 1 0 236034878 2075799552 51679 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 506787 51679 1536 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 206716 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 213245
/proc/meminfo: memFree=129023252/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2042776 memory=409616 CPUtime=1.47 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 1391 0 0 0 141 6 0 0 20 0 1 0 236034878 2091802624 102404 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 510694 102404 1536 343 0 507758 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 409616 KiB

[startup+3.10524 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 213245
/proc/meminfo: memFree=128548312/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2042776 memory=786692 CPUtime=3.08 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 1785 0 0 0 294 14 0 0 20 0 1 0 236034878 2091802624 196673 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 510694 196673 1536 343 0 507758 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 786692 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.08 4.07 5/264 213245
/proc/meminfo: memFree=127945612/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=2089656 memory=1370844 CPUtime=6.27 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 3490 0 0 0 600 27 0 0 20 0 1 0 236034878 2139807744 342711 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 522414 342711 1568 343 0 519478 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2089656 KiB
Current children cumulated memory: 1370844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.07 5/264 213245
/proc/meminfo: memFree=126541364/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4055592 memory=2778812 CPUtime=12.65 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 24048 0 0 0 1189 76 0 0 20 0 1 0 236034878 4152926208 694703 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1013898 694703 1696 343 0 1010962 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4055592 KiB
Current children cumulated memory: 2778812 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.07 5/264 213245
/proc/meminfo: memFree=126327004/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4243584 memory=2936316 CPUtime=25.42 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 37886 0 0 0 2451 91 0 0 20 0 1 0 236034878 4345430016 734079 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1060896 734079 1696 343 0 1057960 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4243584 KiB
Current children cumulated memory: 2936316 KiB

[startup+51.1052 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 213245
/proc/meminfo: memFree=126446444/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4112512 memory=2864636 CPUtime=50.96 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 48664 0 0 0 4985 111 0 0 20 0 1 0 236034878 4211212288 716159 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1028128 716159 1696 343 0 1025192 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4112512 KiB
Current children cumulated memory: 2864636 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/265 213259
/proc/meminfo: memFree=126399408/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4095316 memory=2880604 CPUtime=102.02 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 61957 0 0 0 10069 133 0 0 20 0 1 0 236034878 4193603584 720151 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1023829 720151 1696 343 0 1020893 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 4095316 KiB
Current children cumulated memory: 2880604 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/264 213261
/proc/meminfo: memFree=126417440/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4095316 memory=2876564 CPUtime=161.86 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 77621 0 0 0 16026 160 0 0 20 0 1 0 236034878 4193603584 719141 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1023829 719141 1696 343 0 1020893 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 4095316 KiB
Current children cumulated memory: 2876564 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/265 213264
/proc/meminfo: memFree=126395368/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4095316 memory=2876568 CPUtime=221.71 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 89808 0 0 0 21991 180 0 0 20 0 1 0 236034878 4193603584 719142 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1023829 719142 1696 343 0 1020893 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 4095316 KiB
Current children cumulated memory: 2876568 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/266 213273
/proc/meminfo: memFree=126382624/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4160852 memory=2879928 CPUtime=281.55 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 99689 0 0 0 27959 196 0 0 20 0 1 0 236034878 4260712448 719982 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1040213 719982 1696 343 0 1037277 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 4160852 KiB
Current children cumulated memory: 2879928 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/266 213275
/proc/meminfo: memFree=126339880/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4227836 memory=2942280 CPUtime=341.4 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 105384 0 0 0 33934 206 0 0 20 0 1 0 236034878 4329304064 735570 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1056959 735570 1696 343 0 1054023 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 4227836 KiB
Current children cumulated memory: 2942280 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/265 213277
/proc/meminfo: memFree=126346252/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4227836 memory=2932040 CPUtime=401.24 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 115522 0 0 0 39902 222 0 0 20 0 1 0 236034878 4329304064 733010 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1056959 733010 1696 343 0 1054023 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 4227836 KiB
Current children cumulated memory: 2932040 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/265 213279
/proc/meminfo: memFree=126322864/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4227836 memory=2948428 CPUtime=461.08 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 121200 0 0 0 45875 233 0 0 20 0 1 0 236034878 4329304064 737107 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1056959 737107 1696 343 0 1054023 0

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

Current children cumulated memory: 3025484 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 213528
/proc/meminfo: memFree=123598540/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3129932 CPUtime=2854.69 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 219785 0 0 0 285034 435 0 0 20 0 1 0 236034878 4463521792 782483 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 782483 1696 343 0 1086791 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3129932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 213575
/proc/meminfo: memFree=122701364/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3041868 CPUtime=2914.52 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 222529 0 0 0 291012 440 0 0 20 0 1 0 236034878 4463521792 760467 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 760467 1696 343 0 1086791 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3041868 KiB

[startup+2982.3 s]
/proc/loadavg: 4.41 4.17 4.12 5/264 213578
/proc/meminfo: memFree=119250024/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4227836 memory=3021388 CPUtime=2974.38 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 224416 0 0 0 296993 445 0 0 20 0 1 0 236034878 4329304064 755347 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1056959 755347 1696 343 0 1054023 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 4227836 KiB
Current children cumulated memory: 3021388 KiB

[startup+3042.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/264 213580
/proc/meminfo: memFree=119210564/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3103308 CPUtime=3034.22 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 225741 0 0 0 302973 449 0 0 20 0 1 0 236034878 4463521792 775827 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 775827 1696 343 0 1086791 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3103308 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 213582
/proc/meminfo: memFree=119470480/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4227836 memory=3023436 CPUtime=3094.07 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 227280 0 0 0 308953 454 0 0 20 0 1 0 236034878 4329304064 755859 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1056959 755859 1696 343 0 1054023 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 4227836 KiB
Current children cumulated memory: 3023436 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 213584
/proc/meminfo: memFree=119181796/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4429864 memory=3101896 CPUtime=3153.9 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 230407 0 0 0 314930 460 0 0 20 0 1 0 236034878 4536180736 775474 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1107466 775474 1696 343 0 1104530 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 4429864 KiB
Current children cumulated memory: 3101896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 213586
/proc/meminfo: memFree=119374528/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3066444 CPUtime=3213.74 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 232025 0 0 0 320911 463 0 0 20 0 1 0 236034878 4463521792 766611 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 766611 1696 343 0 1086791 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3066444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 213596
/proc/meminfo: memFree=119393732/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3056204 CPUtime=3273.59 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 234352 0 0 0 326890 469 0 0 20 0 1 0 236034878 4463521792 764051 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 764051 1696 343 0 1086791 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3056204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 213598
/proc/meminfo: memFree=119307300/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3082828 CPUtime=3333.43 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 234410 0 0 0 332874 469 0 0 20 0 1 0 236034878 4463521792 770707 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 770707 1696 343 0 1086791 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3082828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/266 213600
/proc/meminfo: memFree=119330640/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4227836 memory=3031628 CPUtime=3393.28 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 237221 0 0 0 338853 475 0 0 20 0 1 0 236034878 4329304064 757907 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1056959 757907 1696 343 0 1054023 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 4227836 KiB
Current children cumulated memory: 3031628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 213602
/proc/meminfo: memFree=119165296/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3105356 CPUtime=3453.12 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 238656 0 0 0 344833 479 0 0 20 0 1 0 236034878 4463521792 776339 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 776339 1696 343 0 1086791 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3105356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 213604
/proc/meminfo: memFree=119220100/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3093068 CPUtime=3512.96 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 240505 0 0 0 350812 484 0 0 20 0 1 0 236034878 4463521792 773267 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 773267 1696 343 0 1086791 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3093068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 213607
/proc/meminfo: memFree=119243340/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3041868 CPUtime=3572.8 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 242099 0 0 0 356793 487 0 0 20 0 1 0 236034878 4463521792 760467 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 760467 1696 343 0 1086791 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3041868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 213608
/proc/meminfo: memFree=119314540/131249992 swapFree=33003724/33010684
[pid=213243] ppid=213240 vsize=4358908 memory=3121740 CPUtime=3600.04 cores=0,2
/proc/213243/stat : 213243 (pb_picat) R 213240 213243 212712 0 -1 4194304 242911 0 0 0 359513 491 0 0 20 0 1 0 236034878 4463521792 780435 18446744073709551615 94924258918400 94924260319981 140730942918288 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94924260591408 94924262465712 94924274307072 140730942921116 140730942921192 140730942921192 140730942926796 0
/proc/213243/statm: 1089727 780435 1696 343 0 1086791 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4358908 KiB
Current children cumulated memory: 3121740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.13 s, system=4.9223 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): 3609.61
CPU time (s): 3600.05
CPU user time (s): 3595.13
CPU system time (s): 4.9223
CPU usage (%): 99.7353
Max. virtual memory (cumulated for all children) (KiB): 4431040
Max. memory (cumulated for all children) (KiB): 3194204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.13
system time used= 4.9223
maximum resident set size= 3194204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242911
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= 84
involuntary context switches= 4546


# summary of solver processes directly reported to runsolver:
#   pid: 213243
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3595.13
#   total CPU system time (s): 4.9223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15348 second user time and 14.8514 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-22 18:59:21
IDJOB=4542187
IDBENCH=163905
IDSOLVER=3346
FILE ID=nodeC025/4542187-1753203561
RUNJOBID= nodeC025-1753198973-212729
SLURM_JOB_ID= 9687758
Free space on /tmp= 431828 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_height38_pigeons37_holes36.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542187-1753203561/watcher-4542187-1753203561 -o /tmp/evaluation-result-4542187-1753203561/solver-4542187-1753203561 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753198973-212729 --watchdog 3760  pb_picat HOME/instance-4542187-1753203561.opb

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

MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
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.815
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		: 3599.973
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		: 3942.922
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		: 3600.237
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		: 3599.970
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.748
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		: 3700.000
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.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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129291496 kB
MemAvailable:   129509388 kB
Buffers:            2128 kB
Cached:           961980 kB
SwapCached:         2132 kB
Active:           918272 kB
Inactive:         308500 kB
Active(anon):     256648 kB
Inactive(anon):    27616 kB
Active(file):     661624 kB
Inactive(file):   280884 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28224 kB
Writeback:             0 kB
AnonPages:        263680 kB
Mapped:           113656 kB
Shmem:             21600 kB
KReclaimable:     229248 kB
Slab:             325740 kB
SReclaimable:     229248 kB
SUnreclaim:        96492 kB
KernelStack:        4292 kB
PageTables:         3556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6647528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 431748 MiB
End job on nodeC025 at 2025-07-22 19:59:31