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.09/0.15 c limit for coefficient in constraints and objective to 1000000000
0.09/0.15 c will solve HOME/instance-4508030-1751501113.opb
0.09/0.15 c [0] will start solving
0.58/0.61 c [0.01] solve iteration 1, LB=0, UB=212
0.58/0.61 c [0.38] solve iteration 2, LB=0, UB=79
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: 63708 MiB (55437 MiB free)
memory of node 1: 64465 MiB (47013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508030-1751501113/watcher-4508030-1751501113 -o /tmp/evaluation-result-4508030-1751501113/solver-4508030-1751501113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751497501-69560 --watchdog 3760 ./ipbhs_scip HOME/instance-4508030-1751501113.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=70086, runsolver pid=70083
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.11 4.05 6/265 70087
/proc/meminfo: memFree=104891372/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=52188 memory=23004 CPUtime=0.09 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 3534 0 0 0 7 2 0 0 20 0 1 0 65789916 53440512 5751 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 13047 5751 1696 2790 0 6472 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52188 KiB
Current children cumulated memory: 23004 KiB
[startup+0.205606 s]*
/proc/loadavg: 4.11 4.11 4.05 5/265 70087
/proc/meminfo: memFree=104843240/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=100060 memory=74716 CPUtime=0.19 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 14747 0 0 0 14 5 0 0 20 0 1 0 65789916 102461440 18679 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 25015 18679 3552 2790 0 18440 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100060 KiB
Current children cumulated memory: 74716 KiB
[startup+0.305611 s]*
/proc/loadavg: 4.11 4.11 4.05 5/265 70087
/proc/meminfo: memFree=104843240/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=100060 memory=74844 CPUtime=0.29 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 14782 0 0 0 24 5 0 0 20 0 1 0 65789916 102461440 18711 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 25015 18711 3552 2790 0 18440 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100060 KiB
Current children cumulated memory: 74844 KiB
[startup+0.700154 s]
/proc/loadavg: 4.11 4.11 4.05 5/265 70087
/proc/meminfo: memFree=104835176/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=103592 memory=81980 CPUtime=0.68 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 19966 0 0 0 57 11 0 0 20 0 1 0 65789916 106078208 20495 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 25898 20495 3744 2790 0 19323 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103592 KiB
Current children cumulated memory: 81980 KiB
[startup+1.50012 s]
/proc/loadavg: 4.11 4.11 4.05 5/265 70087
/proc/meminfo: memFree=104835176/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=103920 memory=82492 CPUtime=1.47 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 20090 0 0 0 135 12 0 0 20 0 1 0 65789916 106414080 20623 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 25980 20623 3744 2790 0 19405 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 103920 KiB
Current children cumulated memory: 82492 KiB
[startup+3.10536 s]
/proc/loadavg: 4.18 4.12 4.06 5/265 70087
/proc/meminfo: memFree=104843352/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=103920 memory=82492 CPUtime=3.08 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 20092 0 0 0 292 16 0 0 20 0 1 0 65789916 106414080 20623 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 25980 20623 3744 2790 0 19405 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103920 KiB
Current children cumulated memory: 82492 KiB
[startup+6.3001 s]
/proc/loadavg: 4.18 4.12 4.06 5/265 70087
/proc/meminfo: memFree=104851416/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=104184 memory=82748 CPUtime=6.26 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 20160 0 0 0 604 22 0 0 20 0 1 0 65789916 106684416 20687 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 26046 20687 3744 2790 0 19471 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 104184 KiB
Current children cumulated memory: 82748 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.12 4.06 5/265 70087
/proc/meminfo: memFree=104858052/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=104448 memory=83132 CPUtime=12.65 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 20258 0 0 0 1230 35 0 0 20 0 1 0 65789916 106954752 20783 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 26112 20783 3744 2790 0 19537 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 104448 KiB
Current children cumulated memory: 83132 KiB
[startup+25.5001 s]
/proc/loadavg: 4.21 4.13 4.06 5/265 70132
/proc/meminfo: memFree=108452384/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=107696 memory=85896 CPUtime=25.42 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 20461 0 0 0 2485 57 0 0 20 0 1 0 65789916 110280704 21474 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 26924 21474 3744 2790 0 20349 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107696 KiB
Current children cumulated memory: 85896 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.12 4.06 5/266 70134
/proc/meminfo: memFree=108418676/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=110852 memory=89352 CPUtime=50.97 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 21321 0 0 0 4987 110 0 0 20 0 1 0 65789916 113512448 22338 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 27713 22338 3744 2790 0 21138 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 110852 KiB
Current children cumulated memory: 89352 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/266 70139
/proc/meminfo: memFree=108392736/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=116808 memory=94224 CPUtime=102.03 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 22006 0 0 0 10000 203 0 0 20 0 1 0 65789916 119611392 23556 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 29202 23556 3744 2790 0 22627 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 116808 KiB
Current children cumulated memory: 94224 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.14 4.07 5/265 70141
/proc/meminfo: memFree=108372396/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=120892 memory=98576 CPUtime=161.87 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 23097 0 0 0 15888 299 0 0 20 0 1 0 65789916 123793408 24644 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 30223 24644 3744 2790 0 23648 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 120892 KiB
Current children cumulated memory: 98576 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/265 70143
/proc/meminfo: memFree=108350336/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=122284 memory=101008 CPUtime=221.69 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 23732 0 0 0 21789 380 0 0 20 0 1 0 65789916 125218816 25252 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 30571 25252 3744 2790 0 23996 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 122284 KiB
Current children cumulated memory: 101008 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.07 6/264 70145
/proc/meminfo: memFree=108337104/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=130012 memory=102160 CPUtime=281.53 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 24003 0 0 0 27682 471 0 0 20 0 1 0 65789916 133132288 25540 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 32503 25540 3744 2790 0 25928 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 130012 KiB
Current children cumulated memory: 102160 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/264 70147
/proc/meminfo: memFree=108307932/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=130748 memory=105332 CPUtime=341.35 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 24276 0 0 0 33588 547 0 0 20 0 1 0 65789916 133885952 26333 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 32687 26333 3744 2790 0 26112 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 130748 KiB
Current children cumulated memory: 105332 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/263 70149
/proc/meminfo: memFree=108295796/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=131444 memory=105972 CPUtime=401.18 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 24447 0 0 0 39484 634 0 0 20 0 1 0 65789916 134598656 26493 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 32861 26493 3744 2790 0 26286 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 131444 KiB
Current children cumulated memory: 105972 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/263 70152
/proc/meminfo: memFree=108281708/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=131840 memory=108368 CPUtime=461 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 24547 0 0 0 45393 707 0 0 20 0 1 0 65789916 135004160 27092 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 32960 27092 3744 2790 0 26385 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 193652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/265 70321
/proc/meminfo: memFree=109077028/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222120 memory=193792 CPUtime=2914.62 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 42918 0 0 0 288583 2879 0 0 20 0 1 0 65789916 227450880 48448 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55530 48448 3744 2790 0 48955 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 193792 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 70323
/proc/meminfo: memFree=109074204/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222120 memory=193800 CPUtime=2974.46 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 43655 0 0 0 294533 2913 0 0 20 0 1 0 65789916 227450880 48450 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55530 48450 3744 2790 0 48955 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 193800 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/263 70330
/proc/meminfo: memFree=109073328/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222120 memory=193804 CPUtime=3034.3 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 45126 0 0 0 300478 2952 0 0 20 0 1 0 65789916 227450880 48451 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55530 48451 3744 2790 0 48955 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 193804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 70332
/proc/meminfo: memFree=109072708/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222120 memory=193808 CPUtime=3094.15 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 45896 0 0 0 306431 2984 0 0 20 0 1 0 65789916 227450880 48452 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55530 48452 3744 2790 0 48955 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 193808 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/264 70337
/proc/meminfo: memFree=109066308/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222120 memory=193828 CPUtime=3154 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 47371 0 0 0 312378 3022 0 0 20 0 1 0 65789916 227450880 48457 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55530 48457 3744 2790 0 48955 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 193828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/264 70339
/proc/meminfo: memFree=109056832/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222376 memory=193960 CPUtime=3213.84 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 48880 0 0 0 318330 3054 0 0 20 0 1 0 65789916 227713024 48490 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55594 48490 3744 2790 0 49019 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 222376 KiB
Current children cumulated memory: 193960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/263 70340
/proc/meminfo: memFree=109058732/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=222376 memory=193964 CPUtime=3273.7 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 49620 0 0 0 324283 3087 0 0 20 0 1 0 65789916 227713024 48491 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 55594 48491 3744 2790 0 49019 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 222376 KiB
Current children cumulated memory: 193964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 70342
/proc/meminfo: memFree=109050940/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=225448 memory=196908 CPUtime=3333.55 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 51182 0 0 0 330229 3126 0 0 20 0 1 0 65789916 230858752 49227 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56362 49227 3744 2790 0 49787 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 225448 KiB
Current children cumulated memory: 196908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 70360
/proc/meminfo: memFree=109046104/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=227464 memory=198828 CPUtime=3393.4 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 51687 0 0 0 336174 3166 0 0 20 0 1 0 65789916 232923136 49707 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56866 49707 3744 2790 0 50291 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 198828 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/263 70362
/proc/meminfo: memFree=109045980/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=227464 memory=198828 CPUtime=3453.26 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 51688 0 0 0 342118 3208 0 0 20 0 1 0 65789916 232923136 49707 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56866 49707 3744 2790 0 50291 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 198828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/265 70366
/proc/meminfo: memFree=109045380/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=227464 memory=198828 CPUtime=3513.11 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 51688 0 0 0 348064 3247 0 0 20 0 1 0 65789916 232923136 49707 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56866 49707 3744 2790 0 50291 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 198828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/265 70368
/proc/meminfo: memFree=109011796/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=225448 memory=197048 CPUtime=3572.96 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 52424 0 0 0 354008 3288 0 0 20 0 1 0 65789916 230858752 49262 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56362 49262 3744 2790 0 49787 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 225448 KiB
Current children cumulated memory: 197048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.16 4.12 5/266 70375
/proc/meminfo: memFree=109006908/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=225448 memory=197048 CPUtime=3600.09 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 52424 0 0 0 356709 3300 0 0 20 0 1 0 65789916 230858752 49262 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56362 49262 3744 2790 0 49787 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 225448 KiB
Current children cumulated memory: 197048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 70086 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3567.1 s, system=33.0146 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.16 4.12 5/266 70375
/proc/meminfo: memFree=109006908/131249996 swapFree=33010160/33010684
[pid=70086] ppid=70083 vsize=225448 memory=197048 CPUtime=3600.09 cores=4,6
/proc/70086/stat : 70086 (ipbhs_scip) R 70083 70086 69549 0 -1 4194304 52424 0 0 0 356709 3300 0 0 20 0 1 0 65789916 230858752 49262 18446744073709551615 94088792985600 94088804411997 140722726673808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94088806547672 94088806592690 94088817082368 140722726676882 140722726677001 140722726677001 140722726682603 0
/proc/70086/statm: 56362 49262 3744 2790 0 49787 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 225448 KiB
Current children cumulated memory: 197048 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.51
CPU time (s): 3600.11
CPU user time (s): 3567.1
CPU system time (s): 33.0146
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 228048
Max. memory (cumulated for all children) (KiB): 199348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.1
system time used= 33.0146
maximum resident set size= 199468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52424
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= 99
involuntary context switches= 2274
# summary of solver processes directly reported to runsolver:
# pid: 70086
# total CPU time (s): 3600.11
# total CPU user time (s): 3567.1
# total CPU system time (s): 33.0146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78049 second user time and 16.8997 second system time
The end
Begin job on nodeC032 at 2025-07-03 02:05:13
IDJOB=4508030
IDBENCH=158392
IDSOLVER=3335
FILE ID=nodeC032/4508030-1751501113
RUNJOBID= nodeC032-1751497501-69560
SLURM_JOB_ID= 9598573
Free space on /tmp= 430224 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508030-1751501113/watcher-4508030-1751501113 -o /tmp/evaluation-result-4508030-1751501113/solver-4508030-1751501113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751497501-69560 --watchdog 3760 ./ipbhs_scip HOME/instance-4508030-1751501113.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=463259365
nodeC032 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 : 3599.836
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.69
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.838
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.69
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 : 3599.892
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.69
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 : 3601.136
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.69
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.844
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.69
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.921
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.69
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.69
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 104909896 kB
MemAvailable: 121636460 kB
Buffers: 2728 kB
Cached: 17406120 kB
SwapCached: 20 kB
Active: 8403216 kB
Inactive: 17038200 kB
Active(anon): 8047496 kB
Inactive(anon): 3124 kB
Active(file): 355720 kB
Inactive(file): 17035076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 141840 kB
Writeback: 4 kB
AnonPages: 8035612 kB
Mapped: 135752 kB
Shmem: 18048 kB
KReclaimable: 350012 kB
Slab: 443280 kB
SReclaimable: 350012 kB
SUnreclaim: 93268 kB
KernelStack: 4272 kB
PageTables: 18868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 8589996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2107392 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: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430292 MiB
End job on nodeC032 at 2025-07-03 03:05:23