14.84/14.90 c initialize IPBHS solver
14.84/14.90 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
14.84/14.90 c optimizer = "scip"
14.84/14.90 c pbsolver = "roundingsat"
14.84/14.90 c load symmetries from file ""
14.84/14.90 c set time limit for symmetry computation to 100 seconds.
14.84/14.90 c set interchangeable summation variable limit to 3
14.84/14.90 c set abs symmetric core budget per WCE-iteration to 100
14.84/14.90 c set rel symmetric core budget per WCE-iteration to 0
14.84/14.90 c set lit symmetric core budget per WCE-iteration to 0
14.84/14.90 c set sym generation to 's'
14.84/14.90 c set abstraction set creation to 10 iterations without LB change
14.84/14.90 c set abstraction set inputs to 0
14.84/14.90 c set abstraction set cluster min size to 2
14.84/14.90 c set abstraction set cluster max size to 100000000
14.84/14.90 c set abstraction set cluster activation limit to 2
14.84/14.90 c enable abstraction set require equal cost
14.84/14.90 c set abstraction set assumptions to 0
14.84/14.90 c set abstraction set constraint type to 0
14.84/14.90 c set abstract core extraction strategy to b
14.84/14.90 c set core extraction strategy to 2
14.84/14.90 c set core extraction shuffles 10
14.84/14.90 c set cores per iteration to 5
14.84/14.90 c set optimizer bound usage strategy to 2
14.84/14.90 c set optimizer max non-optimal iterations to 1000
14.84/14.90 c set small core cardinality limit to 2
14.84/14.90 c set max coef in cores to 1000000000
14.84/14.90 c set SIS iterations to 5
14.84/14.90 c set SIS budget abs to 1000
14.84/14.90 c set SIS budget rel to 0.05
14.84/14.90 c limit for coefficient in constraints and objective to 9223372036854775807
14.84/14.90 c will solve HOME/instance-4431781-1721074109.opb
14.84/14.90 c [0.09] solve iteration 1, LB=0, UB=2461
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61242 MiB free)
memory of node 1: 64510 MiB (63135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431781-1721074109/watcher-4431781-1721074109 -o /tmp/evaluation-result-4431781-1721074109/solver-4431781-1721074109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808456 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431781-1721074109.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810485, runsolver pid=810482
[startup+0.100263 s]*
/proc/loadavg: 4.09 4.11 4.16 6/242 810486
/proc/meminfo: memFree=127324192/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=31852 memory=8496 CPUtime=0.1 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 1364 0 0 0 7 3 0 0 20 0 1 0 159567606 32616448 2124 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 7963 2124 1135 2900 0 4477 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31852 KiB
Current children cumulated memory: 8496 KiB
[startup+0.210972 s]*
/proc/loadavg: 4.09 4.11 4.16 5/242 810486
/proc/meminfo: memFree=127303836/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=51520 memory=32440 CPUtime=0.21 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 6192 0 0 0 13 8 0 0 20 0 1 0 159567606 52756480 8110 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 12880 8110 2383 2900 0 9394 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51520 KiB
Current children cumulated memory: 32440 KiB
[startup+0.311574 s]*
/proc/loadavg: 4.09 4.11 4.16 5/242 810486
/proc/meminfo: memFree=127294660/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=58304 memory=39040 CPUtime=0.3 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 7868 0 0 0 17 13 0 0 20 0 1 0 159567606 59703296 9760 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 14576 9760 2383 2900 0 11090 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58304 KiB
Current children cumulated memory: 39040 KiB
[startup+0.700311 s]
/proc/loadavg: 4.09 4.11 4.16 5/242 810486
/proc/meminfo: memFree=127270328/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=125232 memory=100808 CPUtime=0.68 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 19086 0 0 0 51 17 0 0 20 0 1 0 159567606 128237568 25202 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 31308 25202 2671 2900 0 27822 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 125232 KiB
Current children cumulated memory: 100808 KiB
[startup+1.50031 s]
/proc/loadavg: 4.09 4.11 4.16 5/242 810486
/proc/meminfo: memFree=127194684/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=171880 memory=140240 CPUtime=1.49 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 29792 0 0 0 129 20 0 0 20 0 1 0 159567606 176005120 35060 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 42970 35060 2863 2900 0 39484 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 171880 KiB
Current children cumulated memory: 140240 KiB
[startup+3.11234 s]
/proc/loadavg: 4.09 4.11 4.16 5/242 810534
/proc/meminfo: memFree=128227852/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=184696 memory=152972 CPUtime=3.09 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 33017 0 0 0 289 20 0 0 20 0 1 0 159567606 189128704 38243 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 46174 38243 2879 2900 0 42688 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 184696 KiB
Current children cumulated memory: 152972 KiB
[startup+6.30029 s]
/proc/loadavg: 4.17 4.12 4.16 4/239 810594
/proc/meminfo: memFree=128078072/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=303988 memory=249704 CPUtime=6.27 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 53725 0 0 0 604 23 0 0 20 0 1 0 159567606 311283712 62426 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 75997 62426 2895 2900 0 72511 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 303988 KiB
Current children cumulated memory: 249704 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.14 4.17 5/242 810626
/proc/meminfo: memFree=127966164/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=341740 memory=264736 CPUtime=12.64 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 57467 0 0 0 1241 23 0 0 20 0 1 0 159567606 349941760 66184 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 85435 66184 2895 2900 0 81949 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 341740 KiB
Current children cumulated memory: 264736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.48 4.19 4.19 5/242 810630
/proc/meminfo: memFree=127925952/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=365676 memory=287704 CPUtime=25.4 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 63223 0 0 0 2515 25 0 0 20 0 1 0 159567606 374452224 71926 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 91419 71926 2895 2900 0 87933 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 365676 KiB
Current children cumulated memory: 287704 KiB
[startup+51.1126 s]
/proc/loadavg: 4.66 4.26 4.21 5/243 810634
/proc/meminfo: memFree=127849452/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=402160 memory=324160 CPUtime=50.93 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 74755 0 0 0 5065 28 0 0 20 0 1 0 159567606 411811840 81040 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 100540 81040 2895 2900 0 97054 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 402160 KiB
Current children cumulated memory: 324160 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 4.26 4.21 5/245 810647
/proc/meminfo: memFree=127747468/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=469708 memory=362752 CPUtime=101.95 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 84465 0 0 0 10164 31 0 0 20 0 1 0 159567606 480980992 90688 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 117427 90688 2895 2900 0 113941 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 469708 KiB
Current children cumulated memory: 362752 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.26 4.21 5/245 810657
/proc/meminfo: memFree=127634056/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=571992 memory=399816 CPUtime=161.76 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 96914 0 0 0 16140 36 0 0 20 0 1 0 159567606 585719808 99954 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 142998 99954 2895 2900 0 139512 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 571992 KiB
Current children cumulated memory: 399816 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.22 4.20 5/245 810667
/proc/meminfo: memFree=127384160/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=732564 memory=505872 CPUtime=221.58 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 123517 0 0 0 22116 42 0 0 20 0 1 0 159567606 750145536 126468 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 183141 126468 2895 2900 0 179655 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 732564 KiB
Current children cumulated memory: 505872 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.21 4.19 5/245 810678
/proc/meminfo: memFree=127270424/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=783796 memory=510664 CPUtime=281.38 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 124947 0 0 0 28094 44 0 0 20 0 1 0 159567606 802607104 127666 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 195949 127666 2895 2900 0 192463 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 783796 KiB
Current children cumulated memory: 510664 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.17 4.18 5/245 810688
/proc/meminfo: memFree=127166900/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=938908 memory=541224 CPUtime=341.18 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 132754 0 0 0 34072 46 0 0 20 0 1 0 159567606 961441792 135306 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 234727 135306 2895 2900 0 231241 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 938908 KiB
Current children cumulated memory: 541224 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/244 810699
/proc/meminfo: memFree=127031980/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=1057932 memory=568868 CPUtime=400.97 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 139183 0 0 0 40048 49 0 0 20 0 1 0 159567606 1083322368 142217 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 264483 142217 2895 2900 0 260997 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1057932 KiB
Current children cumulated memory: 568868 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/242 810710
/proc/meminfo: memFree=126918664/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=1088072 memory=580400 CPUtime=460.78 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 142088 0 0 0 46027 51 0 0 20 0 1 0 159567606 1114185728 145100 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 272018 145100 2895 2900 0 268532 0
################
# More data... #
################
Current children cumulated memory: 1817560 KiB
[startup+2862.3 s]
/proc/loadavg: 4.54 4.20 4.12 5/244 812139
/proc/meminfo: memFree=124577100/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=1944348 memory=1825400 CPUtime=2854.25 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 346454 0 0 0 285333 92 0 0 20 0 1 0 159567606 1991012352 456350 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 486087 456350 3215 2900 0 482601 0
Current children cumulated CPU time: 2854.25 s
Current children cumulated vsize: 1944348 KiB
Current children cumulated memory: 1825400 KiB
[startup+2922.3 s]
/proc/loadavg: 4.99 4.40 4.20 5/244 812149
/proc/meminfo: memFree=124556964/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=1971932 memory=1836608 CPUtime=2914.1 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 354164 0 0 0 291316 94 0 0 20 0 1 0 159567606 2019258368 459152 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 492983 459152 3215 2900 0 489497 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 1971932 KiB
Current children cumulated memory: 1836608 KiB
[startup+2982.3 s]
/proc/loadavg: 5.18 4.57 4.27 5/244 812327
/proc/meminfo: memFree=124512456/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2019436 memory=1873332 CPUtime=2973.95 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 363833 0 0 0 297300 95 0 0 20 0 1 0 159567606 2067902464 468333 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 504859 468333 3215 2900 0 501373 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 2019436 KiB
Current children cumulated memory: 1873332 KiB
[startup+3042.3 s]
/proc/loadavg: 4.72 4.56 4.29 5/244 812338
/proc/meminfo: memFree=124496060/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2068444 memory=1881604 CPUtime=3033.8 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 366404 0 0 0 303284 96 0 0 20 0 1 0 159567606 2118086656 470401 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 517111 470401 3215 2900 0 513625 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 2068444 KiB
Current children cumulated memory: 1881604 KiB
[startup+3102.3 s]
/proc/loadavg: 4.32 4.47 4.27 5/246 812352
/proc/meminfo: memFree=124479028/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2112556 memory=1889336 CPUtime=3093.65 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 368878 0 0 0 309268 97 0 0 20 0 1 0 159567606 2163257344 472334 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 528139 472334 3215 2900 0 524653 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 2112556 KiB
Current children cumulated memory: 1889336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.42 4.27 5/244 812373
/proc/meminfo: memFree=124447056/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2147300 memory=1916372 CPUtime=3153.5 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 376184 0 0 0 315252 98 0 0 20 0 1 0 159567606 2198835200 479093 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 536825 479093 3215 2900 0 533339 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 2147300 KiB
Current children cumulated memory: 1916372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.37 4.26 5/244 812383
/proc/meminfo: memFree=124460168/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2130100 memory=1900820 CPUtime=3213.35 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 378227 0 0 0 321236 99 0 0 20 0 1 0 159567606 2181222400 475205 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 532525 475205 3215 2900 0 529039 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 2130100 KiB
Current children cumulated memory: 1900820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.31 4.25 5/244 812395
/proc/meminfo: memFree=124448916/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2141792 memory=1909104 CPUtime=3273.2 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 380838 0 0 0 327221 99 0 0 20 0 1 0 159567606 2193195008 477276 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 535448 477276 3215 2900 0 531962 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 2141792 KiB
Current children cumulated memory: 1909104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.29 4.24 5/244 812405
/proc/meminfo: memFree=124413256/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2154036 memory=1916304 CPUtime=3333.04 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 401773 0 0 0 333202 102 0 0 20 0 1 0 159567606 2205732864 479076 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 538509 479076 3215 2900 0 535023 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 2154036 KiB
Current children cumulated memory: 1916304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.23 4.22 5/244 812416
/proc/meminfo: memFree=124341100/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2168932 memory=1924256 CPUtime=3392.88 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 403754 0 0 0 339186 102 0 0 20 0 1 0 159567606 2220986368 481064 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 542233 481064 3215 2900 0 538747 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 2168932 KiB
Current children cumulated memory: 1924256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.25 4.23 5/242 812427
/proc/meminfo: memFree=124282344/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2171404 memory=1926544 CPUtime=3452.72 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 404830 0 0 0 345169 103 0 0 20 0 1 0 159567606 2223517696 481636 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 542851 481636 3215 2900 0 539365 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 2171404 KiB
Current children cumulated memory: 1926544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.26 4.24 5/242 812437
/proc/meminfo: memFree=124170288/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2209492 memory=1968080 CPUtime=3512.57 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 415249 0 0 0 351152 105 0 0 20 0 1 0 159567606 2262519808 492020 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 552373 492020 3215 2900 0 548887 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 2209492 KiB
Current children cumulated memory: 1968080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.25 4.23 5/242 812447
/proc/meminfo: memFree=124144620/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2179884 memory=1935728 CPUtime=3572.41 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 416375 0 0 0 357135 106 0 0 20 0 1 0 159567606 2232201216 483932 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 544971 483932 3215 2900 0 541485 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 2179884 KiB
Current children cumulated memory: 1935728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.14 4.22 4.22 5/242 812498
/proc/meminfo: memFree=124304100/131655788 swapFree=131071996/131071996
[pid=810485] ppid=810482 vsize=2182000 memory=1936616 CPUtime=3600.05 cores=1,3
/proc/810485/stat : 810485 (ipbhs_static_sc) R 810482 810485 808444 0 -1 4194304 416868 0 0 0 359899 106 0 0 20 0 1 0 159567606 2234368000 484154 134679101440 4194304 16068861 140735212636832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 26755072 140735212643366 140735212643453 140735212643453 140735212650468 0
/proc/810485/statm: 545500 484154 3215 2900 0 542014 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2182000 KiB
Current children cumulated memory: 1936616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 810485 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599 s, system=1.0784 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): 3610.03
CPU time (s): 3600.07
CPU user time (s): 3599
CPU system time (s): 1.0784
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 2209492
Max. memory (cumulated for all children) (KiB): 1968080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.0784
maximum resident set size= 1968080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416868
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= 59
involuntary context switches= 2868
# summary of solver processes directly reported to runsolver:
# pid: 810485
# total CPU time (s): 3600.07
# total CPU user time (s): 3599
# total CPU system time (s): 1.0784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6074 second user time and 30.7624 second system time
The end
Begin job on nodeC007 at 2024-07-15 22:08:42
IDJOB=4431781
IDBENCH=147037
IDSOLVER=3057
FILE ID=nodeC007/4431781-1721074109
RUNJOBID= nodeC007-1721070510-808456
SLURM_JOB_ID= 7505529
Free space on /tmp= 723616 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431781-1721074109/watcher-4431781-1721074109 -o /tmp/evaluation-result-4431781-1721074109/solver-4431781-1721074109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808456 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431781-1721074109.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=140635369
nodeC007.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 : 3648.615
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.25
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 : 3458.557
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.30
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.160
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.25
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 : 1233.862
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.30
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 : 1979.617
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.25
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 : 3491.628
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.30
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.173
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.25
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.154
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127376596 kB
MemAvailable: 128688132 kB
Buffers: 377140 kB
Cached: 1765508 kB
SwapCached: 0 kB
Active: 683928 kB
Inactive: 3046732 kB
Active(anon): 1460 kB
Inactive(anon): 1624256 kB
Active(file): 682468 kB
Inactive(file): 1422476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 165356 kB
Writeback: 0 kB
AnonPages: 1588428 kB
Mapped: 138816 kB
Shmem: 37704 kB
KReclaimable: 93244 kB
Slab: 189180 kB
SReclaimable: 93244 kB
SUnreclaim: 95936 kB
KernelStack: 3888 kB
PageTables: 12148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2004688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1243136 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC007 at 2024-07-15 23:08:52