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.06 c limit for coefficient in constraints and objective to 1000000000
0.00/0.06 c will solve HOME/instance-4519592-1751533845.opb
0.00/0.06 c [0] will start solving
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: 63794 MiB (62170 MiB free)
memory of node 1: 64507 MiB (59084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519592-1751533845/watcher-4519592-1751533845 -o /tmp/evaluation-result-4519592-1751533845/solver-4519592-1751533845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751530082-72191 --watchdog 3760 ./ipbhs_scip HOME/instance-4519592-1751533845.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=74371, runsolver pid=74368
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 4.12 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124162044/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=53156 memory=26564 CPUtime=0.09 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 3529 0 0 0 7 2 0 0 20 0 1 0 69064219 54431744 6641 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 13289 6641 3552 2790 0 6714 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53156 KiB
Current children cumulated memory: 26564 KiB
[startup+0.213517 s]*
/proc/loadavg: 4.12 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124160028/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=53552 memory=29536 CPUtime=0.21 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 3778 0 0 0 18 3 0 0 20 0 1 0 69064219 54837248 7384 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 13388 7384 3552 2790 0 6813 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53552 KiB
Current children cumulated memory: 29536 KiB
[startup+0.313216 s]*
/proc/loadavg: 4.12 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124160028/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=54212 memory=30176 CPUtime=0.31 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 3918 0 0 0 27 4 0 0 20 0 1 0 69064219 55513088 7544 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 13553 7544 3552 2790 0 6978 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 30176 KiB
[startup+0.700266 s]
/proc/loadavg: 4.12 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124155996/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=55928 memory=33992 CPUtime=0.69 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 4360 0 0 0 62 7 0 0 20 0 1 0 69064219 57270272 8498 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 13982 8498 3552 2790 0 7407 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55928 KiB
Current children cumulated memory: 33992 KiB
[startup+1.50028 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124156248/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=67716 memory=41672 CPUtime=1.48 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 6292 0 0 0 138 10 0 0 20 0 1 0 69064219 69341184 10418 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 16929 10418 3552 2790 0 10354 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67716 KiB
Current children cumulated memory: 41672 KiB
[startup+3.11306 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124140876/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=81296 memory=52028 CPUtime=3.08 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 8360 0 0 0 295 13 0 0 20 0 1 0 69064219 83247104 13007 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 20324 13007 3552 2790 0 13749 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81296 KiB
Current children cumulated memory: 52028 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124133176/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=89824 memory=66060 CPUtime=6.27 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 10865 0 0 0 608 19 0 0 20 0 1 0 69064219 91979776 16515 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 22456 16515 3552 2790 0 15881 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89824 KiB
Current children cumulated memory: 66060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 74372
/proc/meminfo: memFree=124125112/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=109908 memory=81888 CPUtime=12.65 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 12776 0 0 0 1241 24 0 0 20 0 1 0 69064219 112545792 20472 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 27477 20472 3552 2790 0 20902 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 109908 KiB
Current children cumulated memory: 81888 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 74372
/proc/meminfo: memFree=124109424/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=139148 memory=96984 CPUtime=25.42 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 15516 0 0 0 2502 40 0 0 20 0 1 0 69064219 142487552 24246 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 34787 24246 3552 2790 0 28212 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 139148 KiB
Current children cumulated memory: 96984 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 74423
/proc/meminfo: memFree=124509468/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=147880 memory=104664 CPUtime=50.96 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 17463 0 0 0 5033 63 0 0 20 0 1 0 69064219 151429120 26166 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 36970 26166 3552 2790 0 30395 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 147880 KiB
Current children cumulated memory: 104664 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 74425
/proc/meminfo: memFree=124448476/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=163132 memory=122988 CPUtime=101.99 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 20509 0 0 0 10094 105 0 0 20 0 1 0 69064219 167047168 30747 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 40783 30747 3552 2790 0 34208 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 163132 KiB
Current children cumulated memory: 122988 KiB
[startup+162.3 s]
/proc/loadavg: 4.56 4.23 4.13 5/253 74430
/proc/meminfo: memFree=124412516/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=168060 memory=133672 CPUtime=161.8 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 21644 0 0 0 16034 146 0 0 20 0 1 0 69064219 172093440 33418 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 42015 33418 3552 2790 0 35440 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 133672 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.27 4.16 5/251 74431
/proc/meminfo: memFree=124391640/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=175376 memory=143168 CPUtime=221.61 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 23497 0 0 0 21971 190 0 0 20 0 1 0 69064219 179585024 35792 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 43844 35792 3552 2790 0 37269 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 175376 KiB
Current children cumulated memory: 143168 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.24 4.15 5/251 74433
/proc/meminfo: memFree=124376160/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=210564 memory=147008 CPUtime=281.41 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 24468 0 0 0 27923 218 0 0 20 0 1 0 69064219 215617536 36752 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 52641 36752 3552 2790 0 46066 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 210564 KiB
Current children cumulated memory: 147008 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/250 74524
/proc/meminfo: memFree=128066332/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=214212 memory=154676 CPUtime=341.22 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 25380 0 0 0 33870 252 0 0 20 0 1 0 69064219 219353088 38669 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 53553 38669 3552 2790 0 46978 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 214212 KiB
Current children cumulated memory: 154676 KiB
[startup+402.3 s]
/proc/loadavg: 4.62 4.33 4.19 5/251 74527
/proc/meminfo: memFree=127952528/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=215156 memory=155572 CPUtime=401.02 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 25606 0 0 0 39820 282 0 0 20 0 1 0 69064219 220319744 38893 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 53789 38893 3552 2790 0 47214 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 215156 KiB
Current children cumulated memory: 155572 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.34 4.20 5/251 74529
/proc/meminfo: memFree=127886440/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=220020 memory=163980 CPUtime=460.83 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 26668 0 0 0 45774 309 0 0 20 0 1 0 69064219 225300480 40995 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 55005 40995 3552 2790 0 48430 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 267932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 74666
/proc/meminfo: memFree=126776660/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=323720 memory=267932 CPUtime=2914.08 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 36798 0 0 0 290361 1047 0 0 20 0 1 0 69064219 331489280 66983 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 80930 66983 3552 2790 0 74355 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 323720 KiB
Current children cumulated memory: 267932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 74668
/proc/meminfo: memFree=126759216/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=324104 memory=268188 CPUtime=2973.9 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 36936 0 0 0 296320 1070 0 0 20 0 1 0 69064219 331882496 67047 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81026 67047 3552 2790 0 74451 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 324104 KiB
Current children cumulated memory: 268188 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/250 74681
/proc/meminfo: memFree=126756104/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=324104 memory=268188 CPUtime=3033.71 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 36980 0 0 0 302289 1082 0 0 20 0 1 0 69064219 331882496 67047 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81026 67047 3552 2790 0 74451 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 324104 KiB
Current children cumulated memory: 268188 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 74688
/proc/meminfo: memFree=126697380/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=324104 memory=268188 CPUtime=3093.54 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 36981 0 0 0 308252 1102 0 0 20 0 1 0 69064219 331882496 67047 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81026 67047 3552 2790 0 74451 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 324104 KiB
Current children cumulated memory: 268188 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 74690
/proc/meminfo: memFree=126620828/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=324104 memory=268188 CPUtime=3153.36 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 36981 0 0 0 314222 1114 0 0 20 0 1 0 69064219 331882496 67047 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81026 67047 3552 2790 0 74451 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 324104 KiB
Current children cumulated memory: 268188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/251 74695
/proc/meminfo: memFree=126638004/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=326536 memory=271688 CPUtime=3213.19 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 37340 0 0 0 320193 1126 0 0 20 0 1 0 69064219 334372864 67922 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81634 67922 3552 2790 0 75059 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 326536 KiB
Current children cumulated memory: 271688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 74697
/proc/meminfo: memFree=126642680/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=326536 memory=271688 CPUtime=3273 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 37340 0 0 0 326155 1145 0 0 20 0 1 0 69064219 334372864 67922 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81634 67922 3552 2790 0 75059 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 326536 KiB
Current children cumulated memory: 271688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 74699
/proc/meminfo: memFree=126575436/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=326536 memory=271688 CPUtime=3332.83 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 37349 0 0 0 332128 1155 0 0 20 0 1 0 69064219 334372864 67922 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81634 67922 3552 2790 0 75059 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 326536 KiB
Current children cumulated memory: 271688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 74701
/proc/meminfo: memFree=126569632/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=326920 memory=271944 CPUtime=3392.65 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 37407 0 0 0 338095 1170 0 0 20 0 1 0 69064219 334766080 67986 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81730 67986 3552 2790 0 75155 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 326920 KiB
Current children cumulated memory: 271944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 74703
/proc/meminfo: memFree=126561448/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=327144 memory=272072 CPUtime=3452.48 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 37437 0 0 0 344065 1183 0 0 20 0 1 0 69064219 334995456 68018 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 81786 68018 3552 2790 0 75211 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 327144 KiB
Current children cumulated memory: 272072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 74751
/proc/meminfo: memFree=127035372/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=330472 memory=273864 CPUtime=3512.29 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 37905 0 0 0 350039 1190 0 0 20 0 1 0 69064219 338403328 68466 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 82618 68466 3552 2790 0 76043 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 330472 KiB
Current children cumulated memory: 273864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 74842
/proc/meminfo: memFree=126966240/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=336648 memory=283772 CPUtime=3572.11 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 38838 0 0 0 356003 1208 0 0 20 0 1 0 69064219 344727552 70943 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 84162 70943 3552 2790 0 77587 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 336648 KiB
Current children cumulated memory: 283772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 74844
/proc/meminfo: memFree=126958868/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=336648 memory=283772 CPUtime=3600.03 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 38838 0 0 0 358785 1218 0 0 20 0 1 0 69064219 344727552 70943 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 84162 70943 3552 2790 0 77587 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 336648 KiB
Current children cumulated memory: 283772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 74371 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3587.85 s, system=12.1885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 74844
/proc/meminfo: memFree=126958868/131382112 swapFree=33010416/33010684
[pid=74371] ppid=74368 vsize=336648 memory=283772 CPUtime=3600.03 cores=5,7
/proc/74371/stat : 74371 (ipbhs_scip) R 74368 74371 72178 0 -1 4194304 38838 0 0 0 358785 1218 0 0 20 0 1 0 69064219 344727552 70943 18446744073709551615 94479959506944 94479970933341 140725683123744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94479973069016 94479973114034 94480008835072 140725683132818 140725683132937 140725683132937 140725683138539 0
/proc/74371/statm: 84162 70943 3552 2790 0 77587 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 336648 KiB
Current children cumulated memory: 283772 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.3
CPU time (s): 3600.04
CPU user time (s): 3587.85
CPU system time (s): 12.1885
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 336648
Max. memory (cumulated for all children) (KiB): 283772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.85
system time used= 12.1885
maximum resident set size= 283772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38838
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= 155
involuntary context switches= 2382
# summary of solver processes directly reported to runsolver:
# pid: 74371
# total CPU time (s): 3600.04
# total CPU user time (s): 3587.85
# total CPU system time (s): 12.1885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6659 second user time and 37.0515 second system time
The end
Begin job on nodeC012 at 2025-07-03 11:10:45
IDJOB=4519592
IDBENCH=177316
IDSOLVER=3335
FILE ID=nodeC012/4519592-1751533845
RUNJOBID= nodeC012-1751530082-72191
SLURM_JOB_ID= 9598671
Free space on /tmp= 431644 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519592-1751533845/watcher-4519592-1751533845 -o /tmp/evaluation-result-4519592-1751533845/solver-4519592-1751533845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751530082-72191 --watchdog 3760 ./ipbhs_scip HOME/instance-4519592-1751533845.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=1222523777
nodeC012 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 : 3545.643
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.39
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 : 3691.195
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.39
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.153
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.39
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 : 3700.000
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.39
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 : 3662.244
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.39
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 : 3700.000
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.39
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 : 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 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.39
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.157
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 124165012 kB
MemAvailable: 124562968 kB
Buffers: 2136 kB
Cached: 1199156 kB
SwapCached: 16 kB
Active: 5989860 kB
Inactive: 580984 kB
Active(anon): 5380500 kB
Inactive(anon): 6996 kB
Active(file): 609360 kB
Inactive(file): 573988 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69912 kB
Writeback: 0 kB
AnonPages: 5370132 kB
Mapped: 135340 kB
Shmem: 17944 kB
KReclaimable: 108084 kB
Slab: 193088 kB
SReclaimable: 108084 kB
SUnreclaim: 85004 kB
KernelStack: 4064 kB
PageTables: 13716 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5870408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1918976 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431600 MiB
End job on nodeC012 at 2025-07-03 12:10:56