2.68/2.75 c initialize IPBHS solver
2.68/2.75 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
2.68/2.75 c optimizer = "scip"
2.68/2.75 c pbsolver = "roundingsat"
2.68/2.75 c load symmetries from file ""
2.68/2.75 c set time limit for symmetry computation to 100 seconds.
2.68/2.75 c set interchangeable summation variable limit to 3
2.68/2.75 c set abs symmetric core budget per WCE-iteration to 100
2.68/2.75 c set rel symmetric core budget per WCE-iteration to 0
2.68/2.75 c set lit symmetric core budget per WCE-iteration to 0
2.68/2.75 c set sym generation to 's'
2.68/2.75 c set abstraction set creation to 10 iterations without LB change
2.68/2.75 c set abstraction set inputs to 0
2.68/2.75 c set abstraction set cluster min size to 2
2.68/2.75 c set abstraction set cluster max size to 100000000
2.68/2.75 c set abstraction set cluster activation limit to 2
2.68/2.75 c enable abstraction set require equal cost
2.68/2.75 c set abstraction set assumptions to 0
2.68/2.75 c set abstraction set constraint type to 0
2.68/2.75 c set abstract core extraction strategy to b
2.68/2.75 c set core extraction strategy to 2
2.68/2.75 c set core extraction shuffles 10
2.68/2.75 c set cores per iteration to 5
2.68/2.75 c set optimizer bound usage strategy to 2
2.68/2.75 c set optimizer max non-optimal iterations to 1000
2.68/2.75 c set small core cardinality limit to 2
2.68/2.75 c set max coef in cores to 1000000000
2.68/2.75 c set SIS iterations to 5
2.68/2.75 c set SIS budget abs to 1000
2.68/2.75 c set SIS budget rel to 0.05
2.68/2.75 c limit for coefficient in constraints and objective to 9223372036854775807
2.68/2.75 c will solve HOME/instance-4431932-1721113758.opb
2.68/2.75 c [0.03] solve iteration 1, LB=0, UB=491
2.68/2.75 c [1.7] solve iteration 2, LB=5, UB=28
2.68/2.75 c [1.84] solve iteration 3, LB=11, UB=28
2.68/2.75 c [1.99] solve iteration 4, LB=11, UB=28
2.68/2.75 c [2.16] solve iteration 5, LB=11, UB=28
2.68/2.75 c [2.35] solve iteration 6, LB=12, UB=27
3.18/3.29 c [2.9] solve iteration 7, LB=12, UB=27
5.27/5.35 c [4.13] solve iteration 8, LB=13, UB=27
8.26/8.36 c [7.31] solve iteration 9, LB=13, UB=27
38.20/38.35 c [36.66] solve iteration 10, LB=13, UB=27
43.08/43.24 c [41.25] solve iteration 11, LB=14, UB=27
52.87/53.02 c [51.12] solve iteration 12, LB=14, UB=26
104.23/104.56 c [100.99] solve iteration 13, LB=15, UB=26
121.80/122.11 c [118.97] solve iteration 14, LB=15, UB=26
144.93/145.31 c [142.67] solve iteration 15, LB=15, UB=26
191.69/192.25 c [189.69] solve iteration 16, LB=15, UB=26
224.59/225.24 c [222.54] solve iteration 17, LB=15, UB=26
277.47/278.25 c [274.86] solve iteration 18, LB=15, UB=26
313.48/314.35 c [310.92] solve iteration 19, LB=15, UB=26
353.58/354.57 c [350.55] solve iteration 20, LB=15, UB=25
639.51/641.13 c [636.66] solve iteration 21, LB=16, UB=25
865.16/867.33 c [862.38] solve iteration 22, LB=16, UB=25
1089.45/1092.14 c [1085.86] solve iteration 23, LB=16, UB=25
1311.91/1315.11 c [1307.76] solve iteration 24, LB=16, UB=25
1459.85/1463.43 c [1456.85] solve iteration 25, LB=16, UB=24
1688.93/1693.02 c [1685.8] solve iteration 26, LB=16, UB=23
1894.55/1899.15 c [1891.06] solve iteration 27, LB=16, UB=23
2229.66/2235.01 c [2226.36] solve iteration 28, LB=16, UB=23
3262.33/3270.19 c [3258.82] solve iteration 29, LB=16, UB=23
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62326 MiB free)
memory of node 1: 64510 MiB (63225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431932-1721113758/watcher-4431932-1721113758 -o /tmp/evaluation-result-4431932-1721113758/solver-4431932-1721113758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431932-1721113758.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=833798, runsolver pid=833794
[startup+0.100736 s]*
/proc/loadavg: 3.77 4.16 4.25 5/237 833810
/proc/meminfo: memFree=128552712/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=31620 memory=8492 CPUtime=0.1 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 1248 0 0 0 8 2 0 0 20 0 1 0 163532539 32378880 2123 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 7905 2123 1135 2900 0 4419 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31620 KiB
Current children cumulated memory: 8492 KiB
[startup+0.213997 s]*
/proc/loadavg: 3.77 4.16 4.25 5/243 833820
/proc/meminfo: memFree=128501620/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=57268 memory=38580 CPUtime=0.21 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 7334 0 0 0 16 5 0 0 20 0 1 0 163532539 58642432 9645 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 14317 9645 2655 2900 0 10831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57268 KiB
Current children cumulated memory: 38580 KiB
[startup+0.314014 s]*
/proc/loadavg: 3.77 4.16 4.25 6/243 833820
/proc/meminfo: memFree=128462616/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=57268 memory=38580 CPUtime=0.31 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 7334 0 0 0 26 5 0 0 20 0 1 0 163532539 58642432 9645 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 14317 9645 2655 2900 0 10831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57268 KiB
Current children cumulated memory: 38580 KiB
[startup+0.700315 s]
/proc/loadavg: 3.77 4.16 4.25 5/243 833820
/proc/meminfo: memFree=128428212/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=57400 memory=39816 CPUtime=0.68 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 7631 0 0 0 60 8 0 0 20 0 1 0 163532539 58777600 9954 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 14350 9954 2703 2900 0 10864 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57400 KiB
Current children cumulated memory: 39816 KiB
[startup+1.50034 s]
/proc/loadavg: 3.77 4.16 4.25 5/243 833820
/proc/meminfo: memFree=128394372/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=58852 memory=44236 CPUtime=1.48 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 8168 0 0 0 139 9 0 0 20 0 1 0 163532539 60264448 11059 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 14713 11059 2703 2900 0 11227 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58852 KiB
Current children cumulated memory: 44236 KiB
[startup+3.11297 s]
/proc/loadavg: 3.87 4.17 4.25 5/243 833820
/proc/meminfo: memFree=127950240/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=98208 memory=80272 CPUtime=3.09 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 18546 0 0 0 293 16 0 0 20 0 1 0 163532539 100564992 20068 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 24552 20068 2943 2900 0 21066 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98208 KiB
Current children cumulated memory: 80272 KiB
[startup+6.30025 s]
/proc/loadavg: 3.87 4.17 4.25 5/243 833822
/proc/meminfo: memFree=127900196/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=123416 memory=104524 CPUtime=6.27 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 26647 0 0 0 605 22 0 0 20 0 1 0 163532539 126377984 26131 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 30854 26131 2943 2900 0 27368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123416 KiB
Current children cumulated memory: 104524 KiB
[startup+12.7003 s]
/proc/loadavg: 3.97 4.18 4.26 5/243 833822
/proc/meminfo: memFree=127851100/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=142756 memory=124164 CPUtime=12.66 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 30554 0 0 0 1239 27 0 0 20 0 1 0 163532539 146182144 31041 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 35689 31041 2943 2900 0 32203 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 142756 KiB
Current children cumulated memory: 124164 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.19 4.26 5/243 833825
/proc/meminfo: memFree=127807716/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=142756 memory=127760 CPUtime=25.42 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 30909 0 0 0 2509 33 0 0 20 0 1 0 163532539 146182144 31940 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 35689 31940 2943 2900 0 32203 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 142756 KiB
Current children cumulated memory: 127760 KiB
[startup+51.1128 s]
/proc/loadavg: 4.18 4.21 4.26 5/243 833828
/proc/meminfo: memFree=127654112/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=228536 memory=205996 CPUtime=50.98 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 49703 0 0 0 5052 46 0 0 20 0 1 0 163532539 234020864 51499 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 57134 51499 2943 2900 0 53648 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 228536 KiB
Current children cumulated memory: 205996 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.19 4.25 5/246 833841
/proc/meminfo: memFree=127536168/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=277272 memory=258548 CPUtime=102.04 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 73263 0 0 0 10147 57 0 0 20 0 1 0 163532539 283926528 64637 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 69318 64637 2943 2900 0 65832 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 277272 KiB
Current children cumulated memory: 258548 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.15 4.23 5/246 833851
/proc/meminfo: memFree=127437260/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=300752 memory=283028 CPUtime=161.87 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 79278 0 0 0 16127 60 0 0 20 0 1 0 163532539 307970048 70757 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 75188 70757 2943 2900 0 71702 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 300752 KiB
Current children cumulated memory: 283028 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.23 5/245 833862
/proc/meminfo: memFree=127409820/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=308824 memory=291560 CPUtime=221.7 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 81432 0 0 0 22108 62 0 0 20 0 1 0 163532539 316235776 72890 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 77206 72890 2943 2900 0 73720 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 308824 KiB
Current children cumulated memory: 291560 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.22 5/245 833872
/proc/meminfo: memFree=127358824/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=319648 memory=302388 CPUtime=281.56 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 87851 0 0 0 28043 113 0 0 20 0 1 0 163532539 327319552 75597 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 79912 75597 2943 2900 0 76426 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 319648 KiB
Current children cumulated memory: 302388 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.21 5/245 833884
/proc/meminfo: memFree=127296572/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=340296 memory=322976 CPUtime=341.41 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 93137 0 0 0 34027 114 0 0 20 0 1 0 163532539 348463104 80744 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 85074 80744 2943 2900 0 81588 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 340296 KiB
Current children cumulated memory: 322976 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.19 5/242 833895
/proc/meminfo: memFree=127261760/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=351536 memory=334028 CPUtime=401.28 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 101648 0 0 0 40011 117 0 0 20 0 1 0 163532539 359972864 83507 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 87884 83507 2943 2900 0 84398 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 351536 KiB
Current children cumulated memory: 334028 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.18 5/242 833905
/proc/meminfo: memFree=127203248/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=358972 memory=341168 CPUtime=461.13 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 103532 0 0 0 45996 117 0 0 20 0 1 0 163532539 367587328 85292 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 89743 85292 2943 2900 0 86257 0
################
# More data... #
################
Current children cumulated memory: 455228 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.18 4.20 5/245 835341
/proc/meminfo: memFree=125942028/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=500116 memory=482916 CPUtime=2855.49 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 164649 0 0 0 285403 146 0 0 20 0 1 0 163532539 512118784 120729 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 125029 120729 3263 2900 0 121543 0
Current children cumulated CPU time: 2855.49 s
Current children cumulated vsize: 500116 KiB
Current children cumulated memory: 482916 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.16 4.19 5/245 835351
/proc/meminfo: memFree=125843628/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=510612 memory=492932 CPUtime=2915.35 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 167385 0 0 0 291388 147 0 0 20 0 1 0 163532539 522866688 123233 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 127653 123233 3263 2900 0 124167 0
Current children cumulated CPU time: 2915.35 s
Current children cumulated vsize: 510612 KiB
Current children cumulated memory: 492932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/247 835532
/proc/meminfo: memFree=125810028/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=517152 memory=500672 CPUtime=2975.21 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 169463 0 0 0 297374 147 0 0 20 0 1 0 163532539 529563648 125168 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 129288 125168 3263 2900 0 125802 0
Current children cumulated CPU time: 2975.21 s
Current children cumulated vsize: 517152 KiB
Current children cumulated memory: 500672 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.29 4.22 5/247 835542
/proc/meminfo: memFree=125746892/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=532456 memory=515380 CPUtime=3035.07 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 173291 0 0 0 303359 148 0 0 20 0 1 0 163532539 545234944 128845 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 133114 128845 3263 2900 0 129628 0
Current children cumulated CPU time: 3035.07 s
Current children cumulated vsize: 532456 KiB
Current children cumulated memory: 515380 KiB
[startup+3102.3 s]
/proc/loadavg: 4.61 4.37 4.26 5/247 835567
/proc/meminfo: memFree=125735272/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=542516 memory=525148 CPUtime=3094.92 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 175911 0 0 0 309344 148 0 0 20 0 1 0 163532539 555536384 131287 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 135629 131287 3263 2900 0 132143 0
Current children cumulated CPU time: 3094.92 s
Current children cumulated vsize: 542516 KiB
Current children cumulated memory: 525148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.33 4.25 5/247 835577
/proc/meminfo: memFree=125697576/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=558588 memory=542088 CPUtime=3154.78 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 180331 0 0 0 315329 149 0 0 20 0 1 0 163532539 571994112 135522 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 139647 135522 3263 2900 0 136161 0
Current children cumulated CPU time: 3154.78 s
Current children cumulated vsize: 558588 KiB
Current children cumulated memory: 542088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.26 4.23 5/247 835588
/proc/meminfo: memFree=125694032/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=558900 memory=542612 CPUtime=3214.64 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 180761 0 0 0 321315 149 0 0 20 0 1 0 163532539 572313600 135653 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 139725 135653 3263 2900 0 136239 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 558900 KiB
Current children cumulated memory: 542612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.25 4.23 5/245 835599
/proc/meminfo: memFree=125668756/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=555116 CPUtime=3274.49 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 184123 0 0 0 327298 151 0 0 20 0 1 0 163532539 585986048 138779 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 138779 3263 2900 0 139577 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 555116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.21 4.22 5/245 835610
/proc/meminfo: memFree=125656772/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=555508 CPUtime=3334.35 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 184291 0 0 0 333284 151 0 0 20 0 1 0 163532539 585986048 138877 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 138877 3263 2900 0 139577 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 555508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.19 4.20 5/243 835621
/proc/meminfo: memFree=125641184/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=555508 CPUtime=3394.2 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 184624 0 0 0 339269 151 0 0 20 0 1 0 163532539 585986048 138877 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 138877 3263 2900 0 139577 0
Current children cumulated CPU time: 3394.2 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 555508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.19 5/243 835631
/proc/meminfo: memFree=125648496/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=556376 CPUtime=3454.06 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 184937 0 0 0 345255 151 0 0 20 0 1 0 163532539 585986048 139094 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 139094 3263 2900 0 139577 0
Current children cumulated CPU time: 3454.06 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 556376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.19 5/243 835641
/proc/meminfo: memFree=125629696/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=556376 CPUtime=3513.92 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 185284 0 0 0 351241 151 0 0 20 0 1 0 163532539 585986048 139094 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 139094 3263 2900 0 139577 0
Current children cumulated CPU time: 3513.92 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 556376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.21 4.20 5/243 835653
/proc/meminfo: memFree=125620164/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=556376 CPUtime=3573.77 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 185589 0 0 0 357226 151 0 0 20 0 1 0 163532539 585986048 139094 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 139094 3263 2900 0 139577 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 556376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.18 4.19 4.19 5/242 835659
/proc/meminfo: memFree=125636872/131655788 swapFree=131071996/131071996
[pid=833798] ppid=833794 vsize=572252 memory=556376 CPUtime=3600.01 cores=4,6
/proc/833798/stat : 833798 (ipbhs_static_sc) R 833794 833798 833747 0 -1 4194304 185800 0 0 0 359850 151 0 0 20 0 1 0 163532539 585986048 139094 134679101440 4194304 16068861 140726636611760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 48304128 140726636618790 140726636618877 140726636618877 140726636625892 0
/proc/833798/statm: 143063 139094 3263 2900 0 139577 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 572252 KiB
Current children cumulated memory: 556376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 833798 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.5 s, system=1.51932 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.6
CPU time (s): 3600.02
CPU user time (s): 3598.5
CPU system time (s): 1.51932
CPU usage (%): 99.7623
Max. virtual memory (cumulated for all children) (KiB): 572252
Max. memory (cumulated for all children) (KiB): 556376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.5
system time used= 1.51932
maximum resident set size= 556376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185800
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= 76
involuntary context switches= 1906
# summary of solver processes directly reported to runsolver:
# pid: 833798
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.5
# total CPU system time (s): 1.51932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2672 second user time and 36.191 second system time
The end
Begin job on nodeC007 at 2024-07-16 09:09:31
IDJOB=4431932
IDBENCH=148191
IDSOLVER=3057
FILE ID=nodeC007/4431932-1721113758
RUNJOBID= nodeC007-1721113771-833758
SLURM_JOB_ID= 7505647
Free space on /tmp= 723780 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431932-1721113758/watcher-4431932-1721113758 -o /tmp/evaluation-result-4431932-1721113758/solver-4431932-1721113758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721113771-833758 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431932-1721113758.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=301997297
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1680.453
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.144
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128567060 kB
MemAvailable: 129939116 kB
Buffers: 401128 kB
Cached: 1800808 kB
SwapCached: 0 kB
Active: 707472 kB
Inactive: 1830644 kB
Active(anon): 1344 kB
Inactive(anon): 372536 kB
Active(file): 706128 kB
Inactive(file): 1458108 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 228008 kB
Writeback: 8 kB
AnonPages: 336168 kB
Mapped: 103576 kB
Shmem: 37704 kB
KReclaimable: 95700 kB
Slab: 192192 kB
SReclaimable: 95700 kB
SUnreclaim: 96492 kB
KernelStack: 3584 kB
PageTables: 9492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 744484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52160 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723560 MiB
End job on nodeC007 at 2024-07-16 10:09:40