Trace number 4464199

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.92 3603.21

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUMccc767bd01ae3f57d23f9938eef5a5f9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-250538
Best CPU time to get the best result obtained on this benchmark72002.3
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 1783
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 10548534
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 10548534
Number of bits of the biggest sum of numbers24
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.78/2.87	c Default LC presolving (default).
2.78/2.88	c ** Before presolving: virtualMemUsedAtLc = 2170223286, getVmSize() = 1465663488, SCIPgetMemUsed() = 1386389957, SCIPgetMemTotal() = 1405924309, SCIPgetMemExternEstim() = 764298977
2.78/2.88	c ** set memory limit for presolving in LC to 8.79544e+12 for SCIP **
276.89/277.79	c ** Estimated virtualMemUsedAtSolver = 2849933703, getVmSize() = 3907883008, SCIPgetMemUsed() = 2547545954, SCIPgetMemTotal() = 3510601578, SCIPgetMemExternEstim() = 764298977
276.89/277.79	c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
276.89/277.79	c Original Problem   :
276.89/277.79	c   Problem name     : instance-4464199-1722383049
276.89/277.79	c   Variables        : 400896 (400896 binary, 0 integer, 0 implicit integer, 0 continuous)
276.89/277.79	c   Constraints      : 402763
276.89/277.79	c   Objective sense  : minimize
276.89/277.79	c Presolved Problem  :
276.89/277.79	c   Variables        : 391407 (391407 binary, 0 integer, 0 implicit integer, 0 continuous)
276.89/277.79	c   Constraints      : 391602
276.89/277.79	c Constraints        : Number
276.89/277.79	c   knapsack         : 1 
276.89/277.79	c   setppc           : 28715 
276.89/277.79	c   logicor          : 362886 
276.89/277.79	c ** Instance transfer method used: 0
278.39/279.29	c ** ParaScipInstance copy does not increase the number of variables. **
279.68/280.57	c LC is working with racing ramp-up and with rebuilding tree after racing.
279.68/280.57	c                                Nodes    Active                                            
279.68/280.57	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3586.73/3598.01	c      3598              0           1         0                --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000          -
3590.02/3601.39	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.02/3601.39	c Total Time         : 3601.3900
3590.02/3601.39	c   solving          : 3601.3900
3590.02/3601.39	c   presolving       : 274.9093 (included in solving)
3590.02/3601.39	c B&B Tree           :
3590.02/3601.39	c   nodes (total)    : 1
3590.02/3601.39	c Solution           :
3590.02/3601.40	c   Solutions found  : 0
3590.02/3601.40	c   Primal Bound     :          -
3590.02/3601.40	c   Dual Bound       :          -
3590.02/3601.40	c Gap                :          -
3591.71/3603.10	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 (43453 MiB free)
  memory of node 1: 64473 MiB (61951 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464199-1722383049/watcher-4464199-1722383049 -o /tmp/evaluation-result-4464199-1722383049/solver-4464199-1722383049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35200 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464199-1722383049.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=37889, runsolver pid=37886
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 37890
/proc/meminfo: memFree=107878076/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=79660 memory=67764 CPUtime=0.1 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 14838 0 0 0 8 2 0 0 20 0 1 0 4906802 81571840 16941 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 19915 16941 2347 3035 0 16311 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79660 KiB
Current children cumulated memory: 67764 KiB

[startup+0.20581 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 37890
/proc/meminfo: memFree=107840948/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=113680 memory=102232 CPUtime=0.2 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 23458 0 0 0 17 3 0 0 20 0 1 0 4906802 116408320 25558 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 28420 25558 2347 3035 0 24816 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113680 KiB
Current children cumulated memory: 102232 KiB

[startup+0.305754 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 37890
/proc/meminfo: memFree=107798808/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=157556 memory=146144 CPUtime=0.3 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 34434 0 0 0 25 5 0 0 20 0 1 0 4906802 161337344 36536 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 39389 36536 2347 3035 0 35785 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 157556 KiB
Current children cumulated memory: 146144 KiB

[startup+0.700245 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 37890
/proc/meminfo: memFree=107700212/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=343348 memory=331900 CPUtime=0.69 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 80845 0 0 0 58 11 0 0 20 0 1 0 4906802 351588352 82975 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 85837 82975 2347 3035 0 82233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 343348 KiB
Current children cumulated memory: 331900 KiB

[startup+1.50025 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 37890
/proc/meminfo: memFree=107462500/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=651460 memory=637708 CPUtime=1.48 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 160227 0 0 0 126 22 0 0 20 0 1 0 4906802 667095040 159427 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 162865 159427 2555 3035 0 159261 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 651460 KiB
Current children cumulated memory: 637708 KiB

[startup+3.10572 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 37891
/proc/meminfo: memFree=106481884/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=1487640 memory=1463664 CPUtime=3.09 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 363629 0 0 0 257 52 0 0 20 0 1 0 4906802 1523343360 365916 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 371910 365916 2614 3035 0 368306 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1487640 KiB
Current children cumulated memory: 1463664 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 37891
/proc/meminfo: memFree=104800580/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=2002704 memory=1968580 CPUtime=6.27 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 406821 0 0 0 556 71 0 0 20 0 1 0 4906802 2050768896 492145 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 500676 492145 2726 3035 0 497072 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2002704 KiB
Current children cumulated memory: 1968580 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.09 5/260 37893
/proc/meminfo: memFree=103484040/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=2025440 memory=1982252 CPUtime=12.66 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 408817 0 0 0 1194 72 0 0 20 0 1 0 4906802 2074050560 495563 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 506360 495563 2742 3035 0 502756 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2025440 KiB
Current children cumulated memory: 1982252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.09 5/260 37894
/proc/meminfo: memFree=103872552/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=2025440 memory=1982252 CPUtime=25.43 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 409008 0 0 0 2470 73 0 0 20 0 1 0 4906802 2074050560 495563 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 506360 495563 2742 3035 0 502756 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2025440 KiB
Current children cumulated memory: 1982252 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.14 4.09 5/260 37899
/proc/meminfo: memFree=103869604/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=2031556 memory=1984408 CPUtime=50.97 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 409225 0 0 0 5023 74 0 0 20 0 1 0 4906802 2080313344 496102 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 507889 496102 2742 3035 0 504285 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2031556 KiB
Current children cumulated memory: 1984408 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/258 37908
/proc/meminfo: memFree=103868672/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=2031556 memory=1984408 CPUtime=102.01 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 409567 0 0 0 10125 76 0 0 20 0 1 0 4906802 2080313344 496102 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 507889 496102 2742 3035 0 504285 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2031556 KiB
Current children cumulated memory: 1984408 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 37918
/proc/meminfo: memFree=104208324/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=1678092 memory=1644864 CPUtime=161.83 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 414616 0 0 0 16103 80 0 0 20 0 1 0 4906802 1718366208 411216 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 419523 411216 2742 3035 0 415919 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1678092 KiB
Current children cumulated memory: 1644864 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/258 37930
/proc/meminfo: memFree=103023940/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=2905948 memory=2826464 CPUtime=221.66 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 601852 0 0 0 22048 118 0 0 20 0 1 0 4906802 2975690752 706616 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 726487 706616 2790 3035 0 722883 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2905948 KiB
Current children cumulated memory: 2826464 KiB

[startup+282.301 s]
/proc/loadavg: 4.17 4.15 4.10 5/260 37942
/proc/meminfo: memFree=100877504/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=5340012 memory=5006808 CPUtime=281.46 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 1126571 0 0 0 27947 199 0 0 20 0 3 0 4906802 5468172288 1251702 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1335003 1251702 2822 3035 0 1319320 0
[pid=37889/tid=37940] ppid=37886 vsize=5340012 memory=3905716 CPUtime=2.96 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 350501 0 0 0 251 45 0 0 20 0 3 0 4934582 5468172288 1251702 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=5340012 memory=3467896 CPUtime=0 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4934863 5468172288 1251702 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 5340012 KiB
Current children cumulated memory: 5006808 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/260 37952
/proc/meminfo: memFree=100386412/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=5816684 memory=5456012 CPUtime=341.27 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 1192531 0 0 0 33908 219 0 0 20 0 3 0 4906802 5956284416 1364003 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1454171 1364003 2822 3035 0 1437213 0
[pid=37889/tid=37940] ppid=37886 vsize=5816684 memory=3905716 CPUtime=62.77 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 416426 0 0 0 6212 65 0 0 20 0 3 0 4934582 5956284416 1364003 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=5816684 memory=11596 CPUtime=0 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4934863 5956284416 1364003 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 5816684 KiB
Current children cumulated memory: 5456012 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/261 37967
/proc/meminfo: memFree=100385976/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=5816684 memory=5456012 CPUtime=401.1 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 1217103 0 0 0 39890 220 0 0 20 0 3 0 4906802 5956284416 1364003 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1454171 1364003 2822 3035 0 1437213 0
[pid=37889/tid=37940] ppid=37886 vsize=5816684 memory=3905716 CPUtime=122.6 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 440970 0 0 0 12194 66 0 0 20 0 3 0 4934582 5956284416 1364003 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0

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

/proc/meminfo: memFree=117362376/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=7888812 memory=7436780 CPUtime=3332.01 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 6977300 0 0 0 332479 722 0 0 20 0 3 0 4906802 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1972203 1859195 2982 3035 0 1952131 0
[pid=37889/tid=37940] ppid=37886 vsize=7888812 memory=7436780 CPUtime=3053.47 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6200166 0 0 0 304783 564 0 0 20 0 3 0 4934582 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=7888812 memory=7436780 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1064 0 0 0 1 3 0 0 20 0 3 0 4934863 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 7888812 KiB
Current children cumulated memory: 7436780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/260 40070
/proc/meminfo: memFree=117317008/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=7888812 memory=7436780 CPUtime=3391.78 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 7018317 0 0 0 338448 730 0 0 20 0 3 0 4906802 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1972203 1859195 2982 3035 0 1952131 0
[pid=37889/tid=37940] ppid=37886 vsize=7888812 memory=7436780 CPUtime=3113.24 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6241169 0 0 0 310752 572 0 0 20 0 3 0 4934582 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=7888812 memory=7436780 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1078 0 0 0 1 3 0 0 20 0 3 0 4934863 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 7888812 KiB
Current children cumulated memory: 7436780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/260 40080
/proc/meminfo: memFree=117287600/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=7888812 memory=7436780 CPUtime=3451.56 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 7203961 0 0 0 344415 741 0 0 20 0 3 0 4906802 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1972203 1859195 2982 3035 0 1952131 0
[pid=37889/tid=37940] ppid=37886 vsize=7888812 memory=7436780 CPUtime=3173.02 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6426799 0 0 0 316719 583 0 0 20 0 3 0 4934582 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=7888812 memory=11596 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1092 0 0 0 1 3 0 0 20 0 3 0 4934863 8078143488 1859195 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 7888812 KiB
Current children cumulated memory: 7436780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/260 40090
/proc/meminfo: memFree=117120928/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=8019884 memory=7567940 CPUtime=3511.33 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 7501261 0 0 0 350337 796 0 0 20 0 3 0 4906802 8212361216 1891985 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 2004971 1891985 2982 3035 0 1984980 0
[pid=37889/tid=37940] ppid=37886 vsize=8019884 memory=5600 CPUtime=3232.79 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6724089 0 0 0 322641 638 0 0 20 0 3 0 4934582 8212361216 1891985 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=8019884 memory=7567940 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1102 0 0 0 1 3 0 0 20 0 3 0 4934863 8212361216 1891985 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 8019884 KiB
Current children cumulated memory: 7567940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/260 40100
/proc/meminfo: memFree=116962520/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=8236592 memory=7691200 CPUtime=3571.06 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 7700771 0 0 0 356295 811 0 0 20 0 3 0 4906802 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 2059148 1922800 2982 3035 0 2036647 0
[pid=37889/tid=37940] ppid=37886 vsize=8236592 memory=12272 CPUtime=3292.52 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6923592 0 0 0 328599 653 0 0 20 0 3 0 4934582 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=8236592 memory=11596 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1110 0 0 0 1 3 0 0 20 0 3 0 4934863 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 8236592 KiB
Current children cumulated memory: 7691200 KiB

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

# cumulated CPU time of all completed processes:  user=3583.2 s, system=8.71513 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.10 5/260 40100
/proc/meminfo: memFree=116962528/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=8236592 memory=7691200 CPUtime=3572.77 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 7701477 0 0 0 356465 812 0 0 20 0 3 0 4906802 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 2059148 1922800 2982 3035 0 2036647 0
[pid=37889/tid=37940] ppid=37886 vsize=8236592 memory=-6000919489852564332 CPUtime=3294.22 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6924295 0 0 0 328769 653 0 0 20 0 3 0 4934582 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=8236592 memory=-7737930133656730054 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1112 0 0 0 1 3 0 0 20 0 3 0 4934863 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 8236592 KiB
Current children cumulated memory: 7691200 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.10 5/260 40101
/proc/meminfo: memFree=116957684/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=8236592 memory=7691200 CPUtime=3585.53 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 7715556 0 0 0 357740 813 0 0 20 0 3 0 4906802 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 2059148 1922800 2982 3035 0 2036647 0
[pid=37889/tid=37940] ppid=37886 vsize=8236592 memory=2160 CPUtime=3306.99 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 6938370 0 0 0 330044 655 0 0 20 0 3 0 4934582 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=8236592 memory=7691200 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1116 0 0 0 1 3 0 0 20 0 3 0 4934863 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 8236592 KiB
Current children cumulated memory: 7691200 KiB

[startup+3600 s]*
/proc/loadavg: 4.14 4.12 4.10 5/260 40103
/proc/meminfo: memFree=116953400/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=8236592 memory=7691200 CPUtime=3588.73 cores=4,6
/proc/37889/stat : 37889 (fscip) S 37886 37889 35189 0 -1 1077936128 8017251 0 0 0 358044 829 0 0 20 0 3 0 4906802 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 2059148 1922800 2982 3035 0 2036647 0
[pid=37889/tid=37940] ppid=37886 vsize=8236592 memory=-6000919489852564332 CPUtime=3310.18 cores=4,6
/proc/37889/task/37940/stat : 37940 (fscip) R 37886 37889 35189 0 -1 4194368 7240044 0 0 0 330348 670 0 0 20 0 3 0 4934582 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
[pid=37889/tid=37942] ppid=37886 vsize=8236592 memory=-7737930133656730054 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1116 0 0 0 1 3 0 0 20 0 3 0 4934863 8434270208 1922800 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 8236592 KiB
Current children cumulated memory: 7691200 KiB

[startup+3601.6 s]
/proc/loadavg: 4.14 4.12 4.10 5/260 40103
/proc/meminfo: memFree=117058628/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=7473876 memory=7049484 CPUtime=3590.31 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 8379001 0 0 0 358182 849 0 0 20 0 2 0 4906802 7653249024 1762371 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1868469 1762371 3030 3035 0 1849232 0
[pid=37889/tid=37942] ppid=37886 vsize=7473876 memory=13120 CPUtime=0.04 cores=4,6
/proc/37889/task/37942/stat : 37942 (fscip) S 37886 37889 35189 0 -1 1077936192 1116 0 0 0 1 3 0 0 20 0 2 0 4934863 7653249024 1762371 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
Current children cumulated CPU time: 3590.31 s
Current children cumulated vsize: 7473876 KiB
Current children cumulated memory: 7049484 KiB

[startup+3602.4 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 40105
/proc/meminfo: memFree=117599380/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=7470720 memory=7046336 CPUtime=3591.11 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 8407832 0 0 0 358260 851 0 0 20 0 1 0 4906802 7650017280 1761584 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1867680 1761584 3030 3035 0 1848443 0
Current children cumulated CPU time: 3591.11 s
Current children cumulated vsize: 7470720 KiB
Current children cumulated memory: 7046336 KiB

[startup+3602.8 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 40105
/proc/meminfo: memFree=117599380/131524600 swapFree=131071996/131071996
[pid=37889] ppid=37886 vsize=7394124 memory=6969780 CPUtime=3591.51 cores=4,6
/proc/37889/stat : 37889 (fscip) R 37886 37889 35189 0 -1 4194304 8450578 0 0 0 358298 853 0 0 20 0 1 0 4906802 7571582976 1742445 134679101440 4194304 16623229 140734863494192 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 26308608 140734863496218 140734863496334 140734863496334 140734863503344 0
/proc/37889/statm: 1848531 1742445 3030 3035 0 1829294 0
Current children cumulated CPU time: 3591.51 s
Current children cumulated vsize: 7394124 KiB
Current children cumulated memory: 6969780 KiB

[startup+3603.21 s]
/proc/loadavg: 4.13 4.12 4.10 5/258 40105
/proc/meminfo: memFree=120323832/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3603.21
CPU time (s): 3591.92
CPU user time (s): 3583.2
CPU system time (s): 8.71513
CPU usage (%): 99.6866
Max. virtual memory (cumulated for all children) (KiB): 8236592
Max. memory (cumulated for all children) (KiB): 7691200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.2
system time used= 8.71513
maximum resident set size= 7691200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8525094
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= 3358
involuntary context switches= 2688


# summary of solver processes directly reported to runsolver:
#   pid: 37889
#   total CPU time (s): 3591.92
#   total CPU user time (s): 3583.2
#   total CPU system time (s): 8.71513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73974 second user time and 17.4378 second system time

The end

Launcher Data

Begin job on nodeC030 at 2024-07-31 01:44:09
IDJOB=4464199
IDBENCH=158030
IDSOLVER=3092
FILE ID=nodeC030/4464199-1722383049
RUNJOBID= nodeC030-1722378597-35200
SLURM_JOB_ID= 8249853
Free space on /tmp= 889736 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_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-4464199-1722383049/watcher-4464199-1722383049 -o /tmp/evaluation-result-4464199-1722383049/solver-4464199-1722383049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35200 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464199-1722383049.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ccc767bd01ae3f57d23f9938eef5a5f9
RANDOM SEED=83643309

nodeC030.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		: 3676.348
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.60
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.798
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.48
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		: 3604.182
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.60
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.822
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.48
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		: 3668.461
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.60
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.786
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.48
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		: 3673.477
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.60
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.616
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107934828 kB
MemAvailable:   108554180 kB
Buffers:           92052 kB
Cached:          1358468 kB
SwapCached:            0 kB
Active:           507136 kB
Inactive:       22551356 kB
Active(anon):       1552 kB
Inactive(anon): 21627784 kB
Active(file):     505584 kB
Inactive(file):   923572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             55988 kB
Writeback:             0 kB
AnonPages:      21606056 kB
Mapped:           126016 kB
Shmem:             21328 kB
KReclaimable:      60040 kB
Slab:             143168 kB
SReclaimable:      60040 kB
SUnreclaim:        83128 kB
KernelStack:        4176 kB
PageTables:        52624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   14572072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6930432 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889916 MiB
End job on nodeC030 at 2024-07-31 02:44:12