Trace number 4441397

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) 3499.54 3717.2

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark1995.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
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 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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 (58088 MiB free)
  memory of node 1: 64510 MiB (55697 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441397-1721833469/watcher-4441397-1721833469 -o /tmp/evaluation-result-4441397-1721833469/solver-4441397-1721833469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721828944-189936 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441397-1721833469 --seed=1502451353 HOME/instance-4441397-1721833469.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=193129, runsolver pid=193126

[startup+0.100318 s]*
/proc/loadavg: 4.15 4.20 4.18 5/261 193130
/proc/meminfo: memFree=116383216/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=158604 memory=135392 CPUtime=0.09 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 12232 0 0 0 6 3 0 0 20 0 1 0 19876228 162410496 33848 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 39651 33848 852 1006 0 38412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 158604 KiB
Current children cumulated memory: 135392 KiB

[startup+0.206322 s]*
/proc/loadavg: 4.15 4.20 4.18 5/261 193130
/proc/meminfo: memFree=116343240/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=197232 memory=174200 CPUtime=0.19 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 21875 0 0 0 14 5 0 0 20 0 1 0 19876228 201965568 43550 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 49308 43550 852 1006 0 48069 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 197232 KiB
Current children cumulated memory: 174200 KiB

[startup+0.306321 s]*
/proc/loadavg: 4.15 4.20 4.18 5/261 193130
/proc/meminfo: memFree=116325432/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=212940 memory=191212 CPUtime=0.28 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 26111 0 0 0 22 6 0 0 20 0 1 0 19876228 218050560 47803 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 53235 47803 883 1006 0 51996 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 212940 KiB
Current children cumulated memory: 191212 KiB

[startup+0.70032 s]
/proc/loadavg: 4.15 4.20 4.18 5/261 193130
/proc/meminfo: memFree=116299500/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=252144 memory=234988 CPUtime=0.66 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 36169 0 0 0 58 8 0 0 20 0 1 0 19876228 258195456 58747 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 63036 58747 915 1006 0 61797 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 252144 KiB
Current children cumulated memory: 234988 KiB

[startup+1.50032 s]
/proc/loadavg: 4.15 4.20 4.18 5/261 193130
/proc/meminfo: memFree=116143256/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=377364 memory=358956 CPUtime=1.45 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 55615 0 0 0 132 13 0 0 20 0 1 0 19876228 386420736 89739 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 94341 89739 1107 1006 0 93102 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 377364 KiB
Current children cumulated memory: 358956 KiB

[startup+3.10554 s]
/proc/loadavg: 4.14 4.19 4.18 5/261 193130
/proc/meminfo: memFree=116058220/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=383612 memory=368612 CPUtime=3.04 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 57040 0 0 0 289 15 0 0 20 0 1 0 19876228 392818688 92153 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 95903 92153 1123 1006 0 94664 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 383612 KiB
Current children cumulated memory: 368612 KiB

[startup+6.30022 s]
/proc/loadavg: 4.14 4.19 4.18 5/261 193130
/proc/meminfo: memFree=115933204/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=434728 memory=405860 CPUtime=6.23 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 61971 0 0 0 602 21 0 0 20 0 1 0 19876228 445161472 101465 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 108682 101465 1123 1006 0 107443 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 434728 KiB
Current children cumulated memory: 405860 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.19 4.18 5/261 193132
/proc/meminfo: memFree=115663568/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=559448 memory=501580 CPUtime=12.6 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 77966 0 0 0 1228 32 0 0 20 0 1 0 19876228 572874752 125395 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 139862 125395 1123 1006 0 138623 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 559448 KiB
Current children cumulated memory: 501580 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.20 4.18 5/260 193134
/proc/meminfo: memFree=115084828/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=844860 memory=695168 CPUtime=25.37 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 102749 0 0 0 2481 56 0 0 20 0 1 0 19876228 865136640 173792 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 211215 173792 1123 1006 0 209976 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 844860 KiB
Current children cumulated memory: 695168 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.20 4.18 5/260 193141
/proc/meminfo: memFree=114133136/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=989536 memory=944124 CPUtime=49.1 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 137640 0 0 0 4824 86 0 0 20 0 1 0 19876228 1013284864 236031 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 181 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 247384 236031 1123 1006 0 246145 0
Current children cumulated CPU time: 49.1 s
Current children cumulated vsize: 989536 KiB
Current children cumulated memory: 944124 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/260 193151
/proc/meminfo: memFree=112497408/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=1781688 memory=1440684 CPUtime=97.42 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 180459 0 0 0 9592 150 0 0 20 0 1 0 19876228 1824448512 360171 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 454 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 445422 360171 1123 1006 0 444183 0
Current children cumulated CPU time: 97.42 s
Current children cumulated vsize: 1781688 KiB
Current children cumulated memory: 1440684 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.18 4.17 5/260 193161
/proc/meminfo: memFree=109999424/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=1904152 memory=1569060 CPUtime=156.05 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 211291 0 0 0 15367 238 0 0 20 0 1 0 19876228 1949851648 392265 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 574 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 476038 392265 1123 1006 0 474799 0
Current children cumulated CPU time: 156.05 s
Current children cumulated vsize: 1904152 KiB
Current children cumulated memory: 1569060 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/262 193174
/proc/meminfo: memFree=108479444/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=2130376 memory=1790440 CPUtime=214.32 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 266906 0 0 0 21146 286 0 0 20 0 1 0 19876228 2181505024 447610 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 733 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 532594 447610 1168 1006 0 531355 0
Current children cumulated CPU time: 214.32 s
Current children cumulated vsize: 2130376 KiB
Current children cumulated memory: 1790440 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/262 193185
/proc/meminfo: memFree=106186056/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=2187384 memory=1848196 CPUtime=270.96 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 281583 0 0 0 26729 367 0 0 20 0 1 0 19876228 2239881216 462049 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1056 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 546846 462049 1168 1006 0 545607 0
Current children cumulated CPU time: 270.96 s
Current children cumulated vsize: 2187384 KiB
Current children cumulated memory: 1848196 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.13 4.16 5/261 193198
/proc/meminfo: memFree=103676060/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=2327304 memory=1990028 CPUtime=328.9 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 301575 0 0 0 32433 457 0 0 20 0 1 0 19876228 2383159296 497507 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1247 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 581826 497507 1168 1006 0 580587 0
Current children cumulated CPU time: 328.9 s
Current children cumulated vsize: 2327304 KiB
Current children cumulated memory: 1990028 KiB

[startup+402.3 s]
/proc/loadavg: 4.35 4.18 4.17 5/261 193212
/proc/meminfo: memFree=101430024/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=2466740 memory=2125176 CPUtime=387.4 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) D 193126 193129 189925 0 -1 4194304 335487 0 0 0 38205 535 0 0 20 0 1 0 19876228 2525941760 531294 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1374 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 616685 531294 1168 1006 0 615446 0
Current children cumulated CPU time: 387.4 s
Current children cumulated vsize: 2466740 KiB
Current children cumulated memory: 2125176 KiB

[startup+462.3 s]
/proc/loadavg: 4.32 4.22 4.19 5/263 193224
/proc/meminfo: memFree=100466332/131524600 swapFree=131054992/131071996
[pid=193129] ppid=193126 vsize=2498000 memory=2162708 CPUtime=445.92 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 342349 0 0 0 44033 559 0 0 20 0 1 0 19876228 2557952000 540677 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1515 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 624500 540677 1200 1006 0 623261 0

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

[startup+3102.3 s]
/proc/loadavg: 4.39 4.31 4.24 4/264 195264
/proc/meminfo: memFree=41969876/131524600 swapFree=131048300/131071996
[pid=193129] ppid=193126 vsize=6505180 memory=5735528 CPUtime=2918.89 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 848161 0 0 0 288588 3301 0 0 20 0 1 0 19876228 6661304320 1433882 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 17509 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1626295 1433882 1200 1006 0 1625056 0
Current children cumulated CPU time: 2918.89 s
Current children cumulated vsize: 6505180 KiB
Current children cumulated memory: 5735528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.81 4.43 4.29 5/270 195287
/proc/meminfo: memFree=37221148/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6510572 memory=5740836 CPUtime=2975.23 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 854677 0 0 0 294141 3382 0 0 20 0 1 0 19876228 6666825728 1435209 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 17861 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1627643 1435209 1200 1006 0 1626404 0
Current children cumulated CPU time: 2975.23 s
Current children cumulated vsize: 6510572 KiB
Current children cumulated memory: 5740836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.39 4.38 4.28 5/271 195516
/proc/meminfo: memFree=34457048/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6511960 memory=5742224 CPUtime=3035.01 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 862595 0 0 0 300093 3408 0 0 20 0 1 0 19876228 6668247040 1435556 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 17865 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1627990 1435556 1200 1006 0 1626751 0
Current children cumulated CPU time: 3035.01 s
Current children cumulated vsize: 6511960 KiB
Current children cumulated memory: 5742224 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.32 4.26 5/270 195526
/proc/meminfo: memFree=30394272/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6547660 memory=5769948 CPUtime=3093.27 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 879021 0 0 0 305894 3433 0 0 20 0 1 0 19876228 6704803840 1442487 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18023 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1636915 1442487 1200 1006 0 1635676 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 6547660 KiB
Current children cumulated memory: 5769948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.29 4.26 5/270 195539
/proc/meminfo: memFree=27722320/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6547660 memory=5769948 CPUtime=3151.68 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 887018 0 0 0 311708 3460 0 0 20 0 1 0 19876228 6704803840 1442487 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18166 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1636915 1442487 1200 1006 0 1635676 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 6547660 KiB
Current children cumulated memory: 5769948 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.24 4.24 5/268 195563
/proc/meminfo: memFree=23528808/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6575628 memory=5797608 CPUtime=3210.01 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 907472 0 0 0 317515 3486 0 0 20 0 1 0 19876228 6733443072 1449402 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18318 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1643907 1449402 1200 1006 0 1642668 0
Current children cumulated CPU time: 3210.01 s
Current children cumulated vsize: 6575628 KiB
Current children cumulated memory: 5797608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.22 4.23 4/267 195573
/proc/meminfo: memFree=20358788/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6588020 memory=5810220 CPUtime=3267.6 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 919512 0 0 0 323242 3518 0 0 20 0 1 0 19876228 6746132480 1452555 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18545 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1647005 1452555 1200 1006 0 1645766 0
Current children cumulated CPU time: 3267.6 s
Current children cumulated vsize: 6588020 KiB
Current children cumulated memory: 5810220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.20 4.22 5/261 195583
/proc/meminfo: memFree=18002200/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6612120 memory=5834364 CPUtime=3327.32 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 935477 0 0 0 329188 3544 0 0 20 0 1 0 19876228 6770810880 1458591 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18557 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1653030 1458591 1200 1006 0 1651791 0
Current children cumulated CPU time: 3327.32 s
Current children cumulated vsize: 6612120 KiB
Current children cumulated memory: 5834364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.19 4.22 4/264 195599
/proc/meminfo: memFree=13497524/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6662916 memory=5883200 CPUtime=3386.77 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 957401 0 0 0 335111 3566 0 0 20 0 1 0 19876228 6822825984 1470800 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18597 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1665729 1470800 1200 1006 0 1664490 0
Current children cumulated CPU time: 3386.77 s
Current children cumulated vsize: 6662916 KiB
Current children cumulated memory: 5883200 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.17 4.20 5/267 195612
/proc/meminfo: memFree=10143360/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6729644 memory=6164920 CPUtime=3445.48 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 1059641 0 0 0 340945 3603 0 0 20 0 1 0 19876228 6891155456 1541230 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18710 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1682411 1541230 1200 1006 0 1681172 0
Current children cumulated CPU time: 3445.48 s
Current children cumulated vsize: 6729644 KiB
Current children cumulated memory: 6164920 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.09 4.15 4.19 5/266 195622
/proc/meminfo: memFree=6247576/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6787200 memory=6353464 CPUtime=3497.17 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 1145128 0 0 0 345940 3777 0 0 20 0 1 0 19876228 6950092800 1588366 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19299 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1696800 1588366 1200 1006 0 1695561 0
Current children cumulated CPU time: 3497.17 s
Current children cumulated vsize: 6787200 KiB
Current children cumulated memory: 6353464 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3717.2 s]
# the end of solver process 193129 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3461.35 s, system=38.192 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 4.09 4.15 4.19 5/266 195622
/proc/meminfo: memFree=6247576/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6787200 memory=6354880 CPUtime=3497.96 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 1145483 0 0 0 346015 3781 0 0 20 0 1 0 19876228 6950092800 1588720 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19299 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1696800 1588720 1200 1006 0 1695561 0
Current children cumulated CPU time: 3497.96 s
Current children cumulated vsize: 6787200 KiB
Current children cumulated memory: 6354880 KiB

[startup+3701.6 s]
/proc/loadavg: 4.09 4.15 4.19 5/266 195622
/proc/meminfo: memFree=6134824/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6787200 memory=6356096 CPUtime=3498.76 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 1145841 0 0 0 346091 3785 0 0 20 0 1 0 19876228 6950092800 1589024 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19299 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1696800 1589024 1200 1006 0 1695561 0
Current children cumulated CPU time: 3498.76 s
Current children cumulated vsize: 6787200 KiB
Current children cumulated memory: 6356096 KiB

[startup+3702 s]*
/proc/loadavg: 4.09 4.15 4.19 5/266 195622
/proc/meminfo: memFree=6016156/131524600 swapFree=131047008/131071996
[pid=193129] ppid=193126 vsize=6787200 memory=6356576 CPUtime=3499.17 cores=4,6
/proc/193129/stat : 193129 (Exact_veripb2) R 193126 193129 189925 0 -1 4194304 1145999 0 0 0 346129 3788 0 0 20 0 1 0 19876228 6950092800 1589144 134679101440 4194304 8311665 140728698595536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19299 0 0 9173656 9252184 46424064 140728698602312 140728698602592 140728698602592 140728698609607 0
/proc/193129/statm: 1696800 1589144 1200 1006 0 1695561 0
Current children cumulated CPU time: 3499.17 s
Current children cumulated vsize: 6787200 KiB
Current children cumulated memory: 6356576 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3717.2
CPU time (s): 3499.54
CPU user time (s): 3461.35
CPU system time (s): 38.192
CPU usage (%): 94.1445
Max. virtual memory (cumulated for all children) (KiB): 7076000
Max. memory (cumulated for all children) (KiB): 6356576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.35
system time used= 38.192
maximum resident set size= 6356788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1145999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 138935392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77776
involuntary context switches= 7021


# summary of solver processes directly reported to runsolver:
#   pid: 193129
#   total CPU time (s): 3499.54
#   total CPU user time (s): 3461.35
#   total CPU system time (s): 38.192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8525 second user time and 14.1892 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-24 17:04:30
IDJOB=4441397
IDBENCH=158606
IDSOLVER=3081
FILE ID=nodeC023/4441397-1721833469
RUNJOBID= nodeC023-1721828944-189936
SLURM_JOB_ID= 7891488
Free space on /tmp= 890056 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.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-4441397-1721833469/watcher-4441397-1721833469 -o /tmp/evaluation-result-4441397-1721833469/solver-4441397-1721833469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721828944-189936 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441397-1721833469 --seed=1502451353 HOME/instance-4441397-1721833469.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1502451353

nodeC023.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		: 3626.346
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.85
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		: 3689.890
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	: 7007.10
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		: 3681.201
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116517108 kB
MemAvailable:   129256372 kB
Buffers:          252988 kB
Cached:         13284628 kB
SwapCached:          172 kB
Active:          1591320 kB
Inactive:       12746628 kB
Active(anon):       2604 kB
Inactive(anon):   850388 kB
Active(file):    1588716 kB
Inactive(file): 11896240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054992 kB
Dirty:            183244 kB
Writeback:             0 kB
AnonPages:        799988 kB
Mapped:           107992 kB
Shmem:             52484 kB
KReclaimable:     187912 kB
Slab:             311040 kB
SReclaimable:     187912 kB
SUnreclaim:       123128 kB
KernelStack:        4224 kB
PageTables:        10988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1230084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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:    60182528 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 889912 MiB
End job on nodeC023 at 2024-07-24 18:06:27