Trace number 4542499

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.13 3611.82

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
MD5SUMcca449fd552693742bf3f30208712226
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 benchmark1436.41
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2436672
Total number of constraints113788
Number of constraints which are clauses57482
Number of constraints which are cardinality constraints (but not clauses)51746
Number of constraints which are nor clauses,nor cardinality constraints4560
Minimum length of a constraint45
Maximum length of a constraint50
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 53
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4542499-1753206209.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 (62167 MiB free)
  memory of node 1: 64465 MiB (61960 MiB free)
  node distances:
     10  21
     21  10

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

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=157322, runsolver pid=157319

[startup+0.100065 s]*
/proc/loadavg: 4.15 4.14 4.10 5/265 157323
/proc/meminfo: memFree=127020740/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=2027148 memory=45280 CPUtime=0.09 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1207 0 0 0 8 1 0 0 20 0 1 0 236298836 2075799552 11320 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 506787 11320 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 45280 KiB

[startup+0.205531 s]*
/proc/loadavg: 4.15 4.14 4.10 5/265 157323
/proc/meminfo: memFree=126944996/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=2027148 memory=74228 CPUtime=0.18 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1290 0 0 0 17 1 0 0 20 0 1 0 236298836 2075799552 18557 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 506787 18557 1600 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 74228 KiB

[startup+0.305538 s]*
/proc/loadavg: 4.15 4.14 4.10 5/265 157323
/proc/meminfo: memFree=126867172/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=2027148 memory=100852 CPUtime=0.29 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1303 0 0 0 27 2 0 0 20 0 1 0 236298836 2075799552 25213 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 506787 25213 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 100852 KiB

[startup+0.700175 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 157323
/proc/meminfo: memFree=126711596/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=2027148 memory=207348 CPUtime=0.67 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1355 0 0 0 64 3 0 0 20 0 1 0 236298836 2075799552 51837 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 506787 51837 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 207348 KiB

[startup+1.50017 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 157323
/proc/meminfo: memFree=126346296/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=2042776 memory=408200 CPUtime=1.47 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1490 0 0 0 140 7 0 0 20 0 1 0 236298836 2091802624 102050 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 510694 102050 1600 343 0 507758 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 408200 KiB

[startup+3.10531 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 157323
/proc/meminfo: memFree=124981568/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=2042776 memory=787688 CPUtime=3.07 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1988 0 0 0 293 14 0 0 20 0 1 0 236298836 2091802624 196922 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 510694 196922 1600 343 0 507758 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 787688 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 157323
/proc/meminfo: memFree=122899792/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=3118260 memory=1635268 CPUtime=6.25 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 7675 0 0 0 593 32 0 0 20 0 1 0 236298836 3193098240 408817 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 779565 408817 1600 343 0 776629 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 3118260 KiB
Current children cumulated memory: 1635268 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 157323
/proc/meminfo: memFree=122091932/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=3165136 memory=1958488 CPUtime=12.64 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 10090 0 0 0 1224 40 0 0 20 0 1 0 236298836 3241099264 489622 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 791284 489622 1600 343 0 788348 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3165136 KiB
Current children cumulated memory: 1958488 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.10 5/266 157325
/proc/meminfo: memFree=118346808/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=4182868 memory=2932812 CPUtime=25.41 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 14926 0 0 0 2456 85 0 0 20 0 1 0 236298836 4283256832 733203 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1045717 733203 1664 343 0 1042781 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4182868 KiB
Current children cumulated memory: 2932812 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.14 4.10 5/266 157325
/proc/meminfo: memFree=114519540/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5429392 memory=4675792 CPUtime=50.95 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 84746 0 0 0 4925 170 0 0 20 0 1 0 236298836 5559697408 1168948 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1357348 1168948 1760 343 0 1354412 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 5429392 KiB
Current children cumulated memory: 4675792 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/266 157327
/proc/meminfo: memFree=114914816/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5137608 memory=4323632 CPUtime=101.99 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 162419 0 0 0 9972 227 0 0 20 0 1 0 236298836 5260910592 1080908 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1284402 1080908 1760 343 0 1281466 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 5137608 KiB
Current children cumulated memory: 4323632 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 157329
/proc/meminfo: memFree=114761724/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5137608 memory=4307600 CPUtime=161.83 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 248827 0 0 0 15898 285 0 0 20 0 1 0 236298836 5260910592 1076900 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1284402 1076900 1760 343 0 1281466 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 5137608 KiB
Current children cumulated memory: 4307600 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 157331
/proc/meminfo: memFree=114615292/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5137608 memory=4330320 CPUtime=221.65 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 306695 0 0 0 21839 326 0 0 20 0 1 0 236298836 5260910592 1082580 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1284402 1082580 1760 343 0 1281466 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 5137608 KiB
Current children cumulated memory: 4330320 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/266 157335
/proc/meminfo: memFree=114727684/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5137608 memory=4336964 CPUtime=281.48 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 379509 0 0 0 27769 379 0 0 20 0 1 0 236298836 5260910592 1084241 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1284402 1084241 1760 343 0 1281466 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 5137608 KiB
Current children cumulated memory: 4336964 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 157337
/proc/meminfo: memFree=114552520/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5416136 memory=4469956 CPUtime=341.31 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 393259 0 0 0 33745 386 0 0 20 0 1 0 236298836 5546123264 1117489 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1354034 1117489 1760 343 0 1351098 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 5416136 KiB
Current children cumulated memory: 4469956 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 157340
/proc/meminfo: memFree=114900364/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5137608 memory=4330912 CPUtime=401.11 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 448464 0 0 0 39686 425 0 0 20 0 1 0 236298836 5260910592 1082728 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1284402 1082728 1760 343 0 1281466 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 5137608 KiB
Current children cumulated memory: 4330912 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 157342
/proc/meminfo: memFree=114370452/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5416136 memory=4486436 CPUtime=460.91 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 509272 0 0 0 45627 464 0 0 20 0 1 0 236298836 5546123264 1121609 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1354034 1121609 1760 343 0 1351098 0

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

Current children cumulated memory: 4639968 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 157467
/proc/meminfo: memFree=113816672/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5632508 memory=4685028 CPUtime=2853.06 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1386764 0 0 0 284200 1106 0 0 20 0 1 0 236298836 5767688192 1171257 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1408127 1171257 1760 343 0 1405191 0
Current children cumulated CPU time: 2853.06 s
Current children cumulated vsize: 5632508 KiB
Current children cumulated memory: 4685028 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/263 157470
/proc/meminfo: memFree=113845024/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5370364 memory=4523236 CPUtime=2912.87 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1397431 0 0 0 290174 1113 0 0 20 0 1 0 236298836 5499252736 1130809 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1342591 1130809 1760 343 0 1339655 0
Current children cumulated CPU time: 2912.87 s
Current children cumulated vsize: 5370364 KiB
Current children cumulated memory: 4523236 KiB

[startup+2982.3 s]
/proc/loadavg: 4.34 4.20 4.12 5/263 157472
/proc/meminfo: memFree=113789248/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5659176 memory=4730004 CPUtime=2972.68 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1411299 0 0 0 296146 1122 0 0 20 0 1 0 236298836 5794996224 1182501 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1414794 1182501 1760 343 0 1411858 0
Current children cumulated CPU time: 2972.68 s
Current children cumulated vsize: 5659176 KiB
Current children cumulated memory: 4730004 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/264 157481
/proc/meminfo: memFree=113597716/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5370364 memory=4592872 CPUtime=3032.48 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1421565 0 0 0 302117 1131 0 0 20 0 1 0 236298836 5499252736 1148218 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1342591 1148218 1760 343 0 1339655 0
Current children cumulated CPU time: 3032.48 s
Current children cumulated vsize: 5370364 KiB
Current children cumulated memory: 4592872 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/264 157483
/proc/meminfo: memFree=113691384/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5632508 memory=4730088 CPUtime=3092.29 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1445472 0 0 0 308083 1146 0 0 20 0 1 0 236298836 5767688192 1182522 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1408127 1182522 1760 343 0 1405191 0
Current children cumulated CPU time: 3092.29 s
Current children cumulated vsize: 5632508 KiB
Current children cumulated memory: 4730088 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 157485
/proc/meminfo: memFree=113511300/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5659176 memory=4754584 CPUtime=3152.09 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1469649 0 0 0 314046 1163 0 0 20 0 1 0 236298836 5794996224 1188646 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1414794 1188646 1760 343 0 1411858 0
Current children cumulated CPU time: 3152.09 s
Current children cumulated vsize: 5659176 KiB
Current children cumulated memory: 4754584 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/264 157487
/proc/meminfo: memFree=113549704/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5632508 memory=4734188 CPUtime=3211.89 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1492779 0 0 0 320011 1178 0 0 20 0 1 0 236298836 5767688192 1183547 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1408127 1183547 1760 343 0 1405191 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 5632508 KiB
Current children cumulated memory: 4734188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/263 157489
/proc/meminfo: memFree=113896892/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5370364 memory=4588780 CPUtime=3271.69 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1503336 0 0 0 325984 1185 0 0 20 0 1 0 236298836 5499252736 1147195 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1342591 1147195 1760 343 0 1339655 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 5370364 KiB
Current children cumulated memory: 4588780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 157491
/proc/meminfo: memFree=113363936/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5822704 memory=4873104 CPUtime=3331.49 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1527546 0 0 0 331949 1200 0 0 20 0 1 0 236298836 5962448896 1218276 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1455676 1218276 1760 343 0 1452740 0
Current children cumulated CPU time: 3331.49 s
Current children cumulated vsize: 5822704 KiB
Current children cumulated memory: 4873104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 157493
/proc/meminfo: memFree=113762760/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5659176 memory=4725916 CPUtime=3391.29 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1539314 0 0 0 337918 1211 0 0 20 0 1 0 236298836 5794996224 1181479 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1414794 1181479 1760 343 0 1411858 0
Current children cumulated CPU time: 3391.29 s
Current children cumulated vsize: 5659176 KiB
Current children cumulated memory: 4725916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 157495
/proc/meminfo: memFree=114062908/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5370364 memory=4556016 CPUtime=3451.1 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1561936 0 0 0 343885 1225 0 0 20 0 1 0 236298836 5499252736 1139004 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1342591 1139004 1760 343 0 1339655 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 5370364 KiB
Current children cumulated memory: 4556016 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 157497
/proc/meminfo: memFree=114072996/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5370364 memory=4560112 CPUtime=3510.9 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1585576 0 0 0 349849 1241 0 0 20 0 1 0 236298836 5499252736 1140028 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1342591 1140028 1760 343 0 1339655 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 5370364 KiB
Current children cumulated memory: 4560112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 157500
/proc/meminfo: memFree=114187820/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5397032 memory=4572316 CPUtime=3570.69 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1589054 0 0 0 355822 1247 0 0 20 0 1 0 236298836 5526560768 1143079 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1349258 1143079 1760 343 0 1346322 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 5397032 KiB
Current children cumulated memory: 4572316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.31 4.16 4.10 2/252 157554
/proc/meminfo: memFree=123150208/131249996 swapFree=33000896/33010684
[pid=157322] ppid=157319 vsize=5632508 memory=4721904 CPUtime=3600.09 cores=5,7
/proc/157322/stat : 157322 (pb_picat) R 157319 157322 156423 0 -1 4194304 1609797 0 0 0 358751 1258 0 0 20 0 1 0 236298836 5767688192 1180476 18446744073709551615 94795832946688 94795834348269 140736982001072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94795834619696 94795836494000 94795857104896 140736982006172 140736982006248 140736982006248 140736982011852 0
/proc/157322/statm: 1408127 1180476 1760 343 0 1405191 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5632508 KiB
Current children cumulated memory: 4721904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.51 s, system=12.6138 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): 3611.82
CPU time (s): 3600.13
CPU user time (s): 3587.51
CPU system time (s): 12.6138
CPU usage (%): 99.6761
Max. virtual memory (cumulated for all children) (KiB): 5883432
Max. memory (cumulated for all children) (KiB): 4914012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.51
system time used= 12.6138
maximum resident set size= 4914012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1609797
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= 67
involuntary context switches= 20924


# summary of solver processes directly reported to runsolver:
#   pid: 157322
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3587.51
#   total CPU system time (s): 12.6138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63146 second user time and 15.6041 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-22 19:43:30
IDJOB=4542499
IDBENCH=163930
IDSOLVER=3346
FILE ID=nodeC023/4542499-1753206209
RUNJOBID= nodeC023-1753198973-156443
SLURM_JOB_ID= 9687756
Free space on /tmp= 432860 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_height47_pigeons46_holes45.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542499-1753206209/watcher-4542499-1753206209 -o /tmp/evaluation-result-4542499-1753206209/solver-4542499-1753206209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753198973-156443 --watchdog 3760  pb_picat HOME/instance-4542499-1753206209.opb

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

MD5SUM BENCH= cca449fd552693742bf3f30208712226
RANDOM SEED=2091113130

nodeC023 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.908
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.78
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.890
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.78
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		: 3601.522
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.78
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.169
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.78
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.892
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.78
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.093
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.78
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		: 3596.114
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127143240 kB
MemAvailable:   128873944 kB
Buffers:              16 kB
Cached:          2473472 kB
SwapCached:         2872 kB
Active:          1600852 kB
Inactive:        1801544 kB
Active(anon):     894680 kB
Inactive(anon):    55056 kB
Active(file):     706172 kB
Inactive(file):  1746488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            192460 kB
Writeback:             0 kB
AnonPages:        929568 kB
Mapped:           112796 kB
Shmem:             20816 kB
KReclaimable:     234568 kB
Slab:             330380 kB
SReclaimable:     234568 kB
SUnreclaim:        95812 kB
KernelStack:        4304 kB
PageTables:         4452 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6538388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC023 at 2025-07-22 20:43:42