0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "scip"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.00/0.02 c limit for coefficient in constraints and objective to 1000000000
0.00/0.02 c will solve HOME/instance-4489400-1751350940.opb
0.00/0.02 c [0.01] will start solving
3.87/3.98 c [0.02] solve iteration 1, LB=0, UB=477
3.87/3.98 c [0.87] solve iteration 2, LB=148, UB=215
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: 63837 MiB (62139 MiB free)
memory of node 1: 64465 MiB (63772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489400-1751350940/watcher-4489400-1751350940 -o /tmp/evaluation-result-4489400-1751350940/solver-4489400-1751350940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751343715-50066 --watchdog 3760 ./ipbhs_scip HOME/instance-4489400-1751350940.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=50824, runsolver pid=50814
[startup+0.100073 s]*
/proc/loadavg: 4.04 4.07 4.08 4/251 50834
/proc/meminfo: memFree=128434052/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=51444 memory=23928 CPUtime=0.1 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 2743 0 0 0 9 1 0 0 20 0 1 0 50773470 52678656 5982 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 12861 5982 3648 2790 0 6286 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51444 KiB
Current children cumulated memory: 23928 KiB
[startup+0.213864 s]*
/proc/loadavg: 4.04 4.07 4.08 5/249 50838
/proc/meminfo: memFree=128216404/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=51632 memory=24056 CPUtime=0.21 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 2776 0 0 0 20 1 0 0 20 0 1 0 50773470 52871168 6014 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 12908 6014 3648 2790 0 6333 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51632 KiB
Current children cumulated memory: 24056 KiB
[startup+0.312537 s]*
/proc/loadavg: 4.04 4.07 4.08 5/250 50840
/proc/meminfo: memFree=127972004/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=51632 memory=24056 CPUtime=0.31 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 2780 0 0 0 30 1 0 0 20 0 1 0 50773470 52871168 6014 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 12908 6014 3648 2790 0 6333 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51632 KiB
Current children cumulated memory: 24056 KiB
[startup+0.700241 s]
/proc/loadavg: 4.04 4.07 4.08 5/250 50840
/proc/meminfo: memFree=127450176/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=52196 memory=24408 CPUtime=0.68 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 2922 0 0 0 67 1 0 0 20 0 1 0 50773470 53448704 6102 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 13049 6102 3648 2790 0 6474 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52196 KiB
Current children cumulated memory: 24408 KiB
[startup+1.50024 s]
/proc/loadavg: 4.04 4.07 4.08 5/248 50841
/proc/meminfo: memFree=127305908/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=59920 memory=31428 CPUtime=1.48 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 4890 0 0 0 147 1 0 0 20 0 1 0 50773470 61358080 7857 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 14980 7857 3680 2790 0 8405 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59920 KiB
Current children cumulated memory: 31428 KiB
[startup+3.11246 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 50850
/proc/meminfo: memFree=127009600/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=156864 memory=126868 CPUtime=3.09 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 31008 0 0 0 304 5 0 0 20 0 1 0 50773470 160628736 31717 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 39216 31717 3712 2790 0 32641 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 156864 KiB
Current children cumulated memory: 126868 KiB
[startup+6.30023 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 50850
/proc/meminfo: memFree=126437588/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=195392 memory=164244 CPUtime=6.26 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 40348 0 0 0 620 6 0 0 20 0 1 0 50773470 200081408 41061 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 48848 41061 3712 2790 0 42273 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 195392 KiB
Current children cumulated memory: 164244 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/253 50850
/proc/meminfo: memFree=124639836/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=195392 memory=164244 CPUtime=12.64 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 40348 0 0 0 1258 6 0 0 20 0 1 0 50773470 200081408 41061 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 48848 41061 3712 2790 0 42273 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 195392 KiB
Current children cumulated memory: 164244 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.08 4.09 5/253 50850
/proc/meminfo: memFree=123086152/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=229836 memory=196556 CPUtime=25.4 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 49313 0 0 0 2533 7 0 0 20 0 1 0 50773470 235352064 49139 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 57459 49139 3712 2790 0 50884 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 229836 KiB
Current children cumulated memory: 196556 KiB
[startup+51.1121 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 50851
/proc/meminfo: memFree=120931132/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=227788 memory=194708 CPUtime=50.93 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 49358 0 0 0 5086 7 0 0 20 0 1 0 50773470 233254912 48677 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 56947 48677 3712 2790 0 50372 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 227788 KiB
Current children cumulated memory: 194708 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 50853
/proc/meminfo: memFree=120860668/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=229732 memory=196756 CPUtime=101.96 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 49869 0 0 0 10189 7 0 0 20 0 1 0 50773470 235245568 49189 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 57433 49189 3712 2790 0 50858 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 229732 KiB
Current children cumulated memory: 196756 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/252 50854
/proc/meminfo: memFree=120529132/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=330920 memory=299524 CPUtime=161.77 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 76605 0 0 0 16164 13 0 0 20 0 1 0 50773470 338862080 74881 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 82730 74881 3712 2790 0 76155 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 330920 KiB
Current children cumulated memory: 299524 KiB
[startup+222.3 s]
/proc/loadavg: 4.64 4.28 4.16 5/252 50856
/proc/meminfo: memFree=120489084/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=346232 memory=314244 CPUtime=221.58 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 80301 0 0 0 22145 13 0 0 20 0 1 0 50773470 354541568 78561 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 86558 78561 3712 2790 0 79983 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 346232 KiB
Current children cumulated memory: 314244 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.24 4.15 5/252 50858
/proc/meminfo: memFree=120468252/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=346232 memory=314244 CPUtime=281.4 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 80301 0 0 0 28126 14 0 0 20 0 1 0 50773470 354541568 78561 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 86558 78561 3712 2790 0 79983 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 346232 KiB
Current children cumulated memory: 314244 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.21 4.15 5/250 50860
/proc/meminfo: memFree=120468000/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=346232 memory=314244 CPUtime=341.21 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 80301 0 0 0 34107 14 0 0 20 0 1 0 50773470 354541568 78561 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 86558 78561 3712 2790 0 79983 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 346232 KiB
Current children cumulated memory: 314244 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/250 50862
/proc/meminfo: memFree=120475816/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=346232 memory=314372 CPUtime=401.02 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 80315 0 0 0 40088 14 0 0 20 0 1 0 50773470 354541568 78593 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 86558 78593 3712 2790 0 79983 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 346232 KiB
Current children cumulated memory: 314372 KiB
[startup+462.3 s]
/proc/loadavg: 4.67 4.35 4.20 5/251 50867
/proc/meminfo: memFree=120451352/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=364952 memory=331780 CPUtime=460.84 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 84675 0 0 0 46070 14 0 0 20 0 1 0 50773470 373710848 82945 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 91238 82945 3712 2790 0 84663 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 396328 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/250 50988
/proc/meminfo: memFree=119438140/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=423236 memory=398120 CPUtime=2854.04 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 100553 0 0 0 285382 22 0 0 20 0 1 0 50773470 433393664 99530 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 105809 99530 3712 2790 0 99234 0
Current children cumulated CPU time: 2854.04 s
Current children cumulated vsize: 423236 KiB
Current children cumulated memory: 398120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.08 4.10 5/250 50990
/proc/meminfo: memFree=119435936/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=423236 memory=398120 CPUtime=2913.88 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 100697 0 0 0 291366 22 0 0 20 0 1 0 50773470 433393664 99530 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 105809 99530 3712 2790 0 99234 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 423236 KiB
Current children cumulated memory: 398120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/253 50996
/proc/meminfo: memFree=119440784/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=423236 memory=398120 CPUtime=2973.73 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 100713 0 0 0 297351 22 0 0 20 0 1 0 50773470 433393664 99530 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 105809 99530 3712 2790 0 99234 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 423236 KiB
Current children cumulated memory: 398120 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/253 51002
/proc/meminfo: memFree=119430536/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=423748 memory=398760 CPUtime=3033.57 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 100855 0 0 0 303334 23 0 0 20 0 1 0 50773470 433917952 99690 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 105937 99690 3712 2790 0 99362 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 423748 KiB
Current children cumulated memory: 398760 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/253 51004
/proc/meminfo: memFree=119428916/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=423748 memory=398760 CPUtime=3093.42 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 100867 0 0 0 309319 23 0 0 20 0 1 0 50773470 433917952 99690 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 105937 99690 3712 2790 0 99362 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 423748 KiB
Current children cumulated memory: 398760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 51006
/proc/meminfo: memFree=119428468/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=424388 memory=399400 CPUtime=3153.26 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 101033 0 0 0 315303 23 0 0 20 0 1 0 50773470 434573312 99850 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 106097 99850 3712 2790 0 99522 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 424388 KiB
Current children cumulated memory: 399400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 51008
/proc/meminfo: memFree=119430940/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=424388 memory=399400 CPUtime=3213.11 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 101140 0 0 0 321288 23 0 0 20 0 1 0 50773470 434573312 99850 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 106097 99850 3712 2790 0 99522 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 424388 KiB
Current children cumulated memory: 399400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 51010
/proc/meminfo: memFree=119414976/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=425204 memory=400296 CPUtime=3272.95 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 101374 0 0 0 327272 23 0 0 20 0 1 0 50773470 435408896 100074 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 106301 100074 3712 2790 0 99726 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 425204 KiB
Current children cumulated memory: 400296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 51012
/proc/meminfo: memFree=119407424/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=427700 memory=402728 CPUtime=3332.81 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 101998 0 0 0 333257 24 0 0 20 0 1 0 50773470 437964800 100682 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 106925 100682 3712 2790 0 100350 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 427700 KiB
Current children cumulated memory: 402728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 51014
/proc/meminfo: memFree=119406520/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=427700 memory=402856 CPUtime=3392.65 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 102030 0 0 0 339241 24 0 0 20 0 1 0 50773470 437964800 100714 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 106925 100714 3712 2790 0 100350 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 427700 KiB
Current children cumulated memory: 402856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 51019
/proc/meminfo: memFree=119406356/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=428340 memory=403496 CPUtime=3452.5 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 102190 0 0 0 345226 24 0 0 20 0 1 0 50773470 438620160 100874 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 107085 100874 3712 2790 0 100510 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 428340 KiB
Current children cumulated memory: 403496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 51021
/proc/meminfo: memFree=119406096/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=428564 memory=403868 CPUtime=3512.35 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 102859 0 0 0 351211 24 0 0 20 0 1 0 50773470 438849536 100967 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 107141 100967 3712 2790 0 100566 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 428564 KiB
Current children cumulated memory: 403868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 51023
/proc/meminfo: memFree=119405684/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=429824 memory=405020 CPUtime=3572.19 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 103163 0 0 0 357195 24 0 0 20 0 1 0 50773470 440139776 101255 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 107456 101255 3712 2790 0 100881 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 429824 KiB
Current children cumulated memory: 405020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 51029
/proc/meminfo: memFree=119407996/131382112 swapFree=33010684/33010684
[pid=50824] ppid=50814 vsize=430020 memory=405276 CPUtime=3600.03 cores=1,3
/proc/50824/stat : 50824 (ipbhs_scip) R 50814 50824 50049 0 -1 4194304 103227 0 0 0 359978 25 0 0 20 0 1 0 50773470 440340480 101319 18446744073709551615 93856230236160 93856241662557 140732234644256 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 93856243798232 93856243843250 93856249229312 140732234647954 140732234648073 140732234648073 140732234653675 0
/proc/50824/statm: 107505 101319 3712 2790 0 100930 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 430020 KiB
Current children cumulated memory: 405276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 50824 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.79 s, system=0.254897 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.2
CPU time (s): 3600.04
CPU user time (s): 3599.79
CPU system time (s): 0.254897
CPU usage (%): 99.7185
Max. virtual memory (cumulated for all children) (KiB): 430020
Max. memory (cumulated for all children) (KiB): 405276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.79
system time used= 0.254897
maximum resident set size= 406056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103227
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= 110
involuntary context switches= 1940
# summary of solver processes directly reported to runsolver:
# pid: 50824
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.79
# total CPU system time (s): 0.254897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8563 second user time and 31.1853 second system time
The end
Begin job on nodeC005 at 2025-07-01 08:22:20
IDJOB=4489400
IDBENCH=147547
IDSOLVER=3335
FILE ID=nodeC005/4489400-1751350940
RUNJOBID= nodeC005-1751343715-50066
SLURM_JOB_ID= 9598113
Free space on /tmp= 430568 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489400-1751350940/watcher-4489400-1751350940 -o /tmp/evaluation-result-4489400-1751350940/solver-4489400-1751350940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751343715-50066 --watchdog 3760 ./ipbhs_scip HOME/instance-4489400-1751350940.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1029617505
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1197.526
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.244
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.228
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.180
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 2994.029
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.231
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.236
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.463
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129109128 kB
MemAvailable: 129950772 kB
Buffers: 2752 kB
Cached: 1640892 kB
SwapCached: 0 kB
Active: 409968 kB
Inactive: 1302888 kB
Active(anon): 79004 kB
Inactive(anon): 8168 kB
Active(file): 330964 kB
Inactive(file): 1294720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 209368 kB
Writeback: 0 kB
AnonPages: 72100 kB
Mapped: 103992 kB
Shmem: 17960 kB
KReclaimable: 111172 kB
Slab: 196132 kB
SReclaimable: 111172 kB
SUnreclaim: 84960 kB
KernelStack: 3980 kB
PageTables: 3176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 350204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430380 MiB
End job on nodeC005 at 2025-07-01 09:22:31