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)
23.52/23.60 c Default LC presolving (default).
23.52/23.69 c ** Before presolving: virtualMemUsedAtLc = 16664463956, getVmSize() = 10567221248, SCIPgetMemUsed() = 9810423770, SCIPgetMemTotal() = 10141558450, SCIPgetMemExternEstim() = 6522905506
23.52/23.69 c ** set memory limit for presolving in LC to 8.79109e+12 for SCIP **
995.61/999.90 c ** Estimated virtualMemUsedAtSolver = 14711135711, getVmSize() = 17403383808, SCIPgetMemUsed() = 13304531477, SCIPgetMemTotal() = 15543798061, SCIPgetMemExternEstim() = 6522905506
995.61/999.90 c ** set memory limit for solvers to 4.39761e+12 for each SCIP **
995.61/999.90 c Original Problem :
995.61/999.90 c Problem name : instance-4464233-1722382599
995.61/999.90 c Variables : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
995.61/999.90 c Constraints : 4920807
995.61/999.90 c Objective sense : minimize
995.61/999.90 c Presolved Problem :
995.61/999.90 c Variables : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
995.61/999.90 c Constraints : 3915954
995.61/999.90 c Constraints : Number
995.61/999.90 c knapsack : 5250
995.61/999.90 c setppc : 2925551
995.61/999.90 c and : 980100
995.61/999.90 c linear : 3
995.61/999.90 c logicor : 5050
995.61/999.90 c ** Instance transfer method used: 0
1006.29/1010.65 c ** ParaScipInstance copy does not increase the number of variables. **
1014.61/1019.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
1014.61/1019.04 c Nodes Active
1014.61/1019.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (57278 MiB free)
memory of node 1: 64510 MiB (60891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464233-1722382599/watcher-4464233-1722382599 -o /tmp/evaluation-result-4464233-1722382599/solver-4464233-1722382599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27903 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464233-1722382599.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30381, runsolver pid=30378
[startup+0.100099 s]*
/proc/loadavg: 4.13 4.10 4.04 5/260 30382
/proc/meminfo: memFree=120832396/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=204568 memory=186892 CPUtime=0.09 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 27209 0 0 0 4 5 0 0 20 0 1 0 4857916 209477632 46723 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 51142 46723 2347 3035 0 47538 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 204568 KiB
Current children cumulated memory: 186892 KiB
[startup+0.205521 s]*
/proc/loadavg: 4.13 4.10 4.04 5/260 30382
/proc/meminfo: memFree=120719108/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=318028 memory=299676 CPUtime=0.2 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 55436 0 0 0 11 9 0 0 20 0 1 0 4857916 325660672 74919 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 79507 74919 2347 3035 0 75903 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 318028 KiB
Current children cumulated memory: 299676 KiB
[startup+0.305467 s]*
/proc/loadavg: 4.13 4.10 4.04 5/260 30382
/proc/meminfo: memFree=120620944/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=416708 memory=398992 CPUtime=0.3 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 79768 0 0 0 18 12 0 0 20 0 1 0 4857916 426708992 99748 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 104177 99748 2347 3035 0 100573 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 416708 KiB
Current children cumulated memory: 398992 KiB
[startup+0.700226 s]
/proc/loadavg: 4.13 4.10 4.04 5/260 30382
/proc/meminfo: memFree=120412340/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=815032 memory=796548 CPUtime=0.68 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 171977 0 0 0 45 23 0 0 20 0 1 0 4857916 834592768 199137 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 203758 199137 2347 3035 0 200154 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 815032 KiB
Current children cumulated memory: 796548 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.10 4.04 5/260 30383
/proc/meminfo: memFree=119911560/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=1271968 memory=1251544 CPUtime=1.48 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 271967 0 0 0 110 38 0 0 20 0 1 0 4857916 1302495232 312886 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 317992 312886 2347 3035 0 314388 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1271968 KiB
Current children cumulated memory: 1251544 KiB
[startup+3.10543 s]
/proc/loadavg: 4.12 4.10 4.04 5/260 30383
/proc/meminfo: memFree=118947424/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=2136536 memory=2115856 CPUtime=3.08 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 488100 0 0 0 237 71 0 0 20 0 1 0 4857916 2187812864 528964 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 534134 528964 2347 3035 0 530530 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2136536 KiB
Current children cumulated memory: 2115856 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.09 4.04 5/261 30384
/proc/meminfo: memFree=117862444/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=3242580 memory=3219928 CPUtime=6.27 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 741673 0 0 0 514 113 0 0 20 0 1 0 4857916 3320401920 804982 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 810645 804982 2347 3035 0 807041 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3242580 KiB
Current children cumulated memory: 3219928 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/261 30386
/proc/meminfo: memFree=116590504/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=4585428 memory=4564460 CPUtime=12.65 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 1051357 0 0 0 1098 167 0 0 20 0 1 0 4857916 4695478272 1141115 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 1146357 1141115 2347 3035 0 1142753 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4585428 KiB
Current children cumulated memory: 4564460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/261 30387
/proc/meminfo: memFree=110518568/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=10609460 memory=10514296 CPUtime=25.41 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 2373519 0 0 0 2178 363 0 0 20 0 1 0 4857916 10864087040 2628574 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 2652365 2628574 2630 3035 0 2648761 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 10609460 KiB
Current children cumulated memory: 10514296 KiB
[startup+51.1058 s]
/proc/loadavg: 4.17 4.11 4.04 5/261 30394
/proc/meminfo: memFree=109058204/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=12165296 memory=11919956 CPUtime=50.94 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 2504172 0 0 0 4566 528 0 0 20 0 1 0 4857916 12457263104 2979989 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3041324 2979989 2726 3035 0 3037720 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 12165296 KiB
Current children cumulated memory: 11919956 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/261 30404
/proc/meminfo: memFree=106187952/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=14943824 memory=14698928 CPUtime=101.96 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3018273 0 0 0 9576 620 0 0 20 0 1 0 4857916 15302475776 3674732 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3735956 3674732 2758 3035 0 3732352 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 14943824 KiB
Current children cumulated memory: 14698928 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/261 30462
/proc/meminfo: memFree=104548368/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=15940540 memory=15666640 CPUtime=161.75 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3034948 0 0 0 15530 645 0 0 20 0 1 0 4857916 16323112960 3916660 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3985135 3916660 2774 3035 0 3981531 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 15940540 KiB
Current children cumulated memory: 15666640 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.11 4.05 5/261 30472
/proc/meminfo: memFree=104509160/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=15940540 memory=15666640 CPUtime=221.47 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3035880 0 0 0 21495 652 0 0 20 0 1 0 4857916 16323112960 3916660 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3985135 3916660 2774 3035 0 3981531 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 15940540 KiB
Current children cumulated memory: 15666640 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/263 30488
/proc/meminfo: memFree=104477116/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=15940540 memory=15666640 CPUtime=281.18 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3036863 0 0 0 27458 660 0 0 20 0 1 0 4857916 16323112960 3916660 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3985135 3916660 2774 3035 0 3981531 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 15940540 KiB
Current children cumulated memory: 15666640 KiB
[startup+342.3 s]
/proc/loadavg: 4.41 4.20 4.08 5/262 30498
/proc/meminfo: memFree=104367668/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=15940540 memory=15666640 CPUtime=340.91 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3037847 0 0 0 33425 666 0 0 20 0 1 0 4857916 16323112960 3916660 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3985135 3916660 2774 3035 0 3981531 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 15940540 KiB
Current children cumulated memory: 15666640 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.17 4.08 5/262 30510
/proc/meminfo: memFree=104354424/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=15940540 memory=15666640 CPUtime=400.64 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3038793 0 0 0 39391 673 0 0 20 0 1 0 4857916 16323112960 3916660 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3985135 3916660 2774 3035 0 3981531 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 15940540 KiB
Current children cumulated memory: 15666640 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.08 5/262 30521
/proc/meminfo: memFree=104310880/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=15940540 memory=15666640 CPUtime=460.37 cores=0,2
/proc/30381/stat : 30381 (fscip) R 30378 30381 27893 0 -1 4194304 3039807 0 0 0 45357 680 0 0 20 0 1 0 4857916 16323112960 3916660 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 3985135 3916660 2774 3035 0 3981531 0
################
# More data... #
################
Current children cumulated memory: 29485812 KiB
[startup+1542.3 s]
/proc/loadavg: 4.20 4.33 4.22 5/266 31339
/proc/meminfo: memFree=85736464/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30666472 memory=29497464 CPUtime=1534.02 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 14538082 0 0 0 151614 1788 0 0 20 0 3 0 4857916 31402467328 7374366 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7666618 7374366 2806 3035 0 7560930 0
[pid=30381/tid=30670] ppid=30378 vsize=30666472 memory=29496404 CPUtime=527.68 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 10512832 0 0 0 51898 870 0 0 20 0 3 0 4957906 31402467328 7374366 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30666472 memory=11712 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 123 0 0 0 0 0 0 0 20 0 3 0 4959834 31402467328 7374366 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1534.02 s
Current children cumulated vsize: 30666472 KiB
Current children cumulated memory: 29497464 KiB
[startup+1602.3 s]
/proc/loadavg: 4.14 4.28 4.20 5/266 31350
/proc/meminfo: memFree=85724116/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30666472 memory=29509180 CPUtime=1593.75 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 15559444 0 0 0 157528 1847 0 0 20 0 3 0 4857916 31402467328 7377295 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7666618 7377295 2806 3035 0 7563746 0
[pid=30381/tid=30670] ppid=30378 vsize=30666472 memory=29496404 CPUtime=587.4 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 11534178 0 0 0 57812 928 0 0 20 0 3 0 4957906 31402467328 7377295 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30666472 memory=5492 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 139 0 0 0 0 0 0 0 20 0 3 0 4959834 31402467328 7377295 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1593.75 s
Current children cumulated vsize: 30666472 KiB
Current children cumulated memory: 29509180 KiB
[startup+1662.3 s]
/proc/loadavg: 4.09 4.24 4.19 5/265 31361
/proc/meminfo: memFree=85710748/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30666472 memory=29522512 CPUtime=1653.48 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 16555062 0 0 0 163440 1908 0 0 20 0 3 0 4857916 31402467328 7380628 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7666618 7380628 2806 3035 0 7567026 0
[pid=30381/tid=30670] ppid=30378 vsize=30666472 memory=29520092 CPUtime=647.13 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 12529780 0 0 0 63724 989 0 0 20 0 3 0 4957906 31402467328 7380628 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30666472 memory=11712 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 155 0 0 0 0 0 0 0 20 0 3 0 4959834 31402467328 7380628 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1653.48 s
Current children cumulated vsize: 30666472 KiB
Current children cumulated memory: 29522512 KiB
[startup+1722.3 s]
/proc/loadavg: 4.13 4.23 4.19 5/265 31371
/proc/meminfo: memFree=85669624/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30676188 memory=29536784 CPUtime=1713.21 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 17573216 0 0 0 169354 1967 0 0 20 0 3 0 4857916 31412416512 7384196 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7669047 7384196 2806 3035 0 7572768 0
[pid=30381/tid=30670] ppid=30378 vsize=30676188 memory=29524224 CPUtime=706.85 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 13547919 0 0 0 69637 1048 0 0 20 0 3 0 4957906 31412416512 7384196 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30676188 memory=11712 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 170 0 0 0 0 0 0 0 20 0 3 0 4959834 31412416512 7384196 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1713.21 s
Current children cumulated vsize: 30676188 KiB
Current children cumulated memory: 29536784 KiB
[startup+1782.3 s]
/proc/loadavg: 4.10 4.20 4.18 5/263 31381
/proc/meminfo: memFree=85653136/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30676188 memory=29552012 CPUtime=1772.94 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 18620467 0 0 0 175265 2029 0 0 20 0 3 0 4857916 31412416512 7388003 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7669047 7388003 2806 3035 0 7576480 0
[pid=30381/tid=30670] ppid=30378 vsize=30676188 memory=29551864 CPUtime=766.57 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 14595154 0 0 0 75548 1109 0 0 20 0 3 0 4957906 31412416512 7388003 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30676188 memory=29552008 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 186 0 0 0 0 0 0 0 20 0 3 0 4959834 31412416512 7388003 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1772.94 s
Current children cumulated vsize: 30676188 KiB
Current children cumulated memory: 29552012 KiB
[startup+1842.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/263 31393
/proc/meminfo: memFree=85637408/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30741724 memory=29566892 CPUtime=1832.66 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 19693473 0 0 0 181179 2087 0 0 20 0 3 0 4857916 31479525376 7391723 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7685431 7391723 2806 3035 0 7580162 0
[pid=30381/tid=30670] ppid=30378 vsize=30741724 memory=29557008 CPUtime=826.31 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 15668144 0 0 0 81463 1168 0 0 20 0 3 0 4957906 31479525376 7391723 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30741724 memory=29561224 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 202 0 0 0 0 0 0 0 20 0 3 0 4959834 31479525376 7391723 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1832.66 s
Current children cumulated vsize: 30741724 KiB
Current children cumulated memory: 29566892 KiB
[startup+1902.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/263 31405
/proc/meminfo: memFree=85622020/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30741724 memory=29581328 CPUtime=1892.4 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 20756800 0 0 0 187091 2149 0 0 20 0 3 0 4857916 31479525376 7395332 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7685431 7395332 2806 3035 0 7583602 0
[pid=30381/tid=30670] ppid=30378 vsize=30741724 memory=29575204 CPUtime=886.04 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 16731456 0 0 0 87374 1230 0 0 20 0 3 0 4957906 31479525376 7395332 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30741724 memory=29580980 CPUtime=0 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 217 0 0 0 0 0 0 0 20 0 3 0 4959834 31479525376 7395332 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1892.4 s
Current children cumulated vsize: 30741724 KiB
Current children cumulated memory: 29581328 KiB
[startup+1962.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/263 31415
/proc/meminfo: memFree=85607364/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=30741724 memory=29595216 CPUtime=1952.13 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 21759532 0 0 0 193005 2208 0 0 20 0 3 0 4857916 31479525376 7398804 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7685431 7398804 2806 3035 0 7586979 0
[pid=30381/tid=30670] ppid=30378 vsize=30741724 memory=29585736 CPUtime=945.77 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 17734171 0 0 0 93288 1289 0 0 20 0 3 0 4957906 31479525376 7398804 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=30741724 memory=29594168 CPUtime=0.01 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 234 0 0 0 0 1 0 0 20 0 3 0 4959834 31479525376 7398804 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1952.13 s
Current children cumulated vsize: 30741724 KiB
Current children cumulated memory: 29595216 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2002.4 s]
/proc/loadavg: 4.11 4.17 4.17 5/263 31421
/proc/meminfo: memFree=84893880/131524600 swapFree=131071996/131071996
[pid=30381] ppid=30378 vsize=31790300 memory=30543704 CPUtime=1992.05 cores=0,2
/proc/30381/stat : 30381 (fscip) S 30378 30381 27893 0 -1 1077936128 23362601 0 0 0 196887 2318 0 0 20 0 3 0 4857916 32553267200 7635860 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
/proc/30381/statm: 7947575 7635860 2806 3035 0 7845375 0
[pid=30381/tid=30670] ppid=30378 vsize=31790300 memory=32100 CPUtime=985.69 cores=0,2
/proc/30381/task/30670/stat : 30670 (fscip) R 30378 30381 27893 0 -1 4194368 19337267 0 0 0 97171 1398 0 0 20 0 3 0 4957906 32553267200 7635926 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
[pid=30381/tid=30674] ppid=30378 vsize=31790300 memory=19600 CPUtime=0.01 cores=0,2
/proc/30381/task/30674/stat : 30674 (fscip) S 30378 30381 27893 0 -1 1077936192 249 0 0 0 0 1 0 0 20 0 3 0 4959834 32553267200 7635926 134679101440 4194304 16623229 140725019804096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 36585472 140725019808790 140725019808906 140725019808906 140725019815920 0
Current children cumulated CPU time: 1992.05 s
Current children cumulated vsize: 31790300 KiB
Current children cumulated memory: 30543704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2003.09 s]
# the end of solver process 30381 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1968.88 s, system=23.8554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2002.8 s]
/proc/loadavg: 4.11 4.17 4.17 5/262 31421
/proc/meminfo: memFree=90825300/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2003 s]*
/proc/loadavg: 4.11 4.17 4.17 5/262 31421
/proc/meminfo: memFree=113030280/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2003.09
CPU time (s): 1992.74
CPU user time (s): 1968.88
CPU system time (s): 23.8554
CPU usage (%): 99.4834
Max. virtual memory (cumulated for all children) (KiB): 31790300
Max. memory (cumulated for all children) (KiB): 30543704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1968.88
system time used= 23.8554
maximum resident set size= 30550704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23364322
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= 1215
involuntary context switches= 15006
# summary of solver processes directly reported to runsolver:
# pid: 30381
# total CPU time (s): 1992.74
# total CPU user time (s): 1968.88
# total CPU system time (s): 23.8554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97579 second user time and 9.69001 second system time
The end
Begin job on nodeC020 at 2024-07-31 01:36:40
IDJOB=4464233
IDBENCH=155748
IDSOLVER=3092
FILE ID=nodeC020/4464233-1722382599
RUNJOBID= nodeC020-1722378594-27903
SLURM_JOB_ID= 8249843
Free space on /tmp= 889784 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_3_mh.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-4464233-1722382599/watcher-4464233-1722382599 -o /tmp/evaluation-result-4464233-1722382599/solver-4464233-1722382599 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27903 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464233-1722382599.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f3174f37d2a17c7e83bc7c52ff48d45
RANDOM SEED=292526229
nodeC020.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 : 3639.681
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.38
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 : 3695.545
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 : 7007.00
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 : 3598.351
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.38
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 : 3599.852
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 : 7007.00
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 : 3697.547
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.38
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 : 3695.312
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 : 7007.00
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 : 3692.590
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.38
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.994
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121006164 kB
MemAvailable: 128904784 kB
Buffers: 99068 kB
Cached: 8611924 kB
SwapCached: 0 kB
Active: 260128 kB
Inactive: 9736780 kB
Active(anon): 1576 kB
Inactive(anon): 1305684 kB
Active(file): 258552 kB
Inactive(file): 8431096 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 250568 kB
Writeback: 0 kB
AnonPages: 1283932 kB
Mapped: 124672 kB
Shmem: 21336 kB
KReclaimable: 97236 kB
Slab: 179204 kB
SReclaimable: 97236 kB
SUnreclaim: 81968 kB
KernelStack: 4176 kB
PageTables: 11800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1024312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889676 MiB
End job on nodeC020 at 2024-07-31 02:10:03