Trace number 4459626

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

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
MD5SUMf98457bb85703d2b548256a3e6b4fdef
Bench CategoryDEC-NLC (decision problem, non-linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark7.06734
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

Solver Data 

3600.07/3609.01	c Program interrupted by user.
3600.07/3609.01	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: 64059 MiB (61328 MiB free)
  memory of node 1: 64510 MiB (60515 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459626-1721932566/watcher-4459626-1721932566 -o /tmp/evaluation-result-4459626-1721932566/solver-4459626-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721932566-243638 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=672496796 HOME/instance-4459626-1721932566.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=243698, runsolver pid=243695
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 0.14 0.09 0.09 5/243 243699
/proc/meminfo: memFree=124740312/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=43728 memory=23380 CPUtime=0.11 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 6002 0 0 0 9 2 0 0 20 0 1 0 29246386 44777472 5845 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 10932 5845 771 746 0 9996 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 43728 KiB
Current children cumulated memory: 23380 KiB

[startup+0.213445 s]*
/proc/loadavg: 0.14 0.09 0.09 5/243 243699
/proc/meminfo: memFree=124724068/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=55892 memory=35696 CPUtime=0.21 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 10093 0 0 0 18 3 0 0 20 0 1 0 29246386 57233408 8924 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 13973 8924 771 746 0 13037 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55892 KiB
Current children cumulated memory: 35696 KiB

[startup+0.313556 s]*
/proc/loadavg: 0.14 0.09 0.09 4/240 243703
/proc/meminfo: memFree=124721148/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=59204 memory=39188 CPUtime=0.32 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 10937 0 0 0 28 4 0 0 20 0 1 0 29246386 60624896 9797 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 14801 9797 787 746 0 13865 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 59204 KiB
Current children cumulated memory: 39188 KiB

[startup+0.700268 s]
/proc/loadavg: 0.14 0.09 0.09 4/238 243707
/proc/meminfo: memFree=124718580/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=60100 memory=42468 CPUtime=0.68 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 11157 0 0 0 64 4 0 0 20 0 1 0 29246386 61542400 10617 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 15025 10617 835 746 0 14089 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60100 KiB
Current children cumulated memory: 42468 KiB

[startup+1.50031 s]
/proc/loadavg: 0.14 0.09 0.09 3/233 243715
/proc/meminfo: memFree=124712296/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=67388 memory=55728 CPUtime=1.48 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 12989 0 0 0 143 5 0 0 20 0 1 0 29246386 69005312 13932 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 16847 13932 835 746 0 15911 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67388 KiB
Current children cumulated memory: 55728 KiB

[startup+3.11383 s]
/proc/loadavg: 0.14 0.09 0.09 5/244 243838
/proc/meminfo: memFree=124646748/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=92664 memory=83012 CPUtime=3.08 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 16465 0 0 0 301 7 0 0 20 0 1 0 29246386 94887936 20753 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 23166 20753 835 746 0 22230 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92664 KiB
Current children cumulated memory: 83012 KiB

[startup+6.30025 s]
/proc/loadavg: 0.53 0.18 0.12 5/244 243838
/proc/meminfo: memFree=124499896/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=126528 memory=115756 CPUtime=6.26 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 19415 0 0 0 617 9 0 0 20 0 1 0 29246386 129564672 28939 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 31632 28939 835 746 0 30696 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126528 KiB
Current children cumulated memory: 115756 KiB

[startup+12.7003 s]
/proc/loadavg: 0.81 0.24 0.14 5/244 243840
/proc/meminfo: memFree=124420064/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=167884 memory=132100 CPUtime=12.64 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 20391 0 0 0 1254 10 0 0 20 0 1 0 29246386 171913216 33025 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 41971 33025 835 746 0 41035 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 167884 KiB
Current children cumulated memory: 132100 KiB

[startup+25.5003 s]
/proc/loadavg: 1.52 0.42 0.20 5/244 243841
/proc/meminfo: memFree=124310992/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=177660 memory=156644 CPUtime=25.4 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 22547 0 0 0 2529 11 0 0 20 0 1 0 29246386 181923840 39161 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 44415 39161 835 746 0 43479 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 177660 KiB
Current children cumulated memory: 156644 KiB

[startup+51.1131 s]
/proc/loadavg: 2.56 0.76 0.32 5/244 243846
/proc/meminfo: memFree=124211272/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=181580 memory=166516 CPUtime=50.94 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 23538 0 0 0 5082 12 0 0 20 0 1 0 29246386 185937920 41629 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 45395 41629 835 746 0 44459 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 181580 KiB
Current children cumulated memory: 166516 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.26 0.52 5/244 243854
/proc/meminfo: memFree=124122148/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=285312 memory=205164 CPUtime=101.96 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 31953 0 0 0 10180 16 0 0 20 0 1 0 29246386 292159488 51291 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 71328 51291 835 746 0 70392 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 285312 KiB
Current children cumulated memory: 205164 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.78 0.74 5/244 243865
/proc/meminfo: memFree=124101592/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=287680 memory=210068 CPUtime=161.78 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 32682 0 0 0 16162 16 0 0 20 0 1 0 29246386 294584320 52517 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 71920 52517 835 746 0 70984 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 287680 KiB
Current children cumulated memory: 210068 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.22 0.96 5/244 243875
/proc/meminfo: memFree=124053976/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=290144 memory=221308 CPUtime=221.61 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 33453 0 0 0 22144 17 0 0 20 0 1 0 29246386 297107456 55327 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 72536 55327 835 746 0 71600 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 290144 KiB
Current children cumulated memory: 221308 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.57 1.16 6/247 243890
/proc/meminfo: memFree=124041104/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=293508 memory=224676 CPUtime=281.45 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 34297 0 0 0 28128 17 0 0 20 0 1 0 29246386 300552192 56169 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 73377 56169 835 746 0 72441 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 293508 KiB
Current children cumulated memory: 224676 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 2.85 1.35 5/245 243902
/proc/meminfo: memFree=124031452/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=295556 memory=228688 CPUtime=341.31 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 34912 0 0 0 34114 17 0 0 20 0 1 0 29246386 302649344 57172 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 73889 57172 835 746 0 72953 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 295556 KiB
Current children cumulated memory: 228688 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.08 1.52 5/246 243913
/proc/meminfo: memFree=124005132/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=296516 memory=231776 CPUtime=401.15 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 35157 0 0 0 40098 17 0 0 20 0 1 0 29246386 303632384 57944 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 74129 57944 835 746 0 73193 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 296516 KiB
Current children cumulated memory: 231776 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.26 1.69 5/246 243924
/proc/meminfo: memFree=123978768/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=312580 memory=245892 CPUtime=461 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 38816 0 0 0 46082 18 0 0 20 0 1 0 29246386 320081920 61473 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 78145 61473 835 746 0 77209 0

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

Current children cumulated memory: 299884 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.16 4.04 5/244 244931
/proc/meminfo: memFree=123429380/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=355020 memory=300656 CPUtime=2855.15 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 53798 0 0 0 285477 38 0 0 20 0 1 0 29246386 363540480 75164 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 88755 75164 835 746 0 87819 0
Current children cumulated CPU time: 2855.15 s
Current children cumulated vsize: 355020 KiB
Current children cumulated memory: 300656 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.04 5/244 244941
/proc/meminfo: memFree=123422484/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=355856 memory=301460 CPUtime=2915.01 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 54141 0 0 0 291463 38 0 0 20 0 1 0 29246386 364396544 75365 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 88964 75365 835 746 0 88028 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 355856 KiB
Current children cumulated memory: 301460 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.04 5/244 245335
/proc/meminfo: memFree=123418448/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=356048 memory=301684 CPUtime=2974.87 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 54302 0 0 0 297448 39 0 0 20 0 1 0 29246386 364593152 75421 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 89012 75421 835 746 0 88076 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 356048 KiB
Current children cumulated memory: 301684 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.05 5/244 245346
/proc/meminfo: memFree=123415132/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=357900 memory=303320 CPUtime=3034.73 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 54913 0 0 0 303434 39 0 0 20 0 1 0 29246386 366489600 75830 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 89475 75830 835 746 0 88539 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 357900 KiB
Current children cumulated memory: 303320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/244 245356
/proc/meminfo: memFree=123286932/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=358540 memory=304104 CPUtime=3094.59 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 55207 0 0 0 309419 40 0 0 20 0 1 0 29246386 367144960 76026 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 89635 76026 835 746 0 88699 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 358540 KiB
Current children cumulated memory: 304104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/246 245536
/proc/meminfo: memFree=123311896/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=358540 memory=304176 CPUtime=3154.44 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 55372 0 0 0 315403 41 0 0 20 0 1 0 29246386 367144960 76044 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 89635 76044 835 746 0 88699 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 358540 KiB
Current children cumulated memory: 304176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.05 5/246 245546
/proc/meminfo: memFree=123308796/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=359564 memory=305140 CPUtime=3214.29 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 55732 0 0 0 321388 41 0 0 20 0 1 0 29246386 368193536 76285 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 89891 76285 835 746 0 88955 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 359564 KiB
Current children cumulated memory: 305140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.07 5/244 245613
/proc/meminfo: memFree=123303996/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=359948 memory=305652 CPUtime=3274.15 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 55993 0 0 0 327373 42 0 0 20 0 1 0 29246386 368586752 76413 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 89987 76413 835 746 0 89051 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 359948 KiB
Current children cumulated memory: 305652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/244 245624
/proc/meminfo: memFree=123298280/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=360460 memory=305900 CPUtime=3334 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 56228 0 0 0 333358 42 0 0 20 0 1 0 29246386 369111040 76475 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 90115 76475 835 746 0 89179 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 360460 KiB
Current children cumulated memory: 305900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/244 245634
/proc/meminfo: memFree=123296144/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=360460 memory=306124 CPUtime=3393.85 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 56384 0 0 0 339342 43 0 0 20 0 1 0 29246386 369111040 76531 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 90115 76531 835 746 0 89179 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 360460 KiB
Current children cumulated memory: 306124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.08 5/243 245645
/proc/meminfo: memFree=123288724/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=361420 memory=307056 CPUtime=3453.72 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 56765 0 0 0 345328 44 0 0 20 0 1 0 29246386 370094080 76764 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 90355 76764 835 746 0 89419 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 361420 KiB
Current children cumulated memory: 307056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/243 245655
/proc/meminfo: memFree=123287548/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=361868 memory=307504 CPUtime=3513.57 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 56985 0 0 0 351313 44 0 0 20 0 1 0 29246386 370552832 76876 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 90467 76876 835 746 0 89531 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 361868 KiB
Current children cumulated memory: 307504 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/242 245665
/proc/meminfo: memFree=123275548/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=363404 memory=308916 CPUtime=3573.43 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 57527 0 0 0 357298 45 0 0 20 0 1 0 29246386 372125696 77229 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 90851 77229 835 746 0 89915 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 363404 KiB
Current children cumulated memory: 308916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.09 4.13 4.09 5/242 245669
/proc/meminfo: memFree=123272860/131655788 swapFree=131057052/131071996
[pid=243698] ppid=243695 vsize=363916 memory=309384 CPUtime=3600.07 cores=5,7
/proc/243698/stat : 243698 (Exact_nosoplex) R 243695 243698 243623 0 -1 4194304 57670 0 0 0 359962 45 0 0 20 0 1 0 29246386 372649984 77346 134679101440 4194304 7248369 140726132686400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 18006016 140726132687788 140726132687966 140726132687966 140726132694982 0
/proc/243698/statm: 90979 77346 835 746 0 90043 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 363916 KiB
Current children cumulated memory: 309384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.64 s, system=0.451863 s

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

Child status: 0

Real time (s): 3609.03
CPU time (s): 3600.09
CPU user time (s): 3599.64
CPU system time (s): 0.451863
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 374008
Max. memory (cumulated for all children) (KiB): 309384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.451863
maximum resident set size= 309384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 1765


# summary of solver processes directly reported to runsolver:
#   pid: 243698
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.64
#   total CPU system time (s): 0.451863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4797 second user time and 34.1722 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-25 20:36:07
IDJOB=4459626
IDBENCH=148253
IDSOLVER=3061
FILE ID=nodeC012/4459626-1721932566
RUNJOBID= nodeC012-1721932566-243638
SLURM_JOB_ID= 8247093
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459626-1721932566/watcher-4459626-1721932566 -o /tmp/evaluation-result-4459626-1721932566/solver-4459626-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721932566-243638 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=672496796 HOME/instance-4459626-1721932566.opb

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

MD5SUM BENCH= f98457bb85703d2b548256a3e6b4fdef
RANDOM SEED=672496796

nodeC012.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	: 0xb00001f
cpu MHz		: 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.244
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.370
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.298
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124765984 kB
MemAvailable:   129899648 kB
Buffers:          337584 kB
Cached:          5581500 kB
SwapCached:          188 kB
Active:          2645812 kB
Inactive:        3600280 kB
Active(anon):       3884 kB
Inactive(anon):   376224 kB
Active(file):    2641928 kB
Inactive(file):  3224056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057052 kB
Dirty:             18916 kB
Writeback:             8 kB
AnonPages:        323776 kB
Mapped:           116672 kB
Shmem:             53076 kB
KReclaimable:     214776 kB
Slab:             326640 kB
SReclaimable:     214776 kB
SUnreclaim:       111864 kB
KernelStack:        3664 kB
PageTables:        10004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     740160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC012 at 2024-07-25 21:36:16