Trace number 4446196

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 2024-07-05? (TO) 3600.22 3610.95

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
MD5SUM2c07ac2a163c6358b3083ff023512428
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 benchmark107.127
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables44846
Total number of constraints988104
Number of constraints which are clauses884812
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints99769
Minimum length of a constraint2
Maximum length of a constraint690
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 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446196-1721324969/watcher-4446196-1721324969 -o /tmp/evaluation-result-4446196-1721324969/solver-4446196-1721324969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721317679-964529 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=144152427 HOME/instance-4446196-1721324969.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=970946, runsolver pid=970943

[startup+0.101002 s]*
/proc/loadavg: 4.14 4.15 4.12 5/255 970947
/proc/meminfo: memFree=127133268/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=59148 memory=40136 CPUtime=0.09 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 5754 0 0 0 8 1 0 0 20 0 1 0 184657166 60567552 10034 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 14787 10034 884 1005 0 13550 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59148 KiB
Current children cumulated memory: 40136 KiB

[startup+0.205379 s]*
/proc/loadavg: 4.14 4.15 4.12 5/255 970947
/proc/meminfo: memFree=127126320/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=64300 memory=47328 CPUtime=0.19 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 7080 0 0 0 18 1 0 0 20 0 1 0 184657166 65843200 11832 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 16075 11832 884 1005 0 14838 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64300 KiB
Current children cumulated memory: 47328 KiB

[startup+0.305246 s]*
/proc/loadavg: 4.14 4.15 4.12 5/255 970947
/proc/meminfo: memFree=127117184/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=69200 memory=55880 CPUtime=0.3 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 8368 0 0 0 28 2 0 0 20 0 1 0 184657166 70860800 13970 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 17300 13970 884 1005 0 16063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69200 KiB
Current children cumulated memory: 55880 KiB

[startup+0.700218 s]
/proc/loadavg: 4.14 4.15 4.12 5/255 970947
/proc/meminfo: memFree=127101520/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=100276 memory=85124 CPUtime=0.68 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 13589 0 0 0 65 3 0 0 20 0 1 0 184657166 102682624 21281 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 25069 21281 884 1005 0 23832 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100276 KiB
Current children cumulated memory: 85124 KiB

[startup+1.50021 s]
/proc/loadavg: 4.14 4.15 4.12 5/255 970947
/proc/meminfo: memFree=127060212/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=160764 memory=147480 CPUtime=1.48 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 23411 0 0 0 141 7 0 0 20 0 1 0 184657166 164622336 36870 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 40191 36870 884 1005 0 38954 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 160764 KiB
Current children cumulated memory: 147480 KiB

[startup+3.10538 s]
/proc/loadavg: 4.13 4.14 4.12 5/255 970949
/proc/meminfo: memFree=126686396/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=697688 memory=536700 CPUtime=3.09 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 67607 0 0 0 287 22 0 0 20 0 1 0 184657166 714432512 134175 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 174422 134175 1044 1005 0 173185 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 697688 KiB
Current children cumulated memory: 536700 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.14 4.12 5/255 970949
/proc/meminfo: memFree=126081192/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1158148 memory=1090224 CPUtime=6.27 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 94751 0 0 0 582 45 0 0 20 0 1 0 184657166 1185943552 272556 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 289537 272556 1060 1005 0 288300 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1158148 KiB
Current children cumulated memory: 1090224 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.13 5/254 970950
/proc/meminfo: memFree=126072932/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1158148 memory=1100812 CPUtime=12.65 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 94820 0 0 0 1219 46 0 0 20 0 1 0 184657166 1185943552 275203 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 289537 275203 1108 1005 0 288300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1158148 KiB
Current children cumulated memory: 1100812 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.15 4.13 5/257 970957
/proc/meminfo: memFree=126035900/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1184260 memory=1135120 CPUtime=25.42 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 96362 0 0 0 2494 48 0 0 20 0 1 0 184657166 1212682240 283780 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 296065 283780 1108 1005 0 294828 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1184260 KiB
Current children cumulated memory: 1135120 KiB

[startup+51.1054 s]
/proc/loadavg: 4.17 4.15 4.13 5/257 970960
/proc/meminfo: memFree=126033380/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1184260 memory=1137232 CPUtime=50.96 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 97626 0 0 0 5046 50 0 0 20 0 1 0 184657166 1212682240 284308 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 296065 284308 1124 1005 0 294828 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1184260 KiB
Current children cumulated memory: 1137232 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/257 970972
/proc/meminfo: memFree=126018980/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1191876 memory=1151028 CPUtime=102.01 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 101703 0 0 0 10147 54 0 0 20 0 1 0 184657166 1220481024 287757 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 297969 287757 1124 1005 0 296732 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1191876 KiB
Current children cumulated memory: 1151028 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/257 970982
/proc/meminfo: memFree=126016108/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1193284 memory=1153084 CPUtime=161.84 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 105039 0 0 0 16126 58 0 0 20 0 1 0 184657166 1221922816 288271 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 298321 288271 1124 1005 0 297084 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1193284 KiB
Current children cumulated memory: 1153084 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.16 4.13 5/257 971129
/proc/meminfo: memFree=119078228/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1195300 memory=1157160 CPUtime=221.67 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 109072 0 0 0 22104 63 0 0 20 0 1 0 184657166 1223987200 289290 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 298825 289290 1124 1005 0 297588 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1195300 KiB
Current children cumulated memory: 1157160 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/257 971142
/proc/meminfo: memFree=115285076/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1202192 memory=1164444 CPUtime=281.51 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 111627 0 0 0 28085 66 0 0 20 0 1 0 184657166 1231044608 291111 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 300548 291111 1124 1005 0 299311 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1202192 KiB
Current children cumulated memory: 1164444 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 971535
/proc/meminfo: memFree=115282348/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1203280 memory=1165532 CPUtime=341.35 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 114848 0 0 0 34065 70 0 0 20 0 1 0 184657166 1232158720 291383 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 300820 291383 1124 1005 0 299583 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1203280 KiB
Current children cumulated memory: 1165532 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/256 971546
/proc/meminfo: memFree=115264848/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1204232 memory=1171908 CPUtime=401.19 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 118011 0 0 0 40046 73 0 0 20 0 1 0 184657166 1233133568 292977 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 301058 292977 1124 1005 0 299821 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1204232 KiB
Current children cumulated memory: 1171908 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/256 971557
/proc/meminfo: memFree=115200164/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1205872 memory=1175580 CPUtime=461.05 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 121437 0 0 0 46027 78 0 0 20 0 1 0 184657166 1234812928 293895 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 301468 293895 1124 1005 0 300231 0

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

Current children cumulated memory: 1241092 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/254 972807
/proc/meminfo: memFree=114625772/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1265840 memory=1241636 CPUtime=2913.68 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 254057 0 0 0 291126 242 0 0 20 0 1 0 184657166 1296220160 310409 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 316460 310409 1124 1005 0 315223 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 1265840 KiB
Current children cumulated memory: 1241636 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.20 4.16 5/254 972817
/proc/meminfo: memFree=114617720/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1266444 memory=1242240 CPUtime=2973.5 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 257171 0 0 0 297104 246 0 0 20 0 1 0 184657166 1296838656 310560 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 316611 310560 1124 1005 0 315374 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 1266444 KiB
Current children cumulated memory: 1242240 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/256 972831
/proc/meminfo: memFree=114599236/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1268172 memory=1248064 CPUtime=3033.31 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 260034 0 0 0 303082 249 0 0 20 0 1 0 184657166 1298608128 312016 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317043 312016 1124 1005 0 315806 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 1268172 KiB
Current children cumulated memory: 1248064 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/256 972842
/proc/meminfo: memFree=114592784/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1268748 memory=1248640 CPUtime=3093.12 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 263165 0 0 0 309059 253 0 0 20 0 1 0 184657166 1299197952 312160 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317187 312160 1124 1005 0 315950 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 1268748 KiB
Current children cumulated memory: 1248640 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.18 4.16 5/256 972852
/proc/meminfo: memFree=114582072/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1268940 memory=1248832 CPUtime=3152.94 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 266253 0 0 0 315037 257 0 0 20 0 1 0 184657166 1299394560 312208 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317235 312208 1124 1005 0 315998 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 1268940 KiB
Current children cumulated memory: 1248832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.16 5/256 972862
/proc/meminfo: memFree=114572028/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1269144 memory=1249036 CPUtime=3212.76 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 268735 0 0 0 321016 260 0 0 20 0 1 0 184657166 1299603456 312259 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317286 312259 1124 1005 0 316049 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 1269144 KiB
Current children cumulated memory: 1249036 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/256 972874
/proc/meminfo: memFree=114570872/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1269408 memory=1249428 CPUtime=3272.57 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 271789 0 0 0 326994 263 0 0 20 0 1 0 184657166 1299873792 312357 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317352 312357 1124 1005 0 316115 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 1269408 KiB
Current children cumulated memory: 1249428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/256 972884
/proc/meminfo: memFree=114535224/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1269600 memory=1249508 CPUtime=3332.39 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 274801 0 0 0 332972 267 0 0 20 0 1 0 184657166 1300070400 312377 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317400 312377 1124 1005 0 316163 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 1269600 KiB
Current children cumulated memory: 1249508 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/254 972894
/proc/meminfo: memFree=114568108/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1269600 memory=1249600 CPUtime=3392.21 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 277860 0 0 0 338950 271 0 0 20 0 1 0 184657166 1300070400 312400 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317400 312400 1124 1005 0 316163 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 1269600 KiB
Current children cumulated memory: 1249600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/254 972904
/proc/meminfo: memFree=114567096/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1269944 memory=1249836 CPUtime=3452.02 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 280876 0 0 0 344928 274 0 0 20 0 1 0 184657166 1300422656 312459 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317486 312459 1124 1005 0 316249 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 1269944 KiB
Current children cumulated memory: 1249836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/254 972915
/proc/meminfo: memFree=114563056/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1270168 memory=1250060 CPUtime=3511.83 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 283888 0 0 0 350905 278 0 0 20 0 1 0 184657166 1300652032 312515 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317542 312515 1124 1005 0 316305 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 1270168 KiB
Current children cumulated memory: 1250060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/254 972925
/proc/meminfo: memFree=114562464/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1270168 memory=1250092 CPUtime=3571.65 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 286892 0 0 0 356883 282 0 0 20 0 1 0 184657166 1300652032 312523 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317542 312523 1124 1005 0 316305 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 1270168 KiB
Current children cumulated memory: 1250092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.11 4.13 5/254 972929
/proc/meminfo: memFree=114561712/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=1270580 memory=1250472 CPUtime=3600.06 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 288201 0 0 0 359723 283 0 0 20 0 1 0 184657166 1301073920 312618 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 317645 312618 1124 1005 0 316408 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1270580 KiB
Current children cumulated memory: 1250472 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.38 s, system=2.84316 s

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

[startup+3610.9 s]
/proc/loadavg: 4.08 4.11 4.13 5/254 972929
/proc/meminfo: memFree=114561712/131524600 swapFree=131071996/131071996
[pid=970946] ppid=970943 vsize=680132 memory=665292 CPUtime=3600.15 cores=1,3
/proc/970946/stat : 970946 (Exact) R 970943 970946 964517 0 -1 4194304 288236 0 0 0 359732 283 0 0 20 0 1 0 184657166 696455168 166323 134679101440 4194304 8309489 140724009510912 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 24883200 140724009518014 140724009518183 140724009518183 140724009525199 0
/proc/970946/statm: 170033 166323 1137 1005 0 168796 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 680132 KiB
Current children cumulated memory: 665292 KiB

Child status: 0

Real time (s): 3610.95
CPU time (s): 3600.22
CPU user time (s): 3597.38
CPU system time (s): 2.84316
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 1305400
Max. memory (cumulated for all children) (KiB): 1285164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.38
system time used= 2.84316
maximum resident set size= 1285164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288237
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= 66
involuntary context switches= 1661


# summary of solver processes directly reported to runsolver:
#   pid: 970946
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3597.38
#   total CPU system time (s): 2.84316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85226 second user time and 16.5192 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-18 19:49:42
IDJOB=4446196
IDBENCH=155532
IDSOLVER=3060
FILE ID=nodeC015/4446196-1721324969
RUNJOBID= nodeC015-1721317679-964529
SLURM_JOB_ID= 7542667
Free space on /tmp= 889972 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-116.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446196-1721324969/watcher-4446196-1721324969 -o /tmp/evaluation-result-4446196-1721324969/solver-4446196-1721324969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721317679-964529 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=144152427 HOME/instance-4446196-1721324969.opb

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

MD5SUM BENCH= 2c07ac2a163c6358b3083ff023512428
RANDOM SEED=144152427

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127170560 kB
MemAvailable:   128323520 kB
Buffers:          494028 kB
Cached:          1486028 kB
SwapCached:            0 kB
Active:          1647676 kB
Inactive:        2071284 kB
Active(anon):       1572 kB
Inactive(anon):  1774760 kB
Active(file):    1646104 kB
Inactive(file):   296524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             50200 kB
Writeback:             0 kB
AnonPages:       1736912 kB
Mapped:           120228 kB
Shmem:             37720 kB
KReclaimable:      99956 kB
Slab:             212452 kB
SReclaimable:      99956 kB
SUnreclaim:       112496 kB
KernelStack:        4108 kB
PageTables:        12480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2070716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1673216 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889652 MiB
End job on nodeC015 at 2024-07-18 20:49:53