Trace number 4433587

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

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
MD5SUMa11c5c9a015f48f3bddc22713bc48593
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1363.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.00/3609.50	c Program interrupted by user.
3600.00/3609.50	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 (59677 MiB free)
  memory of node 1: 64473 MiB (63270 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433587-1721118929/watcher-4433587-1721118929 -o /tmp/evaluation-result-4433587-1721118929/solver-4433587-1721118929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721117151-863630 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1139793291 HOME/instance-4433587-1721118929.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=864951, runsolver pid=864948

[startup+0.100569 s]*
/proc/loadavg: 4.09 4.17 3.78 5/259 864952
/proc/meminfo: memFree=125868688/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=47672 memory=32716 CPUtime=0.09 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 6604 0 0 0 9 0 0 0 20 0 1 0 164055335 48816128 8179 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 11918 8179 787 746 0 10982 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47672 KiB
Current children cumulated memory: 32716 KiB

[startup+0.205585 s]*
/proc/loadavg: 4.09 4.17 3.78 5/259 864952
/proc/meminfo: memFree=125841644/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=70644 memory=60780 CPUtime=0.19 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 11778 0 0 0 18 1 0 0 20 0 1 0 164055335 72339456 15195 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 17661 15195 787 746 0 16725 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70644 KiB
Current children cumulated memory: 60780 KiB

[startup+0.305485 s]*
/proc/loadavg: 4.09 4.17 3.78 5/259 864952
/proc/meminfo: memFree=125817708/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=101280 memory=84036 CPUtime=0.29 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 15647 0 0 0 26 3 0 0 20 0 1 0 164055335 103710720 21009 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 25320 21009 787 746 0 24384 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101280 KiB
Current children cumulated memory: 84036 KiB

[startup+0.700225 s]
/proc/loadavg: 4.09 4.17 3.78 5/259 864952
/proc/meminfo: memFree=125775768/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=155364 memory=128244 CPUtime=0.68 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 23443 0 0 0 63 5 0 0 20 0 1 0 164055335 159092736 32061 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 38841 32061 851 746 0 37905 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 155364 KiB
Current children cumulated memory: 128244 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.17 3.78 5/259 864952
/proc/meminfo: memFree=125766520/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=159488 memory=140644 CPUtime=1.48 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 24466 0 0 0 143 5 0 0 20 0 1 0 164055335 163315712 35161 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 39872 35161 851 746 0 38936 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159488 KiB
Current children cumulated memory: 140644 KiB

[startup+3.10531 s]
/proc/loadavg: 4.09 4.17 3.78 5/259 864952
/proc/meminfo: memFree=125747584/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=163948 memory=153232 CPUtime=3.07 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 25590 0 0 0 302 5 0 0 20 0 1 0 164055335 167882752 38308 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 40987 38308 851 746 0 40051 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 163948 KiB
Current children cumulated memory: 153232 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.16 3.78 5/259 864952
/proc/meminfo: memFree=125729356/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=208080 memory=171992 CPUtime=6.26 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 27685 0 0 0 619 7 0 0 20 0 1 0 164055335 213073920 42998 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 52020 42998 851 746 0 51084 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 208080 KiB
Current children cumulated memory: 171992 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.16 3.79 5/259 864953
/proc/meminfo: memFree=125684472/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=231712 memory=213652 CPUtime=12.65 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 31516 0 0 0 1256 9 0 0 20 0 1 0 164055335 237273088 53413 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 57928 53413 851 746 0 56992 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 231712 KiB
Current children cumulated memory: 213652 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.17 3.80 5/256 864955
/proc/meminfo: memFree=125669252/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=237228 memory=227700 CPUtime=25.41 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 32038 0 0 0 2532 9 0 0 20 0 1 0 164055335 242921472 56925 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 59307 56925 851 746 0 58371 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 237228 KiB
Current children cumulated memory: 227700 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.15 3.80 5/256 864959
/proc/meminfo: memFree=125655312/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=248604 memory=241368 CPUtime=50.95 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 33545 0 0 0 5086 9 0 0 20 0 1 0 164055335 254570496 60342 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 62151 60342 851 746 0 61215 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 248604 KiB
Current children cumulated memory: 241368 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 3.82 5/256 864968
/proc/meminfo: memFree=125627928/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=330956 memory=266892 CPUtime=102.01 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 34565 0 0 0 10189 12 0 0 20 0 1 0 164055335 338898944 66723 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 82739 66723 851 746 0 81803 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 330956 KiB
Current children cumulated memory: 266892 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 3.84 5/256 864979
/proc/meminfo: memFree=125614944/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=341716 memory=277600 CPUtime=161.84 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 36318 0 0 0 16172 12 0 0 20 0 1 0 164055335 349917184 69400 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 85429 69400 851 746 0 84493 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 341716 KiB
Current children cumulated memory: 277600 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 3.86 5/256 864989
/proc/meminfo: memFree=125609620/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=344400 memory=280248 CPUtime=221.68 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 37060 0 0 0 22156 12 0 0 20 0 1 0 164055335 352665600 70062 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 86100 70062 851 746 0 85164 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 344400 KiB
Current children cumulated memory: 280248 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.15 3.89 5/256 864999
/proc/meminfo: memFree=125599436/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=349692 memory=285532 CPUtime=281.52 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 38451 0 0 0 28139 13 0 0 20 0 1 0 164055335 358084608 71383 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 87423 71383 851 746 0 86487 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 349692 KiB
Current children cumulated memory: 285532 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.14 3.91 5/257 865015
/proc/meminfo: memFree=125561224/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=350884 memory=309364 CPUtime=341.36 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 38843 0 0 0 34123 13 0 0 20 0 1 0 164055335 359305216 77341 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 87721 77341 851 746 0 86785 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 350884 KiB
Current children cumulated memory: 309364 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.13 3.92 5/257 865025
/proc/meminfo: memFree=125528392/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=367616 memory=336336 CPUtime=401.2 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 41066 0 0 0 40106 14 0 0 20 0 1 0 164055335 376438784 84084 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 91904 84084 851 746 0 90968 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 367616 KiB
Current children cumulated memory: 336336 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.13 3.94 5/258 865036
/proc/meminfo: memFree=125525260/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=368548 memory=337168 CPUtime=461.03 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 41368 0 0 0 46089 14 0 0 20 0 1 0 164055335 377393152 84292 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 92137 84292 851 746 0 91201 0

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

Current children cumulated memory: 455980 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 866193
/proc/meminfo: memFree=117748188/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=462584 memory=456084 CPUtime=2914.53 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 62381 0 0 0 291434 19 0 0 20 0 1 0 164055335 473686016 114021 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 115646 114021 851 746 0 114710 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 462584 KiB
Current children cumulated memory: 456084 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 866203
/proc/meminfo: memFree=117659336/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=462584 memory=456084 CPUtime=2974.37 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 62570 0 0 0 297418 19 0 0 20 0 1 0 164055335 473686016 114021 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 115646 114021 851 746 0 114710 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 462584 KiB
Current children cumulated memory: 456084 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 866597
/proc/meminfo: memFree=117578440/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=463096 memory=456500 CPUtime=3034.22 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 62875 0 0 0 303403 19 0 0 20 0 1 0 164055335 474210304 114125 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 115774 114125 851 746 0 114838 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 463096 KiB
Current children cumulated memory: 456500 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 866607
/proc/meminfo: memFree=117542004/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=463512 memory=456892 CPUtime=3094.06 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 63168 0 0 0 309387 19 0 0 20 0 1 0 164055335 474636288 114223 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 115878 114223 851 746 0 114942 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 463512 KiB
Current children cumulated memory: 456892 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 866619
/proc/meminfo: memFree=117482392/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=464216 memory=457392 CPUtime=3153.91 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 63551 0 0 0 315372 19 0 0 20 0 1 0 164055335 475357184 114348 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 116054 114348 851 746 0 115118 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 464216 KiB
Current children cumulated memory: 457392 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 866798
/proc/meminfo: memFree=117432964/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=464216 memory=457620 CPUtime=3213.76 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 63741 0 0 0 321357 19 0 0 20 0 1 0 164055335 475357184 114405 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 116054 114405 851 746 0 115118 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 464216 KiB
Current children cumulated memory: 457620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 866808
/proc/meminfo: memFree=117420028/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=464216 memory=457620 CPUtime=3273.61 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 63941 0 0 0 327342 19 0 0 20 0 1 0 164055335 475357184 114405 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 116054 114405 851 746 0 115118 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 464216 KiB
Current children cumulated memory: 457620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 866877
/proc/meminfo: memFree=117383220/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=464568 memory=457972 CPUtime=3333.46 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 64213 0 0 0 333327 19 0 0 20 0 1 0 164055335 475717632 114493 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 116142 114493 851 746 0 115206 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 464568 KiB
Current children cumulated memory: 457972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 866887
/proc/meminfo: memFree=117318580/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=468884 memory=462288 CPUtime=3393.32 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 64979 0 0 0 339312 20 0 0 20 0 1 0 164055335 480137216 115572 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 117221 115572 851 746 0 116285 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 468884 KiB
Current children cumulated memory: 462288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 866897
/proc/meminfo: memFree=117256844/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=469656 memory=462912 CPUtime=3453.17 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 65379 0 0 0 345297 20 0 0 20 0 1 0 164055335 480927744 115728 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 117414 115728 851 746 0 116478 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 469656 KiB
Current children cumulated memory: 462912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 866909
/proc/meminfo: memFree=117229708/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=469656 memory=463060 CPUtime=3513.02 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 65565 0 0 0 351282 20 0 0 20 0 1 0 164055335 480927744 115765 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 117414 115765 851 746 0 116478 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 469656 KiB
Current children cumulated memory: 463060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 866920
/proc/meminfo: memFree=117208140/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=471064 memory=464468 CPUtime=3572.87 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 66119 0 0 0 357267 20 0 0 20 0 1 0 164055335 482369536 116117 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 117766 116117 851 746 0 116830 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 471064 KiB
Current children cumulated memory: 464468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 866924
/proc/meminfo: memFree=117205300/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=471256 memory=464592 CPUtime=3600 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 66220 0 0 0 359980 20 0 0 20 0 1 0 164055335 482566144 116148 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 117814 116148 851 746 0 116878 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 471256 KiB
Current children cumulated memory: 464592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.87 s, system=0.204396 s

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

[startup+3609.5 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 866924
/proc/meminfo: memFree=117205300/131524600 swapFree=131071996/131071996
[pid=864951] ppid=864948 vsize=471256 memory=464592 CPUtime=3600 cores=1,3
/proc/864951/stat : 864951 (Exact_nosoplex) R 864948 864951 863618 0 -1 4194304 66220 0 0 0 359980 20 0 0 20 0 1 0 164055335 482566144 116148 134679101440 4194304 7248369 140721424910272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20672512 140721424913324 140721424913503 140721424913503 140721424920518 0
/proc/864951/statm: 117814 116148 851 746 0 116878 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 471256 KiB
Current children cumulated memory: 464592 KiB

Child status: 0

Real time (s): 3609.57
CPU time (s): 3600.08
CPU user time (s): 3599.87
CPU system time (s): 0.204396
CPU usage (%): 99.7369
Max. virtual memory (cumulated for all children) (KiB): 471256
Max. memory (cumulated for all children) (KiB): 464592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.204396
maximum resident set size= 464592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66225
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= 43
involuntary context switches= 3157


# summary of solver processes directly reported to runsolver:
#   pid: 864951
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.87
#   total CPU system time (s): 0.204396

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46033 second user time and 17.3481 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-16 10:35:41
IDJOB=4433587
IDBENCH=148775
IDSOLVER=3061
FILE ID=nodeC018/4433587-1721118929
RUNJOBID= nodeC018-1721117151-863630
SLURM_JOB_ID= 7505661
Free space on /tmp= 890068 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.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-4433587-1721118929/watcher-4433587-1721118929 -o /tmp/evaluation-result-4433587-1721118929/solver-4433587-1721118929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721117151-863630 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1139793291 HOME/instance-4433587-1721118929.opb

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

MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1139793291

nodeC018.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		: 3669.104
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.52
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		: 3661.583
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.060
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.52
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		: 3661.614
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.30
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		: 3669.041
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.52
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		: 3667.424
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125898956 kB
MemAvailable:   126192364 kB
Buffers:          389968 kB
Cached:           744168 kB
SwapCached:            0 kB
Active:           693216 kB
Inactive:        4339128 kB
Active(anon):       1560 kB
Inactive(anon):  3934036 kB
Active(file):     691656 kB
Inactive(file):   405092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4848 kB
Writeback:             0 kB
AnonPages:       3896060 kB
Mapped:           116224 kB
Shmem:             37720 kB
KReclaimable:      72968 kB
Slab:             179704 kB
SReclaimable:      72968 kB
SUnreclaim:       106736 kB
KernelStack:        4172 kB
PageTables:        16868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4777052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3336192 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:      232148 kB
DirectMap2M:    16318464 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC018 at 2024-07-16 11:35:51