17.44/17.50 c initialize IPBHS solver
17.44/17.50 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
17.44/17.50 c optimizer = "scip"
17.44/17.50 c pbsolver = "roundingsat"
17.44/17.50 c load symmetries from file ""
17.44/17.50 c set time limit for symmetry computation to 100 seconds.
17.44/17.50 c set interchangeable summation variable limit to 3
17.44/17.50 c set abs symmetric core budget per WCE-iteration to 100
17.44/17.50 c set rel symmetric core budget per WCE-iteration to 0
17.44/17.50 c set lit symmetric core budget per WCE-iteration to 0
17.44/17.50 c set sym generation to 's'
17.44/17.50 c set abstraction set creation to 10 iterations without LB change
17.44/17.50 c set abstraction set inputs to 0
17.44/17.50 c set abstraction set cluster min size to 2
17.44/17.50 c set abstraction set cluster max size to 100000000
17.44/17.50 c set abstraction set cluster activation limit to 2
17.44/17.50 c enable abstraction set require equal cost
17.44/17.50 c set abstraction set assumptions to 0
17.44/17.50 c set abstraction set constraint type to 0
17.44/17.50 c set abstract core extraction strategy to b
17.44/17.50 c set core extraction strategy to 2
17.44/17.50 c set core extraction shuffles 10
17.44/17.50 c set cores per iteration to 5
17.44/17.50 c set optimizer bound usage strategy to 2
17.44/17.50 c set optimizer max non-optimal iterations to 1000
17.44/17.50 c set small core cardinality limit to 2
17.44/17.50 c set max coef in cores to 1000000000
17.44/17.50 c set SIS iterations to 5
17.44/17.50 c set SIS budget abs to 1000
17.44/17.50 c set SIS budget rel to 0.05
17.44/17.50 c limit for coefficient in constraints and objective to 9223372036854775807
17.44/17.50 c will solve HOME/instance-4431894-1721059256.opb
17.44/17.50 c [0.11] solve iteration 1, LB=-945, UB=1
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: 63968 MiB (61129 MiB free)
memory of node 1: 64473 MiB (62400 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431894-1721059256/watcher-4431894-1721059256 -o /tmp/evaluation-result-4431894-1721059256/solver-4431894-1721059256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808013 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431894-1721059256.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
solver pid=808568, runsolver pid=808565
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.00 4.09 4.07 5/263 808569
/proc/meminfo: memFree=126484916/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=35108 memory=14260 CPUtime=0.1 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 2539 0 0 0 7 3 0 0 20 0 1 0 158092664 35950592 3565 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 8777 3565 1135 2900 0 5291 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35108 KiB
Current children cumulated memory: 14260 KiB
[startup+0.205619 s]*
/proc/loadavg: 4.00 4.09 4.07 5/263 808569
/proc/meminfo: memFree=126456328/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=63536 memory=47188 CPUtime=0.2 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 9653 0 0 0 11 9 0 0 20 0 1 0 158092664 65060864 11797 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 15884 11797 2383 2900 0 12398 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63536 KiB
Current children cumulated memory: 47188 KiB
[startup+0.305673 s]*
/proc/loadavg: 4.00 4.09 4.07 5/263 808569
/proc/meminfo: memFree=126432292/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=87516 memory=71212 CPUtime=0.3 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 15633 0 0 0 16 14 0 0 20 0 1 0 158092664 89616384 17803 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 21879 17803 2383 2900 0 18393 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87516 KiB
Current children cumulated memory: 71212 KiB
[startup+0.700231 s]
/proc/loadavg: 4.00 4.09 4.07 5/263 808569
/proc/meminfo: memFree=126375312/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=248956 memory=216308 CPUtime=0.68 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 37390 0 0 0 49 19 0 0 20 0 1 0 158092664 254930944 54077 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 62239 54077 2671 2900 0 58753 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248956 KiB
Current children cumulated memory: 216308 KiB
[startup+1.50024 s]
/proc/loadavg: 4.00 4.09 4.07 5/263 808569
/proc/meminfo: memFree=126185832/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=391976 memory=357956 CPUtime=1.49 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 58352 0 0 0 125 24 0 0 20 0 1 0 158092664 401383424 89489 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 97994 89489 2863 2900 0 94508 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 391976 KiB
Current children cumulated memory: 357956 KiB
[startup+3.10592 s]
/proc/loadavg: 4.00 4.09 4.07 5/263 808569
/proc/meminfo: memFree=125911372/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=633236 memory=586204 CPUtime=3.09 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 82316 0 0 0 279 30 0 0 20 0 1 0 158092664 648433664 146551 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 158309 146551 2879 2900 0 154823 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 633236 KiB
Current children cumulated memory: 586204 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.11 4.08 5/261 808570
/proc/meminfo: memFree=125895732/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=668848 memory=609140 CPUtime=6.28 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 87509 0 0 0 597 31 0 0 20 0 1 0 158092664 684900352 152285 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 167212 152285 2895 2900 0 163726 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 668848 KiB
Current children cumulated memory: 609140 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 5/261 808570
/proc/meminfo: memFree=125883308/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=724164 memory=617148 CPUtime=12.66 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 88484 0 0 0 1235 31 0 0 20 0 1 0 158092664 741543936 154287 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 181041 154287 2895 2900 0 177555 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 724164 KiB
Current children cumulated memory: 617148 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.08 5/261 808573
/proc/meminfo: memFree=125729496/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=837252 memory=679944 CPUtime=25.4 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 104209 0 0 0 2507 33 0 0 20 0 1 0 158092664 857346048 169986 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 209313 169986 2895 2900 0 205827 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 837252 KiB
Current children cumulated memory: 679944 KiB
[startup+51.1054 s]
/proc/loadavg: 4.18 4.12 4.09 5/261 808577
/proc/meminfo: memFree=125664952/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=871580 memory=679944 CPUtime=50.93 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 104233 0 0 0 5059 34 0 0 20 0 1 0 158092664 892497920 169986 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 217895 169986 2895 2900 0 214409 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 871580 KiB
Current children cumulated memory: 679944 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/261 808586
/proc/meminfo: memFree=125603500/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=933108 memory=719420 CPUtime=101.95 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 114084 0 0 0 10160 35 0 0 20 0 1 0 158092664 955502592 179855 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 233277 179855 2895 2900 0 229791 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 933108 KiB
Current children cumulated memory: 719420 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 808598
/proc/meminfo: memFree=125444732/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=1048492 memory=748340 CPUtime=161.76 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 129522 0 0 0 16138 38 0 0 20 0 1 0 158092664 1073655808 187085 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 262123 187085 2895 2900 0 258637 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1048492 KiB
Current children cumulated memory: 748340 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 808610
/proc/meminfo: memFree=125221004/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=1178320 memory=815888 CPUtime=221.57 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 143773 0 0 0 22116 41 0 0 20 0 1 0 158092664 1206599680 203972 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 294580 203972 2895 2900 0 291094 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1178320 KiB
Current children cumulated memory: 815888 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 808621
/proc/meminfo: memFree=124938632/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=1276656 memory=873140 CPUtime=281.38 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 159406 0 0 0 28095 43 0 0 20 0 1 0 158092664 1307295744 218285 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 319164 218285 2895 2900 0 315678 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 1276656 KiB
Current children cumulated memory: 873140 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 808635
/proc/meminfo: memFree=124667864/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=1342192 memory=940260 CPUtime=341.18 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 174158 0 0 0 34073 45 0 0 20 0 1 0 158092664 1374404608 235065 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 335548 235065 2895 2900 0 332062 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1342192 KiB
Current children cumulated memory: 940260 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 808646
/proc/meminfo: memFree=124560616/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=1377548 memory=963956 CPUtime=400.98 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 179051 0 0 0 40052 46 0 0 20 0 1 0 158092664 1410609152 240989 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 344387 240989 2895 2900 0 340901 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1377548 KiB
Current children cumulated memory: 963956 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 808657
/proc/meminfo: memFree=124497968/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=1401692 memory=975324 CPUtime=460.79 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 180927 0 0 0 46032 47 0 0 20 0 1 0 158092664 1435332608 243831 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 350423 243831 2895 2900 0 346937 0
################
# More data... #
################
Current children cumulated memory: 1850012 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/254 809716
/proc/meminfo: memFree=120680568/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2355984 memory=1850012 CPUtime=2853.01 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 331186 0 0 0 285211 90 0 0 20 0 1 0 158092664 2412527616 462503 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 588996 462503 3215 2900 0 585510 0
Current children cumulated CPU time: 2853.01 s
Current children cumulated vsize: 2355984 KiB
Current children cumulated memory: 1850012 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/254 809726
/proc/meminfo: memFree=120529020/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2355984 memory=1897116 CPUtime=2912.82 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 331428 0 0 0 291190 92 0 0 20 0 1 0 158092664 2412527616 474279 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 588996 474279 3215 2900 0 585510 0
Current children cumulated CPU time: 2912.82 s
Current children cumulated vsize: 2355984 KiB
Current children cumulated memory: 1897116 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/256 809742
/proc/meminfo: memFree=120450028/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2355984 memory=1897116 CPUtime=2972.63 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 331439 0 0 0 297171 92 0 0 20 0 1 0 158092664 2412527616 474279 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 588996 474279 3215 2900 0 585510 0
Current children cumulated CPU time: 2972.63 s
Current children cumulated vsize: 2355984 KiB
Current children cumulated memory: 1897116 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/256 809752
/proc/meminfo: memFree=120299956/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2388188 memory=1935772 CPUtime=3032.44 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 339841 0 0 0 303150 94 0 0 20 0 1 0 158092664 2445504512 483943 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 597047 483943 3215 2900 0 593561 0
Current children cumulated CPU time: 3032.44 s
Current children cumulated vsize: 2388188 KiB
Current children cumulated memory: 1935772 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 809763
/proc/meminfo: memFree=120279888/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2485304 memory=1933276 CPUtime=3092.25 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 342303 0 0 0 309129 96 0 0 20 0 1 0 158092664 2544951296 483319 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 621326 483319 3215 2900 0 617840 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 2485304 KiB
Current children cumulated memory: 1933276 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.17 4.11 5/256 809774
/proc/meminfo: memFree=120224792/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2486228 memory=1953756 CPUtime=3152.06 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 342423 0 0 0 315110 96 0 0 20 0 1 0 158092664 2545897472 488439 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 621557 488439 3215 2900 0 618071 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 2486228 KiB
Current children cumulated memory: 1953756 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/256 809785
/proc/meminfo: memFree=120150984/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2493372 memory=1971548 CPUtime=3211.86 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 343926 0 0 0 321088 98 0 0 20 0 1 0 158092664 2553212928 492887 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 623343 492887 3215 2900 0 619857 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 2493372 KiB
Current children cumulated memory: 1971548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/256 810179
/proc/meminfo: memFree=120080616/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2499556 memory=1977564 CPUtime=3271.66 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 345503 0 0 0 327067 99 0 0 20 0 1 0 158092664 2559545344 494391 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 624889 494391 3215 2900 0 621403 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 2499556 KiB
Current children cumulated memory: 1977564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 810190
/proc/meminfo: memFree=119965084/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2561340 memory=2070228 CPUtime=3331.45 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 361133 0 0 0 333043 102 0 0 20 0 1 0 158092664 2622812160 517557 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 640335 517557 3215 2900 0 636849 0
Current children cumulated CPU time: 3331.45 s
Current children cumulated vsize: 2561340 KiB
Current children cumulated memory: 2070228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/256 810201
/proc/meminfo: memFree=119876324/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2561340 memory=2070632 CPUtime=3391.26 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 361318 0 0 0 339024 102 0 0 20 0 1 0 158092664 2622812160 517658 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 640335 517658 3215 2900 0 636849 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 2561340 KiB
Current children cumulated memory: 2070632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 810381
/proc/meminfo: memFree=119787736/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2573372 memory=2107260 CPUtime=3451.08 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 364470 0 0 0 345003 105 0 0 20 0 1 0 158092664 2635132928 526815 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 643343 526815 3215 2900 0 639857 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 2573372 KiB
Current children cumulated memory: 2107260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/258 810391
/proc/meminfo: memFree=119601124/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2573372 memory=2118612 CPUtime=3510.86 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 364902 0 0 0 350981 105 0 0 20 0 1 0 158092664 2635132928 529653 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 643343 529653 3215 2900 0 639857 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 2573372 KiB
Current children cumulated memory: 2118612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 810496
/proc/meminfo: memFree=124078864/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2627252 memory=2137864 CPUtime=3570.66 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 365848 0 0 0 356960 106 0 0 20 0 1 0 158092664 2690306048 534466 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 656813 534466 3215 2900 0 653327 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 2627252 KiB
Current children cumulated memory: 2137864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 810558
/proc/meminfo: memFree=126282584/131524600 swapFree=131071996/131071996
[pid=808568] ppid=808565 vsize=2627252 memory=2138276 CPUtime=3600.06 cores=1,3
/proc/808568/stat : 808568 (ipbhs_static_sc) R 808565 808568 808001 0 -1 4194304 365898 0 0 0 359900 106 0 0 20 0 1 0 158092664 2690306048 534569 134679101440 4194304 16068861 140722757262592 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 27213824 140722757264422 140722757264509 140722757264509 140722757271524 0
/proc/808568/statm: 656813 534569 3215 2900 0 653327 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2627252 KiB
Current children cumulated memory: 2138276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.85 s]
# the end of solver process 808568 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.01 s, system=1.11567 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): 3611.85
CPU time (s): 3600.12
CPU user time (s): 3599.01
CPU system time (s): 1.11567
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 2627252
Max. memory (cumulated for all children) (KiB): 2138276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.11567
maximum resident set size= 2138316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365898
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= 3
involuntary context switches= 2286
# summary of solver processes directly reported to runsolver:
# pid: 808568
# total CPU time (s): 3600.12
# total CPU user time (s): 3599.01
# total CPU system time (s): 1.11567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86995 second user time and 15.6668 second system time
The end
Begin job on nodeC028 at 2024-07-15 18:01:09
IDJOB=4431894
IDBENCH=146680
IDSOLVER=3057
FILE ID=nodeC028/4431894-1721059256
RUNJOBID= nodeC028-1721059157-808013
SLURM_JOB_ID= 7505495
Free space on /tmp= 889904 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431894-1721059256/watcher-4431894-1721059256 -o /tmp/evaluation-result-4431894-1721059256/solver-4431894-1721059256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808013 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431894-1721059256.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1782625721
nodeC028.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 : 0xb00002a
cpu MHz : 3675.226
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3668.442
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59
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 : 0xb00002a
cpu MHz : 3599.813
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3679.677
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59
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 : 0xb00002a
cpu MHz : 3675.216
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3676.585
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59
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 : 0xb00002a
cpu MHz : 3599.858
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.56
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 : 0xb00002a
cpu MHz : 3607.398
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126495104 kB
MemAvailable: 127146212 kB
Buffers: 366104 kB
Cached: 1124160 kB
SwapCached: 0 kB
Active: 660576 kB
Inactive: 3781300 kB
Active(anon): 1560 kB
Inactive(anon): 2987776 kB
Active(file): 659016 kB
Inactive(file): 793524 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 110892 kB
Writeback: 48 kB
AnonPages: 2948824 kB
Mapped: 138504 kB
Shmem: 37720 kB
KReclaimable: 76784 kB
Slab: 178348 kB
SReclaimable: 76784 kB
SUnreclaim: 101564 kB
KernelStack: 4160 kB
PageTables: 15096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3922040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 937984 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: 193236 kB
DirectMap2M: 18454528 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889856 MiB
End job on nodeC028 at 2024-07-15 19:01:21