Trace number 4528764

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.13 3611.63

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
MD5SUM7b85ce4cd64937c81c9b69135828a61d
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 benchmark6
Best CPU time to get the best result obtained on this benchmark329.026
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333830
Total number of constraints1254811
Number of constraints which are clauses1252194
Number of constraints which are cardinality constraints (but not clauses)243
Number of constraints which are nor clauses,nor cardinality constraints2374
Minimum length of a constraint1
Maximum length of a constraint6530
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 21247094
Number of bits of the biggest sum of numbers25
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-4528764-1752249757.opb (Picat 3.9b11, 7/10/2025)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60057 MiB free)
  memory of node 1: 64465 MiB (60715 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528764-1752249757/watcher-4528764-1752249757 -o /tmp/evaluation-result-4528764-1752249757/solver-4528764-1752249757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752242529-108416 --watchdog 3760 pb_picat HOME/instance-4528764-1752249757.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=109363, runsolver pid=109357
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.07 4.13 4.10 4/260 109369
/proc/meminfo: memFree=124074136/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=38884 CPUtime=0.09 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1139 0 0 0 8 1 0 0 20 0 1 0 140654420 2075799552 9721 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 9721 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38884 KiB

[startup+0.205489 s]*
/proc/loadavg: 4.07 4.13 4.10 5/263 109378
/proc/meminfo: memFree=124043356/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=55268 CPUtime=0.19 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1147 0 0 0 17 2 0 0 20 0 1 0 140654420 2075799552 13817 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 13817 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55268 KiB

[startup+0.305552 s]*
/proc/loadavg: 4.07 4.13 4.10 5/265 109383
/proc/meminfo: memFree=123992420/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=73804 CPUtime=0.29 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1182 0 0 0 27 2 0 0 20 0 1 0 140654420 2075799552 18451 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 18451 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73804 KiB

[startup+0.700184 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 109383
/proc/meminfo: memFree=123907728/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=147736 CPUtime=0.67 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1269 0 0 0 64 3 0 0 20 0 1 0 140654420 2075799552 36934 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 36934 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 147736 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 109383
/proc/meminfo: memFree=123739772/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=303604 CPUtime=1.47 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1400 0 0 0 141 6 0 0 20 0 1 0 140654420 2075799552 75901 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 75901 1600 343 0 503851 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 303604 KiB

[startup+3.10532 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 109383
/proc/meminfo: memFree=123045408/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=602612 CPUtime=3.07 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1574 0 0 0 296 11 0 0 20 0 1 0 140654420 2075799552 150653 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 150653 1600 343 0 503851 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 602612 KiB

[startup+6.30018 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 109383
/proc/meminfo: memFree=122037600/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2027148 memory=1190388 CPUtime=6.26 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1949 0 0 0 604 22 0 0 20 0 1 0 140654420 2075799552 297597 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 506787 297597 1600 343 0 503851 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1190388 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.11 5/265 109384
/proc/meminfo: memFree=120875764/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2257864 memory=1893240 CPUtime=12.65 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 16398 0 0 0 1130 135 0 0 20 0 1 0 140654420 2312052736 473310 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 564466 473310 1600 343 0 561530 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2257864 KiB
Current children cumulated memory: 1893240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.11 5/265 109384
/proc/meminfo: memFree=120199632/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2287612 memory=1972948 CPUtime=25.42 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 134455 0 0 0 1764 778 0 0 20 0 1 0 140654420 2342514688 492725 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 571903 492725 1600 343 0 568967 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2287612 KiB
Current children cumulated memory: 1972948 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 109429
/proc/meminfo: memFree=117763256/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=2309244 memory=2215252 CPUtime=50.95 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 326391 0 0 0 3248 1847 0 0 20 0 1 0 140654420 2364665856 553813 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 577311 553813 1600 343 0 574375 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2309244 KiB
Current children cumulated memory: 2215252 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 109431
/proc/meminfo: memFree=115322480/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=5676784 memory=3879512 CPUtime=102.01 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 409157 0 0 0 7697 2504 0 0 20 0 1 0 140654420 5813026816 969878 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1419196 969878 1728 343 0 1416260 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 5676784 KiB
Current children cumulated memory: 3879512 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 109433
/proc/meminfo: memFree=114036908/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=7120812 memory=4892068 CPUtime=161.83 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 476495 0 0 0 13261 2922 0 0 20 0 1 0 140654420 7291711488 1223017 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1780203 1223017 1760 343 0 1777267 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 7120812 KiB
Current children cumulated memory: 4892068 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 109435
/proc/meminfo: memFree=113767356/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6947848 memory=5119704 CPUtime=221.63 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 531143 0 0 0 19195 2968 0 0 20 0 1 0 140654420 7114596352 1279926 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1736962 1279926 1760 343 0 1734026 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 6947848 KiB
Current children cumulated memory: 5119704 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 109442
/proc/meminfo: memFree=113975284/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6838336 memory=4836556 CPUtime=281.45 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 564642 0 0 0 25144 3001 0 0 20 0 1 0 140654420 7002456064 1209139 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1709584 1209139 1760 343 0 1706648 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 6838336 KiB
Current children cumulated memory: 4836556 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 109444
/proc/meminfo: memFree=114485920/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6314048 memory=4373760 CPUtime=341.27 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 568935 0 0 0 31116 3011 0 0 20 0 1 0 140654420 6465585152 1093440 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1578512 1093440 1760 343 0 1575576 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 6314048 KiB
Current children cumulated memory: 4373760 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 109449
/proc/meminfo: memFree=113724720/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6868928 memory=5149704 CPUtime=401.08 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 596423 0 0 0 37071 3037 0 0 20 0 1 0 140654420 7033782272 1287426 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1717232 1287426 1760 343 0 1714296 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 6868928 KiB
Current children cumulated memory: 5149704 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 109451
/proc/meminfo: memFree=113743948/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=7181108 memory=5125392 CPUtime=460.89 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 610382 0 0 0 43025 3064 0 0 20 0 1 0 140654420 7353454592 1281348 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1795277 1281348 1760 343 0 1792341 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 5114412 KiB

[startup+2862.3 s]
/proc/loadavg: 3.14 3.16 3.31 4/260 109596
/proc/meminfo: memFree=116918396/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6881056 memory=5063448 CPUtime=2853.16 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 982631 0 0 0 281815 3501 0 0 20 0 1 0 140654420 7046201344 1265862 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1720264 1265862 1760 343 0 1717328 0
Current children cumulated CPU time: 2853.16 s
Current children cumulated vsize: 6881056 KiB
Current children cumulated memory: 5063448 KiB

[startup+2922.3 s]
/proc/loadavg: 3.10 3.14 3.29 4/260 109598
/proc/meminfo: memFree=116684624/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6881056 memory=5139224 CPUtime=2912.97 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1001829 0 0 0 287787 3510 0 0 20 0 1 0 140654420 7046201344 1284806 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1720264 1284806 1760 343 0 1717328 0
Current children cumulated CPU time: 2912.97 s
Current children cumulated vsize: 6881056 KiB
Current children cumulated memory: 5139224 KiB

[startup+2982.3 s]
/proc/loadavg: 3.15 3.15 3.28 4/260 109600
/proc/meminfo: memFree=117230520/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=5963552 memory=4264728 CPUtime=2972.77 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1002326 0 0 0 293766 3511 0 0 20 0 1 0 140654420 6106677248 1066182 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1490888 1066182 1760 343 0 1487952 0
Current children cumulated CPU time: 2972.77 s
Current children cumulated vsize: 5963552 KiB
Current children cumulated memory: 4264728 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.13 3.27 4/260 109602
/proc/meminfo: memFree=116433272/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6881056 memory=5047064 CPUtime=3032.58 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1005767 0 0 0 299728 3530 0 0 20 0 1 0 140654420 7046201344 1261766 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1720264 1261766 1760 343 0 1717328 0
Current children cumulated CPU time: 3032.58 s
Current children cumulated vsize: 6881056 KiB
Current children cumulated memory: 5047064 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.12 3.26 4/258 109604
/proc/meminfo: memFree=116471600/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5052060 CPUtime=3092.38 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1005791 0 0 0 305708 3530 0 0 20 0 1 0 140654420 7028248576 1263015 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1263015 1760 343 0 1712945 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5052060 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.13 3.25 4/256 109606
/proc/meminfo: memFree=116714152/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=4712092 CPUtime=3152.19 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1026389 0 0 0 311670 3549 0 0 20 0 1 0 140654420 7028248576 1178023 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1178023 1760 343 0 1712945 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 4712092 KiB

[startup+3222.3 s]
/proc/loadavg: 3.05 3.10 3.23 4/256 109608
/proc/meminfo: memFree=116253596/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=4998812 CPUtime=3212 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1027024 0 0 0 317644 3556 0 0 20 0 1 0 140654420 7028248576 1249703 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1249703 1760 343 0 1712945 0
Current children cumulated CPU time: 3212 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 4998812 KiB

[startup+3282.3 s]
/proc/loadavg: 3.14 3.11 3.23 4/256 109610
/proc/meminfo: memFree=116515932/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5017244 CPUtime=3271.79 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1027047 0 0 0 323623 3556 0 0 20 0 1 0 140654420 7028248576 1254311 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1254311 1760 343 0 1712945 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5017244 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.11 3.21 4/257 109617
/proc/meminfo: memFree=116454824/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5082780 CPUtime=3331.6 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1027106 0 0 0 329602 3558 0 0 20 0 1 0 140654420 7028248576 1270695 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1270695 1760 343 0 1712945 0
Current children cumulated CPU time: 3331.6 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5082780 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.10 3.20 4/257 109619
/proc/meminfo: memFree=116386808/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5017244 CPUtime=3391.41 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1029988 0 0 0 335565 3576 0 0 20 0 1 0 140654420 7028248576 1254311 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1254311 1760 343 0 1712945 0
Current children cumulated CPU time: 3391.41 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5017244 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.10 3.19 4/257 109623
/proc/meminfo: memFree=116224524/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5078684 CPUtime=3451.23 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1047726 0 0 0 341536 3587 0 0 20 0 1 0 140654420 7028248576 1269671 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1269671 1760 343 0 1712945 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5078684 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.09 3.18 4/257 109636
/proc/meminfo: memFree=116201672/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5093020 CPUtime=3511.06 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1047746 0 0 0 347518 3588 0 0 20 0 1 0 140654420 7028248576 1273255 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1273255 1760 343 0 1712945 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5093020 KiB

[startup+3582.3 s]
/proc/loadavg: 3.07 3.09 3.17 4/257 109638
/proc/meminfo: memFree=116354704/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5101212 CPUtime=3570.88 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1047775 0 0 0 353500 3588 0 0 20 0 1 0 140654420 7028248576 1275303 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1275303 1760 343 0 1712945 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5101212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 3.10 3.09 3.17 2/245 109701
/proc/meminfo: memFree=121116564/131250000 swapFree=33010672/33010684
[pid=109363] ppid=109357 vsize=6863524 memory=5103260 CPUtime=3600.09 cores=4,6
/proc/109363/stat : 109363 (pb_picat) R 109357 109363 108405 0 -1 4194304 1047776 0 0 0 356421 3588 0 0 20 0 1 0 140654420 7028248576 1275815 18446744073709551615 94805867917312 94805869318893 140734683453520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94805869590320 94805871464560 94805886451712 140734683457948 140734683458024 140734683458024 140734683463628 0
/proc/109363/statm: 1715881 1275815 1760 343 0 1712945 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 6863524 KiB
Current children cumulated memory: 5103260 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.21 s, system=35.9121 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): 3611.63
CPU time (s): 3600.13
CPU user time (s): 3564.21
CPU system time (s): 35.9121
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 8223056
Max. memory (cumulated for all children) (KiB): 5531344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.21
system time used= 35.9121
maximum resident set size= 5531344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1047776
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= 132
involuntary context switches= 3011


# summary of solver processes directly reported to runsolver:
#   pid: 109363
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3564.21
#   total CPU system time (s): 35.9121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77683 second user time and 16.7831 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-11 18:02:38
IDJOB=4528764
IDBENCH=180476
IDSOLVER=3385
FILE ID=nodeC026/4528764-1752249757
RUNJOBID= nodeC026-1752242529-108416
SLURM_JOB_ID= 9682555
Free space on /tmp= 429300 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-WordGolf-4-ogd2008-50-0_c24.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528764-1752249757/watcher-4528764-1752249757 -o /tmp/evaluation-result-4528764-1752249757/solver-4528764-1752249757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752242529-108416 --watchdog 3760  pb_picat HOME/instance-4528764-1752249757.opb

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

MD5SUM BENCH= 7b85ce4cd64937c81c9b69135828a61d
RANDOM SEED=673699810

nodeC026 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.799
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.59
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.869
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.59
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.347
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.59
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		: 3599.864
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.59
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.797
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.59
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.011
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.59
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		: 3601.566
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.59
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		: 3600.005
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123684028 kB
MemAvailable:   127461080 kB
Buffers:            2128 kB
Cached:          4400280 kB
SwapCached:            4 kB
Active:          2850948 kB
Inactive:        3726412 kB
Active(anon):    2183352 kB
Inactive(anon):     9684 kB
Active(file):     667596 kB
Inactive(file):  3716728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            106796 kB
Writeback:             0 kB
AnonPages:       2177152 kB
Mapped:           112892 kB
Shmem:             18076 kB
KReclaimable:     453528 kB
Slab:             557072 kB
SReclaimable:     453528 kB
SUnreclaim:       103544 kB
KernelStack:        4256 kB
PageTables:         7300 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5854008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2017280 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 429788 MiB
End job on nodeC026 at 2025-07-11 19:02:50