Trace number 4464205

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
FiberSCIP 2024-07-30? 3591.81 3601.49

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb
MD5SUM296473b9323cf6d261e3ed0be5346b68
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 benchmark-5492
Best CPU time to get the best result obtained on this benchmark706.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1427
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 915460
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 915460
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
2.48/2.57	c Default LC presolving (default).
2.48/2.58	c ** Before presolving: virtualMemUsedAtLc = 2170223286, getVmSize() = 1465659392, SCIPgetMemUsed() = 1386389957, SCIPgetMemTotal() = 1405924309, SCIPgetMemExternEstim() = 764298977
2.48/2.58	c ** set memory limit for presolving in LC to 8.79544e+12 for SCIP **
191.35/191.93	c ** Estimated virtualMemUsedAtSolver = 2744968255, getVmSize() = 3663056896, SCIPgetMemUsed() = 2417048110, SCIPgetMemTotal() = 3353153406, SCIPgetMemExternEstim() = 764298977
191.35/191.93	c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
191.35/191.93	c Original Problem   :
191.35/191.93	c   Problem name     : instance-4464205-1722382967
191.35/191.93	c   Variables        : 400896 (400896 binary, 0 integer, 0 implicit integer, 0 continuous)
191.35/191.93	c   Constraints      : 402763
191.35/191.93	c   Objective sense  : minimize
191.35/191.93	c Presolved Problem  :
191.35/191.93	c   Variables        : 324428 (324428 binary, 0 integer, 0 implicit integer, 0 continuous)
191.35/191.93	c   Constraints      : 324622
191.35/191.93	c Constraints        : Number
191.35/191.93	c   knapsack         : 1 
191.35/191.93	c   setppc           : 23924 
191.35/191.93	c   logicor          : 300697 
191.35/191.93	c ** Instance transfer method used: 0
192.44/193.04	c ** ParaScipInstance copy does not increase the number of variables. **
193.33/193.99	c LC is working with racing ramp-up and with rebuilding tree after racing.
193.33/193.99	c                                Nodes    Active                                            
193.33/193.99	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3588.34/3598.03	c      3598              0           1         0                --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000          -
3590.13/3599.89	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.13/3599.89	c Total Time         : 3599.8900
3590.13/3599.89	c   solving          : 3599.8900
3590.13/3599.89	c   presolving       : 189.3484 (included in solving)
3590.13/3599.89	c B&B Tree           :
3590.13/3599.89	c   nodes (total)    : 1
3590.13/3599.89	c Solution           :
3590.13/3599.89	c   Solutions found  : 0
3590.13/3599.89	c   Primal Bound     :          -
3590.13/3599.89	c   Dual Bound       :          -
3590.13/3599.89	c Gap                :          -
3591.71/3601.45	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: 63968 MiB (60228 MiB free)
  memory of node 1: 64473 MiB (61135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464205-1722382967/watcher-4464205-1722382967 -o /tmp/evaluation-result-4464205-1722382967/solver-4464205-1722382967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464205-1722382967.opb -qsol -t 3600 -sth 1 

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
solver pid=32877, runsolver pid=32874
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.32 4.20 4.12 5/263 32878
/proc/meminfo: memFree=124211792/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=87608 memory=75824 CPUtime=0.09 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 16816 0 0 0 8 1 0 0 20 0 1 0 4896976 89710592 18956 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 21902 18956 2347 3035 0 18298 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87608 KiB
Current children cumulated memory: 75824 KiB

[startup+0.205638 s]*
/proc/loadavg: 4.32 4.20 4.12 6/263 32878
/proc/meminfo: memFree=124167936/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=131232 memory=119696 CPUtime=0.2 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 27837 0 0 0 17 3 0 0 20 0 1 0 4896976 134381568 29924 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 32808 29924 2347 3035 0 29204 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131232 KiB
Current children cumulated memory: 119696 KiB

[startup+0.305553 s]*
/proc/loadavg: 4.32 4.20 4.12 5/263 32878
/proc/meminfo: memFree=124111712/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=187712 memory=176420 CPUtime=0.3 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 41981 0 0 0 26 4 0 0 20 0 1 0 4896976 192217088 44105 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 46928 44105 2347 3035 0 43324 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 187712 KiB
Current children cumulated memory: 176420 KiB

[startup+0.700236 s]
/proc/loadavg: 4.32 4.20 4.12 5/263 32878
/proc/meminfo: memFree=124001020/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=402040 memory=390312 CPUtime=0.68 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 93929 0 0 0 58 10 0 0 20 0 1 0 4896976 411688960 97578 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 100510 97578 2347 3035 0 96906 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 402040 KiB
Current children cumulated memory: 390312 KiB

[startup+1.50023 s]
/proc/loadavg: 4.32 4.20 4.12 5/263 32878
/proc/meminfo: memFree=123723116/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=857280 memory=844680 CPUtime=1.49 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 211443 0 0 0 122 27 0 0 20 0 1 0 4896976 877854720 211170 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 214320 211170 2555 3035 0 210716 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 857280 KiB
Current children cumulated memory: 844680 KiB

[startup+3.10547 s]
/proc/loadavg: 4.32 4.20 4.12 5/263 32878
/proc/meminfo: memFree=122815096/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=1496692 memory=1471968 CPUtime=3.08 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 363855 0 0 0 262 46 0 0 20 0 1 0 4896976 1532612608 367992 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 374173 367992 2614 3035 0 370569 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1496692 KiB
Current children cumulated memory: 1471968 KiB

[startup+6.30022 s]
/proc/loadavg: 4.29 4.19 4.11 5/263 32879
/proc/meminfo: memFree=122313992/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=2003156 memory=1967920 CPUtime=6.27 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 404344 0 0 0 560 67 0 0 20 0 1 0 4896976 2051231744 491980 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 500789 491980 2726 3035 0 497185 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2003156 KiB
Current children cumulated memory: 1967920 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.19 4.11 5/263 32879
/proc/meminfo: memFree=122288884/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=2043828 memory=1991336 CPUtime=12.66 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 406298 0 0 0 1197 69 0 0 20 0 1 0 4896976 2092879872 497834 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 510957 497834 2742 3035 0 507353 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2043828 KiB
Current children cumulated memory: 1991336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.18 4.11 5/263 32883
/proc/meminfo: memFree=122278880/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=2045120 memory=1995040 CPUtime=25.42 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 406928 0 0 0 2471 71 0 0 20 0 1 0 4896976 2094202880 498760 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 511280 498760 2742 3035 0 507676 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2045120 KiB
Current children cumulated memory: 1995040 KiB

[startup+51.1055 s]
/proc/loadavg: 4.28 4.20 4.12 5/263 32886
/proc/meminfo: memFree=122255176/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=2046332 memory=1997880 CPUtime=50.96 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 407304 0 0 0 5024 72 0 0 20 0 1 0 4896976 2095443968 499470 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 511583 499470 2742 3035 0 507979 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2046332 KiB
Current children cumulated memory: 1997880 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/263 32895
/proc/meminfo: memFree=122037924/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=2105488 memory=2070308 CPUtime=102.01 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 505818 0 0 0 10114 87 0 0 20 0 1 0 4896976 2156019712 517577 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 526372 517577 2774 3035 0 522768 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2105488 KiB
Current children cumulated memory: 2070308 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/260 32905
/proc/meminfo: memFree=121379900/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=2764076 memory=2688912 CPUtime=161.83 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 555628 0 0 0 16081 102 0 0 20 0 1 0 4896976 2830413824 672228 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 691019 672228 2790 3035 0 687415 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2764076 KiB
Current children cumulated memory: 2688912 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 32917
/proc/meminfo: memFree=118953412/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=5301608 memory=4934416 CPUtime=221.66 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 1066896 0 0 0 21976 190 0 0 20 0 3 0 4896976 5428846592 1233604 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1325402 1233604 2822 3035 0 1300155 0
[pid=32877/tid=32912] ppid=32874 vsize=5301608 memory=2688912 CPUtime=29.17 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 337091 0 0 0 2862 55 0 0 20 0 3 0 4916169 5428846592 1233604 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=5301608 memory=4934416 CPUtime=0 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4916378 5428846592 1233604 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 5301608 KiB
Current children cumulated memory: 4934416 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 32930
/proc/meminfo: memFree=118799252/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=5301608 memory=4937436 CPUtime=281.54 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 1104430 0 0 0 27961 193 0 0 20 0 3 0 4896976 5428846592 1234359 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1325402 1234359 2822 3035 0 1300155 0
[pid=32877/tid=32912] ppid=32874 vsize=5301608 memory=4937436 CPUtime=89.04 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 374591 0 0 0 8846 58 0 0 20 0 3 0 4916169 5428846592 1234359 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=5301608 memory=12680 CPUtime=0 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4916378 5428846592 1234359 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 5301608 KiB
Current children cumulated memory: 4937436 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 32940
/proc/meminfo: memFree=117940784/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=6049012 memory=5665264 CPUtime=341.39 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 1720748 0 0 0 33896 243 0 0 20 0 3 0 4896976 6194188288 1416316 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1512253 1416316 2822 3035 0 1490167 0
[pid=32877/tid=32912] ppid=32874 vsize=6049012 memory=4937436 CPUtime=148.9 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 990897 0 0 0 14782 108 0 0 20 0 3 0 4916169 6194188288 1416316 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=6049012 memory=12340 CPUtime=0 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4916378 6194188288 1416316 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 6049012 KiB
Current children cumulated memory: 5665264 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/263 32951
/proc/meminfo: memFree=117248564/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=6573300 memory=6191224 CPUtime=401.26 cores=4,6

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

/proc/32877/statm: 1831653 1706602 2982 3035 0 1796640 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=6826400 CPUtime=3140.79 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4490221 0 0 0 313608 471 0 0 20 0 3 0 4916169 7502450688 1706602 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=12680 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 826 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1706602 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6826408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 34815
/proc/meminfo: memFree=101663448/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6830508 CPUtime=3393.17 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5221688 0 0 0 338707 610 0 0 20 0 3 0 4896976 7502450688 1707627 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707627 2982 3035 0 1796667 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=6830492 CPUtime=3200.63 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4491054 0 0 0 319592 471 0 0 20 0 3 0 4916169 7502450688 1707627 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=12340 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 844 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707627 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6830508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 34833
/proc/meminfo: memFree=101662184/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6830992 CPUtime=3453.01 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5222547 0 0 0 344691 610 0 0 20 0 3 0 4896976 7502450688 1707748 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707748 2982 3035 0 1796695 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=12680 CPUtime=3260.47 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4491895 0 0 0 325576 471 0 0 20 0 3 0 4916169 7502450688 1707748 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=6830992 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 862 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707748 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6830992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 34844
/proc/meminfo: memFree=101661964/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6831056 CPUtime=3512.85 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5223407 0 0 0 350675 610 0 0 20 0 3 0 4896976 7502450688 1707764 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707764 2982 3035 0 1796724 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=6831012 CPUtime=3320.31 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4492737 0 0 0 331560 471 0 0 20 0 3 0 4916169 7502450688 1707764 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=-5155631284380920709 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 880 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707764 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6831056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/266 34854
/proc/meminfo: memFree=101661556/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6831116 CPUtime=3572.68 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5224275 0 0 0 356657 611 0 0 20 0 3 0 4896976 7502450688 1707779 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707779 2982 3035 0 1796754 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=6831116 CPUtime=3380.13 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4493587 0 0 0 337542 471 0 0 20 0 3 0 4916169 7502450688 1707779 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=6831116 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 898 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707779 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6831116 KiB

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

# cumulated CPU time of all completed processes:  user=3585.46 s, system=6.35243 s

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

[startup+3584 s]*
/proc/loadavg: 4.20 4.11 4.10 5/266 34856
/proc/meminfo: memFree=101661404/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6831124 CPUtime=3574.38 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5224348 0 0 0 356827 611 0 0 20 0 3 0 4896976 7502450688 1707781 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707781 2982 3035 0 1796755 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=-7019259710818838142 CPUtime=3381.83 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4493660 0 0 0 337712 471 0 0 20 0 3 0 4916169 7502450688 1707781 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=4355711586905255580 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 898 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707781 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6831124 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.11 4.10 5/266 34857
/proc/meminfo: memFree=101661512/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6831132 CPUtime=3580.76 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5224513 0 0 0 357465 611 0 0 20 0 3 0 4896976 7502450688 1707783 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707783 2982 3035 0 1796757 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=4355711586905255580 CPUtime=3388.21 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4493825 0 0 0 338349 472 0 0 20 0 3 0 4916169 7502450688 1707783 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=12340 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 898 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707783 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6831132 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 34858
/proc/meminfo: memFree=101661384/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=7326612 memory=6831136 CPUtime=3587.14 cores=4,6
/proc/32877/stat : 32877 (fscip) S 32874 32877 30194 0 -1 1077936128 5224560 0 0 0 358103 611 0 0 20 0 3 0 4896976 7502450688 1707784 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1831653 1707784 2982 3035 0 1796761 0
[pid=32877/tid=32912] ppid=32874 vsize=7326612 memory=6831116 CPUtime=3394.59 cores=4,6
/proc/32877/task/32912/stat : 32912 (fscip) R 32874 32877 30194 0 -1 4194368 4493867 0 0 0 338987 472 0 0 20 0 3 0 4916169 7502450688 1707784 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
[pid=32877/tid=32914] ppid=32874 vsize=7326612 memory=6831128 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 903 0 0 0 1 3 0 0 20 0 3 0 4916378 7502450688 1707784 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 7326612 KiB
Current children cumulated memory: 6831136 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.10 4.09 5/265 34858
/proc/meminfo: memFree=102451492/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=6346108 memory=6043284 CPUtime=3590.33 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 5470575 0 0 0 358409 624 0 0 20 0 2 0 4896976 6498414592 1510821 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1586527 1510821 3030 3035 0 1566784 0
[pid=32877/tid=32914] ppid=32874 vsize=6346108 memory=-7019259710818838142 CPUtime=0.04 cores=4,6
/proc/32877/task/32914/stat : 32914 (fscip) S 32874 32877 30194 0 -1 1077936192 903 0 0 0 1 3 0 0 20 0 2 0 4916378 6498414592 1510821 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
Current children cumulated CPU time: 3590.33 s
Current children cumulated vsize: 6346108 KiB
Current children cumulated memory: 6043284 KiB

[startup+3600.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 34858
/proc/meminfo: memFree=102451492/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=6342952 memory=6040136 CPUtime=3591.12 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 5472463 0 0 0 358488 624 0 0 20 0 1 0 4896976 6495182848 1510034 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1585738 1510034 3030 3035 0 1565995 0
Current children cumulated CPU time: 3591.12 s
Current children cumulated vsize: 6342952 KiB
Current children cumulated memory: 6040136 KiB

[startup+3601.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 34858
/proc/meminfo: memFree=102457820/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=6255016 memory=5952240 CPUtime=3591.51 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 5498081 0 0 0 358526 625 0 0 20 0 1 0 4896976 6405136384 1488060 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1563754 1488060 3030 3035 0 1544011 0
Current children cumulated CPU time: 3591.51 s
Current children cumulated vsize: 6255016 KiB
Current children cumulated memory: 5952240 KiB

[startup+3601.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 34858
/proc/meminfo: memFree=102457820/131524600 swapFree=131071996/131071996
[pid=32877] ppid=32874 vsize=5907896 memory=5605128 CPUtime=3591.71 cores=4,6
/proc/32877/stat : 32877 (fscip) R 32874 32877 30194 0 -1 4194304 5554272 0 0 0 358541 630 0 0 20 0 1 0 4896976 6049685504 1401282 134679101440 4194304 16623229 140726524274336 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54435840 140726524277782 140726524277898 140726524277898 140726524284912 0
/proc/32877/statm: 1476974 1401282 3030 3035 0 1457231 0
Current children cumulated CPU time: 3591.71 s
Current children cumulated vsize: 5907896 KiB
Current children cumulated memory: 5605128 KiB

Child status: 0

Real time (s): 3601.49
CPU time (s): 3591.81
CPU user time (s): 3585.46
CPU system time (s): 6.35243
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 7326612
Max. memory (cumulated for all children) (KiB): 6831140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.46
system time used= 6.35243
maximum resident set size= 6831140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5569271
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= 3522
involuntary context switches= 3081


# summary of solver processes directly reported to runsolver:
#   pid: 32877
#   total CPU time (s): 3591.81
#   total CPU user time (s): 3585.46
#   total CPU system time (s): 6.35243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33777 second user time and 18.5651 second system time

The end

Launcher Data

Begin job on nodeC026 at 2024-07-31 01:42:48
IDJOB=4464205
IDBENCH=157984
IDSOLVER=3092
FILE ID=nodeC026/4464205-1722382967
RUNJOBID= nodeC026-1722378594-30205
SLURM_JOB_ID= 8249849
Free space on /tmp= 889972 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464205-1722382967/watcher-4464205-1722382967 -o /tmp/evaluation-result-4464205-1722382967/solver-4464205-1722382967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464205-1722382967.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 296473b9323cf6d261e3ed0be5346b68
RANDOM SEED=624940052

nodeC026.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.211
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	: 7000.59
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		: 3688.531
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.70
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.794
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	: 7000.59
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.574
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.70
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		: 3643.508
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	: 7000.59
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		: 3688.503
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.70
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		: 3672.563
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	: 7000.59
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.651
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.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124277176 kB
MemAvailable:   128345812 kB
Buffers:           97148 kB
Cached:          4788776 kB
SwapCached:            0 kB
Active:           268264 kB
Inactive:        6462620 kB
Active(anon):       1520 kB
Inactive(anon):  1865100 kB
Active(file):     266744 kB
Inactive(file):  4597520 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             55496 kB
Writeback:             0 kB
AnonPages:       1845168 kB
Mapped:           127144 kB
Shmem:             21336 kB
KReclaimable:      88388 kB
Slab:             172908 kB
SReclaimable:      88388 kB
SUnreclaim:        84520 kB
KernelStack:        4268 kB
PageTables:        13100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1294564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    847872 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:      205524 kB
DirectMap2M:    16345088 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889720 MiB
End job on nodeC026 at 2024-07-31 02:42:49