0.51/0.58 c initialize IPBHS solver
0.51/0.58 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
0.51/0.58 c optimizer = "scip"
0.51/0.58 c pbsolver = "roundingsat"
0.51/0.58 c load symmetries from file ""
0.51/0.58 c set time limit for symmetry computation to 100 seconds.
0.51/0.58 c set interchangeable summation variable limit to 3
0.51/0.58 c set abs symmetric core budget per WCE-iteration to 100
0.51/0.58 c set rel symmetric core budget per WCE-iteration to 0
0.51/0.58 c set lit symmetric core budget per WCE-iteration to 0
0.51/0.58 c set sym generation to 's'
0.51/0.58 c set abstraction set creation to 10 iterations without LB change
0.51/0.58 c set abstraction set inputs to 0
0.51/0.58 c set abstraction set cluster min size to 2
0.51/0.58 c set abstraction set cluster max size to 100000000
0.51/0.58 c set abstraction set cluster activation limit to 2
0.51/0.58 c enable abstraction set require equal cost
0.51/0.58 c set abstraction set assumptions to 0
0.51/0.58 c set abstraction set constraint type to 0
0.51/0.58 c set abstract core extraction strategy to b
0.51/0.58 c set core extraction strategy to 2
0.51/0.58 c set core extraction shuffles 10
0.51/0.58 c set cores per iteration to 5
0.51/0.58 c set optimizer bound usage strategy to 2
0.51/0.58 c set optimizer max non-optimal iterations to 1000
0.51/0.58 c set small core cardinality limit to 2
0.51/0.58 c set max coef in cores to 1000000000
0.51/0.58 c set SIS iterations to 5
0.51/0.58 c set SIS budget abs to 1000
0.51/0.58 c set SIS budget rel to 0.05
0.51/0.58 c limit for coefficient in constraints and objective to 9223372036854775807
0.51/0.58 c will solve HOME/instance-4431810-1721074108.opb
0.51/0.58 c [0.04] solve iteration 1, LB=0, UB=559661
1242.20/1245.25 c [1230.05] solve iteration 2, LB=40264, UB=74589
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 (61289 MiB free)
memory of node 1: 64510 MiB (61369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431810-1721074108/watcher-4431810-1721074108 -o /tmp/evaluation-result-4431810-1721074108/solver-4431810-1721074108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808455 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431810-1721074108.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
solver pid=810393, runsolver pid=810390
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.09 4.11 4.16 6/242 810394
/proc/meminfo: memFree=125598284/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=32860 memory=8820 CPUtime=0.1 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 1528 0 0 0 10 0 0 0 20 0 1 0 159567465 33648640 2205 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 8215 2205 1023 2900 0 4729 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32860 KiB
Current children cumulated memory: 8820 KiB
[startup+0.213148 s]*
/proc/loadavg: 4.09 4.11 4.16 5/242 810394
/proc/meminfo: memFree=125594416/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=37184 memory=12444 CPUtime=0.21 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 2711 0 0 0 21 0 0 0 20 0 1 0 159567465 38076416 3111 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 9296 3111 1023 2900 0 5810 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37184 KiB
Current children cumulated memory: 12444 KiB
[startup+0.313264 s]*
/proc/loadavg: 4.09 4.11 4.16 4/240 810394
/proc/meminfo: memFree=126177172/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=39496 memory=16032 CPUtime=0.32 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 3484 0 0 0 29 3 0 0 20 0 1 0 159567465 40443904 4008 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 9874 4008 1135 2900 0 6388 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39496 KiB
Current children cumulated memory: 16032 KiB
[startup+0.700301 s]
/proc/loadavg: 4.09 4.11 4.16 4/237 810402
/proc/meminfo: memFree=126164644/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=77036 memory=58192 CPUtime=0.69 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 17675 0 0 0 57 12 0 0 20 0 1 0 159567465 78884864 14548 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 19259 14548 2895 2900 0 15773 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77036 KiB
Current children cumulated memory: 58192 KiB
[startup+1.50034 s]
/proc/loadavg: 4.09 4.11 4.16 5/237 810471
/proc/meminfo: memFree=127541232/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=77168 memory=59104 CPUtime=1.49 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 17851 0 0 0 104 45 0 0 20 0 1 0 159567465 79020032 14776 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 19292 14776 2927 2900 0 15806 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77168 KiB
Current children cumulated memory: 59104 KiB
[startup+3.11214 s]
/proc/loadavg: 4.09 4.11 4.16 6/239 810500
/proc/meminfo: memFree=128281988/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=80624 memory=62836 CPUtime=3.09 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 18259 0 0 0 207 102 0 0 20 0 1 0 159567465 82558976 15709 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 20156 15709 2927 2900 0 16670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80624 KiB
Current children cumulated memory: 62836 KiB
[startup+6.30027 s]
/proc/loadavg: 4.17 4.12 4.16 6/242 810580
/proc/meminfo: memFree=128091972/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=85232 memory=66784 CPUtime=6.26 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 18693 0 0 0 517 109 0 0 20 0 1 0 159567465 87277568 16696 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 21308 16696 2927 2900 0 17822 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85232 KiB
Current children cumulated memory: 66784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.14 4.17 6/242 810626
/proc/meminfo: memFree=127970732/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=93436 memory=71956 CPUtime=12.65 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 19508 0 0 0 1143 122 0 0 20 0 1 0 159567465 95678464 17989 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 23359 17989 2927 2900 0 19873 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93436 KiB
Current children cumulated memory: 71956 KiB
[startup+25.5003 s]
/proc/loadavg: 4.48 4.19 4.19 6/242 810630
/proc/meminfo: memFree=127930508/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=94168 memory=76940 CPUtime=25.42 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 19709 0 0 0 2396 146 0 0 20 0 1 0 159567465 96428032 19235 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 23542 19235 2927 2900 0 20056 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94168 KiB
Current children cumulated memory: 76940 KiB
[startup+51.1122 s]
/proc/loadavg: 4.66 4.26 4.21 6/243 810634
/proc/meminfo: memFree=127881852/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=95668 memory=80392 CPUtime=50.97 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 20170 0 0 0 4910 187 0 0 20 0 1 0 159567465 97964032 20098 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 23917 20098 2927 2900 0 20431 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 95668 KiB
Current children cumulated memory: 80392 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 4.26 4.21 6/243 810643
/proc/meminfo: memFree=127747760/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=109236 memory=90420 CPUtime=102.05 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 21243 0 0 0 9959 246 0 0 20 0 1 0 159567465 111857664 22605 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 27309 22605 2927 2900 0 23823 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 109236 KiB
Current children cumulated memory: 90420 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.26 4.21 6/245 810657
/proc/meminfo: memFree=127634188/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=129932 memory=104704 CPUtime=161.91 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 22257 0 0 0 15883 308 0 0 20 0 1 0 159567465 133050368 26176 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 32483 26176 2927 2900 0 28997 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 129932 KiB
Current children cumulated memory: 104704 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.22 4.20 6/245 810667
/proc/meminfo: memFree=127385024/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=131344 memory=106024 CPUtime=221.79 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 22630 0 0 0 21802 377 0 0 20 0 1 0 159567465 134496256 26506 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 32836 26506 2927 2900 0 29350 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 131344 KiB
Current children cumulated memory: 106024 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.21 4.19 6/245 810678
/proc/meminfo: memFree=127270588/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=132452 memory=107176 CPUtime=281.64 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 22939 0 0 0 27723 441 0 0 20 0 1 0 159567465 135630848 26794 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 33113 26794 2927 2900 0 29627 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 132452 KiB
Current children cumulated memory: 107176 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.17 4.18 6/245 810688
/proc/meminfo: memFree=127176464/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=133264 memory=107968 CPUtime=341.5 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 23154 0 0 0 33641 509 0 0 20 0 1 0 159567465 136462336 26992 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 33316 26992 2927 2900 0 29830 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 133264 KiB
Current children cumulated memory: 107968 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.17 4.18 6/244 810699
/proc/meminfo: memFree=127033452/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=134028 memory=114976 CPUtime=401.35 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 23371 0 0 0 39579 556 0 0 20 0 1 0 159567465 137244672 28744 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 33507 28744 2927 2900 0 30021 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 134028 KiB
Current children cumulated memory: 114976 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.18 6/242 810710
/proc/meminfo: memFree=126919960/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=166704 memory=123896 CPUtime=461.21 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 24135 0 0 0 45529 592 0 0 20 0 1 0 159567465 170704896 30974 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 41676 30974 2927 2900 0 38190 0
################
# More data... #
################
Current children cumulated memory: 224048 KiB
[startup+2922.3 s]
/proc/loadavg: 4.99 4.40 4.20 7/244 812149
/proc/meminfo: memFree=124557096/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320144 memory=230192 CPUtime=2915.22 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38548 0 0 0 289501 2021 0 0 20 0 1 0 159567465 327827456 57548 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80036 57548 2943 2900 0 76550 0
Current children cumulated CPU time: 2915.22 s
Current children cumulated vsize: 320144 KiB
Current children cumulated memory: 230192 KiB
[startup+2982.3 s]
/proc/loadavg: 5.18 4.57 4.27 7/244 812159
/proc/meminfo: memFree=124513784/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320144 memory=230192 CPUtime=2975.08 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38553 0 0 0 295468 2040 0 0 20 0 1 0 159567465 327827456 57548 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80036 57548 2943 2900 0 76550 0
Current children cumulated CPU time: 2975.08 s
Current children cumulated vsize: 320144 KiB
Current children cumulated memory: 230192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.72 4.56 4.29 6/244 812338
/proc/meminfo: memFree=124496748/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320144 memory=230308 CPUtime=3034.94 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38640 0 0 0 301427 2067 0 0 20 0 1 0 159567465 327827456 57577 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80036 57577 2943 2900 0 76550 0
Current children cumulated CPU time: 3034.94 s
Current children cumulated vsize: 320144 KiB
Current children cumulated memory: 230308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.32 4.47 4.27 6/246 812352
/proc/meminfo: memFree=124479216/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320360 memory=230336 CPUtime=3094.82 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38684 0 0 0 307390 2092 0 0 20 0 1 0 159567465 328048640 57584 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80090 57584 2943 2900 0 76604 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 320360 KiB
Current children cumulated memory: 230336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.42 4.27 6/244 812373
/proc/meminfo: memFree=124447064/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320360 memory=230408 CPUtime=3154.68 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38743 0 0 0 313350 2118 0 0 20 0 1 0 159567465 328048640 57602 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80090 57602 2943 2900 0 76604 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 320360 KiB
Current children cumulated memory: 230408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.37 4.26 6/244 812383
/proc/meminfo: memFree=124460184/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320496 memory=230408 CPUtime=3214.55 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38795 0 0 0 319315 2140 0 0 20 0 1 0 159567465 328187904 57602 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80124 57602 2943 2900 0 76638 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 320496 KiB
Current children cumulated memory: 230408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.31 4.25 6/244 812395
/proc/meminfo: memFree=124448828/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320496 memory=230672 CPUtime=3274.42 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38890 0 0 0 325278 2164 0 0 20 0 1 0 159567465 328187904 57668 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80124 57668 2943 2900 0 76638 0
Current children cumulated CPU time: 3274.42 s
Current children cumulated vsize: 320496 KiB
Current children cumulated memory: 230672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.29 4.24 6/244 812405
/proc/meminfo: memFree=124427588/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=320832 memory=230768 CPUtime=3334.27 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 38958 0 0 0 331237 2190 0 0 20 0 1 0 159567465 328531968 57692 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80208 57692 2943 2900 0 76722 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 320832 KiB
Current children cumulated memory: 230768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.23 4.22 6/244 812416
/proc/meminfo: memFree=124341728/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=321016 memory=231112 CPUtime=3394.08 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 39072 0 0 0 337190 2218 0 0 20 0 1 0 159567465 328720384 57778 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80254 57778 2943 2900 0 76768 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 321016 KiB
Current children cumulated memory: 231112 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.25 4.23 6/242 812427
/proc/meminfo: memFree=124282304/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=321016 memory=231112 CPUtime=3453.89 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 39107 0 0 0 343147 2242 0 0 20 0 1 0 159567465 328720384 57778 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80254 57778 2943 2900 0 76768 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 321016 KiB
Current children cumulated memory: 231112 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.26 4.24 6/242 812437
/proc/meminfo: memFree=124170240/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=321240 memory=231288 CPUtime=3513.69 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 39225 0 0 0 349102 2267 0 0 20 0 1 0 159567465 328949760 57822 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80310 57822 2943 2900 0 76824 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 321240 KiB
Current children cumulated memory: 231288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.25 4.23 7/242 812447
/proc/meminfo: memFree=124144644/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=321240 memory=231288 CPUtime=3573.49 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 39250 0 0 0 355055 2294 0 0 20 0 1 0 159567465 328949760 57822 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80310 57822 2943 2900 0 76824 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 321240 KiB
Current children cumulated memory: 231288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.15 4.22 4.22 6/242 812452
/proc/meminfo: memFree=124131248/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=321452 memory=231500 CPUtime=3600.01 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 39613 0 0 0 357699 2302 0 0 20 0 1 0 159567465 329166848 57875 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80363 57875 2943 2900 0 76877 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 321452 KiB
Current children cumulated memory: 231500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 810393 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3577 s, system=23.0248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.15 4.22 4.22 6/242 812452
/proc/meminfo: memFree=124131248/131655788 swapFree=131071996/131071996
[pid=810393] ppid=810390 vsize=321452 memory=231500 CPUtime=3600.01 cores=4,6
/proc/810393/stat : 810393 (ipbhs_static_sc) R 810390 810393 808444 0 -1 4194304 39613 0 0 0 357699 2302 0 0 20 0 1 0 159567465 329166848 57875 134679101440 4194304 16068861 140723907352576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 53395456 140723907355686 140723907355773 140723907355773 140723907362788 0
/proc/810393/statm: 80363 57875 2943 2900 0 76877 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 321452 KiB
Current children cumulated memory: 231500 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.9
CPU time (s): 3600.02
CPU user time (s): 3577
CPU system time (s): 23.0248
CPU usage (%): 99.7539
Max. virtual memory (cumulated for all children) (KiB): 322804
Max. memory (cumulated for all children) (KiB): 232760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577
system time used= 23.0248
maximum resident set size= 232760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39613
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= 66
involuntary context switches= 2322
# summary of solver processes directly reported to runsolver:
# pid: 810393
# total CPU time (s): 3600.02
# total CPU user time (s): 3577
# total CPU system time (s): 23.0248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.36 second user time and 33.3718 second system time
The end
Begin job on nodeC007 at 2024-07-15 22:08:40
IDJOB=4431810
IDBENCH=147023
IDSOLVER=3057
FILE ID=nodeC007/4431810-1721074108
RUNJOBID= nodeC007-1721070510-808455
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/ttp/normalized-data10_3.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431810-1721074108/watcher-4431810-1721074108 -o /tmp/evaluation-result-4431810-1721074108/solver-4431810-1721074108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808455 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431810-1721074108.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
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 : 3647.230
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 : 3667.118
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.336
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.211
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 : 3490.267
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 : 3678.177
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.130
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.309
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: 125602848 kB
MemAvailable: 126915512 kB
Buffers: 377124 kB
Cached: 1766676 kB
SwapCached: 0 kB
Active: 683128 kB
Inactive: 4817580 kB
Active(anon): 1476 kB
Inactive(anon): 3393128 kB
Active(file): 681652 kB
Inactive(file): 1424452 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56480 kB
Writeback: 0 kB
AnonPages: 3356956 kB
Mapped: 140340 kB
Shmem: 37704 kB
KReclaimable: 93180 kB
Slab: 188872 kB
SReclaimable: 93180 kB
SUnreclaim: 95692 kB
KernelStack: 3980 kB
PageTables: 15740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3968208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2807808 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= 723568 MiB
End job on nodeC007 at 2024-07-15 23:08:50