Trace number 4523237

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
Picat 2025-06-16? (TO) 3600.1 3610.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
MD5SUM19358b71c175af654e98554c4f116d17
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 benchmark-7944
Best CPU time to get the best result obtained on this benchmark0.165829
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5475
Total number of constraints181
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1490
Number of terms in the objective function 5474
Biggest coefficient in the objective function 260
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 629333
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 629333
Number of bits of the biggest sum of numbers20
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-4523237-1751650870.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 (60674 MiB free)
  memory of node 1: 64465 MiB (63640 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523237-1751650870/watcher-4523237-1751650870 -o /tmp/evaluation-result-4523237-1751650870/solver-4523237-1751650870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751647257-104032 --watchdog 3760 pb_picat HOME/instance-4523237-1751650870.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
solver pid=104448, runsolver pid=104444
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 4.09 4.13 4.07 5/264 104458
/proc/meminfo: memFree=127271232/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2035828 memory=42352 CPUtime=0.09 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 1421 0 0 0 8 1 0 0 20 0 1 0 80764487 2084687872 10588 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 508957 10588 1728 343 0 506021 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2035828 KiB
Current children cumulated memory: 42352 KiB

[startup+0.205454 s]*
/proc/loadavg: 4.09 4.13 4.07 5/264 104458
/proc/meminfo: memFree=127244844/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2040820 memory=48060 CPUtime=0.19 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 2577 0 0 0 17 2 0 0 20 0 1 0 80764487 2089799680 12015 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 510205 12015 1728 343 0 507269 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2040820 KiB
Current children cumulated memory: 48060 KiB

[startup+0.304982 s]*
/proc/loadavg: 4.09 4.13 4.07 6/264 104458
/proc/meminfo: memFree=127202056/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2044916 memory=51260 CPUtime=0.29 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 3512 0 0 0 27 2 0 0 20 0 1 0 80764487 2093993984 12815 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 511229 12815 1728 343 0 508293 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2044916 KiB
Current children cumulated memory: 51260 KiB

[startup+0.70014 s]
/proc/loadavg: 4.09 4.13 4.07 6/264 104458
/proc/meminfo: memFree=127082144/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2055204 memory=61424 CPUtime=0.68 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 7054 0 0 0 64 4 0 0 20 0 1 0 80764487 2104528896 15356 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 513801 15356 1760 343 0 510865 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2055204 KiB
Current children cumulated memory: 61424 KiB

[startup+1.50012 s]
/proc/loadavg: 4.09 4.13 4.07 5/264 104458
/proc/meminfo: memFree=126975648/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2064932 memory=66408 CPUtime=1.48 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 9447 0 0 0 143 5 0 0 20 0 1 0 80764487 2114490368 16602 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516233 16602 1760 343 0 513297 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2064932 KiB
Current children cumulated memory: 66408 KiB

[startup+3.10538 s]
/proc/loadavg: 4.08 4.13 4.07 5/264 104458
/proc/meminfo: memFree=126531264/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2064932 memory=67132 CPUtime=3.08 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 11677 0 0 0 303 5 0 0 20 0 1 0 80764487 2114490368 16783 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516233 16783 1760 343 0 513297 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2064932 KiB
Current children cumulated memory: 67132 KiB

[startup+6.30014 s]
/proc/loadavg: 4.08 4.13 4.07 5/264 104458
/proc/meminfo: memFree=126220928/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2066392 memory=68732 CPUtime=6.27 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 15306 0 0 0 621 6 0 0 20 0 1 0 80764487 2115985408 17183 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516598 17183 1760 343 0 513662 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2066392 KiB
Current children cumulated memory: 68732 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.14 4.07 5/264 104458
/proc/meminfo: memFree=125984104/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2064880 memory=66544 CPUtime=12.64 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 18828 0 0 0 1258 6 0 0 20 0 1 0 80764487 2114437120 16636 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516220 16636 1760 343 0 513284 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2064880 KiB
Current children cumulated memory: 66544 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.14 4.07 5/264 104458
/proc/meminfo: memFree=125993876/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2065904 memory=66268 CPUtime=25.41 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 23261 0 0 0 2534 7 0 0 20 0 1 0 80764487 2115485696 16567 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516476 16567 1760 343 0 513540 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2065904 KiB
Current children cumulated memory: 66268 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.12 4.07 5/264 104459
/proc/meminfo: memFree=125957256/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2074096 memory=72500 CPUtime=50.95 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 29614 0 0 0 5086 9 0 0 20 0 1 0 80764487 2123874304 18125 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 518524 18125 1760 343 0 515588 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2074096 KiB
Current children cumulated memory: 72500 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/264 104462
/proc/meminfo: memFree=125884464/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2065788 memory=70336 CPUtime=102 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 39894 0 0 0 10187 13 0 0 20 0 1 0 80764487 2115366912 17584 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516447 17584 1760 343 0 513511 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2065788 KiB
Current children cumulated memory: 70336 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/264 104467
/proc/meminfo: memFree=125886844/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2066440 memory=68116 CPUtime=161.83 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 52080 0 0 0 16166 17 0 0 20 0 1 0 80764487 2116034560 17029 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 516610 17029 1760 343 0 513674 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2066440 KiB
Current children cumulated memory: 68116 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/264 104469
/proc/meminfo: memFree=125868420/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2069452 memory=75776 CPUtime=221.65 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 64182 0 0 0 22143 22 0 0 20 0 1 0 80764487 2119118848 18944 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 517363 18944 1760 343 0 514427 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2069452 KiB
Current children cumulated memory: 75776 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/264 104471
/proc/meminfo: memFree=125845068/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2094028 memory=90556 CPUtime=281.48 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 74874 0 0 0 28121 27 0 0 20 0 1 0 80764487 2144284672 22639 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 523507 22639 1760 343 0 520571 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2094028 KiB
Current children cumulated memory: 90556 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/264 104473
/proc/meminfo: memFree=125845880/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2077644 memory=78012 CPUtime=341.3 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 86288 0 0 0 34098 32 0 0 20 0 1 0 80764487 2127507456 19503 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 519411 19503 1760 343 0 516475 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2077644 KiB
Current children cumulated memory: 78012 KiB

[startup+402.3 s]
/proc/loadavg: 3.85 4.04 4.06 4/258 104506
/proc/meminfo: memFree=127512736/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2077644 memory=77500 CPUtime=401.13 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 94550 0 0 0 40078 35 0 0 20 0 1 0 80764487 2127507456 19375 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 519411 19375 1760 343 0 516475 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2077644 KiB
Current children cumulated memory: 77500 KiB

[startup+462.3 s]
/proc/loadavg: 3.37 3.86 3.99 4/257 104508
/proc/meminfo: memFree=127485516/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2077644 memory=82364 CPUtime=460.95 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 101806 0 0 0 46057 38 0 0 20 0 1 0 80764487 2127507456 20591 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 519411 20591 1760 343 0 516475 0

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

Current children cumulated memory: 106292 KiB

[startup+2922.3 s]
/proc/loadavg: 3.10 3.11 3.17 4/257 104638
/proc/meminfo: memFree=127423368/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2084728 memory=89908 CPUtime=2913.79 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 464129 0 0 0 291183 196 0 0 20 0 1 0 80764487 2134761472 22477 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 521182 22477 1760 343 0 518246 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 2084728 KiB
Current children cumulated memory: 89908 KiB

[startup+2982.3 s]
/proc/loadavg: 3.20 3.14 3.18 4/257 104640
/proc/meminfo: memFree=127396400/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2084728 memory=92944 CPUtime=2973.62 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 471696 0 0 0 297162 200 0 0 20 0 1 0 80764487 2134761472 23236 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 521182 23236 1760 343 0 518246 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 2084728 KiB
Current children cumulated memory: 92944 KiB

[startup+3042.3 s]
/proc/loadavg: 3.13 3.13 3.17 4/258 104645
/proc/meminfo: memFree=127370308/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=100712 CPUtime=3033.44 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 479211 0 0 0 303140 204 0 0 20 0 1 0 80764487 2151538688 25178 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 25178 1760 343 0 522342 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 100712 KiB

[startup+3102.3 s]
/proc/loadavg: 3.10 3.11 3.17 4/258 104649
/proc/meminfo: memFree=127359824/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=96616 CPUtime=3093.27 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 486513 0 0 0 309119 208 0 0 20 0 1 0 80764487 2151538688 24154 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 24154 1760 343 0 522342 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 96616 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.12 3.17 4/258 104653
/proc/meminfo: memFree=127371040/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=101116 CPUtime=3153.12 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 493004 0 0 0 315100 212 0 0 20 0 1 0 80764487 2151538688 25279 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 25279 1760 343 0 522342 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 101116 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.11 3.16 4/257 104655
/proc/meminfo: memFree=127356656/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2117496 memory=105212 CPUtime=3212.95 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 496951 0 0 0 321081 214 0 0 20 0 1 0 80764487 2168315904 26303 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 529374 26303 1760 343 0 526438 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 2117496 KiB
Current children cumulated memory: 105212 KiB

[startup+3282.3 s]
/proc/loadavg: 3.08 3.11 3.15 4/257 104657
/proc/meminfo: memFree=127361476/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=103164 CPUtime=3272.8 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 502938 0 0 0 327063 217 0 0 20 0 1 0 80764487 2151538688 25791 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 25791 1760 343 0 522342 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 103164 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.11 3.15 3/255 104670
/proc/meminfo: memFree=127506352/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2117496 memory=120188 CPUtime=3332.65 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 508666 0 0 0 333044 221 0 0 20 0 1 0 80764487 2168315904 30047 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 529374 30047 1760 343 0 526438 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 2117496 KiB
Current children cumulated memory: 120188 KiB

[startup+3402.3 s]
/proc/loadavg: 2.48 2.94 3.09 3/254 104695
/proc/meminfo: memFree=127510948/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2117496 memory=107268 CPUtime=3392.44 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 512894 0 0 0 339019 225 0 0 20 0 1 0 80764487 2168315904 26817 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 529374 26817 1760 343 0 526438 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 2117496 KiB
Current children cumulated memory: 107268 KiB

[startup+3462.3 s]
/proc/loadavg: 2.29 2.80 3.03 3/254 104697
/proc/meminfo: memFree=127513908/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2117496 memory=107268 CPUtime=3452.21 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 517433 0 0 0 344995 226 0 0 20 0 1 0 80764487 2168315904 26817 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 529374 26817 1760 343 0 526438 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 2117496 KiB
Current children cumulated memory: 107268 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.66 2.97 3/254 104699
/proc/meminfo: memFree=127497640/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=101124 CPUtime=3512 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 522885 0 0 0 350970 230 0 0 20 0 1 0 80764487 2151538688 25281 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 25281 1760 343 0 522342 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 101124 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.56 2.91 3/254 104701
/proc/meminfo: memFree=127509800/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=105220 CPUtime=3571.79 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 526465 0 0 0 356948 231 0 0 20 0 1 0 80764487 2151538688 26305 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 26305 1760 343 0 522342 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 105220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 2.08 2.50 2.88 3/254 104702
/proc/meminfo: memFree=127507392/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=105604 CPUtime=3600.09 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 530223 0 0 0 359776 233 0 0 20 0 1 0 80764487 2151538688 26401 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 26401 1760 343 0 522342 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 105604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.76 s, system=2.34023 s

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

[startup+3610.7 s]
/proc/loadavg: 2.08 2.50 2.88 3/254 104702
/proc/meminfo: memFree=127507392/131249996 swapFree=33006296/33010684
[pid=104448] ppid=104444 vsize=2101112 memory=105604 CPUtime=3600.09 cores=1,3
/proc/104448/stat : 104448 (pb_picat) R 104444 104448 103695 0 -1 4194304 530223 0 0 0 359776 233 0 0 20 0 1 0 80764487 2151538688 26401 18446744073709551615 94480838033408 94480839434989 140721313712048 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94480839706416 94480841580720 94480871120896 140721313716636 140721313716712 140721313716712 140721313722316 0
/proc/104448/statm: 525278 26401 1760 343 0 522342 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2101112 KiB
Current children cumulated memory: 105604 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.7
CPU time (s): 3600.1
CPU user time (s): 3597.76
CPU system time (s): 2.34023
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 2150264
Max. memory (cumulated for all children) (KiB): 123652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.76
system time used= 2.34023
maximum resident set size= 123652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530223
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= 99
involuntary context switches= 6852


# summary of solver processes directly reported to runsolver:
#   pid: 104448
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.76
#   total CPU system time (s): 2.34023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58537 second user time and 14.7126 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-04 19:41:10
IDJOB=4523237
IDBENCH=179855
IDSOLVER=3346
FILE ID=nodeC015/4523237-1751650870
RUNJOBID= nodeC015-1751647257-104032
SLURM_JOB_ID= 9672320
Free space on /tmp= 432352 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523237-1751650870/watcher-4523237-1751650870 -o /tmp/evaluation-result-4523237-1751650870/solver-4523237-1751650870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751647257-104032 --watchdog 3760  pb_picat HOME/instance-4523237-1751650870.opb

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=1685393762

nodeC015 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		: 3600.045
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.567
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3556.314
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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.068
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.071
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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.070
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.197
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3604.611
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127299212 kB
MemAvailable:   128090944 kB
Buffers:            1508 kB
Cached:          1571532 kB
SwapCached:         3880 kB
Active:          1940180 kB
Inactive:        1325012 kB
Active(anon):    1657560 kB
Inactive(anon):    48760 kB
Active(file):     282620 kB
Inactive(file):  1276252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6604 kB
Writeback:             0 kB
AnonPages:       1689400 kB
Mapped:           109360 kB
Shmem:             14152 kB
KReclaimable:     144196 kB
Slab:             235652 kB
SReclaimable:     144196 kB
SUnreclaim:        91456 kB
KernelStack:        4288 kB
PageTables:         6404 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5419360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1345536 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432356 MiB
End job on nodeC015 at 2025-07-04 20:41:21