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.68/0.73 c limit for coefficient in constraints and objective to 1000000000
0.68/0.73 c will solve HOME/instance-4502310-1751417758.opb
0.68/0.73 c [0.01] will start solving
16.14/16.23 c [3.26] solve iteration 1, LB=0, UB=10081
16.14/16.23 c [9.23] solve iteration 2, LB=14, UB=16
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 (62287 MiB free)
memory of node 1: 64507 MiB (61390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502310-1751417758/watcher-4502310-1751417758 -o /tmp/evaluation-result-4502310-1751417758/solver-4502310-1751417758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751410410-55305 --watchdog 3760 ./ipbhs_scip HOME/instance-4502310-1751417758.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.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=58005, runsolver pid=58002
[startup+0.100066 s]*
/proc/loadavg: 2.37 2.18 2.12 3/252 58006
/proc/meminfo: memFree=126645972/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=51988 memory=15664 CPUtime=0.09 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 2623 0 0 0 9 0 0 0 20 0 1 0 57455733 53235712 3916 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 12997 3916 1568 2790 0 6422 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51988 KiB
Current children cumulated memory: 15664 KiB
[startup+0.205254 s]*
/proc/loadavg: 2.37 2.18 2.12 3/252 58006
/proc/meminfo: memFree=126630852/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=62488 memory=23856 CPUtime=0.19 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 4678 0 0 0 19 0 0 0 20 0 1 0 57455733 63987712 5964 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 15622 5964 1568 2790 0 9047 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62488 KiB
Current children cumulated memory: 23856 KiB
[startup+0.305158 s]*
/proc/loadavg: 2.37 2.18 2.12 3/252 58006
/proc/meminfo: memFree=126622788/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=72992 memory=31920 CPUtime=0.3 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 6688 0 0 0 29 1 0 0 20 0 1 0 57455733 74743808 7980 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 18248 7980 1568 2790 0 11673 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 31920 KiB
[startup+0.700178 s]
/proc/loadavg: 2.37 2.18 2.12 3/252 58006
/proc/meminfo: memFree=126614724/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=112684 memory=78092 CPUtime=0.68 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 16308 0 0 0 65 3 0 0 20 0 1 0 57455733 115388416 19523 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 28171 19523 1664 2790 0 21596 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112684 KiB
Current children cumulated memory: 78092 KiB
[startup+1.50013 s]
/proc/loadavg: 2.37 2.18 2.12 3/252 58006
/proc/meminfo: memFree=126514680/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=203080 memory=161304 CPUtime=1.48 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 35751 0 0 0 142 6 0 0 20 0 1 0 57455733 207953920 40326 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 50770 40326 3200 2790 0 44195 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203080 KiB
Current children cumulated memory: 161304 KiB
[startup+3.10483 s]
/proc/loadavg: 2.34 2.18 2.11 3/252 58006
/proc/meminfo: memFree=126498552/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=208148 memory=171160 CPUtime=3.09 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 38201 0 0 0 302 7 0 0 20 0 1 0 57455733 213143552 42790 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 52037 42790 3200 2790 0 45462 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 208148 KiB
Current children cumulated memory: 171160 KiB
[startup+6.30016 s]
/proc/loadavg: 2.34 2.18 2.11 3/252 58006
/proc/meminfo: memFree=126230424/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=534764 memory=458804 CPUtime=6.26 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 116360 0 0 0 608 18 0 0 20 0 1 0 57455733 547598336 114701 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 133691 114701 3648 2790 0 127116 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 534764 KiB
Current children cumulated memory: 458804 KiB
[startup+12.7001 s]
/proc/loadavg: 2.32 2.18 2.11 2/248 58014
/proc/meminfo: memFree=127222440/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=798728 memory=729048 CPUtime=12.65 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 198057 0 0 0 1234 31 0 0 20 0 1 0 57455733 817897472 182262 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 199682 182262 3712 2790 0 193107 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 798728 KiB
Current children cumulated memory: 729048 KiB
[startup+25.5002 s]
/proc/loadavg: 2.33 2.18 2.12 3/252 58051
/proc/meminfo: memFree=125236476/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=882116 memory=823932 CPUtime=25.41 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 226247 0 0 0 2505 36 0 0 20 0 1 0 57455733 903286784 205983 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 220529 205983 3712 2790 0 213954 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 882116 KiB
Current children cumulated memory: 823932 KiB
[startup+51.1051 s]
/proc/loadavg: 2.21 2.17 2.11 3/252 58051
/proc/meminfo: memFree=125272144/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=886752 memory=832892 CPUtime=50.94 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 227380 0 0 0 5058 36 0 0 20 0 1 0 57455733 908034048 208223 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 221688 208223 3712 2790 0 215113 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 886752 KiB
Current children cumulated memory: 832892 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.14 2.10 3/255 58056
/proc/meminfo: memFree=125196216/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=922432 memory=872572 CPUtime=102.01 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 236118 0 0 0 10163 38 0 0 20 0 1 0 57455733 944570368 218143 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 230608 218143 3712 2790 0 224033 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 922432 KiB
Current children cumulated memory: 872572 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 2.14 2.10 3/255 58058
/proc/meminfo: memFree=125107984/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=949284 memory=901032 CPUtime=161.83 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 250572 0 0 0 16142 41 0 0 20 0 1 0 57455733 972066816 225258 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 237321 225258 3712 2790 0 230746 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 949284 KiB
Current children cumulated memory: 901032 KiB
[startup+222.3 s]
/proc/loadavg: 2.10 2.13 2.10 3/254 58060
/proc/meminfo: memFree=125031872/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=983416 memory=935880 CPUtime=221.65 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 275049 0 0 0 22121 44 0 0 20 0 1 0 57455733 1007017984 233970 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 245854 233970 3712 2790 0 239279 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 983416 KiB
Current children cumulated memory: 935880 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/253 58062
/proc/meminfo: memFree=125031568/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=1015040 memory=966304 CPUtime=281.47 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 294434 0 0 0 28100 47 0 0 20 0 1 0 57455733 1039400960 241576 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 253760 241576 3712 2790 0 247185 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1015040 KiB
Current children cumulated memory: 966304 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/254 58079
/proc/meminfo: memFree=125001988/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=1046000 memory=1000180 CPUtime=341.31 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 311573 0 0 0 34081 50 0 0 20 0 1 0 57455733 1071104000 250045 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 261500 250045 3712 2790 0 254925 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1046000 KiB
Current children cumulated memory: 1000180 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/253 58084
/proc/meminfo: memFree=124973532/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=1072760 memory=1030260 CPUtime=401.14 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 318229 0 0 0 40064 50 0 0 20 0 1 0 57455733 1098506240 257565 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 268190 257565 3712 2790 0 261615 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1072760 KiB
Current children cumulated memory: 1030260 KiB
[startup+462.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/252 58086
/proc/meminfo: memFree=124941328/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=1099620 memory=1054324 CPUtime=460.97 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 322146 0 0 0 46045 52 0 0 20 0 1 0 57455733 1126010880 263581 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 274905 263581 3712 2790 0 268330 0
################
# More data... #
################
Current children cumulated memory: 1897956 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/251 58205
/proc/meminfo: memFree=123915768/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2000692 memory=1899108 CPUtime=2913.34 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 540815 0 0 0 291235 99 0 0 20 0 1 0 57455733 2048708608 474777 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 500173 474777 3712 2790 0 493598 0
Current children cumulated CPU time: 2913.34 s
Current children cumulated vsize: 2000692 KiB
Current children cumulated memory: 1899108 KiB
[startup+2982.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/251 58207
/proc/meminfo: memFree=123893464/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2001884 memory=1904996 CPUtime=2973.15 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 541239 0 0 0 297216 99 0 0 20 0 1 0 57455733 2049929216 476249 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 500471 476249 3712 2790 0 493896 0
Current children cumulated CPU time: 2973.15 s
Current children cumulated vsize: 2001884 KiB
Current children cumulated memory: 1904996 KiB
[startup+3042.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/251 58209
/proc/meminfo: memFree=123871440/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2009484 memory=1917028 CPUtime=3032.97 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 542454 0 0 0 303197 100 0 0 20 0 1 0 57455733 2057711616 479257 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 502371 479257 3712 2790 0 495796 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 2009484 KiB
Current children cumulated memory: 1917028 KiB
[startup+3102.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/252 58212
/proc/meminfo: memFree=123811876/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2052180 memory=1976164 CPUtime=3092.78 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 553101 0 0 0 309177 101 0 0 20 0 1 0 57455733 2101432320 494041 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 513045 494041 3712 2790 0 506470 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 2052180 KiB
Current children cumulated memory: 1976164 KiB
[startup+3162.3 s]
/proc/loadavg: 2.21 2.13 2.10 4/252 58214
/proc/meminfo: memFree=123801152/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2052180 memory=1983588 CPUtime=3152.59 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 553505 0 0 0 315158 101 0 0 20 0 1 0 57455733 2101432320 495897 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 513045 495897 3712 2790 0 506470 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 2052180 KiB
Current children cumulated memory: 1983588 KiB
[startup+3222.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/252 58216
/proc/meminfo: memFree=123798508/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2052180 memory=1991652 CPUtime=3212.4 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 553892 0 0 0 321138 102 0 0 20 0 1 0 57455733 2101432320 497913 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 513045 497913 3712 2790 0 506470 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 2052180 KiB
Current children cumulated memory: 1991652 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/252 58218
/proc/meminfo: memFree=123761684/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2051844 memory=2001156 CPUtime=3272.22 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 556591 0 0 0 327120 102 0 0 20 0 1 0 57455733 2101088256 500289 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 512961 500289 3712 2790 0 506386 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 2051844 KiB
Current children cumulated memory: 2001156 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/252 58220
/proc/meminfo: memFree=123747452/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2054868 memory=2012804 CPUtime=3332.05 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 557643 0 0 0 333102 103 0 0 20 0 1 0 57455733 2104184832 503201 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 513717 503201 3712 2790 0 507142 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 2054868 KiB
Current children cumulated memory: 2012804 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/252 58225
/proc/meminfo: memFree=123688384/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2082536 memory=2049924 CPUtime=3391.87 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 564214 0 0 0 339083 104 0 0 20 0 1 0 57455733 2132516864 512481 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 520634 512481 3712 2790 0 514059 0
Current children cumulated CPU time: 3391.87 s
Current children cumulated vsize: 2082536 KiB
Current children cumulated memory: 2049924 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/251 58227
/proc/meminfo: memFree=123694052/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2083740 memory=2056068 CPUtime=3451.7 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 564689 0 0 0 345066 104 0 0 20 0 1 0 57455733 2133749760 514017 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 520935 514017 3712 2790 0 514360 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 2083740 KiB
Current children cumulated memory: 2056068 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/253 58235
/proc/meminfo: memFree=123694076/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2083740 memory=2056068 CPUtime=3511.53 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 564693 0 0 0 351049 104 0 0 20 0 1 0 57455733 2133749760 514017 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 520935 514017 3712 2790 0 514360 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 2083740 KiB
Current children cumulated memory: 2056068 KiB
[startup+3582.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/253 58237
/proc/meminfo: memFree=123717060/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2084416 memory=2057092 CPUtime=3571.35 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 565540 0 0 0 357031 104 0 0 20 0 1 0 57455733 2134441984 514273 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 521104 514273 3712 2790 0 514529 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 2084416 KiB
Current children cumulated memory: 2057092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 2.08 2.09 2.09 3/253 58237
/proc/meminfo: memFree=123715548/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2087040 memory=2059012 CPUtime=3600.08 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 566073 0 0 0 359904 104 0 0 20 0 1 0 57455733 2137128960 514753 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 521760 514753 3712 2790 0 515185 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2087040 KiB
Current children cumulated memory: 2059012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 58005 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.04 s, system=1.05056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 2.08 2.09 2.09 3/253 58237
/proc/meminfo: memFree=123715548/131250000 swapFree=33010416/33010684
[pid=58005] ppid=58002 vsize=2087040 memory=2059012 CPUtime=3600.08 cores=1,3
/proc/58005/stat : 58005 (ipbhs_scip) R 58002 58005 55261 0 -1 4194304 566073 0 0 0 359904 104 0 0 20 0 1 0 57455733 2137128960 514753 18446744073709551615 94020393787392 94020405213789 140720574630752 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 94020407349464 94020407394482 94020436353024 140720574638482 140720574638601 140720574638601 140720574644203 0
/proc/58005/statm: 521760 514753 3712 2790 0 515185 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2087040 KiB
Current children cumulated memory: 2059012 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.11
CPU time (s): 3600.09
CPU user time (s): 3599.04
CPU system time (s): 1.05056
CPU usage (%): 99.6948
Max. virtual memory (cumulated for all children) (KiB): 2087040
Max. memory (cumulated for all children) (KiB): 2059012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.05056
maximum resident set size= 2059012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566073
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= 148
involuntary context switches= 3519
# summary of solver processes directly reported to runsolver:
# pid: 58005
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.04
# total CPU system time (s): 1.05056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52838 second user time and 15.0963 second system time
The end
Begin job on nodeC027 at 2025-07-02 02:55:58
IDJOB=4502310
IDBENCH=155319
IDSOLVER=3335
FILE ID=nodeC027/4502310-1751417758
RUNJOBID= nodeC027-1751410410-55305
SLURM_JOB_ID= 9598318
Free space on /tmp= 431392 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502310-1751417758/watcher-4502310-1751417758 -o /tmp/evaluation-result-4502310-1751417758/solver-4502310-1751417758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751410410-55305 --watchdog 3760 ./ipbhs_scip HOME/instance-4502310-1751417758.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=1410435959
nodeC027 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 : 1198.902
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.29
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 : 3700.000
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.29
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 : 3700.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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.644
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.29
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 : 3700.000
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.29
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.619
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.29
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 : 3700.000
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.29
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 : 3700.000
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126646664 kB
MemAvailable: 128295344 kB
Buffers: 2488 kB
Cached: 2450396 kB
SwapCached: 12 kB
Active: 1654380 kB
Inactive: 2137432 kB
Active(anon): 1354192 kB
Inactive(anon): 2792 kB
Active(file): 300188 kB
Inactive(file): 2134640 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 158384 kB
Writeback: 0 kB
AnonPages: 1342024 kB
Mapped: 114280 kB
Shmem: 18056 kB
KReclaimable: 105784 kB
Slab: 193968 kB
SReclaimable: 105784 kB
SUnreclaim: 88184 kB
KernelStack: 4064 kB
PageTables: 5308 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1638868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1161216 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431328 MiB
End job on nodeC027 at 2025-07-02 03:56:10