589.39/591.06 c initialize IPBHS solver
589.39/591.06 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
589.39/591.06 c optimizer = "scip"
589.39/591.06 c pbsolver = "roundingsat"
589.39/591.06 c load symmetries from file ""
589.39/591.06 c set time limit for symmetry computation to 100 seconds.
589.39/591.06 c set interchangeable summation variable limit to 3
589.39/591.06 c set abs symmetric core budget per WCE-iteration to 100
589.39/591.06 c set rel symmetric core budget per WCE-iteration to 0
589.39/591.06 c set lit symmetric core budget per WCE-iteration to 0
589.39/591.06 c set sym generation to 's'
589.39/591.06 c set abstraction set creation to 10 iterations without LB change
589.39/591.06 c set abstraction set inputs to 0
589.39/591.06 c set abstraction set cluster min size to 2
589.39/591.06 c set abstraction set cluster max size to 100000000
589.39/591.06 c set abstraction set cluster activation limit to 2
589.39/591.06 c enable abstraction set require equal cost
589.39/591.06 c set abstraction set assumptions to 0
589.39/591.06 c set abstraction set constraint type to 0
589.39/591.06 c set abstract core extraction strategy to b
589.39/591.06 c set core extraction strategy to 2
589.39/591.06 c set core extraction shuffles 10
589.39/591.06 c set cores per iteration to 5
589.39/591.06 c set optimizer bound usage strategy to 2
589.39/591.06 c set optimizer max non-optimal iterations to 1000
589.39/591.06 c set small core cardinality limit to 2
589.39/591.06 c set max coef in cores to 1000000000
589.39/591.06 c set SIS iterations to 5
589.39/591.06 c set SIS budget abs to 1000
589.39/591.06 c set SIS budget rel to 0.05
589.39/591.06 c limit for coefficient in constraints and objective to 9223372036854775807
589.39/591.06 c will solve HOME/instance-4458804-1721874252.opb
589.39/591.06 c [0.31] solve iteration 1, LB=-2160, 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 (51254 MiB free)
memory of node 1: 64473 MiB (54722 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458804-1721874252/watcher-4458804-1721874252 -o /tmp/evaluation-result-4458804-1721874252/solver-4458804-1721874252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721865114-267944 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458804-1721874252.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=274067, runsolver pid=274064
[startup+0.101071 s]*
/proc/loadavg: 4.14 4.12 4.14 5/256 274068
/proc/meminfo: memFree=108508400/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=40368 memory=15908 CPUtime=0.09 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 3620 0 0 0 9 0 0 0 20 0 1 0 23954678 41336832 3977 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 10092 3977 1023 2900 0 6606 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 15908 KiB
[startup+0.205685 s]*
/proc/loadavg: 4.14 4.12 4.14 5/256 274068
/proc/meminfo: memFree=108496568/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=52252 memory=27764 CPUtime=0.2 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 6067 0 0 0 19 1 0 0 20 0 1 0 23954678 53506048 6941 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 13063 6941 1023 2900 0 9577 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52252 KiB
Current children cumulated memory: 27764 KiB
[startup+0.3058 s]*
/proc/loadavg: 4.14 4.12 4.14 5/256 274068
/proc/meminfo: memFree=108489372/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=57572 memory=35048 CPUtime=0.3 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 7782 0 0 0 26 4 0 0 20 0 1 0 23954678 58953728 8762 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 14393 8762 1135 2900 0 10907 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57572 KiB
Current children cumulated memory: 35048 KiB
[startup+0.70024 s]
/proc/loadavg: 4.14 4.12 4.14 5/256 274068
/proc/meminfo: memFree=108480104/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=101200 memory=82852 CPUtime=0.68 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 15447 0 0 0 49 19 0 0 20 0 1 0 23954678 103628800 20713 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 25300 20713 2383 2900 0 21814 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101200 KiB
Current children cumulated memory: 82852 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.12 4.14 5/256 274068
/proc/meminfo: memFree=108377592/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=329828 memory=312560 CPUtime=1.48 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 73928 0 0 0 100 48 0 0 20 0 1 0 23954678 337743872 78140 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 82457 78140 2639 2900 0 78971 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329828 KiB
Current children cumulated memory: 312560 KiB
[startup+3.10564 s]
/proc/loadavg: 4.13 4.12 4.14 5/256 274068
/proc/meminfo: memFree=107832492/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=842600 memory=750764 CPUtime=3.08 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 100082 0 0 0 249 59 0 0 20 0 1 0 23954678 862822400 187691 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 210650 187691 2703 2900 0 207164 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 842600 KiB
Current children cumulated memory: 750764 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.12 4.14 5/256 274069
/proc/meminfo: memFree=107667036/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=960660 memory=858544 CPUtime=6.27 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 113789 0 0 0 565 62 0 0 20 0 1 0 23954678 983715840 214636 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 240165 214636 2703 2900 0 236679 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 960660 KiB
Current children cumulated memory: 858544 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.13 5/257 274072
/proc/meminfo: memFree=107622788/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=996044 memory=903196 CPUtime=12.65 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 131638 0 0 0 1200 65 0 0 20 0 1 0 23954678 1019949056 225799 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 249011 225799 2863 2900 0 245525 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 996044 KiB
Current children cumulated memory: 903196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.13 5/257 274073
/proc/meminfo: memFree=107613304/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1009496 memory=912124 CPUtime=25.42 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 132380 0 0 0 2476 66 0 0 20 0 1 0 23954678 1033723904 228031 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 252374 228031 2863 2900 0 248888 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1009496 KiB
Current children cumulated memory: 912124 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.12 4.13 5/257 274078
/proc/meminfo: memFree=107584760/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1041924 memory=941864 CPUtime=50.95 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 133719 0 0 0 5028 67 0 0 20 0 1 0 23954678 1066930176 235466 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 260481 235466 2863 2900 0 256995 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1041924 KiB
Current children cumulated memory: 941864 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/257 274470
/proc/meminfo: memFree=107539160/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1065136 memory=973980 CPUtime=101.99 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 134609 0 0 0 10131 68 0 0 20 0 1 0 23954678 1090699264 243495 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 266284 243495 2863 2900 0 262798 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1065136 KiB
Current children cumulated memory: 973980 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/257 274480
/proc/meminfo: memFree=107042288/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1593904 memory=1432336 CPUtime=161.84 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 177696 0 0 0 16102 82 0 0 20 0 1 0 23954678 1632157696 358084 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 398476 358084 2879 2900 0 394990 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1593904 KiB
Current children cumulated memory: 1432336 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/257 274491
/proc/meminfo: memFree=107017232/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1593904 memory=1432336 CPUtime=221.67 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 177722 0 0 0 22084 83 0 0 20 0 1 0 23954678 1632157696 358084 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 398476 358084 2879 2900 0 394990 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1593904 KiB
Current children cumulated memory: 1432336 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/259 274671
/proc/meminfo: memFree=106984628/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1593904 memory=1432420 CPUtime=281.51 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 177771 0 0 0 28066 85 0 0 20 0 1 0 23954678 1632157696 358105 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 398476 358105 2879 2900 0 394990 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1593904 KiB
Current children cumulated memory: 1432420 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/258 274681
/proc/meminfo: memFree=106956324/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1625456 memory=1448324 CPUtime=341.36 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 181801 0 0 0 34049 87 0 0 20 0 1 0 23954678 1664466944 362081 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 406364 362081 2895 2900 0 402878 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1625456 KiB
Current children cumulated memory: 1448324 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/257 274748
/proc/meminfo: memFree=106945936/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1625456 memory=1448324 CPUtime=401.2 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 181828 0 0 0 40032 88 0 0 20 0 1 0 23954678 1664466944 362081 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 406364 362081 2895 2900 0 402878 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1625456 KiB
Current children cumulated memory: 1448324 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.11 5/257 274759
/proc/meminfo: memFree=106882864/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1625456 memory=1448356 CPUtime=461.04 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 181856 0 0 0 46015 89 0 0 20 0 1 0 23954678 1664466944 362089 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 406364 362089 2895 2900 0 402878 0
################
# More data... #
################
Current children cumulated memory: 1597292 KiB
[startup+2862.3 s]
/proc/loadavg: 1.07 1.15 1.95 2/236 275870
/proc/meminfo: memFree=108382728/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=2855.45 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 225629 0 0 0 285445 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 2855.45 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+2922.3 s]
/proc/loadavg: 1.13 1.15 1.90 2/236 275882
/proc/meminfo: memFree=108382044/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=2915.32 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 226114 0 0 0 291432 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 2915.32 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+2982.3 s]
/proc/loadavg: 1.05 1.12 1.84 2/236 275892
/proc/meminfo: memFree=108381216/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=2975.2 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 226478 0 0 0 297420 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3042.3 s]
/proc/loadavg: 1.13 1.13 1.79 2/235 275903
/proc/meminfo: memFree=108380604/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3035.08 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 226887 0 0 0 303408 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3035.08 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.12 1.75 2/234 275913
/proc/meminfo: memFree=108379968/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3094.96 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 227314 0 0 0 309396 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3094.96 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3162.3 s]
/proc/loadavg: 1.09 1.11 1.70 2/233 275925
/proc/meminfo: memFree=108379140/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3154.84 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 227668 0 0 0 315384 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3154.84 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.10 1.66 2/233 275935
/proc/meminfo: memFree=108378712/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3214.73 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 228056 0 0 0 321373 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3214.73 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.10 1.62 2/233 275946
/proc/meminfo: memFree=108377808/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3274.6 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 228457 0 0 0 327360 100 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3274.6 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.09 1.59 2/233 275957
/proc/meminfo: memFree=108377132/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3334.49 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 228825 0 0 0 333348 101 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3334.49 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3402.3 s]
/proc/loadavg: 1.06 1.08 1.55 2/236 275973
/proc/meminfo: memFree=108376228/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3394.36 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 229076 0 0 0 339335 101 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3394.36 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.08 1.52 2/236 275985
/proc/meminfo: memFree=108375508/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3454.23 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 229365 0 0 0 345322 101 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3454.23 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.10 1.50 2/236 275998
/proc/meminfo: memFree=108374760/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3514.1 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 229671 0 0 0 351309 101 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3514.1 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.09 1.47 2/236 276010
/proc/meminfo: memFree=108373968/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3573.96 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 230006 0 0 0 357295 101 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.4 s]
/proc/loadavg: 1.07 1.08 1.45 2/236 276013
/proc/meminfo: memFree=108373820/131524600 swapFree=131071728/131071996
[pid=274067] ppid=274064 vsize=1760908 memory=1597292 CPUtime=3600 cores=4,6
/proc/274067/stat : 274067 (ipbhs_static_sc) R 274064 274067 267933 0 -1 4194304 230205 0 0 0 359899 101 0 0 20 0 1 0 23954678 1803169792 399323 134679101440 4194304 16068861 140724353833248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 34193408 140724353836070 140724353836157 140724353836157 140724353843172 0
/proc/274067/statm: 440227 399323 2895 2900 0 436741 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1760908 KiB
Current children cumulated memory: 1597292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.41 s]
# the end of solver process 274067 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599 s, system=1.01934 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): 3608.41
CPU time (s): 3600.01
CPU user time (s): 3599
CPU system time (s): 1.01934
CPU usage (%): 99.7675
Max. virtual memory (cumulated for all children) (KiB): 1760908
Max. memory (cumulated for all children) (KiB): 1597292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.01934
maximum resident set size= 1597292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230205
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= 33
involuntary context switches= 2997
# summary of solver processes directly reported to runsolver:
# pid: 274067
# total CPU time (s): 3600.01
# total CPU user time (s): 3599
# total CPU system time (s): 1.01934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7411 second user time and 16.2805 second system time
The end
Begin job on nodeC029 at 2024-07-25 04:24:12
IDJOB=4458804
IDBENCH=178200
IDSOLVER=3057
FILE ID=nodeC029/4458804-1721874252
RUNJOBID= nodeC029-1721865114-267944
SLURM_JOB_ID= 8089183
Free space on /tmp= 889904 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458804-1721874252/watcher-4458804-1721874252 -o /tmp/evaluation-result-4458804-1721874252/solver-4458804-1721874252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721865114-267944 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458804-1721874252.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ba01a5d98b16d8ee23010d930c3d525f
RANDOM SEED=501757904
nodeC029.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 : 3672.100
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.50
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 : 3686.162
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.34
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 : 3600.524
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.50
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 : 3599.807
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.34
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 : 3670.782
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.50
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 : 3686.187
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.34
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 : 3669.107
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.50
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 : 3599.772
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.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 108521000 kB
MemAvailable: 128263068 kB
Buffers: 288660 kB
Cached: 20164840 kB
SwapCached: 44 kB
Active: 2776932 kB
Inactive: 19367788 kB
Active(anon): 1572 kB
Inactive(anon): 1743668 kB
Active(file): 2775360 kB
Inactive(file): 17624120 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 61500 kB
Writeback: 0 kB
AnonPages: 1689352 kB
Mapped: 153160 kB
Shmem: 54012 kB
KReclaimable: 364820 kB
Slab: 496404 kB
SReclaimable: 364820 kB
SUnreclaim: 131584 kB
KernelStack: 4112 kB
PageTables: 12732 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2230556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1345536 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: 348884 kB
DirectMap2M: 44513280 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC029 at 2024-07-25 05:24:21