Trace number 4528574

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 NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11? (TO) 3600.02 3609.2

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
MD5SUM83ba36613360d6ce9be489830858dbc7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark5362.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27555
Number of constraints which are cardinality constraints (but not clauses)245
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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-4528574-1752245176.opb (Picat 3.9b11, 7/10/2025)
33.99/34.16	o 69

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60999 MiB free)
  memory of node 1: 64507 MiB (63809 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528574-1752245176/watcher-4528574-1752245176 -o /tmp/evaluation-result-4528574-1752245176/solver-4528574-1752245176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110053 --watchdog 3760 pb_picat HOME/instance-4528574-1752245176.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=110200, runsolver pid=110197

[startup+0.10006 s]*
/proc/loadavg: 3.82 4.08 4.09 5/264 110201
/proc/meminfo: memFree=127780452/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2027148 memory=38896 CPUtime=0.09 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 1143 0 0 0 8 1 0 0 20 0 1 0 140197482 2075799552 9724 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 506787 9724 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38896 KiB

[startup+0.20545 s]*
/proc/loadavg: 3.82 4.08 4.09 5/264 110201
/proc/meminfo: memFree=127759972/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2027148 memory=55288 CPUtime=0.2 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 1153 0 0 0 19 1 0 0 20 0 1 0 140197482 2075799552 13822 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 506787 13822 1600 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55288 KiB

[startup+0.30536 s]*
/proc/loadavg: 3.82 4.08 4.09 5/264 110201
/proc/meminfo: memFree=127739492/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2034964 memory=78456 CPUtime=0.29 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 1294 0 0 0 28 1 0 0 20 0 1 0 140197482 2083803136 19614 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 508741 19614 1632 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 78456 KiB

[startup+0.700112 s]
/proc/loadavg: 3.82 4.08 4.09 5/264 110201
/proc/meminfo: memFree=127710612/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2050544 memory=120052 CPUtime=0.69 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 4741 0 0 0 63 6 0 0 20 0 1 0 140197482 2099757056 30013 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 512636 30013 1728 343 0 509700 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2050544 KiB
Current children cumulated memory: 120052 KiB

[startup+1.50017 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127680460/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2081680 memory=150708 CPUtime=1.48 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 11233 0 0 0 138 10 0 0 20 0 1 0 140197482 2131640320 37677 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 520420 37677 1760 343 0 517484 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2081680 KiB
Current children cumulated memory: 150708 KiB

[startup+3.10531 s]
/proc/loadavg: 3.91 4.10 4.10 5/264 110201
/proc/meminfo: memFree=127661860/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2099856 memory=163040 CPUtime=3.09 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 14922 0 0 0 297 12 0 0 20 0 1 0 140197482 2150252544 40760 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 524964 40760 1760 343 0 522028 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2099856 KiB
Current children cumulated memory: 163040 KiB

[startup+6.30017 s]
/proc/loadavg: 3.92 4.10 4.09 5/264 110246
/proc/meminfo: memFree=127589452/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2085564 memory=155140 CPUtime=6.25 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 21378 0 0 0 611 14 0 0 20 0 1 0 140197482 2135617536 38785 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 521391 38785 1760 343 0 518455 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2085564 KiB
Current children cumulated memory: 155140 KiB

[startup+12.7002 s]
/proc/loadavg: 3.93 4.09 4.09 5/264 110246
/proc/meminfo: memFree=127532248/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2099132 memory=160820 CPUtime=12.64 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 28166 0 0 0 1248 16 0 0 20 0 1 0 140197482 2149511168 40205 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 524783 40205 1760 343 0 521847 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2099132 KiB
Current children cumulated memory: 160820 KiB

[startup+25.5002 s]
/proc/loadavg: 3.94 4.09 4.09 5/264 110246
/proc/meminfo: memFree=127539096/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2098808 memory=158072 CPUtime=25.41 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 38434 0 0 0 2521 20 0 0 20 0 1 0 140197482 2149179392 39518 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 524702 39518 1760 343 0 521766 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2098808 KiB
Current children cumulated memory: 158072 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 110247
/proc/meminfo: memFree=127481356/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2127204 memory=193824 CPUtime=50.95 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 67769 0 0 0 5054 41 0 0 20 0 1 0 140197482 2178256896 48456 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 531801 48456 1760 343 0 528865 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2127204 KiB
Current children cumulated memory: 193824 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 110382
/proc/meminfo: memFree=127492464/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2127204 memory=194164 CPUtime=102.01 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 92598 0 0 0 10150 51 0 0 20 0 1 0 140197482 2178256896 48541 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 531801 48541 1760 343 0 528865 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2127204 KiB
Current children cumulated memory: 194164 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 4.08 4.09 5/264 110429
/proc/meminfo: memFree=126026696/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2110820 memory=179828 CPUtime=161.83 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 122477 0 0 0 16117 66 0 0 20 0 1 0 140197482 2161479680 44957 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 527705 44957 1760 343 0 524769 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2110820 KiB
Current children cumulated memory: 179828 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 110475
/proc/meminfo: memFree=125986348/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2110820 memory=186612 CPUtime=221.68 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 145262 0 0 0 22094 74 0 0 20 0 1 0 140197482 2161479680 46653 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 527705 46653 1760 343 0 524769 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2110820 KiB
Current children cumulated memory: 186612 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 110478
/proc/meminfo: memFree=125969716/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2110820 memory=188660 CPUtime=281.54 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 162956 0 0 0 28073 81 0 0 20 0 1 0 140197482 2161479680 47165 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 527705 47165 1760 343 0 524769 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2110820 KiB
Current children cumulated memory: 188660 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 110480
/proc/meminfo: memFree=126012372/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2110820 memory=189812 CPUtime=341.4 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 187551 0 0 0 34051 89 0 0 20 0 1 0 140197482 2161479680 47453 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 527705 47453 1760 343 0 524769 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2110820 KiB
Current children cumulated memory: 189812 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 110482
/proc/meminfo: memFree=125975420/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2110820 memory=188660 CPUtime=401.25 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 205229 0 0 0 40028 97 0 0 20 0 1 0 140197482 2161479680 47165 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 527705 47165 1760 343 0 524769 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2110820 KiB
Current children cumulated memory: 188660 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 110490
/proc/meminfo: memFree=126100856/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2127204 memory=190452 CPUtime=461.11 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 222386 0 0 0 46007 104 0 0 20 0 1 0 140197482 2178256896 47613 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 531801 47613 1760 343 0 528865 0
Current children cumulated CPU time: 461.11 s

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

Current children cumulated memory: 230008 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 110610
/proc/meminfo: memFree=125715784/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2157848 memory=234104 CPUtime=2855.17 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 724292 0 0 0 285085 432 0 0 20 0 1 0 140197482 2209636352 58526 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539462 58526 1760 343 0 536526 0
Current children cumulated CPU time: 2855.17 s
Current children cumulated vsize: 2157848 KiB
Current children cumulated memory: 234104 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 110612
/proc/meminfo: memFree=125701116/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158024 memory=235816 CPUtime=2915.02 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 732080 0 0 0 291065 437 0 0 20 0 1 0 140197482 2209816576 58954 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539506 58954 1760 343 0 536570 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 2158024 KiB
Current children cumulated memory: 235816 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 110614
/proc/meminfo: memFree=125649860/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158024 memory=232752 CPUtime=2974.86 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 744781 0 0 0 297041 445 0 0 20 0 1 0 140197482 2209816576 58188 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539506 58188 1760 343 0 536570 0
Current children cumulated CPU time: 2974.86 s
Current children cumulated vsize: 2158024 KiB
Current children cumulated memory: 232752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 110616
/proc/meminfo: memFree=125706856/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=235180 CPUtime=3034.69 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 749484 0 0 0 303019 450 0 0 20 0 1 0 140197482 2210205696 58795 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 58795 1760 343 0 536665 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 235180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 110618
/proc/meminfo: memFree=125709876/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=236460 CPUtime=3094.51 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 754497 0 0 0 308996 455 0 0 20 0 1 0 140197482 2210205696 59115 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 59115 1760 343 0 536665 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 236460 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 110620
/proc/meminfo: memFree=125715712/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=222892 CPUtime=3154.34 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 760086 0 0 0 314974 460 0 0 20 0 1 0 140197482 2210205696 55723 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 55723 1760 343 0 536665 0
Current children cumulated CPU time: 3154.34 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 222892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/262 110622
/proc/meminfo: memFree=125672360/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=199808 CPUtime=3214.17 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 775277 0 0 0 320947 470 0 0 20 0 1 0 140197482 2210205696 49952 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 49952 1760 343 0 536665 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 199808 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 110624
/proc/meminfo: memFree=125750380/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2125636 memory=189568 CPUtime=3274.02 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 793767 0 0 0 326917 485 0 0 20 0 1 0 140197482 2176651264 47392 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 531409 47392 1760 343 0 528473 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 2125636 KiB
Current children cumulated memory: 189568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 110626
/proc/meminfo: memFree=125791180/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2125636 memory=189568 CPUtime=3333.85 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 809105 0 0 0 332888 497 0 0 20 0 1 0 140197482 2176651264 47392 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 531409 47392 1760 343 0 528473 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 2125636 KiB
Current children cumulated memory: 189568 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 110628
/proc/meminfo: memFree=125769220/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=201684 CPUtime=3393.68 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 816475 0 0 0 338865 503 0 0 20 0 1 0 140197482 2210205696 50421 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 50421 1760 343 0 536665 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 201684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 110637
/proc/meminfo: memFree=125710784/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2191172 memory=214144 CPUtime=3453.5 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 823738 0 0 0 344843 507 0 0 20 0 1 0 140197482 2243760128 53536 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 547793 53536 1760 343 0 544857 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 2191172 KiB
Current children cumulated memory: 214144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 110639
/proc/meminfo: memFree=125647632/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2207556 memory=229900 CPUtime=3513.34 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 833926 0 0 0 350819 515 0 0 20 0 1 0 140197482 2260537344 57475 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 551889 57475 1760 343 0 548953 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 2207556 KiB
Current children cumulated memory: 229900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 110641
/proc/meminfo: memFree=125717944/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=220288 CPUtime=3573.18 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 843763 0 0 0 356794 524 0 0 20 0 1 0 140197482 2210205696 55072 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 55072 1760 343 0 536665 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 220288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 110642
/proc/meminfo: memFree=125733136/131250000 swapFree=33010416/33010684
[pid=110200] ppid=110197 vsize=2158404 memory=205952 CPUtime=3600 cores=4,6
/proc/110200/stat : 110200 (pb_picat) R 110197 110200 110042 0 -1 4194304 850465 0 0 0 359472 528 0 0 20 0 1 0 140197482 2210205696 51488 18446744073709551615 94443457048576 94443458450157 140727848472768 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94443458721584 94443460595824 94443486724096 140727848475036 140727848475112 140727848475112 140727848480716 0
/proc/110200/statm: 539601 51488 1760 343 0 536665 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2158404 KiB
Current children cumulated memory: 205952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.72 s, system=5.29178 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.2
CPU time (s): 3600.02
CPU user time (s): 3594.72
CPU system time (s): 5.29178
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (KiB): 2256328
Max. memory (cumulated for all children) (KiB): 249516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.72
system time used= 5.29178
maximum resident set size= 249516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 850465
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= 75
involuntary context switches= 5230


# summary of solver processes directly reported to runsolver:
#   pid: 110200
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3594.72
#   total CPU system time (s): 5.29178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23108 second user time and 15.2606 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-11 16:46:16
IDJOB=4528574
IDBENCH=158395
IDSOLVER=3385
FILE ID=nodeC027/4528574-1752245176
RUNJOBID= nodeC027-1752245169-110053
SLURM_JOB_ID= 9682567
Free space on /tmp= 431168 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528574-1752245176/watcher-4528574-1752245176 -o /tmp/evaluation-result-4528574-1752245176/solver-4528574-1752245176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752245169-110053 --watchdog 3760  pb_picat HOME/instance-4528574-1752245176.opb

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

MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=450009033

nodeC027 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.652
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.29
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.634
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.29
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		: 3611.571
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.29
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		: 3643.622
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.29
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.712
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.29
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.641
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.29
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		: 3599.635
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.29
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		: 3590.654
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127805028 kB
MemAvailable:   129517144 kB
Buffers:            2488 kB
Cached:          2504856 kB
SwapCached:           12 kB
Active:           884360 kB
Inactive:        1944348 kB
Active(anon):     336636 kB
Inactive(anon):     2792 kB
Active(file):     547724 kB
Inactive(file):  1941556 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13712 kB
Writeback:             0 kB
AnonPages:        324500 kB
Mapped:           115912 kB
Shmem:             18056 kB
KReclaimable:     123752 kB
Slab:             215980 kB
SReclaimable:     123752 kB
SUnreclaim:        92228 kB
KernelStack:        4272 kB
PageTables:         3760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6558812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431152 MiB
End job on nodeC027 at 2025-07-11 17:46:25