Trace number 4544449

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 NameAnswerCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.1 3611.01

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
MD5SUMec82efcd866f342a1f5f756e3ed31d43
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.10808
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5508
Total number of constraints408375
Number of constraints which are clauses397971
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10404
Minimum length of a constraint2
Maximum length of a constraint17
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 33
Number of bits of the biggest sum of numbers6
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-4544449-1753230462.opb (Picat 3.9b6)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544449-1753230462/watcher-4544449-1753230462 -o /tmp/evaluation-result-4544449-1753230462/solver-4544449-1753230462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753223232-152978 --watchdog 3760 pb_picat HOME/instance-4544449-1753230462.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=153823, runsolver pid=153820
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 153824
/proc/meminfo: memFree=124378200/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2027148 memory=36792 CPUtime=0.09 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1128 0 0 0 9 0 0 0 20 0 1 0 238724814 2075799552 9198 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 506787 9198 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36792 KiB

[startup+0.205807 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 153824
/proc/meminfo: memFree=124361816/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2027148 memory=53176 CPUtime=0.19 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1136 0 0 0 19 0 0 0 20 0 1 0 238724814 2075799552 13294 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 506787 13294 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 53176 KiB

[startup+0.305714 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 153824
/proc/meminfo: memFree=124349528/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2027148 memory=69560 CPUtime=0.3 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1144 0 0 0 29 1 0 0 20 0 1 0 238724814 2075799552 17390 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 506787 17390 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69560 KiB

[startup+0.700187 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 153824
/proc/meminfo: memFree=124316760/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2027148 memory=126904 CPUtime=0.69 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1172 0 0 0 67 2 0 0 20 0 1 0 238724814 2075799552 31726 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 506787 31726 1600 343 0 503851 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 126904 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 153824
/proc/meminfo: memFree=124238936/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2027148 memory=249784 CPUtime=1.48 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1232 0 0 0 144 4 0 0 20 0 1 0 238724814 2075799552 62446 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 506787 62446 1600 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 249784 KiB

[startup+3.1056 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 153824
/proc/meminfo: memFree=123925504/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2038204 memory=483316 CPUtime=3.08 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 3686 0 0 0 299 9 0 0 20 0 1 0 238724814 2087120896 120829 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 509551 120829 1632 343 0 506615 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2038204 KiB
Current children cumulated memory: 483316 KiB

[startup+6.3001 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 153824
/proc/meminfo: memFree=123875476/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2048900 memory=490384 CPUtime=6.27 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 8376 0 0 0 610 17 0 0 20 0 1 0 238724814 2098073600 122596 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 512225 122596 1728 343 0 509289 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2048900 KiB
Current children cumulated memory: 490384 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 153869
/proc/meminfo: memFree=124190896/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2053232 memory=494920 CPUtime=12.65 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 12399 0 0 0 1247 18 0 0 20 0 1 0 238724814 2102509568 123730 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513308 123730 1728 343 0 510372 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2053232 KiB
Current children cumulated memory: 494920 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 153915
/proc/meminfo: memFree=122257060/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2053444 memory=501852 CPUtime=25.42 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 17103 0 0 0 2523 19 0 0 20 0 1 0 238724814 2102726656 125463 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513361 125463 1728 343 0 510425 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2053444 KiB
Current children cumulated memory: 501852 KiB

[startup+51.1055 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 153915
/proc/meminfo: memFree=121479572/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2053832 memory=500244 CPUtime=50.94 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 34335 0 0 0 5071 23 0 0 20 0 1 0 238724814 2103123968 125061 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513458 125061 1728 343 0 510522 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2053832 KiB
Current children cumulated memory: 500244 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 154239
/proc/meminfo: memFree=124076776/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2078496 memory=510936 CPUtime=101.97 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 65319 0 0 0 10162 35 0 0 20 0 1 0 238724814 2128379904 127734 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 519624 127734 1728 343 0 516688 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2078496 KiB
Current children cumulated memory: 510936 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 154241
/proc/meminfo: memFree=124067668/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2053124 memory=501720 CPUtime=161.79 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 95870 0 0 0 16134 45 0 0 20 0 1 0 238724814 2102398976 125430 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513281 125430 1728 343 0 510345 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2053124 KiB
Current children cumulated memory: 501720 KiB

[startup+222.3 s]
/proc/loadavg: 4.43 4.16 4.11 5/264 154243
/proc/meminfo: memFree=124038896/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2053932 memory=498152 CPUtime=221.61 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 133115 0 0 0 22104 57 0 0 20 0 1 0 238724814 2103226368 124538 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513483 124538 1728 343 0 510547 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2053932 KiB
Current children cumulated memory: 498152 KiB

[startup+282.3 s]
/proc/loadavg: 4.57 4.24 4.14 5/263 154289
/proc/meminfo: memFree=123951852/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2054044 memory=500364 CPUtime=281.43 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 164772 0 0 0 28073 70 0 0 20 0 1 0 238724814 2103341056 125091 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513511 125091 1728 343 0 510575 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2054044 KiB
Current children cumulated memory: 500364 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/263 154425
/proc/meminfo: memFree=122979248/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2054116 memory=497400 CPUtime=341.25 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 185087 0 0 0 34047 78 0 0 20 0 1 0 238724814 2103414784 124350 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513529 124350 1728 343 0 510593 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2054116 KiB
Current children cumulated memory: 497400 KiB

[startup+402.3 s]
/proc/loadavg: 4.47 4.27 4.16 5/263 154428
/proc/meminfo: memFree=122951624/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2061316 memory=507588 CPUtime=401.06 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 216255 0 0 0 40016 90 0 0 20 0 1 0 238724814 2110787584 126897 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 515329 126897 1728 343 0 512393 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 2061316 KiB
Current children cumulated memory: 507588 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.24 4.16 5/263 154430
/proc/meminfo: memFree=122941332/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2046596 memory=490776 CPUtime=460.87 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 245093 0 0 0 45987 100 0 0 20 0 1 0 238724814 2095714304 122694 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 511649 122694 1728 343 0 508713 0
Current children cumulated CPU time: 460.87 s

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

Current children cumulated memory: 530216 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/263 154560
/proc/meminfo: memFree=122721560/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2118788 memory=541436 CPUtime=2853.45 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1734099 0 0 0 284638 707 0 0 20 0 1 0 238724814 2169638912 135359 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 529697 135359 1728 343 0 526761 0
Current children cumulated CPU time: 2853.45 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 541436 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/263 154562
/proc/meminfo: memFree=122783236/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2086020 memory=520364 CPUtime=2913.28 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1756240 0 0 0 290611 717 0 0 20 0 1 0 238724814 2136084480 130091 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 521505 130091 1728 343 0 518569 0
Current children cumulated CPU time: 2913.28 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 520364 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 154565
/proc/meminfo: memFree=122708988/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2053252 memory=501032 CPUtime=2973.12 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1804811 0 0 0 296575 737 0 0 20 0 1 0 238724814 2102530048 125258 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 513313 125258 1728 343 0 510377 0
Current children cumulated CPU time: 2973.12 s
Current children cumulated vsize: 2053252 KiB
Current children cumulated memory: 501032 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 154567
/proc/meminfo: memFree=122719928/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2118788 memory=537596 CPUtime=3032.95 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1829014 0 0 0 302548 747 0 0 20 0 1 0 238724814 2169638912 134399 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 529697 134399 1728 343 0 526761 0
Current children cumulated CPU time: 3032.95 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 537596 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 154576
/proc/meminfo: memFree=122690668/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2069636 memory=516860 CPUtime=3092.8 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1847514 0 0 0 308523 757 0 0 20 0 1 0 238724814 2119307264 129215 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 517409 129215 1728 343 0 514473 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 2069636 KiB
Current children cumulated memory: 516860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 154578
/proc/meminfo: memFree=122687080/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2086020 memory=521588 CPUtime=3152.63 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1863834 0 0 0 314496 767 0 0 20 0 1 0 238724814 2136084480 130397 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 521505 130397 1728 343 0 518569 0
Current children cumulated CPU time: 3152.63 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 521588 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 154580
/proc/meminfo: memFree=122643936/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2086020 memory=527100 CPUtime=3212.47 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 1989982 0 0 0 320432 815 0 0 20 0 1 0 238724814 2136084480 131775 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 521505 131775 1728 343 0 518569 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 527100 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/263 154584
/proc/meminfo: memFree=122657520/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2118788 memory=537340 CPUtime=3272.29 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2305741 0 0 0 326306 923 0 0 20 0 1 0 238724814 2169638912 134335 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 529697 134335 1728 343 0 526761 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 537340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 154587
/proc/meminfo: memFree=122661256/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2086020 memory=529148 CPUtime=3332.12 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2385924 0 0 0 332258 954 0 0 20 0 1 0 238724814 2136084480 132287 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 521505 132287 1728 343 0 518569 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 2086020 KiB
Current children cumulated memory: 529148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 154589
/proc/meminfo: memFree=122697488/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2069636 memory=514812 CPUtime=3391.95 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2405815 0 0 0 338234 961 0 0 20 0 1 0 238724814 2119307264 128703 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 517409 128703 1728 343 0 514473 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 2069636 KiB
Current children cumulated memory: 514812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 154591
/proc/meminfo: memFree=122671620/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2118788 memory=533756 CPUtime=3451.79 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2458865 0 0 0 344197 982 0 0 20 0 1 0 238724814 2169638912 133439 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 529697 133439 1728 343 0 526761 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 533756 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 154593
/proc/meminfo: memFree=122650344/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2110596 memory=533244 CPUtime=3511.62 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2476088 0 0 0 350172 990 0 0 20 0 1 0 238724814 2161250304 133311 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 527649 133311 1728 343 0 524713 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 2110596 KiB
Current children cumulated memory: 533244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 154595
/proc/meminfo: memFree=122648860/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2118788 memory=549628 CPUtime=3571.46 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2492159 0 0 0 356148 998 0 0 20 0 1 0 238724814 2169638912 137407 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 529697 137407 1728 343 0 526761 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 549628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.09 4.10 4.09 3/251 154657
/proc/meminfo: memFree=123110188/131250000 swapFree=33010672/33010684
[pid=153823] ppid=153820 vsize=2118788 memory=537340 CPUtime=3600.08 cores=0,2
/proc/153823/stat : 153823 (pb_picat) R 153820 153823 152968 0 -1 4194304 2500218 0 0 0 359006 1002 0 0 20 0 1 0 238724814 2169638912 134335 18446744073709551615 94519062863872 94519064265453 140721532535616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519064536880 94519066411184 94519086571520 140721532541340 140721532541416 140721532541416 140721532547020 0
/proc/153823/statm: 529697 134335 1728 343 0 526761 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2118788 KiB
Current children cumulated memory: 537340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.07 s, system=10.0282 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.01
CPU time (s): 3600.1
CPU user time (s): 3590.07
CPU system time (s): 10.0282
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 2135172
Max. memory (cumulated for all children) (KiB): 557820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.07
system time used= 10.0282
maximum resident set size= 557820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2500218
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= 76
involuntary context switches= 7956


# summary of solver processes directly reported to runsolver:
#   pid: 153823
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3590.07
#   total CPU system time (s): 10.0282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2567 second user time and 16.0247 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-23 02:27:42
IDJOB=4544449
IDBENCH=180672
IDSOLVER=3346
FILE ID=nodeC026/4544449-1753230462
RUNJOBID= nodeC026-1753223232-152978
SLURM_JOB_ID= 9687827
Free space on /tmp= 433004 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat16_15_identity_complement.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544449-1753230462/watcher-4544449-1753230462 -o /tmp/evaluation-result-4544449-1753230462/solver-4544449-1753230462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753223232-152978 --watchdog 3760  pb_picat HOME/instance-4544449-1753230462.opb

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

MD5SUM BENCH= ec82efcd866f342a1f5f756e3ed31d43
RANDOM SEED=1776298184

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		: 3707.113
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.773
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		: 3599.765
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.581
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.587
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		: 3599.790
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		: 3599.716
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		: 3614.756
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:        124406872 kB
MemAvailable:   129180772 kB
Buffers:            2128 kB
Cached:          5399204 kB
SwapCached:            4 kB
Active:          1644868 kB
Inactive:        4257064 kB
Active(anon):     521528 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4251720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14408 kB
Writeback:             0 kB
AnonPages:        503712 kB
Mapped:           119732 kB
Shmem:             26268 kB
KReclaimable:     459640 kB
Slab:             564112 kB
SReclaimable:     459640 kB
SUnreclaim:       104472 kB
KernelStack:        4224 kB
PageTables:         4020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6808360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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= 432992 MiB
End job on nodeC026 at 2025-07-23 03:27:53