0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.77/2.89 c Default LC presolving (default).
2.77/2.89 c ** Before presolving: virtualMemUsedAtLc = 2356823894, getVmSize() = 1738756096, SCIPgetMemUsed() = 1683103026, SCIPgetMemTotal() = 1697263362, SCIPgetMemExternEstim() = 659560532
2.77/2.89 c ** set memory limit for presolving in LC to 8.79539e+12 for SCIP **
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: 64059 MiB (58948 MiB free)
memory of node 1: 64510 MiB (59060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449110-1721367733/watcher-4449110-1721367733 -o /tmp/evaluation-result-4449110-1721367733/solver-4449110-1721367733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449110-1721367733.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=991427, runsolver pid=991424
[startup+0.10094 s]*
/proc/loadavg: 4.12 4.16 4.12 5/245 991428
/proc/meminfo: memFree=120790908/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=74432 memory=62268 CPUtime=0.1 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 13458 0 0 0 7 3 0 0 20 0 1 0 188932849 76218368 15567 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 18608 15567 2318 3032 0 15008 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74432 KiB
Current children cumulated memory: 62268 KiB
[startup+0.212931 s]*
/proc/loadavg: 4.12 4.16 4.12 5/245 991428
/proc/meminfo: memFree=120692068/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=175544 memory=161504 CPUtime=0.21 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 38281 0 0 0 15 6 0 0 20 0 1 0 188932849 179757056 40376 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 43886 40376 2318 3032 0 40286 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 175544 KiB
Current children cumulated memory: 161504 KiB
[startup+0.31288 s]*
/proc/loadavg: 4.12 4.16 4.12 5/245 991428
/proc/meminfo: memFree=120600936/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=261168 memory=246680 CPUtime=0.31 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 59093 0 0 0 22 9 0 0 20 0 1 0 188932849 267436032 61670 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 65292 61670 2318 3032 0 61692 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 261168 KiB
Current children cumulated memory: 246680 KiB
[startup+0.700318 s]
/proc/loadavg: 4.12 4.16 4.12 5/245 991428
/proc/meminfo: memFree=120416524/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=587388 memory=574520 CPUtime=0.68 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 138979 0 0 0 47 21 0 0 20 0 1 0 188932849 601485312 143630 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 146847 143630 2318 3032 0 143247 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 587388 KiB
Current children cumulated memory: 574520 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.16 4.12 5/245 991428
/proc/meminfo: memFree=120124596/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=740964 memory=727440 CPUtime=1.48 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 177243 0 0 0 120 28 0 0 20 0 1 0 188932849 758747136 181860 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 185241 181860 2318 3032 0 181641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 740964 KiB
Current children cumulated memory: 727440 KiB
[startup+3.11286 s]
/proc/loadavg: 4.12 4.16 4.12 5/245 991430
/proc/meminfo: memFree=119081636/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=1774212 memory=1744204 CPUtime=3.09 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 422433 0 0 0 247 62 0 0 20 0 1 0 188932849 1816793088 436051 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 443553 436051 2574 3032 0 439953 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1774212 KiB
Current children cumulated memory: 1744204 KiB
[startup+6.30032 s]
/proc/loadavg: 4.11 4.15 4.12 5/245 991431
/proc/meminfo: memFree=118538120/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=2368428 memory=2327976 CPUtime=6.27 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 479945 0 0 0 541 86 0 0 20 0 1 0 188932849 2425270272 581994 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 592107 581994 2654 3032 0 588507 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2368428 KiB
Current children cumulated memory: 2327976 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.12 5/245 991431
/proc/meminfo: memFree=118450316/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=2390044 memory=2338924 CPUtime=12.64 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 481264 0 0 0 1177 87 0 0 20 0 1 0 188932849 2447405056 584731 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 597511 584731 2686 3032 0 593911 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2390044 KiB
Current children cumulated memory: 2338924 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.16 4.12 5/245 991434
/proc/meminfo: memFree=118646540/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=2146880 memory=2111264 CPUtime=25.39 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 484525 0 0 0 2449 90 0 0 20 0 1 0 188932849 2198405120 527816 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 536720 527816 2686 3032 0 533120 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2146880 KiB
Current children cumulated memory: 2111264 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.14 4.12 5/245 991437
/proc/meminfo: memFree=116590340/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633260 memory=4107612 CPUtime=50.89 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 806602 0 0 0 4938 151 0 0 20 0 1 0 188932849 4744458240 1026903 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158315 1026903 2766 3032 0 1154715 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 4633260 KiB
Current children cumulated memory: 4107612 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/245 991445
/proc/meminfo: memFree=116489856/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633260 memory=4142652 CPUtime=101.77 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 806676 0 0 0 10025 152 0 0 20 0 1 0 188932849 4744458240 1035663 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158315 1035663 2766 3032 0 1154715 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 4633260 KiB
Current children cumulated memory: 4142652 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/245 991456
/proc/meminfo: memFree=116402300/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633264 memory=4167228 CPUtime=161.42 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 806742 0 0 0 15988 154 0 0 20 0 1 0 188932849 4744462336 1041807 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158316 1041807 2766 3032 0 1154716 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 4633264 KiB
Current children cumulated memory: 4167228 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/243 991467
/proc/meminfo: memFree=116350984/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633264 memory=4177828 CPUtime=221.08 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 806901 0 0 0 21951 157 0 0 20 0 1 0 188932849 4744462336 1044457 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158316 1044457 2766 3032 0 1154716 0
Current children cumulated CPU time: 221.08 s
Current children cumulated vsize: 4633264 KiB
Current children cumulated memory: 4177828 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/243 991477
/proc/meminfo: memFree=116312288/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633268 memory=4177836 CPUtime=280.72 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 806968 0 0 0 27913 159 0 0 20 0 1 0 188932849 4744466432 1044459 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158317 1044459 2766 3032 0 1154717 0
Current children cumulated CPU time: 280.72 s
Current children cumulated vsize: 4633268 KiB
Current children cumulated memory: 4177836 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/243 991487
/proc/meminfo: memFree=116259120/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633268 memory=4177840 CPUtime=340.36 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 807031 0 0 0 33875 161 0 0 20 0 1 0 188932849 4744466432 1044460 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158317 1044460 2766 3032 0 1154717 0
Current children cumulated CPU time: 340.36 s
Current children cumulated vsize: 4633268 KiB
Current children cumulated memory: 4177840 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/243 991497
/proc/meminfo: memFree=116225400/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633268 memory=4177840 CPUtime=400 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 807095 0 0 0 39837 163 0 0 20 0 1 0 188932849 4744466432 1044460 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158317 1044460 2766 3032 0 1154717 0
Current children cumulated CPU time: 400 s
Current children cumulated vsize: 4633268 KiB
Current children cumulated memory: 4177840 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/243 991508
/proc/meminfo: memFree=116187052/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633268 memory=4177840 CPUtime=459.65 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 807158 0 0 0 45799 166 0 0 20 0 1 0 188932849 4744466432 1044460 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158317 1044460 2766 3032 0 1154717 0
################
# More data... #
################
Current children cumulated memory: 4177864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/247 993128
/proc/meminfo: memFree=111547548/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633292 memory=4177864 CPUtime=2904.89 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 810709 0 0 0 290236 253 0 0 20 0 1 0 188932849 4744491008 1044466 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158323 1044466 2766 3032 0 1154723 0
Current children cumulated CPU time: 2904.89 s
Current children cumulated vsize: 4633292 KiB
Current children cumulated memory: 4177864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.21 4.17 5/247 993138
/proc/meminfo: memFree=111542220/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633292 memory=4177864 CPUtime=2964.53 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 810814 0 0 0 296198 255 0 0 20 0 1 0 188932849 4744491008 1044466 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158323 1044466 2766 3032 0 1154723 0
Current children cumulated CPU time: 2964.53 s
Current children cumulated vsize: 4633292 KiB
Current children cumulated memory: 4177864 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/247 993149
/proc/meminfo: memFree=111533608/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633292 memory=4177864 CPUtime=3024.17 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 810932 0 0 0 302160 257 0 0 20 0 1 0 188932849 4744491008 1044466 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158323 1044466 2766 3032 0 1154723 0
Current children cumulated CPU time: 3024.17 s
Current children cumulated vsize: 4633292 KiB
Current children cumulated memory: 4177864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/246 993159
/proc/meminfo: memFree=111525480/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3083.82 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 811503 0 0 0 308123 259 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3083.82 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/246 993170
/proc/meminfo: memFree=111519960/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3143.46 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 811680 0 0 0 314085 261 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3143.46 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 993181
/proc/meminfo: memFree=111510388/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3203.11 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 811789 0 0 0 320048 263 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3203.11 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/245 993191
/proc/meminfo: memFree=111500984/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3262.75 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 811897 0 0 0 326010 265 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3262.75 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/243 993247
/proc/meminfo: memFree=108006368/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3322.39 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812005 0 0 0 331972 267 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3322.39 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 993259
/proc/meminfo: memFree=103071336/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3382.1 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812115 0 0 0 337940 270 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3382.1 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 993270
/proc/meminfo: memFree=100900004/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3441.78 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812243 0 0 0 343906 272 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3441.78 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/248 993285
/proc/meminfo: memFree=100861288/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4177868 CPUtime=3501.44 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812359 0 0 0 349870 274 0 0 20 0 1 0 188932849 4744495104 1044467 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044467 2766 3032 0 1154724 0
Current children cumulated CPU time: 3501.44 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4177868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.75 4.31 4.21 5/244 993386
/proc/meminfo: memFree=107317452/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4178204 CPUtime=3561.17 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812524 0 0 0 355841 276 0 0 20 0 1 0 188932849 4744495104 1044551 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044551 2766 3032 0 1154724 0
Current children cumulated CPU time: 3561.17 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4178204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3621.3 s]
/proc/loadavg: 4.54 4.32 4.22 5/245 993395
/proc/meminfo: memFree=105674020/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4178992 CPUtime=3600.04 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812598 0 0 0 359727 277 0 0 20 0 1 0 188932849 4744495104 1044748 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044748 2766 3032 0 1154724 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4178992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3621.4 s]
# the end of solver process 991427 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.27 s, system=2.86997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3621.3 s]
/proc/loadavg: 4.54 4.32 4.22 5/245 993395
/proc/meminfo: memFree=105674020/131655788 swapFree=131071996/131071996
[pid=991427] ppid=991424 vsize=4633296 memory=4178992 CPUtime=3600.04 cores=0,2
/proc/991427/stat : 991427 (fscip) R 991424 991427 988413 0 -1 4194304 812598 0 0 0 359727 277 0 0 20 0 1 0 188932849 4744495104 1044748 134679101440 4194304 16613245 140731887765552 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28254208 140731887772692 140731887772808 140731887772808 140731887779824 0
/proc/991427/statm: 1158324 1044748 2766 3032 0 1154724 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4633296 KiB
Current children cumulated memory: 4178992 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3621.4
CPU time (s): 3600.14
CPU user time (s): 3597.27
CPU system time (s): 2.86997
CPU usage (%): 99.4131
Max. virtual memory (cumulated for all children) (KiB): 4633296
Max. memory (cumulated for all children) (KiB): 4178992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 2.86997
maximum resident set size= 4178992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 812598
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= 2
involuntary context switches= 24721
# summary of solver processes directly reported to runsolver:
# pid: 991427
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.27
# total CPU system time (s): 2.86997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1342 second user time and 34.6727 second system time
The end
Begin job on nodeC009 at 2024-07-19 07:42:24
IDJOB=4449110
IDBENCH=160481
IDSOLVER=3064
FILE ID=nodeC009/4449110-1721367733
RUNJOBID= nodeC009-1721363855-988423
SLURM_JOB_ID= 7542791
Free space on /tmp= 723596 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm100p-dec.opb.negationfix.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-4449110-1721367733/watcher-4449110-1721367733 -o /tmp/evaluation-result-4449110-1721367733/solver-4449110-1721367733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449110-1721367733.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7aedd7c3672972b6263e08c161e73d18
RANDOM SEED=1671895779
nodeC009.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 : 0xb00001f
cpu MHz : 3194.103
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
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 : 0xb00001f
cpu MHz : 3645.992
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.337
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
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 : 0xb00001f
cpu MHz : 1197.429
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 3669.225
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
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 : 0xb00001f
cpu MHz : 3670.838
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
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 : 0xb00001f
cpu MHz : 1197.404
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120841332 kB
MemAvailable: 121845636 kB
Buffers: 552092 kB
Cached: 1288676 kB
SwapCached: 0 kB
Active: 1140320 kB
Inactive: 9109784 kB
Active(anon): 1452 kB
Inactive(anon): 8445584 kB
Active(file): 1138868 kB
Inactive(file): 664200 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 60156 kB
Writeback: 0 kB
AnonPages: 8407632 kB
Mapped: 140664 kB
Shmem: 37700 kB
KReclaimable: 82532 kB
Slab: 182468 kB
SReclaimable: 82532 kB
SUnreclaim: 99936 kB
KernelStack: 3936 kB
PageTables: 25860 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 9451248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1951744 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723432 MiB
End job on nodeC009 at 2024-07-19 08:42:46