Trace number 4446227

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.1 3611.22

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-35.opb
MD5SUMea9fbf307f3e38c641aeca63dc0ee32c
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 benchmark5.20026
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9220
Total number of constraints197914
Number of constraints which are clauses177190
Number of constraints which are cardinality constraints (but not clauses)736
Number of constraints which are nor clauses,nor cardinality constraints19988
Minimum length of a constraint1
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3611.20	c Program interrupted by user.
3600.08/3611.20	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 (62165 MiB free)
  memory of node 1: 64510 MiB (60819 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446227-1721323303/watcher-4446227-1721323303 -o /tmp/evaluation-result-4446227-1721323303/solver-4446227-1721323303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721315902-955811 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=57622957 HOME/instance-4446227-1721323303.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
Current StackSize limit: 8192 KiB

solver pid=961631, runsolver pid=961628

[startup+0.100097 s]*
/proc/loadavg: 4.24 4.30 4.23 5/245 961632
/proc/meminfo: memFree=125920792/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=36932 memory=19364 CPUtime=0.1 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 3194 0 0 0 10 0 0 0 20 0 1 0 184486971 37818368 4841 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 9233 4841 771 746 0 8297 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 19364 KiB

[startup+0.212991 s]*
/proc/loadavg: 4.24 4.30 4.23 5/245 961632
/proc/meminfo: memFree=125913424/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=42096 memory=26356 CPUtime=0.22 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 4523 0 0 0 21 1 0 0 20 0 1 0 184486971 43106304 6589 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 10524 6589 771 746 0 9588 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 26356 KiB

[startup+0.313106 s]*
/proc/loadavg: 4.24 4.30 4.23 5/245 961632
/proc/meminfo: memFree=125907260/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=46352 memory=34316 CPUtime=0.31 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 5638 0 0 0 30 1 0 0 20 0 1 0 184486971 47464448 8579 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 11588 8579 771 746 0 10652 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46352 KiB
Current children cumulated memory: 34316 KiB

[startup+0.700337 s]
/proc/loadavg: 4.24 4.30 4.23 5/245 961632
/proc/meminfo: memFree=125878340/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=69676 memory=63808 CPUtime=0.68 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 11613 0 0 0 66 2 0 0 20 0 1 0 184486971 71348224 15952 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 17419 15952 851 746 0 16483 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69676 KiB
Current children cumulated memory: 63808 KiB

[startup+1.50036 s]
/proc/loadavg: 4.24 4.30 4.23 5/245 961632
/proc/meminfo: memFree=125872600/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=84104 memory=69076 CPUtime=1.49 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 12133 0 0 0 146 3 0 0 20 0 1 0 184486971 86122496 17269 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 21026 17269 851 746 0 20090 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 84104 KiB
Current children cumulated memory: 69076 KiB

[startup+3.11283 s]
/proc/loadavg: 4.24 4.30 4.23 5/245 961632
/proc/meminfo: memFree=125860892/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=93352 memory=78232 CPUtime=3.09 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 13913 0 0 0 306 3 0 0 20 0 1 0 184486971 95592448 19558 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 23338 19558 851 746 0 22402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93352 KiB
Current children cumulated memory: 78232 KiB

[startup+6.30032 s]
/proc/loadavg: 4.22 4.29 4.23 5/245 961632
/proc/meminfo: memFree=125820916/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=94252 memory=81176 CPUtime=6.27 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 14222 0 0 0 624 3 0 0 20 0 1 0 184486971 96514048 20294 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 23563 20294 851 746 0 22627 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 94252 KiB
Current children cumulated memory: 81176 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.29 4.22 5/245 961634
/proc/meminfo: memFree=125854664/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=94812 memory=81708 CPUtime=12.65 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 14389 0 0 0 1262 3 0 0 20 0 1 0 184486971 97087488 20427 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 23703 20427 851 746 0 22767 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94812 KiB
Current children cumulated memory: 81708 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.27 4.22 5/245 961635
/proc/meminfo: memFree=125817088/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=95852 memory=82624 CPUtime=25.42 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 14676 0 0 0 2539 3 0 0 20 0 1 0 184486971 98152448 20656 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 23963 20656 851 746 0 23027 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95852 KiB
Current children cumulated memory: 82624 KiB

[startup+51.1133 s]
/proc/loadavg: 4.16 4.27 4.22 5/245 961642
/proc/meminfo: memFree=125844292/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=97080 memory=84112 CPUtime=50.97 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 15046 0 0 0 5094 3 0 0 20 0 1 0 184486971 99409920 21028 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 24270 21028 851 746 0 23334 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 97080 KiB
Current children cumulated memory: 84112 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.24 4.21 5/245 961696
/proc/meminfo: memFree=125291744/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=99408 memory=88380 CPUtime=102.03 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 15637 0 0 0 10199 4 0 0 20 0 1 0 184486971 101793792 22095 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 24852 22095 851 746 0 23916 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 99408 KiB
Current children cumulated memory: 88380 KiB

[startup+162.3 s]
/proc/loadavg: 4.69 4.38 4.26 5/245 961706
/proc/meminfo: memFree=125204420/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=101028 memory=89912 CPUtime=161.87 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 16073 0 0 0 16183 4 0 0 20 0 1 0 184486971 103452672 22478 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 25257 22478 851 746 0 24321 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 101028 KiB
Current children cumulated memory: 89912 KiB

[startup+222.3 s]
/proc/loadavg: 4.42 4.38 4.27 5/246 962145
/proc/meminfo: memFree=119081220/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=103048 memory=91916 CPUtime=221.67 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 16581 0 0 0 22163 4 0 0 20 0 1 0 184486971 105521152 22979 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 25762 22979 851 746 0 24826 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 103048 KiB
Current children cumulated memory: 91916 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.32 4.26 5/243 962156
/proc/meminfo: memFree=119054912/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=103604 memory=92656 CPUtime=281.47 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 16757 0 0 0 28143 4 0 0 20 0 1 0 184486971 106090496 23164 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 25901 23164 851 746 0 24965 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 103604 KiB
Current children cumulated memory: 92656 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.31 4.26 5/243 962166
/proc/meminfo: memFree=119008332/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=104264 memory=93136 CPUtime=341.26 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 16927 0 0 0 34122 4 0 0 20 0 1 0 184486971 106766336 23284 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 26066 23284 851 746 0 25130 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 104264 KiB
Current children cumulated memory: 93136 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.27 4.24 5/244 962345
/proc/meminfo: memFree=118998804/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=106148 memory=94980 CPUtime=401.06 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 17393 0 0 0 40102 4 0 0 20 0 1 0 184486971 108695552 23745 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 26537 23745 851 746 0 25601 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 94980 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.26 4.24 5/244 962356
/proc/meminfo: memFree=118974604/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=106420 memory=95404 CPUtime=460.86 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 17474 0 0 0 46082 4 0 0 20 0 1 0 184486971 108974080 23851 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 26605 23851 851 746 0 25669 0

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

Current children cumulated memory: 108548 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.08 4.10 5/242 963410
/proc/meminfo: memFree=118354412/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115124 memory=108572 CPUtime=2853.55 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21361 0 0 0 285347 8 0 0 20 0 1 0 184486971 117886976 27143 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28781 27143 851 746 0 27845 0
Current children cumulated CPU time: 2853.55 s
Current children cumulated vsize: 115124 KiB
Current children cumulated memory: 108572 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/244 963424
/proc/meminfo: memFree=118352472/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115260 memory=108652 CPUtime=2913.37 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21425 0 0 0 291329 8 0 0 20 0 1 0 184486971 118026240 27163 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28815 27163 851 746 0 27879 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 115260 KiB
Current children cumulated memory: 108652 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/244 963434
/proc/meminfo: memFree=118348220/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115464 memory=108876 CPUtime=2973.17 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21526 0 0 0 297309 8 0 0 20 0 1 0 184486971 118235136 27219 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28866 27219 851 746 0 27930 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 115464 KiB
Current children cumulated memory: 108876 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/244 963445
/proc/meminfo: memFree=118345296/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115820 memory=109188 CPUtime=3032.98 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21649 0 0 0 303290 8 0 0 20 0 1 0 184486971 118599680 27297 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28955 27297 851 746 0 28019 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 109188 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/244 963455
/proc/meminfo: memFree=118339004/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115820 memory=109244 CPUtime=3092.79 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21696 0 0 0 309271 8 0 0 20 0 1 0 184486971 118599680 27311 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28955 27311 851 746 0 28019 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 109244 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/244 963466
/proc/meminfo: memFree=118334704/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115820 memory=109244 CPUtime=3152.6 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21748 0 0 0 315252 8 0 0 20 0 1 0 184486971 118599680 27311 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28955 27311 851 746 0 28019 0
Current children cumulated CPU time: 3152.6 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 109244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 963477
/proc/meminfo: memFree=118332176/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=115964 memory=109380 CPUtime=3212.41 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21818 0 0 0 321233 8 0 0 20 0 1 0 184486971 118747136 27345 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 28991 27345 851 746 0 28055 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 115964 KiB
Current children cumulated memory: 109380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/242 963488
/proc/meminfo: memFree=118331612/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=116096 memory=109380 CPUtime=3272.22 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21878 0 0 0 327214 8 0 0 20 0 1 0 184486971 118882304 27345 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29024 27345 851 746 0 28088 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 116096 KiB
Current children cumulated memory: 109380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/242 963498
/proc/meminfo: memFree=118328380/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=116096 memory=111512 CPUtime=3332.03 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 21947 0 0 0 333195 8 0 0 20 0 1 0 184486971 118882304 27878 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29024 27878 851 746 0 28088 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 116096 KiB
Current children cumulated memory: 111512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/242 963508
/proc/meminfo: memFree=118312220/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=116236 memory=111688 CPUtime=3391.84 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 22016 0 0 0 339176 8 0 0 20 0 1 0 184486971 119025664 27922 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29059 27922 851 746 0 28123 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 116236 KiB
Current children cumulated memory: 111688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/242 963519
/proc/meminfo: memFree=118309324/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=116236 memory=111688 CPUtime=3451.64 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 22066 0 0 0 345155 9 0 0 20 0 1 0 184486971 119025664 27922 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29059 27922 851 746 0 28123 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 116236 KiB
Current children cumulated memory: 111688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/244 963533
/proc/meminfo: memFree=118308084/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=116372 memory=111780 CPUtime=3511.45 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 22125 0 0 0 351136 9 0 0 20 0 1 0 184486971 119164928 27945 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29093 27945 851 746 0 28157 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 116372 KiB
Current children cumulated memory: 111780 KiB

[startup+3582.3 s]
/proc/loadavg: 3.66 3.98 4.05 4/237 963574
/proc/meminfo: memFree=118918412/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=116372 memory=111828 CPUtime=3571.27 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 22182 0 0 0 357117 10 0 0 20 0 1 0 184486971 119164928 27957 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29093 27957 851 746 0 28157 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 116372 KiB
Current children cumulated memory: 111828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 3.63 3.94 4.03 4/237 963579
/proc/meminfo: memFree=118915180/131655788 swapFree=131071996/131071996
[pid=961631] ppid=961628 vsize=119520 memory=114876 CPUtime=3600.08 cores=5,7
/proc/961631/stat : 961631 (Exact_nosoplex) R 961628 961631 955798 0 -1 4194304 22951 0 0 0 359998 10 0 0 20 0 1 0 184486971 122388480 28719 134679101440 4194304 7248369 140737309825200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25694208 140737309832109 140737309832286 140737309832286 140737309839302 0
/proc/961631/statm: 29880 28719 851 746 0 28944 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 119520 KiB
Current children cumulated memory: 114876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600 s, system=0.105246 s

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

Child status: 0

Real time (s): 3611.22
CPU time (s): 3600.1
CPU user time (s): 3600
CPU system time (s): 0.105246
CPU usage (%): 99.6922
Max. virtual memory (cumulated for all children) (KiB): 119520
Max. memory (cumulated for all children) (KiB): 114876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600
system time used= 0.105246
maximum resident set size= 114876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23028
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= 27
involuntary context switches= 2863


# summary of solver processes directly reported to runsolver:
#   pid: 961631
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3600
#   total CPU system time (s): 0.105246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3913 second user time and 35.3497 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-18 19:21:56
IDJOB=4446227
IDBENCH=155538
IDSOLVER=3061
FILE ID=nodeC007/4446227-1721323303
RUNJOBID= nodeC007-1721315902-955811
SLURM_JOB_ID= 7542652
Free space on /tmp= 723664 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-35.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-4446227-1721323303/watcher-4446227-1721323303 -o /tmp/evaluation-result-4446227-1721323303/solver-4446227-1721323303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721315902-955811 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=57622957 HOME/instance-4446227-1721323303.opb

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

MD5SUM BENCH= ea9fbf307f3e38c641aeca63dc0ee32c
RANDOM SEED=57622957

nodeC007.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		: 3672.700
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.25
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		: 3663.082
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.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	: 0xb00001f
cpu MHz		: 1197.327
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.25
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.286
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.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	: 0xb00001f
cpu MHz		: 3637.741
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.25
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		: 3491.649
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.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	: 0xb00001f
cpu MHz		: 1197.383
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.25
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.130
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125936808 kB
MemAvailable:   128791196 kB
Buffers:          497896 kB
Cached:          3187360 kB
SwapCached:            0 kB
Active:          1115916 kB
Inactive:        4040608 kB
Active(anon):       1492 kB
Inactive(anon):  1507164 kB
Active(file):    1114424 kB
Inactive(file):  2533444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12780 kB
Writeback:            24 kB
AnonPages:       1470928 kB
Mapped:           116560 kB
Shmem:             37704 kB
KReclaimable:      93104 kB
Slab:             194384 kB
SReclaimable:      93104 kB
SUnreclaim:       101280 kB
KernelStack:        3992 kB
PageTables:        12176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1902916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57952 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1034240 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723404 MiB
End job on nodeC007 at 2024-07-18 20:22:07