0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4502972-1751481624.opb'
0.48/0.54 c read 46.98MB (534.81ms)
0.48/0.54 c [cnf: #variables 14300 #clauses 65281 #duplicates 0 #arr 5126108]
0.48/0.54 c
0.48/0.54 c make graph and approximate orbits
0.77/0.80 c [group: #orbits ~= 312] (260.69ms)
0.77/0.80 c
0.77/0.80 c detect special group actions
0.77/0.80 c probe for Johnson action (limit=64)
0.98/1.08 c probe for row-column symmetry (limit=64, splits=16.78M)
1.18/1.29 c probe for row symmetry (limit=64, splits=16.78M)
4.37/4.42 c (3618.46ms)
4.37/4.42 c
4.37/4.42 c detect symmetries on remainder
4.37/4.42 c [graph: #vertices 108181 #edges 10309416]
4.37/4.43 c dejavu (support_limit=2048.00MB, budget_limit=64)
5.57/5.61 c [group: #symmetries 2.56*10^2 #generators 8] (1188.86ms)
5.57/5.61 c
5.57/5.61 c optimize generators (opt_passes=64, conjugate_limit=256)
5.57/5.61 c (0.04ms)
5.57/5.61 c
5.57/5.61 c finalize break order and special generators
5.57/5.61 c
5.57/5.61 c add generic predicates (break_depth=20)
5.57/5.62 c added predicates for 8 generators (4.18ms)
5.57/5.62 c
5.57/5.62 c generation finished
5.57/5.62 c [sbp: #constraints 464 #add_vars 152]
5.57/5.62 c
5.57/5.62 c write result to 'HOME/instance-4502972-1751481624.opb.pre'
5.66/5.72 c wrote 47.06MB (98.44ms)
5.66/5.72 c ------------------------------------------------------------------
5.66/5.72 c 3618.46ms 63.38% detect_special
5.66/5.72 c 1188.86ms 20.83% detect_generic
5.66/5.72 c 534.81ms 9.37% parse
5.66/5.72 c 260.69ms 4.57% approx_orbits
5.66/5.72 c 98.44ms 1.72% output
5.66/5.72 c 4.18ms 0.07% break_generic
5.66/5.72 c 1.94ms 0.03% other
5.66/5.72 c 1.32ms 0.02% finalize_order
5.66/5.72 c 0.04ms 0.00% optimize_gens
5.66/5.72 c ───────────────────────────────────────────────
5.66/5.72 c 5708.73ms 100% total
5.66/5.72 c ------------------------------------------------------------------
5.66/5.74 c RoundingSat 2
5.66/5.74 c branch pb25
5.66/5.74 c commit 63f22ad
7.24/7.31 c #variables 14452 #constraints 65744
7.24/7.31 c objective is ce32
7.24/7.31 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
7.24/7.31 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
7.24/7.31 c bounds - >= 0 @ 1.42814
24.00/24.16 c bounds 1216 >= 0 @ 18.0095
24.00/24.17 c bounds 1216 >= 1 @ 18.015
24.00/24.18 c bounds 1216 >= 2 @ 18.018
24.00/24.19 c bounds 1216 >= 3 @ 18.0209
24.09/24.20 c bounds 1216 >= 4 @ 18.0258
24.09/24.21 c bounds 1216 >= 5 @ 18.0289
24.09/24.22 c bounds 1216 >= 6 @ 18.0316
24.09/24.23 c bounds 1216 >= 7 @ 18.0342
24.09/24.24 c bounds 1216 >= 8 @ 18.0388
24.09/24.25 c bounds 1216 >= 9 @ 18.0473
24.09/24.26 c bounds 1216 >= 10 @ 18.0518
24.09/24.27 c bounds 1216 >= 11 @ 18.0536
24.09/24.28 c bounds 1216 >= 12 @ 18.0582
24.09/24.29 c bounds 1216 >= 13 @ 18.0634
24.19/24.30 c bounds 1216 >= 14 @ 18.0678
24.19/24.31 c bounds 1216 >= 15 @ 18.0716
24.19/24.33 c bounds 1216 >= 16 @ 18.0797
24.19/24.34 c bounds 1216 >= 17 @ 18.0856
24.19/24.35 c bounds 1216 >= 18 @ 18.0905
24.19/24.36 c bounds 1216 >= 19 @ 18.0934
24.19/24.37 c bounds 1216 >= 20 @ 18.1006
24.19/24.39 c bounds 1216 >= 21 @ 18.1065
24.29/24.40 c bounds 1216 >= 22 @ 18.1122
24.29/24.42 c bounds 1216 >= 23 @ 18.1172
24.29/24.43 c bounds 1216 >= 24 @ 18.1228
24.29/24.44 c bounds 1216 >= 25 @ 18.1275
24.29/24.46 c bounds 1216 >= 26 @ 18.136
24.29/24.48 c bounds 1216 >= 27 @ 18.1466
24.39/24.53 c bounds 1216 >= 28 @ 18.1894
24.49/24.60 c bounds 1216 >= 29 @ 18.2506
24.69/24.86 c bounds 1215 >= 29 @ 18.4885
24.79/24.99 c bounds 1215 >= 30 @ 18.6002
24.89/25.04 c bounds 1214 >= 30 @ 18.6385
24.89/25.08 c bounds 1213 >= 30 @ 18.6677
26.18/26.32 c #Conflicts: 1000 | #Constraints: 66946
26.18/26.32 c bounds 1213 >= 31 @ 19.8437
26.18/26.38 c bounds 1212 >= 31 @ 19.9059
26.29/26.41 c bounds 1211 >= 31 @ 19.9286
26.29/26.44 c bounds 1210 >= 31 @ 19.9512
26.29/26.47 c bounds 1209 >= 31 @ 19.9712
26.38/26.50 c bounds 1208 >= 31 @ 19.9955
26.38/26.53 c bounds 1207 >= 31 @ 20.0184
26.38/26.56 c bounds 1206 >= 31 @ 20.0486
26.38/26.59 c bounds 1205 >= 31 @ 20.0683
26.49/26.63 c bounds 1204 >= 31 @ 20.096
26.49/26.66 c bounds 1203 >= 31 @ 20.1145
26.49/26.69 c bounds 1202 >= 31 @ 20.1343
26.59/26.72 c bounds 1201 >= 31 @ 20.1611
26.59/26.75 c bounds 1200 >= 31 @ 20.1803
26.59/26.78 c bounds 1199 >= 31 @ 20.2095
26.68/26.82 c bounds 1198 >= 31 @ 20.2405
26.68/26.86 c bounds 1197 >= 31 @ 20.2674
26.68/26.89 c bounds 1196 >= 31 @ 20.291
26.78/26.92 c bounds 1195 >= 31 @ 20.3086
26.78/26.94 c bounds 1194 >= 31 @ 20.325
26.78/26.97 c bounds 1193 >= 31 @ 20.3429
26.78/26.99 c bounds 1192 >= 31 @ 20.3582
26.89/27.01 c bounds 1191 >= 31 @ 20.3751
26.89/27.04 c bounds 1190 >= 31 @ 20.3929
26.89/27.06 c bounds 1189 >= 31 @ 20.4066
26.89/27.09 c bounds 1188 >= 31 @ 20.4227
26.99/27.11 c bounds 1187 >= 31 @ 20.4405
26.99/27.13 c bounds 1186 >= 31 @ 20.4578
26.99/27.15 c bounds 1185 >= 31 @ 20.4772
26.99/27.18 c bounds 1184 >= 31 @ 20.4956
27.08/27.21 c bounds 1183 >= 31 @ 20.5141
27.08/27.23 c bounds 1182 >= 31 @ 20.5314
27.08/27.26 c bounds 1181 >= 31 @ 20.5456
27.08/27.28 c bounds 1180 >= 31 @ 20.5577
27.18/27.30 c bounds 1179 >= 31 @ 20.5745
27.18/27.33 c bounds 1178 >= 31 @ 20.5917
27.18/27.39 c bounds 1177 >= 31 @ 20.632
27.29/27.43 c bounds 1176 >= 31 @ 20.6666
27.29/27.46 c bounds 1175 >= 31 @ 20.6935
27.29/27.49 c bounds 1174 >= 31 @ 20.71
27.38/27.52 c bounds 1173 >= 31 @ 20.7314
27.38/27.55 c bounds 1172 >= 31 @ 20.7508
27.38/27.57 c bounds 1171 >= 31 @ 20.7723
27.48/27.60 c bounds 1170 >= 31 @ 20.7861
27.48/27.66 c bounds 1169 >= 31 @ 20.8441
27.58/27.74 c bounds 1168 >= 31 @ 20.8925
27.58/27.77 c bounds 1167 >= 31 @ 20.9184
27.68/27.81 c bounds 1166 >= 31 @ 20.9427
27.68/27.83 c bounds 1165 >= 31 @ 20.9588
27.68/27.86 c bounds 1164 >= 31 @ 20.9862
27.78/27.90 c bounds 1163 >= 31 @ 21.0154
27.78/27.93 c bounds 1162 >= 31 @ 21.0382
27.78/27.95 c bounds 1161 >= 31 @ 21.0554
27.78/27.98 c bounds 1160 >= 31 @ 21.0717
27.89/28.00 c bounds 1159 >= 31 @ 21.0853
27.89/28.03 c bounds 1158 >= 31 @ 21.1037
27.89/28.05 c bounds 1157 >= 31 @ 21.1145
27.89/28.07 c bounds 1156 >= 31 @ 21.1274
27.89/28.10 c bounds 1155 >= 31 @ 21.1472
27.99/28.12 c bounds 1154 >= 31 @ 21.1648
27.99/28.14 c bounds 1153 >= 31 @ 21.1787
27.99/28.16 c bounds 1152 >= 31 @ 21.1918
27.99/28.19 c bounds 1151 >= 31 @ 21.2077
28.08/28.21 c bounds 1150 >= 31 @ 21.2233
28.08/28.24 c bounds 1149 >= 31 @ 21.242
28.08/28.27 c bounds 1148 >= 31 @ 21.2629
28.08/28.29 c bounds 1147 >= 31 @ 21.2741
28.18/28.32 c bounds 1146 >= 31 @ 21.285
28.18/28.39 c bounds 1145 >= 31 @ 21.339
28.28/28.42 c bounds 1144 >= 31 @ 21.3617
28.28/28.45 c bounds 1143 >= 31 @ 21.3786
28.28/28.48 c bounds 1142 >= 31 @ 21.3953
28.38/28.50 c bounds 1141 >= 31 @ 21.4143
28.38/28.54 c bounds 1140 >= 31 @ 21.4461
28.38/28.57 c bounds 1139 >= 31 @ 21.4626
28.38/28.59 c bounds 1138 >= 31 @ 21.4815
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 (62456 MiB free)
memory of node 1: 64465 MiB (63794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502972-1751481624/watcher-4502972-1751481624 -o /tmp/evaluation-result-4502972-1751481624/solver-4502972-1751481624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82007 --watchdog 3760 run-opt-break.sh HOME/instance-4502972-1751481624.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82183, runsolver pid=82180
[startup+0.100065 s]*
/proc/loadavg: 4.10 3.57 3.32 5/267 82185
/proc/meminfo: memFree=129256608/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82185] ppid=82183 vsize=44172 memory=36012 CPUtime=0.08 cores=0,2
/proc/82185/stat : 82185 (pbsuma) R 82183 82183 81997 0 -1 4194304 7833 0 0 0 7 1 0 0 20 0 1 0 63839957 45232128 9003 18446744073709551615 4210688 4653049 140731236462592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140731236469091 140731236469298 140731236469298 140731236474863 0
/proc/82185/statm: 11043 9003 960 108 0 8451 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48364 KiB
Current children cumulated memory: 38956 KiB
[startup+0.205573 s]*
/proc/loadavg: 4.10 3.57 3.32 5/267 82185
/proc/meminfo: memFree=129242936/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82185] ppid=82183 vsize=76064 memory=57000 CPUtime=0.19 cores=0,2
/proc/82185/stat : 82185 (pbsuma) R 82183 82183 81997 0 -1 4194304 13222 0 0 0 16 3 0 0 20 0 1 0 63839957 77889536 14250 18446744073709551615 4210688 4653049 140731236462592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140731236469091 140731236469298 140731236469298 140731236474863 0
/proc/82185/statm: 19016 14250 960 108 0 16424 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80256 KiB
Current children cumulated memory: 59944 KiB
[startup+0.305475 s]*
/proc/loadavg: 4.10 3.57 3.32 5/267 82185
/proc/meminfo: memFree=129223216/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82185] ppid=82183 vsize=92236 memory=81252 CPUtime=0.29 cores=0,2
/proc/82185/stat : 82185 (pbsuma) R 82183 82183 81997 0 -1 4194304 17227 0 0 0 25 4 0 0 20 0 1 0 63839957 94449664 20313 18446744073709551615 4210688 4653049 140731236462592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140731236469091 140731236469298 140731236469298 140731236474863 0
/proc/82185/statm: 23059 20313 960 108 0 20467 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 96428 KiB
Current children cumulated memory: 84196 KiB
[startup+0.700216 s]
/proc/loadavg: 4.10 3.57 3.32 5/267 82185
/proc/meminfo: memFree=129186860/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82185] ppid=82183 vsize=254124 memory=228800 CPUtime=0.67 cores=0,2
/proc/82185/stat : 82185 (pbsuma) R 82183 82183 81997 0 -1 4194304 31322 0 0 0 59 8 0 0 20 0 1 0 63839957 260222976 57200 18446744073709551615 4210688 4653049 140731236462592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140731236469091 140731236469298 140731236469298 140731236474863 0
/proc/82185/statm: 63531 57200 992 108 0 60939 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 258316 KiB
Current children cumulated memory: 231744 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 3.57 3.32 5/267 82185
/proc/meminfo: memFree=129073064/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82185] ppid=82183 vsize=221400 memory=195608 CPUtime=1.48 cores=0,2
/proc/82185/stat : 82185 (pbsuma) R 82183 82183 81997 0 -1 4194304 33098 0 0 0 139 9 0 0 20 0 1 0 63839957 226713600 48902 18446744073709551615 4210688 4653049 140731236462592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140731236469091 140731236469298 140731236469298 140731236474863 0
/proc/82185/statm: 55350 48902 992 108 0 52758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225592 KiB
Current children cumulated memory: 198552 KiB
[startup+3.10538 s]
/proc/loadavg: 4.10 3.57 3.32 5/267 82185
/proc/meminfo: memFree=129073072/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82185] ppid=82183 vsize=221400 memory=195608 CPUtime=3.08 cores=0,2
/proc/82185/stat : 82185 (pbsuma) R 82183 82183 81997 0 -1 4194304 33116 0 0 0 299 9 0 0 20 0 1 0 63839957 226713600 48902 18446744073709551615 4210688 4653049 140731236462592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5308416 140731236469091 140731236469298 140731236469298 140731236474863 0
/proc/82185/statm: 55350 48902 992 108 0 52758 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 225592 KiB
Current children cumulated memory: 198552 KiB
[startup+6.30012 s]
/proc/loadavg: 4.09 3.58 3.32 5/267 82186
/proc/meminfo: memFree=129145684/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=66564 memory=22808 CPUtime=0.54 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 3011 0 0 0 52 2 0 0 20 0 1 0 63840530 68161536 5702 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 16641 5702 1920 1147 0 4068 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 70756 KiB
Current children cumulated memory: 25752 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.59 3.32 5/267 82186
/proc/meminfo: memFree=128687784/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=415620 memory=332812 CPUtime=6.92 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 58295 0 0 0 659 33 0 0 20 0 1 0 63840530 425594880 83203 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 103905 83203 2336 1147 0 91332 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 419812 KiB
Current children cumulated memory: 335756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 3.63 3.34 5/267 82186
/proc/meminfo: memFree=128771856/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=470168 memory=378468 CPUtime=19.68 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 62800 0 0 0 1905 63 0 0 20 0 1 0 63840530 481452032 94617 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 117542 94617 2400 1147 0 104969 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 474360 KiB
Current children cumulated memory: 381412 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 3.66 3.36 5/267 82187
/proc/meminfo: memFree=128622800/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=756492 memory=645700 CPUtime=45.22 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 95997 0 0 0 4380 142 0 0 20 0 1 0 63840530 774647808 161425 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 189123 161425 2400 1147 0 176550 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 760684 KiB
Current children cumulated memory: 648644 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.71 3.39 5/268 82194
/proc/meminfo: memFree=128444816/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=924956 memory=797444 CPUtime=96.29 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 98373 0 0 0 9482 147 0 0 20 0 1 0 63840530 947154944 199361 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 231239 199361 2400 1147 0 218666 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 929148 KiB
Current children cumulated memory: 800388 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.80 3.45 5/269 82197
/proc/meminfo: memFree=128381220/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=1037644 memory=876424 CPUtime=156.13 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 99998 0 0 0 15463 150 0 0 20 0 1 0 63840530 1062547456 219106 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 259411 219106 2400 1147 0 246838 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1041836 KiB
Current children cumulated memory: 879368 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.85 3.49 5/269 82200
/proc/meminfo: memFree=128220104/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=1094252 memory=955800 CPUtime=215.97 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 102999 0 0 0 21444 153 0 0 20 0 1 0 63840530 1120514048 238950 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 273563 238950 2400 1147 0 260990 0
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/270 82510
/proc/meminfo: memFree=124293964/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=2521988 memory=2098892 CPUtime=3327.85 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 198688 0 0 0 332425 360 0 0 20 0 1 0 63840530 2582515712 524723 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 630497 524723 2400 1147 0 617924 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 2526180 KiB
Current children cumulated memory: 2101836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 82512
/proc/meminfo: memFree=124210500/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=2521988 memory=2101580 CPUtime=3387.69 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 199471 0 0 0 338409 360 0 0 20 0 1 0 63840530 2582515712 525395 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 630497 525395 2400 1147 0 617924 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 2526180 KiB
Current children cumulated memory: 2104524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 82514
/proc/meminfo: memFree=124154964/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=2521988 memory=2101580 CPUtime=3447.53 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 199471 0 0 0 344393 360 0 0 20 0 1 0 63840530 2582515712 525395 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 630497 525395 2400 1147 0 617924 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 2526180 KiB
Current children cumulated memory: 2104524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 82521
/proc/meminfo: memFree=124074640/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=2521988 memory=2102476 CPUtime=3507.37 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 199635 0 0 0 350377 360 0 0 20 0 1 0 63840530 2582515712 525619 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 630497 525619 2400 1147 0 617924 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 2526180 KiB
Current children cumulated memory: 2105420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/270 82524
/proc/meminfo: memFree=123993740/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=2526404 memory=2116808 CPUtime=3567.2 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 201281 0 0 0 356356 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 2530596 KiB
Current children cumulated memory: 2119752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 82526
/proc/meminfo: memFree=123958656/131250000 swapFree=33010160/33010684
[pid=82183] ppid=82180 vsize=4192 memory=2944 CPUtime=5.7 cores=0,2
/proc/82183/stat : 82183 (run-opt-break.s) S 82180 82183 81997 0 -1 4194304 237 39963 0 0 0 0 556 14 20 0 1 0 63839956 4292608 736 18446744073709551615 94295926214656 94295927109189 140729469197728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94295927348240 94295927395984 94295939846144 140729469204833 140729469204962 140729469204962 140729469210564 0
/proc/82183/statm: 1048 736 672 219 0 110 0
[pid=82186] ppid=82183 vsize=2526404 memory=2116808 CPUtime=3594.33 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82183 82183 81997 0 -1 4194304 201281 0 0 0 359069 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2530596 KiB
Current children cumulated memory: 2119752 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 82183 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=5.56357 s, system=0.148937 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.52 s]
# the end of solver process 82186 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.25 s, system=3.80848 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 82526
/proc/meminfo: memFree=123958656/131250000 swapFree=33010160/33010684
[pid=82186] ppid=82180 vsize=2526404 memory=2116808 CPUtime=3594.44 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82180 82183 81997 0 -1 4194304 201281 0 0 0 359080 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current cumulated CPU time of completed processes: 5.71251 s
Current children cumulated CPU time: 3594.44 s
Current children cumulated vsize: 2526404 KiB
Current children cumulated memory: 2116808 KiB
[startup+3610.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 82526
/proc/meminfo: memFree=123958656/131250000 swapFree=33010160/33010684
[pid=82186] ppid=82180 vsize=2526404 memory=2116808 CPUtime=3595.23 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82180 82183 81997 0 -1 4194304 201281 0 0 0 359159 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current cumulated CPU time of completed processes: 5.71251 s
Current children cumulated CPU time: 3595.23 s
Current children cumulated vsize: 2526404 KiB
Current children cumulated memory: 2116808 KiB
[startup+3611.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 82526
/proc/meminfo: memFree=123958656/131250000 swapFree=33010160/33010684
[pid=82186] ppid=82180 vsize=2526404 memory=2116808 CPUtime=3596.03 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82180 82183 81997 0 -1 4194304 201281 0 0 0 359239 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current cumulated CPU time of completed processes: 5.71251 s
Current children cumulated CPU time: 3596.03 s
Current children cumulated vsize: 2526404 KiB
Current children cumulated memory: 2116808 KiB
[startup+3611.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 82526
/proc/meminfo: memFree=123958656/131250000 swapFree=33010160/33010684
[pid=82186] ppid=82180 vsize=2526404 memory=2116808 CPUtime=3596.23 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82180 82183 81997 0 -1 4194304 201281 0 0 0 359259 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current cumulated CPU time of completed processes: 5.71251 s
Current children cumulated CPU time: 3596.23 s
Current children cumulated vsize: 2526404 KiB
Current children cumulated memory: 2116808 KiB
[startup+3611.5 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 82526
/proc/meminfo: memFree=123958656/131250000 swapFree=33010160/33010684
[pid=82186] ppid=82180 vsize=2526404 memory=2116808 CPUtime=3596.33 cores=0,2
/proc/82186/stat : 82186 (roundingsat) R 82180 82183 81997 0 -1 4194304 201281 0 0 0 359269 364 0 0 20 0 1 0 63840530 2587037696 529202 18446744073709551615 4227072 8923433 140724122615424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32780288 140724122622308 140724122622504 140724122622504 140724122628074 0
/proc/82186/statm: 631601 529202 2400 1147 0 619028 0
Current cumulated CPU time of completed processes: 5.71251 s
Current children cumulated CPU time: 3596.33 s
Current children cumulated vsize: 2526404 KiB
Current children cumulated memory: 2116808 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.52
CPU time (s): 3602.06
CPU user time (s): 3598.25
CPU system time (s): 3.80848
CPU usage (%): 99.7382
Max. virtual memory (cumulated for all children) (KiB): 2835492
Max. memory (cumulated for all children) (KiB): 2187088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.25
system time used= 3.80848
maximum resident set size= 2309072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 91920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 7937
# summary of solver processes directly reported to runsolver:
# pid: 82183,82186
# total CPU time (s): 3602.06
# total CPU user time (s): 3598.25
# total CPU system time (s): 3.80848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02462 second user time and 18.0157 second system time
The end
Begin job on nodeC016 at 2025-07-02 20:40:24
IDJOB=4502972
IDBENCH=155402
IDSOLVER=3359
FILE ID=nodeC016/4502972-1751481624
RUNJOBID= nodeC016-1751481177-82007
SLURM_JOB_ID= 9598526
Free space on /tmp= 432820 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502972-1751481624/watcher-4502972-1751481624 -o /tmp/evaluation-result-4502972-1751481624/solver-4502972-1751481624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82007 --watchdog 3760 run-opt-break.sh HOME/instance-4502972-1751481624.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=1226059064
nodeC016 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.713
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.48
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.729
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.48
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 : 3602.978
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.48
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 : 3590.190
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.48
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.734
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.48
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.720
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.48
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 : 3567.141
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.48
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129282032 kB
MemAvailable: 129328444 kB
Buffers: 2144 kB
Cached: 815464 kB
SwapCached: 28 kB
Active: 1067648 kB
Inactive: 195656 kB
Active(anon): 458484 kB
Inactive(anon): 5288 kB
Active(file): 609164 kB
Inactive(file): 190368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 53076 kB
Writeback: 12 kB
AnonPages: 447612 kB
Mapped: 118040 kB
Shmem: 18044 kB
KReclaimable: 172240 kB
Slab: 264464 kB
SReclaimable: 172240 kB
SUnreclaim: 92224 kB
KernelStack: 4288 kB
PageTables: 4108 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 792432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 333824 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432640 MiB
End job on nodeC016 at 2025-07-02 21:40:36