Trace number 4452203

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_no_SoPlex 2024-07-05? (TO) 3501.47 3700.28

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-stp3d.0.s.opb
MD5SUM3669957ef10a08034abaee305bfecedd
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 variables204880
Total number of constraints159489
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24452
Minimum length of a constraint2
Maximum length of a constraint75648
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 3258328
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 503258152
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3501.33/3700.00	c Program interrupted by user.
3501.33/3700.00	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 (56537 MiB free)
  memory of node 1: 64473 MiB (24170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452203-1721837817/watcher-4452203-1721837817 -o /tmp/evaluation-result-4452203-1721837817/solver-4452203-1721837817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721830489-247831 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452203-1721837817 --seed=1696538400 HOME/instance-4452203-1721837817.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=252111, runsolver pid=252108

[startup+0.100068 s]*
/proc/loadavg: 4.15 4.14 4.10 4/262 252112
/proc/meminfo: memFree=82520536/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=157484 memory=128132 CPUtime=0.06 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 10654 0 0 0 3 3 0 0 20 0 1 0 20305665 161263616 32033 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 39371 32033 738 747 0 38434 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 157484 KiB
Current children cumulated memory: 128132 KiB

[startup+0.205622 s]*
/proc/loadavg: 4.15 4.14 4.10 4/262 252114
/proc/meminfo: memFree=82492780/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=179412 memory=152884 CPUtime=0.16 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 16876 0 0 0 11 5 0 0 20 0 1 0 20305665 183717888 38221 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 44853 38221 738 747 0 43916 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 179412 KiB
Current children cumulated memory: 152884 KiB

[startup+0.305661 s]*
/proc/loadavg: 4.15 4.14 4.10 4/262 252114
/proc/meminfo: memFree=82456568/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=233252 memory=196548 CPUtime=0.26 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 20602 0 0 0 20 6 0 0 20 0 1 0 20305665 238850048 49137 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 58313 49137 738 747 0 57376 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 233252 KiB
Current children cumulated memory: 196548 KiB

[startup+0.700205 s]
/proc/loadavg: 4.15 4.14 4.10 4/262 252114
/proc/meminfo: memFree=82420048/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=296328 memory=274660 CPUtime=0.65 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 38581 0 0 0 56 9 0 0 20 0 1 0 20305665 303439872 68665 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 74082 68665 770 747 0 73145 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 296328 KiB
Current children cumulated memory: 274660 KiB

[startup+1.5002 s]
/proc/loadavg: 4.15 4.14 4.10 4/262 252114
/proc/meminfo: memFree=82359508/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=293900 memory=284736 CPUtime=1.44 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 46688 0 0 0 133 11 0 0 20 0 1 0 20305665 300953600 71184 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 73475 71184 850 747 0 72538 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 293900 KiB
Current children cumulated memory: 284736 KiB

[startup+3.1064 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 252114
/proc/meminfo: memFree=82309428/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=303244 memory=296136 CPUtime=3.01 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 49022 0 0 0 286 15 0 0 20 0 1 0 20305665 310521856 74034 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 75811 74034 850 747 0 74874 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 303244 KiB
Current children cumulated memory: 296136 KiB

[startup+6.3002 s]
/proc/loadavg: 4.22 4.15 4.10 6/257 252140
/proc/meminfo: memFree=82339992/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=322580 memory=305036 CPUtime=6.19 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 51551 0 0 0 599 20 0 0 20 0 1 0 20305665 330321920 76259 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 80645 76259 850 747 0 79708 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 322580 KiB
Current children cumulated memory: 305036 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.10 5/263 252162
/proc/meminfo: memFree=115787424/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=333184 memory=323788 CPUtime=12.57 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 54808 0 0 0 1232 25 0 0 20 0 1 0 20305665 341180416 80947 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 83296 80947 850 747 0 82359 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 333184 KiB
Current children cumulated memory: 323788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 252165
/proc/meminfo: memFree=115248296/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=450544 memory=404024 CPUtime=25.32 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 68127 0 0 0 2493 39 0 0 20 0 1 0 20305665 461357056 101006 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 112636 101006 850 747 0 111699 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 450544 KiB
Current children cumulated memory: 404024 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.15 4.10 5/263 252170
/proc/meminfo: memFree=114442944/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=472436 memory=424816 CPUtime=48.92 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 72452 0 0 0 4834 58 0 0 20 0 1 0 20305665 483774464 106204 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 191 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 118109 106204 850 747 0 117172 0
Current children cumulated CPU time: 48.92 s
Current children cumulated vsize: 472436 KiB
Current children cumulated memory: 424816 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 4/263 252226
/proc/meminfo: memFree=113013832/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=501976 memory=456204 CPUtime=92.14 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) D 252108 252111 247821 0 -1 4194304 79980 0 0 0 9120 94 0 0 20 0 1 0 20305665 514023424 114051 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 827 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 125494 114051 850 747 0 124557 0
Current children cumulated CPU time: 92.14 s
Current children cumulated vsize: 501976 KiB
Current children cumulated memory: 456204 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/259 252236
/proc/meminfo: memFree=110790712/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=662096 memory=642044 CPUtime=143.82 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 103686 0 0 0 14245 137 0 0 20 0 1 0 20305665 677986304 160511 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1784 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 165524 160511 850 747 0 164587 0
Current children cumulated CPU time: 143.82 s
Current children cumulated vsize: 662096 KiB
Current children cumulated memory: 642044 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/261 252251
/proc/meminfo: memFree=108115280/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=924032 memory=832632 CPUtime=188.03 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 135785 0 0 0 18604 199 0 0 20 0 1 0 20305665 946208768 208158 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3350 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 231008 208158 850 747 0 230071 0
Current children cumulated CPU time: 188.03 s
Current children cumulated vsize: 924032 KiB
Current children cumulated memory: 832632 KiB

[startup+282.3 s]
/proc/loadavg: 4.44 4.24 4.14 5/262 252264
/proc/meminfo: memFree=105370228/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=934464 memory=874860 CPUtime=241.19 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 137979 0 0 0 23844 275 0 0 20 0 1 0 20305665 956891136 218715 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4017 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 233616 218715 850 747 0 232679 0
Current children cumulated CPU time: 241.19 s
Current children cumulated vsize: 934464 KiB
Current children cumulated memory: 874860 KiB

[startup+342.301 s]
/proc/loadavg: 4.25 4.23 4.14 5/266 252279
/proc/meminfo: memFree=103697120/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=934464 memory=874900 CPUtime=293.58 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 138179 0 0 0 29045 313 0 0 20 0 1 0 20305665 956891136 218725 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4760 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 233616 218725 850 747 0 232679 0
Current children cumulated CPU time: 293.58 s
Current children cumulated vsize: 934464 KiB
Current children cumulated memory: 874900 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/266 252289
/proc/meminfo: memFree=101478164/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=943504 memory=881180 CPUtime=351.6 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 139513 0 0 0 34797 363 0 0 20 0 1 0 20305665 966148096 220295 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4940 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 235876 220295 850 747 0 234939 0
Current children cumulated CPU time: 351.6 s
Current children cumulated vsize: 943504 KiB
Current children cumulated memory: 881180 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.19 4.13 5/266 252300
/proc/meminfo: memFree=99474964/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=943504 memory=881180 CPUtime=409.09 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 139770 0 0 0 40503 406 0 0 20 0 1 0 20305665 966148096 220295 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5172 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 235876 220295 850 747 0 234939 0

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

Current children cumulated memory: 1452400 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/254 254023
/proc/meminfo: memFree=15466016/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1605072 memory=1452400 CPUtime=2817.61 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 261304 0 0 0 279382 2379 0 0 20 0 1 0 20305665 1643593728 363100 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 15249 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 401268 363100 850 747 0 400331 0
Current children cumulated CPU time: 2817.61 s
Current children cumulated vsize: 1605072 KiB
Current children cumulated memory: 1452400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/254 254033
/proc/meminfo: memFree=13074824/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1606636 memory=1453964 CPUtime=2873.35 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 262196 0 0 0 284910 2425 0 0 20 0 1 0 20305665 1645195264 363491 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 15658 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 401659 363491 850 747 0 400722 0
Current children cumulated CPU time: 2873.35 s
Current children cumulated vsize: 1606636 KiB
Current children cumulated memory: 1453964 KiB

[startup+3102.3 s]
/proc/loadavg: 3.99 4.11 4.12 4/252 254049
/proc/meminfo: memFree=19544944/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1608128 memory=1455456 CPUtime=2930.08 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 263044 0 0 0 290549 2459 0 0 20 0 1 0 20305665 1646723072 363864 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 15966 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 402032 363864 850 747 0 401095 0
Current children cumulated CPU time: 2930.08 s
Current children cumulated vsize: 1608128 KiB
Current children cumulated memory: 1455456 KiB

[startup+3162.3 s]
/proc/loadavg: 3.43 3.93 4.06 4/251 254059
/proc/meminfo: memFree=17258332/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1608568 memory=1455896 CPUtime=2987.15 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 263732 0 0 0 296211 2504 0 0 20 0 1 0 20305665 1647173632 363974 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 16240 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 402142 363974 850 747 0 401205 0
Current children cumulated CPU time: 2987.15 s
Current children cumulated vsize: 1608568 KiB
Current children cumulated memory: 1455896 KiB

[startup+3222.3 s]
/proc/loadavg: 3.20 3.78 4.00 4/253 254073
/proc/meminfo: memFree=15350356/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1609352 memory=1456680 CPUtime=3045.56 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 264456 0 0 0 302019 2537 0 0 20 0 1 0 20305665 1647976448 364170 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 16381 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 402338 364170 850 747 0 401401 0
Current children cumulated CPU time: 3045.56 s
Current children cumulated vsize: 1609352 KiB
Current children cumulated memory: 1456680 KiB

[startup+3282.3 s]
/proc/loadavg: 3.18 3.66 3.94 4/253 254084
/proc/meminfo: memFree=13403872/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1614848 memory=1462176 CPUtime=3102.43 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 265832 0 0 0 307670 2573 0 0 20 0 1 0 20305665 1653604352 365544 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 16676 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 403712 365544 850 747 0 402775 0
Current children cumulated CPU time: 3102.43 s
Current children cumulated vsize: 1614848 KiB
Current children cumulated memory: 1462176 KiB

[startup+3342.3 s]
/proc/loadavg: 3.36 3.62 3.91 4/253 254095
/proc/meminfo: memFree=11404004/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1614848 memory=1462176 CPUtime=3159.57 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 266260 0 0 0 313344 2613 0 0 20 0 1 0 20305665 1653604352 365544 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 16943 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 403712 365544 850 747 0 402775 0
Current children cumulated CPU time: 3159.57 s
Current children cumulated vsize: 1614848 KiB
Current children cumulated memory: 1462176 KiB

[startup+3402.3 s]
/proc/loadavg: 3.25 3.54 3.86 4/254 254106
/proc/meminfo: memFree=9869272/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1614848 memory=1462176 CPUtime=3217.33 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 266883 0 0 0 319075 2658 0 0 20 0 1 0 20305665 1653604352 365544 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17148 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 403712 365544 850 747 0 402775 0
Current children cumulated CPU time: 3217.33 s
Current children cumulated vsize: 1614848 KiB
Current children cumulated memory: 1462176 KiB

[startup+3462.3 s]
/proc/loadavg: 3.47 3.53 3.84 4/254 254118
/proc/meminfo: memFree=9210500/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1615884 memory=1463212 CPUtime=3274.95 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 267653 0 0 0 324795 2700 0 0 20 0 1 0 20305665 1654665216 365803 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 2 0 0 17343 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 403971 365803 850 747 0 403034 0
Current children cumulated CPU time: 3274.95 s
Current children cumulated vsize: 1615884 KiB
Current children cumulated memory: 1463212 KiB

[startup+3522.3 s]
/proc/loadavg: 3.22 3.45 3.79 4/252 254129
/proc/meminfo: memFree=7877784/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1615884 memory=1463212 CPUtime=3332.93 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 268178 0 0 0 330538 2755 0 0 20 0 1 0 20305665 1654665216 365803 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17502 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 403971 365803 850 747 0 403034 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1615884 KiB
Current children cumulated memory: 1463212 KiB

[startup+3582.3 s]
/proc/loadavg: 3.21 3.41 3.75 4/253 254141
/proc/meminfo: memFree=5952972/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1617988 memory=1465360 CPUtime=3390.48 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 269217 0 0 0 336236 2812 0 0 20 0 1 0 20305665 1656819712 366340 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17729 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 404497 366340 850 747 0 403560 0
Current children cumulated CPU time: 3390.48 s
Current children cumulated vsize: 1617988 KiB
Current children cumulated memory: 1465360 KiB

[startup+3642.3 s]
/proc/loadavg: 3.13 3.35 3.71 4/253 254152
/proc/meminfo: memFree=3437328/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1619804 memory=1468096 CPUtime=3446.79 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 270156 0 0 0 341810 2869 0 0 20 0 1 0 20305665 1658679296 367024 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18081 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 404951 367024 850 747 0 404014 0
Current children cumulated CPU time: 3446.79 s
Current children cumulated vsize: 1619804 KiB
Current children cumulated memory: 1468096 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.09 3.30 3.67 4/254 254161
/proc/meminfo: memFree=1356600/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1622696 memory=1470984 CPUtime=3501.33 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) R 252108 252111 247821 0 -1 4194304 271459 0 0 0 347202 2931 0 0 20 0 1 0 20305665 1661640704 367746 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18380 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 405674 367746 850 747 0 404737 0
Current children cumulated CPU time: 3501.33 s
Current children cumulated vsize: 1622696 KiB
Current children cumulated memory: 1470984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3472.13 s, system=29.3388 s

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

[startup+3700.2 s]
/proc/loadavg: 3.09 3.30 3.67 4/254 254161
/proc/meminfo: memFree=1356600/131524600 swapFree=131056796/131071996
[pid=252111] ppid=252108 vsize=1017384 memory=1008744 CPUtime=3501.46 cores=0,2
/proc/252111/stat : 252111 (Exact_veripb2_n) D 252108 252111 247821 0 -1 4194304 271500 0 0 0 347213 2933 0 0 20 0 1 0 20305665 1041801216 252186 134679101440 4194304 7250417 140734006427952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18391 0 0 7950792 8015128 28581888 140734006436662 140734006436951 140734006436951 140734006443966 0
/proc/252111/statm: 254346 252186 850 747 0 253409 0
Current children cumulated CPU time: 3501.46 s
Current children cumulated vsize: 1017384 KiB
Current children cumulated memory: 1008744 KiB

Child status: 0

Real time (s): 3700.28
CPU time (s): 3501.47
CPU user time (s): 3472.13
CPU system time (s): 29.3388
CPU usage (%): 94.6272
Max. virtual memory (cumulated for all children) (KiB): 1622696
Max. memory (cumulated for all children) (KiB): 1470984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3472.13
system time used= 29.3388
maximum resident set size= 1470984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271500
page faults= 1
swaps= 0
block input operations= 2512
block output operations= 110893872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3105
involuntary context switches= 28184


# summary of solver processes directly reported to runsolver:
#   pid: 252111
#   total CPU time (s): 3501.47
#   total CPU user time (s): 3472.13
#   total CPU system time (s): 29.3388

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93613 second user time and 16.7807 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-24 18:16:57
IDJOB=4452203
IDBENCH=163951
IDSOLVER=3080
FILE ID=nodeC030/4452203-1721837817
RUNJOBID= nodeC030-1721830489-247831
SLURM_JOB_ID= 7891509
Free space on /tmp= 890052 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2003/normalized-stp3d.0.s.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4452203-1721837817/watcher-4452203-1721837817 -o /tmp/evaluation-result-4452203-1721837817/solver-4452203-1721837817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721830489-247831 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452203-1721837817 --seed=1696538400 HOME/instance-4452203-1721837817.opb

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

MD5SUM BENCH= 3669957ef10a08034abaee305bfecedd
RANDOM SEED=1696538400

nodeC030.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		: 3611.542
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.45
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		: 3624.484
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.46
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		: 3636.160
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.45
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		: 3600.333
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.46
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		: 3641.811
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.45
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		: 3624.492
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.46
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		: 3602.016
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.45
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.304
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        82645644 kB
MemAvailable:   129462208 kB
Buffers:          254376 kB
Cached:         47264600 kB
SwapCached:          220 kB
Active:          2547608 kB
Inactive:       45410460 kB
Active(anon):       2404 kB
Inactive(anon):   489828 kB
Active(file):    2545204 kB
Inactive(file): 44920632 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:            213540 kB
Writeback:       1438236 kB
AnonPages:        434720 kB
Mapped:           116344 kB
Shmem:             53048 kB
KReclaimable:     381104 kB
Slab:             560956 kB
SReclaimable:     381104 kB
SUnreclaim:       179852 kB
KernelStack:        4224 kB
PageTables:        10444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     834780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC030 at 2024-07-24 19:18:37