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.31/0.35 c limit for coefficient in constraints and objective to 1000000000
0.31/0.35 c will solve HOME/instance-4519730-1751534154.opb
0.31/0.35 c [0.02] 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 (62486 MiB free)
memory of node 1: 64507 MiB (63357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519730-1751534154/watcher-4519730-1751534154 -o /tmp/evaluation-result-4519730-1751534154/solver-4519730-1751534154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751530082-72190 --watchdog 3760 ./ipbhs_scip HOME/instance-4519730-1751534154.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
solver pid=74523, runsolver pid=74520
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.13 4.22 4.15 5/251 74524
/proc/meminfo: memFree=128597504/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=633576 memory=305276 CPUtime=0.1 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 829 0 0 0 3 7 0 0 20 0 1 0 69095121 648781824 76319 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 158394 76319 1568 2790 0 151819 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 633576 KiB
Current children cumulated memory: 305276 KiB
[startup+0.21365 s]*
/proc/loadavg: 4.13 4.22 4.15 5/251 74524
/proc/meminfo: memFree=128264720/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=636480 memory=602176 CPUtime=0.21 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 2172 0 0 0 7 14 0 0 20 0 1 0 69095121 651755520 150544 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 159120 150544 1568 2790 0 152545 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 636480 KiB
Current children cumulated memory: 602176 KiB
[startup+0.313478 s]*
/proc/loadavg: 4.13 4.22 4.15 5/251 74524
/proc/meminfo: memFree=128264720/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=654556 memory=628336 CPUtime=0.31 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 7379 0 0 0 14 17 0 0 20 0 1 0 69095121 670265344 157052 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 163872 157052 3168 2790 0 157297 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 654556 KiB
Current children cumulated memory: 628336 KiB
[startup+0.700362 s]
/proc/loadavg: 4.13 4.22 4.15 5/251 74524
/proc/meminfo: memFree=128256908/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=725488 memory=696288 CPUtime=0.68 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 26843 0 0 0 46 22 0 0 20 0 1 0 69095121 742899712 174072 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 181372 174072 3552 2790 0 174797 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 725488 KiB
Current children cumulated memory: 696288 KiB
[startup+1.50035 s]
/proc/loadavg: 4.13 4.22 4.15 5/251 74524
/proc/meminfo: memFree=128241032/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=725488 memory=699388 CPUtime=1.48 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 27097 0 0 0 125 23 0 0 20 0 1 0 69095121 742899712 174847 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 181372 174847 3552 2790 0 174797 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 725488 KiB
Current children cumulated memory: 699388 KiB
[startup+3.11297 s]
/proc/loadavg: 4.12 4.21 4.14 5/251 74524
/proc/meminfo: memFree=128240804/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=745432 memory=718860 CPUtime=3.09 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 29436 0 0 0 280 29 0 0 20 0 1 0 69095121 763322368 179715 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 186358 179715 3552 2790 0 179783 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 745432 KiB
Current children cumulated memory: 718860 KiB
[startup+6.30035 s]
/proc/loadavg: 4.12 4.21 4.14 5/251 74524
/proc/meminfo: memFree=128208576/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=795576 memory=756880 CPUtime=6.27 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 35356 0 0 0 592 35 0 0 20 0 1 0 69095121 814669824 189220 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 198894 189220 3552 2790 0 192319 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 795576 KiB
Current children cumulated memory: 756880 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.21 4.14 5/251 74524
/proc/meminfo: memFree=128183392/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=809080 memory=782180 CPUtime=12.66 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 38601 0 0 0 1224 42 0 0 20 0 1 0 69095121 828497920 195545 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 202270 195545 3552 2790 0 195695 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 809080 KiB
Current children cumulated memory: 782180 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.20 4.14 5/251 74524
/proc/meminfo: memFree=128110208/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=868920 memory=836628 CPUtime=25.42 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 46112 0 0 0 2496 46 0 0 20 0 1 0 69095121 889774080 209157 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 217230 209157 3552 2790 0 210655 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 868920 KiB
Current children cumulated memory: 836628 KiB
[startup+51.1131 s]
/proc/loadavg: 4.19 4.21 4.15 5/251 74526
/proc/meminfo: memFree=128007268/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=972104 memory=926120 CPUtime=50.97 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 57254 0 0 0 5034 63 0 0 20 0 1 0 69095121 995434496 231530 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 243026 231530 3552 2790 0 236451 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 972104 KiB
Current children cumulated memory: 926120 KiB
[startup+102.3 s]
/proc/loadavg: 4.65 4.34 4.20 5/251 74528
/proc/meminfo: memFree=127927888/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1098476 memory=994788 CPUtime=102.02 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 69359 0 0 0 10114 88 0 0 20 0 1 0 69095121 1124839424 248697 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 274619 248697 3552 2790 0 268044 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1098476 KiB
Current children cumulated memory: 994788 KiB
[startup+162.3 s]
/proc/loadavg: 4.41 4.33 4.20 5/251 74530
/proc/meminfo: memFree=127886736/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1131712 memory=1021924 CPUtime=161.85 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 76141 0 0 0 16047 138 0 0 20 0 1 0 69095121 1158873088 255481 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 282928 255481 3552 2790 0 276353 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1131712 KiB
Current children cumulated memory: 1021924 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.29 4.19 5/250 74532
/proc/meminfo: memFree=127845316/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1153404 memory=1038308 CPUtime=221.69 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 80300 0 0 0 21986 183 0 0 20 0 1 0 69095121 1181085696 259577 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 288351 259577 3552 2790 0 281776 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1153404 KiB
Current children cumulated memory: 1038308 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.25 4.18 5/254 74545
/proc/meminfo: memFree=127748248/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1211052 memory=1108112 CPUtime=281.53 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 91631 0 0 0 27931 222 0 0 20 0 1 0 69095121 1240117248 277028 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 302763 277028 3552 2790 0 296188 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1211052 KiB
Current children cumulated memory: 1108112 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/252 74549
/proc/meminfo: memFree=127666164/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1248820 memory=1154208 CPUtime=341.36 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 99150 0 0 0 33881 255 0 0 20 0 1 0 69095121 1278791680 288552 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 312205 288552 3552 2790 0 305630 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1248820 KiB
Current children cumulated memory: 1154208 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/253 74558
/proc/meminfo: memFree=127607400/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1406792 memory=1223024 CPUtime=401.2 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 105095 0 0 0 39837 283 0 0 20 0 1 0 69095121 1440555008 305756 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 351698 305756 3552 2790 0 345123 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1406792 KiB
Current children cumulated memory: 1223024 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.20 4.17 6/254 74561
/proc/meminfo: memFree=127609644/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=1412152 memory=1227120 CPUtime=461.05 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 106121 0 0 0 45798 307 0 0 20 0 1 0 69095121 1446043648 306780 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 353038 306780 3552 2790 0 346463 0
################
# More data... #
################
Current children cumulated memory: 1828808 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 74690
/proc/meminfo: memFree=126627136/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2057600 memory=1875572 CPUtime=2854.78 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 191177 0 0 0 284056 1422 0 0 20 0 1 0 69095121 2106982400 468893 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 514400 468893 3584 2790 0 507825 0
Current children cumulated CPU time: 2854.78 s
Current children cumulated vsize: 2057600 KiB
Current children cumulated memory: 1875572 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/251 74695
/proc/meminfo: memFree=126638012/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2057600 memory=1875572 CPUtime=2914.63 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 191358 0 0 0 290023 1440 0 0 20 0 1 0 69095121 2106982400 468893 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 514400 468893 3584 2790 0 507825 0
Current children cumulated CPU time: 2914.63 s
Current children cumulated vsize: 2057600 KiB
Current children cumulated memory: 1875572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 74697
/proc/meminfo: memFree=126642688/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2065504 memory=1880308 CPUtime=2974.47 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 192584 0 0 0 295997 1450 0 0 20 0 1 0 69095121 2115076096 470077 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 516376 470077 3584 2790 0 509801 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 2065504 KiB
Current children cumulated memory: 1880308 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 74699
/proc/meminfo: memFree=126571088/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2106852 memory=1951516 CPUtime=3034.31 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 199145 0 0 0 301966 1465 0 0 20 0 1 0 69095121 2157416448 487879 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 526713 487879 3584 2790 0 520138 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 2106852 KiB
Current children cumulated memory: 1951516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 74701
/proc/meminfo: memFree=126561576/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2106852 memory=1951516 CPUtime=3094.16 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 199265 0 0 0 307928 1488 0 0 20 0 1 0 69095121 2157416448 487879 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 526713 487879 3584 2790 0 520138 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 2106852 KiB
Current children cumulated memory: 1951516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 74703
/proc/meminfo: memFree=126561456/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2109412 memory=1952924 CPUtime=3154.01 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 199708 0 0 0 313895 1506 0 0 20 0 1 0 69095121 2160037888 488231 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527353 488231 3584 2790 0 520778 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 2109412 KiB
Current children cumulated memory: 1952924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 74751
/proc/meminfo: memFree=127024292/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2109412 memory=1952924 CPUtime=3213.81 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 199811 0 0 0 319843 1538 0 0 20 0 1 0 69095121 2160037888 488231 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527353 488231 3584 2790 0 520778 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2109412 KiB
Current children cumulated memory: 1952924 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 74842
/proc/meminfo: memFree=126966472/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2109412 memory=1952924 CPUtime=3273.64 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 199831 0 0 0 325801 1563 0 0 20 0 1 0 69095121 2160037888 488231 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527353 488231 3584 2790 0 520778 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 2109412 KiB
Current children cumulated memory: 1952924 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 74934
/proc/meminfo: memFree=126672092/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2109412 memory=1952924 CPUtime=3333.46 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 199853 0 0 0 331760 1586 0 0 20 0 1 0 69095121 2160037888 488231 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527353 488231 3584 2790 0 520778 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 2109412 KiB
Current children cumulated memory: 1952924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 74941
/proc/meminfo: memFree=126555092/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2111716 memory=1954204 CPUtime=3393.31 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 200350 0 0 0 337720 1611 0 0 20 0 1 0 69095121 2162397184 488551 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527929 488551 3584 2790 0 521354 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 2111716 KiB
Current children cumulated memory: 1954204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 74944
/proc/meminfo: memFree=126511040/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2111716 memory=1954204 CPUtime=3453.14 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 200350 0 0 0 343674 1640 0 0 20 0 1 0 69095121 2162397184 488551 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527929 488551 3584 2790 0 521354 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 2111716 KiB
Current children cumulated memory: 1954204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 74949
/proc/meminfo: memFree=126482100/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2111716 memory=1954204 CPUtime=3512.97 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 200367 0 0 0 349642 1655 0 0 20 0 1 0 69095121 2162397184 488551 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 527929 488551 3584 2790 0 521354 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 2111716 KiB
Current children cumulated memory: 1954204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/252 74951
/proc/meminfo: memFree=126398872/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2142520 memory=1987968 CPUtime=3572.8 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 206386 0 0 0 355589 1691 0 0 20 0 1 0 69095121 2193940480 496992 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 535630 496992 3584 2790 0 529055 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 2142520 KiB
Current children cumulated memory: 1987968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/252 74952
/proc/meminfo: memFree=126371652/131382112 swapFree=33010416/33010684
[pid=74523] ppid=74520 vsize=2142520 memory=1987968 CPUtime=3600.02 cores=1,3
/proc/74523/stat : 74523 (ipbhs_scip) R 74520 74523 72178 0 -1 4194304 206393 0 0 0 358301 1701 0 0 20 0 1 0 69095121 2193940480 496992 18446744073709551615 94326626938880 94326638365277 140722626924048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94326640500952 94326640545970 94326678151168 140722626931090 140722626931209 140722626931209 140722626936811 0
/proc/74523/statm: 535630 496992 3584 2790 0 529055 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2142520 KiB
Current children cumulated memory: 1987968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 74523 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3583.02 s, system=17.0238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.61
CPU time (s): 3600.04
CPU user time (s): 3583.02
CPU system time (s): 17.0238
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 2142520
Max. memory (cumulated for all children) (KiB): 1987968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.02
system time used= 17.0238
maximum resident set size= 1987968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206393
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= 192
involuntary context switches= 2932
# summary of solver processes directly reported to runsolver:
# pid: 74523
# total CPU time (s): 3600.04
# total CPU user time (s): 3583.02
# total CPU system time (s): 17.0238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5387 second user time and 39.0766 second system time
The end
Begin job on nodeC012 at 2025-07-03 11:15:54
IDJOB=4519730
IDBENCH=177407
IDSOLVER=3335
FILE ID=nodeC012/4519730-1751534154
RUNJOBID= nodeC012-1751530082-72190
SLURM_JOB_ID= 9598671
Free space on /tmp= 431668 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519730-1751534154/watcher-4519730-1751534154 -o /tmp/evaluation-result-4519730-1751534154/solver-4519730-1751534154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751530082-72190 --watchdog 3760 ./ipbhs_scip HOME/instance-4519730-1751534154.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 275abd9c9127ffd447b577c0798b1c29
RANDOM SEED=1417100455
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 : 3662.246
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 : 1197.154
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.426
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.128
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 : 3691.168
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 : 1197.389
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 : 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 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: 128864336 kB
MemAvailable: 129240020 kB
Buffers: 2136 kB
Cached: 1176856 kB
SwapCached: 16 kB
Active: 1305864 kB
Inactive: 558684 kB
Active(anon): 696504 kB
Inactive(anon): 6996 kB
Active(file): 609360 kB
Inactive(file): 551688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70296 kB
Writeback: 0 kB
AnonPages: 688656 kB
Mapped: 134728 kB
Shmem: 17944 kB
KReclaimable: 108144 kB
Slab: 193040 kB
SReclaimable: 108144 kB
SUnreclaim: 84896 kB
KernelStack: 4048 kB
PageTables: 4528 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1124372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 65536 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:16:04