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)
9.66/9.77 c Default LC presolving (default).
9.66/9.77 c ** Before presolving: virtualMemUsedAtLc = 8263871899, getVmSize() = 6051418112, SCIPgetMemUsed() = 5922800480, SCIPgetMemTotal() = 5961759656, SCIPgetMemExternEstim() = 2302112243
9.66/9.77 c ** set memory limit for presolving in LC to 8.79361e+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: 63931 MiB (58860 MiB free)
memory of node 1: 64510 MiB (63423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464538-1722386068/watcher-4464538-1722386068 -o /tmp/evaluation-result-4464538-1722386068/solver-4464538-1722386068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28891 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464538-1722386068.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=33452, runsolver pid=33449
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.19 4.14 4.11 5/262 33453
/proc/meminfo: memFree=125111264/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=134644 memory=122192 CPUtime=0.09 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 28418 0 0 0 5 4 0 0 20 0 1 0 5207438 137875456 30548 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 33661 30548 2347 3035 0 30057 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 134644 KiB
Current children cumulated memory: 122192 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.19 4.14 4.11 5/262 33453
/proc/meminfo: memFree=125003576/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=243212 memory=230276 CPUtime=0.2 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 55474 0 0 0 12 8 0 0 20 0 1 0 5207438 249049088 57569 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 60803 57569 2347 3035 0 57199 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 243212 KiB
Current children cumulated memory: 230276 KiB
[startup+0.305561 s]*
/proc/loadavg: 4.19 4.14 4.11 5/262 33453
/proc/meminfo: memFree=124905712/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=339088 memory=326396 CPUtime=0.3 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 78945 0 0 0 18 12 0 0 20 0 1 0 5207438 347226112 81599 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 84772 81599 2347 3035 0 81168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 339088 KiB
Current children cumulated memory: 326396 KiB
[startup+0.700246 s]
/proc/loadavg: 4.19 4.14 4.11 5/262 33453
/proc/meminfo: memFree=124730520/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=703672 memory=691300 CPUtime=0.69 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 168148 0 0 0 42 27 0 0 20 0 1 0 5207438 720560128 172825 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 175918 172825 2347 3035 0 172314 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 703672 KiB
Current children cumulated memory: 691300 KiB
[startup+1.50021 s]
/proc/loadavg: 4.19 4.14 4.11 5/262 33453
/proc/meminfo: memFree=124268420/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=1465464 memory=1450996 CPUtime=1.48 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 352980 0 0 0 96 52 0 0 20 0 1 0 5207438 1500635136 362749 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 366366 362749 2347 3035 0 362762 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1465464 KiB
Current children cumulated memory: 1450996 KiB
[startup+3.10567 s]
/proc/loadavg: 4.17 4.13 4.11 5/262 33453
/proc/meminfo: memFree=122736692/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=2458192 memory=2444664 CPUtime=3.09 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 590162 0 0 0 223 86 0 0 20 0 1 0 5207438 2517188608 611166 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 614548 611166 2347 3035 0 610944 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2458192 KiB
Current children cumulated memory: 2444664 KiB
[startup+6.30023 s]
/proc/loadavg: 4.17 4.13 4.11 5/262 33454
/proc/meminfo: memFree=121658864/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=3820144 memory=3798248 CPUtime=6.28 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 923846 0 0 0 494 134 0 0 20 0 1 0 5207438 3911827456 949562 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 955036 949562 2539 3035 0 951432 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3820144 KiB
Current children cumulated memory: 3798248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 33454
/proc/meminfo: memFree=118921936/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=6340020 memory=6255748 CPUtime=12.65 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 1449275 0 0 0 1053 212 0 0 20 0 1 0 5207438 6492180480 1563937 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 1585005 1563937 2614 3035 0 1581401 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 6340020 KiB
Current children cumulated memory: 6255748 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.10 5/262 33457
/proc/meminfo: memFree=117946728/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=7556272 memory=7271292 CPUtime=25.42 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 1554974 0 0 0 2301 241 0 0 20 0 1 0 5207438 7737622528 1817823 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 1889068 1817823 2630 3035 0 1885464 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 7556272 KiB
Current children cumulated memory: 7271292 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.10 5/261 33460
/proc/meminfo: memFree=116859220/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=8366572 memory=8240860 CPUtime=50.97 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 1577289 0 0 0 4804 293 0 0 20 0 1 0 5207438 8567369728 2060215 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2091643 2060215 2710 3035 0 2088039 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 8366572 KiB
Current children cumulated memory: 8240860 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/260 33470
/proc/meminfo: memFree=117750004/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=7428908 memory=7320380 CPUtime=102.05 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 1584967 0 0 0 9902 303 0 0 20 0 1 0 5207438 7607201792 1830095 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 1857227 1830095 2710 3035 0 1853623 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 7428908 KiB
Current children cumulated memory: 7320380 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/260 33480
/proc/meminfo: memFree=114049676/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=11258276 memory=10958912 CPUtime=161.9 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2277871 0 0 0 15777 413 0 0 20 0 1 0 5207438 11528474624 2739728 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2814569 2739728 2758 3035 0 2810965 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 11258276 KiB
Current children cumulated memory: 10958912 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/259 33492
/proc/meminfo: memFree=114040048/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=11258276 memory=10958912 CPUtime=221.74 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2278368 0 0 0 21758 416 0 0 20 0 1 0 5207438 11528474624 2739728 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2814569 2739728 2758 3035 0 2810965 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 11258276 KiB
Current children cumulated memory: 10958912 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/259 33502
/proc/meminfo: memFree=113978920/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=11258276 memory=10958912 CPUtime=281.58 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2278848 0 0 0 27739 419 0 0 20 0 1 0 5207438 11528474624 2739728 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2814569 2739728 2758 3035 0 2810965 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 11258276 KiB
Current children cumulated memory: 10958912 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/259 33513
/proc/meminfo: memFree=113963652/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=11258276 memory=10958912 CPUtime=341.43 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2279402 0 0 0 33720 423 0 0 20 0 1 0 5207438 11528474624 2739728 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2814569 2739728 2758 3035 0 2810965 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 11258276 KiB
Current children cumulated memory: 10958912 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/260 33528
/proc/meminfo: memFree=113939552/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=11258276 memory=10958912 CPUtime=401.28 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2279955 0 0 0 39701 427 0 0 20 0 1 0 5207438 11528474624 2739728 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2814569 2739728 2758 3035 0 2810965 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 11258276 KiB
Current children cumulated memory: 10958912 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/260 33538
/proc/meminfo: memFree=113867488/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=11258276 memory=10958912 CPUtime=461.12 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2280431 0 0 0 45682 430 0 0 20 0 1 0 5207438 11528474624 2739728 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 2814569 2739728 2758 3035 0 2810965 0
################
# More data... #
################
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 2854.5 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 34696
/proc/meminfo: memFree=106648328/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856668 memory=14011332 CPUtime=2914.32 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2721209 0 0 0 290592 840 0 0 20 0 1 0 5207438 15213228032 3502833 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 2914.32 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 34707
/proc/meminfo: memFree=106642640/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856668 memory=14011332 CPUtime=2974.14 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2721709 0 0 0 296567 847 0 0 20 0 1 0 5207438 15213228032 3502833 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 34717
/proc/meminfo: memFree=106630340/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856668 memory=14011332 CPUtime=3033.96 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2722146 0 0 0 302541 855 0 0 20 0 1 0 5207438 15213228032 3502833 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+3102.3 s]
/proc/loadavg: 4.51 4.23 4.13 5/264 35110
/proc/meminfo: memFree=106627196/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856668 memory=14011332 CPUtime=3093.78 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2722650 0 0 0 308515 863 0 0 20 0 1 0 5207438 15213228032 3502833 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+3162.3 s]
/proc/loadavg: 4.33 4.23 4.14 5/263 35121
/proc/meminfo: memFree=106621260/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856668 memory=14011332 CPUtime=3153.6 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2723092 0 0 0 314489 871 0 0 20 0 1 0 5207438 15213228032 3502833 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/263 35133
/proc/meminfo: memFree=106620540/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856668 memory=14011332 CPUtime=3213.42 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2724585 0 0 0 320463 879 0 0 20 0 1 0 5207438 15213228032 3502833 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714167 3502833 2774 3035 0 3710563 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 14856668 KiB
Current children cumulated memory: 14011332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/265 35313
/proc/meminfo: memFree=106620112/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14011336 CPUtime=3273.24 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2725043 0 0 0 326438 886 0 0 20 0 1 0 5207438 15213232128 3502834 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3502834 2774 3035 0 3710564 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14011336 KiB
[startup+3342.3 s]
/proc/loadavg: 3.87 4.11 4.11 4/256 35354
/proc/meminfo: memFree=107154284/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14011336 CPUtime=3333.06 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2725497 0 0 0 332412 894 0 0 20 0 1 0 5207438 15213232128 3502834 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3502834 2774 3035 0 3710564 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14011336 KiB
[startup+3402.3 s]
/proc/loadavg: 3.56 3.97 4.06 4/256 35423
/proc/meminfo: memFree=107153096/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14011944 CPUtime=3392.88 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2725954 0 0 0 338387 901 0 0 20 0 1 0 5207438 15213232128 3502986 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3502986 2774 3035 0 3710564 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14011944 KiB
[startup+3462.3 s]
/proc/loadavg: 3.24 3.80 3.99 4/256 35433
/proc/meminfo: memFree=107136852/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14012452 CPUtime=3452.71 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2726385 0 0 0 344363 908 0 0 20 0 1 0 5207438 15213232128 3503113 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3503113 2774 3035 0 3710564 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14012452 KiB
[startup+3522.3 s]
/proc/loadavg: 3.19 3.68 3.94 4/256 35443
/proc/meminfo: memFree=107135528/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14012452 CPUtime=3512.53 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2726823 0 0 0 350338 915 0 0 20 0 1 0 5207438 15213232128 3503113 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3503113 2774 3035 0 3710564 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14012452 KiB
[startup+3582.3 s]
/proc/loadavg: 2.73 3.48 3.85 3/246 35484
/proc/meminfo: memFree=115445144/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14012452 CPUtime=3572.36 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2727258 0 0 0 356315 921 0 0 20 0 1 0 5207438 15213232128 3503113 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3503113 2774 3035 0 3710564 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14012452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 2.55 3.37 3.81 3/246 35488
/proc/meminfo: memFree=115431420/131524600 swapFree=131071996/131071996
[pid=33452] ppid=33449 vsize=14856672 memory=14012452 CPUtime=3600.08 cores=1,3
/proc/33452/stat : 33452 (fscip) R 33449 33452 28879 0 -1 4194304 2728486 0 0 0 359084 924 0 0 20 0 1 0 5207438 15213232128 3503113 134679101440 4194304 16623229 140722428203904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34938880 140722428212246 140722428212362 140722428212362 140722428219376 0
/proc/33452/statm: 3714168 3503113 2774 3035 0 3710564 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 14856672 KiB
Current children cumulated memory: 14012452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 33452 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3590.85 s, system=9.55086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 2.55 3.37 3.81 3/246 35488
/proc/meminfo: memFree=119421820/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): 3610.41
CPU time (s): 3600.4
CPU user time (s): 3590.85
CPU system time (s): 9.55086
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 14856672
Max. memory (cumulated for all children) (KiB): 14012452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.85
system time used= 9.55086
maximum resident set size= 14012452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2728486
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= 1407
# summary of solver processes directly reported to runsolver:
# pid: 33452
# total CPU time (s): 3600.4
# total CPU user time (s): 3590.85
# total CPU system time (s): 9.55086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01045 second user time and 18.2097 second system time
The end
Begin job on nodeC027 at 2024-07-31 02:34:29
IDJOB=4464538
IDBENCH=160493
IDSOLVER=3092
FILE ID=nodeC027/4464538-1722386068
RUNJOBID= nodeC027-1722378597-28891
SLURM_JOB_ID= 8249850
Free space on /tmp= 889852 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm90p-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-4464538-1722386068/watcher-4464538-1722386068 -o /tmp/evaluation-result-4464538-1722386068/solver-4464538-1722386068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28891 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464538-1722386068.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f94999381e02cae36541ecafb635807a
RANDOM SEED=483359291
nodeC027.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 : 3600.648
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3628.170
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.31
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 : 3674.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3663.090
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.31
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 : 3673.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3692.668
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.31
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 : 3600.301
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3613.077
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125219388 kB
MemAvailable: 125223056 kB
Buffers: 100104 kB
Cached: 737016 kB
SwapCached: 0 kB
Active: 309976 kB
Inactive: 5507512 kB
Active(anon): 1544 kB
Inactive(anon): 5000164 kB
Active(file): 308432 kB
Inactive(file): 507348 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 146688 kB
Writeback: 0 kB
AnonPages: 4979292 kB
Mapped: 124000 kB
Shmem: 21336 kB
KReclaimable: 55072 kB
Slab: 136248 kB
SReclaimable: 55072 kB
SUnreclaim: 81176 kB
KernelStack: 4240 kB
PageTables: 19540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5526492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1083392 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC027 at 2024-07-31 03:34:40