2726.06/2733.67 c initialize IPBHS solver
2726.06/2733.67 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
2726.06/2733.67 c optimizer = "scip"
2726.06/2733.67 c pbsolver = "roundingsat"
2726.06/2733.67 c load symmetries from file ""
2726.06/2733.67 c set time limit for symmetry computation to 100 seconds.
2726.06/2733.67 c set interchangeable summation variable limit to 3
2726.06/2733.67 c set abs symmetric core budget per WCE-iteration to 100
2726.06/2733.67 c set rel symmetric core budget per WCE-iteration to 0
2726.06/2733.67 c set lit symmetric core budget per WCE-iteration to 0
2726.06/2733.67 c set sym generation to 's'
2726.06/2733.67 c set abstraction set creation to 10 iterations without LB change
2726.06/2733.67 c set abstraction set inputs to 0
2726.06/2733.67 c set abstraction set cluster min size to 2
2726.06/2733.67 c set abstraction set cluster max size to 100000000
2726.06/2733.67 c set abstraction set cluster activation limit to 2
2726.06/2733.67 c enable abstraction set require equal cost
2726.06/2733.67 c set abstraction set assumptions to 0
2726.06/2733.67 c set abstraction set constraint type to 0
2726.06/2733.67 c set abstract core extraction strategy to b
2726.06/2733.67 c set core extraction strategy to 2
2726.06/2733.67 c set core extraction shuffles 10
2726.06/2733.67 c set cores per iteration to 5
2726.06/2733.67 c set optimizer bound usage strategy to 2
2726.06/2733.67 c set optimizer max non-optimal iterations to 1000
2726.06/2733.67 c set small core cardinality limit to 2
2726.06/2733.67 c set max coef in cores to 1000000000
2726.06/2733.67 c set SIS iterations to 5
2726.06/2733.67 c set SIS budget abs to 1000
2726.06/2733.67 c set SIS budget rel to 0.05
2726.06/2733.67 c limit for coefficient in constraints and objective to 9223372036854775807
2726.06/2733.67 c will solve HOME/instance-4432030-1721122805.opb
2726.06/2733.67 c [0.87] solve iteration 1, LB=0, UB=15313
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 (59644 MiB free)
memory of node 1: 64473 MiB (63315 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432030-1721122805/watcher-4432030-1721122805 -o /tmp/evaluation-result-4432030-1721122805/solver-4432030-1721122805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843799 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432030-1721122805.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=848118, runsolver pid=848115
[startup+0.100363 s]*
/proc/loadavg: 4.37 4.23 4.14 5/253 848123
/proc/meminfo: memFree=125918528/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=40204 memory=16172 CPUtime=0.09 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 3240 0 0 0 9 0 0 0 20 0 1 0 164445508 41168896 4043 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 10051 4043 1023 2900 0 6565 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40204 KiB
Current children cumulated memory: 16172 KiB
[startup+0.205113 s]*
/proc/loadavg: 4.37 4.23 4.14 4/253 848133
/proc/meminfo: memFree=125913704/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=51148 memory=26996 CPUtime=0.19 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 5982 0 0 0 19 0 0 0 20 0 1 0 164445508 52375552 6749 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 12787 6749 1023 2900 0 9301 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51148 KiB
Current children cumulated memory: 26996 KiB
[startup+0.305319 s]*
/proc/loadavg: 4.37 4.23 4.14 4/252 848154
/proc/meminfo: memFree=125956976/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=61312 memory=37292 CPUtime=0.3 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 8548 0 0 0 29 1 0 0 20 0 1 0 164445508 62783488 9323 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 15328 9323 1023 2900 0 11842 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61312 KiB
Current children cumulated memory: 37292 KiB
[startup+0.700224 s]
/proc/loadavg: 4.37 4.23 4.14 5/250 848154
/proc/meminfo: memFree=125903956/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=102712 memory=77788 CPUtime=0.69 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 19061 0 0 0 66 3 0 0 20 0 1 0 164445508 105177088 19447 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 25678 19447 1023 2900 0 22192 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102712 KiB
Current children cumulated memory: 77788 KiB
[startup+1.50023 s]
/proc/loadavg: 4.37 4.23 4.14 5/256 848165
/proc/meminfo: memFree=125773556/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=174648 memory=155296 CPUtime=1.48 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 36802 0 0 0 140 8 0 0 20 0 1 0 164445508 178839552 38824 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 43662 38824 1135 2900 0 40176 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 174648 KiB
Current children cumulated memory: 155296 KiB
[startup+3.10573 s]
/proc/loadavg: 4.37 4.23 4.14 5/256 848165
/proc/meminfo: memFree=124863788/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=625796 memory=604224 CPUtime=3.08 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 145611 0 0 0 273 35 0 0 20 0 1 0 164445508 640815104 150990 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 156449 151056 2559 2900 0 152963 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 625796 KiB
Current children cumulated memory: 604224 KiB
[startup+6.30022 s]
/proc/loadavg: 4.34 4.22 4.14 5/256 848165
/proc/meminfo: memFree=123273064/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=1218736 memory=1184756 CPUtime=6.27 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 260527 0 0 0 573 54 0 0 20 0 1 0 164445508 1247985664 296189 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 304684 296189 2671 2900 0 301198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1218736 KiB
Current children cumulated memory: 1184756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.39 4.24 4.14 5/256 848167
/proc/meminfo: memFree=120490376/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=3052124 memory=2733344 CPUtime=12.65 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 276341 0 0 0 1178 87 0 0 20 0 1 0 164445508 3125374976 683336 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 763031 683336 2671 2900 0 759545 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3052124 KiB
Current children cumulated memory: 2733344 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.24 4.14 5/256 848168
/proc/meminfo: memFree=119390388/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4157432 memory=3817200 CPUtime=25.42 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 325795 0 0 0 2413 129 0 0 20 0 1 0 164445508 4257210368 954300 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1039358 954300 2719 2900 0 1035872 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4157432 KiB
Current children cumulated memory: 3817200 KiB
[startup+51.1059 s]
/proc/loadavg: 4.31 4.24 4.14 5/257 848175
/proc/meminfo: memFree=118733108/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4455804 CPUtime=50.93 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 432787 0 0 0 4930 163 0 0 20 0 1 0 164445508 4935217152 1113951 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1113951 2831 2900 0 1201401 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4455804 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.23 4.15 5/257 848228
/proc/meminfo: memFree=114859680/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=101.98 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 433135 0 0 0 10032 166 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4456128 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/257 848238
/proc/meminfo: memFree=114850004/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=161.8 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 433492 0 0 0 16011 169 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4456128 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/257 848249
/proc/meminfo: memFree=114846660/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=221.63 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 433850 0 0 0 21991 172 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4456128 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/257 848260
/proc/meminfo: memFree=114842240/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=281.44 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 434206 0 0 0 27970 174 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4456128 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/255 848270
/proc/meminfo: memFree=114767996/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=341.27 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 434570 0 0 0 33949 178 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4456128 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/255 848281
/proc/meminfo: memFree=114699532/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=401.09 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 435007 0 0 0 39929 180 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 4819548 KiB
Current children cumulated memory: 4456128 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/255 848292
/proc/meminfo: memFree=114674408/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=4819548 memory=4456128 CPUtime=460.91 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 435363 0 0 0 45908 183 0 0 20 0 1 0 164445508 4935217152 1114032 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 1204887 1114032 2863 2900 0 1201401 0
################
# More data... #
################
Current children cumulated memory: 8377288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/255 849769
/proc/meminfo: memFree=111959936/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8386892 CPUtime=2854.42 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 783617 0 0 0 285042 400 0 0 20 0 1 0 164445508 9342910464 2096723 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2096723 2895 2900 0 2277498 0
Current children cumulated CPU time: 2854.42 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8386892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.29 4.14 4.10 5/257 849949
/proc/meminfo: memFree=111953504/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8392280 CPUtime=2914.25 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 784249 0 0 0 291024 401 0 0 20 0 1 0 164445508 9342910464 2098070 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2098070 2895 2900 0 2277498 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8392280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.36 4.19 4.12 5/257 849959
/proc/meminfo: memFree=111924240/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8421292 CPUtime=2974.09 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 784814 0 0 0 297007 402 0 0 20 0 1 0 164445508 9342910464 2105323 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2105323 2895 2900 0 2277498 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8421292 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/259 850028
/proc/meminfo: memFree=111906104/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8438308 CPUtime=3033.93 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 785320 0 0 0 302990 403 0 0 20 0 1 0 164445508 9342910464 2109577 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2109577 2895 2900 0 2277498 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8438308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/259 850038
/proc/meminfo: memFree=111903616/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8438696 CPUtime=3093.77 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 785785 0 0 0 308973 404 0 0 20 0 1 0 164445508 9342910464 2109674 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2109674 2895 2900 0 2277498 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8438696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/259 850048
/proc/meminfo: memFree=111897136/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8441936 CPUtime=3153.62 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 786100 0 0 0 314957 405 0 0 20 0 1 0 164445508 9342910464 2110484 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2110484 2895 2900 0 2277498 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8441936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 850060
/proc/meminfo: memFree=111789844/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8445552 CPUtime=3213.48 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 786704 0 0 0 320942 406 0 0 20 0 1 0 164445508 9342910464 2111388 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2111388 2895 2900 0 2277498 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8445552 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 850071
/proc/meminfo: memFree=111756152/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8448296 CPUtime=3273.33 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 786916 0 0 0 326926 407 0 0 20 0 1 0 164445508 9342910464 2112074 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2112074 2895 2900 0 2277498 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8448296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 850081
/proc/meminfo: memFree=111754964/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8448296 CPUtime=3333.18 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 787672 0 0 0 332911 407 0 0 20 0 1 0 164445508 9342910464 2112074 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2112074 2895 2900 0 2277498 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8448296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 850092
/proc/meminfo: memFree=111754216/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8448296 CPUtime=3393.04 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 788644 0 0 0 338896 408 0 0 20 0 1 0 164445508 9342910464 2112074 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2112074 2895 2900 0 2277498 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8448296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 850103
/proc/meminfo: memFree=111753728/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8448296 CPUtime=3452.89 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 789715 0 0 0 344880 409 0 0 20 0 1 0 164445508 9342910464 2112074 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2112074 2895 2900 0 2277498 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8448296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 850113
/proc/meminfo: memFree=111737828/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8448840 CPUtime=3512.75 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 790617 0 0 0 350865 410 0 0 20 0 1 0 164445508 9342910464 2112210 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2112210 2895 2900 0 2277498 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8448840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/255 850123
/proc/meminfo: memFree=111737388/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9123936 memory=8448840 CPUtime=3572.6 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 791565 0 0 0 356849 411 0 0 20 0 1 0 164445508 9342910464 2112210 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2280984 2112210 2895 2900 0 2277498 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 9123936 KiB
Current children cumulated memory: 8448840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 850131
/proc/meminfo: memFree=111726712/131524600 swapFree=131071996/131071996
[pid=848118] ppid=848115 vsize=9142044 memory=8458776 CPUtime=3600.03 cores=1,3
/proc/848118/stat : 848118 (ipbhs_static_sc) R 848115 848118 843787 0 -1 4194304 793462 0 0 0 359592 411 0 0 20 0 1 0 164445508 9361453056 2114694 134679101440 4194304 16068861 140724995516288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 54624256 140724995523622 140724995523709 140724995523709 140724995530724 0
/proc/848118/statm: 2285511 2114694 2895 2900 0 2282025 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9142044 KiB
Current children cumulated memory: 8458776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.85 s]
# the end of solver process 848118 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3595.93 s, system=4.16546 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): 3609.85
CPU time (s): 3600.09
CPU user time (s): 3595.93
CPU system time (s): 4.16546
CPU usage (%): 99.7297
Max. virtual memory (cumulated for all children) (KiB): 9142044
Max. memory (cumulated for all children) (KiB): 8458776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.93
system time used= 4.16546
maximum resident set size= 8458776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793462
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= 23
involuntary context switches= 1401
# summary of solver processes directly reported to runsolver:
# pid: 848118
# total CPU time (s): 3600.09
# total CPU user time (s): 3595.93
# total CPU system time (s): 4.16546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12327 second user time and 18.1588 second system time
The end
Begin job on nodeC023 at 2024-07-16 11:40:18
IDJOB=4432030
IDBENCH=155399
IDSOLVER=3057
FILE ID=nodeC023/4432030-1721122805
RUNJOBID= nodeC023-1721115599-843799
SLURM_JOB_ID= 7505653
Free space on /tmp= 889856 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432030-1721122805/watcher-4432030-1721122805 -o /tmp/evaluation-result-4432030-1721122805/solver-4432030-1721122805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843799 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432030-1721122805.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=1892246171
nodeC023.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 : 3673.048
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.61
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 : 3689.616
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.48
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.871
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.61
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 : 3675.923
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.48
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 : 3673.034
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.61
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 : 3687.738
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.48
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.921
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.61
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 : 3630.993
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125911696 kB
MemAvailable: 127617332 kB
Buffers: 428672 kB
Cached: 2101408 kB
SwapCached: 0 kB
Active: 785424 kB
Inactive: 4203028 kB
Active(anon): 1572 kB
Inactive(anon): 2494520 kB
Active(file): 783852 kB
Inactive(file): 1708508 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 155780 kB
Writeback: 4 kB
AnonPages: 2455864 kB
Mapped: 139436 kB
Shmem: 37720 kB
KReclaimable: 106200 kB
Slab: 213396 kB
SReclaimable: 106200 kB
SUnreclaim: 107196 kB
KernelStack: 4112 kB
PageTables: 14068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2881444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2238464 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: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889780 MiB
End job on nodeC023 at 2024-07-16 12:40:28