Trace number 4528490

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.1 3608.61

General information on the benchmark

NamePB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
MD5SUM807b13cda1d33b90eacd528b5f94ca03
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 benchmark654
Best CPU time to get the best result obtained on this benchmark526.427
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22120
Total number of constraints4484
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)4424
Number of constraints which are nor clauses,nor cardinality constraints58
Minimum length of a constraint5
Maximum length of a constraint10890
Number of terms in the objective function 22120
Biggest coefficient in the objective function 554
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3240754
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 554
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3240754
Number of bits of the biggest sum of numbers22
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.04	c solving HOME/instance-4528490-1752241968.opb (Picat 3.9b11, 7/10/2025)
3425.73/3433.80	o 455611

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: 63794 MiB (59284 MiB free)
  memory of node 1: 64507 MiB (61403 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528490-1752241968/watcher-4528490-1752241968 -o /tmp/evaluation-result-4528490-1752241968/solver-4528490-1752241968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752238355-122270 --watchdog 3760 pb_picat HOME/instance-4528490-1752241968.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
solver pid=122641, runsolver pid=122635
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 4.32 4.57 4.31 5/250 122647
/proc/meminfo: memFree=123555180/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2027148 memory=27916 CPUtime=0.08 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 1060 0 0 0 7 1 0 0 20 0 1 0 139876544 2075799552 6979 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 506787 6979 1504 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 27916 KiB

[startup+0.217391 s]*
/proc/loadavg: 4.32 4.57 4.31 4/248 122647
/proc/meminfo: memFree=123662792/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2027148 memory=38292 CPUtime=0.19 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 1070 0 0 0 17 2 0 0 20 0 1 0 139876544 2075799552 9573 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 506787 9573 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38292 KiB

[startup+0.317432 s]*
/proc/loadavg: 4.32 4.57 4.31 5/246 122655
/proc/meminfo: memFree=123646408/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2027148 memory=46484 CPUtime=0.27 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 1074 0 0 0 25 2 0 0 20 0 1 0 139876544 2075799552 11621 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 506787 11621 1536 343 0 503851 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 46484 KiB

[startup+0.700325 s]
/proc/loadavg: 4.32 4.57 4.31 5/246 122662
/proc/meminfo: memFree=123637300/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2027148 memory=73156 CPUtime=0.64 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 1087 0 0 0 61 3 0 0 20 0 1 0 139876544 2075799552 18289 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 506787 18289 1536 343 0 503851 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73156 KiB

[startup+1.50034 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123549968/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2027148 memory=146884 CPUtime=1.44 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 1123 0 0 0 140 4 0 0 20 0 1 0 139876544 2075799552 36721 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 506787 36721 1536 343 0 503851 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 146884 KiB

[startup+3.11269 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=122886892/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2034964 memory=218880 CPUtime=3.04 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 1251 0 0 0 298 6 0 0 20 0 1 0 139876544 2083803136 54720 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 508741 54720 1536 343 0 505805 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 218880 KiB

[startup+6.30024 s]
/proc/loadavg: 4.30 4.56 4.31 5/250 122692
/proc/meminfo: memFree=122641944/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2108684 memory=333164 CPUtime=6.23 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 6769 0 0 0 610 13 0 0 20 0 1 0 139876544 2159292416 83291 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 527171 83291 1536 343 0 524235 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2108684 KiB
Current children cumulated memory: 333164 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.55 4.31 5/250 122693
/proc/meminfo: memFree=122429280/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=2188936 memory=635472 CPUtime=12.62 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 14480 0 0 0 1235 27 0 0 20 0 1 0 139876544 2241470464 158868 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 547234 158868 1600 343 0 544298 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2188936 KiB
Current children cumulated memory: 635472 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.54 4.31 5/251 122694
/proc/meminfo: memFree=120938808/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3591232 memory=1857088 CPUtime=25.38 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 65017 0 0 0 2472 66 0 0 20 0 1 0 139876544 3677421568 464272 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 897808 464272 1696 343 0 894872 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3591232 KiB
Current children cumulated memory: 1857088 KiB

[startup+51.1128 s]
/proc/loadavg: 4.18 4.50 4.30 5/251 122694
/proc/meminfo: memFree=121193892/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3611596 memory=1696592 CPUtime=50.91 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 83570 0 0 0 5002 89 0 0 20 0 1 0 139876544 3698274304 424148 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 902899 424148 1696 343 0 899963 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3611596 KiB
Current children cumulated memory: 1696592 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.43 4.28 5/251 122698
/proc/meminfo: memFree=121075728/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3592228 memory=1750668 CPUtime=101.95 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 113829 0 0 0 10075 120 0 0 20 0 1 0 139876544 3678441472 437667 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 898057 437667 1696 343 0 895121 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3592228 KiB
Current children cumulated memory: 1750668 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.38 4.27 5/250 122700
/proc/meminfo: memFree=121165568/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3331324 memory=1661080 CPUtime=161.78 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 118770 0 0 0 16046 132 0 0 20 0 1 0 139876544 3411275776 415270 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 832831 415270 1696 343 0 829895 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 3331324 KiB
Current children cumulated memory: 1661080 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.32 4.26 5/251 122707
/proc/meminfo: memFree=121334252/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3131588 memory=1455200 CPUtime=221.61 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 124792 0 0 0 22011 150 0 0 20 0 1 0 139876544 3206746112 363800 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 782897 363800 1696 343 0 779961 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 3131588 KiB
Current children cumulated memory: 1455200 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.29 4.25 5/251 122709
/proc/meminfo: memFree=121092216/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3328196 memory=1653856 CPUtime=281.47 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 133095 0 0 0 27970 177 0 0 20 0 1 0 139876544 3408072704 413464 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 832049 413464 1696 343 0 829113 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 3328196 KiB
Current children cumulated memory: 1653856 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.25 4.24 5/250 122711
/proc/meminfo: memFree=120972536/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3590340 memory=1748064 CPUtime=341.29 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 136343 0 0 0 33942 187 0 0 20 0 1 0 139876544 3676508160 437016 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 897585 437016 1696 343 0 894649 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 3590340 KiB
Current children cumulated memory: 1748064 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.24 4.24 5/250 122713
/proc/meminfo: memFree=120928584/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3590340 memory=1766496 CPUtime=401.13 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 141760 0 0 0 39909 204 0 0 20 0 1 0 139876544 3676508160 441624 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 897585 441624 1696 343 0 894649 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 3590340 KiB
Current children cumulated memory: 1766496 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.21 4.22 5/250 122715
/proc/meminfo: memFree=121098868/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3328196 memory=1647712 CPUtime=460.97 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 145854 0 0 0 45880 217 0 0 20 0 1 0 139876544 3408072704 411928 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 832049 411928 1696 343 0 829113 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 1722192 KiB

[startup+2862.3 s]
/proc/loadavg: 4.46 4.26 4.16 5/250 122845
/proc/meminfo: memFree=121005148/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3325236 memory=1609552 CPUtime=2855.54 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 240459 0 0 0 285081 473 0 0 20 0 1 0 139876544 3405041664 402388 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 831309 402388 1696 343 0 828373 0
Current children cumulated CPU time: 2855.54 s
Current children cumulated vsize: 3325236 KiB
Current children cumulated memory: 1609552 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 122847
/proc/meminfo: memFree=120868904/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3587380 memory=1730384 CPUtime=2915.4 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 241426 0 0 0 291063 477 0 0 20 0 1 0 139876544 3673477120 432596 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896845 432596 1696 343 0 893909 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 3587380 KiB
Current children cumulated memory: 1730384 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.20 4.14 5/250 122849
/proc/meminfo: memFree=120864744/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3584892 memory=1719704 CPUtime=2975.25 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 243582 0 0 0 297043 482 0 0 20 0 1 0 139876544 3670929408 429926 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896223 429926 1696 343 0 893287 0
Current children cumulated CPU time: 2975.25 s
Current children cumulated vsize: 3584892 KiB
Current children cumulated memory: 1719704 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/251 122852
/proc/meminfo: memFree=120878088/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3584892 memory=1721752 CPUtime=3035.12 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 243808 0 0 0 303030 482 0 0 20 0 1 0 139876544 3670929408 430438 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896223 430438 1696 343 0 893287 0
Current children cumulated CPU time: 3035.12 s
Current children cumulated vsize: 3584892 KiB
Current children cumulated memory: 1721752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/251 122857
/proc/meminfo: memFree=120880028/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3584892 memory=1723800 CPUtime=3094.98 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 243809 0 0 0 309016 482 0 0 20 0 1 0 139876544 3670929408 430950 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896223 430950 1696 343 0 893287 0
Current children cumulated CPU time: 3094.98 s
Current children cumulated vsize: 3584892 KiB
Current children cumulated memory: 1723800 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/250 122859
/proc/meminfo: memFree=120868200/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3584892 memory=1725848 CPUtime=3154.85 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 244689 0 0 0 315002 483 0 0 20 0 1 0 139876544 3670929408 431462 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896223 431462 1696 343 0 893287 0
Current children cumulated CPU time: 3154.85 s
Current children cumulated vsize: 3584892 KiB
Current children cumulated memory: 1725848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.78 4.34 4.20 5/252 122867
/proc/meminfo: memFree=120937400/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3584892 memory=1713560 CPUtime=3214.72 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 246849 0 0 0 320982 490 0 0 20 0 1 0 139876544 3670929408 428390 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896223 428390 1696 343 0 893287 0
Current children cumulated CPU time: 3214.72 s
Current children cumulated vsize: 3584892 KiB
Current children cumulated memory: 1713560 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.29 4.19 5/252 122869
/proc/meminfo: memFree=120860760/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3584892 memory=1717656 CPUtime=3274.58 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 247075 0 0 0 326968 490 0 0 20 0 1 0 139876544 3670929408 429414 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896223 429414 1696 343 0 893287 0
Current children cumulated CPU time: 3274.58 s
Current children cumulated vsize: 3584892 KiB
Current children cumulated memory: 1717656 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.27 4.18 5/252 122872
/proc/meminfo: memFree=120987924/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3322748 memory=1611160 CPUtime=3334.44 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 247489 0 0 0 332953 491 0 0 20 0 1 0 139876544 3402493952 402790 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 830687 402790 1696 343 0 827751 0
Current children cumulated CPU time: 3334.44 s
Current children cumulated vsize: 3322748 KiB
Current children cumulated memory: 1611160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.39 4.23 5/252 122874
/proc/meminfo: memFree=120969996/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3322748 memory=1633688 CPUtime=3394.3 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 251777 0 0 0 338925 505 0 0 20 0 1 0 139876544 3402493952 408422 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 830687 408422 1696 343 0 827751 0
Current children cumulated CPU time: 3394.3 s
Current children cumulated vsize: 3322748 KiB
Current children cumulated memory: 1633688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.38 4.24 5/252 122876
/proc/meminfo: memFree=120737408/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3619868 memory=1809188 CPUtime=3454.16 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 309441 0 0 0 344856 560 0 0 20 0 1 0 139876544 3706744832 452297 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 904967 452297 1696 343 0 902031 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 3619868 KiB
Current children cumulated memory: 1809188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.32 4.22 5/250 122878
/proc/meminfo: memFree=120829936/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3585364 memory=1760436 CPUtime=3514 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 337154 0 0 0 350806 594 0 0 20 0 1 0 139876544 3671412736 440109 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 896341 440109 1696 343 0 893405 0
Current children cumulated CPU time: 3514 s
Current children cumulated vsize: 3585364 KiB
Current children cumulated memory: 1760436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.28 4.21 5/250 122880
/proc/meminfo: memFree=120848808/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3519900 memory=1717472 CPUtime=3573.84 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 345407 0 0 0 356766 618 0 0 20 0 1 0 139876544 3604377600 429368 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 879975 429368 1696 343 0 877039 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 3519900 KiB
Current children cumulated memory: 1717472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.14 4.27 4.21 5/250 122881
/proc/meminfo: memFree=120937632/131382116 swapFree=33010684/33010684
[pid=122641] ppid=122635 vsize=3548116 memory=1687020 CPUtime=3600.07 cores=4,6
/proc/122641/stat : 122641 (pb_picat) R 122635 122641 120784 0 -1 4194304 356298 0 0 0 359375 632 0 0 20 0 1 0 139876544 3633270784 421755 18446744073709551615 94578673995776 94578675397357 140730665635728 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94578675668784 94578677543024 94578700537856 140730665642396 140730665642472 140730665642472 140730665648076 0
/proc/122641/statm: 887029 421755 1696 343 0 884093 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3548116 KiB
Current children cumulated memory: 1687020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.76 s, system=6.33842 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): 3608.61
CPU time (s): 3600.1
CPU user time (s): 3593.76
CPU system time (s): 6.33842
CPU usage (%): 99.764
Max. virtual memory (cumulated for all children) (KiB): 3720964
Max. memory (cumulated for all children) (KiB): 1971716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.76
system time used= 6.33842
maximum resident set size= 1971716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356298
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= 141
involuntary context switches= 2617


# summary of solver processes directly reported to runsolver:
#   pid: 122641
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.76
#   total CPU system time (s): 6.33842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6031 second user time and 34.3139 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-11 15:52:48
IDJOB=4528490
IDBENCH=155340
IDSOLVER=3385
FILE ID=nodeC011/4528490-1752241968
RUNJOBID= nodeC011-1752238355-122270
SLURM_JOB_ID= 9682522
Free space on /tmp= 430336 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-n3div36.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528490-1752241968/watcher-4528490-1752241968 -o /tmp/evaluation-result-4528490-1752241968/solver-4528490-1752241968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752238355-122270 --watchdog 3760  pb_picat HOME/instance-4528490-1752241968.opb

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

MD5SUM BENCH= 807b13cda1d33b90eacd528b5f94ca03
RANDOM SEED=32819191

nodeC011 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	: 0xb00001f
cpu MHz		: 1197.292
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.259
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.597
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.924
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3591.866
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.301
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        123599692 kB
MemAvailable:   129764868 kB
Buffers:            3276 kB
Cached:          6935420 kB
SwapCached:            0 kB
Active:           669196 kB
Inactive:        6489952 kB
Active(anon):     236308 kB
Inactive(anon):     2104 kB
Active(file):     432888 kB
Inactive(file):  6487848 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13516 kB
Writeback:            16 kB
AnonPages:        223408 kB
Mapped:           110164 kB
Shmem:             17960 kB
KReclaimable:     167752 kB
Slab:             257840 kB
SReclaimable:     167752 kB
SUnreclaim:        90088 kB
KernelStack:        4032 kB
PageTables:         3344 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2568092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430328 MiB
End job on nodeC011 at 2025-07-11 16:52:57