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-4503062-1751444477.opb'
0.49/0.59 c read 49.48MB (585.66ms)
0.49/0.59 c [cnf: #variables 15008 #clauses 65281 #duplicates 0 #arr 5388960]
0.49/0.60 c
0.49/0.60 c make graph and approximate orbits
0.77/0.89 c [group: #orbits ~= 328] (298.70ms)
0.77/0.89 c
0.77/0.89 c detect special group actions
0.77/0.89 c probe for Johnson action (limit=64)
1.18/1.21 c probe for row-column symmetry (limit=64, splits=16.78M)
1.38/1.43 c probe for row symmetry (limit=64, splits=16.78M)
5.47/5.50 c (4607.01ms)
5.47/5.50 c
5.47/5.50 c detect symmetries on remainder
5.47/5.50 c [graph: #vertices 110305 #edges 10837952]
5.47/5.52 c dejavu (support_limit=2048.00MB, budget_limit=64)
6.75/6.80 c [group: #symmetries 2.56*10^2 #generators 8] (1295.62ms)
6.75/6.80 c
6.75/6.80 c optimize generators (opt_passes=64, conjugate_limit=256)
6.75/6.80 c (0.05ms)
6.75/6.80 c
6.75/6.80 c finalize break order and special generators
6.75/6.80 c
6.75/6.80 c add generic predicates (break_depth=20)
6.75/6.80 c added predicates for 8 generators (4.29ms)
6.75/6.80 c
6.75/6.80 c generation finished
6.75/6.80 c [sbp: #constraints 464 #add_vars 152]
6.75/6.80 c
6.75/6.80 c write result to 'HOME/instance-4503062-1751444477.opb.pre'
6.85/6.91 c wrote 49.56MB (105.29ms)
6.85/6.91 c ------------------------------------------------------------------
6.85/6.91 c 4607.01ms 66.77% detect_special
6.85/6.91 c 1295.62ms 18.78% detect_generic
6.85/6.91 c 585.66ms 8.49% parse
6.85/6.91 c 298.70ms 4.33% approx_orbits
6.85/6.91 c 105.29ms 1.53% output
6.85/6.91 c 4.29ms 0.06% break_generic
6.85/6.91 c 1.96ms 0.03% other
6.85/6.91 c 1.38ms 0.02% finalize_order
6.85/6.91 c 0.05ms 0.00% optimize_gens
6.85/6.91 c ───────────────────────────────────────────────
6.85/6.91 c 6899.95ms 100% total
6.85/6.91 c ------------------------------------------------------------------
6.85/6.94 c RoundingSat 2
6.85/6.94 c branch pb25
6.85/6.94 c commit 63f22ad
8.64/8.79 c #variables 15160 #constraints 65744
8.64/8.79 c objective is ce32
26.47/26.65 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
26.47/26.65 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
26.47/26.65 c bounds 269 >= 0 @ 19.4234
47.61/47.88 c bounds 268 >= 0 @ 40.3224
47.71/47.90 c bounds 268 >= 1 @ 40.3366
47.71/47.91 c bounds 268 >= 2 @ 40.3407
47.71/47.92 c bounds 268 >= 3 @ 40.3451
47.71/47.93 c bounds 268 >= 4 @ 40.3502
47.71/47.94 c bounds 268 >= 5 @ 40.3586
47.71/47.95 c bounds 268 >= 6 @ 40.3616
47.71/47.96 c bounds 268 >= 7 @ 40.3661
47.71/47.97 c bounds 268 >= 8 @ 40.3711
47.71/47.98 c bounds 268 >= 9 @ 40.3751
47.71/47.99 c bounds 268 >= 10 @ 40.3779
47.82/48.00 c bounds 268 >= 11 @ 40.3822
47.82/48.01 c bounds 268 >= 12 @ 40.3874
47.82/48.02 c bounds 268 >= 13 @ 40.3953
47.82/48.03 c bounds 268 >= 14 @ 40.3991
47.82/48.05 c bounds 268 >= 15 @ 40.4053
47.82/48.06 c bounds 268 >= 16 @ 40.4116
47.82/48.07 c bounds 268 >= 17 @ 40.4161
47.82/48.08 c bounds 268 >= 18 @ 40.4198
47.82/48.09 c bounds 268 >= 19 @ 40.4249
47.92/48.11 c bounds 268 >= 20 @ 40.4403
47.92/48.13 c bounds 268 >= 21 @ 40.4481
47.92/48.14 c bounds 268 >= 22 @ 40.4529
47.92/48.19 c bounds 267 >= 22 @ 40.4926
48.01/48.21 c bounds 267 >= 23 @ 40.507
48.01/48.23 c bounds 267 >= 24 @ 40.5133
48.01/48.24 c bounds 267 >= 25 @ 40.5216
48.01/48.26 c bounds 267 >= 26 @ 40.526
48.01/48.28 c bounds 267 >= 27 @ 40.5361
48.01/48.29 c bounds 267 >= 28 @ 40.5442
48.11/48.31 c bounds 267 >= 29 @ 40.5549
48.11/48.34 c bounds 267 >= 30 @ 40.5809
48.21/48.42 c bounds 266 >= 30 @ 40.6532
48.31/48.51 c bounds 266 >= 31 @ 40.7243
48.31/48.55 c bounds 265 >= 31 @ 40.7556
48.70/48.93 c bounds 265 >= 32 @ 41.1072
48.70/48.98 c bounds 264 >= 32 @ 41.1403
48.81/49.01 c bounds 263 >= 32 @ 41.1601
48.81/49.03 c bounds 262 >= 32 @ 41.1742
48.81/49.05 c bounds 261 >= 32 @ 41.1849
48.81/49.08 c bounds 260 >= 32 @ 41.1984
48.91/49.10 c bounds 259 >= 32 @ 41.2202
48.91/49.13 c bounds 258 >= 32 @ 41.2402
48.91/49.17 c bounds 257 >= 32 @ 41.2659
49.01/49.21 c bounds 256 >= 32 @ 41.2952
49.01/49.24 c bounds 255 >= 32 @ 41.3201
49.01/49.28 c bounds 254 >= 32 @ 41.35
49.10/49.31 c bounds 253 >= 32 @ 41.3738
49.10/49.34 c bounds 252 >= 32 @ 41.3949
49.10/49.36 c bounds 251 >= 32 @ 41.4113
49.10/49.39 c bounds 250 >= 32 @ 41.4286
49.21/49.41 c bounds 249 >= 32 @ 41.4472
49.21/49.44 c bounds 248 >= 32 @ 41.4763
49.30/49.53 c bounds 247 >= 32 @ 41.5507
49.41/49.61 c bounds 246 >= 32 @ 41.613
49.41/49.64 c bounds 245 >= 32 @ 41.6387
49.41/49.67 c bounds 244 >= 32 @ 41.6666
49.51/49.70 c bounds 243 >= 32 @ 41.6899
49.51/49.73 c bounds 242 >= 32 @ 41.7136
49.51/49.77 c bounds 241 >= 32 @ 41.7396
49.60/49.89 c bounds 240 >= 32 @ 41.8429
51.60/51.81 c #Conflicts: 1000 | #Constraints: 66998
51.60/51.81 c bounds 240 >= 33 @ 43.6779
51.60/51.85 c bounds 239 >= 33 @ 43.712
51.60/51.89 c bounds 238 >= 33 @ 43.7392
51.70/51.92 c bounds 237 >= 33 @ 43.7605
51.70/51.95 c bounds 236 >= 33 @ 43.7798
51.70/51.98 c bounds 235 >= 33 @ 43.8032
51.80/52.01 c bounds 234 >= 33 @ 43.8294
51.90/52.12 c bounds 233 >= 33 @ 43.9262
52.00/52.23 c bounds 232 >= 33 @ 44.014
52.10/52.37 c bounds 231 >= 33 @ 44.1273
52.81/53.06 c bounds 230 >= 33 @ 44.7766
53.20/53.47 c bounds 229 >= 33 @ 45.1577
60.57/60.86 c #Conflicts: 2000 | #Constraints: 68036
60.57/60.86 c INPROCESSING
60.57/60.86 c GARBAGE COLLECT
60.57/60.86 c bounds 228 >= 33 @ 52.4908
60.67/60.97 c bounds 227 >= 33 @ 52.5893
60.97/61.26 c bounds 226 >= 33 @ 52.8683
60.97/61.29 c bounds 225 >= 33 @ 52.8939
61.08/61.33 c bounds 224 >= 33 @ 52.9339
61.17/61.44 c bounds 223 >= 33 @ 53.0377
61.28/61.54 c bounds 222 >= 33 @ 53.1389
61.48/61.70 c bounds 221 >= 33 @ 53.2869
61.48/61.74 c bounds 220 >= 33 @ 53.318
61.57/61.85 c bounds 219 >= 33 @ 53.4232
61.78/62.03 c bounds 218 >= 33 @ 53.5913
61.98/62.23 c bounds 217 >= 33 @ 53.7812
62.17/62.47 c bounds 216 >= 33 @ 54.0095
62.37/62.66 c bounds 215 >= 33 @ 54.1867
62.47/62.79 c bounds 214 >= 33 @ 54.3073
62.67/62.96 c bounds 213 >= 33 @ 54.4665
62.78/63.02 c bounds 212 >= 33 @ 54.5153
62.78/63.09 c bounds 211 >= 33 @ 54.5871
63.67/64.00 c bounds 210 >= 33 @ 55.4902
85.61/85.97 c #Conflicts: 3000 | #Constraints: 67974
85.61/85.97 c #Conflicts: 4000 | #Constraints: 68974
85.61/85.97 c INPROCESSING
85.61/85.97 c GARBAGE COLLECT
85.61/85.97 c bounds 209 >= 33 @ 77.2833
86.21/86.58 c bounds 208 >= 33 @ 77.8651
86.41/86.76 c bounds 207 >= 33 @ 78.0491
86.51/86.84 c bounds 206 >= 33 @ 78.1163
86.60/86.90 c bounds 205 >= 33 @ 78.1696
86.60/86.96 c bounds 204 >= 33 @ 78.2305
86.71/87.04 c bounds 203 >= 33 @ 78.3083
86.71/87.07 c bounds 202 >= 33 @ 78.3301
86.90/87.20 c bounds 201 >= 33 @ 78.4613
87.00/87.36 c bounds 200 >= 33 @ 78.6179
87.30/87.68 c bounds 199 >= 33 @ 78.9109
87.71/88.01 c bounds 198 >= 33 @ 79.2428
88.01/88.37 c bounds 197 >= 33 @ 79.5762
88.40/88.76 c bounds 196 >= 33 @ 79.934
88.71/89.07 c bounds 195 >= 33 @ 80.2364
88.80/89.16 c bounds 194 >= 33 @ 80.326
88.91/89.21 c bounds 193 >= 33 @ 80.3751
88.91/89.24 c bounds 192 >= 33 @ 80.3975
88.91/89.28 c bounds 191 >= 33 @ 80.4303
89.00/89.30 c bounds 190 >= 33 @ 80.4539
89.00/89.33 c bounds 189 >= 33 @ 80.4768
89.10/89.40 c bounds 188 >= 33 @ 80.54
89.20/89.52 c bounds 187 >= 33 @ 80.6436
89.30/89.63 c bounds 186 >= 33 @ 80.7409
89.40/89.70 c #Conflicts: 5000 | #Constraints: 68373
89.40/89.70 c bounds 185 >= 33 @ 80.7976
89.40/89.75 c bounds 184 >= 33 @ 80.8421
89.50/89.81 c bounds 183 >= 33 @ 80.8975
89.50/89.85 c bounds 182 >= 33 @ 80.935
89.60/89.98 c bounds 181 >= 33 @ 81.0528
89.70/90.02 c bounds 180 >= 33 @ 81.0961
89.89/90.26 c bounds 179 >= 33 @ 81.3155
90.00/90.31 c bounds 178 >= 33 @ 81.3512
90.00/90.34 c bounds 177 >= 33 @ 81.3803
90.10/90.40 c bounds 176 >= 33 @ 81.4264
90.10/90.44 c bounds 175 >= 33 @ 81.4532
90.10/90.47 c bounds 174 >= 33 @ 81.478
90.20/90.53 c bounds 173 >= 33 @ 81.5329
90.20/90.59 c bounds 172 >= 33 @ 81.574
90.30/90.63 c bounds 171 >= 33 @ 81.6046
90.30/90.67 c bounds 170 >= 33 @ 81.6369
90.40/90.73 c bounds 169 >= 33 @ 81.6888
90.40/90.79 c bounds 168 >= 33 @ 81.7421
90.49/90.85 c bounds 167 >= 33 @ 81.7921
90.49/90.89 c bounds 166 >= 33 @ 81.8251
90.59/90.96 c bounds 165 >= 33 @ 81.885
90.59/90.99 c bounds 164 >= 33 @ 81.9046
90.70/91.03 c bounds 163 >= 33 @ 81.9344
90.70/91.07 c bounds 162 >= 33 @ 81.9639
90.80/91.11 c bounds 161 >= 33 @ 81.9952
90.80/91.18 c bounds 160 >= 33 @ 82.0319
90.90/91.23 c bounds 159 >= 33 @ 82.0685
90.90/91.27 c bounds 158 >= 33 @ 82.1004
91.00/91.31 c bounds 157 >= 33 @ 82.1368
91.00/91.37 c bounds 156 >= 33 @ 82.1821
91.10/91.42 c bounds 155 >= 33 @ 82.2279
91.10/91.49 c bounds 154 >= 33 @ 82.2846
91.19/91.56 c bounds 153 >= 33 @ 82.3443
91.30/91.60 c bounds 152 >= 33 @ 82.3713
91.30/91.63 c bounds 151 >= 33 @ 82.4011
91.40/91.70 c bounds 150 >= 33 @ 82.4522
91.40/91.75 c bounds 149 >= 33 @ 82.4968
91.50/91.81 c bounds 148 >= 33 @ 82.5483
91.60/91.91 c bounds 147 >= 33 @ 82.6384
91.70/92.05 c bounds 146 >= 33 @ 82.7697
91.80/92.11 c bounds 145 >= 33 @ 82.8163
91.80/92.16 c bounds 144 >= 33 @ 82.8585
91.89/92.20 c bounds 143 >= 33 @ 82.8958
91.89/92.26 c bounds 142 >= 33 @ 82.9402
92.00/92.32 c bounds 141 >= 33 @ 82.9921
92.19/92.58 c bounds 140 >= 33 @ 83.2321
92.49/92.86 c bounds 139 >= 33 @ 83.4931
93.09/93.44 c bounds 138 >= 33 @ 84.0428
93.19/93.56 c bounds 137 >= 33 @ 84.1555
95.88/96.23 c #Conflicts: 6000 | #Constraints: 69422
95.88/96.23 c bounds 136 >= 33 @ 86.7303
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 (44195 MiB free)
memory of node 1: 64465 MiB (55157 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503062-1751444477/watcher-4503062-1751444477 -o /tmp/evaluation-result-4503062-1751444477/solver-4503062-1751444477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62653 --watchdog 3760 run-opt-ls.sh HOME/instance-4503062-1751444477.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
solver pid=63246, runsolver pid=63243
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.19 4.18 4.10 5/270 63248
/proc/meminfo: memFree=101729460/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=43764 memory=33708 CPUtime=0.08 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 6324 0 0 0 7 1 0 0 20 0 1 0 60126328 44814336 8427 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 10941 8427 928 108 0 8349 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47956 KiB
Current children cumulated memory: 36780 KiB
[startup+0.205998 s]*
/proc/loadavg: 4.19 4.18 4.10 5/270 63248
/proc/meminfo: memFree=101699532/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=68628 memory=56764 CPUtime=0.18 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 10963 0 0 0 16 2 0 0 20 0 1 0 60126328 70275072 14191 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 17157 14191 928 108 0 14565 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 72820 KiB
Current children cumulated memory: 59836 KiB
[startup+0.305797 s]*
/proc/loadavg: 4.19 4.18 4.10 5/270 63248
/proc/meminfo: memFree=101675464/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=92816 memory=79572 CPUtime=0.28 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 15471 0 0 0 25 3 0 0 20 0 1 0 60126328 95043584 19893 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 23204 19893 928 108 0 20612 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97008 KiB
Current children cumulated memory: 82644 KiB
[startup+0.700228 s]
/proc/loadavg: 4.19 4.18 4.10 5/270 63248
/proc/meminfo: memFree=101639360/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=212264 memory=183184 CPUtime=0.67 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 29966 0 0 0 59 8 0 0 20 0 1 0 60126328 217358336 45796 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 53066 45796 960 108 0 50474 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 216456 KiB
Current children cumulated memory: 186256 KiB
[startup+1.50021 s]
/proc/loadavg: 4.19 4.18 4.10 5/270 63248
/proc/meminfo: memFree=101533656/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=229460 memory=205460 CPUtime=1.48 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 33324 0 0 0 138 10 0 0 20 0 1 0 60126328 234967040 51365 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 57365 51365 992 108 0 54773 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 233652 KiB
Current children cumulated memory: 208532 KiB
[startup+3.10566 s]
/proc/loadavg: 4.18 4.18 4.09 5/270 63248
/proc/meminfo: memFree=101564944/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=229460 memory=205460 CPUtime=3.08 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 33344 0 0 0 298 10 0 0 20 0 1 0 60126328 234967040 51365 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 57365 51365 992 108 0 54773 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 233652 KiB
Current children cumulated memory: 208532 KiB
[startup+6.3002 s]
/proc/loadavg: 4.18 4.18 4.09 5/270 63248
/proc/meminfo: memFree=101522600/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63248] ppid=63246 vsize=384872 memory=313844 CPUtime=6.25 cores=0,2
/proc/63248/stat : 63248 (pbsuma) R 63246 63246 62643 0 -1 4194304 41029 0 0 0 613 12 0 0 20 0 1 0 60126328 394108928 78461 18446744073709551615 4210688 4653049 140722432324736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29753344 140722432330083 140722432330290 140722432330290 140722432335855 0
/proc/63248/statm: 96218 78461 992 108 0 93626 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 389064 KiB
Current children cumulated memory: 316916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.09 5/270 63249
/proc/meminfo: memFree=100998032/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=468828 memory=385860 CPUtime=5.73 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 86255 0 0 0 551 22 0 0 20 0 1 0 60127020 480079872 96465 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 117207 96465 2336 1147 0 104634 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 473020 KiB
Current children cumulated memory: 388932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.09 5/270 63250
/proc/meminfo: memFree=101000380/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=468828 memory=385860 CPUtime=18.49 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 86255 0 0 0 1827 22 0 0 20 0 1 0 60127020 480079872 96465 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 117207 96465 2336 1147 0 104634 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 473020 KiB
Current children cumulated memory: 388932 KiB
[startup+51.1061 s]
/proc/loadavg: 4.14 4.17 4.09 5/270 63251
/proc/meminfo: memFree=100475468/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=751016 memory=672176 CPUtime=44.02 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 109317 0 0 0 4299 103 0 0 20 0 1 0 60127020 769040384 168044 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 187754 168044 2432 1147 0 175181 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 755208 KiB
Current children cumulated memory: 675248 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.14 4.09 5/270 63300
/proc/meminfo: memFree=111250964/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=1556836 memory=1399904 CPUtime=95.07 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 253995 0 0 0 9274 233 0 0 20 0 1 0 60127020 1594200064 349976 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 389209 349976 2464 1147 0 376636 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1561028 KiB
Current children cumulated memory: 1402976 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/270 63306
/proc/meminfo: memFree=110780080/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=1797376 memory=1616760 CPUtime=154.91 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 260138 0 0 0 15251 240 0 0 20 0 1 0 60127020 1840513024 404190 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 449344 404190 2464 1147 0 436771 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1801568 KiB
Current children cumulated memory: 1619832 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/270 63308
/proc/meminfo: memFree=110552252/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=1867856 memory=1675924 CPUtime=214.76 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 263291 0 0 0 21229 247 0 0 20 0 1 0 60127020 1912684544 418981 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 466964 418981 2464 1147 0 454391 0
################
# More data... #
################
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3027104 memory=2893164 CPUtime=3206.18 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 377826 0 0 0 320172 446 0 0 20 0 1 0 60127020 3099754496 723291 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 756776 723291 2464 1147 0 744203 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 3031296 KiB
Current children cumulated memory: 2896236 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/269 63526
/proc/meminfo: memFree=106258004/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3027104 memory=2893164 CPUtime=3266.02 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 377984 0 0 0 326156 446 0 0 20 0 1 0 60127020 3099754496 723291 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 756776 723291 2464 1147 0 744203 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 3031296 KiB
Current children cumulated memory: 2896236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/269 63529
/proc/meminfo: memFree=106129736/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3135936 memory=2933468 CPUtime=3325.84 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 380309 0 0 0 332126 458 0 0 20 0 1 0 60127020 3211198464 733367 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 783984 733367 2464 1147 0 771411 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 3140128 KiB
Current children cumulated memory: 2936540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/269 63531
/proc/meminfo: memFree=106081932/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3543468 memory=2982976 CPUtime=3385.67 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 386400 0 0 0 338099 468 0 0 20 0 1 0 60127020 3628511232 745744 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 885867 745744 2464 1147 0 873294 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 3547660 KiB
Current children cumulated memory: 2986048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/269 63534
/proc/meminfo: memFree=106074756/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3543468 memory=2982976 CPUtime=3445.51 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 386400 0 0 0 344083 468 0 0 20 0 1 0 60127020 3628511232 745744 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 885867 745744 2464 1147 0 873294 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 3547660 KiB
Current children cumulated memory: 2986048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/270 63537
/proc/meminfo: memFree=106035988/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3543468 memory=2982976 CPUtime=3505.33 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 386526 0 0 0 350065 468 0 0 20 0 1 0 60127020 3628511232 745744 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 885867 745744 2464 1147 0 873294 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 3547660 KiB
Current children cumulated memory: 2986048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/271 63554
/proc/meminfo: memFree=105915184/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3575172 memory=3015264 CPUtime=3565.14 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 388921 0 0 0 356035 479 0 0 20 0 1 0 60127020 3660976128 753816 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 893793 753816 2464 1147 0 881220 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 3579364 KiB
Current children cumulated memory: 3018336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 63648
/proc/meminfo: memFree=109114484/131249996 swapFree=33010160/33010684
[pid=63246] ppid=63243 vsize=4192 memory=3072 CPUtime=6.89 cores=0,2
/proc/63246/stat : 63246 (run-opt-ls.sh) S 63243 63246 62643 0 -1 4194304 238 41347 0 0 0 0 674 15 20 0 1 0 60126327 4292608 768 18446744073709551615 94466193899520 94466194794053 140726039269008 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94466195033104 94466195080848 94466215014400 140726039275879 140726039276005 140726039276005 140726039281607 0
/proc/63246/statm: 1048 768 704 219 0 110 0
[pid=63249] ppid=63246 vsize=3585040 memory=3030868 CPUtime=3593.15 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63246 63246 62643 0 -1 4194304 390780 0 0 0 358835 480 0 0 20 0 1 0 60127020 3671080960 757717 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 896260 757717 2464 1147 0 883687 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3589232 KiB
Current children cumulated memory: 3033940 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.41 s]
# the end of solver process 63246 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=6.74357 s, system=0.156569 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.41 s]
# the end of solver process 63249 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.09 s, system=4.97588 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 63648
/proc/meminfo: memFree=109098608/131249996 swapFree=33010160/33010684
[pid=63249] ppid=63243 vsize=3585040 memory=3030868 CPUtime=3593.95 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63243 63246 62643 0 -1 4194304 390780 0 0 0 358915 480 0 0 20 0 1 0 60127020 3671080960 757717 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 896260 757717 2464 1147 0 883687 0
Current cumulated CPU time of completed processes: 6.90014 s
Current children cumulated CPU time: 3593.95 s
Current children cumulated vsize: 3585040 KiB
Current children cumulated memory: 3030868 KiB
[startup+3612 s]*
/proc/loadavg: 4.09 4.11 4.09 5/269 63648
/proc/meminfo: memFree=109062256/131249996 swapFree=33010160/33010684
[pid=63249] ppid=63243 vsize=3585040 memory=3030868 CPUtime=3594.75 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63243 63246 62643 0 -1 4194304 390780 0 0 0 358995 480 0 0 20 0 1 0 60127020 3671080960 757717 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 896260 757717 2464 1147 0 883687 0
Current cumulated CPU time of completed processes: 6.90014 s
Current children cumulated CPU time: 3594.75 s
Current children cumulated vsize: 3585040 KiB
Current children cumulated memory: 3030868 KiB
[startup+3612.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 63648
/proc/meminfo: memFree=109062256/131249996 swapFree=33010160/33010684
[pid=63249] ppid=63243 vsize=3585040 memory=3030868 CPUtime=3595.14 cores=0,2
/proc/63249/stat : 63249 (roundingsat) R 63243 63246 62643 0 -1 4194304 390780 0 0 0 359034 480 0 0 20 0 1 0 60127020 3671080960 757717 18446744073709551615 4227072 8923433 140729729613328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40497152 140729729616198 140729729616424 140729729616424 140729729621994 0
/proc/63249/statm: 896260 757717 2464 1147 0 883687 0
Current cumulated CPU time of completed processes: 6.90014 s
Current children cumulated CPU time: 3595.14 s
Current children cumulated vsize: 3585040 KiB
Current children cumulated memory: 3030868 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.41
CPU time (s): 3602.07
CPU user time (s): 3597.09
CPU system time (s): 4.97588
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 3934996
Max. memory (cumulated for all children) (KiB): 3256688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.09
system time used= 4.97588
maximum resident set size= 3368304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256
involuntary context switches= 7931
# summary of solver processes directly reported to runsolver:
# pid: 63246,63249
# total CPU time (s): 3602.07
# total CPU user time (s): 3597.09
# total CPU system time (s): 4.97588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35142 second user time and 18.7596 second system time
The end
Begin job on nodeC032 at 2025-07-02 10:21:17
IDJOB=4503062
IDBENCH=155404
IDSOLVER=3355
FILE ID=nodeC032/4503062-1751444477
RUNJOBID= nodeC032-1751440844-62653
SLURM_JOB_ID= 9598402
Free space on /tmp= 429756 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503062-1751444477/watcher-4503062-1751444477 -o /tmp/evaluation-result-4503062-1751444477/solver-4503062-1751444477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62653 --watchdog 3760 run-opt-ls.sh HOME/instance-4503062-1751444477.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=1872573068
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.692
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.148
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.917
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3570.109
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3579.327
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 101737652 kB
MemAvailable: 117682852 kB
Buffers: 2728 kB
Cached: 16625300 kB
SwapCached: 20 kB
Active: 12206272 kB
Inactive: 16258132 kB
Active(anon): 11851156 kB
Inactive(anon): 3268 kB
Active(file): 355116 kB
Inactive(file): 16254864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 203656 kB
Writeback: 0 kB
AnonPages: 11839504 kB
Mapped: 116480 kB
Shmem: 18048 kB
KReclaimable: 348920 kB
Slab: 441936 kB
SReclaimable: 348920 kB
SUnreclaim: 93016 kB
KernelStack: 4352 kB
PageTables: 27140 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 13570888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5828608 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430976 MiB
End job on nodeC032 at 2025-07-02 11:21:29