7.87/7.90 c initialize IPBHS solver
7.87/7.90 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
7.87/7.90 c optimizer = "scip"
7.87/7.90 c pbsolver = "roundingsat"
7.87/7.90 c load symmetries from file ""
7.87/7.90 c set time limit for symmetry computation to 100 seconds.
7.87/7.90 c set interchangeable summation variable limit to 3
7.87/7.90 c set abs symmetric core budget per WCE-iteration to 100
7.87/7.90 c set rel symmetric core budget per WCE-iteration to 0
7.87/7.90 c set lit symmetric core budget per WCE-iteration to 0
7.87/7.90 c set sym generation to 's'
7.87/7.90 c set abstraction set creation to 10 iterations without LB change
7.87/7.90 c set abstraction set inputs to 0
7.87/7.90 c set abstraction set cluster min size to 2
7.87/7.90 c set abstraction set cluster max size to 100000000
7.87/7.90 c set abstraction set cluster activation limit to 2
7.87/7.90 c enable abstraction set require equal cost
7.87/7.90 c set abstraction set assumptions to 0
7.87/7.90 c set abstraction set constraint type to 0
7.87/7.90 c set abstract core extraction strategy to b
7.87/7.90 c set core extraction strategy to 2
7.87/7.90 c set core extraction shuffles 10
7.87/7.90 c set cores per iteration to 5
7.87/7.90 c set optimizer bound usage strategy to 2
7.87/7.90 c set optimizer max non-optimal iterations to 1000
7.87/7.90 c set small core cardinality limit to 2
7.87/7.90 c set max coef in cores to 1000000000
7.87/7.90 c set SIS iterations to 5
7.87/7.90 c set SIS budget abs to 1000
7.87/7.90 c set SIS budget rel to 0.05
7.87/7.90 c limit for coefficient in constraints and objective to 9223372036854775807
7.87/7.90 c will solve HOME/instance-4431831-1721075722.opb
7.87/7.90 c [0.02] solve iteration 1, LB=0, UB=1962
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: 63931 MiB (60375 MiB free)
memory of node 1: 64510 MiB (63116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431831-1721075722/watcher-4431831-1721075722 -o /tmp/evaluation-result-4431831-1721075722/solver-4431831-1721075722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820554 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431831-1721075722.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=824682, runsolver pid=824679
[startup+0.100467 s]*
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126413624/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=60392 memory=39416 CPUtime=0.09 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 7535 0 0 0 8 1 0 0 20 0 1 0 159740525 61841408 9854 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 15098 9854 2863 2900 0 11612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60392 KiB
Current children cumulated memory: 39416 KiB
[startup+0.205477 s]*
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126397356/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=77236 memory=52636 CPUtime=0.2 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 10857 0 0 0 18 2 0 0 20 0 1 0 159740525 79089664 13159 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 19309 13159 2879 2900 0 15823 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77236 KiB
Current children cumulated memory: 52636 KiB
[startup+0.305692 s]*
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126396236/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=77508 memory=53164 CPUtime=0.3 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 10944 0 0 0 28 2 0 0 20 0 1 0 159740525 79368192 13291 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 19377 13291 2879 2900 0 15891 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77508 KiB
Current children cumulated memory: 53164 KiB
[startup+0.700168 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126390728/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=81120 memory=56092 CPUtime=0.68 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 11735 0 0 0 66 2 0 0 20 0 1 0 159740525 83066880 14023 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 20280 14023 2895 2900 0 16794 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81120 KiB
Current children cumulated memory: 56092 KiB
[startup+1.50016 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126389020/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=82276 memory=57148 CPUtime=1.48 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 11949 0 0 0 146 2 0 0 20 0 1 0 159740525 84250624 14287 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 20569 14287 2895 2900 0 17083 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82276 KiB
Current children cumulated memory: 57148 KiB
[startup+3.10448 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 824729
/proc/meminfo: memFree=126804060/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=90824 memory=64540 CPUtime=3.08 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 13793 0 0 0 306 2 0 0 20 0 1 0 159740525 93003776 16135 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 22706 16135 2895 2900 0 19220 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 64540 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.14 4.14 4/254 824731
/proc/meminfo: memFree=127681432/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=99736 memory=72460 CPUtime=6.27 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 15821 0 0 0 624 3 0 0 20 0 1 0 159740525 102129664 18115 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 24934 18115 2895 2900 0 21448 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 99736 KiB
Current children cumulated memory: 72460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.15 5/256 824777
/proc/meminfo: memFree=127564724/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=109240 memory=79356 CPUtime=12.65 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 18419 0 0 0 1262 3 0 0 20 0 1 0 159740525 111861760 19839 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 27310 19839 2895 2900 0 23824 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 109240 KiB
Current children cumulated memory: 79356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.16 4.15 5/256 824780
/proc/meminfo: memFree=127546716/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=112236 memory=82784 CPUtime=25.42 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 19281 0 0 0 2538 4 0 0 20 0 1 0 159740525 114929664 20696 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 28059 20696 2895 2900 0 24573 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 112236 KiB
Current children cumulated memory: 82784 KiB
[startup+51.1052 s]
/proc/loadavg: 4.16 4.15 4.15 5/256 824784
/proc/meminfo: memFree=127418876/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=147932 memory=114660 CPUtime=50.94 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 29199 0 0 0 5089 5 0 0 20 0 1 0 159740525 151482368 28665 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 36983 28665 2895 2900 0 33497 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 147932 KiB
Current children cumulated memory: 114660 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/256 824793
/proc/meminfo: memFree=127310552/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=191004 memory=152580 CPUtime=101.99 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 38693 0 0 0 10193 6 0 0 20 0 1 0 159740525 195588096 38145 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 47751 38145 2895 2900 0 44265 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 191004 KiB
Current children cumulated memory: 152580 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/256 824804
/proc/meminfo: memFree=127230860/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=219668 memory=186588 CPUtime=161.83 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 44866 0 0 0 16176 7 0 0 20 0 1 0 159740525 224940032 46647 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 54917 46647 2895 2900 0 51431 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 219668 KiB
Current children cumulated memory: 186588 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/256 824815
/proc/meminfo: memFree=127174116/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=239180 memory=221476 CPUtime=221.69 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 48544 0 0 0 22161 8 0 0 20 0 1 0 159740525 244920320 55369 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 59795 55369 2895 2900 0 56309 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 239180 KiB
Current children cumulated memory: 221476 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/257 824829
/proc/meminfo: memFree=127128408/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=239180 memory=221476 CPUtime=281.55 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 48635 0 0 0 28147 8 0 0 20 0 1 0 159740525 244920320 55369 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 59795 55369 2895 2900 0 56309 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 239180 KiB
Current children cumulated memory: 221476 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/257 824840
/proc/meminfo: memFree=127087356/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=239180 memory=221816 CPUtime=341.41 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 48811 0 0 0 34133 8 0 0 20 0 1 0 159740525 244920320 55454 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 59795 55454 2895 2900 0 56309 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 239180 KiB
Current children cumulated memory: 221816 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 824851
/proc/meminfo: memFree=127063976/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=239652 memory=222076 CPUtime=401.27 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 49019 0 0 0 40119 8 0 0 20 0 1 0 159740525 245403648 55519 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 59913 55519 2895 2900 0 56427 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 239652 KiB
Current children cumulated memory: 222076 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/258 824864
/proc/meminfo: memFree=127035048/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=240628 memory=222288 CPUtime=461.13 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 49163 0 0 0 46105 8 0 0 20 0 1 0 159740525 246403072 55572 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 60157 55572 2895 2900 0 56671 0
################
# More data... #
################
Current children cumulated memory: 265504 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/258 825883
/proc/meminfo: memFree=126608780/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283012 memory=265520 CPUtime=2854.48 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 68920 0 0 0 285438 10 0 0 20 0 1 0 159740525 289804288 66380 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70753 66380 2895 2900 0 67267 0
Current children cumulated CPU time: 2854.48 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 265520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/258 825894
/proc/meminfo: memFree=126607996/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283012 memory=265528 CPUtime=2914.3 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 69136 0 0 0 291420 10 0 0 20 0 1 0 159740525 289804288 66382 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70753 66382 2895 2900 0 67267 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 265528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/258 825904
/proc/meminfo: memFree=126606052/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283012 memory=266208 CPUtime=2974.13 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 69356 0 0 0 297403 10 0 0 20 0 1 0 159740525 289804288 66552 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70753 66552 2895 2900 0 67267 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 266208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/257 826299
/proc/meminfo: memFree=126605080/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283012 memory=266208 CPUtime=3033.95 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 69568 0 0 0 303385 10 0 0 20 0 1 0 159740525 289804288 66552 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70753 66552 2895 2900 0 67267 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 266208 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/257 826309
/proc/meminfo: memFree=126600364/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283012 memory=266208 CPUtime=3093.78 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 69789 0 0 0 309368 10 0 0 20 0 1 0 159740525 289804288 66552 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70753 66552 2895 2900 0 67267 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 266208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/260 826491
/proc/meminfo: memFree=126585836/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283012 memory=266332 CPUtime=3153.6 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 70044 0 0 0 315350 10 0 0 20 0 1 0 159740525 289804288 66583 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70753 66583 2895 2900 0 67267 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 266332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/260 826501
/proc/meminfo: memFree=126585128/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283596 memory=266656 CPUtime=3213.43 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 70352 0 0 0 321333 10 0 0 20 0 1 0 159740525 290402304 66664 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70899 66664 2895 2900 0 67413 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 283596 KiB
Current children cumulated memory: 266656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/262 826569
/proc/meminfo: memFree=126579536/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283596 memory=266748 CPUtime=3273.25 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 70584 0 0 0 327315 10 0 0 20 0 1 0 159740525 290402304 66687 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70899 66687 2895 2900 0 67413 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 283596 KiB
Current children cumulated memory: 266748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.16 4.13 5/262 826581
/proc/meminfo: memFree=126583912/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=283596 memory=266764 CPUtime=3333.08 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 70801 0 0 0 333298 10 0 0 20 0 1 0 159740525 290402304 66691 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 70899 66691 2895 2900 0 67413 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 283596 KiB
Current children cumulated memory: 266764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/260 826591
/proc/meminfo: memFree=126581236/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=286068 memory=268316 CPUtime=3392.91 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 71409 0 0 0 339281 10 0 0 20 0 1 0 159740525 292933632 67079 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 71517 67079 2895 2900 0 68031 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 286068 KiB
Current children cumulated memory: 268316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/260 826603
/proc/meminfo: memFree=126579780/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=286068 memory=268316 CPUtime=3452.73 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 71629 0 0 0 345263 10 0 0 20 0 1 0 159740525 292933632 67079 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 71517 67079 2895 2900 0 68031 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 286068 KiB
Current children cumulated memory: 268316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/258 826614
/proc/meminfo: memFree=126578608/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=286068 memory=268316 CPUtime=3512.55 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 71846 0 0 0 351245 10 0 0 20 0 1 0 159740525 292933632 67079 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 71517 67079 2895 2900 0 68031 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 286068 KiB
Current children cumulated memory: 268316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/256 826624
/proc/meminfo: memFree=126575940/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=286068 memory=268316 CPUtime=3572.38 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 72058 0 0 0 357228 10 0 0 20 0 1 0 159740525 292933632 67079 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 71517 67079 2895 2900 0 68031 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 286068 KiB
Current children cumulated memory: 268316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.08 4.13 4.12 4/249 826660
/proc/meminfo: memFree=127052516/131524600 swapFree=131071996/131071996
[pid=824682] ppid=824679 vsize=286068 memory=268316 CPUtime=3600 cores=1,3
/proc/824682/stat : 824682 (ipbhs_static_sc) R 824679 824682 820542 0 -1 4194304 72167 0 0 0 359990 10 0 0 20 0 1 0 159740525 292933632 67079 134679101440 4194304 16068861 140722807189616 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 48427008 140722807194662 140722807194749 140722807194749 140722807201764 0
/proc/824682/statm: 71517 67079 2895 2900 0 68031 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 286068 KiB
Current children cumulated memory: 268316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 824682 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.91 s, system=0.110658 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): 3610.01
CPU time (s): 3600.02
CPU user time (s): 3599.91
CPU system time (s): 0.110658
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 286068
Max. memory (cumulated for all children) (KiB): 268316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.91
system time used= 0.110658
maximum resident set size= 268316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72167
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= 27
involuntary context switches= 1446
# summary of solver processes directly reported to runsolver:
# pid: 824682
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.91
# total CPU system time (s): 0.110658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97649 second user time and 14.8372 second system time
The end
Begin job on nodeC031 at 2024-07-15 22:35:35
IDJOB=4431831
IDBENCH=147527
IDSOLVER=3057
FILE ID=nodeC031/4431831-1721075722
RUNJOBID= nodeC031-1721068515-820554
SLURM_JOB_ID= 7505521
Free space on /tmp= 889924 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431831-1721075722/watcher-4431831-1721075722 -o /tmp/evaluation-result-4431831-1721075722/solver-4431831-1721075722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820554 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431831-1721075722.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fbd32e707c8d4aa66e3f5cddd7aa4984
RANDOM SEED=11042452
nodeC031.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.530
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.55
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 : 3681.298
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 : 7006.11
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.972
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.55
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 : 3600.760
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 : 7006.11
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 : 3672.503
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.55
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 : 3631.260
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 : 7006.11
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 : 3600.039
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.55
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 : 3683.395
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126460312 kB
MemAvailable: 128281384 kB
Buffers: 363868 kB
Cached: 2280100 kB
SwapCached: 0 kB
Active: 677380 kB
Inactive: 3762496 kB
Active(anon): 1512 kB
Inactive(anon): 1832108 kB
Active(file): 675868 kB
Inactive(file): 1930388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 107716 kB
Writeback: 104 kB
AnonPages: 1789132 kB
Mapped: 138968 kB
Shmem: 37720 kB
KReclaimable: 108928 kB
Slab: 215964 kB
SReclaimable: 108928 kB
SUnreclaim: 107036 kB
KernelStack: 4064 kB
PageTables: 13056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2278396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1613824 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889924 MiB
End job on nodeC031 at 2024-07-15 23:35:45