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)
0.78/0.89 c Default LC presolving (default).
0.78/0.89 c ** Before presolving: virtualMemUsedAtLc = 439753268, getVmSize() = 283406336, SCIPgetMemUsed() = 233977995, SCIPgetMemTotal() = 248765987, SCIPgetMemExternEstim() = 190987281
0.78/0.89 c ** set memory limit for presolving in LC to 8.79596e+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: 64096 MiB (61111 MiB free)
memory of node 1: 64473 MiB (57148 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464925-1722390033/watcher-4464925-1722390033 -o /tmp/evaluation-result-4464925-1722390033/solver-4464925-1722390033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722389773-34183 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464925-1722390033.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=34727, runsolver pid=34724
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 4.12 3.25 3.37 5/248 34728
/proc/meminfo: memFree=121076876/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=42952 memory=31608 CPUtime=0.1 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 5759 0 0 0 9 1 0 0 20 0 1 0 5373447 43982848 7902 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 10738 7902 2347 3035 0 7134 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42952 KiB
Current children cumulated memory: 31608 KiB
[startup+0.213326 s]*
/proc/loadavg: 4.12 3.25 3.37 6/248 34728
/proc/meminfo: memFree=121058220/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=62396 memory=50144 CPUtime=0.22 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 10409 0 0 0 19 3 0 0 20 0 1 0 5373447 63893504 12536 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 15599 12536 2347 3035 0 11995 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 62396 KiB
Current children cumulated memory: 50144 KiB
[startup+0.313301 s]*
/proc/loadavg: 4.12 3.25 3.37 5/248 34728
/proc/meminfo: memFree=121041116/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=79448 memory=67856 CPUtime=0.31 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 14871 0 0 0 28 3 0 0 20 0 1 0 5373447 81354752 16964 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 19862 16964 2347 3035 0 16258 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79448 KiB
Current children cumulated memory: 67856 KiB
[startup+0.70034 s]
/proc/loadavg: 4.12 3.25 3.37 5/250 34732
/proc/meminfo: memFree=121000092/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=213000 memory=202384 CPUtime=0.69 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 49168 0 0 0 58 11 0 0 20 0 1 0 5373447 218112000 50596 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 53250 50596 2555 3035 0 49646 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 213000 KiB
Current children cumulated memory: 202384 KiB
[startup+1.50031 s]
/proc/loadavg: 4.12 3.25 3.37 5/250 34732
/proc/meminfo: memFree=120803420/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=499456 memory=484032 CPUtime=1.48 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 119576 0 0 0 126 22 0 0 20 0 1 0 5373447 511442944 121008 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 124864 121008 2598 3035 0 121260 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 499456 KiB
Current children cumulated memory: 484032 KiB
[startup+3.11348 s]
/proc/loadavg: 4.11 3.26 3.37 5/250 34732
/proc/meminfo: memFree=120572188/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=552496 memory=534236 CPUtime=3.09 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 132220 0 0 0 285 24 0 0 20 0 1 0 5373447 565755904 133559 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 138124 133559 2662 3035 0 134520 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 552496 KiB
Current children cumulated memory: 534236 KiB
[startup+6.30032 s]
/proc/loadavg: 4.11 3.26 3.37 5/250 34734
/proc/meminfo: memFree=120234592/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1008560 memory=897536 CPUtime=6.26 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 183030 0 0 0 588 38 0 0 20 0 1 0 5373447 1032765440 224318 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 252140 224384 2710 3035 0 248536 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1008560 KiB
Current children cumulated memory: 897536 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 3.29 3.38 5/249 34734
/proc/meminfo: memFree=119789960/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1427980 memory=1324492 CPUtime=12.64 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 288822 0 0 0 1206 58 0 0 20 0 1 0 5373447 1462251520 331123 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 356995 331123 2710 3035 0 353391 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1427980 KiB
Current children cumulated memory: 1324492 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 3.31 3.38 5/249 34737
/proc/meminfo: memFree=119656784/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1546356 memory=1447628 CPUtime=25.41 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 319108 0 0 0 2477 64 0 0 20 0 1 0 5373447 1583468544 361907 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 386589 361907 2710 3035 0 382985 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1546356 KiB
Current children cumulated memory: 1447628 KiB
[startup+51.1131 s]
/proc/loadavg: 4.12 3.38 3.40 5/249 34741
/proc/meminfo: memFree=119610292/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576088 memory=1477688 CPUtime=50.94 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326625 0 0 0 5029 65 0 0 20 0 1 0 5373447 1613914112 369422 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394022 369422 2710 3035 0 390418 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1576088 KiB
Current children cumulated memory: 1477688 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.51 3.45 5/249 34749
/proc/meminfo: memFree=119578832/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576092 memory=1477828 CPUtime=101.97 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326647 0 0 0 10131 66 0 0 20 0 1 0 5373447 1613918208 369457 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394023 369457 2710 3035 0 390419 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1576092 KiB
Current children cumulated memory: 1477828 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.61 3.49 5/247 34950
/proc/meminfo: memFree=119520040/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576096 memory=1477828 CPUtime=161.79 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326672 0 0 0 16112 67 0 0 20 0 1 0 5373447 1613922304 369457 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394024 369457 2710 3035 0 390420 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1576096 KiB
Current children cumulated memory: 1477828 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.73 3.54 5/247 34960
/proc/meminfo: memFree=119414452/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576100 memory=1477828 CPUtime=221.63 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326697 0 0 0 22095 68 0 0 20 0 1 0 5373447 1613926400 369457 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394025 369457 2710 3035 0 390421 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1576100 KiB
Current children cumulated memory: 1477828 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.80 3.58 5/247 35066
/proc/meminfo: memFree=112869612/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576104 memory=1477840 CPUtime=281.46 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326722 0 0 0 28077 69 0 0 20 0 1 0 5373447 1613930496 369460 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394026 369460 2710 3035 0 390422 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 1576104 KiB
Current children cumulated memory: 1477840 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.87 3.62 5/245 35078
/proc/meminfo: memFree=109133320/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576108 memory=1477840 CPUtime=341.26 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326747 0 0 0 34056 70 0 0 20 0 1 0 5373447 1613934592 369460 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394027 369460 2710 3035 0 390423 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1576108 KiB
Current children cumulated memory: 1477840 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.92 3.65 5/246 35089
/proc/meminfo: memFree=109097336/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576108 memory=1477840 CPUtime=401.07 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326771 0 0 0 40036 71 0 0 20 0 1 0 5373447 1613934592 369460 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394027 369460 2710 3035 0 390423 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1576108 KiB
Current children cumulated memory: 1477840 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.97 3.69 5/246 35100
/proc/meminfo: memFree=109008592/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576112 memory=1477848 CPUtime=460.86 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 326797 0 0 0 46014 72 0 0 20 0 1 0 5373447 1613938688 369462 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394028 369462 2710 3035 0 390424 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 1501420 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 36689
/proc/meminfo: memFree=108054264/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576164 memory=1501420 CPUtime=2913.98 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 330243 0 0 0 291319 79 0 0 20 0 1 0 5373447 1613991936 375355 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394041 375355 2710 3035 0 390437 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 1576164 KiB
Current children cumulated memory: 1501420 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 36699
/proc/meminfo: memFree=108025612/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576164 memory=1501420 CPUtime=2973.82 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 330406 0 0 0 297303 79 0 0 20 0 1 0 5373447 1613991936 375355 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394041 375355 2710 3035 0 390437 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 1576164 KiB
Current children cumulated memory: 1501420 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 36770
/proc/meminfo: memFree=108024496/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576164 memory=1501420 CPUtime=3033.66 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 330569 0 0 0 303287 79 0 0 20 0 1 0 5373447 1613991936 375355 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394041 375355 2710 3035 0 390437 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 1576164 KiB
Current children cumulated memory: 1501420 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 36780
/proc/meminfo: memFree=107986264/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576164 memory=1501420 CPUtime=3093.5 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 330733 0 0 0 309271 79 0 0 20 0 1 0 5373447 1613991936 375355 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394041 375355 2710 3035 0 390437 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 1576164 KiB
Current children cumulated memory: 1501420 KiB
[startup+3162.3 s]
/proc/loadavg: 4.67 4.27 4.14 5/250 36790
/proc/meminfo: memFree=107792648/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576168 memory=1501424 CPUtime=3153.35 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 330900 0 0 0 315256 79 0 0 20 0 1 0 5373447 1613996032 375356 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394042 375356 2710 3035 0 390438 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 1576168 KiB
Current children cumulated memory: 1501424 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.29 4.16 5/248 36802
/proc/meminfo: memFree=107752460/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576168 memory=1501424 CPUtime=3213.2 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331066 0 0 0 321241 79 0 0 20 0 1 0 5373447 1613996032 375356 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394042 375356 2710 3035 0 390438 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 1576168 KiB
Current children cumulated memory: 1501424 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.26 4.16 5/248 36813
/proc/meminfo: memFree=107735916/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576168 memory=1501424 CPUtime=3273.05 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331234 0 0 0 327226 79 0 0 20 0 1 0 5373447 1613996032 375356 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394042 375356 2710 3035 0 390438 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 1576168 KiB
Current children cumulated memory: 1501424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.23 4.16 5/245 36825
/proc/meminfo: memFree=107734420/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576168 memory=1501424 CPUtime=3332.88 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331404 0 0 0 333209 79 0 0 20 0 1 0 5373447 1613996032 375356 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394042 375356 2710 3035 0 390438 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 1576168 KiB
Current children cumulated memory: 1501424 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/245 36835
/proc/meminfo: memFree=107713756/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576168 memory=1501424 CPUtime=3392.7 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331515 0 0 0 339191 79 0 0 20 0 1 0 5373447 1613996032 375356 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394042 375356 2710 3035 0 390438 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1576168 KiB
Current children cumulated memory: 1501424 KiB
[startup+3462.3 s]
/proc/loadavg: 3.83 4.12 4.13 4/239 36882
/proc/meminfo: memFree=109100080/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576172 memory=1501428 CPUtime=3452.5 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331672 0 0 0 345171 79 0 0 20 0 1 0 5373447 1614000128 375357 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394043 375357 2710 3035 0 390439 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 1576172 KiB
Current children cumulated memory: 1501428 KiB
[startup+3522.3 s]
/proc/loadavg: 3.42 3.95 4.07 4/239 36893
/proc/meminfo: memFree=109072324/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576172 memory=1501428 CPUtime=3512.33 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331779 0 0 0 351154 79 0 0 20 0 1 0 5373447 1614000128 375357 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394043 375357 2710 3035 0 390439 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 1576172 KiB
Current children cumulated memory: 1501428 KiB
[startup+3582.3 s]
/proc/loadavg: 3.22 3.79 4.00 4/239 36905
/proc/meminfo: memFree=109068704/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576172 memory=1501428 CPUtime=3572.15 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 331938 0 0 0 357136 79 0 0 20 0 1 0 5373447 1614000128 375357 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394043 375357 2710 3035 0 390439 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 1576172 KiB
Current children cumulated memory: 1501428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.14 3.72 3.97 4/241 36914
/proc/meminfo: memFree=109067916/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576172 memory=1501428 CPUtime=3600.07 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 332023 0 0 0 359928 79 0 0 20 0 1 0 5373447 1614000128 375357 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394043 375357 2710 3035 0 390439 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1576172 KiB
Current children cumulated memory: 1501428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 34727 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.28 s, system=0.805042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 3.14 3.72 3.97 4/241 36914
/proc/meminfo: memFree=109067916/131655788 swapFree=131071472/131071996
[pid=34727] ppid=34724 vsize=1576172 memory=1501428 CPUtime=3600.07 cores=0,2
/proc/34727/stat : 34727 (fscip) R 34724 34727 34173 0 -1 4194304 332023 0 0 0 359928 79 0 0 20 0 1 0 5373447 1614000128 375357 134679101440 4194304 16623229 140722347637248 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 35954688 140722347639828 140722347639944 140722347639944 140722347646960 0
/proc/34727/statm: 394043 375357 2710 3035 0 390439 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1576172 KiB
Current children cumulated memory: 1501428 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.31
CPU time (s): 3600.09
CPU user time (s): 3599.28
CPU system time (s): 0.805042
CPU usage (%): 99.717
Max. virtual memory (cumulated for all children) (KiB): 1576172
Max. memory (cumulated for all children) (KiB): 1501428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.28
system time used= 0.805042
maximum resident set size= 1501428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332023
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= 7
involuntary context switches= 21879
# summary of solver processes directly reported to runsolver:
# pid: 34727
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.28
# total CPU system time (s): 0.805042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3744 second user time and 34.3866 second system time
The end
Begin job on nodeC012 at 2024-07-31 03:40:33
IDJOB=4464925
IDBENCH=143883
IDSOLVER=3093
FILE ID=nodeC012/4464925-1722390033
RUNJOBID= nodeC012-1722389773-34183
SLURM_JOB_ID= 8249865
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464925-1722390033/watcher-4464925-1722390033 -o /tmp/evaluation-result-4464925-1722390033/solver-4464925-1722390033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722389773-34183 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464925-1722390033.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06
RANDOM SEED=973852417
nodeC012.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 : 1197.217
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 : 6983.70
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 : 3664.751
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.37
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.208
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 : 6983.70
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.367
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.37
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 : 3657.001
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 : 6983.70
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 : 3668.201
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.37
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 : 6983.70
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.353
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121098912 kB
MemAvailable: 128641060 kB
Buffers: 108300 kB
Cached: 8235420 kB
SwapCached: 48 kB
Active: 269760 kB
Inactive: 9781640 kB
Active(anon): 1436 kB
Inactive(anon): 1727500 kB
Active(file): 268324 kB
Inactive(file): 8054140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 30084 kB
Writeback: 4 kB
AnonPages: 1706868 kB
Mapped: 125832 kB
Shmem: 21248 kB
KReclaimable: 119768 kB
Slab: 202992 kB
SReclaimable: 119768 kB
SUnreclaim: 83224 kB
KernelStack: 3968 kB
PageTables: 12312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1389756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 475136 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: 199496 kB
DirectMap2M: 13336576 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723680 MiB
End job on nodeC012 at 2024-07-31 04:40:44