Trace number 4528701

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 3610.9

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
MD5SUMb3bab28fe93ea42b1817acfaffdcfb3a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2044
Best CPU time to get the best result obtained on this benchmark3586.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8170
Total number of constraints8170
Number of constraints which are clauses8170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 8170
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 8170
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 8170
Number of bits of the biggest sum of numbers13
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-4528701-1752249006.opb (Picat 3.9b11, 7/10/2025)

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=120566, runsolver pid=120563

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 120567
/proc/meminfo: memFree=127557392/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2034964 memory=40680 CPUtime=0.09 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 1050 0 0 0 8 1 0 0 20 0 1 0 140578063 2083803136 10170 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 3 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 508741 10170 1632 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 40680 KiB

[startup+0.205434 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 120567
/proc/meminfo: memFree=127540316/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2044908 memory=60092 CPUtime=0.19 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 3186 0 0 0 18 1 0 0 20 0 1 0 140578063 2093985792 15023 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 511227 15023 1728 343 0 508291 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2044908 KiB
Current children cumulated memory: 60092 KiB

[startup+0.305418 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 120567
/proc/meminfo: memFree=127540732/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2057908 memory=72488 CPUtime=0.29 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 6529 0 0 0 27 2 0 0 20 0 1 0 140578063 2107297792 18122 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 514477 18122 1760 343 0 511541 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2057908 KiB
Current children cumulated memory: 72488 KiB

[startup+0.700178 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 120567
/proc/meminfo: memFree=127535628/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2067216 memory=78240 CPUtime=0.67 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 10809 0 0 0 65 2 0 0 20 0 1 0 140578063 2116829184 19560 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 516804 19560 1760 343 0 513868 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2067216 KiB
Current children cumulated memory: 78240 KiB

[startup+1.50016 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 120567
/proc/meminfo: memFree=127531532/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2066696 memory=76860 CPUtime=1.47 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 14572 0 0 0 144 3 0 0 20 0 1 0 140578063 2116296704 19215 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 516674 19215 1760 343 0 513738 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2066696 KiB
Current children cumulated memory: 76860 KiB

[startup+3.10527 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 120567
/proc/meminfo: memFree=127629192/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2076132 memory=82828 CPUtime=3.08 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 19209 0 0 0 304 4 0 0 20 0 1 0 140578063 2125959168 20707 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 519033 20707 1760 343 0 516097 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2076132 KiB
Current children cumulated memory: 82828 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 120567
/proc/meminfo: memFree=127598932/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2076132 memory=82828 CPUtime=6.26 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 26067 0 0 0 620 6 0 0 20 0 1 0 140578063 2125959168 20707 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 519033 20707 1760 343 0 516097 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2076132 KiB
Current children cumulated memory: 82828 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 120568
/proc/meminfo: memFree=127621820/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2060772 memory=72140 CPUtime=12.65 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 37434 0 0 0 1256 9 0 0 20 0 1 0 140578063 2110230528 18035 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 515193 18035 1760 343 0 512257 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2060772 KiB
Current children cumulated memory: 72140 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 120568
/proc/meminfo: memFree=127525996/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2076716 memory=88020 CPUtime=25.42 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 56656 0 0 0 2527 15 0 0 20 0 1 0 140578063 2126557184 22005 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 519179 22005 1760 343 0 516243 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2076716 KiB
Current children cumulated memory: 88020 KiB

[startup+51.1054 s]
/proc/loadavg: 4.38 4.19 4.12 5/264 120568
/proc/meminfo: memFree=127576212/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2077900 memory=89136 CPUtime=50.96 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 87773 0 0 0 5072 24 0 0 20 0 1 0 140578063 2127769600 22284 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 519475 22284 1760 343 0 516539 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2077900 KiB
Current children cumulated memory: 89136 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/264 120570
/proc/meminfo: memFree=127549872/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2077760 memory=93092 CPUtime=102.02 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 136569 0 0 0 10164 38 0 0 20 0 1 0 140578063 2127626240 23273 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 519440 23273 1760 343 0 516504 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2077760 KiB
Current children cumulated memory: 93092 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/265 120573
/proc/meminfo: memFree=127500804/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2113728 memory=103544 CPUtime=161.86 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 186990 0 0 0 16132 54 0 0 20 0 1 0 140578063 2164457472 25886 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 528432 25886 1760 343 0 525496 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2113728 KiB
Current children cumulated memory: 103544 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/265 120575
/proc/meminfo: memFree=127503740/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2113728 memory=110712 CPUtime=221.72 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 229115 0 0 0 22101 71 0 0 20 0 1 0 140578063 2164457472 27678 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 528432 27678 1760 343 0 525496 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2113728 KiB
Current children cumulated memory: 110712 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 120577
/proc/meminfo: memFree=127555280/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2102180 memory=109700 CPUtime=281.56 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 264608 0 0 0 28071 85 0 0 20 0 1 0 140578063 2152632320 27425 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 525545 27425 1760 343 0 522609 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2102180 KiB
Current children cumulated memory: 109700 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 120580
/proc/meminfo: memFree=127548792/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2118564 memory=117220 CPUtime=341.41 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 296893 0 0 0 34041 100 0 0 20 0 1 0 140578063 2169409536 29305 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 529641 29305 1760 343 0 526705 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2118564 KiB
Current children cumulated memory: 117220 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 120582
/proc/meminfo: memFree=127530092/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2103468 memory=116832 CPUtime=401.25 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 320302 0 0 0 40015 110 0 0 20 0 1 0 140578063 2153951232 29208 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 525867 29208 1760 343 0 522931 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2103468 KiB
Current children cumulated memory: 116832 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 120584
/proc/meminfo: memFree=127517456/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2103468 memory=116844 CPUtime=461.1 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 346760 0 0 0 45988 122 0 0 20 0 1 0 140578063 2153951232 29211 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 525867 29211 1760 343 0 522931 0

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

Current children cumulated memory: 222036 KiB

[startup+2922.3 s]
/proc/loadavg: 3.12 3.14 3.28 4/258 120747
/proc/meminfo: memFree=127403628/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2268044 memory=246612 CPUtime=2913.57 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 832505 0 0 0 290878 479 0 0 20 0 1 0 140578063 2322477056 61653 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 567011 61653 1760 343 0 564075 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 2268044 KiB
Current children cumulated memory: 246612 KiB

[startup+2982.3 s]
/proc/loadavg: 3.09 3.13 3.27 4/258 120750
/proc/meminfo: memFree=127409848/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2333580 memory=256852 CPUtime=2973.37 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 839392 0 0 0 296852 485 0 0 20 0 1 0 140578063 2389585920 64213 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 583395 64213 1760 343 0 580459 0
Current children cumulated CPU time: 2973.37 s
Current children cumulated vsize: 2333580 KiB
Current children cumulated memory: 256852 KiB

[startup+3042.3 s]
/proc/loadavg: 3.13 3.13 3.26 4/258 120755
/proc/meminfo: memFree=127392240/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2333580 memory=249940 CPUtime=3033.18 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 847639 0 0 0 302825 493 0 0 20 0 1 0 140578063 2389585920 62485 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 583395 62485 1760 343 0 580459 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 2333580 KiB
Current children cumulated memory: 249940 KiB

[startup+3102.3 s]
/proc/loadavg: 3.10 3.12 3.25 4/258 120761
/proc/meminfo: memFree=127408340/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2268044 memory=228180 CPUtime=3092.98 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 857233 0 0 0 308797 501 0 0 20 0 1 0 140578063 2322477056 57045 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 567011 57045 1760 343 0 564075 0
Current children cumulated CPU time: 3092.98 s
Current children cumulated vsize: 2268044 KiB
Current children cumulated memory: 228180 KiB

[startup+3162.3 s]
/proc/loadavg: 3.08 3.11 3.24 4/258 120763
/proc/meminfo: memFree=127391864/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2333580 memory=254804 CPUtime=3152.77 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 864289 0 0 0 314770 507 0 0 20 0 1 0 140578063 2389585920 63701 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 583395 63701 1760 343 0 580459 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 2333580 KiB
Current children cumulated memory: 254804 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.12 3.23 4/260 120768
/proc/meminfo: memFree=127364464/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2333580 memory=254804 CPUtime=3212.57 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 873182 0 0 0 320741 516 0 0 20 0 1 0 140578063 2389585920 63701 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 583395 63701 1760 343 0 580459 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 2333580 KiB
Current children cumulated memory: 254804 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.11 3.22 4/259 120771
/proc/meminfo: memFree=127370816/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2333580 memory=265044 CPUtime=3272.37 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 878963 0 0 0 326716 521 0 0 20 0 1 0 140578063 2389585920 66261 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 583395 66261 1760 343 0 580459 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 2333580 KiB
Current children cumulated memory: 265044 KiB

[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.21 4/261 120775
/proc/meminfo: memFree=127395208/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2235276 memory=218496 CPUtime=3332.18 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 886432 0 0 0 332690 528 0 0 20 0 1 0 140578063 2288922624 54624 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 558819 54624 1760 343 0 555883 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 2235276 KiB
Current children cumulated memory: 218496 KiB

[startup+3402.3 s]
/proc/loadavg: 2.82 3.05 3.18 3/255 120808
/proc/meminfo: memFree=127432084/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2268044 memory=250708 CPUtime=3391.98 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 892778 0 0 0 338665 533 0 0 20 0 1 0 140578063 2322477056 62677 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 567011 62677 1760 343 0 564075 0
Current children cumulated CPU time: 3391.98 s
Current children cumulated vsize: 2268044 KiB
Current children cumulated memory: 250708 KiB

[startup+3462.3 s]
/proc/loadavg: 2.42 2.88 3.11 3/255 120810
/proc/meminfo: memFree=127423176/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2333580 memory=262996 CPUtime=3451.77 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 899247 0 0 0 344638 539 0 0 20 0 1 0 140578063 2389585920 65749 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 583395 65749 1760 343 0 580459 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 2333580 KiB
Current children cumulated memory: 262996 KiB

[startup+3522.3 s]
/proc/loadavg: 1.58 2.56 2.98 2/248 120843
/proc/meminfo: memFree=127571072/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2235276 memory=220544 CPUtime=3511.62 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 911931 0 0 0 350612 550 0 0 20 0 1 0 140578063 2288922624 55136 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 558819 55136 1760 343 0 555883 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 2235276 KiB
Current children cumulated memory: 220544 KiB

[startup+3582.3 s]
/proc/loadavg: 1.26 2.28 2.86 2/249 120846
/proc/meminfo: memFree=127595712/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2268044 memory=226132 CPUtime=3571.48 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 918274 0 0 0 356593 555 0 0 20 0 1 0 140578063 2322477056 56533 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 567011 56533 1760 343 0 564075 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 2268044 KiB
Current children cumulated memory: 226132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 1.24 2.20 2.82 2/248 120847
/proc/meminfo: memFree=127589480/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2268044 memory=230228 CPUtime=3600.01 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 924987 0 0 0 359442 559 0 0 20 0 1 0 140578063 2322477056 57557 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 567011 57557 1760 343 0 564075 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2268044 KiB
Current children cumulated memory: 230228 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.42 s, system=5.60093 s

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

[startup+3610.9 s]
/proc/loadavg: 1.24 2.20 2.82 2/248 120847
/proc/meminfo: memFree=127589480/131250000 swapFree=33008100/33010684
[pid=120566] ppid=120563 vsize=2268044 memory=230228 CPUtime=3600.01 cores=1,3
/proc/120566/stat : 120566 (pb_picat) R 120563 120566 119619 0 -1 4194304 924987 0 0 0 359442 559 0 0 20 0 1 0 140578063 2322477056 57557 18446744073709551615 94102796627968 94102798029549 140731619028464 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94102798300976 94102800175216 94102836240384 140731619035548 140731619035624 140731619035624 140731619041228 0
/proc/120566/statm: 567011 57557 1760 343 0 564075 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2268044 KiB
Current children cumulated memory: 230228 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.9
CPU time (s): 3600.02
CPU user time (s): 3594.42
CPU system time (s): 5.60093
CPU usage (%): 99.6987
Max. virtual memory (cumulated for all children) (KiB): 2333580
Max. memory (cumulated for all children) (KiB): 303124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.42
system time used= 5.60093
maximum resident set size= 320704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924987
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= 93
involuntary context switches= 7654


# summary of solver processes directly reported to runsolver:
#   pid: 120566
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3594.42
#   total CPU system time (s): 5.60093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74037 second user time and 14.7779 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-11 17:50:06
IDJOB=4528701
IDBENCH=178115
IDSOLVER=3385
FILE ID=nodeC019/4528701-1752249006
RUNJOBID= nodeC019-1752245169-119631
SLURM_JOB_ID= 9682569
Free space on /tmp= 431600 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528701-1752249006/watcher-4528701-1752249006 -o /tmp/evaluation-result-4528701-1752249006/solver-4528701-1752249006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752245169-119631 --watchdog 3760  pb_picat HOME/instance-4528701-1752249006.opb

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

MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a
RANDOM SEED=775203611

nodeC019 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.708
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.37
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.717
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.37
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		: 3600.471
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.37
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.912
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.37
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.674
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.37
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.661
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.37
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.711
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.37
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		: 3601.844
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127594024 kB
MemAvailable:   129520496 kB
Buffers:             904 kB
Cached:          2726000 kB
SwapCached:          568 kB
Active:           481224 kB
Inactive:        2564060 kB
Active(anon):     308020 kB
Inactive(anon):    27320 kB
Active(file):     173204 kB
Inactive(file):  2536740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3904 kB
Writeback:             4 kB
AnonPages:        320492 kB
Mapped:           117148 kB
Shmem:             16960 kB
KReclaimable:     111536 kB
Slab:             204264 kB
SReclaimable:     111536 kB
SUnreclaim:        92728 kB
KernelStack:        4300 kB
PageTables:         3924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6669680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431608 MiB
End job on nodeC019 at 2025-07-11 18:50:17