Trace number 4452756

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-05UNSAT 1708.44 1714.62

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
MD5SUMa3c218acab88c9e5abe907b008036492
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.83428
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33930
Total number of constraints6787
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)12
Number of constraints which are nor clauses,nor cardinality constraints6775
Minimum length of a constraint5
Maximum length of a constraint15
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1708.30/1714.59	s UNSATISFIABLE

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 (61164 MiB free)
  memory of node 1: 64510 MiB (61573 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452756-1721445989/watcher-4452756-1721445989 -o /tmp/evaluation-result-4452756-1721445989/solver-4452756-1721445989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721446000-1048089 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=769384097 HOME/instance-4452756-1721445989.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1048244, runsolver pid=1048241

[startup+0.100456 s]*
/proc/loadavg: 3.66 4.00 4.09 5/258 1048245
/proc/meminfo: memFree=125631128/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=73876 memory=54348 CPUtime=0.1 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 9243 0 0 0 8 2 0 0 20 0 1 0 196758066 75649024 13587 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 18469 13587 900 1005 0 17232 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 54348 KiB

[startup+0.205422 s]*
/proc/loadavg: 3.66 4.00 4.09 5/258 1048245
/proc/meminfo: memFree=125605816/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=99008 memory=79120 CPUtime=0.19 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 16495 0 0 0 17 2 0 0 20 0 1 0 196758066 101384192 19780 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 24752 19780 1060 1005 0 23515 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99008 KiB
Current children cumulated memory: 79120 KiB

[startup+0.305413 s]*
/proc/loadavg: 3.66 4.00 4.09 5/258 1048245
/proc/meminfo: memFree=125602652/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=102748 memory=83524 CPUtime=0.3 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 17507 0 0 0 27 3 0 0 20 0 1 0 196758066 105213952 20881 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 25687 20881 1108 1005 0 24450 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102748 KiB
Current children cumulated memory: 83524 KiB

[startup+0.700205 s]
/proc/loadavg: 3.66 4.00 4.09 6/255 1048249
/proc/meminfo: memFree=125632688/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=103364 memory=86160 CPUtime=0.68 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 17663 0 0 0 65 3 0 0 20 0 1 0 196758066 105844736 21540 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 25841 21540 1124 1005 0 24604 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103364 KiB
Current children cumulated memory: 86160 KiB

[startup+1.50022 s]
/proc/loadavg: 3.66 4.00 4.09 5/258 1048291
/proc/meminfo: memFree=125544640/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=104676 memory=87476 CPUtime=1.48 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 17992 0 0 0 145 3 0 0 20 0 1 0 196758066 107188224 21869 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 26169 21869 1124 1005 0 24932 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 104676 KiB
Current children cumulated memory: 87476 KiB

[startup+3.10532 s]
/proc/loadavg: 3.69 4.00 4.09 5/258 1048339
/proc/meminfo: memFree=125534208/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=108276 memory=91140 CPUtime=3.08 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 18899 0 0 0 305 3 0 0 20 0 1 0 196758066 110874624 22785 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 27069 22785 1124 1005 0 25832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108276 KiB
Current children cumulated memory: 91140 KiB

[startup+6.3002 s]
/proc/loadavg: 3.69 4.00 4.09 5/258 1048431
/proc/meminfo: memFree=125442148/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=112104 memory=94804 CPUtime=6.26 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 19864 0 0 0 623 3 0 0 20 0 1 0 196758066 114794496 23701 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 28026 23701 1124 1005 0 26789 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 94804 KiB

[startup+12.7002 s]
/proc/loadavg: 3.71 4.00 4.09 5/258 1048431
/proc/meminfo: memFree=125414592/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=116356 memory=99276 CPUtime=12.64 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 20950 0 0 0 1260 4 0 0 20 0 1 0 196758066 119148544 24819 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 29089 24819 1140 1005 0 27852 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 116356 KiB
Current children cumulated memory: 99276 KiB

[startup+25.5002 s]
/proc/loadavg: 3.84 4.02 4.09 5/258 1048434
/proc/meminfo: memFree=125375488/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=124680 memory=107396 CPUtime=25.38 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 23041 0 0 0 2533 5 0 0 20 0 1 0 196758066 127672320 26849 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 31170 26849 1140 1005 0 29933 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 124680 KiB
Current children cumulated memory: 107396 KiB

[startup+51.1054 s]
/proc/loadavg: 4.44 4.15 4.13 5/257 1048437
/proc/meminfo: memFree=125314060/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=138132 memory=122808 CPUtime=50.87 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 26376 0 0 0 5080 7 0 0 20 0 1 0 196758066 141447168 30702 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 34533 30702 1140 1005 0 33296 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 138132 KiB
Current children cumulated memory: 122808 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.12 5/257 1048445
/proc/meminfo: memFree=125221140/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=158008 memory=142844 CPUtime=101.84 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 31304 0 0 0 10171 13 0 0 20 0 1 0 196758066 161800192 35711 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 39502 35711 1140 1005 0 38265 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 158008 KiB
Current children cumulated memory: 142844 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/258 1048901
/proc/meminfo: memFree=125211040/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=188244 memory=175720 CPUtime=161.53 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 38910 0 0 0 16136 17 0 0 20 0 1 0 196758066 192761856 43930 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 47061 43930 1140 1005 0 45824 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 188244 KiB
Current children cumulated memory: 175720 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 1049325
/proc/meminfo: memFree=125160336/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=206660 memory=193624 CPUtime=221.32 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 43507 0 0 0 22108 24 0 0 20 0 1 0 196758066 211619840 48406 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 51665 48406 1140 1005 0 50428 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 206660 KiB
Current children cumulated memory: 193624 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/260 1049393
/proc/meminfo: memFree=125057320/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=241636 memory=228424 CPUtime=281.11 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 52244 0 0 0 28080 31 0 0 20 0 1 0 196758066 247435264 57106 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 60409 57106 1140 1005 0 59172 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 241636 KiB
Current children cumulated memory: 228424 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/259 1050003
/proc/meminfo: memFree=125012944/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=261036 memory=247384 CPUtime=340.89 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 57079 0 0 0 34051 38 0 0 20 0 1 0 196758066 267300864 61846 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 65259 61846 1140 1005 0 64022 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 261036 KiB
Current children cumulated memory: 247384 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 1050197
/proc/meminfo: memFree=124939284/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=279080 memory=265280 CPUtime=400.68 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 61634 0 0 0 40023 45 0 0 20 0 1 0 196758066 285777920 66320 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 69770 66320 1140 1005 0 68533 0
Current children cumulated CPU time: 400.68 s
Current children cumulated vsize: 279080 KiB
Current children cumulated memory: 265280 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 1050208
/proc/meminfo: memFree=124856728/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=291764 memory=277744 CPUtime=460.47 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 64998 0 0 0 45994 53 0 0 20 0 1 0 196758066 298766336 69436 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 72941 69436 1140 1005 0 71704 0

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

/proc/loadavg: 4.17 4.17 4.12 5/255 1050453
/proc/meminfo: memFree=124220312/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=501628 memory=490748 CPUtime=1297.52 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 118631 0 0 0 129592 160 0 0 20 0 1 0 196758066 513667072 122687 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 125407 122687 1198 1005 0 124170 0
Current children cumulated CPU time: 1297.52 s
Current children cumulated vsize: 501628 KiB
Current children cumulated memory: 490748 KiB

[startup+1362.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/255 1050464
/proc/meminfo: memFree=124161856/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=514424 memory=502964 CPUtime=1357.31 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 122048 0 0 0 135564 167 0 0 20 0 1 0 196758066 526770176 125741 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 128606 125741 1198 1005 0 127369 0
Current children cumulated CPU time: 1357.31 s
Current children cumulated vsize: 514424 KiB
Current children cumulated memory: 502964 KiB

[startup+1422.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/255 1050474
/proc/meminfo: memFree=124120880/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=522448 memory=510900 CPUtime=1417.11 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 124202 0 0 0 141543 168 0 0 20 0 1 0 196758066 534986752 127725 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 130612 127725 1198 1005 0 129375 0
Current children cumulated CPU time: 1417.11 s
Current children cumulated vsize: 522448 KiB
Current children cumulated memory: 510900 KiB

[startup+1482.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 1050492
/proc/meminfo: memFree=124087556/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=533972 memory=522272 CPUtime=1476.9 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 127229 0 0 0 147521 169 0 0 20 0 1 0 196758066 546787328 130568 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 133493 130568 1198 1005 0 132256 0
Current children cumulated CPU time: 1476.9 s
Current children cumulated vsize: 533972 KiB
Current children cumulated memory: 522272 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 1050502
/proc/meminfo: memFree=124065656/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=541812 memory=529948 CPUtime=1536.69 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 129339 0 0 0 153500 169 0 0 20 0 1 0 196758066 554815488 132487 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 135453 132487 1198 1005 0 134216 0
Current children cumulated CPU time: 1536.69 s
Current children cumulated vsize: 541812 KiB
Current children cumulated memory: 529948 KiB

[startup+1602.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/258 1050512
/proc/meminfo: memFree=124050232/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=543348 memory=531276 CPUtime=1596.49 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 129735 0 0 0 159452 197 0 0 20 0 1 0 196758066 556388352 132819 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 135837 132819 1198 1005 0 134600 0
Current children cumulated CPU time: 1596.49 s
Current children cumulated vsize: 543348 KiB
Current children cumulated memory: 531276 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/258 1050524
/proc/meminfo: memFree=124010728/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=547660 memory=535488 CPUtime=1656.28 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 130963 0 0 0 165410 218 0 0 20 0 1 0 196758066 560803840 133872 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 136915 133872 1198 1005 0 135678 0
Current children cumulated CPU time: 1656.28 s
Current children cumulated vsize: 547660 KiB
Current children cumulated memory: 535488 KiB

[startup+1714.62 s]
# the end of solver process 1048244 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1706.24 s, system=2.20209 s

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

[startup+1664 s]*
/proc/loadavg: 4.09 4.14 4.11 5/258 1050525
/proc/meminfo: memFree=124006056/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=548608 memory=536544 CPUtime=1657.98 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 131230 0 0 0 165580 218 0 0 20 0 1 0 196758066 561774592 134136 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 137152 134136 1198 1005 0 135915 0
Current children cumulated CPU time: 1657.98 s
Current children cumulated vsize: 548608 KiB
Current children cumulated memory: 536544 KiB

[startup+1689.6 s]
/proc/loadavg: 4.11 4.15 4.11 5/258 1050529
/proc/meminfo: memFree=123979552/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=561128 memory=548424 CPUtime=1683.49 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 134198 0 0 0 168130 219 0 0 20 0 1 0 196758066 574595072 137106 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 140282 137106 1198 1005 0 139045 0
Current children cumulated CPU time: 1683.49 s
Current children cumulated vsize: 561128 KiB
Current children cumulated memory: 548424 KiB

[startup+1702.4 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 1050531
/proc/meminfo: memFree=123970208/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=562868 memory=550032 CPUtime=1696.25 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 134759 0 0 0 169406 219 0 0 20 0 1 0 196758066 576376832 137508 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 140717 137508 1198 1005 0 139480 0
Current children cumulated CPU time: 1696.25 s
Current children cumulated vsize: 562868 KiB
Current children cumulated memory: 550032 KiB

[startup+1708.8 s]
/proc/loadavg: 4.09 4.14 4.11 5/258 1050532
/proc/meminfo: memFree=123969564/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=562868 memory=550032 CPUtime=1702.63 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 134766 0 0 0 170044 219 0 0 20 0 1 0 196758066 576376832 137508 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 140717 137508 1198 1005 0 139480 0
Current children cumulated CPU time: 1702.63 s
Current children cumulated vsize: 562868 KiB
Current children cumulated memory: 550032 KiB

[startup+1712 s]*
/proc/loadavg: 4.08 4.14 4.11 5/258 1050532
/proc/meminfo: memFree=123969376/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=562868 memory=550032 CPUtime=1705.82 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 134770 0 0 0 170363 219 0 0 20 0 1 0 196758066 576376832 137508 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 140717 137508 1198 1005 0 139480 0
Current children cumulated CPU time: 1705.82 s
Current children cumulated vsize: 562868 KiB
Current children cumulated memory: 550032 KiB

[startup+1713.6 s]
/proc/loadavg: 4.08 4.14 4.11 5/258 1050534
/proc/meminfo: memFree=123969328/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=562868 memory=550032 CPUtime=1707.41 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 134770 0 0 0 170522 219 0 0 20 0 1 0 196758066 576376832 137508 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 140717 137508 1198 1005 0 139480 0
Current children cumulated CPU time: 1707.41 s
Current children cumulated vsize: 562868 KiB
Current children cumulated memory: 550032 KiB

[startup+1714.4 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 1050534
/proc/meminfo: memFree=123968872/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=564112 memory=551380 CPUtime=1708.21 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 135161 0 0 0 170602 219 0 0 20 0 1 0 196758066 577650688 137845 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 141028 137845 1198 1005 0 139791 0
Current children cumulated CPU time: 1708.21 s
Current children cumulated vsize: 564112 KiB
Current children cumulated memory: 551380 KiB

[startup+1714.6 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 1050534
/proc/meminfo: memFree=123968872/131524600 swapFree=130799640/131071996
[pid=1048244] ppid=1048241 vsize=531896 memory=525148 CPUtime=1708.4 cores=0,2
/proc/1048244/stat : 1048244 (Exact) R 1048241 1048244 1048079 0 -1 4194304 135163 0 0 0 170621 219 0 0 20 0 1 0 196758066 544661504 131287 134679101440 4194304 8309489 140735109640336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38989824 140735109649341 140735109649510 140735109649510 140735109656527 0
/proc/1048244/statm: 132974 131287 1198 1005 0 131737 0
Current children cumulated CPU time: 1708.4 s
Current children cumulated vsize: 531896 KiB
Current children cumulated memory: 525148 KiB

Child status: 20

Real time (s): 1714.62
CPU time (s): 1708.44
CPU user time (s): 1706.24
CPU system time (s): 2.20209
CPU usage (%): 99.6392
Max. virtual memory (cumulated for all children) (KiB): 564112
Max. memory (cumulated for all children) (KiB): 551380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.24
system time used= 2.20209
maximum resident set size= 551380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135163
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= 132
involuntary context switches= 12037


# summary of solver processes directly reported to runsolver:
#   pid: 1048244
#   total CPU time (s): 1708.44
#   total CPU user time (s): 1706.24
#   total CPU system time (s): 2.20209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.87514 second user time and 7.79382 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-20 05:26:42
IDJOB=4452756
IDBENCH=165316
IDSOLVER=3060
FILE ID=nodeC014/4452756-1721445989
RUNJOBID= nodeC014-1721446000-1048089
SLURM_JOB_ID= 7545668
Free space on /tmp= 890016 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.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-4452756-1721445989/watcher-4452756-1721445989 -o /tmp/evaluation-result-4452756-1721445989/solver-4452756-1721445989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721446000-1048089 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=769384097 HOME/instance-4452756-1721445989.opb

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

MD5SUM BENCH= a3c218acab88c9e5abe907b008036492
RANDOM SEED=769384097

nodeC014.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		: 3652.929
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.32
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		: 3690.503
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3649.185
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.32
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		: 3600.024
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3654.515
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.32
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		: 3690.529
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3601.128
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.32
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		: 3599.794
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125683416 kB
MemAvailable:   129846172 kB
Buffers:          502472 kB
Cached:          4455776 kB
SwapCached:        12864 kB
Active:          1526768 kB
Inactive:        3688356 kB
Active(anon):       9188 kB
Inactive(anon):   277316 kB
Active(file):    1517580 kB
Inactive(file):  3411040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             26940 kB
Writeback:             0 kB
AnonPages:        248092 kB
Mapped:            64364 kB
Shmem:             29628 kB
KReclaimable:     147564 kB
Slab:             250600 kB
SReclaimable:     147564 kB
SUnreclaim:       103036 kB
KernelStack:        4192 kB
PageTables:        10272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     826420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            36256 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC014 at 2024-07-20 05:55:16