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)
9.47/9.56 c Default LC presolving (default).
9.47/9.56 c ** Before presolving: virtualMemUsedAtLc = 7062165801, getVmSize() = 5182861312, SCIPgetMemUsed() = 5062958480, SCIPgetMemTotal() = 5104360912, SCIPgetMemExternEstim() = 1957804889
9.47/9.56 c ** set memory limit for presolving in LC to 8.79397e+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 (58605 MiB free)
memory of node 1: 64510 MiB (52859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449350-1721371295/watcher-4449350-1721371295 -o /tmp/evaluation-result-4449350-1721371295/solver-4449350-1721371295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449350-1721371295.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=993384, runsolver pid=993381
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.65 4.27 4.19 5/244 993385
/proc/meminfo: memFree=113988068/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=69984 memory=56988 CPUtime=0.09 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 12142 0 0 0 7 2 0 0 20 0 1 0 189289260 71663616 14247 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 17496 14247 2318 3032 0 13896 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69984 KiB
Current children cumulated memory: 56988 KiB
[startup+0.206229 s]*
/proc/loadavg: 4.65 4.27 4.19 6/244 993385
/proc/meminfo: memFree=113827208/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=116640 memory=103792 CPUtime=0.2 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 23842 0 0 0 15 5 0 0 20 0 1 0 189289260 119439360 25948 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 29160 25948 2318 3032 0 25560 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116640 KiB
Current children cumulated memory: 103792 KiB
[startup+0.306362 s]*
/proc/loadavg: 4.65 4.27 4.19 5/244 993385
/proc/meminfo: memFree=113677884/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=158364 memory=145280 CPUtime=0.3 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 34245 0 0 0 22 8 0 0 20 0 1 0 189289260 162164736 36320 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 39591 36320 2318 3032 0 35991 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 158364 KiB
Current children cumulated memory: 145280 KiB
[startup+0.700344 s]
/proc/loadavg: 4.65 4.27 4.19 5/244 993385
/proc/meminfo: memFree=113565856/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=340924 memory=328548 CPUtime=0.69 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 79539 0 0 0 48 21 0 0 20 0 1 0 189289260 349106176 82137 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 85231 82137 2318 3032 0 81631 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 340924 KiB
Current children cumulated memory: 328548 KiB
[startup+1.50035 s]
/proc/loadavg: 4.67 4.28 4.20 5/244 993385
/proc/meminfo: memFree=113291732/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=858124 memory=844040 CPUtime=1.48 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 206360 0 0 0 103 45 0 0 20 0 1 0 189289260 878718976 211010 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 214531 211010 2318 3032 0 210931 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 858124 KiB
Current children cumulated memory: 844040 KiB
[startup+3.11331 s]
/proc/loadavg: 4.67 4.28 4.20 5/244 993385
/proc/meminfo: memFree=111705664/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=2084752 memory=2071364 CPUtime=3.1 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 496863 0 0 0 218 92 0 0 20 0 1 0 189289260 2134786048 517841 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 521188 517841 2318 3032 0 517588 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2084752 KiB
Current children cumulated memory: 2071364 KiB
[startup+6.30033 s]
/proc/loadavg: 4.70 4.29 4.20 5/244 993385
/proc/meminfo: memFree=110885416/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=3167568 memory=3146236 CPUtime=6.27 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 766853 0 0 0 493 134 0 0 20 0 1 0 189289260 3243589632 786559 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 791892 786559 2542 3032 0 788292 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3167568 KiB
Current children cumulated memory: 3146236 KiB
[startup+12.7003 s]
/proc/loadavg: 4.73 4.30 4.21 5/244 993386
/proc/meminfo: memFree=108167172/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=5482944 memory=5401108 CPUtime=12.65 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 1252327 0 0 0 1056 209 0 0 20 0 1 0 189289260 5614534656 1350277 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 1370736 1350277 2606 3032 0 1367136 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 5482944 KiB
Current children cumulated memory: 5401108 KiB
[startup+25.5003 s]
/proc/loadavg: 4.77 4.33 4.22 5/245 993389
/proc/meminfo: memFree=105744032/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=7142232 memory=7044596 CPUtime=25.4 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 1352099 0 0 0 2265 275 0 0 20 0 1 0 189289260 7313645568 1761149 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 1785558 1761149 2686 3032 0 1781958 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 7142232 KiB
Current children cumulated memory: 7044596 KiB
[startup+51.1131 s]
/proc/loadavg: 4.59 4.32 4.22 5/245 993395
/proc/meminfo: memFree=105678164/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=7170508 memory=7073092 CPUtime=50.96 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 1355029 0 0 0 4817 279 0 0 20 0 1 0 189289260 7342600192 1768273 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 1792627 1768273 2686 3032 0 1789027 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 7170508 KiB
Current children cumulated memory: 7073092 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.29 4.21 5/247 993451
/proc/meminfo: memFree=110396536/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=6636192 memory=6535272 CPUtime=102.02 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 1413073 0 0 0 9908 294 0 0 20 0 1 0 189289260 6795460608 1633818 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 1659048 1633818 2686 3032 0 1655448 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 6636192 KiB
Current children cumulated memory: 6535272 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.26 4.20 5/247 993462
/proc/meminfo: memFree=105591588/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12085840 memory=11102320 CPUtime=161.87 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2134394 0 0 0 15749 438 0 0 20 0 1 0 189289260 12375900160 2775580 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3021460 2775580 2766 3032 0 3017860 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 12085840 KiB
Current children cumulated memory: 11102320 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.23 4.19 5/247 993472
/proc/meminfo: memFree=104947988/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596068 memory=11686912 CPUtime=221.72 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2238752 0 0 0 21705 467 0 0 20 0 1 0 189289260 12898373632 2921728 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149017 2921728 2766 3032 0 3145417 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 12596068 KiB
Current children cumulated memory: 11686912 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.22 4.19 5/244 993483
/proc/meminfo: memFree=104892444/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596068 memory=11719680 CPUtime=281.57 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2239047 0 0 0 27679 478 0 0 20 0 1 0 189289260 12898373632 2929920 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149017 2929920 2766 3032 0 3145417 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 12596068 KiB
Current children cumulated memory: 11719680 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/244 993493
/proc/meminfo: memFree=104846464/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596068 memory=11746308 CPUtime=341.42 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2239500 0 0 0 33655 487 0 0 20 0 1 0 189289260 12898373632 2936577 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149017 2936577 2766 3032 0 3145417 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 12596068 KiB
Current children cumulated memory: 11746308 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/243 993503
/proc/meminfo: memFree=104817724/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596072 memory=11766792 CPUtime=401.24 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2239847 0 0 0 39627 497 0 0 20 0 1 0 189289260 12898377728 2941698 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149018 2941698 2766 3032 0 3145418 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 12596072 KiB
Current children cumulated memory: 11766792 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/243 993514
/proc/meminfo: memFree=104792392/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596072 memory=11787272 CPUtime=461.05 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2240277 0 0 0 45597 508 0 0 20 0 1 0 189289260 12898377728 2946818 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149018 2946818 2766 3032 0 3145418 0
################
# More data... #
################
/proc/meminfo: memFree=108378036/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=2912.73 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2259200 0 0 0 290346 927 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 2912.73 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/250 995387
/proc/meminfo: memFree=108371108/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=2972.52 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2259651 0 0 0 296315 937 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 2972.52 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.14 4.13 5/250 995398
/proc/meminfo: memFree=108369604/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=3032.31 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2260037 0 0 0 302284 947 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 3032.31 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/250 995408
/proc/meminfo: memFree=108368500/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=3092.1 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2261495 0 0 0 308254 956 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 3092.1 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/250 995419
/proc/meminfo: memFree=108367712/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=3151.89 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2261918 0 0 0 314224 965 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/248 995429
/proc/meminfo: memFree=108366632/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=3211.69 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2262366 0 0 0 320193 976 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 3211.69 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/245 995440
/proc/meminfo: memFree=108363220/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=3271.48 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2262795 0 0 0 326162 986 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/245 995450
/proc/meminfo: memFree=108362080/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875052 CPUtime=3331.27 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2263249 0 0 0 332132 995 0 0 20 0 1 0 189289260 12898390016 2968763 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968763 2766 3032 0 3145421 0
Current children cumulated CPU time: 3331.27 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875052 KiB
[startup+3402.3 s]
/proc/loadavg: 3.71 4.02 4.07 4/238 995491
/proc/meminfo: memFree=116353436/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11875216 CPUtime=3391.06 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2263695 0 0 0 338101 1005 0 0 20 0 1 0 189289260 12898390016 2968804 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2968804 2766 3032 0 3145421 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11875216 KiB
[startup+3462.3 s]
/proc/loadavg: 3.30 3.84 4.01 4/238 995502
/proc/meminfo: memFree=116338208/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11876224 CPUtime=3450.83 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2264134 0 0 0 344070 1013 0 0 20 0 1 0 189289260 12898390016 2969056 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2969056 2766 3032 0 3145421 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11876224 KiB
[startup+3522.3 s]
/proc/loadavg: 3.21 3.72 3.95 4/238 995512
/proc/meminfo: memFree=116337592/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11876224 CPUtime=3510.61 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2264516 0 0 0 350038 1023 0 0 20 0 1 0 189289260 12898390016 2969056 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2969056 2766 3032 0 3145421 0
Current children cumulated CPU time: 3510.61 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11876224 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.61 3.90 4/240 995526
/proc/meminfo: memFree=116336920/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11876224 CPUtime=3570.38 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2264926 0 0 0 356008 1030 0 0 20 0 1 0 189289260 12898390016 2969056 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2969056 2766 3032 0 3145421 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11876224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 3.15 3.57 3.88 4/240 995530
/proc/meminfo: memFree=116336364/131655788 swapFree=131071996/131071996
[pid=993384] ppid=993381 vsize=12596084 memory=11876224 CPUtime=3600.09 cores=4,6
/proc/993384/stat : 993384 (fscip) R 993381 993384 988413 0 -1 4194304 2265114 0 0 0 358975 1034 0 0 20 0 1 0 189289260 12898390016 2969056 134679101440 4194304 16613245 140735238904768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 42119168 140735238910996 140735238911112 140735238911112 140735238918128 0
/proc/993384/statm: 3149021 2969056 2766 3032 0 3145421 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 12596084 KiB
Current children cumulated memory: 11876224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.37 s]
# the end of solver process 993384 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3589.75 s, system=10.6092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.2 s]*
/proc/loadavg: 3.15 3.57 3.88 4/240 995530
/proc/meminfo: memFree=120303548/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3612.31 s]
/proc/loadavg: 3.15 3.57 3.88 4/240 995530
/proc/meminfo: memFree=120303548/131655788 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): 3612.37
CPU time (s): 3600.36
CPU user time (s): 3589.75
CPU system time (s): 10.6092
CPU usage (%): 99.6674
Max. virtual memory (cumulated for all children) (KiB): 12596084
Max. memory (cumulated for all children) (KiB): 11876224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.75
system time used= 10.6092
maximum resident set size= 11876224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2265114
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= 2071
# summary of solver processes directly reported to runsolver:
# pid: 993384
# total CPU time (s): 3600.36
# total CPU user time (s): 3589.75
# total CPU system time (s): 10.6092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5681 second user time and 33.5852 second system time
The end
Begin job on nodeC009 at 2024-07-19 08:41:48
IDJOB=4449350
IDBENCH=160496
IDSOLVER=3064
FILE ID=nodeC009/4449350-1721371295
RUNJOBID= nodeC009-1721363855-988424
SLURM_JOB_ID= 7542791
Free space on /tmp= 723460 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm75p-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-4449350-1721371295/watcher-4449350-1721371295 -o /tmp/evaluation-result-4449350-1721371295/solver-4449350-1721371295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449350-1721371295.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e33a6540182d2687f15b6bd9bbee190
RANDOM SEED=1552743382
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 : 3679.702
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 : 3603.102
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.645
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.363
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 : 1197.463
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 : 3613.036
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 : 3093.315
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.935
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: 114187100 kB
MemAvailable: 115362684 kB
Buffers: 555856 kB
Cached: 1453876 kB
SwapCached: 0 kB
Active: 1217360 kB
Inactive: 15669760 kB
Active(anon): 1460 kB
Inactive(anon): 14913344 kB
Active(file): 1215900 kB
Inactive(file): 756416 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 128112 kB
Writeback: 0 kB
AnonPages: 14875164 kB
Mapped: 139564 kB
Shmem: 37700 kB
KReclaimable: 86600 kB
Slab: 186704 kB
SReclaimable: 86600 kB
SUnreclaim: 100104 kB
KernelStack: 3952 kB
PageTables: 38620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 16123784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2926592 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= 723588 MiB
End job on nodeC009 at 2024-07-19 09:42:01