2.99/3.06 c initialize IPBHS solver
2.99/3.06 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
2.99/3.06 c optimizer = "scip"
2.99/3.06 c pbsolver = "roundingsat"
2.99/3.06 c load symmetries from file ""
2.99/3.06 c set time limit for symmetry computation to 100 seconds.
2.99/3.06 c set interchangeable summation variable limit to 3
2.99/3.06 c set abs symmetric core budget per WCE-iteration to 100
2.99/3.06 c set rel symmetric core budget per WCE-iteration to 0
2.99/3.06 c set lit symmetric core budget per WCE-iteration to 0
2.99/3.06 c set sym generation to 's'
2.99/3.06 c set abstraction set creation to 10 iterations without LB change
2.99/3.06 c set abstraction set inputs to 0
2.99/3.06 c set abstraction set cluster min size to 2
2.99/3.06 c set abstraction set cluster max size to 100000000
2.99/3.06 c set abstraction set cluster activation limit to 2
2.99/3.06 c enable abstraction set require equal cost
2.99/3.06 c set abstraction set assumptions to 0
2.99/3.06 c set abstraction set constraint type to 0
2.99/3.06 c set abstract core extraction strategy to b
2.99/3.06 c set core extraction strategy to 2
2.99/3.06 c set core extraction shuffles 10
2.99/3.07 c set cores per iteration to 5
2.99/3.07 c set optimizer bound usage strategy to 2
2.99/3.07 c set optimizer max non-optimal iterations to 1000
2.99/3.07 c set small core cardinality limit to 2
2.99/3.07 c set max coef in cores to 1000000000
2.99/3.07 c set SIS iterations to 5
2.99/3.07 c set SIS budget abs to 1000
2.99/3.07 c set SIS budget rel to 0.05
2.99/3.07 c limit for coefficient in constraints and objective to 9223372036854775807
2.99/3.07 c will solve HOME/instance-4431823-1721079161.opb
2.99/3.07 c [0.02] solve iteration 1, LB=0, UB=466
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 (62728 MiB free)
memory of node 1: 64473 MiB (61625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431823-1721079161/watcher-4431823-1721079161 -o /tmp/evaluation-result-4431823-1721079161/solver-4431823-1721079161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431823-1721079161.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=821733, runsolver pid=821730
[startup+0.100918 s]*
/proc/loadavg: 4.10 4.11 4.14 6/246 821734
/proc/meminfo: memFree=127329032/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=38700 memory=20220 CPUtime=0.1 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 2515 0 0 0 8 2 0 0 20 0 1 0 160074984 39628800 5055 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 9675 5055 2879 2900 0 6189 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38700 KiB
Current children cumulated memory: 20220 KiB
[startup+0.212941 s]*
/proc/loadavg: 4.10 4.11 4.14 5/246 821734
/proc/meminfo: memFree=127328752/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=38872 memory=20464 CPUtime=0.21 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 2570 0 0 0 19 2 0 0 20 0 1 0 160074984 39804928 5116 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 9718 5116 2879 2900 0 6232 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38872 KiB
Current children cumulated memory: 20464 KiB
[startup+0.312308 s]*
/proc/loadavg: 4.09 4.10 4.13 5/246 821734
/proc/meminfo: memFree=127328304/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=38992 memory=20536 CPUtime=0.31 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 2608 0 0 0 29 2 0 0 20 0 1 0 160074984 39927808 5134 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 9748 5134 2879 2900 0 6262 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38992 KiB
Current children cumulated memory: 20536 KiB
[startup+0.700264 s]
/proc/loadavg: 4.09 4.10 4.13 5/246 821734
/proc/meminfo: memFree=127328164/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=39420 memory=20796 CPUtime=0.68 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 2687 0 0 0 66 2 0 0 20 0 1 0 160074984 40366080 5199 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 9855 5199 2879 2900 0 6369 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 20796 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.10 4.13 5/246 821734
/proc/meminfo: memFree=127323040/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=50000 memory=30400 CPUtime=1.47 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 5185 0 0 0 145 2 0 0 20 0 1 0 160074984 51200000 7600 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 12500 7600 2911 2900 0 9014 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50000 KiB
Current children cumulated memory: 30400 KiB
[startup+3.11252 s]
/proc/loadavg: 4.09 4.10 4.13 5/246 821734
/proc/meminfo: memFree=127288572/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=84488 memory=62608 CPUtime=3.09 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 13199 0 0 0 305 4 0 0 20 0 1 0 160074984 86515712 15652 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 21122 15652 2911 2900 0 17636 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84488 KiB
Current children cumulated memory: 62608 KiB
[startup+6.30025 s]
/proc/loadavg: 4.08 4.10 4.13 5/246 821734
/proc/meminfo: memFree=127285156/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=84488 memory=62608 CPUtime=6.27 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 13216 0 0 0 623 4 0 0 20 0 1 0 160074984 86515712 15652 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 21122 15652 2911 2900 0 17636 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84488 KiB
Current children cumulated memory: 62608 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.13 5/246 821735
/proc/meminfo: memFree=127278208/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=86428 memory=67496 CPUtime=12.65 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 13919 0 0 0 1261 4 0 0 20 0 1 0 160074984 88502272 16874 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 21607 16874 2911 2900 0 18121 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86428 KiB
Current children cumulated memory: 67496 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.13 5/246 821783
/proc/meminfo: memFree=127608080/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=96908 memory=78792 CPUtime=25.41 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 17865 0 0 0 2536 5 0 0 20 0 1 0 160074984 99233792 19698 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 24227 19698 2911 2900 0 20741 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 96908 KiB
Current children cumulated memory: 78792 KiB
[startup+51.1126 s]
/proc/loadavg: 4.20 4.12 4.14 5/246 821787
/proc/meminfo: memFree=127555332/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=119476 memory=104396 CPUtime=50.96 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 23219 0 0 0 5090 6 0 0 20 0 1 0 160074984 122343424 26099 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 29869 26099 2911 2900 0 26383 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 119476 KiB
Current children cumulated memory: 104396 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/245 821842
/proc/meminfo: memFree=127873604/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=131952 memory=116556 CPUtime=102.01 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 26303 0 0 0 10195 6 0 0 20 0 1 0 160074984 135118848 29139 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 32988 29139 2911 2900 0 29502 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 131952 KiB
Current children cumulated memory: 116556 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/245 821852
/proc/meminfo: memFree=127796208/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=141016 memory=125788 CPUtime=161.86 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 29112 0 0 0 16180 6 0 0 20 0 1 0 160074984 144400384 31447 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 35254 31447 2911 2900 0 31768 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 141016 KiB
Current children cumulated memory: 125788 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/241 821864
/proc/meminfo: memFree=127715148/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=147784 memory=133780 CPUtime=221.72 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 30845 0 0 0 22165 7 0 0 20 0 1 0 160074984 151330816 33445 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 36946 33445 3215 2900 0 33460 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 147784 KiB
Current children cumulated memory: 133780 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/241 821874
/proc/meminfo: memFree=127678664/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=151244 memory=137108 CPUtime=281.57 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 31737 0 0 0 28150 7 0 0 20 0 1 0 160074984 154873856 34277 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 37811 34277 3231 2900 0 34325 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 151244 KiB
Current children cumulated memory: 137108 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/241 821884
/proc/meminfo: memFree=127662696/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=154656 memory=140468 CPUtime=341.42 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 32544 0 0 0 34135 7 0 0 20 0 1 0 160074984 158367744 35117 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 38664 35117 3231 2900 0 35178 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 154656 KiB
Current children cumulated memory: 140468 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.14 4.13 5/243 821899
/proc/meminfo: memFree=127644960/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=156616 memory=142196 CPUtime=401.27 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 33044 0 0 0 40120 7 0 0 20 0 1 0 160074984 160374784 35549 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 39154 35549 3231 2900 0 35668 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 156616 KiB
Current children cumulated memory: 142196 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/243 821909
/proc/meminfo: memFree=127622364/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=163832 memory=149748 CPUtime=461.11 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 34930 0 0 0 46104 7 0 0 20 0 1 0 160074984 167763968 37437 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 40958 37437 3231 2900 0 37472 0
################
# More data... #
################
Current children cumulated memory: 270160 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/241 823439
/proc/meminfo: memFree=127178368/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=282692 memory=270644 CPUtime=2855 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 68638 0 0 0 285488 12 0 0 20 0 1 0 160074984 289476608 67661 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 70673 67661 3231 2900 0 67187 0
Current children cumulated CPU time: 2855 s
Current children cumulated vsize: 282692 KiB
Current children cumulated memory: 270644 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 823453
/proc/meminfo: memFree=127165724/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=288968 memory=275192 CPUtime=2914.85 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 69950 0 0 0 291472 13 0 0 20 0 1 0 160074984 295903232 68798 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 72242 68798 3231 2900 0 68756 0
Current children cumulated CPU time: 2914.85 s
Current children cumulated vsize: 288968 KiB
Current children cumulated memory: 275192 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/243 823464
/proc/meminfo: memFree=127162380/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=288968 memory=275248 CPUtime=2974.7 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 70174 0 0 0 297457 13 0 0 20 0 1 0 160074984 295903232 68812 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 72242 68812 3231 2900 0 68756 0
Current children cumulated CPU time: 2974.7 s
Current children cumulated vsize: 288968 KiB
Current children cumulated memory: 275248 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/243 823474
/proc/meminfo: memFree=127158404/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=289328 memory=276048 CPUtime=3034.55 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 70599 0 0 0 303442 13 0 0 20 0 1 0 160074984 296271872 69012 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 72332 69012 3231 2900 0 68846 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 289328 KiB
Current children cumulated memory: 276048 KiB
[startup+3102.3 s]
/proc/loadavg: 3.60 3.98 4.05 4/236 823516
/proc/meminfo: memFree=127532264/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=293028 memory=279632 CPUtime=3094.39 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 71771 0 0 0 309426 13 0 0 20 0 1 0 160074984 300060672 69908 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 73257 69908 3231 2900 0 69771 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 293028 KiB
Current children cumulated memory: 279632 KiB
[startup+3162.3 s]
/proc/loadavg: 3.32 3.83 3.99 4/236 823526
/proc/meminfo: memFree=127529308/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=293028 memory=279852 CPUtime=3154.24 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 72038 0 0 0 315411 13 0 0 20 0 1 0 160074984 300060672 69963 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 73257 69963 3231 2900 0 69771 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 293028 KiB
Current children cumulated memory: 279852 KiB
[startup+3222.3 s]
/proc/loadavg: 3.23 3.72 3.95 4/236 823921
/proc/meminfo: memFree=127528096/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=293324 memory=280516 CPUtime=3214.09 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 72380 0 0 0 321396 13 0 0 20 0 1 0 160074984 300363776 70129 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 73331 70129 3231 2900 0 69845 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 293324 KiB
Current children cumulated memory: 280516 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.60 3.89 4/236 823932
/proc/meminfo: memFree=127519216/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=298700 memory=285680 CPUtime=3273.94 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 73936 0 0 0 327381 13 0 0 20 0 1 0 160074984 305868800 71420 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 74675 71420 3231 2900 0 71189 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 298700 KiB
Current children cumulated memory: 285680 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.50 3.84 4/237 823943
/proc/meminfo: memFree=127517344/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=299020 memory=286148 CPUtime=3333.8 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 74231 0 0 0 333366 14 0 0 20 0 1 0 160074984 306196480 71537 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 74755 71537 3231 2900 0 71269 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 299020 KiB
Current children cumulated memory: 286148 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.44 3.79 4/239 824124
/proc/meminfo: memFree=127515652/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=300664 memory=287100 CPUtime=3393.65 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 74690 0 0 0 339351 14 0 0 20 0 1 0 160074984 307879936 71775 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 75166 71775 3231 2900 0 71680 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 300664 KiB
Current children cumulated memory: 287100 KiB
[startup+3462.3 s]
/proc/loadavg: 3.19 3.40 3.76 4/240 824191
/proc/meminfo: memFree=127509272/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=303908 memory=290696 CPUtime=3453.5 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 75814 0 0 0 345336 14 0 0 20 0 1 0 160074984 311201792 72674 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 75977 72674 3231 2900 0 72491 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 290696 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.34 3.71 4/239 824201
/proc/meminfo: memFree=127505780/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=304348 memory=291664 CPUtime=3513.35 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 76274 0 0 0 351321 14 0 0 20 0 1 0 160074984 311652352 72916 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 76087 72916 3231 2900 0 72601 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 304348 KiB
Current children cumulated memory: 291664 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.31 3.68 4/239 824212
/proc/meminfo: memFree=127497860/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=305712 memory=292296 CPUtime=3573.2 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 76648 0 0 0 357306 14 0 0 20 0 1 0 160074984 313049088 73074 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 76428 73074 3231 2900 0 72942 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 305712 KiB
Current children cumulated memory: 292296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 3.11 3.28 3.66 4/239 824217
/proc/meminfo: memFree=127494676/131655788 swapFree=131071996/131071996
[pid=821733] ppid=821730 vsize=305712 memory=292364 CPUtime=3600.03 cores=5,7
/proc/821733/stat : 821733 (ipbhs_static_sc) R 821730 821733 815879 0 -1 4194304 76710 0 0 0 359989 14 0 0 20 0 1 0 160074984 313049088 73091 134679101440 4194304 16068861 140729723932384 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 38080512 140729723933734 140729723933821 140729723933821 140729723940836 0
/proc/821733/statm: 76428 73091 3231 2900 0 72942 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 305712 KiB
Current children cumulated memory: 292364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 821733 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.9 s, system=0.148295 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.2
CPU time (s): 3600.05
CPU user time (s): 3599.9
CPU system time (s): 0.148295
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 305712
Max. memory (cumulated for all children) (KiB): 292364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.9
system time used= 0.148295
maximum resident set size= 292536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76710
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= 41
involuntary context switches= 2200
# summary of solver processes directly reported to runsolver:
# pid: 821733
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.9
# total CPU system time (s): 0.148295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1946 second user time and 32.8675 second system time
The end
Begin job on nodeC005 at 2024-07-15 23:32:54
IDJOB=4431823
IDBENCH=147540
IDSOLVER=3057
FILE ID=nodeC005/4431823-1721079161
RUNJOBID= nodeC005-1721071938-815892
SLURM_JOB_ID= 7505537
Free space on /tmp= 723624 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431823-1721079161/watcher-4431823-1721079161 -o /tmp/evaluation-result-4431823-1721079161/solver-4431823-1721079161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721071938-815892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431823-1721079161.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=1436678601
nodeC005.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 : 3670.058
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.53
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 : 3670.666
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.35
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.377
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.53
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.225
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.496
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.53
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 : 3492.012
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.35
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.220
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.53
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.180
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127338524 kB
MemAvailable: 129003076 kB
Buffers: 363756 kB
Cached: 2126092 kB
SwapCached: 0 kB
Active: 647360 kB
Inactive: 3102844 kB
Active(anon): 3440 kB
Inactive(anon): 1294612 kB
Active(file): 643920 kB
Inactive(file): 1808232 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53744 kB
Writeback: 0 kB
AnonPages: 1247576 kB
Mapped: 139676 kB
Shmem: 37704 kB
KReclaimable: 105196 kB
Slab: 206268 kB
SReclaimable: 105196 kB
SUnreclaim: 101072 kB
KernelStack: 3952 kB
PageTables: 11856 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1634160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1032192 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: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723624 MiB
End job on nodeC005 at 2024-07-16 00:33:03