Trace number 4446977

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.08 3610.41

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
MD5SUM5359c0df8e4997707ebdbb5ef15bc818
Bench CategoryDEC-LIN (decision problem, 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 benchmark1.62095
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.06/3610.40	c Program interrupted by user.
3600.06/3610.40	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 (62637 MiB free)
  memory of node 1: 64510 MiB (61797 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446977-1721344766/watcher-4446977-1721344766 -o /tmp/evaluation-result-4446977-1721344766/solver-4446977-1721344766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721341167-972483 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1741037807 HOME/instance-4446977-1721344766.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=974477, runsolver pid=974474

[startup+0.100276 s]*
/proc/loadavg: 4.15 4.17 4.11 5/237 974490
/proc/meminfo: memFree=127411344/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=34952 memory=13608 CPUtime=0.09 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 2722 0 0 0 9 0 0 0 20 0 1 0 186632997 35790848 3402 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 8738 3402 819 746 0 7802 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34952 KiB
Current children cumulated memory: 13608 KiB

[startup+0.212916 s]*
/proc/loadavg: 4.15 4.17 4.11 5/238 974504
/proc/meminfo: memFree=127411300/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=35436 memory=14196 CPUtime=0.21 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 2881 0 0 0 21 0 0 0 20 0 1 0 186632997 36286464 3549 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 8859 3549 835 746 0 7923 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35436 KiB
Current children cumulated memory: 14196 KiB

[startup+0.313062 s]*
/proc/loadavg: 4.15 4.17 4.11 5/241 974510
/proc/meminfo: memFree=127394440/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=35700 memory=14724 CPUtime=0.31 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 3014 0 0 0 30 1 0 0 20 0 1 0 186632997 36556800 3681 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 8925 3681 835 746 0 7989 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35700 KiB
Current children cumulated memory: 14724 KiB

[startup+0.70032 s]
/proc/loadavg: 4.15 4.17 4.11 5/241 974510
/proc/meminfo: memFree=127389492/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=36756 memory=18616 CPUtime=0.68 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 3476 0 0 0 67 1 0 0 20 0 1 0 186632997 37638144 4654 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 9189 4654 835 746 0 8253 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36756 KiB
Current children cumulated memory: 18616 KiB

[startup+1.50032 s]
/proc/loadavg: 4.15 4.17 4.11 5/241 974510
/proc/meminfo: memFree=127374496/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=38664 memory=22656 CPUtime=1.48 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 4025 0 0 0 147 1 0 0 20 0 1 0 186632997 39591936 5664 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 9666 5664 835 746 0 8730 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38664 KiB
Current children cumulated memory: 22656 KiB

[startup+3.1121 s]
/proc/loadavg: 4.15 4.17 4.11 5/241 974556
/proc/meminfo: memFree=127579432/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=41524 memory=35652 CPUtime=3.08 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 4881 0 0 0 307 1 0 0 20 0 1 0 186632997 42520576 8913 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 10381 8913 835 746 0 9445 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 35652 KiB

[startup+6.30029 s]
/proc/loadavg: 4.14 4.17 4.11 5/241 974556
/proc/meminfo: memFree=127524200/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=59064 memory=49428 CPUtime=6.27 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 6477 0 0 0 624 3 0 0 20 0 1 0 186632997 60481536 12357 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 14766 12357 835 746 0 13830 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59064 KiB
Current children cumulated memory: 49428 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.11 5/241 974557
/proc/meminfo: memFree=127493336/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=62664 memory=52864 CPUtime=12.65 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 7420 0 0 0 1262 3 0 0 20 0 1 0 186632997 64167936 13216 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 15666 13216 835 746 0 14730 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62664 KiB
Current children cumulated memory: 52864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.17 4.11 5/241 974559
/proc/meminfo: memFree=127472664/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=67148 memory=61684 CPUtime=25.4 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 8566 0 0 0 2536 4 0 0 20 0 1 0 186632997 68759552 15421 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 16787 15421 835 746 0 15851 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67148 KiB
Current children cumulated memory: 61684 KiB

[startup+51.1125 s]
/proc/loadavg: 4.12 4.16 4.11 5/241 974563
/proc/meminfo: memFree=127434072/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=93072 memory=66660 CPUtime=50.94 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 9749 0 0 0 5090 4 0 0 20 0 1 0 186632997 95305728 16665 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 23268 16665 835 746 0 22332 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 93072 KiB
Current children cumulated memory: 66660 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/243 974576
/proc/meminfo: memFree=127413772/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=99176 memory=72708 CPUtime=101.97 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 11326 0 0 0 10192 5 0 0 20 0 1 0 186632997 101556224 18177 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 24794 18177 835 746 0 23858 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 99176 KiB
Current children cumulated memory: 72708 KiB

[startup+162.3 s]
/proc/loadavg: 4.50 4.23 4.13 5/243 974586
/proc/meminfo: memFree=127394088/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=103032 memory=76472 CPUtime=161.77 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 12339 0 0 0 16172 5 0 0 20 0 1 0 186632997 105504768 19118 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 25758 19118 835 746 0 24822 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 103032 KiB
Current children cumulated memory: 76472 KiB

[startup+222.3 s]
/proc/loadavg: 4.65 4.34 4.18 5/243 974597
/proc/meminfo: memFree=127386720/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=104652 memory=78212 CPUtime=221.56 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 12790 0 0 0 22151 5 0 0 20 0 1 0 186632997 107163648 19553 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 26163 19553 835 746 0 25227 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 104652 KiB
Current children cumulated memory: 78212 KiB

[startup+282.3 s]
/proc/loadavg: 4.28 4.29 4.17 5/243 974607
/proc/meminfo: memFree=127365968/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=106660 memory=90424 CPUtime=281.36 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 13311 0 0 0 28131 5 0 0 20 0 1 0 186632997 109219840 22606 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 26665 22606 835 746 0 25729 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 106660 KiB
Current children cumulated memory: 90424 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.26 4.17 5/243 974618
/proc/meminfo: memFree=127359672/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=109536 memory=93216 CPUtime=341.16 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 14057 0 0 0 34111 5 0 0 20 0 1 0 186632997 112164864 23304 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 27384 23304 835 746 0 26448 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 109536 KiB
Current children cumulated memory: 93216 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.25 4.17 5/243 975013
/proc/meminfo: memFree=127353516/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=109536 memory=95412 CPUtime=400.96 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 14115 0 0 0 40091 5 0 0 20 0 1 0 186632997 112164864 23853 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 27384 23853 835 746 0 26448 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 109536 KiB
Current children cumulated memory: 95412 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/243 975023
/proc/meminfo: memFree=127348808/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=110696 memory=96536 CPUtime=460.79 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 14426 0 0 0 46073 6 0 0 20 0 1 0 186632997 113352704 24134 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 27674 24134 835 746 0 26738 0

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

Current children cumulated memory: 129748 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/241 976250
/proc/meminfo: memFree=127209000/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=137852 memory=129884 CPUtime=2854.19 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 23184 0 0 0 285410 9 0 0 20 0 1 0 186632997 141160448 32471 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 34463 32471 835 746 0 33527 0
Current children cumulated CPU time: 2854.19 s
Current children cumulated vsize: 137852 KiB
Current children cumulated memory: 129884 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/241 976260
/proc/meminfo: memFree=127205420/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=139172 memory=131204 CPUtime=2913.99 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 23553 0 0 0 291390 9 0 0 20 0 1 0 186632997 142512128 32801 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 34793 32801 835 746 0 33857 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 139172 KiB
Current children cumulated memory: 131204 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/241 976271
/proc/meminfo: memFree=127192228/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=179596 memory=140524 CPUtime=2973.8 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24320 0 0 0 297370 10 0 0 20 0 1 0 186632997 183906304 35131 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 44899 35131 835 746 0 43963 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 179596 KiB
Current children cumulated memory: 140524 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/241 976281
/proc/meminfo: memFree=127190572/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=179596 memory=140524 CPUtime=3033.61 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24379 0 0 0 303351 10 0 0 20 0 1 0 186632997 183906304 35131 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 44899 35131 835 746 0 43963 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 179596 KiB
Current children cumulated memory: 140524 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/243 976295
/proc/meminfo: memFree=127189668/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=179908 memory=140816 CPUtime=3093.42 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24504 0 0 0 309332 10 0 0 20 0 1 0 186632997 184225792 35204 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 44977 35204 835 746 0 44041 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 179908 KiB
Current children cumulated memory: 140816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/243 976305
/proc/meminfo: memFree=127187020/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=179908 memory=140816 CPUtime=3153.23 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24557 0 0 0 315313 10 0 0 20 0 1 0 186632997 184225792 35204 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 44977 35204 835 746 0 44041 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 179908 KiB
Current children cumulated memory: 140816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/243 976316
/proc/meminfo: memFree=127185120/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=179908 memory=140816 CPUtime=3213.03 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24614 0 0 0 321293 10 0 0 20 0 1 0 186632997 184225792 35204 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 44977 35204 835 746 0 44041 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 179908 KiB
Current children cumulated memory: 140816 KiB

[startup+3282.3 s]
/proc/loadavg: 4.67 4.31 4.16 5/244 976327
/proc/meminfo: memFree=127184288/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=179908 memory=140816 CPUtime=3272.84 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24673 0 0 0 327274 10 0 0 20 0 1 0 186632997 184225792 35204 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 44977 35204 835 746 0 44041 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 179908 KiB
Current children cumulated memory: 140816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.30 4.17 5/244 976338
/proc/meminfo: memFree=127183000/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=180132 memory=141040 CPUtime=3332.66 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 24793 0 0 0 333256 10 0 0 20 0 1 0 186632997 184455168 35260 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 45033 35260 835 746 0 44097 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 180132 KiB
Current children cumulated memory: 141040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.26 4.16 5/242 976349
/proc/meminfo: memFree=127180600/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=181396 memory=142304 CPUtime=3392.48 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 25163 0 0 0 339238 10 0 0 20 0 1 0 186632997 185749504 35576 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 45349 35576 835 746 0 44413 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 181396 KiB
Current children cumulated memory: 142304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.22 4.16 5/242 976359
/proc/meminfo: memFree=127179588/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=182024 memory=142788 CPUtime=3452.34 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 25380 0 0 0 345224 10 0 0 20 0 1 0 186632997 186392576 35697 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 45506 35697 835 746 0 44570 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 182024 KiB
Current children cumulated memory: 142788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.21 4.16 5/242 976369
/proc/meminfo: memFree=127178536/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=182276 memory=143304 CPUtime=3512.18 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 25529 0 0 0 351208 10 0 0 20 0 1 0 186632997 186650624 35826 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 45569 35826 835 746 0 44633 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 182276 KiB
Current children cumulated memory: 143304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/241 976380
/proc/meminfo: memFree=127176136/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=183060 memory=144000 CPUtime=3572.03 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 25762 0 0 0 357193 10 0 0 20 0 1 0 186632997 187453440 36000 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 45765 36000 835 746 0 44829 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 183060 KiB
Current children cumulated memory: 144000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.13 4.18 4.15 4/238 976446
/proc/meminfo: memFree=127400776/131655788 swapFree=131071996/131071996
[pid=974477] ppid=974474 vsize=183060 memory=144000 CPUtime=3600.06 cores=4,6
/proc/974477/stat : 974477 (Exact_nosoplex) R 974474 974477 972472 0 -1 4194304 25762 0 0 0 359996 10 0 0 20 0 1 0 186632997 187453440 36000 134679101440 4194304 7248369 140723222429680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 37761024 140723222438827 140723222439006 140723222439006 140723222446022 0
/proc/974477/statm: 45765 36000 835 746 0 44829 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 183060 KiB
Current children cumulated memory: 144000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.97 s, system=0.108332 s

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

Child status: 0

Real time (s): 3610.41
CPU time (s): 3600.08
CPU user time (s): 3599.97
CPU system time (s): 0.108332
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 183060
Max. memory (cumulated for all children) (KiB): 144000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.97
system time used= 0.108332
maximum resident set size= 188504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25764
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= 37
involuntary context switches= 2253


# summary of solver processes directly reported to runsolver:
#   pid: 974477
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.97
#   total CPU system time (s): 0.108332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8714 second user time and 34.2212 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 01:19:38
IDJOB=4446977
IDBENCH=158344
IDSOLVER=3061
FILE ID=nodeC008/4446977-1721344766
RUNJOBID= nodeC008-1721341167-972483
SLURM_JOB_ID= 7542729
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.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-4446977-1721344766/watcher-4446977-1721344766 -o /tmp/evaluation-result-4446977-1721344766/solver-4446977-1721344766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721341167-972483 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1741037807 HOME/instance-4446977-1721344766.opb

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

MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1741037807

nodeC008.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		: 3654.925
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.91
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.242
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.31
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.491
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.91
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.262
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.31
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		: 3491.978
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.91
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		: 3617.661
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.31
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.252
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.91
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.248
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127421912 kB
MemAvailable:   129663772 kB
Buffers:          537028 kB
Cached:          2523560 kB
SwapCached:            0 kB
Active:          1056240 kB
Inactive:        2589120 kB
Active(anon):       1476 kB
Inactive(anon):   620708 kB
Active(file):    1054764 kB
Inactive(file):  1968412 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10188 kB
Writeback:             0 kB
AnonPages:        584312 kB
Mapped:           112864 kB
Shmem:             37704 kB
KReclaimable:     117428 kB
Slab:             222236 kB
SReclaimable:     117428 kB
SUnreclaim:       104808 kB
KernelStack:        3884 kB
PageTables:        10280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     930660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58368 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC008 at 2024-07-19 02:19:49