Trace number 4450584

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
Exact_veripb2 2024-07-05? (TO) 3600.12 3680.11

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-9.opb
MD5SUMf6eda1605d5c8d227dca004c862e5b86
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
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 

3600.09/3679.90	c Program interrupted by user.
3600.09/3679.90	s UNKNOWN

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: 63968 MiB (21306 MiB free)
  memory of node 1: 64473 MiB (25388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450584-1721836486/watcher-4450584-1721836486 -o /tmp/evaluation-result-4450584-1721836486/solver-4450584-1721836486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721829144-243291 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4450584-1721836486 --seed=448666847 HOME/instance-4450584-1721836486.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=248146, runsolver pid=248143

[startup+0.100844 s]*
/proc/loadavg: 4.28 4.17 4.13 5/264 248147
/proc/meminfo: memFree=47795040/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=43116 memory=23044 CPUtime=0.09 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 5021 0 0 0 9 0 0 0 20 0 1 0 20171563 44150784 5761 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 10779 5761 1107 1006 0 9540 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43116 KiB
Current children cumulated memory: 23044 KiB

[startup+0.205927 s]*
/proc/loadavg: 4.28 4.17 4.13 5/264 248147
/proc/meminfo: memFree=47792172/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=43116 memory=23044 CPUtime=0.2 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 5021 0 0 0 19 1 0 0 20 0 1 0 20171563 44150784 5761 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 10779 5761 1107 1006 0 9540 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43116 KiB
Current children cumulated memory: 23044 KiB

[startup+0.305632 s]*
/proc/loadavg: 4.28 4.17 4.13 5/264 248147
/proc/meminfo: memFree=47790016/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=43492 memory=23752 CPUtime=0.3 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 5115 0 0 0 29 1 0 0 20 0 1 0 20171563 44535808 5938 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 10873 5938 1155 1006 0 9634 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43492 KiB
Current children cumulated memory: 23752 KiB

[startup+0.700192 s]
/proc/loadavg: 4.28 4.17 4.13 5/264 248147
/proc/meminfo: memFree=47784844/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=43756 memory=26064 CPUtime=0.68 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 5196 0 0 0 67 1 0 0 20 0 1 0 20171563 44806144 6516 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 10939 6516 1155 1006 0 9700 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43756 KiB
Current children cumulated memory: 26064 KiB

[startup+1.50021 s]
/proc/loadavg: 4.28 4.17 4.13 5/264 248147
/proc/meminfo: memFree=47765576/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=44684 memory=26852 CPUtime=1.48 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 5400 0 0 0 147 1 0 0 20 0 1 0 20171563 45756416 6713 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 11171 6713 1155 1006 0 9932 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 26852 KiB

[startup+3.10579 s]
/proc/loadavg: 4.28 4.17 4.13 5/264 248147
/proc/meminfo: memFree=47701412/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=46372 memory=32776 CPUtime=3.08 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 5845 0 0 0 305 3 0 0 20 0 1 0 20171563 47484928 8194 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 11593 8194 1155 1006 0 10354 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46372 KiB
Current children cumulated memory: 32776 KiB

[startup+6.30018 s]
/proc/loadavg: 4.25 4.16 4.13 5/264 248147
/proc/meminfo: memFree=47587416/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=47236 memory=33556 CPUtime=6.27 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 6073 0 0 0 621 6 0 0 20 0 1 0 20171563 48369664 8389 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 11809 8389 1155 1006 0 10570 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47236 KiB
Current children cumulated memory: 33556 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.13 5/264 248148
/proc/meminfo: memFree=47400324/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=48792 memory=37148 CPUtime=12.65 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 6473 0 0 0 1254 11 0 0 20 0 1 0 20171563 49963008 9287 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 12198 9287 1155 1006 0 10959 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48792 KiB
Current children cumulated memory: 37148 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.13 5/264 248196
/proc/meminfo: memFree=80465948/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=50948 memory=45612 CPUtime=25.41 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 7042 0 0 0 2522 19 0 0 20 0 1 0 20171563 52170752 11403 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 12737 11403 1155 1006 0 11498 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 50948 KiB
Current children cumulated memory: 45612 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.16 4.13 5/258 248233
/proc/meminfo: memFree=116657764/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=52940 memory=47672 CPUtime=50.65 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 7561 0 0 0 5027 38 0 0 20 0 1 0 20171563 54210560 11918 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 29 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 13235 11918 1155 1006 0 11996 0
Current children cumulated CPU time: 50.65 s
Current children cumulated vsize: 52940 KiB
Current children cumulated memory: 47672 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/265 248642
/proc/meminfo: memFree=115569544/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=70504 memory=56584 CPUtime=101.16 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 8999 0 0 0 10039 77 0 0 20 0 1 0 20171563 72196096 14146 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 17626 14146 1155 1006 0 16387 0
Current children cumulated CPU time: 101.16 s
Current children cumulated vsize: 70504 KiB
Current children cumulated memory: 56584 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/265 248653
/proc/meminfo: memFree=114149008/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=75620 memory=63028 CPUtime=160.33 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 10152 0 0 0 15912 121 0 0 20 0 1 0 20171563 77434880 15757 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 148 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 18905 15757 1155 1006 0 17666 0
Current children cumulated CPU time: 160.33 s
Current children cumulated vsize: 75620 KiB
Current children cumulated memory: 63028 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/265 248663
/proc/meminfo: memFree=112971456/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=80648 memory=72096 CPUtime=219.7 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 11383 0 0 0 21807 163 0 0 20 0 1 0 20171563 82583552 18024 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 195 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 20162 18024 1155 1006 0 18923 0
Current children cumulated CPU time: 219.7 s
Current children cumulated vsize: 80648 KiB
Current children cumulated memory: 72096 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/268 248845
/proc/meminfo: memFree=111498620/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=82160 memory=73624 CPUtime=279.11 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 11806 0 0 0 27704 207 0 0 20 0 1 0 20171563 84131840 18406 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 237 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 20540 18406 1155 1006 0 19301 0
Current children cumulated CPU time: 279.11 s
Current children cumulated vsize: 82160 KiB
Current children cumulated memory: 73624 KiB

[startup+342.3 s]
/proc/loadavg: 4.36 4.21 4.14 5/267 248857
/proc/meminfo: memFree=110301188/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=85096 memory=76484 CPUtime=338.62 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 12513 0 0 0 33609 253 0 0 20 0 1 0 20171563 87138304 19121 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 270 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 21274 19121 1155 1006 0 20035 0
Current children cumulated CPU time: 338.62 s
Current children cumulated vsize: 85096 KiB
Current children cumulated memory: 76484 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/268 248883
/proc/meminfo: memFree=109096580/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=87592 memory=80840 CPUtime=398.29 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 13138 0 0 0 39536 293 0 0 20 0 1 0 20171563 89694208 20210 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 287 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 21898 20210 1155 1006 0 20659 0
Current children cumulated CPU time: 398.29 s
Current children cumulated vsize: 87592 KiB
Current children cumulated memory: 80840 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/265 248895
/proc/meminfo: memFree=107787680/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=90904 memory=84480 CPUtime=457.75 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 14008 0 0 0 45444 331 0 0 20 0 1 0 20171563 93085696 21120 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 323 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 22726 21120 1155 1006 0 21487 0

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

Current children cumulated memory: 131852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/260 250008
/proc/meminfo: memFree=53493068/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=151048 memory=132480 CPUtime=2975.63 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 25293 0 0 0 295529 2034 0 0 20 0 1 0 20171563 154673152 33120 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5853 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 37762 33120 1155 1006 0 36523 0
Current children cumulated CPU time: 2975.63 s
Current children cumulated vsize: 151048 KiB
Current children cumulated memory: 132480 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/259 250018
/proc/meminfo: memFree=52445108/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=151772 memory=133316 CPUtime=3034.52 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 25525 0 0 0 301380 2072 0 0 20 0 1 0 20171563 155414528 33329 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5948 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 37943 33329 1155 1006 0 36704 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 151772 KiB
Current children cumulated memory: 133316 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/259 250030
/proc/meminfo: memFree=51422624/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=151772 memory=133384 CPUtime=3093.88 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 25593 0 0 0 307270 2118 0 0 20 0 1 0 20171563 155414528 33346 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 5996 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 37943 33346 1155 1006 0 36704 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 151772 KiB
Current children cumulated memory: 133384 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/258 250041
/proc/meminfo: memFree=50356200/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=152008 memory=133512 CPUtime=3149.14 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 25685 0 0 0 312759 2155 0 0 20 0 1 0 20171563 155656192 33378 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6457 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38002 33378 1155 1006 0 36763 0
Current children cumulated CPU time: 3149.14 s
Current children cumulated vsize: 152008 KiB
Current children cumulated memory: 133512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.20 4.14 5/260 250053
/proc/meminfo: memFree=49170500/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=152008 memory=133560 CPUtime=3208.37 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 25741 0 0 0 318638 2199 0 0 20 0 1 0 20171563 155656192 33390 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6518 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38002 33390 1155 1006 0 36763 0
Current children cumulated CPU time: 3208.37 s
Current children cumulated vsize: 152008 KiB
Current children cumulated memory: 133560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.19 4.14 5/262 250066
/proc/meminfo: memFree=47930648/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=152260 memory=133804 CPUtime=3265.49 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 25863 0 0 0 324313 2236 0 0 20 0 1 0 20171563 155914240 33451 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6789 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38065 33451 1155 1006 0 36826 0
Current children cumulated CPU time: 3265.49 s
Current children cumulated vsize: 152260 KiB
Current children cumulated memory: 133804 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/266 250085
/proc/meminfo: memFree=46674124/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=152824 memory=134448 CPUtime=3325.04 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26067 0 0 0 330230 2274 0 0 20 0 1 0 20171563 156491776 33612 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6816 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38206 33612 1155 1006 0 36967 0
Current children cumulated CPU time: 3325.04 s
Current children cumulated vsize: 152824 KiB
Current children cumulated memory: 134448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/265 250096
/proc/meminfo: memFree=45392312/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=153560 memory=135040 CPUtime=3384.51 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26287 0 0 0 336132 2319 0 0 20 0 1 0 20171563 157245440 33760 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6853 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38390 33760 1155 1006 0 37151 0
Current children cumulated CPU time: 3384.51 s
Current children cumulated vsize: 153560 KiB
Current children cumulated memory: 135040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/267 250108
/proc/meminfo: memFree=44178984/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=154180 memory=135660 CPUtime=3443.99 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26503 0 0 0 342043 2356 0 0 20 0 1 0 20171563 157880320 33915 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6889 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38545 33915 1155 1006 0 37306 0
Current children cumulated CPU time: 3443.99 s
Current children cumulated vsize: 154180 KiB
Current children cumulated memory: 135660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/266 250119
/proc/meminfo: memFree=42766628/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=154180 memory=135768 CPUtime=3503.31 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26564 0 0 0 347931 2400 0 0 20 0 1 0 20171563 157880320 33942 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6939 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38545 33942 1155 1006 0 37306 0
Current children cumulated CPU time: 3503.31 s
Current children cumulated vsize: 154180 KiB
Current children cumulated memory: 135768 KiB

[startup+3642.3 s]
/proc/loadavg: 3.96 4.10 4.11 4/259 250162
/proc/meminfo: memFree=55232072/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=154180 memory=135780 CPUtime=3562.75 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26621 0 0 0 353831 2444 0 0 20 0 1 0 20171563 157880320 33945 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6978 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38545 33945 1155 1006 0 37306 0
Current children cumulated CPU time: 3562.75 s
Current children cumulated vsize: 154180 KiB
Current children cumulated memory: 135780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3679.9 s]
/proc/loadavg: 3.54 3.98 4.07 4/260 250551
/proc/meminfo: memFree=54628668/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=154952 memory=136268 CPUtime=3600.09 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26808 0 0 0 357541 2468 0 0 20 0 1 0 20171563 158670848 34067 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6994 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 38738 34067 1155 1006 0 37499 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 154952 KiB
Current children cumulated memory: 136268 KiB

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

[startup+3680.11 s]
# the end of solver process 248146 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3575.42 s, system=24.7029 s

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

[startup+3680 s]*
/proc/loadavg: 3.54 3.98 4.07 3/260 250552
/proc/meminfo: memFree=54635496/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=97336 memory=92860 CPUtime=3600.1 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) D 248143 248146 243278 0 -1 4194304 26809 0 0 0 357541 2469 0 0 20 0 1 0 20171563 99672064 23215 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7010 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 24334 23215 1170 1006 0 23095 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 97336 KiB
Current children cumulated memory: 92860 KiB

[startup+3680.11 s]
/proc/loadavg: 3.54 3.98 4.07 3/260 250552
/proc/meminfo: memFree=54635496/131524600 swapFree=131071728/131071996
[pid=248146] ppid=248143 vsize=97336 memory=92860 CPUtime=3600.11 cores=5,7
/proc/248146/stat : 248146 (Exact_veripb2) R 248143 248146 243278 0 -1 4194304 26809 0 0 0 357541 2470 0 0 20 0 1 0 20171563 99672064 23215 134679101440 4194304 8311665 140725638559664 0 0 0 0 0 8404994 0 0 0 17 5 0 0 7027 0 0 9173656 9252184 15589376 140725638566729 140725638567008 140725638567008 140725638574023 0
/proc/248146/statm: 24334 23215 1170 1006 0 23095 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 97336 KiB
Current children cumulated memory: 92860 KiB

Child status: 0

Real time (s): 3680.11
CPU time (s): 3600.12
CPU user time (s): 3575.42
CPU system time (s): 24.7029
CPU usage (%): 97.8263
Max. virtual memory (cumulated for all children) (KiB): 154952
Max. memory (cumulated for all children) (KiB): 136268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.42
system time used= 24.7029
maximum resident set size= 136268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26810
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42678288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2594
involuntary context switches= 4832


# summary of solver processes directly reported to runsolver:
#   pid: 248146
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3575.42
#   total CPU system time (s): 24.7029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37931 second user time and 16.3509 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 17:54:46
IDJOB=4450584
IDBENCH=162167
IDSOLVER=3081
FILE ID=nodeC024/4450584-1721836486
RUNJOBID= nodeC024-1721829144-243291
SLURM_JOB_ID= 7891493
Free space on /tmp= 890056 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-9.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450584-1721836486/watcher-4450584-1721836486 -o /tmp/evaluation-result-4450584-1721836486/solver-4450584-1721836486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721829144-243291 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4450584-1721836486 --seed=448666847 HOME/instance-4450584-1721836486.opb

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

MD5SUM BENCH= f6eda1605d5c8d227dca004c862e5b86
RANDOM SEED=448666847

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3672.859
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3683.009
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.205
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3643.183
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3672.899
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3665.191
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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.026
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3658.870
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        47817000 kB
MemAvailable:   128439956 kB
Buffers:          260964 kB
Cached:         81044308 kB
SwapCached:           92 kB
Active:          2671644 kB
Inactive:       80115408 kB
Active(anon):       1556 kB
Inactive(anon):  1534360 kB
Active(file):    2670088 kB
Inactive(file): 78581048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            370284 kB
Writeback:           272 kB
AnonPages:       1481132 kB
Mapped:           132860 kB
Shmem:             54012 kB
KReclaimable:     423288 kB
Slab:             560196 kB
SReclaimable:     423288 kB
SUnreclaim:       136908 kB
KernelStack:        4272 kB
PageTables:        12188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2076520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1089536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC024 at 2024-07-24 18:56:06