Trace number 4441194

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_veripb2 2024-07-05? (TO) 3600.11 3642.36

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
MD5SUM5bd9df7c04c5af36994bd737db01c977
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark445.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21320
Total number of constraints79746
Number of constraints which are clauses79734
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint1407
Number of terms in the objective function 1407
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1407
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1442
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3642.30	c Program interrupted by user.
3600.08/3642.30	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: 63931 MiB (724 MiB free)
  memory of node 1: 64510 MiB (12118 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441194-1721805180/watcher-4441194-1721805180 -o /tmp/evaluation-result-4441194-1721805180/solver-4441194-1721805180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721801545-174522 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441194-1721805180 --seed=1593523885 HOME/instance-4441194-1721805180.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=176670, runsolver pid=176667
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.11 4.12 4.09 6/261 176671
/proc/meminfo: memFree=13108056/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=73468 memory=45320 CPUtime=0.1 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 10054 0 0 0 8 2 0 0 20 0 1 0 17046551 75231232 11330 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 18367 11330 883 1006 0 17128 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73468 KiB
Current children cumulated memory: 45320 KiB

[startup+0.205981 s]*
/proc/loadavg: 4.11 4.12 4.09 5/261 176671
/proc/meminfo: memFree=13111680/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=59128 memory=40324 CPUtime=0.2 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 10441 0 0 0 18 2 0 0 20 0 1 0 17046551 60547072 10081 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 14782 10081 899 1006 0 13543 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59128 KiB
Current children cumulated memory: 40324 KiB

[startup+0.30577 s]*
/proc/loadavg: 4.11 4.12 4.09 5/261 176671
/proc/meminfo: memFree=13057196/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=115468 memory=96336 CPUtime=0.3 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 18185 0 0 0 26 4 0 0 20 0 1 0 17046551 118239232 24084 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 28867 24084 1059 1006 0 27628 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115468 KiB
Current children cumulated memory: 96336 KiB

[startup+0.700221 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 176671
/proc/meminfo: memFree=13049236/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=115468 memory=99356 CPUtime=0.69 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 18358 0 0 0 64 5 0 0 20 0 1 0 17046551 118239232 24839 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 28867 24839 1107 1006 0 27628 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115468 KiB
Current children cumulated memory: 99356 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 176671
/proc/meminfo: memFree=13041260/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=121896 memory=109836 CPUtime=1.49 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 19994 0 0 0 143 6 0 0 20 0 1 0 17046551 124821504 27459 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 30474 27459 1123 1006 0 29235 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121896 KiB
Current children cumulated memory: 109836 KiB

[startup+3.10602 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 176671
/proc/meminfo: memFree=12981208/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=134112 memory=128336 CPUtime=3.08 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 23065 0 0 0 302 6 0 0 20 0 1 0 17046551 137330688 32084 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 33528 32084 1123 1006 0 32289 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 134112 KiB
Current children cumulated memory: 128336 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 176672
/proc/meminfo: memFree=12928388/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=155736 memory=142392 CPUtime=6.27 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 25327 0 0 0 619 8 0 0 20 0 1 0 17046551 159473664 35598 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 38934 35598 1123 1006 0 37695 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155736 KiB
Current children cumulated memory: 142392 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/261 176672
/proc/meminfo: memFree=12853376/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=192400 memory=168204 CPUtime=12.66 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 28634 0 0 0 1254 12 0 0 20 0 1 0 17046551 197017600 42051 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 48100 42051 1139 1006 0 46861 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 192400 KiB
Current children cumulated memory: 168204 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 176721
/proc/meminfo: memFree=20128356/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=205632 memory=191596 CPUtime=25.43 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 31449 0 0 0 2525 18 0 0 20 0 1 0 17046551 210567168 47899 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 51408 47899 1139 1006 0 50169 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 205632 KiB
Current children cumulated memory: 191596 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 176725
/proc/meminfo: memFree=19554932/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=265560 memory=245408 CPUtime=50.93 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 37581 0 0 0 5069 24 0 0 20 0 1 0 17046551 271933440 61352 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 66390 61352 1139 1006 0 65151 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 265560 KiB
Current children cumulated memory: 245408 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/260 176733
/proc/meminfo: memFree=18509956/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=373620 memory=293704 CPUtime=95.72 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 46873 0 0 0 9534 38 0 0 20 0 1 0 17046551 382586880 73426 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 631 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 93405 73426 1139 1006 0 92166 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 373620 KiB
Current children cumulated memory: 293704 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/260 176743
/proc/meminfo: memFree=17596972/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=393808 memory=336644 CPUtime=155.26 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 51045 0 0 0 15467 59 0 0 20 0 1 0 17046551 403259392 84161 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 663 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 98452 84161 1139 1006 0 97213 0
Current children cumulated CPU time: 155.26 s
Current children cumulated vsize: 393808 KiB
Current children cumulated memory: 336644 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 176755
/proc/meminfo: memFree=16025432/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=406000 memory=353812 CPUtime=214.9 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 53882 0 0 0 21414 76 0 0 20 0 1 0 17046551 415744000 88453 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 682 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 101500 88453 1155 1006 0 100261 0
Current children cumulated CPU time: 214.9 s
Current children cumulated vsize: 406000 KiB
Current children cumulated memory: 353812 KiB

[startup+282.301 s]
/proc/loadavg: 4.20 4.16 4.10 5/258 176765
/proc/meminfo: memFree=14726876/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=407952 memory=356424 CPUtime=272.74 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 54582 0 0 0 27179 95 0 0 20 0 1 0 17046551 417742848 89106 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 851 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 101988 89106 1155 1006 0 100749 0
Current children cumulated CPU time: 272.74 s
Current children cumulated vsize: 407952 KiB
Current children cumulated memory: 356424 KiB

[startup+342.301 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 176775
/proc/meminfo: memFree=13236608/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=409424 memory=357872 CPUtime=330.27 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 55035 0 0 0 32915 112 0 0 20 0 1 0 17046551 419250176 89468 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 1042 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 102356 89468 1155 1006 0 101117 0
Current children cumulated CPU time: 330.27 s
Current children cumulated vsize: 409424 KiB
Current children cumulated memory: 357872 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 176786
/proc/meminfo: memFree=11448152/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=422260 memory=375880 CPUtime=388.43 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 58044 0 0 0 38712 131 0 0 20 0 1 0 17046551 432394240 93970 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 1171 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 105565 93970 1155 1006 0 104326 0
Current children cumulated CPU time: 388.43 s
Current children cumulated vsize: 422260 KiB
Current children cumulated memory: 375880 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/257 176797
/proc/meminfo: memFree=10230888/131524600 swapFree=131062720/131071996
[pid=176670] ppid=176667 vsize=422260 memory=376016 CPUtime=447.18 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 58106 0 0 0 44568 150 0 0 20 0 1 0 17046551 432394240 94004 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 1240 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 105565 94004 1155 1006 0 104326 0

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

Current children cumulated memory: 589356 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/259 178550
/proc/meminfo: memFree=19040268/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=646876 memory=591208 CPUtime=2944.12 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 113030 0 0 0 293563 849 0 0 20 0 1 0 17046551 662401024 147802 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2780 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 161719 147802 1155 1006 0 160480 0
Current children cumulated CPU time: 2944.12 s
Current children cumulated vsize: 646876 KiB
Current children cumulated memory: 591208 KiB

[startup+3042.3 s]
/proc/loadavg: 4.36 4.23 4.15 5/260 178562
/proc/meminfo: memFree=17905980/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=646876 memory=592000 CPUtime=3003.86 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 113254 0 0 0 299517 869 0 0 20 0 1 0 17046551 662401024 148000 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2791 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 161719 148000 1155 1006 0 160480 0
Current children cumulated CPU time: 3003.86 s
Current children cumulated vsize: 646876 KiB
Current children cumulated memory: 592000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.42 4.25 4.16 5/260 178573
/proc/meminfo: memFree=16908208/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=646876 memory=592000 CPUtime=3063.44 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 113375 0 0 0 305455 889 0 0 20 0 1 0 17046551 662401024 148000 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2820 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 161719 148000 1155 1006 0 160480 0
Current children cumulated CPU time: 3063.44 s
Current children cumulated vsize: 646876 KiB
Current children cumulated memory: 592000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.59 4.33 4.19 5/260 178585
/proc/meminfo: memFree=16037104/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=646876 memory=592000 CPUtime=3123.15 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 113629 0 0 0 311415 900 0 0 20 0 1 0 17046551 662401024 148000 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2833 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 161719 148000 1155 1006 0 160480 0
Current children cumulated CPU time: 3123.15 s
Current children cumulated vsize: 646876 KiB
Current children cumulated memory: 592000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.67 4.38 4.22 5/259 178597
/proc/meminfo: memFree=15262972/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=647272 memory=621080 CPUtime=3182.92 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 120861 0 0 0 317365 927 0 0 20 0 1 0 17046551 662806528 155270 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2843 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 161818 155270 1155 1006 0 160579 0
Current children cumulated CPU time: 3182.92 s
Current children cumulated vsize: 647272 KiB
Current children cumulated memory: 621080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.32 4.21 5/259 178607
/proc/meminfo: memFree=14201120/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=655968 memory=628424 CPUtime=3242.74 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 122914 0 0 0 323332 942 0 0 20 0 1 0 17046551 671711232 157106 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2846 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 163992 157106 1155 1006 0 162753 0
Current children cumulated CPU time: 3242.74 s
Current children cumulated vsize: 655968 KiB
Current children cumulated memory: 628424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.29 4.20 5/260 178621
/proc/meminfo: memFree=13177660/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=655968 memory=628812 CPUtime=3302.49 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 123265 0 0 0 329288 961 0 0 20 0 1 0 17046551 671711232 157203 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2856 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 163992 157203 1155 1006 0 162753 0
Current children cumulated CPU time: 3302.49 s
Current children cumulated vsize: 655968 KiB
Current children cumulated memory: 628812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.25 4.19 5/260 178633
/proc/meminfo: memFree=12648732/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=657340 memory=630272 CPUtime=3362.33 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 123708 0 0 0 335253 980 0 0 20 0 1 0 17046551 673116160 157568 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2856 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 164335 157568 1155 1006 0 163096 0
Current children cumulated CPU time: 3362.33 s
Current children cumulated vsize: 657340 KiB
Current children cumulated memory: 630272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.22 4.18 5/260 178643
/proc/meminfo: memFree=11823412/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=657648 memory=630512 CPUtime=3422.15 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 124030 0 0 0 341226 989 0 0 20 0 1 0 17046551 673431552 157628 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2856 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 164412 157628 1155 1006 0 163173 0
Current children cumulated CPU time: 3422.15 s
Current children cumulated vsize: 657648 KiB
Current children cumulated memory: 630512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.19 4.17 5/260 178656
/proc/meminfo: memFree=11035544/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=659668 memory=633192 CPUtime=3481.62 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 124926 0 0 0 347163 999 0 0 20 0 1 0 17046551 675500032 158298 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2895 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 164917 158298 1155 1006 0 163678 0
Current children cumulated CPU time: 3481.62 s
Current children cumulated vsize: 659668 KiB
Current children cumulated memory: 633192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/260 178667
/proc/meminfo: memFree=10072252/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=660196 memory=633544 CPUtime=3541.02 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 125281 0 0 0 353082 1020 0 0 20 0 1 0 17046551 676040704 158386 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2940 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 165049 158386 1155 1006 0 163810 0
Current children cumulated CPU time: 3541.02 s
Current children cumulated vsize: 660196 KiB
Current children cumulated memory: 633544 KiB

[startup+3642.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/258 178678
/proc/meminfo: memFree=9309016/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=660404 memory=633880 CPUtime=3600.08 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 125447 0 0 0 358965 1043 0 0 20 0 1 0 17046551 676253696 158470 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3020 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 165101 158470 1155 1006 0 163862 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 660404 KiB
Current children cumulated memory: 633880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3642.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/258 178678
/proc/meminfo: memFree=9309016/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=660404 memory=633880 CPUtime=3600.08 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 125447 0 0 0 358965 1043 0 0 20 0 1 0 17046551 676253696 158470 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3020 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 165101 158470 1155 1006 0 163862 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 660404 KiB
Current children cumulated memory: 633880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.66 s, system=10.4406 s

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

[startup+3642.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/258 178678
/proc/meminfo: memFree=9309016/131524600 swapFree=131057308/131071996
[pid=176670] ppid=176667 vsize=660404 memory=633880 CPUtime=3600.08 cores=1,3
/proc/176670/stat : 176670 (Exact_veripb2) R 176667 176670 174510 0 -1 4194304 125447 0 0 0 358965 1043 0 0 20 0 1 0 17046551 676253696 158470 134679101440 4194304 8311665 140730500568592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3020 0 0 9173656 9252184 36913152 140730500571976 140730500572256 140730500572256 140730500579271 0
/proc/176670/statm: 165101 158470 1155 1006 0 163862 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 660404 KiB
Current children cumulated memory: 633880 KiB

Child status: 0

Real time (s): 3642.36
CPU time (s): 3600.11
CPU user time (s): 3589.66
CPU system time (s): 10.4406
CPU usage (%): 98.84
Max. virtual memory (cumulated for all children) (KiB): 660404
Max. memory (cumulated for all children) (KiB): 633880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.66
system time used= 10.4406
maximum resident set size= 633880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16006504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272
involuntary context switches= 8681


# summary of solver processes directly reported to runsolver:
#   pid: 176670
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3589.66
#   total CPU system time (s): 10.4406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96601 second user time and 18.3342 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 09:13:00
IDJOB=4441194
IDBENCH=148189
IDSOLVER=3081
FILE ID=nodeC016/4441194-1721805180
RUNJOBID= nodeC016-1721801545-174522
SLURM_JOB_ID= 7770680
Free space on /tmp= 890056 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.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-4441194-1721805180/watcher-4441194-1721805180 -o /tmp/evaluation-result-4441194-1721805180/solver-4441194-1721805180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721801545-174522 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441194-1721805180 --seed=1593523885 HOME/instance-4441194-1721805180.opb

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

MD5SUM BENCH= 5bd9df7c04c5af36994bd737db01c977
RANDOM SEED=1593523885

nodeC016.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		: 3670.242
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.34
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		: 3656.126
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.68
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.859
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.34
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		: 3678.805
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.68
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		: 3670.220
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.34
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		: 3679.587
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.68
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.766
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.34
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		: 3619.150
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        13151420 kB
MemAvailable:   127325612 kB
Buffers:          229904 kB
Cached:         114468988 kB
SwapCached:         1028 kB
Active:          2349700 kB
Inactive:       114954392 kB
Active(anon):       1864 kB
Inactive(anon):  2657064 kB
Active(file):    2347836 kB
Inactive(file): 112297328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062720 kB
Dirty:             59952 kB
Writeback:             0 kB
AnonPages:       2604352 kB
Mapped:           128112 kB
Shmem:             53328 kB
KReclaimable:     590260 kB
Slab:             713880 kB
SReclaimable:     590260 kB
SUnreclaim:       123620 kB
KernelStack:        4224 kB
PageTables:        14448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3217124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2387968 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:      371412 kB
DirectMap2M:    41345024 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC016 at 2024-07-24 10:13:43