74.55/74.80 c initialize IPBHS solver
74.55/74.80 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
74.55/74.80 c optimizer = "scip"
74.55/74.80 c pbsolver = "roundingsat"
74.55/74.80 c load symmetries from file ""
74.55/74.80 c set time limit for symmetry computation to 100 seconds.
74.55/74.80 c set interchangeable summation variable limit to 3
74.55/74.80 c set abs symmetric core budget per WCE-iteration to 100
74.55/74.80 c set rel symmetric core budget per WCE-iteration to 0
74.55/74.80 c set lit symmetric core budget per WCE-iteration to 0
74.55/74.80 c set sym generation to 's'
74.55/74.80 c set abstraction set creation to 10 iterations without LB change
74.55/74.80 c set abstraction set inputs to 0
74.55/74.80 c set abstraction set cluster min size to 2
74.55/74.80 c set abstraction set cluster max size to 100000000
74.55/74.80 c set abstraction set cluster activation limit to 2
74.55/74.80 c enable abstraction set require equal cost
74.55/74.80 c set abstraction set assumptions to 0
74.55/74.80 c set abstraction set constraint type to 0
74.55/74.80 c set abstract core extraction strategy to b
74.55/74.80 c set core extraction strategy to 2
74.55/74.80 c set core extraction shuffles 10
74.55/74.80 c set cores per iteration to 5
74.55/74.80 c set optimizer bound usage strategy to 2
74.55/74.80 c set optimizer max non-optimal iterations to 1000
74.55/74.80 c set small core cardinality limit to 2
74.55/74.80 c set max coef in cores to 1000000000
74.55/74.80 c set SIS iterations to 5
74.55/74.80 c set SIS budget abs to 1000
74.55/74.80 c set SIS budget rel to 0.05
74.55/74.80 c limit for coefficient in constraints and objective to 9223372036854775807
74.55/74.80 c will solve HOME/instance-4432056-1721133624.opb
74.55/74.80 c [0.31] solve iteration 1, LB=-100, UB=203128547853
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 (60908 MiB free)
memory of node 1: 64473 MiB (61289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432056-1721133624/watcher-4432056-1721133624 -o /tmp/evaluation-result-4432056-1721133624/solver-4432056-1721133624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721133636-851115 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432056-1721133624.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
solver pid=851168, runsolver pid=851160
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 3.89 4.19 4.20 6/248 851179
/proc/meminfo: memFree=125100540/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=35012 memory=10548 CPUtime=0.1 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 1976 0 0 0 10 0 0 0 20 0 1 0 165519605 35852288 2637 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 8753 2637 1023 2900 0 5267 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35012 KiB
Current children cumulated memory: 10548 KiB
[startup+0.21361 s]*
/proc/loadavg: 3.89 4.19 4.20 6/248 851181
/proc/meminfo: memFree=125080424/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=44016 memory=19960 CPUtime=0.22 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 4463 0 0 0 20 2 0 0 20 0 1 0 165519605 45072384 4990 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 11004 4990 1135 2900 0 7518 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44016 KiB
Current children cumulated memory: 19960 KiB
[startup+0.313397 s]*
/proc/loadavg: 3.89 4.19 4.20 6/248 851181
/proc/meminfo: memFree=125028716/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=44396 memory=21016 CPUtime=0.31 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 4792 0 0 0 25 6 0 0 20 0 1 0 165519605 45461504 5254 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 11099 5254 1135 2900 0 7613 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44396 KiB
Current children cumulated memory: 21016 KiB
[startup+0.700343 s]
/proc/loadavg: 3.89 4.19 4.20 6/248 851181
/proc/meminfo: memFree=124905548/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=108056 memory=90368 CPUtime=0.69 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 20393 0 0 0 50 19 0 0 20 0 1 0 165519605 110649344 22592 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 27014 22592 2399 2900 0 23528 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108056 KiB
Current children cumulated memory: 90368 KiB
[startup+1.50032 s]
/proc/loadavg: 3.89 4.19 4.20 6/248 851181
/proc/meminfo: memFree=124678876/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=231140 memory=191056 CPUtime=1.48 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 44257 0 0 0 116 32 0 0 20 0 1 0 165519605 236687360 47764 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 57785 47764 2687 2900 0 54299 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 231140 KiB
Current children cumulated memory: 191056 KiB
[startup+3.11417 s]
/proc/loadavg: 3.89 4.19 4.20 6/248 851181
/proc/meminfo: memFree=124464876/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=311936 memory=253716 CPUtime=3.1 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 60731 0 0 0 274 36 0 0 20 0 1 0 165519605 319422464 63429 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 77984 63429 2879 2900 0 74498 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 311936 KiB
Current children cumulated memory: 253716 KiB
[startup+6.30028 s]
/proc/loadavg: 3.90 4.18 4.20 6/248 851181
/proc/meminfo: memFree=124295324/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=432680 memory=350384 CPUtime=6.26 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 83428 0 0 0 587 39 0 0 20 0 1 0 165519605 443064320 87596 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 108170 87596 2911 2900 0 104684 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 432680 KiB
Current children cumulated memory: 350384 KiB
[startup+12.7003 s]
/proc/loadavg: 3.91 4.18 4.20 6/248 851182
/proc/meminfo: memFree=124236676/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=451236 memory=361424 CPUtime=12.64 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 86251 0 0 0 1224 40 0 0 20 0 1 0 165519605 462065664 90356 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 112809 90356 2911 2900 0 109323 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 451236 KiB
Current children cumulated memory: 361424 KiB
[startup+25.5003 s]
/proc/loadavg: 4.00 4.19 4.20 6/248 851184
/proc/meminfo: memFree=124203856/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=452188 memory=362952 CPUtime=25.41 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 86614 0 0 0 2499 42 0 0 20 0 1 0 165519605 463040512 90738 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 113047 90738 2911 2900 0 109561 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 452188 KiB
Current children cumulated memory: 362952 KiB
[startup+51.1141 s]
/proc/loadavg: 4.00 4.17 4.20 6/248 851188
/proc/meminfo: memFree=124190916/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=452188 memory=362952 CPUtime=50.94 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 86614 0 0 0 5050 44 0 0 20 0 1 0 165519605 463040512 90738 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 113047 90738 2911 2900 0 109561 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 452188 KiB
Current children cumulated memory: 362952 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.19 6/248 851197
/proc/meminfo: memFree=124111864/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=490276 memory=401412 CPUtime=101.97 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 96257 0 0 0 10146 51 0 0 20 0 1 0 165519605 502042624 100353 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 122569 100353 2911 2900 0 119083 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 490276 KiB
Current children cumulated memory: 401412 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.18 6/248 851208
/proc/meminfo: memFree=124088844/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=490276 memory=402256 CPUtime=161.77 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 97186 0 0 0 16110 67 0 0 20 0 1 0 165519605 502042624 100564 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 122569 100564 2943 2900 0 119083 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 490276 KiB
Current children cumulated memory: 402256 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.18 6/248 851218
/proc/meminfo: memFree=124047888/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=497416 memory=408576 CPUtime=221.62 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 98120 0 0 0 21656 506 0 0 20 0 1 0 165519605 509353984 102144 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 124354 102144 2943 2900 0 120868 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 497416 KiB
Current children cumulated memory: 408576 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.18 6/248 851229
/proc/meminfo: memFree=124027404/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=516272 memory=419068 CPUtime=281.5 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 99330 0 0 0 27187 963 0 0 20 0 1 0 165519605 528662528 104767 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 129068 104767 2943 2900 0 125582 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 516272 KiB
Current children cumulated memory: 419068 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.11 4.16 6/241 851240
/proc/meminfo: memFree=124001764/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=535240 memory=441624 CPUtime=341.38 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 100145 0 0 0 32715 1423 0 0 20 0 1 0 165519605 548085760 110406 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 133810 110406 2943 2900 0 130324 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 535240 KiB
Current children cumulated memory: 441624 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.16 6/241 851250
/proc/meminfo: memFree=123969724/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=535240 memory=464828 CPUtime=401.26 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 100214 0 0 0 38244 1882 0 0 20 0 1 0 165519605 548085760 116207 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 133810 116207 2943 2900 0 130324 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 535240 KiB
Current children cumulated memory: 464828 KiB
[startup+462.3 s]
/proc/loadavg: 5.77 4.52 4.29 6/241 851260
/proc/meminfo: memFree=123937676/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=535240 memory=482080 CPUtime=461.12 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 100379 0 0 0 43763 2349 0 0 20 0 1 0 165519605 548085760 120520 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 133810 120520 2943 2900 0 130324 0
################
# More data... #
################
Current children cumulated memory: 2222676 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/246 852823
/proc/meminfo: memFree=101036720/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2467776 memory=2246208 CPUtime=2916.15 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 477619 0 0 0 271747 19868 0 0 20 0 1 0 165519605 2527002624 561552 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 616944 561552 2943 2900 0 613458 0
Current children cumulated CPU time: 2916.15 s
Current children cumulated vsize: 2467776 KiB
Current children cumulated memory: 2246208 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.12 6/246 852833
/proc/meminfo: memFree=100994816/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2485220 memory=2263628 CPUtime=2976.03 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 482707 0 0 0 277349 20254 0 0 20 0 1 0 165519605 2544865280 565907 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 621305 565907 2943 2900 0 617819 0
Current children cumulated CPU time: 2976.03 s
Current children cumulated vsize: 2485220 KiB
Current children cumulated memory: 2263628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.14 4.13 6/244 852899
/proc/meminfo: memFree=100976924/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2502424 memory=2280876 CPUtime=3035.9 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 487843 0 0 0 282895 20695 0 0 20 0 1 0 165519605 2562482176 570219 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 625606 570219 2943 2900 0 622120 0
Current children cumulated CPU time: 3035.9 s
Current children cumulated vsize: 2502424 KiB
Current children cumulated memory: 2280876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.12 6/243 852909
/proc/meminfo: memFree=100956700/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2521004 memory=2299568 CPUtime=3095.8 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 493163 0 0 0 288389 21191 0 0 20 0 1 0 165519605 2581508096 574892 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 630251 574892 2943 2900 0 626765 0
Current children cumulated CPU time: 3095.8 s
Current children cumulated vsize: 2521004 KiB
Current children cumulated memory: 2299568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.12 6/243 852920
/proc/meminfo: memFree=100936832/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2540584 memory=2318960 CPUtime=3155.68 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 498754 0 0 0 293905 21663 0 0 20 0 1 0 165519605 2601558016 579740 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 635146 579740 2943 2900 0 631660 0
Current children cumulated CPU time: 3155.68 s
Current children cumulated vsize: 2540584 KiB
Current children cumulated memory: 2318960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.12 6/242 852930
/proc/meminfo: memFree=100917628/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2559492 memory=2338056 CPUtime=3215.56 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 504185 0 0 0 299435 22121 0 0 20 0 1 0 165519605 2620919808 584514 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 639873 584514 2943 2900 0 636387 0
Current children cumulated CPU time: 3215.56 s
Current children cumulated vsize: 2559492 KiB
Current children cumulated memory: 2338056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.11 6/242 852941
/proc/meminfo: memFree=100899932/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2574428 memory=2352992 CPUtime=3275.44 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 508663 0 0 0 305063 22481 0 0 20 0 1 0 165519605 2636214272 588248 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 643607 588248 2943 2900 0 640121 0
Current children cumulated CPU time: 3275.44 s
Current children cumulated vsize: 2574428 KiB
Current children cumulated memory: 2352992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.11 6/241 852952
/proc/meminfo: memFree=100876000/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2591208 memory=2369732 CPUtime=3335.33 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 513508 0 0 0 310652 22881 0 0 20 0 1 0 165519605 2653396992 592433 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 647802 592433 2943 2900 0 644316 0
Current children cumulated CPU time: 3335.33 s
Current children cumulated vsize: 2591208 KiB
Current children cumulated memory: 2369732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.10 6/241 852962
/proc/meminfo: memFree=100841744/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2607864 memory=2386368 CPUtime=3395.21 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 518455 0 0 0 316193 23328 0 0 20 0 1 0 165519605 2670452736 596592 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 651966 596592 2943 2900 0 648480 0
Current children cumulated CPU time: 3395.21 s
Current children cumulated vsize: 2607864 KiB
Current children cumulated memory: 2386368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 6/241 852972
/proc/meminfo: memFree=100786288/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2624240 memory=2402612 CPUtime=3455.1 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 523379 0 0 0 321757 23753 0 0 20 0 1 0 165519605 2687221760 600653 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 656060 600653 2943 2900 0 652574 0
Current children cumulated CPU time: 3455.1 s
Current children cumulated vsize: 2624240 KiB
Current children cumulated memory: 2402612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.14 4.11 6/241 852983
/proc/meminfo: memFree=100664624/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2641780 memory=2420284 CPUtime=3514.98 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 528619 0 0 0 327323 24175 0 0 20 0 1 0 165519605 2705182720 605071 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 660445 605071 2943 2900 0 656959 0
Current children cumulated CPU time: 3514.98 s
Current children cumulated vsize: 2641780 KiB
Current children cumulated memory: 2420284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 6/241 852993
/proc/meminfo: memFree=100543836/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2656816 memory=2435344 CPUtime=3574.86 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 533309 0 0 0 332934 24552 0 0 20 0 1 0 165519605 2720579584 608836 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 664204 608836 2943 2900 0 660718 0
Current children cumulated CPU time: 3574.86 s
Current children cumulated vsize: 2656816 KiB
Current children cumulated memory: 2435344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.5 s]
/proc/loadavg: 4.14 4.13 4.10 6/241 852997
/proc/meminfo: memFree=100517280/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2663808 memory=2442136 CPUtime=3600 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 535196 0 0 0 335278 24722 0 0 20 0 1 0 165519605 2727739392 610534 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 665952 610534 2943 2900 0 662466 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2663808 KiB
Current children cumulated memory: 2442136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.52 s]
# the end of solver process 851168 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3352.79 s, system=247.248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.5 s]
/proc/loadavg: 4.14 4.13 4.10 6/241 852997
/proc/meminfo: memFree=100517280/131655788 swapFree=131071996/131071996
[pid=851168] ppid=851160 vsize=2663808 memory=2442136 CPUtime=3600 cores=5,7
/proc/851168/stat : 851168 (ipbhs_static_sc) R 851160 851168 851100 0 -1 4194304 535196 0 0 0 335278 24722 0 0 20 0 1 0 165519605 2727739392 610534 134679101440 4194304 16068861 140735619007136 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 53534720 140735619015718 140735619015805 140735619015805 140735619022820 0
/proc/851168/statm: 665952 610534 2943 2900 0 662466 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2663808 KiB
Current children cumulated memory: 2442136 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.52
CPU time (s): 3600.04
CPU user time (s): 3352.79
CPU system time (s): 247.248
CPU usage (%): 99.7925
Max. virtual memory (cumulated for all children) (KiB): 2663808
Max. memory (cumulated for all children) (KiB): 2442136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3352.79
system time used= 247.248
maximum resident set size= 2442372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 535196
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= 116
involuntary context switches= 4515
# summary of solver processes directly reported to runsolver:
# pid: 851168
# total CPU time (s): 3600.04
# total CPU user time (s): 3352.79
# total CPU system time (s): 247.248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8661 second user time and 39.206 second system time
The end
Begin job on nodeC011 at 2024-07-16 14:40:37
IDJOB=4432056
IDBENCH=155617
IDSOLVER=3057
FILE ID=nodeC011/4432056-1721133624
RUNJOBID= nodeC011-1721133636-851115
SLURM_JOB_ID= 7505705
Free space on /tmp= 723740 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat100_4_32_1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432056-1721133624/watcher-4432056-1721133624 -o /tmp/evaluation-result-4432056-1721133624/solver-4432056-1721133624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721133636-851115 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432056-1721133624.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8d42d86cf98ca8f69e6e36c0226878c3
RANDOM SEED=442825577
nodeC011.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 : 1296.847
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.20
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 : 1197.127
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.124
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.20
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.118
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.122
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.20
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 : 1197.125
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
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.20
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.119
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125132744 kB
MemAvailable: 129895268 kB
Buffers: 440916 kB
Cached: 5105780 kB
SwapCached: 0 kB
Active: 827224 kB
Inactive: 5040444 kB
Active(anon): 1324 kB
Inactive(anon): 357356 kB
Active(file): 825900 kB
Inactive(file): 4683088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 219312 kB
Writeback: 0 kB
AnonPages: 320980 kB
Mapped: 104060 kB
Shmem: 37704 kB
KReclaimable: 187472 kB
Slab: 296588 kB
SReclaimable: 187472 kB
SUnreclaim: 109116 kB
KernelStack: 3696 kB
PageTables: 9312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 590188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723568 MiB
End job on nodeC011 at 2024-07-16 15:40:45