Trace number 4513975

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.06 3609.3

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n2.opb
MD5SUM7729cb4e99fea72bb32a899c13dec964
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 benchmark0.019991
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables153
Total number of constraints51
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)51
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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.00	c solving HOME/instance-4513975-1751219480.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 (62383 MiB free)
  memory of node 1: 64465 MiB (63344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513975-1751219480/watcher-4513975-1751219480 -o /tmp/evaluation-result-4513975-1751219480/solver-4513975-1751219480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751219327-27119 --watchdog 3760 pb_picat HOME/instance-4513975-1751219480.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
Current StackSize limit: 8192 KiB

solver pid=27407, runsolver pid=27404

[startup+0.100058 s]*
/proc/loadavg: 3.88 3.19 3.43 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2028464 memory=18316 CPUtime=0.09 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 1341 0 0 0 9 0 0 0 20 0 1 0 37625880 2077147136 4579 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507116 4579 1632 343 0 504180 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2028464 KiB
Current children cumulated memory: 18316 KiB

[startup+0.205456 s]*
/proc/loadavg: 3.88 3.19 3.43 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2028720 memory=18356 CPUtime=0.2 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 1539 0 0 0 20 0 0 0 20 0 1 0 37625880 2077409280 4589 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507180 4589 1632 343 0 504244 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2028720 KiB
Current children cumulated memory: 18356 KiB

[startup+0.304567 s]*
/proc/loadavg: 3.88 3.19 3.43 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2028720 memory=18572 CPUtime=0.3 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 1770 0 0 0 30 0 0 0 20 0 1 0 37625880 2077409280 4643 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507180 4643 1632 343 0 504244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028720 KiB
Current children cumulated memory: 18572 KiB

[startup+0.700103 s]
/proc/loadavg: 3.88 3.19 3.43 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2029760 memory=19364 CPUtime=0.68 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2709 0 0 0 68 0 0 0 20 0 1 0 37625880 2078474240 4841 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507440 4841 1632 343 0 504504 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029760 KiB
Current children cumulated memory: 19364 KiB

[startup+1.50012 s]
/proc/loadavg: 3.88 3.19 3.43 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2029760 memory=19664 CPUtime=1.48 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 4636 0 0 0 147 1 0 0 20 0 1 0 37625880 2078474240 4916 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507440 4916 1632 343 0 504504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2029760 KiB
Current children cumulated memory: 19664 KiB

[startup+3.10501 s]
/proc/loadavg: 3.89 3.20 3.44 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2029632 memory=19480 CPUtime=3.08 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 8155 0 0 0 307 1 0 0 20 0 1 0 37625880 2078343168 4870 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507408 4870 1632 343 0 504472 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2029632 KiB
Current children cumulated memory: 19480 KiB

[startup+6.30013 s]
/proc/loadavg: 3.89 3.20 3.44 5/267 27408
/proc/meminfo: memFree=128741604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2030212 memory=19988 CPUtime=6.27 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 16495 0 0 0 625 2 0 0 20 0 1 0 37625880 2078937088 4997 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 507553 4997 1632 343 0 504617 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2030212 KiB
Current children cumulated memory: 19988 KiB

[startup+12.7001 s]
/proc/loadavg: 3.91 3.23 3.44 5/267 27408
/proc/meminfo: memFree=128740604/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2034308 memory=21464 CPUtime=12.65 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 34138 0 0 0 1260 5 0 0 20 0 1 0 37625880 2083131392 5366 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 508577 5366 1632 343 0 505641 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2034308 KiB
Current children cumulated memory: 21464 KiB

[startup+25.5001 s]
/proc/loadavg: 3.92 3.26 3.45 5/268 27410
/proc/meminfo: memFree=128740100/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2035016 memory=22548 CPUtime=25.42 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 62012 0 0 0 2531 11 0 0 20 0 1 0 37625880 2083856384 5637 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 508754 5637 1632 343 0 505818 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2035016 KiB
Current children cumulated memory: 22548 KiB

[startup+51.1048 s]
/proc/loadavg: 3.95 3.32 3.47 5/268 27411
/proc/meminfo: memFree=128738848/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2035016 memory=22860 CPUtime=50.96 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 114295 0 0 0 5075 21 0 0 20 0 1 0 37625880 2083856384 5715 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 508754 5715 1632 343 0 505818 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2035016 KiB
Current children cumulated memory: 22860 KiB

[startup+102.3 s]
/proc/loadavg: 4.02 3.45 3.50 5/267 27413
/proc/meminfo: memFree=128736208/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2032068 memory=21072 CPUtime=102.03 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 211093 0 0 0 10163 40 0 0 20 0 1 0 37625880 2080837632 5268 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 508017 5268 1632 343 0 505081 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2032068 KiB
Current children cumulated memory: 21072 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.58 3.55 5/265 27415
/proc/meminfo: memFree=128726712/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2037836 memory=26084 CPUtime=161.88 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 304622 0 0 0 16126 62 0 0 20 0 1 0 37625880 2086744064 6521 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 509459 6521 1632 343 0 506523 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2037836 KiB
Current children cumulated memory: 26084 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.68 3.58 5/265 27417
/proc/meminfo: memFree=128721796/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2036212 memory=24976 CPUtime=221.73 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 399068 0 0 0 22091 82 0 0 20 0 1 0 37625880 2085081088 6244 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 509053 6244 1632 343 0 506117 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2036212 KiB
Current children cumulated memory: 24976 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.76 3.62 5/265 27419
/proc/meminfo: memFree=128719660/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2036212 memory=24956 CPUtime=281.58 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 460835 0 0 0 28061 97 0 0 20 0 1 0 37625880 2085081088 6239 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 509053 6239 1632 343 0 506117 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2036212 KiB
Current children cumulated memory: 24956 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.82 3.65 5/266 27424
/proc/meminfo: memFree=128714288/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2034372 memory=22032 CPUtime=341.43 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 524798 0 0 0 34033 110 0 0 20 0 1 0 37625880 2083196928 5508 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 508593 5508 1632 343 0 505657 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2034372 KiB
Current children cumulated memory: 22032 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.87 3.68 5/264 27426
/proc/meminfo: memFree=128712920/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2040392 memory=25868 CPUtime=401.28 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 583384 0 0 0 40006 122 0 0 20 0 1 0 37625880 2089361408 6467 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 510098 6467 1632 343 0 507162 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2040392 KiB
Current children cumulated memory: 25868 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.91 3.71 5/264 27433
/proc/meminfo: memFree=128704944/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2051832 memory=38128 CPUtime=461.14 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 639384 0 0 0 45978 136 0 0 20 0 1 0 37625880 2101075968 9532 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 512958 9532 1632 343 0 510022 0
Current children cumulated CPU time: 461.14 s

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

Current children cumulated memory: 41040 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/263 27560
/proc/meminfo: memFree=128639692/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2045508 memory=31620 CPUtime=2914.82 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2035476 0 0 0 290951 531 0 0 20 0 1 0 37625880 2094600192 7905 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 511377 7905 1632 343 0 508441 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 2045508 KiB
Current children cumulated memory: 31620 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 27562
/proc/meminfo: memFree=128651760/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2055748 memory=40868 CPUtime=2974.67 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2056542 0 0 0 296928 539 0 0 20 0 1 0 37625880 2105085952 10217 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 513937 10217 1632 343 0 511001 0
Current children cumulated CPU time: 2974.67 s
Current children cumulated vsize: 2055748 KiB
Current children cumulated memory: 40868 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/262 27564
/proc/meminfo: memFree=128645328/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2059844 memory=49000 CPUtime=3034.51 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2078209 0 0 0 302905 546 0 0 20 0 1 0 37625880 2109280256 12250 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 514961 12250 1632 343 0 512025 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 2059844 KiB
Current children cumulated memory: 49000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 27566
/proc/meminfo: memFree=128651292/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2076228 memory=49360 CPUtime=3094.36 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2099946 0 0 0 308883 553 0 0 20 0 1 0 37625880 2126057472 12340 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 519057 12340 1632 343 0 516121 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 2076228 KiB
Current children cumulated memory: 49360 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 27569
/proc/meminfo: memFree=128652500/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2059844 memory=49008 CPUtime=3154.2 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2142952 0 0 0 314854 566 0 0 20 0 1 0 37625880 2109280256 12252 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 514961 12252 1632 343 0 512025 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 2059844 KiB
Current children cumulated memory: 49008 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 27571
/proc/meminfo: memFree=128634692/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2076228 memory=52212 CPUtime=3214.05 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2164103 0 0 0 320833 572 0 0 20 0 1 0 37625880 2126057472 13053 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 519057 13053 1632 343 0 516121 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 2076228 KiB
Current children cumulated memory: 52212 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 27573
/proc/meminfo: memFree=128639824/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2076228 memory=50468 CPUtime=3273.89 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2183447 0 0 0 326812 577 0 0 20 0 1 0 37625880 2126057472 12617 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 519057 12617 1632 343 0 516121 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 2076228 KiB
Current children cumulated memory: 50468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 27578
/proc/meminfo: memFree=128641776/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2055748 memory=42916 CPUtime=3333.74 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2202358 0 0 0 332789 585 0 0 20 0 1 0 37625880 2105085952 10729 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 513937 10729 1632 343 0 511001 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 2055748 KiB
Current children cumulated memory: 42916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 27580
/proc/meminfo: memFree=128640152/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2047556 memory=35696 CPUtime=3393.58 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2224431 0 0 0 338768 590 0 0 20 0 1 0 37625880 2096697344 8924 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 511889 8924 1632 343 0 508953 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 2047556 KiB
Current children cumulated memory: 35696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/265 27768
/proc/meminfo: memFree=128750952/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2059844 memory=46932 CPUtime=3453.42 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2287737 0 0 0 344734 608 0 0 20 0 1 0 37625880 2109280256 11733 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 514961 11733 1632 343 0 512025 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 2059844 KiB
Current children cumulated memory: 46932 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 27770
/proc/meminfo: memFree=128739460/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2059844 memory=48904 CPUtime=3513.27 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2305674 0 0 0 350713 614 0 0 20 0 1 0 37625880 2109280256 12226 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 514961 12226 1632 343 0 512025 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 2059844 KiB
Current children cumulated memory: 48904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 27773
/proc/meminfo: memFree=128732704/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2059844 memory=48296 CPUtime=3573.12 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2324877 0 0 0 356691 621 0 0 20 0 1 0 37625880 2109280256 12074 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 514961 12074 1632 343 0 512025 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 2059844 KiB
Current children cumulated memory: 48296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 27774
/proc/meminfo: memFree=128736680/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2055748 memory=42572 CPUtime=3600.05 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2333971 0 0 0 359382 623 0 0 20 0 1 0 37625880 2105085952 10643 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 513937 10643 1632 343 0 511001 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2055748 KiB
Current children cumulated memory: 42572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.82 s, system=6.23911 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 27774
/proc/meminfo: memFree=128736680/131249996 swapFree=33010684/33010684
[pid=27407] ppid=27404 vsize=2055748 memory=42572 CPUtime=3600.05 cores=0,2
/proc/27407/stat : 27407 (pb_picat) R 27404 27407 27109 0 -1 4194304 2333971 0 0 0 359382 623 0 0 20 0 1 0 37625880 2105085952 10643 18446744073709551615 94706131070976 94706132472557 140734311945600 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94706132743984 94706134618288 94706159329280 140734311950750 140734311950826 140734311950826 140734311956428 0
/proc/27407/statm: 513937 10643 1632 343 0 511001 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2055748 KiB
Current children cumulated memory: 42572 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.3
CPU time (s): 3600.06
CPU user time (s): 3593.82
CPU system time (s): 6.23911
CPU usage (%): 99.744
Max. virtual memory (cumulated for all children) (KiB): 2100804
Max. memory (cumulated for all children) (KiB): 63908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.82
system time used= 6.23911
maximum resident set size= 64036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2333971
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= 73
involuntary context switches= 8117


# summary of solver processes directly reported to runsolver:
#   pid: 27407
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3593.82
#   total CPU system time (s): 6.23911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41071 second user time and 14.4204 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 19:51:20
IDJOB=4513975
IDBENCH=162594
IDSOLVER=3346
FILE ID=nodeC023/4513975-1751219480
RUNJOBID= nodeC023-1751219327-27119
SLURM_JOB_ID= 9587671
Free space on /tmp= 433052 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v051-n2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513975-1751219480/watcher-4513975-1751219480 -o /tmp/evaluation-result-4513975-1751219480/solver-4513975-1751219480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751219327-27119 --watchdog 3760  pb_picat HOME/instance-4513975-1751219480.opb

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

MD5SUM BENCH= 7729cb4e99fea72bb32a899c13dec964
RANDOM SEED=1519554702

nodeC023 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		: 3571.544
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.78
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.839
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.78
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.903
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.78
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		: 3548.231
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.78
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.881
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.78
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.888
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128745700 kB
MemAvailable:   129676864 kB
Buffers:            3280 kB
Cached:          1735192 kB
SwapCached:            0 kB
Active:           476680 kB
Inactive:        1430144 kB
Active(anon):     186416 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  1430144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:        171732 kB
Mapped:           112592 kB
Shmem:             18064 kB
KReclaimable:      99992 kB
Slab:             187076 kB
SReclaimable:      99992 kB
SUnreclaim:        87084 kB
KernelStack:        4320 kB
PageTables:         3412 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6495884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC023 at 2025-06-29 20:51:30