Trace number 4461970

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.09 3608.67

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb
MD5SUMe69471d73cbea12e8e8984c62457715d
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 benchmark346
Best CPU time to get the best result obtained on this benchmark2.70326
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables99544
Total number of constraints99545
Number of constraints which are clauses87333
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints10768
Minimum length of a constraint1
Maximum length of a constraint1444
Number of terms in the objective function 1444
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 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1788
Number of bits of the biggest sum of numbers11
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/3608.60	c Program interrupted by user.
3600.00/3608.60	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 (61362 MiB free)
  memory of node 1: 64510 MiB (61742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461970-1722204306/watcher-4461970-1722204306 -o /tmp/evaluation-result-4461970-1722204306/solver-4461970-1722204306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722204305-382517 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=895830239 HOME/instance-4461970-1722204306.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=382568, runsolver pid=382565

[startup+0.100901 s]*
/proc/loadavg: 0.33 0.14 0.11 6/241 382576
/proc/meminfo: memFree=125974168/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=99916 memory=77880 CPUtime=0.1 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 9625 0 0 0 5 5 0 0 20 0 1 0 56420317 102313984 19470 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 24979 19470 755 746 0 24043 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 99916 KiB
Current children cumulated memory: 77880 KiB

[startup+0.213335 s]*
/proc/loadavg: 0.33 0.14 0.11 6/247 382582
/proc/meminfo: memFree=125829360/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=134424 memory=112728 CPUtime=0.21 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 18386 0 0 0 14 7 0 0 20 0 1 0 56420317 137650176 28182 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 33606 28182 755 746 0 32670 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 134424 KiB
Current children cumulated memory: 112728 KiB

[startup+0.31418 s]*
/proc/loadavg: 0.33 0.14 0.11 5/247 382582
/proc/meminfo: memFree=125776132/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=139348 memory=118256 CPUtime=0.31 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 19748 0 0 0 24 7 0 0 20 0 1 0 56420317 142692352 29564 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 34837 29564 755 746 0 33901 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 139348 KiB
Current children cumulated memory: 118256 KiB

[startup+0.700398 s]
/proc/loadavg: 0.33 0.14 0.11 5/247 382582
/proc/meminfo: memFree=125693208/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=148052 memory=129632 CPUtime=0.68 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 22089 0 0 0 59 9 0 0 20 0 1 0 56420317 151605248 32408 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 37013 32408 755 746 0 36077 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148052 KiB
Current children cumulated memory: 129632 KiB

[startup+1.50034 s]
/proc/loadavg: 0.33 0.14 0.11 5/247 382582
/proc/meminfo: memFree=125624372/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=166864 memory=153976 CPUtime=1.48 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 27429 0 0 0 137 11 0 0 20 0 1 0 56420317 170868736 38494 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 41716 38494 771 746 0 40780 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 166864 KiB
Current children cumulated memory: 153976 KiB

[startup+3.11322 s]
/proc/loadavg: 0.33 0.14 0.11 5/247 382582
/proc/meminfo: memFree=125399360/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=180176 memory=169400 CPUtime=3.08 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 30755 0 0 0 296 12 0 0 20 0 1 0 56420317 184500224 42350 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 45044 42350 835 746 0 44108 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180176 KiB
Current children cumulated memory: 169400 KiB

[startup+6.3003 s]
/proc/loadavg: 0.62 0.21 0.13 5/247 382628
/proc/meminfo: memFree=125350592/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=232428 memory=201788 CPUtime=6.26 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 38657 0 0 0 613 13 0 0 20 0 1 0 56420317 238006272 50447 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 58107 50447 835 746 0 57171 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 232428 KiB
Current children cumulated memory: 201788 KiB

[startup+12.7003 s]
/proc/loadavg: 0.81 0.26 0.14 4/240 382660
/proc/meminfo: memFree=125264464/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=273396 memory=232136 CPUtime=12.64 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 44095 0 0 0 1249 15 0 0 20 0 1 0 56420317 279957504 58034 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 68349 58034 835 746 0 67413 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 273396 KiB
Current children cumulated memory: 232136 KiB

[startup+25.5003 s]
/proc/loadavg: 1.22 0.37 0.18 3/233 382693
/proc/meminfo: memFree=125540884/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=360056 memory=318136 CPUtime=25.41 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 56950 0 0 0 2521 20 0 0 20 0 1 0 56420317 368697344 79534 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 90014 79534 835 746 0 89078 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 360056 KiB
Current children cumulated memory: 318136 KiB

[startup+51.1122 s]
/proc/loadavg: 1.49 0.51 0.23 3/229 382697
/proc/meminfo: memFree=125354188/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=514912 memory=471176 CPUtime=50.96 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 78516 0 0 0 5067 29 0 0 20 0 1 0 56420317 527269888 117794 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 128728 117794 835 746 0 127792 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 514912 KiB
Current children cumulated memory: 471176 KiB

[startup+102.3 s]
/proc/loadavg: 1.82 0.75 0.33 3/229 382706
/proc/meminfo: memFree=124906612/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1075060 memory=858412 CPUtime=102.03 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 129903 0 0 0 10148 55 0 0 20 0 1 0 56420317 1100861440 214603 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 268765 214603 835 746 0 267829 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1075060 KiB
Current children cumulated memory: 858412 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.00 0.45 3/230 382730
/proc/meminfo: memFree=124846172/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1121204 memory=896524 CPUtime=161.89 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 139686 0 0 0 16131 58 0 0 20 0 1 0 56420317 1148112896 224131 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 280301 224131 835 746 0 279365 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1121204 KiB
Current children cumulated memory: 896524 KiB

[startup+222.3 s]
/proc/loadavg: 2.05 1.20 0.55 3/232 382966
/proc/meminfo: memFree=124590472/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1222812 memory=1131312 CPUtime=221.73 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 165853 0 0 0 22106 67 0 0 20 0 1 0 56420317 1252159488 282828 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 305703 282828 835 746 0 304767 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1222812 KiB
Current children cumulated memory: 1131312 KiB

[startup+282.3 s]
/proc/loadavg: 2.13 1.38 0.66 3/232 382976
/proc/meminfo: memFree=124560228/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1229732 memory=1137284 CPUtime=281.56 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 167687 0 0 0 28089 67 0 0 20 0 1 0 56420317 1259245568 284321 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 307433 284321 835 746 0 306497 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1229732 KiB
Current children cumulated memory: 1137284 KiB

[startup+342.3 s]
/proc/loadavg: 2.20 1.54 0.76 3/233 383278
/proc/meminfo: memFree=124572068/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1267464 memory=1173056 CPUtime=341.39 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 177021 0 0 0 34069 70 0 0 20 0 1 0 56420317 1297883136 293264 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 316866 293264 835 746 0 315930 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1267464 KiB
Current children cumulated memory: 1173056 KiB

[startup+402.3 s]
/proc/loadavg: 2.11 1.64 0.84 3/233 383289
/proc/meminfo: memFree=124549456/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1283756 memory=1187820 CPUtime=401.23 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 180912 0 0 0 40051 72 0 0 20 0 1 0 56420317 1314566144 296955 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 320939 296955 835 746 0 320003 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1283756 KiB
Current children cumulated memory: 1187820 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 1.74 0.93 3/232 383299
/proc/meminfo: memFree=124510884/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1304800 memory=1206064 CPUtime=461.06 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 185714 0 0 0 46032 74 0 0 20 0 1 0 56420317 1336115200 301516 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 326200 301516 835 746 0 325264 0

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

Current children cumulated memory: 1662028 KiB

[startup+2862.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/230 384357
/proc/meminfo: memFree=123898888/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1720428 memory=1667796 CPUtime=2855.39 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 297244 0 0 0 285429 110 0 0 20 0 1 0 56420317 1761718272 416949 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 430107 416949 835 746 0 429171 0
Current children cumulated CPU time: 2855.39 s
Current children cumulated vsize: 1720428 KiB
Current children cumulated memory: 1667796 KiB

[startup+2922.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/231 384369
/proc/meminfo: memFree=123885444/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1734196 memory=1678892 CPUtime=2915.26 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 300813 0 0 0 291415 111 0 0 20 0 1 0 56420317 1775816704 419723 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 433549 419723 835 746 0 432613 0
Current children cumulated CPU time: 2915.26 s
Current children cumulated vsize: 1734196 KiB
Current children cumulated memory: 1678892 KiB

[startup+2982.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/232 384383
/proc/meminfo: memFree=123869028/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1751580 memory=1694704 CPUtime=2975.12 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 305369 0 0 0 297400 112 0 0 20 0 1 0 56420317 1793617920 423676 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 437895 423676 835 746 0 436959 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 1751580 KiB
Current children cumulated memory: 1694704 KiB

[startup+3042.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/233 384778
/proc/meminfo: memFree=123868444/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1751580 memory=1694704 CPUtime=3034.99 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 306003 0 0 0 303387 112 0 0 20 0 1 0 56420317 1793617920 423676 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 437895 423676 835 746 0 436959 0
Current children cumulated CPU time: 3034.99 s
Current children cumulated vsize: 1751580 KiB
Current children cumulated memory: 1694704 KiB

[startup+3102.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/233 384788
/proc/meminfo: memFree=123860108/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1761060 memory=1702928 CPUtime=3094.87 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 308747 0 0 0 309374 113 0 0 20 0 1 0 56420317 1803325440 425732 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 440265 425732 835 746 0 439329 0
Current children cumulated CPU time: 3094.87 s
Current children cumulated vsize: 1761060 KiB
Current children cumulated memory: 1702928 KiB

[startup+3162.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/233 384799
/proc/meminfo: memFree=123856856/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1762640 memory=1703776 CPUtime=3154.74 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 309651 0 0 0 315361 113 0 0 20 0 1 0 56420317 1804943360 425944 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 440660 425944 835 746 0 439724 0
Current children cumulated CPU time: 3154.74 s
Current children cumulated vsize: 1762640 KiB
Current children cumulated memory: 1703776 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/234 384978
/proc/meminfo: memFree=123840380/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1782900 memory=1719716 CPUtime=3214.61 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 314324 0 0 0 321347 114 0 0 20 0 1 0 56420317 1825689600 429929 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 445725 429929 835 746 0 444789 0
Current children cumulated CPU time: 3214.61 s
Current children cumulated vsize: 1782900 KiB
Current children cumulated memory: 1719716 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/231 384988
/proc/meminfo: memFree=123830252/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1792692 memory=1729172 CPUtime=3274.48 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 317375 0 0 0 327333 115 0 0 20 0 1 0 56420317 1835716608 432293 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 448173 432293 835 746 0 447237 0
Current children cumulated CPU time: 3274.48 s
Current children cumulated vsize: 1792692 KiB
Current children cumulated memory: 1729172 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/230 385001
/proc/meminfo: memFree=123825076/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1795588 memory=1731656 CPUtime=3334.35 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 318752 0 0 0 333320 115 0 0 20 0 1 0 56420317 1838682112 432914 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 448897 432914 835 746 0 447961 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 1795588 KiB
Current children cumulated memory: 1731656 KiB

[startup+3402.3 s]
/proc/loadavg: 2.05 2.09 2.09 3/230 385025
/proc/meminfo: memFree=123779820/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=1852428 memory=1776544 CPUtime=3394.21 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 330763 0 0 0 339302 119 0 0 20 0 1 0 56420317 1896886272 444136 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 463107 444136 835 746 0 462171 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 1852428 KiB
Current children cumulated memory: 1776544 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/230 385035
/proc/meminfo: memFree=123652664/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=2266404 memory=1903128 CPUtime=3454.08 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 341309 0 0 0 345274 134 0 0 20 0 1 0 56420317 2320797696 475782 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 566601 475782 835 746 0 565665 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 2266404 KiB
Current children cumulated memory: 1903128 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/229 385046
/proc/meminfo: memFree=123637156/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=2268712 memory=1905500 CPUtime=3513.93 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 342501 0 0 0 351259 134 0 0 20 0 1 0 56420317 2323161088 476375 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 567178 476375 835 746 0 566242 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 2268712 KiB
Current children cumulated memory: 1905500 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/229 385056
/proc/meminfo: memFree=123634360/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=2271376 memory=1908008 CPUtime=3573.77 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 343900 0 0 0 357243 134 0 0 20 0 1 0 56420317 2325889024 477002 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 567844 477002 835 746 0 566908 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 2271376 KiB
Current children cumulated memory: 1908008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 2.06 2.08 2.09 3/229 385059
/proc/meminfo: memFree=123627836/131655788 swapFree=131056796/131071996
[pid=382568] ppid=382565 vsize=2280820 memory=1914200 CPUtime=3600 cores=4,6
/proc/382568/stat : 382568 (Exact_nosoplex) R 382565 382568 382506 0 -1 4194304 345822 0 0 0 359865 135 0 0 20 0 1 0 56420317 2335559680 478550 134679101440 4194304 7248369 140737368588288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 45367296 140737368597420 140737368597598 140737368597598 140737368604614 0
/proc/382568/statm: 570205 478550 835 746 0 569269 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2280820 KiB
Current children cumulated memory: 1914200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.72 s, system=1.37418 s

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

Child status: 0

Real time (s): 3608.67
CPU time (s): 3600.09
CPU user time (s): 3598.72
CPU system time (s): 1.37418
CPU usage (%): 99.7621
Max. virtual memory (cumulated for all children) (KiB): 2757548
Max. memory (cumulated for all children) (KiB): 2144532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.37418
maximum resident set size= 2345236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345870
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= 120
involuntary context switches= 3012


# summary of solver processes directly reported to runsolver:
#   pid: 382568
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.72
#   total CPU system time (s): 1.37418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.504 second user time and 34.9896 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-29 00:05:06
IDJOB=4461970
IDBENCH=178874
IDSOLVER=3061
FILE ID=nodeC012/4461970-1722204306
RUNJOBID= nodeC012-1722204305-382517
SLURM_JOB_ID= 8248647
Free space on /tmp= 723756 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.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-4461970-1722204306/watcher-4461970-1722204306 -o /tmp/evaluation-result-4461970-1722204306/solver-4461970-1722204306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722204305-382517 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=895830239 HOME/instance-4461970-1722204306.opb

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

MD5SUM BENCH= e69471d73cbea12e8e8984c62457715d
RANDOM SEED=895830239

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.351
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.203
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.167
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.185
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.184
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126067048 kB
MemAvailable:   129879968 kB
Buffers:          400868 kB
Cached:          4221324 kB
SwapCached:          136 kB
Active:          2572824 kB
Inactive:        2424624 kB
Active(anon):       4568 kB
Inactive(anon):   423720 kB
Active(file):    2568256 kB
Inactive(file):  2000904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:             34840 kB
Writeback:             0 kB
AnonPages:        372612 kB
Mapped:           121984 kB
Shmem:             52996 kB
KReclaimable:     167580 kB
Slab:             275672 kB
SReclaimable:     167580 kB
SUnreclaim:       108092 kB
KernelStack:        4000 kB
PageTables:         9732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     847556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC012 at 2024-07-29 01:05:15