0.00/0.00 c initialize IPBHS solver
0.00/0.00 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.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.00/0.07 c limit for coefficient in constraints and objective to 1000000000
0.00/0.07 c will solve HOME/instance-4503776-1751432328.opb
0.00/0.07 c [0] will start solving
1064.73/1067.78 c [0.04] solve iteration 1, LB=-50, UB=48050028169
1064.73/1067.78 c [309.43] solve iteration 2, LB=1345215, UB=4981593
1064.73/1067.78 c [845.15] solve iteration 3, LB=1650436, UB=4869809
1801.74/1806.88 c [1464.39] solve iteration 4, LB=1722565, UB=4201155
2722.97/2730.75 c [2185.58] solve iteration 5, LB=1776609, UB=4201155
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: 63665 MiB (55943 MiB free)
memory of node 1: 64507 MiB (56330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503776-1751432328/watcher-4503776-1751432328 -o /tmp/evaluation-result-4503776-1751432328/solver-4503776-1751432328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66634 --watchdog 3760 ./ipbhs_scip HOME/instance-4503776-1751432328.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=67245, runsolver pid=67242
[startup+0.100065 s]*
/proc/loadavg: 4.25 4.17 4.11 5/265 67246
/proc/meminfo: memFree=114932880/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=69428 memory=45788 CPUtime=0.09 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 7726 0 0 0 5 4 0 0 20 0 1 0 58913100 71094272 11415 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 17357 11447 3232 2790 0 10782 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69428 KiB
Current children cumulated memory: 45788 KiB
[startup+0.205613 s]*
/proc/loadavg: 4.25 4.17 4.11 5/265 67246
/proc/meminfo: memFree=114909192/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=92128 memory=68172 CPUtime=0.19 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 13173 0 0 0 13 6 0 0 20 0 1 0 58913100 94339072 17043 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 23032 17043 3520 2790 0 16457 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92128 KiB
Current children cumulated memory: 68172 KiB
[startup+0.305519 s]*
/proc/loadavg: 4.25 4.17 4.11 5/265 67246
/proc/meminfo: memFree=114904908/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=102072 memory=74668 CPUtime=0.3 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 14863 0 0 0 23 7 0 0 20 0 1 0 58913100 104521728 18667 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 25518 18667 3648 2790 0 18943 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102072 KiB
Current children cumulated memory: 74668 KiB
[startup+0.700162 s]
/proc/loadavg: 4.25 4.17 4.11 5/265 67246
/proc/meminfo: memFree=114884748/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=133212 memory=101184 CPUtime=0.68 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 21641 0 0 0 60 8 0 0 20 0 1 0 58913100 136409088 25296 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 33303 25296 3680 2790 0 26728 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133212 KiB
Current children cumulated memory: 101184 KiB
[startup+1.50017 s]
/proc/loadavg: 4.25 4.17 4.11 5/265 67246
/proc/meminfo: memFree=114876936/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=131872 memory=99944 CPUtime=1.48 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 21794 0 0 0 129 19 0 0 20 0 1 0 58913100 135036928 24986 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 32968 24986 3712 2790 0 26393 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131872 KiB
Current children cumulated memory: 99944 KiB
[startup+3.1054 s]
/proc/loadavg: 4.31 4.18 4.11 5/265 67247
/proc/meminfo: memFree=114620464/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=131872 memory=99944 CPUtime=3.08 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 21800 0 0 0 265 43 0 0 20 0 1 0 58913100 135036928 24986 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 32968 24986 3712 2790 0 26393 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 131872 KiB
Current children cumulated memory: 99944 KiB
[startup+6.30015 s]
/proc/loadavg: 4.31 4.18 4.11 5/265 67247
/proc/meminfo: memFree=114333032/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=134592 memory=103296 CPUtime=6.26 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 22144 0 0 0 536 90 0 0 20 0 1 0 58913100 137822208 25824 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 33648 25824 3712 2790 0 27073 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 134592 KiB
Current children cumulated memory: 103296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.18 4.11 5/265 67247
/proc/meminfo: memFree=114322768/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=145208 memory=116300 CPUtime=12.65 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 24353 0 0 0 1101 164 0 0 20 0 1 0 58913100 148692992 29075 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 36302 29075 3712 2790 0 29727 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 145208 KiB
Current children cumulated memory: 116300 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.17 4.11 5/265 67247
/proc/meminfo: memFree=114307644/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=176952 memory=139768 CPUtime=25.42 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 28175 0 0 0 2257 285 0 0 20 0 1 0 58913100 181198848 34942 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 44238 34942 3712 2790 0 37663 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 176952 KiB
Current children cumulated memory: 139768 KiB
[startup+51.1054 s]
/proc/loadavg: 4.22 4.17 4.11 5/265 67248
/proc/meminfo: memFree=114263312/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=223016 memory=179264 CPUtime=50.95 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 35503 0 0 0 4604 491 0 0 20 0 1 0 58913100 228368384 44816 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 55754 44816 3712 2790 0 49179 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 223016 KiB
Current children cumulated memory: 179264 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/265 67249
/proc/meminfo: memFree=114206620/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=291468 memory=235320 CPUtime=102 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 45439 0 0 0 9429 771 0 0 20 0 1 0 58913100 298463232 58830 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 72867 58830 3712 2790 0 66292 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 291468 KiB
Current children cumulated memory: 235320 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 67262
/proc/meminfo: memFree=114322512/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=372540 memory=296172 CPUtime=161.84 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 53493 0 0 0 15185 999 0 0 20 0 1 0 58913100 381480960 74043 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 93135 74043 3712 2790 0 86560 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 372540 KiB
Current children cumulated memory: 296172 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 67268
/proc/meminfo: memFree=114025928/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=408184 memory=331628 CPUtime=221.66 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 62382 0 0 0 20878 1288 0 0 20 0 1 0 58913100 417980416 82907 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 102046 82907 3712 2790 0 95471 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 408184 KiB
Current children cumulated memory: 331628 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 67270
/proc/meminfo: memFree=113979436/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=433332 memory=356972 CPUtime=281.5 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 68695 0 0 0 26682 1468 0 0 20 0 1 0 58913100 443731968 89243 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 108333 89243 3712 2790 0 101758 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 433332 KiB
Current children cumulated memory: 356972 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 67272
/proc/meminfo: memFree=111774964/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=2716720 memory=2492792 CPUtime=341.33 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 564499 0 0 0 32467 1666 0 0 20 0 1 0 58913100 2781921280 623198 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 679180 623198 3712 2790 0 672605 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2716720 KiB
Current children cumulated memory: 2492792 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 67274
/proc/meminfo: memFree=111504236/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=3101976 memory=2841356 CPUtime=401.16 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 589826 0 0 0 38440 1676 0 0 20 0 1 0 58913100 3176423424 710339 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 775494 710339 3744 2790 0 768919 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 3101976 KiB
Current children cumulated memory: 2841356 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 67278
/proc/meminfo: memFree=111573612/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=3020176 memory=2759768 CPUtime=461 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 589830 0 0 0 44269 1831 0 0 20 0 1 0 58913100 3092660224 689942 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 755044 689942 3744 2790 0 748469 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
/proc/meminfo: memFree=98140260/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10582076 memory=10016512 CPUtime=2914 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1738279 0 0 0 286246 5154 0 0 20 0 1 0 58913100 10836045824 2504128 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2645519 2504128 3744 2790 0 2638944 0
Current children cumulated CPU time: 2914 s
Current children cumulated vsize: 10582076 KiB
Current children cumulated memory: 10016512 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 67434
/proc/meminfo: memFree=98055408/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10582076 memory=10016512 CPUtime=2973.82 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1738645 0 0 0 292226 5156 0 0 20 0 1 0 58913100 10836045824 2504128 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2645519 2504128 3744 2790 0 2638944 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 10582076 KiB
Current children cumulated memory: 10016512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 67436
/proc/meminfo: memFree=97147176/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10582076 memory=10016512 CPUtime=3033.64 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1739213 0 0 0 298207 5157 0 0 20 0 1 0 58913100 10836045824 2504128 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2645519 2504128 3744 2790 0 2638944 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 10582076 KiB
Current children cumulated memory: 10016512 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 67438
/proc/meminfo: memFree=97381068/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10335980 memory=9770464 CPUtime=3093.46 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1739519 0 0 0 304172 5174 0 0 20 0 1 0 58913100 10584043520 2442616 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2583995 2442616 3744 2790 0 2577420 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 10335980 KiB
Current children cumulated memory: 9770464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 67441
/proc/meminfo: memFree=97364500/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10335980 memory=9770464 CPUtime=3153.31 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1739821 0 0 0 309912 5419 0 0 20 0 1 0 58913100 10584043520 2442616 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2583995 2442616 3744 2790 0 2577420 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 10335980 KiB
Current children cumulated memory: 9770464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 67443
/proc/meminfo: memFree=97362404/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10335980 memory=9770464 CPUtime=3213.13 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1740001 0 0 0 315713 5600 0 0 20 0 1 0 58913100 10584043520 2442616 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2583995 2442616 3744 2790 0 2577420 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 10335980 KiB
Current children cumulated memory: 9770464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 67450
/proc/meminfo: memFree=97315444/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10335980 memory=9770464 CPUtime=3272.97 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1740177 0 0 0 321544 5753 0 0 20 0 1 0 58913100 10584043520 2442616 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2583995 2442616 3744 2790 0 2577420 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 10335980 KiB
Current children cumulated memory: 9770464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/263 67452
/proc/meminfo: memFree=97334640/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=10335980 memory=9770464 CPUtime=3332.81 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1740376 0 0 0 327348 5933 0 0 20 0 1 0 58913100 10584043520 2442616 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2583995 2442616 3744 2790 0 2577420 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 10335980 KiB
Current children cumulated memory: 9770464 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.19 4.12 5/263 67454
/proc/meminfo: memFree=97629304/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=9937148 memory=9608016 CPUtime=3392.64 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 1796705 0 0 0 333208 6056 0 0 20 0 1 0 58913100 10175639552 2402004 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 2484287 2402004 3744 2790 0 2477712 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 9937148 KiB
Current children cumulated memory: 9608016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/263 67501
/proc/meminfo: memFree=98752364/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=13616012 memory=12847256 CPUtime=3452.46 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 2090133 0 0 0 339060 6186 0 0 20 0 1 0 58913100 13942796288 3211814 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 3404003 3211814 3744 2790 0 3397428 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 13616012 KiB
Current children cumulated memory: 12847256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/263 67505
/proc/meminfo: memFree=99088816/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=13616012 memory=12847256 CPUtime=3512.27 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 2090191 0 0 0 345040 6187 0 0 20 0 1 0 58913100 13942796288 3211814 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 3404003 3211814 3744 2790 0 3397428 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 13616012 KiB
Current children cumulated memory: 12847256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.55 4.27 4.15 5/262 67551
/proc/meminfo: memFree=105092864/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=12838632 memory=12111048 CPUtime=3572.1 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 2096984 0 0 0 351020 6190 0 0 20 0 1 0 58913100 13146759168 3027762 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 3209658 3027762 3744 2790 0 3203083 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 12838632 KiB
Current children cumulated memory: 12111048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.34 4.24 4.14 5/262 67553
/proc/meminfo: memFree=105064508/131250000 swapFree=33010684/33010684
[pid=67245] ppid=67242 vsize=12838632 memory=12111304 CPUtime=3600.03 cores=0,2
/proc/67245/stat : 67245 (ipbhs_scip) R 67242 67245 66624 0 -1 4194304 2097120 0 0 0 353813 6190 0 0 20 0 1 0 58913100 13146759168 3027826 18446744073709551615 94492637814784 94492649241181 140735835496736 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94492651376856 94492651421874 94492669288448 140735835498898 140735835499017 140735835499017 140735835504619 0
/proc/67245/statm: 3209658 3027826 3744 2790 0 3203083 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 12838632 KiB
Current children cumulated memory: 12111304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.58 s]
# the end of solver process 67245 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3538.14 s, system=62.1913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]*
/proc/loadavg: 4.34 4.24 4.14 5/262 67553
/proc/meminfo: memFree=107989180/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.51 s]
/proc/loadavg: 4.34 4.24 4.14 5/262 67553
/proc/meminfo: memFree=107989180/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.58
CPU time (s): 3600.33
CPU user time (s): 3538.14
CPU system time (s): 62.1913
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 14035912
Max. memory (cumulated for all children) (KiB): 13250952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.14
system time used= 62.1913
maximum resident set size= 13266824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2097120
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= 88
involuntary context switches= 4664
# summary of solver processes directly reported to runsolver:
# pid: 67245
# total CPU time (s): 3600.33
# total CPU user time (s): 3538.14
# total CPU system time (s): 62.1913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60187 second user time and 15.4334 second system time
The end
Begin job on nodeC013 at 2025-07-02 06:58:48
IDJOB=4503776
IDBENCH=155603
IDSOLVER=3335
FILE ID=nodeC013/4503776-1751432328
RUNJOBID= nodeC013-1751428542-66634
SLURM_JOB_ID= 9598364
Free space on /tmp= 432380 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503776-1751432328/watcher-4503776-1751432328 -o /tmp/evaluation-result-4503776-1751432328/solver-4503776-1751432328 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66634 --watchdog 3760 ./ipbhs_scip HOME/instance-4503776-1751432328.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=1496731512
nodeC013 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 : 0xb00002a
cpu MHz : 3511.996
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 pti ibrs ibpb stibp 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 : 6999.67
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 : 3599.832
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 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.000
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 pti ibrs ibpb stibp 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 : 6999.67
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 : 3554.449
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 pti ibrs ibpb stibp 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 : 6999.67
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 : 3599.842
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 pti ibrs ibpb stibp 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 : 6999.67
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 : 3599.834
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 pti ibrs ibpb stibp 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 : 6999.67
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 : 3605.376
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 pti ibrs ibpb stibp 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 : 6999.67
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 : 3571.888
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 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 114968780 kB
MemAvailable: 116055684 kB
Buffers: 3280 kB
Cached: 1885920 kB
SwapCached: 0 kB
Active: 13794308 kB
Inactive: 1641000 kB
Active(anon): 13559392 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 1641000 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70184 kB
Writeback: 4 kB
AnonPages: 13547828 kB
Mapped: 131624 kB
Shmem: 13284 kB
KReclaimable: 100052 kB
Slab: 188940 kB
SReclaimable: 100052 kB
SUnreclaim: 88888 kB
KernelStack: 4272 kB
PageTables: 30096 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 15047708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7329792 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432420 MiB
End job on nodeC013 at 2025-07-02 07:58:59