30.42/30.57 c initialize IPBHS solver
30.42/30.57 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
30.42/30.57 c optimizer = "scip"
30.42/30.57 c pbsolver = "roundingsat"
30.42/30.57 c load symmetries from file ""
30.42/30.57 c set time limit for symmetry computation to 100 seconds.
30.42/30.57 c set interchangeable summation variable limit to 3
30.42/30.57 c set abs symmetric core budget per WCE-iteration to 100
30.42/30.57 c set rel symmetric core budget per WCE-iteration to 0
30.42/30.57 c set lit symmetric core budget per WCE-iteration to 0
30.42/30.57 c set sym generation to 's'
30.42/30.57 c set abstraction set creation to 10 iterations without LB change
30.42/30.57 c set abstraction set inputs to 0
30.42/30.57 c set abstraction set cluster min size to 2
30.42/30.57 c set abstraction set cluster max size to 100000000
30.42/30.57 c set abstraction set cluster activation limit to 2
30.42/30.57 c enable abstraction set require equal cost
30.42/30.57 c set abstraction set assumptions to 0
30.42/30.57 c set abstraction set constraint type to 0
30.42/30.57 c set abstract core extraction strategy to b
30.42/30.57 c set core extraction strategy to 2
30.42/30.57 c set core extraction shuffles 10
30.42/30.57 c set cores per iteration to 5
30.42/30.57 c set optimizer bound usage strategy to 2
30.42/30.57 c set optimizer max non-optimal iterations to 1000
30.42/30.57 c set small core cardinality limit to 2
30.42/30.57 c set max coef in cores to 1000000000
30.42/30.57 c set SIS iterations to 5
30.42/30.57 c set SIS budget abs to 1000
30.42/30.57 c set SIS budget rel to 0.05
30.42/30.57 c limit for coefficient in constraints and objective to 9223372036854775807
30.42/30.57 c will solve HOME/instance-4431770-1721070497.opb
30.42/30.57 c [0.2] solve iteration 1, LB=0, UB=3040671454287
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 (62361 MiB free)
memory of node 1: 64510 MiB (63270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431770-1721070497/watcher-4431770-1721070497 -o /tmp/evaluation-result-4431770-1721070497/solver-4431770-1721070497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808455 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431770-1721070497.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=808508, runsolver pid=808498
[startup+0.100599 s]*
/proc/loadavg: 3.56 4.30 4.37 8/243 808517
/proc/meminfo: memFree=128609468/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=33412 memory=8516 CPUtime=0.1 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 1347 0 0 0 10 0 0 0 20 0 1 0 159206466 34213888 2129 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 8353 2129 1023 2900 0 4867 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33412 KiB
Current children cumulated memory: 8516 KiB
[startup+0.214975 s]*
/proc/loadavg: 3.56 4.30 4.37 7/243 808517
/proc/meminfo: memFree=128578396/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=37136 memory=11420 CPUtime=0.22 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 2104 0 0 0 21 1 0 0 20 0 1 0 159206466 38027264 2855 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 9284 2855 1023 2900 0 5798 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 37136 KiB
Current children cumulated memory: 11420 KiB
[startup+0.314878 s]*
/proc/loadavg: 3.56 4.30 4.37 7/243 808517
/proc/meminfo: memFree=128536340/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=40380 memory=18844 CPUtime=0.31 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 3405 0 0 0 30 1 0 0 20 0 1 0 159206466 41349120 4711 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 10095 4711 1135 2900 0 6609 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40380 KiB
Current children cumulated memory: 18844 KiB
[startup+0.700386 s]
/proc/loadavg: 3.56 4.30 4.37 6/243 808517
/proc/meminfo: memFree=128356968/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=126656 memory=104364 CPUtime=0.68 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 23481 0 0 0 60 8 0 0 20 0 1 0 159206466 129695744 26091 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 31664 26091 2639 2900 0 28178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126656 KiB
Current children cumulated memory: 104364 KiB
[startup+1.50035 s]
/proc/loadavg: 3.56 4.30 4.37 7/243 808517
/proc/meminfo: memFree=128199992/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=206672 memory=165712 CPUtime=1.48 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 37878 0 0 0 137 11 0 0 20 0 1 0 159206466 211632128 41428 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 51668 41428 2783 2900 0 48182 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 206672 KiB
Current children cumulated memory: 165712 KiB
[startup+3.11379 s]
/proc/loadavg: 3.56 4.30 4.37 7/243 808517
/proc/meminfo: memFree=127642908/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=290764 memory=243032 CPUtime=3.09 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 64066 0 0 0 293 16 0 0 20 0 1 0 159206466 297742336 60758 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 72691 60758 2911 2900 0 69205 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 290764 KiB
Current children cumulated memory: 243032 KiB
[startup+6.30031 s]
/proc/loadavg: 3.60 4.30 4.36 7/243 808519
/proc/meminfo: memFree=127440660/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=393528 memory=325856 CPUtime=6.27 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 81208 0 0 0 608 19 0 0 20 0 1 0 159206466 402972672 81464 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 98382 81464 2911 2900 0 94896 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 393528 KiB
Current children cumulated memory: 325856 KiB
[startup+12.7003 s]
/proc/loadavg: 3.63 4.29 4.36 7/243 808519
/proc/meminfo: memFree=127405164/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=425320 memory=357132 CPUtime=12.66 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 84437 0 0 0 1246 20 0 0 20 0 1 0 159206466 435527680 89283 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 106330 89283 2911 2900 0 102844 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 425320 KiB
Current children cumulated memory: 357132 KiB
[startup+25.5003 s]
/proc/loadavg: 3.71 4.28 4.36 7/243 808522
/proc/meminfo: memFree=127262980/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=429232 memory=361696 CPUtime=25.42 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 86177 0 0 0 2522 20 0 0 20 0 1 0 159206466 439533568 90424 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 107308 90424 2911 2900 0 103822 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 429232 KiB
Current children cumulated memory: 361696 KiB
[startup+51.1135 s]
/proc/loadavg: 3.87 4.27 4.35 6/243 808525
/proc/meminfo: memFree=127031328/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=474148 memory=406408 CPUtime=50.98 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 98538 0 0 0 5075 23 0 0 20 0 1 0 159206466 485527552 101602 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 118537 101602 2911 2900 0 115051 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 474148 KiB
Current children cumulated memory: 406408 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.26 4.34 7/243 808533
/proc/meminfo: memFree=126933608/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=490480 memory=421764 CPUtime=102.03 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 103925 0 0 0 10178 25 0 0 20 0 1 0 159206466 502251520 105441 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 122620 105441 2911 2900 0 119134 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 490480 KiB
Current children cumulated memory: 421764 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.24 4.33 7/245 808548
/proc/meminfo: memFree=126876656/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=514784 memory=457144 CPUtime=161.87 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 111536 0 0 0 16161 26 0 0 20 0 1 0 159206466 527138816 114286 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 128696 114286 3231 2900 0 125210 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 514784 KiB
Current children cumulated memory: 457144 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.21 4.31 7/245 808558
/proc/meminfo: memFree=126747716/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=529616 memory=484132 CPUtime=221.72 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 115063 0 0 0 22146 26 0 0 20 0 1 0 159206466 542326784 121033 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 132404 121033 3231 2900 0 128918 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 529616 KiB
Current children cumulated memory: 484132 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.30 6/244 808568
/proc/meminfo: memFree=126641388/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=598028 memory=561228 CPUtime=281.56 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 132175 0 0 0 28128 28 0 0 20 0 1 0 159206466 612380672 140307 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 149507 140307 3231 2900 0 146021 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 598028 KiB
Current children cumulated memory: 561228 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.18 4.29 7/244 808579
/proc/meminfo: memFree=126647428/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=606136 memory=571224 CPUtime=341.41 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 133024 0 0 0 34113 28 0 0 20 0 1 0 159206466 620683264 142806 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 151534 142806 3231 2900 0 148048 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 606136 KiB
Current children cumulated memory: 571224 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.16 4.27 7/244 808590
/proc/meminfo: memFree=126616788/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=618516 memory=580060 CPUtime=401.26 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 135537 0 0 0 40097 29 0 0 20 0 1 0 159206466 633360384 145015 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 154629 145015 3231 2900 0 151143 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 618516 KiB
Current children cumulated memory: 580060 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.14 4.26 7/242 808600
/proc/meminfo: memFree=126560256/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=637960 memory=611196 CPUtime=461.12 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 140922 0 0 0 46082 30 0 0 20 0 1 0 159206466 653271040 152799 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 159490 152799 3231 2900 0 156004 0
################
# More data... #
################
Current children cumulated memory: 996112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.21 4.25 7/244 810043
/proc/meminfo: memFree=124719296/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1024540 memory=999488 CPUtime=2914.88 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 252195 0 0 0 291436 52 0 0 20 0 1 0 159206466 1049128960 249872 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 256135 249872 3231 2900 0 252649 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 1024540 KiB
Current children cumulated memory: 999488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.18 4.23 7/244 810053
/proc/meminfo: memFree=124713172/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1026548 memory=1001840 CPUtime=2974.73 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 253199 0 0 0 297421 52 0 0 20 0 1 0 159206466 1051185152 250460 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 256637 250460 3231 2900 0 253151 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 1026548 KiB
Current children cumulated memory: 1001840 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.18 4.23 7/246 810234
/proc/meminfo: memFree=124702188/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1026688 memory=1002316 CPUtime=3034.59 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 253725 0 0 0 303407 52 0 0 20 0 1 0 159206466 1051328512 250579 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 256672 250579 3231 2900 0 253186 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 1026688 KiB
Current children cumulated memory: 1002316 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.14 4.21 7/246 810244
/proc/meminfo: memFree=124694472/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1026688 memory=1002316 CPUtime=3094.45 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 254132 0 0 0 309392 53 0 0 20 0 1 0 159206466 1051328512 250579 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 256672 250579 3231 2900 0 253186 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 1026688 KiB
Current children cumulated memory: 1002316 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.20 6/247 810268
/proc/meminfo: memFree=124667332/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1027260 memory=1002912 CPUtime=3154.31 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 254694 0 0 0 315378 53 0 0 20 0 1 0 159206466 1051914240 250728 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 256815 250728 3231 2900 0 253329 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 1027260 KiB
Current children cumulated memory: 1002912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.19 6/246 810279
/proc/meminfo: memFree=124673432/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1027260 memory=1002912 CPUtime=3214.16 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 255099 0 0 0 321363 53 0 0 20 0 1 0 159206466 1051914240 250728 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 256815 250728 3231 2900 0 253329 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 1027260 KiB
Current children cumulated memory: 1002912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.18 7/247 810291
/proc/meminfo: memFree=124667692/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005164 CPUtime=3274.01 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 256072 0 0 0 327348 53 0 0 20 0 1 0 159206466 1055293440 251291 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251291 3231 2900 0 254154 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.17 7/245 810301
/proc/meminfo: memFree=124658832/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3333.86 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 256601 0 0 0 333333 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.17 7/245 810312
/proc/meminfo: memFree=124648044/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3393.71 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 257004 0 0 0 339318 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.13 4.17 7/243 810323
/proc/meminfo: memFree=124643268/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3453.57 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 257405 0 0 0 345304 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.16 7/243 810333
/proc/meminfo: memFree=124622696/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3513.41 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 257807 0 0 0 351288 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.16 6/242 810343
/proc/meminfo: memFree=124614308/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3573.26 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 258218 0 0 0 357273 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.10 4.11 4.16 7/242 810348
/proc/meminfo: memFree=124607244/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3600.01 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 258340 0 0 0 359948 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 808508 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.49 s, system=0.541201 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.10 4.11 4.16 7/242 810348
/proc/meminfo: memFree=124607244/131655788 swapFree=131071996/131071996
[pid=808508] ppid=808498 vsize=1030560 memory=1005632 CPUtime=3600.01 cores=4,6
/proc/808508/stat : 808508 (ipbhs_static_sc) R 808498 808508 808444 0 -1 4194304 258340 0 0 0 359948 53 0 0 20 0 1 0 159206466 1055293440 251408 134679101440 4194304 16068861 140722010896848 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 32993280 140722010899494 140722010899581 140722010899581 140722010906596 0
/proc/808508/statm: 257640 251408 3231 2900 0 254154 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1030560 KiB
Current children cumulated memory: 1005632 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.12
CPU time (s): 3600.03
CPU user time (s): 3599.49
CPU system time (s): 0.541201
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 1030560
Max. memory (cumulated for all children) (KiB): 1005632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.541201
maximum resident set size= 1005632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258340
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= 56
involuntary context switches= 1996
# summary of solver processes directly reported to runsolver:
# pid: 808508
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.49
# total CPU system time (s): 0.541201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1313 second user time and 38.1127 second system time
The end
Begin job on nodeC007 at 2024-07-15 21:08:30
IDJOB=4431770
IDBENCH=146793
IDSOLVER=3057
FILE ID=nodeC007/4431770-1721070497
RUNJOBID= nodeC007-1721070510-808455
SLURM_JOB_ID= 7505529
Free space on /tmp= 723760 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431770-1721070497/watcher-4431770-1721070497 -o /tmp/evaluation-result-4431770-1721070497/solver-4431770-1721070497 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808455 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431770-1721070497.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=1660411983
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 : 1197.132
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 : 1197.128
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.139
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 : 1197.135
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 : 1197.132
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 : 1197.129
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.134
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.131
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: 128648336 kB
MemAvailable: 129942120 kB
Buffers: 376228 kB
Cached: 1749388 kB
SwapCached: 0 kB
Active: 674308 kB
Inactive: 1787192 kB
Active(anon): 1364 kB
Inactive(anon): 372544 kB
Active(file): 672944 kB
Inactive(file): 1414648 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 224600 kB
Writeback: 12 kB
AnonPages: 336228 kB
Mapped: 103820 kB
Shmem: 37704 kB
KReclaimable: 92444 kB
Slab: 188180 kB
SReclaimable: 92444 kB
SUnreclaim: 95736 kB
KernelStack: 3632 kB
PageTables: 9564 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 731960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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= 723564 MiB
End job on nodeC007 at 2024-07-15 22:08:40