Trace number 4513615

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.09 3609.7

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
MD5SUM47f516134b673d8428e3cc21e9ca96cd
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.010725
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables123
Total number of constraints41
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)41
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
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-4513615-1751217899.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 (62935 MiB free)
  memory of node 1: 64465 MiB (63773 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513615-1751217899/watcher-4513615-1751217899 -o /tmp/evaluation-result-4513615-1751217899/solver-4513615-1751217899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751209547-27265 --watchdog 3760 pb_picat HOME/instance-4513615-1751217899.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=28522, runsolver pid=28519
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 28523
/proc/meminfo: memFree=129749912/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2028524 memory=20108 CPUtime=0.09 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 1113 0 0 0 9 0 0 0 20 0 1 0 37467379 2077208576 5027 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507131 5027 1696 343 0 504195 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2028524 KiB
Current children cumulated memory: 20108 KiB

[startup+0.205539 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 28523
/proc/meminfo: memFree=129749408/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2028524 memory=20260 CPUtime=0.19 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 1362 0 0 0 19 0 0 0 20 0 1 0 37467379 2077208576 5065 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507131 5065 1696 343 0 504195 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2028524 KiB
Current children cumulated memory: 20260 KiB

[startup+0.305521 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 28523
/proc/meminfo: memFree=129749408/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2029292 memory=20760 CPUtime=0.29 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 1618 0 0 0 29 0 0 0 20 0 1 0 37467379 2077995008 5190 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507323 5190 1696 343 0 504387 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2029292 KiB
Current children cumulated memory: 20760 KiB

[startup+0.700124 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 28523
/proc/meminfo: memFree=129748904/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2029804 memory=21168 CPUtime=0.68 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2694 0 0 0 68 0 0 0 20 0 1 0 37467379 2078519296 5292 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507451 5292 1696 343 0 504515 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029804 KiB
Current children cumulated memory: 21168 KiB

[startup+1.50011 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 28523
/proc/meminfo: memFree=129748400/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2029292 memory=20656 CPUtime=1.48 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 4892 0 0 0 148 0 0 0 20 0 1 0 37467379 2077995008 5164 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507323 5164 1696 343 0 504387 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2029292 KiB
Current children cumulated memory: 20656 KiB

[startup+3.1054 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 28523
/proc/meminfo: memFree=129747644/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2030188 memory=21208 CPUtime=3.08 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 8742 0 0 0 307 1 0 0 20 0 1 0 37467379 2078912512 5302 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507547 5302 1696 343 0 504611 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2030188 KiB
Current children cumulated memory: 21208 KiB

[startup+6.30016 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 28523
/proc/meminfo: memFree=129746384/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2031244 memory=21868 CPUtime=6.27 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 19724 0 0 0 624 3 0 0 20 0 1 0 37467379 2079993856 5467 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507811 5467 1696 343 0 504875 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2031244 KiB
Current children cumulated memory: 21868 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 28524
/proc/meminfo: memFree=129746568/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2030860 memory=21700 CPUtime=12.65 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 41228 0 0 0 1259 6 0 0 20 0 1 0 37467379 2079600640 5425 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 507715 5425 1696 343 0 504779 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2030860 KiB
Current children cumulated memory: 21700 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 28524
/proc/meminfo: memFree=129738488/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2038960 memory=25972 CPUtime=25.42 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 78008 0 0 0 2529 13 0 0 20 0 1 0 37467379 2087895040 6493 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 509740 6493 1696 343 0 506804 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2038960 KiB
Current children cumulated memory: 25972 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 28525
/proc/meminfo: memFree=129745688/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2034864 memory=24228 CPUtime=50.97 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 152686 0 0 0 5072 25 0 0 20 0 1 0 37467379 2083700736 6057 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 508716 6057 1696 343 0 505780 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2034864 KiB
Current children cumulated memory: 24228 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 28527
/proc/meminfo: memFree=129759464/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2035692 memory=26456 CPUtime=102.05 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 271785 0 0 0 10156 49 0 0 20 0 1 0 37467379 2084548608 6614 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 508923 6614 1696 343 0 505987 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 2035692 KiB
Current children cumulated memory: 26456 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 28531
/proc/meminfo: memFree=129742624/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2041968 memory=28588 CPUtime=161.9 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 396878 0 0 0 16116 74 0 0 20 0 1 0 37467379 2090975232 7147 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 510492 7147 1696 343 0 507556 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 2041968 KiB
Current children cumulated memory: 28588 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 28533
/proc/meminfo: memFree=129745336/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2038028 memory=26976 CPUtime=221.76 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 488039 0 0 0 22079 97 0 0 20 0 1 0 37467379 2086940672 6744 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 509507 6744 1696 343 0 506571 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 2038028 KiB
Current children cumulated memory: 26976 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 28535
/proc/meminfo: memFree=129749048/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2042268 memory=32188 CPUtime=281.62 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 580345 0 0 0 28044 118 0 0 20 0 1 0 37467379 2091282432 8047 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 510567 8047 1696 343 0 507631 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 2042268 KiB
Current children cumulated memory: 32188 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 28537
/proc/meminfo: memFree=129747352/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2042348 memory=32492 CPUtime=341.47 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 651589 0 0 0 34012 135 0 0 20 0 1 0 37467379 2091364352 8123 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 510587 8123 1696 343 0 507651 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 2042348 KiB
Current children cumulated memory: 32492 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 28540
/proc/meminfo: memFree=129739308/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2037384 memory=26788 CPUtime=401.34 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 728697 0 0 0 39981 153 0 0 20 0 1 0 37467379 2086281216 6697 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 509346 6697 1696 343 0 506410 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 2037384 KiB
Current children cumulated memory: 26788 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 28545
/proc/meminfo: memFree=129747444/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2051720 memory=35100 CPUtime=461.19 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 821846 0 0 0 45944 175 0 0 20 0 1 0 37467379 2100961280 8775 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 512930 8775 1696 343 0 509994 0

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

Current children cumulated memory: 38188 KiB

[startup+2922.3 s]
/proc/loadavg: 3.56 3.95 4.04 4/258 28758
/proc/meminfo: memFree=129760888/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2059820 memory=51572 CPUtime=2914.23 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2489242 0 0 0 290792 631 0 0 20 0 1 0 37467379 2109255680 12893 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 514955 12893 1696 343 0 512019 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 2059820 KiB
Current children cumulated memory: 51572 KiB

[startup+2982.3 s]
/proc/loadavg: 3.31 3.80 3.98 4/257 28760
/proc/meminfo: memFree=129774040/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2047532 memory=38284 CPUtime=2974.06 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2529151 0 0 0 296764 642 0 0 20 0 1 0 37467379 2096672768 9571 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 511883 9571 1696 343 0 508947 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 2047532 KiB
Current children cumulated memory: 38284 KiB

[startup+3042.3 s]
/proc/loadavg: 3.17 3.67 3.93 4/257 28762
/proc/meminfo: memFree=129767596/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2076204 memory=48604 CPUtime=3033.89 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2559265 0 0 0 302738 651 0 0 20 0 1 0 37467379 2126032896 12151 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 519051 12151 1696 343 0 516115 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 2076204 KiB
Current children cumulated memory: 48604 KiB

[startup+3102.3 s]
/proc/loadavg: 2.55 3.40 3.81 3/253 28796
/proc/meminfo: memFree=129801892/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2055724 memory=46000 CPUtime=3093.75 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2583926 0 0 0 308716 659 0 0 20 0 1 0 37467379 2105061376 11500 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 513931 11500 1696 343 0 510995 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 2055724 KiB
Current children cumulated memory: 46000 KiB

[startup+3162.3 s]
/proc/loadavg: 2.26 3.16 3.70 3/253 28802
/proc/meminfo: memFree=129792744/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2047664 memory=39380 CPUtime=3153.63 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2605969 0 0 0 314697 666 0 0 20 0 1 0 37467379 2096807936 9845 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 511916 9845 1696 343 0 508980 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 2047664 KiB
Current children cumulated memory: 39380 KiB

[startup+3222.3 s]
/proc/loadavg: 2.14 2.96 3.60 3/253 28804
/proc/meminfo: memFree=129797236/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2047664 memory=40044 CPUtime=3213.5 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2631832 0 0 0 320676 674 0 0 20 0 1 0 37467379 2096807936 10011 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 511916 10011 1696 343 0 508980 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 2047664 KiB
Current children cumulated memory: 40044 KiB

[startup+3282.3 s]
/proc/loadavg: 2.21 2.83 3.51 3/253 28806
/proc/meminfo: memFree=129793060/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2076336 memory=57816 CPUtime=3273.37 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2659007 0 0 0 326654 683 0 0 20 0 1 0 37467379 2126168064 14454 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 519084 14454 1696 343 0 516148 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 2076336 KiB
Current children cumulated memory: 57816 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 2.69 3.42 3/253 28808
/proc/meminfo: memFree=129793884/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2055856 memory=43856 CPUtime=3333.25 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2681803 0 0 0 332635 690 0 0 20 0 1 0 37467379 2105196544 10964 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 513964 10964 1696 343 0 511028 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 2055856 KiB
Current children cumulated memory: 43856 KiB

[startup+3402.3 s]
/proc/loadavg: 2.09 2.58 3.33 3/252 28810
/proc/meminfo: memFree=129794908/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2076492 memory=58396 CPUtime=3393.12 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2704752 0 0 0 338615 697 0 0 20 0 1 0 37467379 2126327808 14599 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 519123 14599 1696 343 0 516187 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 2076492 KiB
Current children cumulated memory: 58396 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.50 3.26 3/252 28813
/proc/meminfo: memFree=129791564/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2060108 memory=47276 CPUtime=3453 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2732962 0 0 0 344595 705 0 0 20 0 1 0 37467379 2109550592 11819 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 515027 11819 1696 343 0 512091 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 2060108 KiB
Current children cumulated memory: 47276 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.42 3.18 3/251 28815
/proc/meminfo: memFree=129786092/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2084684 memory=64728 CPUtime=3512.87 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2763379 0 0 0 350574 713 0 0 20 0 1 0 37467379 2134716416 16182 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 521171 16182 1696 343 0 518235 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 2084684 KiB
Current children cumulated memory: 64728 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.37 3.11 3/252 28820
/proc/meminfo: memFree=129798236/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2060108 memory=56552 CPUtime=3572.73 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2787754 0 0 0 356552 721 0 0 20 0 1 0 37467379 2109550592 14138 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 515027 14138 1696 343 0 512091 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 2060108 KiB
Current children cumulated memory: 56552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 2.09 2.34 3.08 3/252 28821
/proc/meminfo: memFree=129790376/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2060108 memory=48856 CPUtime=3600.07 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2798830 0 0 0 359283 724 0 0 20 0 1 0 37467379 2109550592 12214 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 515027 12214 1696 343 0 512091 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2060108 KiB
Current children cumulated memory: 48856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.84 s, system=7.24686 s

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

[startup+3609.7 s]
/proc/loadavg: 2.09 2.34 3.08 3/252 28821
/proc/meminfo: memFree=129790376/131250000 swapFree=33010684/33010684
[pid=28522] ppid=28519 vsize=2060108 memory=48856 CPUtime=3600.07 cores=4,6
/proc/28522/stat : 28522 (pb_picat) R 28519 28522 27252 0 -1 4194304 2798830 0 0 0 359283 724 0 0 20 0 1 0 37467379 2109550592 12214 18446744073709551615 94320801218560 94320802620141 140732349577648 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94320802891568 94320804765872 94320841875456 140732349585822 140732349585898 140732349585898 140732349591500 0
/proc/28522/statm: 515027 12214 1696 343 0 512091 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2060108 KiB
Current children cumulated memory: 48856 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.7
CPU time (s): 3600.09
CPU user time (s): 3592.84
CPU system time (s): 7.24686
CPU usage (%): 99.7337
Max. virtual memory (cumulated for all children) (KiB): 2084684
Max. memory (cumulated for all children) (KiB): 68840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.84
system time used= 7.24686
maximum resident set size= 68840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2798830
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= 72
involuntary context switches= 4811


# summary of solver processes directly reported to runsolver:
#   pid: 28522
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3592.84
#   total CPU system time (s): 7.24686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7714 second user time and 14.9338 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-29 19:24:59
IDJOB=4513615
IDBENCH=162388
IDSOLVER=3346
FILE ID=nodeC019/4513615-1751217899
RUNJOBID= nodeC019-1751209547-27265
SLURM_JOB_ID= 9587644
Free space on /tmp= 433056 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513615-1751217899/watcher-4513615-1751217899 -o /tmp/evaluation-result-4513615-1751217899/solver-4513615-1751217899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751209547-27265 --watchdog 3760  pb_picat HOME/instance-4513615-1751217899.opb

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

MD5SUM BENCH= 47f516134b673d8428e3cc21e9ca96cd
RANDOM SEED=868683382

nodeC019 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.679
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.37
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.678
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.37
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		: 3632.628
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.37
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		: 3580.644
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.37
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		: 3602.305
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.37
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.671
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.37
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.660
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.37
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.915
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129749816 kB
MemAvailable:   129638924 kB
Buffers:            3280 kB
Cached:           698504 kB
SwapCached:            0 kB
Active:           448276 kB
Inactive:         441756 kB
Active(anon):     206312 kB
Inactive(anon):        0 kB
Active(file):     241964 kB
Inactive(file):   441756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3616 kB
Writeback:             0 kB
AnonPages:        190344 kB
Mapped:           112812 kB
Shmem:             18064 kB
KReclaimable:      89256 kB
Slab:             174500 kB
SReclaimable:      89256 kB
SUnreclaim:        85244 kB
KernelStack:        4188 kB
PageTables:         3532 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6543316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC019 at 2025-06-29 20:25:09