Trace number 4528552

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.07 3610.43

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
MD5SUMa79b156993afc0744effacd0e3c6c3c8
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 benchmark18798609
Best CPU time to get the best result obtained on this benchmark3600.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 182044199866
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 182044199866
Number of bits of the biggest sum of numbers38
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.02	c solving HOME/instance-4528552-1752242828.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: 63665 MiB (52803 MiB free)
  memory of node 1: 64507 MiB (61557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528552-1752242828/watcher-4528552-1752242828 -o /tmp/evaluation-result-4528552-1752242828/solver-4528552-1752242828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752242529-114488 --watchdog 3760 pb_picat HOME/instance-4528552-1752242828.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=114606, runsolver pid=114603

[startup+0.100067 s]*
/proc/loadavg: 4.12 3.60 3.68 5/265 114607
/proc/meminfo: memFree=117076736/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2027148 memory=49464 CPUtime=0.08 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 1232 0 0 0 8 0 0 0 20 0 1 0 139960540 2075799552 12366 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 506787 12366 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 49464 KiB

[startup+0.205752 s]*
/proc/loadavg: 4.12 3.60 3.68 5/265 114607
/proc/meminfo: memFree=117076736/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2027148 memory=67900 CPUtime=0.2 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 1242 0 0 0 19 1 0 0 20 0 1 0 139960540 2075799552 16975 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 506787 16975 1600 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 67900 KiB

[startup+0.305674 s]*
/proc/loadavg: 4.12 3.60 3.68 5/265 114607
/proc/meminfo: memFree=117056256/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2027148 memory=84284 CPUtime=0.29 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 1251 0 0 0 28 1 0 0 20 0 1 0 139960540 2075799552 21071 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 506787 21071 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 84284 KiB

[startup+0.700182 s]
/proc/loadavg: 4.12 3.60 3.68 5/265 114607
/proc/meminfo: memFree=117019404/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2027148 memory=160248 CPUtime=0.68 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 1335 0 0 0 65 3 0 0 20 0 1 0 139960540 2075799552 40062 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 506787 40062 1600 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 160248 KiB

[startup+1.50019 s]
/proc/loadavg: 4.12 3.60 3.68 5/265 114607
/proc/meminfo: memFree=116929292/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2027148 memory=305656 CPUtime=1.48 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 1406 0 0 0 142 6 0 0 20 0 1 0 139960540 2075799552 76414 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 506787 76414 1600 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 305656 KiB

[startup+3.10556 s]
/proc/loadavg: 4.12 3.60 3.68 5/265 114607
/proc/meminfo: memFree=116825124/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2042776 memory=582284 CPUtime=3.08 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 1683 0 0 0 296 12 0 0 20 0 1 0 139960540 2091802624 145571 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 510694 145571 1600 343 0 507758 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 582284 KiB

[startup+6.30017 s]
/proc/loadavg: 4.11 3.61 3.69 5/265 114607
/proc/meminfo: memFree=116209484/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2042776 memory=1094284 CPUtime=6.27 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 2047 0 0 0 606 21 0 0 20 0 1 0 139960540 2091802624 273571 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 510694 273571 1600 343 0 507758 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 1094284 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 3.62 3.69 5/265 114607
/proc/meminfo: memFree=115326892/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=2058404 memory=1834136 CPUtime=12.65 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 3321 0 0 0 1228 37 0 0 20 0 1 0 139960540 2107805696 458534 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 514601 458534 1600 343 0 511665 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2058404 KiB
Current children cumulated memory: 1834136 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 3.64 3.69 5/264 114608
/proc/meminfo: memFree=114370588/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=4294312 memory=2743264 CPUtime=25.42 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 8167 0 0 0 2487 55 0 0 20 0 1 0 139960540 4397375488 685816 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 1073578 685816 1600 343 0 1070642 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4294312 KiB
Current children cumulated memory: 2743264 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 3.70 3.71 5/265 114609
/proc/meminfo: memFree=112115832/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=7573468 memory=5213412 CPUtime=50.96 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 57006 0 0 0 4903 193 0 0 20 0 1 0 139960540 7755231232 1303353 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 1893367 1303353 1728 343 0 1890431 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 7573468 KiB
Current children cumulated memory: 5213412 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.77 3.74 5/264 114611
/proc/meminfo: memFree=110521976/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=9244648 memory=6533880 CPUtime=102.05 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 112549 0 0 0 9247 958 0 0 20 0 1 0 139960540 9466519552 1633470 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2311162 1633470 1728 343 0 2308226 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 9244648 KiB
Current children cumulated memory: 6533880 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 3.90 3.79 5/264 114613
/proc/meminfo: memFree=110225616/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10293616 memory=6925940 CPUtime=161.9 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 114111 0 0 0 15199 991 0 0 20 0 1 0 139960540 10540662784 1731485 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2573404 1731485 1728 343 0 2570468 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 10293616 KiB
Current children cumulated memory: 6925940 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 3.95 3.82 5/263 114615
/proc/meminfo: memFree=110457200/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=9269616 memory=6629980 CPUtime=221.73 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 132219 0 0 0 21159 1014 0 0 20 0 1 0 139960540 9492086784 1657495 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2317404 1657495 1728 343 0 2314468 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 9269616 KiB
Current children cumulated memory: 6629980 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.97 3.83 5/263 114617
/proc/meminfo: memFree=110006476/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10318192 memory=7101360 CPUtime=281.56 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 172872 0 0 0 27118 1038 0 0 20 0 1 0 139960540 10565828608 1775340 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2579548 1775340 1728 343 0 2576612 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 10318192 KiB
Current children cumulated memory: 7101360 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.01 3.86 5/264 114620
/proc/meminfo: memFree=110445388/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=9292736 memory=6750848 CPUtime=341.39 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 187134 0 0 0 33080 1059 0 0 20 0 1 0 139960540 9515761664 1687712 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2323184 1687712 1728 343 0 2320248 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 9292736 KiB
Current children cumulated memory: 6750848 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.02 3.87 5/264 114623
/proc/meminfo: memFree=109919276/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10343608 memory=7093112 CPUtime=401.22 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 220405 0 0 0 39041 1081 0 0 20 0 1 0 139960540 10591854592 1773278 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2585902 1773278 1728 343 0 2582966 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 10343608 KiB
Current children cumulated memory: 7093112 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.03 3.89 5/264 114625
/proc/meminfo: memFree=110691996/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=9308832 memory=6705504 CPUtime=461.05 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 233857 0 0 0 45005 1100 0 0 20 0 1 0 139960540 9532243968 1676376 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2327208 1676376 1728 343 0 2324272 0
Current children cumulated CPU time: 461.05 s

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

Current children cumulated memory: 7067968 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/263 114743
/proc/meminfo: memFree=109487400/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7067968 CPUtime=2854.13 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 544832 0 0 0 284018 1395 0 0 20 0 1 0 139960540 10605953024 1766992 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1766992 1728 343 0 2586408 0
Current children cumulated CPU time: 2854.13 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7067968 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/263 114745
/proc/meminfo: memFree=109577696/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7070016 CPUtime=2913.97 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 545127 0 0 0 290001 1396 0 0 20 0 1 0 139960540 10605953024 1767504 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1767504 1728 343 0 2586408 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7070016 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/264 114754
/proc/meminfo: memFree=109467872/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7070016 CPUtime=2973.8 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 545416 0 0 0 295984 1396 0 0 20 0 1 0 139960540 10605953024 1767504 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1767504 1728 343 0 2586408 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7070016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/263 114756
/proc/meminfo: memFree=109489280/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7070016 CPUtime=3033.63 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 545811 0 0 0 301966 1397 0 0 20 0 1 0 139960540 10605953024 1767504 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1767504 1728 343 0 2586408 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7070016 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/264 114759
/proc/meminfo: memFree=109466900/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7076160 CPUtime=3093.46 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 546114 0 0 0 307949 1397 0 0 20 0 1 0 139960540 10605953024 1769040 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1769040 1728 343 0 2586408 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7076160 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/264 114761
/proc/meminfo: memFree=109453048/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7076160 CPUtime=3153.29 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 546401 0 0 0 313932 1397 0 0 20 0 1 0 139960540 10605953024 1769040 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1769040 1728 343 0 2586408 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7076160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/264 114763
/proc/meminfo: memFree=109568324/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7076160 CPUtime=3213.12 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 546786 0 0 0 319914 1398 0 0 20 0 1 0 139960540 10605953024 1769040 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1769040 1728 343 0 2586408 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7076160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.08 5/263 114776
/proc/meminfo: memFree=109449460/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7078208 CPUtime=3272.94 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 548107 0 0 0 325896 1398 0 0 20 0 1 0 139960540 10605953024 1769552 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1769552 1728 343 0 2586408 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7078208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/263 115093
/proc/meminfo: memFree=115564404/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10357376 memory=7078208 CPUtime=3332.75 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 548410 0 0 0 331877 1398 0 0 20 0 1 0 139960540 10605953024 1769552 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2589344 1769552 1728 343 0 2586408 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 10357376 KiB
Current children cumulated memory: 7078208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.13 4.09 5/263 115096
/proc/meminfo: memFree=115920996/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=9245040 memory=6678704 CPUtime=3392.57 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 562739 0 0 0 337839 1418 0 0 20 0 1 0 139960540 9466920960 1669676 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2311260 1669676 1728 343 0 2308324 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 9245040 KiB
Current children cumulated memory: 6678704 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 115099
/proc/meminfo: memFree=115940904/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=9245040 memory=6684848 CPUtime=3452.39 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 563174 0 0 0 343820 1419 0 0 20 0 1 0 139960540 9466920960 1671212 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2311260 1671212 1728 343 0 2308324 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 9245040 KiB
Current children cumulated memory: 6684848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 115101
/proc/meminfo: memFree=115628940/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10301808 memory=6978584 CPUtime=3512.19 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 594354 0 0 0 349783 1436 0 0 20 0 1 0 139960540 10549051392 1744646 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2575452 1744646 1728 343 0 2572516 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 10301808 KiB
Current children cumulated memory: 6978584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 115109
/proc/meminfo: memFree=115651600/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10301808 memory=6980632 CPUtime=3572.02 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 594773 0 0 0 355765 1437 0 0 20 0 1 0 139960540 10549051392 1745158 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2575452 1745158 1728 343 0 2572516 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 10301808 KiB
Current children cumulated memory: 6980632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 115110
/proc/meminfo: memFree=115652036/131249996 swapFree=33003468/33010684
[pid=114606] ppid=114603 vsize=10301808 memory=6980632 CPUtime=3600.03 cores=5,7
/proc/114606/stat : 114606 (pb_picat) R 114603 114606 114475 0 -1 4194304 594992 0 0 0 358566 1437 0 0 20 0 1 0 139960540 10549051392 1745158 18446744073709551615 94222201344000 94222202745581 140735131976048 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94222203017008 94222204891248 94222241689600 140735131982236 140735131982312 140735131982312 140735131987916 0
/proc/114606/statm: 2575452 1745158 1728 343 0 2572516 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 10301808 KiB
Current children cumulated memory: 6980632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.67 s, system=14.4075 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): 3610.43
CPU time (s): 3600.07
CPU user time (s): 3585.67
CPU system time (s): 14.4075
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 10760984
Max. memory (cumulated for all children) (KiB): 7466980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.67
system time used= 14.4075
maximum resident set size= 7466980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594992
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= 116
involuntary context switches= 19081


# summary of solver processes directly reported to runsolver:
#   pid: 114606
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3585.67
#   total CPU system time (s): 14.4075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68091 second user time and 17.9157 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-11 16:07:09
IDJOB=4528552
IDBENCH=155752
IDSOLVER=3385
FILE ID=nodeC021/4528552-1752242828
RUNJOBID= nodeC021-1752242529-114488
SLURM_JOB_ID= 9682554
Free space on /tmp= 430704 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_7_ic.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528552-1752242828/watcher-4528552-1752242828 -o /tmp/evaluation-result-4528552-1752242828/solver-4528552-1752242828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752242529-114488 --watchdog 3760  pb_picat HOME/instance-4528552-1752242828.opb

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

MD5SUM BENCH= a79b156993afc0744effacd0e3c6c3c8
RANDOM SEED=428028998

nodeC021 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.778
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.56
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.852
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.56
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.609
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.56
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		: 3603.413
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.56
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.776
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.56
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		: 3584.085
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.56
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.933
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117106100 kB
MemAvailable:   123908324 kB
Buffers:            1056 kB
Cached:          7533132 kB
SwapCached:           32 kB
Active:          6306496 kB
Inactive:        7063500 kB
Active(anon):    5809500 kB
Inactive(anon):    39760 kB
Active(file):     496996 kB
Inactive(file):  7023740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            103412 kB
Writeback:             0 kB
AnonPages:       5837312 kB
Mapped:           111840 kB
Shmem:             13452 kB
KReclaimable:     241056 kB
Slab:             335164 kB
SReclaimable:     241056 kB
SUnreclaim:        94108 kB
KernelStack:        4304 kB
PageTables:        14628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10288528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4595712 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:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430748 MiB
End job on nodeC021 at 2025-07-11 17:07:19