0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4499307-1751410769.opb'
0.00/0.04 c read 0.47MB (17.45ms)
0.00/0.04 c [cnf: #variables 4977 #clauses 5495 #duplicates 0 #arr 48524]
0.00/0.04 c output proof to 'PROOFDIR/proof-4499307-1751410769'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 42] (17.69ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.18 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.20 c recursing 280 blocks of candidate 7x1422r
0.08/0.20 c found row 3x14, generating row predicate
0.19/0.22 c found row 11x14, generating row predicate
0.19/0.25 c found row 7x1422, generating row predicate
0.19/0.25 c (189.82ms)
0.19/0.25 c
0.19/0.25 c detect symmetries on remainder
0.19/0.25 c [graph: #vertices 29897 #edges 135898]
0.19/0.25 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.30/0.38 c [group: #symmetries 2.94*10^155 #generators 224] (129.27ms)
0.30/0.38 c
0.30/0.38 c optimize generators (opt_passes=64, conjugate_limit=256)
0.39/0.49 c opt it=15, l=6786, m=433, opt=33, avg=916, b=20, gens=224
0.49/0.57 c opt it=31, l=10692, m=839, opt=67, avg=907, b=20, gens=224
0.58/0.63 c opt it=47, l=14597, m=1263, opt=104, avg=895, b=20, gens=224
0.58/0.70 c opt it=63, l=18492, m=1667, opt=128, avg=888, b=20, gens=224
0.67/0.71 c ran it=0, +gens=86
0.87/0.98 c con best_support=20, best_gens=103, +gens=250
0.87/0.98 c (598.35ms)
0.87/0.98 c
0.87/0.98 c finalize break order and special generators
0.87/0.98 c
0.87/0.98 c add generic predicates (break_depth=20)
0.87/1.00 c added predicates for 560 generators (13.95ms)
1.26/1.37 c
1.26/1.37 c generation finished
1.26/1.37 c [sbp: #constraints 31150 #add_vars 10333]
1.26/1.37 c
1.26/1.37 c write result to 'HOME/instance-4499307-1751410769.opb.pre'
1.26/1.38 c wrote 1.63MB (5.68ms)
1.26/1.38 c ------------------------------------------------------------------
1.26/1.38 c 598.35ms 44.05% optimize_gens
1.26/1.38 c 379.49ms 27.94% other
1.26/1.38 c 189.82ms 13.97% detect_special
1.26/1.38 c 129.27ms 9.52% detect_generic
1.26/1.38 c 17.69ms 1.30% approx_orbits
1.26/1.38 c 17.44ms 1.28% parse
1.26/1.38 c 13.95ms 1.03% break_generic
1.26/1.38 c 6.67ms 0.49% finalize_order
1.26/1.38 c 5.68ms 0.42% output
1.26/1.38 c ───────────────────────────────────────────────
1.26/1.38 c 1358.37ms 100% total
1.26/1.38 c ------------------------------------------------------------------
1.35/1.44 c RoundingSat 2
1.35/1.44 c branch pb25
1.35/1.44 c commit 63f22ad
1.36/1.75 c #variables 15310 #constraints 36695
1.36/1.75 c objective is ce32
1.36/1.98 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.36/1.98 c initial counting CF 32, 64, 128, Arb: 449 , 0 , 0 , 0
1.36/1.98 c bounds - >= 0 @ 0.465681
4.47/4.66 c #Conflicts: 1000 | #Constraints: 37695
4.47/4.66 c #Conflicts: 2000 | #Constraints: 38698
4.47/4.66 c INPROCESSING
4.47/4.66 c GARBAGE COLLECT
4.47/4.66 c rational objective 7
6.57/6.78 c #Conflicts: 3000 | #Constraints: 33729
6.57/6.78 c #Conflicts: 4000 | #Constraints: 34731
6.57/6.78 c INPROCESSING
6.57/6.78 c GARBAGE COLLECT
6.57/6.78 c rational objective 7
7.98/8.13 c #Conflicts: 5000 | #Constraints: 34072
7.98/8.13 c #Conflicts: 6000 | #Constraints: 35072
7.98/8.13 c INPROCESSING
7.98/8.13 c GARBAGE COLLECT
7.98/8.13 c rational objective 7
10.55/10.72 c #Conflicts: 7000 | #Constraints: 34076
10.55/10.72 c #Conflicts: 8000 | #Constraints: 35077
10.55/10.72 c #Conflicts: 9000 | #Constraints: 36081
10.55/10.72 c INPROCESSING
10.55/10.72 c GARBAGE COLLECT
10.55/10.72 c rational objective 7
12.86/13.06 c #Conflicts: 10000 | #Constraints: 34768
12.86/13.06 c #Conflicts: 11000 | #Constraints: 35769
12.86/13.06 c #Conflicts: 12000 | #Constraints: 36770
12.86/13.06 c INPROCESSING
12.86/13.06 c GARBAGE COLLECT
12.86/13.06 c rational objective 7
15.24/15.49 c #Conflicts: 13000 | #Constraints: 35197
15.24/15.49 c #Conflicts: 14000 | #Constraints: 36200
15.24/15.49 c #Conflicts: 15000 | #Constraints: 37204
15.24/15.49 c INPROCESSING
15.24/15.49 c GARBAGE COLLECT
15.24/15.49 c rational objective 7
18.64/18.87 c #Conflicts: 16000 | #Constraints: 35426
18.64/18.87 c #Conflicts: 17000 | #Constraints: 36426
18.64/18.87 c #Conflicts: 18000 | #Constraints: 37429
18.64/18.87 c INPROCESSING
18.64/18.87 c GARBAGE COLLECT
18.64/18.87 c rational objective 7
22.83/23.06 c #Conflicts: 19000 | #Constraints: 35438
22.83/23.06 c #Conflicts: 20000 | #Constraints: 36442
22.83/23.06 c #Conflicts: 21000 | #Constraints: 37447
22.83/23.06 c INPROCESSING
22.83/23.06 c GARBAGE COLLECT
22.83/23.06 c rational objective 7
25.21/25.42 c #Conflicts: 22000 | #Constraints: 35246
25.21/25.42 c #Conflicts: 23000 | #Constraints: 36248
25.21/25.42 c #Conflicts: 24000 | #Constraints: 37249
25.21/25.42 c #Conflicts: 25000 | #Constraints: 38252
25.21/25.42 c INPROCESSING
25.21/25.42 c GARBAGE COLLECT
25.21/25.42 c rational objective 7
29.00/29.27 c #Conflicts: 26000 | #Constraints: 35838
29.00/29.27 c #Conflicts: 27000 | #Constraints: 36838
29.00/29.27 c #Conflicts: 28000 | #Constraints: 37839
29.00/29.27 c #Conflicts: 29000 | #Constraints: 38840
29.00/29.27 c INPROCESSING
29.00/29.27 c GARBAGE COLLECT
29.00/29.27 c rational objective 7
32.57/32.86 c #Conflicts: 30000 | #Constraints: 36235
32.57/32.86 c #Conflicts: 31000 | #Constraints: 37235
32.57/32.86 c #Conflicts: 32000 | #Constraints: 38237
32.57/32.86 c #Conflicts: 33000 | #Constraints: 39242
32.57/32.86 c INPROCESSING
32.57/32.86 c GARBAGE COLLECT
32.57/32.86 c rational objective 7
39.43/39.83 c #Conflicts: 34000 | #Constraints: 36419
39.43/39.83 c #Conflicts: 35000 | #Constraints: 37419
39.43/39.83 c #Conflicts: 36000 | #Constraints: 38421
39.43/39.83 c #Conflicts: 37000 | #Constraints: 39424
39.43/39.83 c INPROCESSING
39.43/39.83 c GARBAGE COLLECT
39.43/39.83 c rational objective 7
44.68/45.11 c #Conflicts: 38000 | #Constraints: 36415
44.68/45.11 c #Conflicts: 39000 | #Constraints: 37415
44.68/45.11 c #Conflicts: 40000 | #Constraints: 38417
44.68/45.11 c #Conflicts: 41000 | #Constraints: 39420
44.68/45.11 c INPROCESSING
44.68/45.11 c GARBAGE COLLECT
44.68/45.11 c rational objective 7
50.23/50.78 c #Conflicts: 42000 | #Constraints: 36214
50.23/50.78 c #Conflicts: 43000 | #Constraints: 37214
50.23/50.78 c #Conflicts: 44000 | #Constraints: 38215
50.23/50.78 c #Conflicts: 45000 | #Constraints: 39217
50.23/50.78 c #Conflicts: 46000 | #Constraints: 40219
50.23/50.78 c INPROCESSING
50.23/50.78 c GARBAGE COLLECT
50.23/50.78 c rational objective 7
55.88/56.44 c #Conflicts: 47000 | #Constraints: 36804
55.88/56.44 c #Conflicts: 48000 | #Constraints: 37806
55.88/56.44 c #Conflicts: 49000 | #Constraints: 38806
55.88/56.44 c #Conflicts: 50000 | #Constraints: 39808
55.88/56.44 c #Conflicts: 51000 | #Constraints: 40813
55.88/56.44 c INPROCESSING
55.88/56.44 c GARBAGE COLLECT
55.88/56.44 c rational objective 7
60.83/61.44 c #Conflicts: 52000 | #Constraints: 37192
60.83/61.44 c #Conflicts: 53000 | #Constraints: 38194
60.83/61.44 c #Conflicts: 54000 | #Constraints: 39197
60.83/61.44 c #Conflicts: 55000 | #Constraints: 40199
60.83/61.44 c #Conflicts: 56000 | #Constraints: 41201
60.83/61.44 c INPROCESSING
60.83/61.44 c GARBAGE COLLECT
60.83/61.44 c rational objective 7
65.78/66.46 c #Conflicts: 57000 | #Constraints: 37400
65.78/66.46 c #Conflicts: 58000 | #Constraints: 38404
65.78/66.46 c #Conflicts: 59000 | #Constraints: 39406
65.78/66.46 c #Conflicts: 60000 | #Constraints: 40411
65.78/66.46 c #Conflicts: 61000 | #Constraints: 41413
65.78/66.46 c INPROCESSING
65.78/66.46 c GARBAGE COLLECT
65.78/66.46 c rational objective 7
72.33/73.12 c #Conflicts: 62000 | #Constraints: 37394
72.33/73.12 c #Conflicts: 63000 | #Constraints: 38395
72.33/73.12 c #Conflicts: 64000 | #Constraints: 39396
72.33/73.12 c #Conflicts: 65000 | #Constraints: 40397
72.33/73.12 c #Conflicts: 66000 | #Constraints: 41399
72.33/73.12 c INPROCESSING
72.33/73.12 c GARBAGE COLLECT
72.33/73.12 c rational objective 7
79.70/80.51 c #Conflicts: 67000 | #Constraints: 37185
79.70/80.51 c #Conflicts: 68000 | #Constraints: 38185
79.70/80.51 c #Conflicts: 69000 | #Constraints: 39186
79.70/80.51 c #Conflicts: 70000 | #Constraints: 40189
79.70/80.51 c #Conflicts: 71000 | #Constraints: 41190
79.70/80.51 c #Conflicts: 72000 | #Constraints: 42191
79.70/80.51 c INPROCESSING
79.70/80.51 c GARBAGE COLLECT
79.70/80.51 c rational objective 7
86.77/87.61 c #Conflicts: 73000 | #Constraints: 37777
86.77/87.61 c #Conflicts: 74000 | #Constraints: 38777
86.77/87.61 c #Conflicts: 75000 | #Constraints: 39782
86.77/87.61 c #Conflicts: 76000 | #Constraints: 40783
86.77/87.61 c #Conflicts: 77000 | #Constraints: 41785
86.77/87.61 c #Conflicts: 78000 | #Constraints: 42788
86.77/87.61 c INPROCESSING
86.77/87.61 c GARBAGE COLLECT
86.77/87.61 c rational objective 7
93.96/94.84 c #Conflicts: 79000 | #Constraints: 38196
93.96/94.84 c #Conflicts: 80000 | #Constraints: 39197
93.96/94.84 c #Conflicts: 81000 | #Constraints: 40204
93.96/94.84 c #Conflicts: 82000 | #Constraints: 41206
93.96/94.84 c #Conflicts: 83000 | #Constraints: 42209
93.96/94.84 c #Conflicts: 84000 | #Constraints: 43213
93.96/94.84 c INPROCESSING
93.96/94.84 c GARBAGE COLLECT
93.96/94.84 c rational objective 7
103.00/104.03 c #Conflicts: 85000 | #Constraints: 38390
103.00/104.03 c #Conflicts: 86000 | #Constraints: 39394
103.00/104.03 c #Conflicts: 87000 | #Constraints: 40403
103.00/104.03 c #Conflicts: 88000 | #Constraints: 41403
103.00/104.03 c #Conflicts: 89000 | #Constraints: 42404
103.00/104.03 c #Conflicts: 90000 | #Constraints: 43408
103.00/104.03 c INPROCESSING
103.00/104.03 c GARBAGE COLLECT
103.00/104.03 c rational objective 7
114.07/115.13 c #Conflicts: 91000 | #Constraints: 38313
114.07/115.13 c #Conflicts: 92000 | #Constraints: 39316
114.07/115.13 c #Conflicts: 93000 | #Constraints: 40316
114.07/115.13 c #Conflicts: 94000 | #Constraints: 41317
114.07/115.13 c #Conflicts: 95000 | #Constraints: 42317
114.07/115.13 c #Conflicts: 96000 | #Constraints: 43318
114.07/115.13 c INPROCESSING
114.07/115.13 c GARBAGE COLLECT
114.07/115.13 c rational objective 7
120.33/121.48 c #Conflicts: 97000 | #Constraints: 38070
120.33/121.48 c #Conflicts: 98000 | #Constraints: 39070
120.33/121.48 c #Conflicts: 99000 | #Constraints: 40071
120.33/121.48 c #Conflicts: 100000 | #Constraints: 41074
120.33/121.48 c #Conflicts: 101000 | #Constraints: 42086
120.33/121.48 c #Conflicts: 102000 | #Constraints: 43091
120.33/121.48 c #Conflicts: 103000 | #Constraints: 44092
120.33/121.48 c INPROCESSING
120.33/121.48 c GARBAGE COLLECT
120.33/121.48 c rational objective 7
131.79/133.08 c #Conflicts: 104000 | #Constraints: 38661
131.79/133.08 c #Conflicts: 105000 | #Constraints: 39661
131.79/133.08 c #Conflicts: 106000 | #Constraints: 40661
131.79/133.08 c #Conflicts: 107000 | #Constraints: 41664
131.79/133.08 c #Conflicts: 108000 | #Constraints: 42665
131.79/133.08 c #Conflicts: 109000 | #Constraints: 43666
131.79/133.08 c #Conflicts: 110000 | #Constraints: 44668
131.79/133.08 c INPROCESSING
131.79/133.08 c GARBAGE COLLECT
131.79/133.08 c rational objective 7
141.14/142.48 c #Conflicts: 111000 | #Constraints: 39035
141.14/142.48 c #Conflicts: 112000 | #Constraints: 40035
141.14/142.48 c #Conflicts: 113000 | #Constraints: 41037
141.14/142.48 c #Conflicts: 114000 | #Constraints: 42037
141.14/142.48 c #Conflicts: 115000 | #Constraints: 43038
141.14/142.48 c #Conflicts: 116000 | #Constraints: 44039
141.14/142.48 c #Conflicts: 117000 | #Constraints: 45039
141.14/142.48 c INPROCESSING
141.14/142.48 c GARBAGE COLLECT
141.14/142.48 c rational objective 7
147.73/149.04 c #Conflicts: 118000 | #Constraints: 39216
147.73/149.04 c #Conflicts: 119000 | #Constraints: 40216
147.73/149.04 c #Conflicts: 120000 | #Constraints: 41219
147.73/149.04 c #Conflicts: 121000 | #Constraints: 42220
147.73/149.04 c #Conflicts: 122000 | #Constraints: 43222
147.73/149.04 c #Conflicts: 123000 | #Constraints: 44225
147.73/149.04 c #Conflicts: 124000 | #Constraints: 45227
147.73/149.04 c INPROCESSING
147.73/149.04 c GARBAGE COLLECT
147.73/149.04 c rational objective 7
157.38/158.73 c #Conflicts: 125000 | #Constraints: 39218
157.38/158.73 c #Conflicts: 126000 | #Constraints: 40219
157.38/158.73 c #Conflicts: 127000 | #Constraints: 41226
157.38/158.73 c #Conflicts: 128000 | #Constraints: 42232
157.38/158.73 c #Conflicts: 129000 | #Constraints: 43235
157.38/158.73 c #Conflicts: 130000 | #Constraints: 44238
157.38/158.73 c #Conflicts: 131000 | #Constraints: 45243
157.38/158.73 c INPROCESSING
157.38/158.73 c GARBAGE COLLECT
157.38/158.73 c rational objective 7
168.65/170.24 c #Conflicts: 132000 | #Constraints: 39009
168.65/170.24 c #Conflicts: 133000 | #Constraints: 40010
168.65/170.24 c #Conflicts: 134000 | #Constraints: 41012
168.65/170.24 c #Conflicts: 135000 | #Constraints: 42014
168.65/170.24 c #Conflicts: 136000 | #Constraints: 43016
168.65/170.24 c #Conflicts: 137000 | #Constraints: 44019
168.65/170.24 c #Conflicts: 138000 | #Constraints: 45021
168.65/170.24 c #Conflicts: 139000 | #Constraints: 46027
168.65/170.24 c INPROCESSING
168.65/170.24 c GARBAGE COLLECT
168.65/170.24 c rational objective 7
189.56/191.42 c #Conflicts: 140000 | #Constraints: 39616
189.56/191.42 c #Conflicts: 141000 | #Constraints: 40616
189.56/191.42 c #Conflicts: 142000 | #Constraints: 41620
189.56/191.42 c #Conflicts: 143000 | #Constraints: 42621
189.56/191.42 c #Conflicts: 144000 | #Constraints: 43623
189.56/191.42 c #Conflicts: 145000 | #Constraints: 44624
189.56/191.42 c #Conflicts: 146000 | #Constraints: 45626
189.56/191.42 c #Conflicts: 147000 | #Constraints: 46626
189.56/191.42 c INPROCESSING
189.56/191.42 c GARBAGE COLLECT
189.56/191.42 c rational objective 7
199.53/201.40 c #Conflicts: 148000 | #Constraints: 40012
199.53/201.40 c #Conflicts: 149000 | #Constraints: 41013
199.53/201.40 c #Conflicts: 150000 | #Constraints: 42017
199.53/201.40 c #Conflicts: 151000 | #Constraints: 43018
199.53/201.40 c #Conflicts: 152000 | #Constraints: 44019
199.53/201.40 c #Conflicts: 153000 | #Constraints: 45020
199.53/201.40 c #Conflicts: 154000 | #Constraints: 46022
199.53/201.40 c #Conflicts: 155000 | #Constraints: 47022
199.53/201.40 c INPROCESSING
199.53/201.40 c GARBAGE COLLECT
199.53/201.40 c rational objective 7
211.49/213.41 c #Conflicts: 156000 | #Constraints: 40205
211.49/213.41 c #Conflicts: 157000 | #Constraints: 41208
211.49/213.41 c #Conflicts: 158000 | #Constraints: 42209
211.49/213.41 c #Conflicts: 159000 | #Constraints: 43210
211.49/213.41 c #Conflicts: 160000 | #Constraints: 44212
211.49/213.41 c #Conflicts: 161000 | #Constraints: 45214
211.49/213.41 c #Conflicts: 162000 | #Constraints: 46217
211.49/213.41 c #Conflicts: 163000 | #Constraints: 47217
211.49/213.41 c INPROCESSING
211.49/213.41 c GARBAGE COLLECT
211.49/213.41 c rational objective 7
222.65/224.69 c #Conflicts: 164000 | #Constraints: 40143
222.65/224.69 c #Conflicts: 165000 | #Constraints: 41143
222.65/224.69 c #Conflicts: 166000 | #Constraints: 42144
222.65/224.69 c #Conflicts: 167000 | #Constraints: 43144
222.65/224.69 c #Conflicts: 168000 | #Constraints: 44146
222.65/224.69 c #Conflicts: 169000 | #Constraints: 45147
222.65/224.69 c #Conflicts: 170000 | #Constraints: 46148
222.65/224.69 c #Conflicts: 171000 | #Constraints: 47148
222.65/224.69 c INPROCESSING
222.65/224.69 c GARBAGE COLLECT
222.65/224.69 c rational objective 7
233.31/235.35 c #Conflicts: 172000 | #Constraints: 39933
233.31/235.35 c #Conflicts: 173000 | #Constraints: 40934
233.31/235.35 c #Conflicts: 174000 | #Constraints: 41934
233.31/235.35 c #Conflicts: 175000 | #Constraints: 42935
233.31/235.35 c #Conflicts: 176000 | #Constraints: 43936
233.31/235.35 c #Conflicts: 177000 | #Constraints: 44937
233.31/235.35 c #Conflicts: 178000 | #Constraints: 45939
233.31/235.35 c #Conflicts: 179000 | #Constraints: 46942
233.31/235.35 c #Conflicts: 180000 | #Constraints: 47943
233.31/235.35 c INPROCESSING
233.31/235.35 c GARBAGE COLLECT
233.31/235.35 c rational objective 7
245.98/248.10 c #Conflicts: 181000 | #Constraints: 40515
245.98/248.10 c #Conflicts: 182000 | #Constraints: 41516
245.98/248.10 c #Conflicts: 183000 | #Constraints: 42516
245.98/248.10 c #Conflicts: 184000 | #Constraints: 43517
245.98/248.10 c #Conflicts: 185000 | #Constraints: 44520
245.98/248.10 c #Conflicts: 186000 | #Constraints: 45523
245.98/248.10 c #Conflicts: 187000 | #Constraints: 46527
245.98/248.10 c #Conflicts: 188000 | #Constraints: 47532
245.98/248.10 c #Conflicts: 189000 | #Constraints: 48532
245.98/248.10 c INPROCESSING
245.98/248.10 c GARBAGE COLLECT
245.98/248.10 c rational objective 7
257.80/260.01 c #Conflicts: 190000 | #Constraints: 40910
257.80/260.01 c #Conflicts: 191000 | #Constraints: 41911
257.80/260.01 c #Conflicts: 192000 | #Constraints: 42914
257.80/260.01 c #Conflicts: 193000 | #Constraints: 43919
257.80/260.01 c #Conflicts: 194000 | #Constraints: 44921
257.80/260.01 c #Conflicts: 195000 | #Constraints: 45922
257.80/260.01 c #Conflicts: 196000 | #Constraints: 46924
257.80/260.01 c #Conflicts: 197000 | #Constraints: 47926
257.80/260.01 c #Conflicts: 198000 | #Constraints: 48927
257.80/260.01 c INPROCESSING
257.80/260.01 c GARBAGE COLLECT
257.80/260.01 c rational objective 7
269.79/272.17 c #Conflicts: 199000 | #Constraints: 41105
269.79/272.17 c #Conflicts: 200000 | #Constraints: 42106
269.79/272.17 c #Conflicts: 201000 | #Constraints: 43108
269.79/272.17 c #Conflicts: 202000 | #Constraints: 44109
269.79/272.17 c #Conflicts: 203000 | #Constraints: 45111
269.79/272.17 c #Conflicts: 204000 | #Constraints: 46113
269.79/272.17 c #Conflicts: 205000 | #Constraints: 47114
269.79/272.17 c #Conflicts: 206000 | #Constraints: 48116
269.79/272.17 c #Conflicts: 207000 | #Constraints: 49119
269.79/272.17 c INPROCESSING
269.79/272.17 c GARBAGE COLLECT
269.79/272.17 c rational objective 7
283.46/285.98 c #Conflicts: 208000 | #Constraints: 41103
283.46/285.98 c #Conflicts: 209000 | #Constraints: 42105
283.46/285.98 c #Conflicts: 210000 | #Constraints: 43107
283.46/285.98 c #Conflicts: 211000 | #Constraints: 44110
283.46/285.98 c #Conflicts: 212000 | #Constraints: 45113
283.46/285.98 c #Conflicts: 213000 | #Constraints: 46114
283.46/285.98 c #Conflicts: 214000 | #Constraints: 47116
283.46/285.98 c #Conflicts: 215000 | #Constraints: 48117
283.46/285.98 c #Conflicts: 216000 | #Constraints: 49118
283.46/285.98 c INPROCESSING
283.46/285.98 c GARBAGE COLLECT
283.46/285.98 c rational objective 7
301.19/303.77 c #Conflicts: 217000 | #Constraints: 40825
301.19/303.77 c #Conflicts: 218000 | #Constraints: 41825
301.19/303.77 c #Conflicts: 219000 | #Constraints: 42826
301.19/303.77 c #Conflicts: 220000 | #Constraints: 43826
301.19/303.77 c #Conflicts: 221000 | #Constraints: 44829
301.19/303.77 c #Conflicts: 222000 | #Constraints: 45830
301.19/303.77 c #Conflicts: 223000 | #Constraints: 46832
301.19/303.77 c #Conflicts: 224000 | #Constraints: 47833
301.19/303.77 c #Conflicts: 225000 | #Constraints: 48833
301.19/303.77 c #Conflicts: 226000 | #Constraints: 49834
301.19/303.77 c INPROCESSING
301.19/303.77 c GARBAGE COLLECT
301.19/303.77 c rational objective 7
314.49/317.20 c #Conflicts: 227000 | #Constraints: 41408
314.49/317.20 c #Conflicts: 228000 | #Constraints: 42413
314.49/317.20 c #Conflicts: 229000 | #Constraints: 43415
314.49/317.20 c #Conflicts: 230000 | #Constraints: 44419
314.49/317.20 c #Conflicts: 231000 | #Constraints: 45420
314.49/317.20 c #Conflicts: 232000 | #Constraints: 46420
314.49/317.20 c #Conflicts: 233000 | #Constraints: 47421
314.49/317.20 c #Conflicts: 234000 | #Constraints: 48424
314.49/317.20 c #Conflicts: 235000 | #Constraints: 49425
314.49/317.20 c #Conflicts: 236000 | #Constraints: 50426
314.49/317.20 c INPROCESSING
314.49/317.20 c GARBAGE COLLECT
314.49/317.20 c rational objective 7
329.74/332.50 c #Conflicts: 237000 | #Constraints: 41774
329.74/332.50 c #Conflicts: 238000 | #Constraints: 42776
329.74/332.50 c #Conflicts: 239000 | #Constraints: 43782
329.74/332.50 c #Conflicts: 240000 | #Constraints: 44783
329.74/332.50 c #Conflicts: 241000 | #Constraints: 45785
329.74/332.50 c #Conflicts: 242000 | #Constraints: 46786
329.74/332.50 c #Conflicts: 243000 | #Constraints: 47791
329.74/332.50 c #Conflicts: 244000 | #Constraints: 48792
329.74/332.50 c #Conflicts: 245000 | #Constraints: 49794
329.74/332.50 c #Conflicts: 246000 | #Constraints: 50795
329.74/332.50 c INPROCESSING
329.74/332.50 c GARBAGE COLLECT
329.74/332.50 c rational objective 7
343.68/346.64 c #Conflicts: 247000 | #Constraints: 41979
343.68/346.64 c #Conflicts: 248000 | #Constraints: 42979
343.68/346.64 c #Conflicts: 249000 | #Constraints: 43981
343.68/346.64 c #Conflicts: 250000 | #Constraints: 44987
343.68/346.64 c #Conflicts: 251000 | #Constraints: 45991
343.68/346.64 c #Conflicts: 252000 | #Constraints: 46995
343.68/346.64 c #Conflicts: 253000 | #Constraints: 48014
343.68/346.64 c #Conflicts: 254000 | #Constraints: 49019
343.68/346.64 c #Conflicts: 255000 | #Constraints: 50022
343.68/346.64 c #Conflicts: 256000 | #Constraints: 51023
343.68/346.64 c INPROCESSING
343.68/346.64 c GARBAGE COLLECT
343.68/346.64 c rational objective 7
361.96/365.03 c #Conflicts: 257000 | #Constraints: 41989
361.96/365.03 c #Conflicts: 258000 | #Constraints: 42990
361.96/365.03 c #Conflicts: 259000 | #Constraints: 43991
361.96/365.03 c #Conflicts: 260000 | #Constraints: 44994
361.96/365.03 c #Conflicts: 261000 | #Constraints: 45996
361.96/365.03 c #Conflicts: 262000 | #Constraints: 46997
361.96/365.03 c #Conflicts: 263000 | #Constraints: 47999
361.96/365.03 c #Conflicts: 264000 | #Constraints: 49000
361.96/365.03 c #Conflicts: 265000 | #Constraints: 50001
361.96/365.03 c #Conflicts: 266000 | #Constraints: 51001
361.96/365.03 c INPROCESSING
361.96/365.03 c GARBAGE COLLECT
361.96/365.03 c rational objective 7
380.38/383.68 c #Conflicts: 267000 | #Constraints: 41751
380.38/383.68 c #Conflicts: 268000 | #Constraints: 42752
380.38/383.68 c #Conflicts: 269000 | #Constraints: 43755
380.38/383.68 c #Conflicts: 270000 | #Constraints: 44759
380.38/383.68 c #Conflicts: 271000 | #Constraints: 45767
380.38/383.68 c #Conflicts: 272000 | #Constraints: 46773
380.38/383.68 c #Conflicts: 273000 | #Constraints: 47776
380.38/383.68 c #Conflicts: 274000 | #Constraints: 48778
380.38/383.68 c #Conflicts: 275000 | #Constraints: 49780
380.38/383.68 c #Conflicts: 276000 | #Constraints: 50784
380.38/383.68 c #Conflicts: 277000 | #Constraints: 51786
380.38/383.68 c INPROCESSING
380.38/383.68 c GARBAGE COLLECT
380.38/383.68 c rational objective 7
395.94/399.23 c #Conflicts: 278000 | #Constraints: 42349
395.94/399.23 c #Conflicts: 279000 | #Constraints: 43350
395.94/399.23 c #Conflicts: 280000 | #Constraints: 44354
395.94/399.23 c #Conflicts: 281000 | #Constraints: 45357
395.94/399.23 c #Conflicts: 282000 | #Constraints: 46358
395.94/399.23 c #Conflicts: 283000 | #Constraints: 47359
395.94/399.23 c #Conflicts: 284000 | #Constraints: 48360
395.94/399.23 c #Conflicts: 285000 | #Constraints: 49361
395.94/399.23 c #Conflicts: 286000 | #Constraints: 50362
395.94/399.23 c #Conflicts: 287000 | #Constraints: 51364
395.94/399.23 c #Conflicts: 288000 | #Constraints: 52366
395.94/399.23 c INPROCESSING
395.94/399.23 c GARBAGE COLLECT
395.94/399.23 c rational objective 7
415.85/419.34 c #Conflicts: 289000 | #Constraints: 42737
415.85/419.34 c #Conflicts: 290000 | #Constraints: 43737
415.85/419.34 c #Conflicts: 291000 | #Constraints: 44740
415.85/419.34 c #Conflicts: 292000 | #Constraints: 45742
415.85/419.34 c #Conflicts: 293000 | #Constraints: 46746
415.85/419.34 c #Conflicts: 294000 | #Constraints: 47749
415.85/419.34 c #Conflicts: 295000 | #Constraints: 48753
415.85/419.34 c #Conflicts: 296000 | #Constraints: 49755
415.85/419.34 c #Conflicts: 297000 | #Constraints: 50756
415.85/419.34 c #Conflicts: 298000 | #Constraints: 51757
415.85/419.34 c #Conflicts: 299000 | #Constraints: 52759
415.85/419.34 c INPROCESSING
415.85/419.34 c GARBAGE COLLECT
415.85/419.34 c rational objective 7
434.29/437.89 c #Conflicts: 300000 | #Constraints: 42935
434.29/437.89 c #Conflicts: 301000 | #Constraints: 43937
434.29/437.89 c #Conflicts: 302000 | #Constraints: 44939
434.29/437.89 c #Conflicts: 303000 | #Constraints: 45942
434.29/437.89 c #Conflicts: 304000 | #Constraints: 46943
434.29/437.89 c #Conflicts: 305000 | #Constraints: 47944
434.29/437.89 c #Conflicts: 306000 | #Constraints: 48949
434.29/437.89 c #Conflicts: 307000 | #Constraints: 49953
434.29/437.89 c #Conflicts: 308000 | #Constraints: 50957
434.29/437.89 c #Conflicts: 309000 | #Constraints: 51958
434.29/437.89 c #Conflicts: 310000 | #Constraints: 52959
434.29/437.89 c INPROCESSING
434.29/437.89 c GARBAGE COLLECT
434.29/437.89 c rational objective 7
451.56/455.13 c #Conflicts: 311000 | #Constraints: 42940
451.56/455.13 c #Conflicts: 312000 | #Constraints: 43940
451.56/455.13 c #Conflicts: 313000 | #Constraints: 44943
451.56/455.13 c #Conflicts: 314000 | #Constraints: 45944
451.56/455.13 c #Conflicts: 315000 | #Constraints: 46946
451.56/455.13 c #Conflicts: 316000 | #Constraints: 47950
451.56/455.13 c #Conflicts: 317000 | #Constraints: 48951
451.56/455.13 c #Conflicts: 318000 | #Constraints: 49952
451.56/455.13 c #Conflicts: 319000 | #Constraints: 50952
451.56/455.13 c #Conflicts: 320000 | #Constraints: 51953
451.56/455.13 c #Conflicts: 321000 | #Constraints: 52956
451.56/455.13 c INPROCESSING
451.56/455.13 c GARBAGE COLLECT
451.56/455.13 c rational objective 7
480.82/484.69 c #Conflicts: 322000 | #Constraints: 42746
480.82/484.69 c #Conflicts: 323000 | #Constraints: 43747
480.82/484.69 c #Conflicts: 324000 | #Constraints: 44748
480.82/484.69 c #Conflicts: 325000 | #Constraints: 45750
480.82/484.69 c #Conflicts: 326000 | #Constraints: 46751
480.82/484.69 c #Conflicts: 327000 | #Constraints: 47753
480.82/484.69 c #Conflicts: 328000 | #Constraints: 48759
480.82/484.69 c #Conflicts: 329000 | #Constraints: 49767
480.82/484.69 c #Conflicts: 330000 | #Constraints: 50770
480.82/484.69 c #Conflicts: 331000 | #Constraints: 51771
480.82/484.69 c #Conflicts: 332000 | #Constraints: 52772
480.82/484.69 c #Conflicts: 333000 | #Constraints: 53773
480.82/484.69 c INPROCESSING
480.82/484.69 c GARBAGE COLLECT
480.82/484.69 c rational objective 7
502.88/506.94 c #Conflicts: 334000 | #Constraints: 43327
502.88/506.94 c #Conflicts: 335000 | #Constraints: 44327
502.88/506.94 c #Conflicts: 336000 | #Constraints: 45331
502.88/506.94 c #Conflicts: 337000 | #Constraints: 46334
502.88/506.94 c #Conflicts: 338000 | #Constraints: 47336
502.88/506.94 c #Conflicts: 339000 | #Constraints: 48338
502.88/506.94 c #Conflicts: 340000 | #Constraints: 49340
502.88/506.94 c #Conflicts: 341000 | #Constraints: 50345
502.88/506.94 c #Conflicts: 342000 | #Constraints: 51349
502.88/506.94 c #Conflicts: 343000 | #Constraints: 52353
502.88/506.94 c #Conflicts: 344000 | #Constraints: 53354
502.88/506.94 c #Conflicts: 345000 | #Constraints: 54355
502.88/506.94 c INPROCESSING
502.88/506.94 c GARBAGE COLLECT
502.88/506.94 c rational objective 7
524.83/529.06 c #Conflicts: 346000 | #Constraints: 43713
524.83/529.06 c #Conflicts: 347000 | #Constraints: 44714
524.83/529.06 c #Conflicts: 348000 | #Constraints: 45715
524.83/529.06 c #Conflicts: 349000 | #Constraints: 46716
524.83/529.06 c #Conflicts: 350000 | #Constraints: 47719
524.83/529.06 c #Conflicts: 351000 | #Constraints: 48721
524.83/529.06 c #Conflicts: 352000 | #Constraints: 49726
524.83/529.06 c #Conflicts: 353000 | #Constraints: 50726
524.83/529.06 c #Conflicts: 354000 | #Constraints: 51729
524.83/529.06 c #Conflicts: 355000 | #Constraints: 52731
524.83/529.06 c #Conflicts: 356000 | #Constraints: 53736
524.83/529.06 c #Conflicts: 357000 | #Constraints: 54738
524.83/529.06 c INPROCESSING
524.83/529.06 c GARBAGE COLLECT
524.83/529.06 c rational objective 7
544.87/549.11 c #Conflicts: 358000 | #Constraints: 43858
544.87/549.11 c #Conflicts: 359000 | #Constraints: 44859
544.87/549.11 c #Conflicts: 360000 | #Constraints: 45861
544.87/549.11 c #Conflicts: 361000 | #Constraints: 46863
544.87/549.11 c #Conflicts: 362000 | #Constraints: 47865
544.87/549.11 c #Conflicts: 363000 | #Constraints: 48867
544.87/549.11 c #Conflicts: 364000 | #Constraints: 49878
544.87/549.11 c #Conflicts: 365000 | #Constraints: 50880
544.87/549.11 c #Conflicts: 366000 | #Constraints: 51884
544.87/549.11 c #Conflicts: 367000 | #Constraints: 52887
544.87/549.11 c #Conflicts: 368000 | #Constraints: 53891
544.87/549.11 c #Conflicts: 369000 | #Constraints: 54892
544.87/549.11 c INPROCESSING
544.87/549.11 c GARBAGE COLLECT
544.87/549.11 c rational objective 7
565.11/569.69 c #Conflicts: 370000 | #Constraints: 43864
565.11/569.69 c #Conflicts: 371000 | #Constraints: 44868
565.11/569.69 c #Conflicts: 372000 | #Constraints: 45877
565.11/569.69 c #Conflicts: 373000 | #Constraints: 46881
565.11/569.69 c #Conflicts: 374000 | #Constraints: 47883
565.11/569.69 c #Conflicts: 375000 | #Constraints: 48886
565.11/569.69 c #Conflicts: 376000 | #Constraints: 49895
565.11/569.69 c #Conflicts: 377000 | #Constraints: 50906
565.11/569.69 c #Conflicts: 378000 | #Constraints: 51917
565.11/569.69 c #Conflicts: 379000 | #Constraints: 52925
565.11/569.69 c #Conflicts: 380000 | #Constraints: 53928
565.11/569.69 c #Conflicts: 381000 | #Constraints: 54928
565.11/569.69 c INPROCESSING
565.11/569.69 c GARBAGE COLLECT
565.11/569.69 c rational objective 7
583.72/588.38 c #Conflicts: 382000 | #Constraints: 43679
583.72/588.38 c #Conflicts: 383000 | #Constraints: 44680
583.72/588.38 c #Conflicts: 384000 | #Constraints: 45682
583.72/588.38 c #Conflicts: 385000 | #Constraints: 46685
583.72/588.38 c #Conflicts: 386000 | #Constraints: 47687
583.72/588.38 c #Conflicts: 387000 | #Constraints: 48690
583.72/588.38 c #Conflicts: 388000 | #Constraints: 49696
583.72/588.38 c #Conflicts: 389000 | #Constraints: 50702
583.72/588.38 c #Conflicts: 390000 | #Constraints: 51704
583.72/588.38 c #Conflicts: 391000 | #Constraints: 52707
583.72/588.38 c #Conflicts: 392000 | #Constraints: 53712
583.72/588.38 c #Conflicts: 393000 | #Constraints: 54712
583.72/588.38 c #Conflicts: 394000 | #Constraints: 55712
583.72/588.38 c INPROCESSING
583.72/588.38 c GARBAGE COLLECT
583.72/588.38 c rational objective 7
602.05/606.97 c #Conflicts: 395000 | #Constraints: 44284
602.05/606.97 c #Conflicts: 396000 | #Constraints: 45285
602.05/606.97 c #Conflicts: 397000 | #Constraints: 46288
602.05/606.97 c #Conflicts: 398000 | #Constraints: 47291
602.05/606.97 c #Conflicts: 399000 | #Constraints: 48294
602.05/606.97 c #Conflicts: 400000 | #Constraints: 49295
602.05/606.97 c #Conflicts: 401000 | #Constraints: 50297
602.05/606.97 c #Conflicts: 402000 | #Constraints: 51298
602.05/606.97 c #Conflicts: 403000 | #Constraints: 52298
602.05/606.97 c #Conflicts: 404000 | #Constraints: 53298
602.05/606.97 c #Conflicts: 405000 | #Constraints: 54298
602.05/606.97 c #Conflicts: 406000 | #Constraints: 55299
602.05/606.97 c #Conflicts: 407000 | #Constraints: 56300
602.05/606.97 c INPROCESSING
602.05/606.97 c GARBAGE COLLECT
602.05/606.97 c rational objective 7
624.73/629.91 c #Conflicts: 408000 | #Constraints: 44660
624.73/629.91 c #Conflicts: 409000 | #Constraints: 45664
624.73/629.91 c #Conflicts: 410000 | #Constraints: 46666
624.73/629.91 c #Conflicts: 411000 | #Constraints: 47670
624.73/629.91 c #Conflicts: 412000 | #Constraints: 48671
624.73/629.91 c #Conflicts: 413000 | #Constraints: 49671
624.73/629.91 c #Conflicts: 414000 | #Constraints: 50673
624.73/629.91 c #Conflicts: 415000 | #Constraints: 51676
624.73/629.91 c #Conflicts: 416000 | #Constraints: 52681
624.73/629.91 c #Conflicts: 417000 | #Constraints: 53683
624.73/629.91 c #Conflicts: 418000 | #Constraints: 54684
624.73/629.91 c #Conflicts: 419000 | #Constraints: 55684
624.73/629.91 c #Conflicts: 420000 | #Constraints: 56685
624.73/629.91 c INPROCESSING
624.73/629.91 c GARBAGE COLLECT
624.73/629.91 c rational objective 7
646.67/652.07 c #Conflicts: 421000 | #Constraints: 44851
646.67/652.07 c #Conflicts: 422000 | #Constraints: 45852
646.67/652.07 c #Conflicts: 423000 | #Constraints: 46852
646.67/652.07 c #Conflicts: 424000 | #Constraints: 47856
646.67/652.07 c #Conflicts: 425000 | #Constraints: 48859
646.67/652.07 c #Conflicts: 426000 | #Constraints: 49865
646.67/652.07 c #Conflicts: 427000 | #Constraints: 50871
646.67/652.07 c #Conflicts: 428000 | #Constraints: 51876
646.67/652.07 c #Conflicts: 429000 | #Constraints: 52882
646.67/652.07 c #Conflicts: 430000 | #Constraints: 53885
646.67/652.07 c #Conflicts: 431000 | #Constraints: 54887
646.67/652.07 c #Conflicts: 432000 | #Constraints: 55888
646.67/652.07 c #Conflicts: 433000 | #Constraints: 56893
646.67/652.07 c INPROCESSING
646.67/652.07 c GARBAGE COLLECT
646.67/652.07 c rational objective 7
677.06/682.67 c #Conflicts: 434000 | #Constraints: 44867
677.06/682.67 c #Conflicts: 435000 | #Constraints: 45867
677.06/682.67 c #Conflicts: 436000 | #Constraints: 46868
677.06/682.67 c #Conflicts: 437000 | #Constraints: 47869
677.06/682.67 c #Conflicts: 438000 | #Constraints: 48871
677.06/682.67 c #Conflicts: 439000 | #Constraints: 49876
677.06/682.67 c #Conflicts: 440000 | #Constraints: 50883
677.06/682.67 c #Conflicts: 441000 | #Constraints: 51885
677.06/682.67 c #Conflicts: 442000 | #Constraints: 52886
677.06/682.67 c #Conflicts: 443000 | #Constraints: 53886
677.06/682.67 c #Conflicts: 444000 | #Constraints: 54888
677.06/682.67 c #Conflicts: 445000 | #Constraints: 55888
677.06/682.67 c #Conflicts: 446000 | #Constraints: 56891
677.06/682.67 c INPROCESSING
677.06/682.67 c GARBAGE COLLECT
677.06/682.67 c rational objective 7
707.67/713.40 c #Conflicts: 447000 | #Constraints: 44664
707.67/713.40 c #Conflicts: 448000 | #Constraints: 45667
707.67/713.40 c #Conflicts: 449000 | #Constraints: 46669
707.67/713.40 c #Conflicts: 450000 | #Constraints: 47674
707.67/713.40 c #Conflicts: 451000 | #Constraints: 48683
707.67/713.40 c #Conflicts: 452000 | #Constraints: 49690
707.67/713.40 c #Conflicts: 453000 | #Constraints: 50708
707.67/713.40 c #Conflicts: 454000 | #Constraints: 51719
707.67/713.40 c #Conflicts: 455000 | #Constraints: 52723
707.67/713.40 c #Conflicts: 456000 | #Constraints: 53727
707.67/713.40 c #Conflicts: 457000 | #Constraints: 54730
707.67/713.40 c #Conflicts: 458000 | #Constraints: 55734
707.67/713.40 c #Conflicts: 459000 | #Constraints: 56735
707.67/713.40 c #Conflicts: 460000 | #Constraints: 57738
707.67/713.40 c INPROCESSING
707.67/713.40 c GARBAGE COLLECT
707.67/713.40 c rational objective 7
737.76/743.78 c #Conflicts: 461000 | #Constraints: 45299
737.76/743.78 c #Conflicts: 462000 | #Constraints: 46299
737.76/743.78 c #Conflicts: 463000 | #Constraints: 47302
737.76/743.78 c #Conflicts: 464000 | #Constraints: 48304
737.76/743.78 c #Conflicts: 465000 | #Constraints: 49305
737.76/743.78 c #Conflicts: 466000 | #Constraints: 50307
737.76/743.78 c #Conflicts: 467000 | #Constraints: 51309
737.76/743.78 c #Conflicts: 468000 | #Constraints: 52309
737.76/743.78 c #Conflicts: 469000 | #Constraints: 53310
737.76/743.78 c #Conflicts: 470000 | #Constraints: 54311
737.76/743.78 c #Conflicts: 471000 | #Constraints: 55312
737.76/743.78 c #Conflicts: 472000 | #Constraints: 56314
737.76/743.78 c #Conflicts: 473000 | #Constraints: 57315
737.76/743.78 c #Conflicts: 474000 | #Constraints: 58316
737.76/743.78 c INPROCESSING
737.76/743.78 c GARBAGE COLLECT
737.76/743.78 c rational objective 7
765.10/771.19 c #Conflicts: 475000 | #Constraints: 45679
765.10/771.19 c #Conflicts: 476000 | #Constraints: 46679
765.10/771.19 c #Conflicts: 477000 | #Constraints: 47684
765.10/771.19 c #Conflicts: 478000 | #Constraints: 48685
765.10/771.19 c #Conflicts: 479000 | #Constraints: 49686
765.10/771.19 c #Conflicts: 480000 | #Constraints: 50688
765.10/771.19 c #Conflicts: 481000 | #Constraints: 51688
765.10/771.19 c #Conflicts: 482000 | #Constraints: 52688
765.10/771.19 c #Conflicts: 483000 | #Constraints: 53689
765.10/771.19 c #Conflicts: 484000 | #Constraints: 54689
765.10/771.19 c #Conflicts: 485000 | #Constraints: 55691
765.10/771.19 c #Conflicts: 486000 | #Constraints: 56691
765.10/771.19 c #Conflicts: 487000 | #Constraints: 57692
765.10/771.19 c #Conflicts: 488000 | #Constraints: 58693
765.10/771.19 c INPROCESSING
765.10/771.19 c GARBAGE COLLECT
765.10/771.19 c rational objective 7
796.07/802.40 c #Conflicts: 489000 | #Constraints: 45821
796.07/802.40 c #Conflicts: 490000 | #Constraints: 46821
796.07/802.40 c #Conflicts: 491000 | #Constraints: 47822
796.07/802.40 c #Conflicts: 492000 | #Constraints: 48826
796.07/802.40 c #Conflicts: 493000 | #Constraints: 49828
796.07/802.40 c #Conflicts: 494000 | #Constraints: 50831
796.07/802.40 c #Conflicts: 495000 | #Constraints: 51832
796.07/802.40 c #Conflicts: 496000 | #Constraints: 52835
796.07/802.40 c #Conflicts: 497000 | #Constraints: 53836
796.07/802.40 c #Conflicts: 498000 | #Constraints: 54839
796.07/802.40 c #Conflicts: 499000 | #Constraints: 55840
796.07/802.40 c #Conflicts: 500000 | #Constraints: 56840
796.07/802.40 c #Conflicts: 501000 | #Constraints: 57841
796.07/802.40 c #Conflicts: 502000 | #Constraints: 58841
796.07/802.40 c INPROCESSING
796.07/802.40 c GARBAGE COLLECT
796.07/802.40 c rational objective 7
830.37/837.29 c #Conflicts: 503000 | #Constraints: 45801
830.37/837.29 c #Conflicts: 504000 | #Constraints: 46801
830.37/837.29 c #Conflicts: 505000 | #Constraints: 47802
830.37/837.29 c #Conflicts: 506000 | #Constraints: 48803
830.37/837.29 c #Conflicts: 507000 | #Constraints: 49807
830.37/837.29 c #Conflicts: 508000 | #Constraints: 50809
830.37/837.29 c #Conflicts: 509000 | #Constraints: 51811
830.37/837.29 c #Conflicts: 510000 | #Constraints: 52812
830.37/837.29 c #Conflicts: 511000 | #Constraints: 53812
830.37/837.29 c #Conflicts: 512000 | #Constraints: 54812
830.37/837.29 c #Conflicts: 513000 | #Constraints: 55812
830.37/837.29 c #Conflicts: 514000 | #Constraints: 56813
830.37/837.29 c #Conflicts: 515000 | #Constraints: 57814
830.37/837.29 c #Conflicts: 516000 | #Constraints: 58814
830.37/837.29 c INPROCESSING
830.37/837.29 c GARBAGE COLLECT
830.37/837.29 c rational objective 7
856.48/863.54 c #Conflicts: 517000 | #Constraints: 45523
856.48/863.54 c #Conflicts: 518000 | #Constraints: 46524
856.48/863.54 c #Conflicts: 519000 | #Constraints: 47524
856.48/863.54 c #Conflicts: 520000 | #Constraints: 48525
856.48/863.54 c #Conflicts: 521000 | #Constraints: 49530
856.48/863.54 c #Conflicts: 522000 | #Constraints: 50536
856.48/863.54 c #Conflicts: 523000 | #Constraints: 51537
856.48/863.54 c #Conflicts: 524000 | #Constraints: 52538
856.48/863.54 c #Conflicts: 525000 | #Constraints: 53539
856.48/863.54 c #Conflicts: 526000 | #Constraints: 54540
856.48/863.54 c #Conflicts: 527000 | #Constraints: 55541
856.48/863.54 c #Conflicts: 528000 | #Constraints: 56543
856.48/863.54 c #Conflicts: 529000 | #Constraints: 57546
856.48/863.54 c #Conflicts: 530000 | #Constraints: 58547
856.48/863.54 c #Conflicts: 531000 | #Constraints: 59549
856.48/863.54 c INPROCESSING
856.48/863.54 c GARBAGE COLLECT
856.48/863.54 c rational objective 7
880.87/888.01 c #Conflicts: 532000 | #Constraints: 46115
880.87/888.01 c #Conflicts: 533000 | #Constraints: 47115
880.87/888.01 c #Conflicts: 534000 | #Constraints: 48117
880.87/888.01 c #Conflicts: 535000 | #Constraints: 49118
880.87/888.01 c #Conflicts: 536000 | #Constraints: 50123
880.87/888.01 c #Conflicts: 537000 | #Constraints: 51126
880.87/888.01 c #Conflicts: 538000 | #Constraints: 52127
880.87/888.01 c #Conflicts: 539000 | #Constraints: 53128
880.87/888.01 c #Conflicts: 540000 | #Constraints: 54129
880.87/888.01 c #Conflicts: 541000 | #Constraints: 55131
880.87/888.01 c #Conflicts: 542000 | #Constraints: 56132
880.87/888.01 c #Conflicts: 543000 | #Constraints: 57133
880.87/888.01 c #Conflicts: 544000 | #Constraints: 58135
880.87/888.01 c #Conflicts: 545000 | #Constraints: 59137
880.87/888.01 c #Conflicts: 546000 | #Constraints: 60139
880.87/888.01 c INPROCESSING
880.87/888.01 c GARBAGE COLLECT
880.87/888.01 c rational objective 7
915.96/923.59 c #Conflicts: 547000 | #Constraints: 46517
915.96/923.59 c #Conflicts: 548000 | #Constraints: 47517
915.96/923.59 c #Conflicts: 549000 | #Constraints: 48522
915.96/923.59 c #Conflicts: 550000 | #Constraints: 49527
915.96/923.59 c #Conflicts: 551000 | #Constraints: 50532
915.96/923.59 c #Conflicts: 552000 | #Constraints: 51538
915.96/923.59 c #Conflicts: 553000 | #Constraints: 52542
915.96/923.59 c #Conflicts: 554000 | #Constraints: 53544
915.96/923.59 c #Conflicts: 555000 | #Constraints: 54545
915.96/923.59 c #Conflicts: 556000 | #Constraints: 55546
915.96/923.59 c #Conflicts: 557000 | #Constraints: 56548
915.96/923.59 c #Conflicts: 558000 | #Constraints: 57549
915.96/923.59 c #Conflicts: 559000 | #Constraints: 58554
915.96/923.59 c #Conflicts: 560000 | #Constraints: 59555
915.96/923.59 c #Conflicts: 561000 | #Constraints: 60558
915.96/923.59 c INPROCESSING
915.96/923.59 c GARBAGE COLLECT
915.96/923.59 c rational objective 7
946.14/954.01 c #Conflicts: 562000 | #Constraints: 46708
946.14/954.01 c #Conflicts: 563000 | #Constraints: 47713
946.14/954.01 c #Conflicts: 564000 | #Constraints: 48714
946.14/954.01 c #Conflicts: 565000 | #Constraints: 49715
946.14/954.01 c #Conflicts: 566000 | #Constraints: 50718
946.14/954.01 c #Conflicts: 567000 | #Constraints: 51719
946.14/954.01 c #Conflicts: 568000 | #Constraints: 52720
946.14/954.01 c #Conflicts: 569000 | #Constraints: 53722
946.14/954.01 c #Conflicts: 570000 | #Constraints: 54724
946.14/954.01 c #Conflicts: 571000 | #Constraints: 55726
946.14/954.01 c #Conflicts: 572000 | #Constraints: 56727
946.14/954.01 c #Conflicts: 573000 | #Constraints: 57729
946.14/954.01 c #Conflicts: 574000 | #Constraints: 58731
946.14/954.01 c #Conflicts: 575000 | #Constraints: 59733
946.14/954.01 c #Conflicts: 576000 | #Constraints: 60734
946.14/954.01 c INPROCESSING
946.14/954.01 c GARBAGE COLLECT
946.14/954.01 c rational objective 7
977.96/986.06 c #Conflicts: 577000 | #Constraints: 46723
977.96/986.06 c #Conflicts: 578000 | #Constraints: 47724
977.96/986.06 c #Conflicts: 579000 | #Constraints: 48727
977.96/986.06 c #Conflicts: 580000 | #Constraints: 49728
977.96/986.06 c #Conflicts: 581000 | #Constraints: 50731
977.96/986.06 c #Conflicts: 582000 | #Constraints: 51734
977.96/986.06 c #Conflicts: 583000 | #Constraints: 52736
977.96/986.06 c #Conflicts: 584000 | #Constraints: 53743
977.96/986.06 c #Conflicts: 585000 | #Constraints: 54750
977.96/986.06 c #Conflicts: 586000 | #Constraints: 55753
977.96/986.06 c #Conflicts: 587000 | #Constraints: 56756
977.96/986.06 c #Conflicts: 588000 | #Constraints: 57756
977.96/986.06 c #Conflicts: 589000 | #Constraints: 58758
977.96/986.06 c #Conflicts: 590000 | #Constraints: 59758
977.96/986.06 c #Conflicts: 591000 | #Constraints: 60759
977.96/986.06 c INPROCESSING
977.96/986.06 c GARBAGE COLLECT
977.96/986.06 c rational objective 7
1014.62/1023.02 c #Conflicts: 592000 | #Constraints: 46517
1014.62/1023.02 c #Conflicts: 593000 | #Constraints: 47517
1014.62/1023.02 c #Conflicts: 594000 | #Constraints: 48519
1014.62/1023.02 c #Conflicts: 595000 | #Constraints: 49520
1014.62/1023.02 c #Conflicts: 596000 | #Constraints: 50522
1014.62/1023.02 c #Conflicts: 597000 | #Constraints: 51524
1014.62/1023.02 c #Conflicts: 598000 | #Constraints: 52525
1014.62/1023.02 c #Conflicts: 599000 | #Constraints: 53527
1014.62/1023.02 c #Conflicts: 600000 | #Constraints: 54528
1014.62/1023.02 c #Conflicts: 601000 | #Constraints: 55529
1014.62/1023.02 c #Conflicts: 602000 | #Constraints: 56530
1014.62/1023.02 c #Conflicts: 603000 | #Constraints: 57531
1014.62/1023.02 c #Conflicts: 604000 | #Constraints: 58533
1014.62/1023.02 c #Conflicts: 605000 | #Constraints: 59535
1014.62/1023.02 c #Conflicts: 606000 | #Constraints: 60535
1014.62/1023.02 c #Conflicts: 607000 | #Constraints: 61537
1014.62/1023.02 c INPROCESSING
1014.62/1023.02 c GARBAGE COLLECT
1014.62/1023.02 c rational objective 7
1080.86/1089.89 c #Conflicts: 608000 | #Constraints: 47100
1080.86/1089.89 c #Conflicts: 609000 | #Constraints: 48100
1080.86/1089.89 c #Conflicts: 610000 | #Constraints: 49100
1080.86/1089.89 c #Conflicts: 611000 | #Constraints: 50101
1080.86/1089.89 c #Conflicts: 612000 | #Constraints: 51104
1080.86/1089.89 c #Conflicts: 613000 | #Constraints: 52108
1080.86/1089.89 c #Conflicts: 614000 | #Constraints: 53109
1080.86/1089.89 c #Conflicts: 615000 | #Constraints: 54109
1080.86/1089.89 c #Conflicts: 616000 | #Constraints: 55113
1080.86/1089.89 c #Conflicts: 617000 | #Constraints: 56121
1080.86/1089.89 c #Conflicts: 618000 | #Constraints: 57122
1080.86/1089.89 c #Conflicts: 619000 | #Constraints: 58125
1080.86/1089.89 c #Conflicts: 620000 | #Constraints: 59126
1080.86/1089.89 c #Conflicts: 621000 | #Constraints: 60126
1080.86/1089.89 c #Conflicts: 622000 | #Constraints: 61127
1080.86/1089.89 c #Conflicts: 623000 | #Constraints: 62129
1080.86/1089.89 c INPROCESSING
1080.86/1089.89 c GARBAGE COLLECT
1080.86/1089.89 c #Conflicts: 624000 | #Constraints: 47477
1080.86/1089.89 c #Conflicts: 625000 | #Constraints: 48478
1080.86/1089.89 c #Conflicts: 626000 | #Constraints: 49478
1080.86/1089.89 c #Conflicts: 627000 | #Constraints: 50478
1080.86/1089.89 c #Conflicts: 628000 | #Constraints: 51480
1080.86/1089.89 c #Conflicts: 629000 | #Constraints: 52482
1080.86/1089.89 c #Conflicts: 630000 | #Constraints: 53483
1080.86/1089.89 c #Conflicts: 631000 | #Constraints: 54484
1080.86/1089.89 c #Conflicts: 632000 | #Constraints: 55485
1080.86/1089.89 c #Conflicts: 633000 | #Constraints: 56486
1080.86/1089.89 c #Conflicts: 634000 | #Constraints: 57487
1080.86/1089.89 c #Conflicts: 635000 | #Constraints: 58488
1080.86/1089.89 c #Conflicts: 636000 | #Constraints: 59489
1080.86/1089.89 c #Conflicts: 637000 | #Constraints: 60490
1080.86/1089.89 c #Conflicts: 638000 | #Constraints: 61491
1080.86/1089.89 c #Conflicts: 639000 | #Constraints: 62492
1080.86/1089.89 c INPROCESSING
1080.86/1089.89 c GARBAGE COLLECT
1080.86/1089.89 c rational objective 7
1113.40/1122.56 c #Conflicts: 640000 | #Constraints: 47670
1113.40/1122.56 c #Conflicts: 641000 | #Constraints: 48670
1113.40/1122.56 c #Conflicts: 642000 | #Constraints: 49672
1113.40/1122.56 c #Conflicts: 643000 | #Constraints: 50673
1113.40/1122.56 c #Conflicts: 644000 | #Constraints: 51673
1113.40/1122.56 c #Conflicts: 645000 | #Constraints: 52674
1113.40/1122.56 c #Conflicts: 646000 | #Constraints: 53674
1113.40/1122.56 c #Conflicts: 647000 | #Constraints: 54675
1113.40/1122.56 c #Conflicts: 648000 | #Constraints: 55675
1113.40/1122.56 c #Conflicts: 649000 | #Constraints: 56678
1113.40/1122.56 c #Conflicts: 650000 | #Constraints: 57678
1113.40/1122.56 c #Conflicts: 651000 | #Constraints: 58678
1113.40/1122.56 c #Conflicts: 652000 | #Constraints: 59680
1113.40/1122.56 c #Conflicts: 653000 | #Constraints: 60682
1113.40/1122.56 c #Conflicts: 654000 | #Constraints: 61682
1113.40/1122.56 c #Conflicts: 655000 | #Constraints: 62683
1113.40/1122.56 c INPROCESSING
1113.40/1122.56 c GARBAGE COLLECT
1113.40/1122.56 c rational objective 7
1149.70/1159.09 c #Conflicts: 656000 | #Constraints: 47681
1149.70/1159.09 c #Conflicts: 657000 | #Constraints: 48682
1149.70/1159.09 c #Conflicts: 658000 | #Constraints: 49683
1149.70/1159.09 c #Conflicts: 659000 | #Constraints: 50684
1149.70/1159.09 c #Conflicts: 660000 | #Constraints: 51685
1149.70/1159.09 c #Conflicts: 661000 | #Constraints: 52686
1149.70/1159.09 c #Conflicts: 662000 | #Constraints: 53689
1149.70/1159.09 c #Conflicts: 663000 | #Constraints: 54691
1149.70/1159.09 c #Conflicts: 664000 | #Constraints: 55694
1149.70/1159.09 c #Conflicts: 665000 | #Constraints: 56697
1149.70/1159.09 c #Conflicts: 666000 | #Constraints: 57700
1149.70/1159.09 c #Conflicts: 667000 | #Constraints: 58703
1149.70/1159.09 c #Conflicts: 668000 | #Constraints: 59704
1149.70/1159.09 c #Conflicts: 669000 | #Constraints: 60705
1149.70/1159.09 c #Conflicts: 670000 | #Constraints: 61707
1149.70/1159.09 c #Conflicts: 671000 | #Constraints: 62709
1149.70/1159.09 c INPROCESSING
1149.70/1159.09 c GARBAGE COLLECT
1149.70/1159.09 c rational objective 7
1193.34/1202.85 c #Conflicts: 672000 | #Constraints: 47487
1193.34/1202.85 c #Conflicts: 673000 | #Constraints: 48487
1193.34/1202.85 c #Conflicts: 674000 | #Constraints: 49493
1193.34/1202.85 c #Conflicts: 675000 | #Constraints: 50495
1193.34/1202.85 c #Conflicts: 676000 | #Constraints: 51495
1193.34/1202.85 c #Conflicts: 677000 | #Constraints: 52496
1193.34/1202.85 c #Conflicts: 678000 | #Constraints: 53497
1193.34/1202.85 c #Conflicts: 679000 | #Constraints: 54500
1193.34/1202.85 c #Conflicts: 680000 | #Constraints: 55501
1193.34/1202.85 c #Conflicts: 681000 | #Constraints: 56505
1193.34/1202.85 c #Conflicts: 682000 | #Constraints: 57507
1193.34/1202.85 c #Conflicts: 683000 | #Constraints: 58507
1193.34/1202.85 c #Conflicts: 684000 | #Constraints: 59508
1193.34/1202.85 c #Conflicts: 685000 | #Constraints: 60510
1193.34/1202.85 c #Conflicts: 686000 | #Constraints: 61510
1193.34/1202.85 c #Conflicts: 687000 | #Constraints: 62510
1193.34/1202.85 c #Conflicts: 688000 | #Constraints: 63510
1193.34/1202.85 c INPROCESSING
1193.34/1202.85 c GARBAGE COLLECT
1193.34/1202.85 c rational objective 7
1240.89/1250.69 c #Conflicts: 689000 | #Constraints: 48065
1240.89/1250.69 c #Conflicts: 690000 | #Constraints: 49066
1240.89/1250.69 c #Conflicts: 691000 | #Constraints: 50067
1240.89/1250.69 c #Conflicts: 692000 | #Constraints: 51067
1240.89/1250.69 c #Conflicts: 693000 | #Constraints: 52068
1240.89/1250.69 c #Conflicts: 694000 | #Constraints: 53069
1240.89/1250.69 c #Conflicts: 695000 | #Constraints: 54071
1240.89/1250.69 c #Conflicts: 696000 | #Constraints: 55072
1240.89/1250.69 c #Conflicts: 697000 | #Constraints: 56074
1240.89/1250.69 c #Conflicts: 698000 | #Constraints: 57077
1240.89/1250.69 c #Conflicts: 699000 | #Constraints: 58078
1240.89/1250.69 c #Conflicts: 700000 | #Constraints: 59080
1240.89/1250.69 c #Conflicts: 701000 | #Constraints: 60081
1240.89/1250.69 c #Conflicts: 702000 | #Constraints: 61081
1240.89/1250.69 c #Conflicts: 703000 | #Constraints: 62081
1240.89/1250.69 c #Conflicts: 704000 | #Constraints: 63082
1240.89/1250.69 c #Conflicts: 705000 | #Constraints: 64082
1240.89/1250.69 c INPROCESSING
1240.89/1250.69 c GARBAGE COLLECT
1240.89/1250.69 c rational objective 7
1267.51/1277.44 c #Conflicts: 706000 | #Constraints: 48474
1267.51/1277.44 c #Conflicts: 707000 | #Constraints: 49474
1267.51/1277.44 c #Conflicts: 708000 | #Constraints: 50475
1267.51/1277.44 c #Conflicts: 709000 | #Constraints: 51476
1267.51/1277.44 c #Conflicts: 710000 | #Constraints: 52478
1267.51/1277.44 c #Conflicts: 711000 | #Constraints: 53479
1267.51/1277.44 c #Conflicts: 712000 | #Constraints: 54483
1267.51/1277.44 c #Conflicts: 713000 | #Constraints: 55485
1267.51/1277.44 c #Conflicts: 714000 | #Constraints: 56495
1267.51/1277.44 c #Conflicts: 715000 | #Constraints: 57495
1267.51/1277.44 c #Conflicts: 716000 | #Constraints: 58495
1267.51/1277.44 c #Conflicts: 717000 | #Constraints: 59495
1267.51/1277.44 c #Conflicts: 718000 | #Constraints: 60495
1267.51/1277.44 c #Conflicts: 719000 | #Constraints: 61495
1267.51/1277.44 c #Conflicts: 720000 | #Constraints: 62495
1267.51/1277.44 c #Conflicts: 721000 | #Constraints: 63496
1267.51/1277.44 c #Conflicts: 722000 | #Constraints: 64497
1267.51/1277.44 c INPROCESSING
1267.51/1277.44 c GARBAGE COLLECT
1267.51/1277.44 c rational objective 7
1342.85/1353.25 c #Conflicts: 723000 | #Constraints: 48681
1342.85/1353.25 c #Conflicts: 724000 | #Constraints: 49681
1342.85/1353.25 c #Conflicts: 725000 | #Constraints: 50682
1342.85/1353.25 c #Conflicts: 726000 | #Constraints: 51682
1342.85/1353.25 c #Conflicts: 727000 | #Constraints: 52684
1342.85/1353.25 c #Conflicts: 728000 | #Constraints: 53684
1342.85/1353.25 c #Conflicts: 729000 | #Constraints: 54685
1342.85/1353.25 c #Conflicts: 730000 | #Constraints: 55686
1342.85/1353.25 c #Conflicts: 731000 | #Constraints: 56686
1342.85/1353.25 c #Conflicts: 732000 | #Constraints: 57687
1342.85/1353.25 c #Conflicts: 733000 | #Constraints: 58687
1342.85/1353.25 c #Conflicts: 734000 | #Constraints: 59688
1342.85/1353.25 c #Conflicts: 735000 | #Constraints: 60688
1342.85/1353.25 c #Conflicts: 736000 | #Constraints: 61689
1342.85/1353.25 c #Conflicts: 737000 | #Constraints: 62691
1342.85/1353.25 c #Conflicts: 738000 | #Constraints: 63692
1342.85/1353.25 c #Conflicts: 739000 | #Constraints: 64692
1342.85/1353.25 c INPROCESSING
1342.85/1353.25 c GARBAGE COLLECT
1342.85/1353.25 c rational objective 7
1375.33/1386.01 c #Conflicts: 740000 | #Constraints: 48728
1375.33/1386.01 c #Conflicts: 741000 | #Constraints: 49729
1375.33/1386.01 c #Conflicts: 742000 | #Constraints: 50729
1375.33/1386.01 c #Conflicts: 743000 | #Constraints: 51732
1375.33/1386.01 c #Conflicts: 744000 | #Constraints: 52733
1375.33/1386.01 c #Conflicts: 745000 | #Constraints: 53735
1375.33/1386.01 c #Conflicts: 746000 | #Constraints: 54737
1375.33/1386.01 c #Conflicts: 747000 | #Constraints: 55737
1375.33/1386.01 c #Conflicts: 748000 | #Constraints: 56740
1375.33/1386.01 c #Conflicts: 749000 | #Constraints: 57741
1375.33/1386.01 c #Conflicts: 750000 | #Constraints: 58743
1375.33/1386.01 c #Conflicts: 751000 | #Constraints: 59744
1375.33/1386.01 c #Conflicts: 752000 | #Constraints: 60744
1375.33/1386.01 c #Conflicts: 753000 | #Constraints: 61745
1375.33/1386.01 c #Conflicts: 754000 | #Constraints: 62746
1375.33/1386.01 c #Conflicts: 755000 | #Constraints: 63748
1375.33/1386.01 c #Conflicts: 756000 | #Constraints: 64748
1375.33/1386.01 c INPROCESSING
1375.33/1386.01 c GARBAGE COLLECT
1375.33/1386.01 c rational objective 7
1420.53/1431.53 c #Conflicts: 757000 | #Constraints: 48492
1420.53/1431.53 c #Conflicts: 758000 | #Constraints: 49496
1420.53/1431.53 c #Conflicts: 759000 | #Constraints: 50503
1420.53/1431.53 c #Conflicts: 760000 | #Constraints: 51506
1420.53/1431.53 c #Conflicts: 761000 | #Constraints: 52508
1420.53/1431.53 c #Conflicts: 762000 | #Constraints: 53511
1420.53/1431.53 c #Conflicts: 763000 | #Constraints: 54513
1420.53/1431.53 c #Conflicts: 764000 | #Constraints: 55515
1420.53/1431.53 c #Conflicts: 765000 | #Constraints: 56517
1420.53/1431.53 c #Conflicts: 766000 | #Constraints: 57519
1420.53/1431.53 c #Conflicts: 767000 | #Constraints: 58521
1420.53/1431.53 c #Conflicts: 768000 | #Constraints: 59523
1420.53/1431.53 c #Conflicts: 769000 | #Constraints: 60524
1420.53/1431.53 c #Conflicts: 770000 | #Constraints: 61526
1420.53/1431.53 c #Conflicts: 771000 | #Constraints: 62529
1420.53/1431.53 c #Conflicts: 772000 | #Constraints: 63531
1420.53/1431.53 c #Conflicts: 773000 | #Constraints: 64532
1420.53/1431.53 c #Conflicts: 774000 | #Constraints: 65532
1420.53/1431.53 c INPROCESSING
1420.53/1431.53 c GARBAGE COLLECT
1420.53/1431.53 c rational objective 7
1456.93/1468.15 c #Conflicts: 775000 | #Constraints: 49093
1456.93/1468.15 c #Conflicts: 776000 | #Constraints: 50093
1456.93/1468.15 c #Conflicts: 777000 | #Constraints: 51094
1456.93/1468.15 c #Conflicts: 778000 | #Constraints: 52094
1456.93/1468.15 c #Conflicts: 779000 | #Constraints: 53098
1456.93/1468.15 c #Conflicts: 780000 | #Constraints: 54104
1456.93/1468.15 c #Conflicts: 781000 | #Constraints: 55105
1456.93/1468.15 c #Conflicts: 782000 | #Constraints: 56106
1456.93/1468.15 c #Conflicts: 783000 | #Constraints: 57110
1456.93/1468.15 c #Conflicts: 784000 | #Constraints: 58113
1456.93/1468.15 c #Conflicts: 785000 | #Constraints: 59115
1456.93/1468.15 c #Conflicts: 786000 | #Constraints: 60117
1456.93/1468.15 c #Conflicts: 787000 | #Constraints: 61119
1456.93/1468.15 c #Conflicts: 788000 | #Constraints: 62123
1456.93/1468.15 c #Conflicts: 789000 | #Constraints: 63123
1456.93/1468.15 c #Conflicts: 790000 | #Constraints: 64124
1456.93/1468.15 c #Conflicts: 791000 | #Constraints: 65125
1456.93/1468.15 c #Conflicts: 792000 | #Constraints: 66125
1456.93/1468.15 c INPROCESSING
1456.93/1468.15 c GARBAGE COLLECT
1456.93/1468.15 c rational objective 7
1493.42/1504.83 c #Conflicts: 793000 | #Constraints: 49475
1493.42/1504.83 c #Conflicts: 794000 | #Constraints: 50475
1493.42/1504.83 c #Conflicts: 795000 | #Constraints: 51477
1493.42/1504.83 c #Conflicts: 796000 | #Constraints: 52485
1493.42/1504.83 c #Conflicts: 797000 | #Constraints: 53490
1493.42/1504.83 c #Conflicts: 798000 | #Constraints: 54492
1493.42/1504.83 c #Conflicts: 799000 | #Constraints: 55496
1493.42/1504.83 c #Conflicts: 800000 | #Constraints: 56501
1493.42/1504.83 c #Conflicts: 801000 | #Constraints: 57502
1493.42/1504.83 c #Conflicts: 802000 | #Constraints: 58503
1493.42/1504.83 c #Conflicts: 803000 | #Constraints: 59503
1493.42/1504.83 c #Conflicts: 804000 | #Constraints: 60503
1493.42/1504.83 c #Conflicts: 805000 | #Constraints: 61504
1493.42/1504.83 c #Conflicts: 806000 | #Constraints: 62505
1493.42/1504.83 c #Conflicts: 807000 | #Constraints: 63507
1493.42/1504.83 c #Conflicts: 808000 | #Constraints: 64508
1493.42/1504.83 c #Conflicts: 809000 | #Constraints: 65508
1493.42/1504.83 c #Conflicts: 810000 | #Constraints: 66509
1493.42/1504.83 c INPROCESSING
1493.42/1504.83 c GARBAGE COLLECT
1493.42/1504.83 c rational objective 7
1523.12/1534.65 c #Conflicts: 811000 | #Constraints: 49674
1523.12/1534.65 c #Conflicts: 812000 | #Constraints: 50676
1523.12/1534.65 c #Conflicts: 813000 | #Constraints: 51679
1523.12/1534.65 c #Conflicts: 814000 | #Constraints: 52681
1523.12/1534.65 c #Conflicts: 815000 | #Constraints: 53686
1523.12/1534.65 c #Conflicts: 816000 | #Constraints: 54687
1523.12/1534.65 c #Conflicts: 817000 | #Constraints: 55688
1523.12/1534.65 c #Conflicts: 818000 | #Constraints: 56689
1523.12/1534.65 c #Conflicts: 819000 | #Constraints: 57689
1523.12/1534.65 c #Conflicts: 820000 | #Constraints: 58691
1523.12/1534.65 c #Conflicts: 821000 | #Constraints: 59692
1523.12/1534.65 c #Conflicts: 822000 | #Constraints: 60693
1523.12/1534.65 c #Conflicts: 823000 | #Constraints: 61695
1523.12/1534.65 c #Conflicts: 824000 | #Constraints: 62696
1523.12/1534.65 c #Conflicts: 825000 | #Constraints: 63697
1523.12/1534.65 c #Conflicts: 826000 | #Constraints: 64699
1523.12/1534.65 c #Conflicts: 827000 | #Constraints: 65700
1523.12/1534.65 c #Conflicts: 828000 | #Constraints: 66700
1523.12/1534.65 c INPROCESSING
1523.12/1534.65 c GARBAGE COLLECT
1523.12/1534.65 c rational objective 7
1583.47/1595.41 c #Conflicts: 829000 | #Constraints: 49684
1583.47/1595.41 c #Conflicts: 830000 | #Constraints: 50685
1583.47/1595.41 c #Conflicts: 831000 | #Constraints: 51685
1583.47/1595.41 c #Conflicts: 832000 | #Constraints: 52688
1583.47/1595.41 c #Conflicts: 833000 | #Constraints: 53690
1583.47/1595.41 c #Conflicts: 834000 | #Constraints: 54692
1583.47/1595.41 c #Conflicts: 835000 | #Constraints: 55695
1583.47/1595.41 c #Conflicts: 836000 | #Constraints: 56696
1583.47/1595.41 c #Conflicts: 837000 | #Constraints: 57698
1583.47/1595.41 c #Conflicts: 838000 | #Constraints: 58701
1583.47/1595.41 c #Conflicts: 839000 | #Constraints: 59701
1583.47/1595.41 c #Conflicts: 840000 | #Constraints: 60702
1583.47/1595.41 c #Conflicts: 841000 | #Constraints: 61704
1583.47/1595.41 c #Conflicts: 842000 | #Constraints: 62706
1583.47/1595.41 c #Conflicts: 843000 | #Constraints: 63706
1583.47/1595.41 c #Conflicts: 844000 | #Constraints: 64707
1583.47/1595.41 c #Conflicts: 845000 | #Constraints: 65707
1583.47/1595.41 c #Conflicts: 846000 | #Constraints: 66708
1583.47/1595.41 c INPROCESSING
1583.47/1595.41 c GARBAGE COLLECT
1583.47/1595.41 c rational objective 7
1624.13/1636.48 c #Conflicts: 847000 | #Constraints: 49469
1624.13/1636.48 c #Conflicts: 848000 | #Constraints: 50469
1624.13/1636.48 c #Conflicts: 849000 | #Constraints: 51470
1624.13/1636.48 c #Conflicts: 850000 | #Constraints: 52472
1624.13/1636.48 c #Conflicts: 851000 | #Constraints: 53476
1624.13/1636.48 c #Conflicts: 852000 | #Constraints: 54479
1624.13/1636.48 c #Conflicts: 853000 | #Constraints: 55482
1624.13/1636.48 c #Conflicts: 854000 | #Constraints: 56485
1624.13/1636.48 c #Conflicts: 855000 | #Constraints: 57487
1624.13/1636.48 c #Conflicts: 856000 | #Constraints: 58488
1624.13/1636.48 c #Conflicts: 857000 | #Constraints: 59491
1624.13/1636.48 c #Conflicts: 858000 | #Constraints: 60496
1624.13/1636.48 c #Conflicts: 859000 | #Constraints: 61497
1624.13/1636.48 c #Conflicts: 860000 | #Constraints: 62499
1624.13/1636.48 c #Conflicts: 861000 | #Constraints: 63500
1624.13/1636.48 c #Conflicts: 862000 | #Constraints: 64502
1624.13/1636.48 c #Conflicts: 863000 | #Constraints: 65504
1624.13/1636.48 c #Conflicts: 864000 | #Constraints: 66505
1624.13/1636.48 c #Conflicts: 865000 | #Constraints: 67510
1624.13/1636.48 c INPROCESSING
1624.13/1636.48 c GARBAGE COLLECT
1624.13/1636.48 c rational objective 7
1663.65/1676.17 c #Conflicts: 866000 | #Constraints: 50071
1663.65/1676.17 c #Conflicts: 867000 | #Constraints: 51072
1663.65/1676.17 c #Conflicts: 868000 | #Constraints: 52075
1663.65/1676.17 c #Conflicts: 869000 | #Constraints: 53080
1663.65/1676.17 c #Conflicts: 870000 | #Constraints: 54083
1663.65/1676.17 c #Conflicts: 871000 | #Constraints: 55087
1663.65/1676.17 c #Conflicts: 872000 | #Constraints: 56087
1663.65/1676.17 c #Conflicts: 873000 | #Constraints: 57088
1663.65/1676.17 c #Conflicts: 874000 | #Constraints: 58088
1663.65/1676.17 c #Conflicts: 875000 | #Constraints: 59090
1663.65/1676.17 c #Conflicts: 876000 | #Constraints: 60092
1663.65/1676.17 c #Conflicts: 877000 | #Constraints: 61093
1663.65/1676.17 c #Conflicts: 878000 | #Constraints: 62093
1663.65/1676.17 c #Conflicts: 879000 | #Constraints: 63096
1663.65/1676.17 c #Conflicts: 880000 | #Constraints: 64097
1663.65/1676.17 c #Conflicts: 881000 | #Constraints: 65099
1663.65/1676.17 c #Conflicts: 882000 | #Constraints: 66101
1663.65/1676.17 c #Conflicts: 883000 | #Constraints: 67103
1663.65/1676.17 c #Conflicts: 884000 | #Constraints: 68105
1663.65/1676.17 c INPROCESSING
1663.65/1676.17 c GARBAGE COLLECT
1663.65/1676.17 c rational objective 7
1726.42/1739.30 c #Conflicts: 885000 | #Constraints: 50494
1726.42/1739.30 c #Conflicts: 886000 | #Constraints: 51496
1726.42/1739.30 c #Conflicts: 887000 | #Constraints: 52498
1726.42/1739.30 c #Conflicts: 888000 | #Constraints: 53501
1726.42/1739.30 c #Conflicts: 889000 | #Constraints: 54503
1726.42/1739.30 c #Conflicts: 890000 | #Constraints: 55505
1726.42/1739.30 c #Conflicts: 891000 | #Constraints: 56506
1726.42/1739.30 c #Conflicts: 892000 | #Constraints: 57509
1726.42/1739.30 c #Conflicts: 893000 | #Constraints: 58511
1726.42/1739.30 c #Conflicts: 894000 | #Constraints: 59512
1726.42/1739.30 c #Conflicts: 895000 | #Constraints: 60515
1726.42/1739.30 c #Conflicts: 896000 | #Constraints: 61517
1726.42/1739.30 c #Conflicts: 897000 | #Constraints: 62519
1726.42/1739.30 c #Conflicts: 898000 | #Constraints: 63519
1726.42/1739.30 c #Conflicts: 899000 | #Constraints: 64519
1726.42/1739.30 c #Conflicts: 900000 | #Constraints: 65519
1726.42/1739.30 c #Conflicts: 901000 | #Constraints: 66520
1726.42/1739.30 c #Conflicts: 902000 | #Constraints: 67521
1726.42/1739.30 c #Conflicts: 903000 | #Constraints: 68522
1726.42/1739.30 c INPROCESSING
1726.42/1739.30 c GARBAGE COLLECT
1726.42/1739.30 c rational objective 7
1761.07/1774.20 c #Conflicts: 904000 | #Constraints: 50707
1761.07/1774.20 c #Conflicts: 905000 | #Constraints: 51707
1761.07/1774.20 c #Conflicts: 906000 | #Constraints: 52707
1761.07/1774.20 c #Conflicts: 907000 | #Constraints: 53710
1761.07/1774.20 c #Conflicts: 908000 | #Constraints: 54712
1761.07/1774.20 c #Conflicts: 909000 | #Constraints: 55713
1761.07/1774.20 c #Conflicts: 910000 | #Constraints: 56714
1761.07/1774.20 c #Conflicts: 911000 | #Constraints: 57714
1761.07/1774.20 c #Conflicts: 912000 | #Constraints: 58716
1761.07/1774.20 c #Conflicts: 913000 | #Constraints: 59717
1761.07/1774.20 c #Conflicts: 914000 | #Constraints: 60718
1761.07/1774.20 c #Conflicts: 915000 | #Constraints: 61719
1761.07/1774.20 c #Conflicts: 916000 | #Constraints: 62723
1761.07/1774.20 c #Conflicts: 917000 | #Constraints: 63725
1761.07/1774.20 c #Conflicts: 918000 | #Constraints: 64727
1761.07/1774.20 c #Conflicts: 919000 | #Constraints: 65729
1761.07/1774.20 c #Conflicts: 920000 | #Constraints: 66731
1761.07/1774.20 c #Conflicts: 921000 | #Constraints: 67731
1761.07/1774.20 c #Conflicts: 922000 | #Constraints: 68732
1761.07/1774.20 c INPROCESSING
1761.07/1774.20 c GARBAGE COLLECT
1761.07/1774.20 c rational objective 7
1811.29/1824.89 c #Conflicts: 923000 | #Constraints: 50692
1811.29/1824.89 c #Conflicts: 924000 | #Constraints: 51693
1811.29/1824.89 c #Conflicts: 925000 | #Constraints: 52695
1811.29/1824.89 c #Conflicts: 926000 | #Constraints: 53696
1811.29/1824.89 c #Conflicts: 927000 | #Constraints: 54698
1811.29/1824.89 c #Conflicts: 928000 | #Constraints: 55705
1811.29/1824.89 c #Conflicts: 929000 | #Constraints: 56706
1811.29/1824.89 c #Conflicts: 930000 | #Constraints: 57707
1811.29/1824.89 c #Conflicts: 931000 | #Constraints: 58713
1811.29/1824.89 c #Conflicts: 932000 | #Constraints: 59713
1811.29/1824.89 c #Conflicts: 933000 | #Constraints: 60716
1811.29/1824.89 c #Conflicts: 934000 | #Constraints: 61722
1811.29/1824.89 c #Conflicts: 935000 | #Constraints: 62722
1811.29/1824.89 c #Conflicts: 936000 | #Constraints: 63724
1811.29/1824.89 c #Conflicts: 937000 | #Constraints: 64726
1811.29/1824.89 c #Conflicts: 938000 | #Constraints: 65727
1811.29/1824.89 c #Conflicts: 939000 | #Constraints: 66728
1811.29/1824.89 c #Conflicts: 940000 | #Constraints: 67729
1811.29/1824.89 c #Conflicts: 941000 | #Constraints: 68730
1811.29/1824.89 c INPROCESSING
1811.29/1824.89 c GARBAGE COLLECT
1811.29/1824.89 c rational objective 7
1857.34/1871.14 c #Conflicts: 942000 | #Constraints: 50505
1857.34/1871.14 c #Conflicts: 943000 | #Constraints: 51507
1857.34/1871.14 c #Conflicts: 944000 | #Constraints: 52507
1857.34/1871.14 c #Conflicts: 945000 | #Constraints: 53511
1857.34/1871.14 c #Conflicts: 946000 | #Constraints: 54513
1857.34/1871.14 c #Conflicts: 947000 | #Constraints: 55513
1857.34/1871.14 c #Conflicts: 948000 | #Constraints: 56513
1857.34/1871.14 c #Conflicts: 949000 | #Constraints: 57513
1857.34/1871.14 c #Conflicts: 950000 | #Constraints: 58515
1857.34/1871.14 c #Conflicts: 951000 | #Constraints: 59518
1857.34/1871.14 c #Conflicts: 952000 | #Constraints: 60519
1857.34/1871.14 c #Conflicts: 953000 | #Constraints: 61520
1857.34/1871.14 c #Conflicts: 954000 | #Constraints: 62521
1857.34/1871.14 c #Conflicts: 955000 | #Constraints: 63522
1857.34/1871.14 c #Conflicts: 956000 | #Constraints: 64523
1857.34/1871.14 c #Conflicts: 957000 | #Constraints: 65523
1857.34/1871.14 c #Conflicts: 958000 | #Constraints: 66524
1857.34/1871.14 c #Conflicts: 959000 | #Constraints: 67525
1857.34/1871.14 c #Conflicts: 960000 | #Constraints: 68525
1857.34/1871.14 c #Conflicts: 961000 | #Constraints: 69526
1857.34/1871.14 c INPROCESSING
1857.34/1871.14 c GARBAGE COLLECT
1857.34/1871.14 c rational objective 7
1917.02/1931.33 c #Conflicts: 962000 | #Constraints: 51075
1917.02/1931.33 c #Conflicts: 963000 | #Constraints: 52075
1917.02/1931.33 c #Conflicts: 964000 | #Constraints: 53076
1917.02/1931.33 c #Conflicts: 965000 | #Constraints: 54078
1917.02/1931.33 c #Conflicts: 966000 | #Constraints: 55080
1917.02/1931.33 c #Conflicts: 967000 | #Constraints: 56083
1917.02/1931.33 c #Conflicts: 968000 | #Constraints: 57086
1917.02/1931.33 c #Conflicts: 969000 | #Constraints: 58088
1917.02/1931.33 c #Conflicts: 970000 | #Constraints: 59089
1917.02/1931.33 c #Conflicts: 971000 | #Constraints: 60091
1917.02/1931.33 c #Conflicts: 972000 | #Constraints: 61092
1917.02/1931.33 c #Conflicts: 973000 | #Constraints: 62093
1917.02/1931.33 c #Conflicts: 974000 | #Constraints: 63095
1917.02/1931.33 c #Conflicts: 975000 | #Constraints: 64097
1917.02/1931.33 c #Conflicts: 976000 | #Constraints: 65098
1917.02/1931.33 c #Conflicts: 977000 | #Constraints: 66100
1917.02/1931.33 c #Conflicts: 978000 | #Constraints: 67100
1917.02/1931.33 c #Conflicts: 979000 | #Constraints: 68101
1917.02/1931.33 c #Conflicts: 980000 | #Constraints: 69102
1917.02/1931.33 c #Conflicts: 981000 | #Constraints: 70102
1917.02/1931.33 c INPROCESSING
1917.02/1931.33 c GARBAGE COLLECT
1917.02/1931.33 c rational objective 7
1976.86/1991.76 c #Conflicts: 982000 | #Constraints: 51487
1976.86/1991.76 c #Conflicts: 983000 | #Constraints: 52487
1976.86/1991.76 c #Conflicts: 984000 | #Constraints: 53489
1976.86/1991.76 c #Conflicts: 985000 | #Constraints: 54491
1976.86/1991.76 c #Conflicts: 986000 | #Constraints: 55492
1976.86/1991.76 c #Conflicts: 987000 | #Constraints: 56493
1976.86/1991.76 c #Conflicts: 988000 | #Constraints: 57494
1976.86/1991.76 c #Conflicts: 989000 | #Constraints: 58494
1976.86/1991.76 c #Conflicts: 990000 | #Constraints: 59495
1976.86/1991.76 c #Conflicts: 991000 | #Constraints: 60495
1976.86/1991.76 c #Conflicts: 992000 | #Constraints: 61497
1976.86/1991.76 c #Conflicts: 993000 | #Constraints: 62497
1976.86/1991.76 c #Conflicts: 994000 | #Constraints: 63498
1976.86/1991.76 c #Conflicts: 995000 | #Constraints: 64498
1976.86/1991.76 c #Conflicts: 996000 | #Constraints: 65499
1976.86/1991.76 c #Conflicts: 997000 | #Constraints: 66499
1976.86/1991.76 c #Conflicts: 998000 | #Constraints: 67500
1976.86/1991.76 c #Conflicts: 999000 | #Constraints: 68500
1976.86/1991.76 c #Conflicts: 1000000 | #Constraints: 69500
1976.86/1991.76 c #Conflicts: 1001000 | #Constraints: 70501
1976.86/1991.76 c INPROCESSING
1976.86/1991.76 c GARBAGE COLLECT
1976.86/1991.76 c rational objective 7
2025.25/2040.52 c #Conflicts: 1002000 | #Constraints: 51674
2025.25/2040.52 c #Conflicts: 1003000 | #Constraints: 52674
2025.25/2040.52 c #Conflicts: 1004000 | #Constraints: 53674
2025.25/2040.52 c #Conflicts: 1005000 | #Constraints: 54674
2025.25/2040.52 c #Conflicts: 1006000 | #Constraints: 55674
2025.25/2040.52 c #Conflicts: 1007000 | #Constraints: 56675
2025.25/2040.52 c #Conflicts: 1008000 | #Constraints: 57677
2025.25/2040.52 c #Conflicts: 1009000 | #Constraints: 58678
2025.25/2040.52 c #Conflicts: 1010000 | #Constraints: 59679
2025.25/2040.52 c #Conflicts: 1011000 | #Constraints: 60680
2025.25/2040.52 c #Conflicts: 1012000 | #Constraints: 61680
2025.25/2040.52 c #Conflicts: 1013000 | #Constraints: 62681
2025.25/2040.52 c #Conflicts: 1014000 | #Constraints: 63681
2025.25/2040.52 c #Conflicts: 1015000 | #Constraints: 64682
2025.25/2040.52 c #Conflicts: 1016000 | #Constraints: 65682
2025.25/2040.52 c #Conflicts: 1017000 | #Constraints: 66683
2025.25/2040.52 c #Conflicts: 1018000 | #Constraints: 67683
2025.25/2040.52 c #Conflicts: 1019000 | #Constraints: 68683
2025.25/2040.52 c #Conflicts: 1020000 | #Constraints: 69684
2025.25/2040.52 c #Conflicts: 1021000 | #Constraints: 70684
2025.25/2040.52 c INPROCESSING
2025.25/2040.52 c GARBAGE COLLECT
2025.25/2040.52 c rational objective 7
2084.87/2100.65 c #Conflicts: 1022000 | #Constraints: 51641
2084.87/2100.65 c #Conflicts: 1023000 | #Constraints: 52642
2084.87/2100.65 c #Conflicts: 1024000 | #Constraints: 53642
2084.87/2100.65 c #Conflicts: 1025000 | #Constraints: 54642
2084.87/2100.65 c #Conflicts: 1026000 | #Constraints: 55642
2084.87/2100.65 c #Conflicts: 1027000 | #Constraints: 56643
2084.87/2100.65 c #Conflicts: 1028000 | #Constraints: 57645
2084.87/2100.65 c #Conflicts: 1029000 | #Constraints: 58646
2084.87/2100.65 c #Conflicts: 1030000 | #Constraints: 59647
2084.87/2100.65 c #Conflicts: 1031000 | #Constraints: 60647
2084.87/2100.65 c #Conflicts: 1032000 | #Constraints: 61648
2084.87/2100.65 c #Conflicts: 1033000 | #Constraints: 62648
2084.87/2100.65 c #Conflicts: 1034000 | #Constraints: 63648
2084.87/2100.65 c #Conflicts: 1035000 | #Constraints: 64649
2084.87/2100.65 c #Conflicts: 1036000 | #Constraints: 65649
2084.87/2100.65 c #Conflicts: 1037000 | #Constraints: 66649
2084.87/2100.65 c #Conflicts: 1038000 | #Constraints: 67649
2084.87/2100.65 c #Conflicts: 1039000 | #Constraints: 68649
2084.87/2100.65 c #Conflicts: 1040000 | #Constraints: 69650
2084.87/2100.65 c #Conflicts: 1041000 | #Constraints: 70651
2084.87/2100.65 c INPROCESSING
2084.87/2100.65 c GARBAGE COLLECT
2084.87/2100.65 c rational objective 7
2151.94/2168.04 c #Conflicts: 1042000 | #Constraints: 51458
2151.94/2168.04 c #Conflicts: 1043000 | #Constraints: 52458
2151.94/2168.04 c #Conflicts: 1044000 | #Constraints: 53459
2151.94/2168.04 c #Conflicts: 1045000 | #Constraints: 54460
2151.94/2168.04 c #Conflicts: 1046000 | #Constraints: 55461
2151.94/2168.04 c #Conflicts: 1047000 | #Constraints: 56462
2151.94/2168.04 c #Conflicts: 1048000 | #Constraints: 57464
2151.94/2168.04 c #Conflicts: 1049000 | #Constraints: 58465
2151.94/2168.04 c #Conflicts: 1050000 | #Constraints: 59466
2151.94/2168.04 c #Conflicts: 1051000 | #Constraints: 60469
2151.94/2168.04 c #Conflicts: 1052000 | #Constraints: 61471
2151.94/2168.04 c #Conflicts: 1053000 | #Constraints: 62473
2151.94/2168.04 c #Conflicts: 1054000 | #Constraints: 63474
2151.94/2168.04 c #Conflicts: 1055000 | #Constraints: 64475
2151.94/2168.04 c #Conflicts: 1056000 | #Constraints: 65475
2151.94/2168.04 c #Conflicts: 1057000 | #Constraints: 66476
2151.94/2168.04 c #Conflicts: 1058000 | #Constraints: 67477
2151.94/2168.04 c #Conflicts: 1059000 | #Constraints: 68478
2151.94/2168.04 c #Conflicts: 1060000 | #Constraints: 69478
2151.94/2168.04 c #Conflicts: 1061000 | #Constraints: 70479
2151.94/2168.04 c #Conflicts: 1062000 | #Constraints: 71479
2151.94/2168.04 c INPROCESSING
2151.94/2168.04 c GARBAGE COLLECT
2151.94/2168.04 c rational objective 7
2258.44/2275.57 c #Conflicts: 1063000 | #Constraints: 52064
2258.44/2275.57 c #Conflicts: 1064000 | #Constraints: 53065
2258.44/2275.57 c #Conflicts: 1065000 | #Constraints: 54067
2258.44/2275.57 c #Conflicts: 1066000 | #Constraints: 55073
2258.44/2275.57 c #Conflicts: 1067000 | #Constraints: 56078
2258.44/2275.57 c #Conflicts: 1068000 | #Constraints: 57081
2258.44/2275.57 c #Conflicts: 1069000 | #Constraints: 58084
2258.44/2275.57 c #Conflicts: 1070000 | #Constraints: 59086
2258.44/2275.57 c #Conflicts: 1071000 | #Constraints: 60090
2258.44/2275.57 c #Conflicts: 1072000 | #Constraints: 61091
2258.44/2275.57 c #Conflicts: 1073000 | #Constraints: 62093
2258.44/2275.57 c #Conflicts: 1074000 | #Constraints: 63096
2258.44/2275.57 c #Conflicts: 1075000 | #Constraints: 64099
2258.44/2275.57 c #Conflicts: 1076000 | #Constraints: 65101
2258.44/2275.57 c #Conflicts: 1077000 | #Constraints: 66102
2258.44/2275.57 c #Conflicts: 1078000 | #Constraints: 67102
2258.44/2275.57 c #Conflicts: 1079000 | #Constraints: 68103
2258.44/2275.57 c #Conflicts: 1080000 | #Constraints: 69103
2258.44/2275.57 c #Conflicts: 1081000 | #Constraints: 70104
2258.44/2275.57 c #Conflicts: 1082000 | #Constraints: 71104
2258.44/2275.57 c #Conflicts: 1083000 | #Constraints: 72106
2258.44/2275.57 c INPROCESSING
2258.44/2275.57 c GARBAGE COLLECT
2258.44/2275.57 c rational objective 7
2300.81/2318.16 c #Conflicts: 1084000 | #Constraints: 52498
2300.81/2318.16 c #Conflicts: 1085000 | #Constraints: 53498
2300.81/2318.16 c #Conflicts: 1086000 | #Constraints: 54501
2300.81/2318.16 c #Conflicts: 1087000 | #Constraints: 55501
2300.81/2318.16 c #Conflicts: 1088000 | #Constraints: 56502
2300.81/2318.16 c #Conflicts: 1089000 | #Constraints: 57504
2300.81/2318.16 c #Conflicts: 1090000 | #Constraints: 58505
2300.81/2318.16 c #Conflicts: 1091000 | #Constraints: 59506
2300.81/2318.16 c #Conflicts: 1092000 | #Constraints: 60507
2300.81/2318.16 c #Conflicts: 1093000 | #Constraints: 61507
2300.81/2318.16 c #Conflicts: 1094000 | #Constraints: 62508
2300.81/2318.16 c #Conflicts: 1095000 | #Constraints: 63509
2300.81/2318.16 c #Conflicts: 1096000 | #Constraints: 64509
2300.81/2318.16 c #Conflicts: 1097000 | #Constraints: 65509
2300.81/2318.16 c #Conflicts: 1098000 | #Constraints: 66510
2300.81/2318.16 c #Conflicts: 1099000 | #Constraints: 67510
2300.81/2318.16 c #Conflicts: 1100000 | #Constraints: 68511
2300.81/2318.16 c #Conflicts: 1101000 | #Constraints: 69511
2300.81/2318.16 c #Conflicts: 1102000 | #Constraints: 70512
2300.81/2318.16 c #Conflicts: 1103000 | #Constraints: 71513
2300.81/2318.16 c #Conflicts: 1104000 | #Constraints: 72513
2300.81/2318.16 c INPROCESSING
2300.81/2318.16 c GARBAGE COLLECT
2300.81/2318.16 c rational objective 7
2375.63/2393.43 c #Conflicts: 1105000 | #Constraints: 52652
2375.63/2393.43 c #Conflicts: 1106000 | #Constraints: 53655
2375.63/2393.43 c #Conflicts: 1107000 | #Constraints: 54658
2375.63/2393.43 c #Conflicts: 1108000 | #Constraints: 55659
2375.63/2393.43 c #Conflicts: 1109000 | #Constraints: 56660
2375.63/2393.43 c #Conflicts: 1110000 | #Constraints: 57661
2375.63/2393.43 c #Conflicts: 1111000 | #Constraints: 58661
2375.63/2393.43 c #Conflicts: 1112000 | #Constraints: 59662
2375.63/2393.43 c #Conflicts: 1113000 | #Constraints: 60662
2375.63/2393.43 c #Conflicts: 1114000 | #Constraints: 61662
2375.63/2393.43 c #Conflicts: 1115000 | #Constraints: 62662
2375.63/2393.43 c #Conflicts: 1116000 | #Constraints: 63662
2375.63/2393.43 c #Conflicts: 1117000 | #Constraints: 64662
2375.63/2393.43 c #Conflicts: 1118000 | #Constraints: 65662
2375.63/2393.43 c #Conflicts: 1119000 | #Constraints: 66662
2375.63/2393.43 c #Conflicts: 1120000 | #Constraints: 67662
2375.63/2393.43 c #Conflicts: 1121000 | #Constraints: 68662
2375.63/2393.43 c #Conflicts: 1122000 | #Constraints: 69662
2375.63/2393.43 c #Conflicts: 1123000 | #Constraints: 70662
2375.63/2393.43 c #Conflicts: 1124000 | #Constraints: 71663
2375.63/2393.43 c #Conflicts: 1125000 | #Constraints: 72663
2375.63/2393.43 c INPROCESSING
2375.63/2393.43 c GARBAGE COLLECT
2375.63/2393.43 c rational objective 7
2430.48/2448.76 c #Conflicts: 1126000 | #Constraints: 52629
2430.48/2448.76 c #Conflicts: 1127000 | #Constraints: 53629
2430.48/2448.76 c #Conflicts: 1128000 | #Constraints: 54630
2430.48/2448.76 c #Conflicts: 1129000 | #Constraints: 55630
2430.48/2448.76 c #Conflicts: 1130000 | #Constraints: 56631
2430.48/2448.76 c #Conflicts: 1131000 | #Constraints: 57633
2430.48/2448.76 c #Conflicts: 1132000 | #Constraints: 58636
2430.48/2448.76 c #Conflicts: 1133000 | #Constraints: 59637
2430.48/2448.76 c #Conflicts: 1134000 | #Constraints: 60639
2430.48/2448.76 c #Conflicts: 1135000 | #Constraints: 61640
2430.48/2448.76 c #Conflicts: 1136000 | #Constraints: 62642
2430.48/2448.76 c #Conflicts: 1137000 | #Constraints: 63643
2430.48/2448.76 c #Conflicts: 1138000 | #Constraints: 64644
2430.48/2448.76 c #Conflicts: 1139000 | #Constraints: 65646
2430.48/2448.76 c #Conflicts: 1140000 | #Constraints: 66647
2430.48/2448.76 c #Conflicts: 1141000 | #Constraints: 67649
2430.48/2448.76 c #Conflicts: 1142000 | #Constraints: 68650
2430.48/2448.76 c #Conflicts: 1143000 | #Constraints: 69651
2430.48/2448.76 c #Conflicts: 1144000 | #Constraints: 70651
2430.48/2448.76 c #Conflicts: 1145000 | #Constraints: 71652
2430.48/2448.76 c #Conflicts: 1146000 | #Constraints: 72653
2430.48/2448.76 c INPROCESSING
2430.48/2448.76 c GARBAGE COLLECT
2430.48/2448.76 c rational objective 7
2475.65/2494.13 c #Conflicts: 1147000 | #Constraints: 52430
2475.65/2494.13 c #Conflicts: 1148000 | #Constraints: 53430
2475.65/2494.13 c #Conflicts: 1149000 | #Constraints: 54431
2475.65/2494.13 c #Conflicts: 1150000 | #Constraints: 55434
2475.65/2494.13 c #Conflicts: 1151000 | #Constraints: 56436
2475.65/2494.13 c #Conflicts: 1152000 | #Constraints: 57438
2475.65/2494.13 c #Conflicts: 1153000 | #Constraints: 58441
2475.65/2494.13 c #Conflicts: 1154000 | #Constraints: 59441
2475.65/2494.13 c #Conflicts: 1155000 | #Constraints: 60442
2475.65/2494.13 c #Conflicts: 1156000 | #Constraints: 61443
2475.65/2494.13 c #Conflicts: 1157000 | #Constraints: 62447
2475.65/2494.13 c #Conflicts: 1158000 | #Constraints: 63448
2475.65/2494.13 c #Conflicts: 1159000 | #Constraints: 64449
2475.65/2494.13 c #Conflicts: 1160000 | #Constraints: 65450
2475.65/2494.13 c #Conflicts: 1161000 | #Constraints: 66451
2475.65/2494.13 c #Conflicts: 1162000 | #Constraints: 67454
2475.65/2494.13 c #Conflicts: 1163000 | #Constraints: 68454
2475.65/2494.13 c #Conflicts: 1164000 | #Constraints: 69455
2475.65/2494.13 c #Conflicts: 1165000 | #Constraints: 70457
2475.65/2494.13 c #Conflicts: 1166000 | #Constraints: 71460
2475.65/2494.13 c #Conflicts: 1167000 | #Constraints: 72462
2475.65/2494.13 c #Conflicts: 1168000 | #Constraints: 73464
2475.65/2494.13 c INPROCESSING
2475.65/2494.13 c GARBAGE COLLECT
2475.65/2494.13 c rational objective 7
2542.22/2561.02 c #Conflicts: 1169000 | #Constraints: 53031
2542.22/2561.02 c #Conflicts: 1170000 | #Constraints: 54031
2542.22/2561.02 c #Conflicts: 1171000 | #Constraints: 55032
2542.22/2561.02 c #Conflicts: 1172000 | #Constraints: 56045
2542.22/2561.02 c #Conflicts: 1173000 | #Constraints: 57055
2542.22/2561.02 c #Conflicts: 1174000 | #Constraints: 58059
2542.22/2561.02 c #Conflicts: 1175000 | #Constraints: 59063
2542.22/2561.02 c #Conflicts: 1176000 | #Constraints: 60067
2542.22/2561.02 c #Conflicts: 1177000 | #Constraints: 61070
2542.22/2561.02 c #Conflicts: 1178000 | #Constraints: 62072
2542.22/2561.02 c #Conflicts: 1179000 | #Constraints: 63074
2542.22/2561.02 c #Conflicts: 1180000 | #Constraints: 64075
2542.22/2561.02 c #Conflicts: 1181000 | #Constraints: 65077
2542.22/2561.02 c #Conflicts: 1182000 | #Constraints: 66079
2542.22/2561.02 c #Conflicts: 1183000 | #Constraints: 67080
2542.22/2561.02 c #Conflicts: 1184000 | #Constraints: 68083
2542.22/2561.02 c #Conflicts: 1185000 | #Constraints: 69085
2542.22/2561.02 c #Conflicts: 1186000 | #Constraints: 70086
2542.22/2561.02 c #Conflicts: 1187000 | #Constraints: 71089
2542.22/2561.02 c #Conflicts: 1188000 | #Constraints: 72091
2542.22/2561.02 c #Conflicts: 1189000 | #Constraints: 73094
2542.22/2561.02 c #Conflicts: 1190000 | #Constraints: 74097
2542.22/2561.02 c INPROCESSING
2542.22/2561.02 c GARBAGE COLLECT
2542.22/2561.02 c rational objective 7
2599.27/2618.47 c #Conflicts: 1191000 | #Constraints: 53423
2599.27/2618.47 c #Conflicts: 1192000 | #Constraints: 54425
2599.27/2618.47 c #Conflicts: 1193000 | #Constraints: 55428
2599.27/2618.47 c #Conflicts: 1194000 | #Constraints: 56432
2599.27/2618.47 c #Conflicts: 1195000 | #Constraints: 57434
2599.27/2618.47 c #Conflicts: 1196000 | #Constraints: 58434
2599.27/2618.47 c #Conflicts: 1197000 | #Constraints: 59435
2599.27/2618.47 c #Conflicts: 1198000 | #Constraints: 60437
2599.27/2618.47 c #Conflicts: 1199000 | #Constraints: 61438
2599.27/2618.47 c #Conflicts: 1200000 | #Constraints: 62441
2599.27/2618.47 c #Conflicts: 1201000 | #Constraints: 63443
2599.27/2618.47 c #Conflicts: 1202000 | #Constraints: 64445
2599.27/2618.47 c #Conflicts: 1203000 | #Constraints: 65448
2599.27/2618.47 c #Conflicts: 1204000 | #Constraints: 66450
2599.27/2618.47 c #Conflicts: 1205000 | #Constraints: 67453
2599.27/2618.47 c #Conflicts: 1206000 | #Constraints: 68455
2599.27/2618.47 c #Conflicts: 1207000 | #Constraints: 69456
2599.27/2618.47 c #Conflicts: 1208000 | #Constraints: 70457
2599.27/2618.47 c #Conflicts: 1209000 | #Constraints: 71457
2599.27/2618.47 c #Conflicts: 1210000 | #Constraints: 72458
2599.27/2618.47 c #Conflicts: 1211000 | #Constraints: 73459
2599.27/2618.47 c #Conflicts: 1212000 | #Constraints: 74461
2599.27/2618.47 c INPROCESSING
2599.27/2618.47 c GARBAGE COLLECT
2599.27/2618.47 c rational objective 7
2672.85/2692.36 c #Conflicts: 1213000 | #Constraints: 53600
2672.85/2692.36 c #Conflicts: 1214000 | #Constraints: 54600
2672.85/2692.36 c #Conflicts: 1215000 | #Constraints: 55601
2672.85/2692.36 c #Conflicts: 1216000 | #Constraints: 56601
2672.85/2692.36 c #Conflicts: 1217000 | #Constraints: 57602
2672.85/2692.36 c #Conflicts: 1218000 | #Constraints: 58602
2672.85/2692.36 c #Conflicts: 1219000 | #Constraints: 59603
2672.85/2692.36 c #Conflicts: 1220000 | #Constraints: 60603
2672.85/2692.36 c #Conflicts: 1221000 | #Constraints: 61603
2672.85/2692.36 c #Conflicts: 1222000 | #Constraints: 62603
2672.85/2692.36 c #Conflicts: 1223000 | #Constraints: 63603
2672.85/2692.36 c #Conflicts: 1224000 | #Constraints: 64603
2672.85/2692.36 c #Conflicts: 1225000 | #Constraints: 65603
2672.85/2692.36 c #Conflicts: 1226000 | #Constraints: 66603
2672.85/2692.36 c #Conflicts: 1227000 | #Constraints: 67603
2672.85/2692.36 c #Conflicts: 1228000 | #Constraints: 68603
2672.85/2692.36 c #Conflicts: 1229000 | #Constraints: 69603
2672.85/2692.36 c #Conflicts: 1230000 | #Constraints: 70604
2672.85/2692.36 c #Conflicts: 1231000 | #Constraints: 71604
2672.85/2692.36 c #Conflicts: 1232000 | #Constraints: 72604
2672.85/2692.36 c #Conflicts: 1233000 | #Constraints: 73604
2672.85/2692.36 c #Conflicts: 1234000 | #Constraints: 74604
2672.85/2692.36 c INPROCESSING
2672.85/2692.36 c GARBAGE COLLECT
2672.85/2692.36 c rational objective 7
2729.48/2749.39 c #Conflicts: 1235000 | #Constraints: 53584
2729.48/2749.39 c #Conflicts: 1236000 | #Constraints: 54585
2729.48/2749.39 c #Conflicts: 1237000 | #Constraints: 55585
2729.48/2749.39 c #Conflicts: 1238000 | #Constraints: 56587
2729.48/2749.39 c #Conflicts: 1239000 | #Constraints: 57589
2729.48/2749.39 c #Conflicts: 1240000 | #Constraints: 58594
2729.48/2749.39 c #Conflicts: 1241000 | #Constraints: 59598
2729.48/2749.39 c #Conflicts: 1242000 | #Constraints: 60603
2729.48/2749.39 c #Conflicts: 1243000 | #Constraints: 61608
2729.48/2749.39 c #Conflicts: 1244000 | #Constraints: 62609
2729.48/2749.39 c #Conflicts: 1245000 | #Constraints: 63610
2729.48/2749.39 c #Conflicts: 1246000 | #Constraints: 64612
2729.48/2749.39 c #Conflicts: 1247000 | #Constraints: 65614
2729.48/2749.39 c #Conflicts: 1248000 | #Constraints: 66619
2729.48/2749.39 c #Conflicts: 1249000 | #Constraints: 67620
2729.48/2749.39 c #Conflicts: 1250000 | #Constraints: 68621
2729.48/2749.39 c #Conflicts: 1251000 | #Constraints: 69623
2729.48/2749.39 c #Conflicts: 1252000 | #Constraints: 70625
2729.48/2749.39 c #Conflicts: 1253000 | #Constraints: 71629
2729.48/2749.39 c #Conflicts: 1254000 | #Constraints: 72634
2729.48/2749.39 c #Conflicts: 1255000 | #Constraints: 73636
2729.48/2749.39 c #Conflicts: 1256000 | #Constraints: 74640
2729.48/2749.39 c INPROCESSING
2729.48/2749.39 c GARBAGE COLLECT
2729.48/2749.39 c rational objective 7
2804.48/2824.72 c #Conflicts: 1257000 | #Constraints: 53404
2804.48/2824.72 c #Conflicts: 1258000 | #Constraints: 54405
2804.48/2824.72 c #Conflicts: 1259000 | #Constraints: 55411
2804.48/2824.72 c #Conflicts: 1260000 | #Constraints: 56416
2804.48/2824.72 c #Conflicts: 1261000 | #Constraints: 57418
2804.48/2824.72 c #Conflicts: 1262000 | #Constraints: 58421
2804.48/2824.72 c #Conflicts: 1263000 | #Constraints: 59424
2804.48/2824.72 c #Conflicts: 1264000 | #Constraints: 60428
2804.48/2824.72 c #Conflicts: 1265000 | #Constraints: 61430
2804.48/2824.72 c #Conflicts: 1266000 | #Constraints: 62435
2804.48/2824.72 c #Conflicts: 1267000 | #Constraints: 63437
2804.48/2824.72 c #Conflicts: 1268000 | #Constraints: 64440
2804.48/2824.72 c #Conflicts: 1269000 | #Constraints: 65441
2804.48/2824.72 c #Conflicts: 1270000 | #Constraints: 66442
2804.48/2824.72 c #Conflicts: 1271000 | #Constraints: 67449
2804.48/2824.72 c #Conflicts: 1272000 | #Constraints: 68451
2804.48/2824.72 c #Conflicts: 1273000 | #Constraints: 69452
2804.48/2824.72 c #Conflicts: 1274000 | #Constraints: 70454
2804.48/2824.72 c #Conflicts: 1275000 | #Constraints: 71456
2804.48/2824.72 c #Conflicts: 1276000 | #Constraints: 72457
2804.48/2824.72 c #Conflicts: 1277000 | #Constraints: 73458
2804.48/2824.72 c #Conflicts: 1278000 | #Constraints: 74460
2804.48/2824.72 c #Conflicts: 1279000 | #Constraints: 75461
2804.48/2824.72 c INPROCESSING
2804.48/2824.72 c GARBAGE COLLECT
2804.48/2824.72 c rational objective 7
2858.87/2879.54 c #Conflicts: 1280000 | #Constraints: 54016
2858.87/2879.54 c #Conflicts: 1281000 | #Constraints: 55016
2858.87/2879.54 c #Conflicts: 1282000 | #Constraints: 56016
2858.87/2879.54 c #Conflicts: 1283000 | #Constraints: 57019
2858.87/2879.54 c #Conflicts: 1284000 | #Constraints: 58021
2858.87/2879.54 c #Conflicts: 1285000 | #Constraints: 59022
2858.87/2879.54 c #Conflicts: 1286000 | #Constraints: 60026
2858.87/2879.54 c #Conflicts: 1287000 | #Constraints: 61031
2858.87/2879.54 c #Conflicts: 1288000 | #Constraints: 62034
2858.87/2879.54 c #Conflicts: 1289000 | #Constraints: 63037
2858.87/2879.54 c #Conflicts: 1290000 | #Constraints: 64040
2858.87/2879.54 c #Conflicts: 1291000 | #Constraints: 65041
2858.87/2879.54 c #Conflicts: 1292000 | #Constraints: 66044
2858.87/2879.54 c #Conflicts: 1293000 | #Constraints: 67048
2858.87/2879.54 c #Conflicts: 1294000 | #Constraints: 68053
2858.87/2879.54 c #Conflicts: 1295000 | #Constraints: 69055
2858.87/2879.54 c #Conflicts: 1296000 | #Constraints: 70057
2858.87/2879.54 c #Conflicts: 1297000 | #Constraints: 71059
2858.87/2879.54 c #Conflicts: 1298000 | #Constraints: 72063
2858.87/2879.54 c #Conflicts: 1299000 | #Constraints: 73063
2858.87/2879.54 c #Conflicts: 1300000 | #Constraints: 74064
2858.87/2879.54 c #Conflicts: 1301000 | #Constraints: 75065
2858.87/2879.54 c #Conflicts: 1302000 | #Constraints: 76066
2858.87/2879.54 c INPROCESSING
2858.87/2879.54 c GARBAGE COLLECT
2858.87/2879.54 c rational objective 7
2918.30/2939.34 c #Conflicts: 1303000 | #Constraints: 54428
2918.30/2939.34 c #Conflicts: 1304000 | #Constraints: 55429
2918.30/2939.34 c #Conflicts: 1305000 | #Constraints: 56430
2918.30/2939.34 c #Conflicts: 1306000 | #Constraints: 57432
2918.30/2939.34 c #Conflicts: 1307000 | #Constraints: 58435
2918.30/2939.34 c #Conflicts: 1308000 | #Constraints: 59440
2918.30/2939.34 c #Conflicts: 1309000 | #Constraints: 60446
2918.30/2939.34 c #Conflicts: 1310000 | #Constraints: 61448
2918.30/2939.34 c #Conflicts: 1311000 | #Constraints: 62450
2918.30/2939.34 c #Conflicts: 1312000 | #Constraints: 63452
2918.30/2939.34 c #Conflicts: 1313000 | #Constraints: 64455
2918.30/2939.34 c #Conflicts: 1314000 | #Constraints: 65458
2918.30/2939.34 c #Conflicts: 1315000 | #Constraints: 66459
2918.30/2939.34 c #Conflicts: 1316000 | #Constraints: 67466
2918.30/2939.34 c #Conflicts: 1317000 | #Constraints: 68472
2918.30/2939.34 c #Conflicts: 1318000 | #Constraints: 69473
2918.30/2939.34 c #Conflicts: 1319000 | #Constraints: 70476
2918.30/2939.34 c #Conflicts: 1320000 | #Constraints: 71476
2918.30/2939.34 c #Conflicts: 1321000 | #Constraints: 72481
2918.30/2939.34 c #Conflicts: 1322000 | #Constraints: 73482
2918.30/2939.34 c #Conflicts: 1323000 | #Constraints: 74483
2918.30/2939.34 c #Conflicts: 1324000 | #Constraints: 75484
2918.30/2939.34 c #Conflicts: 1325000 | #Constraints: 76487
2918.30/2939.34 c INPROCESSING
2918.30/2939.34 c GARBAGE COLLECT
2918.30/2939.34 c rational objective 7
2994.90/3016.88 c #Conflicts: 1326000 | #Constraints: 54659
2994.90/3016.88 c #Conflicts: 1327000 | #Constraints: 55661
2994.90/3016.88 c #Conflicts: 1328000 | #Constraints: 56664
2994.90/3016.88 c #Conflicts: 1329000 | #Constraints: 57665
2994.90/3016.88 c #Conflicts: 1330000 | #Constraints: 58669
2994.90/3016.88 c #Conflicts: 1331000 | #Constraints: 59670
2994.90/3016.88 c #Conflicts: 1332000 | #Constraints: 60671
2994.90/3016.88 c #Conflicts: 1333000 | #Constraints: 61671
2994.90/3016.88 c #Conflicts: 1334000 | #Constraints: 62673
2994.90/3016.88 c #Conflicts: 1335000 | #Constraints: 63675
2994.90/3016.88 c #Conflicts: 1336000 | #Constraints: 64678
2994.90/3016.88 c #Conflicts: 1337000 | #Constraints: 65678
2994.90/3016.88 c #Conflicts: 1338000 | #Constraints: 66679
2994.90/3016.88 c #Conflicts: 1339000 | #Constraints: 67681
2994.90/3016.88 c #Conflicts: 1340000 | #Constraints: 68681
2994.90/3016.88 c #Conflicts: 1341000 | #Constraints: 69870
2994.90/3016.88 c #Conflicts: 1342000 | #Constraints: 71425
2994.90/3016.88 c #Conflicts: 1343000 | #Constraints: 72973
2994.90/3016.88 c #Conflicts: 1344000 | #Constraints: 74506
2994.90/3016.88 c #Conflicts: 1345000 | #Constraints: 76043
2994.90/3016.88 c #Conflicts: 1346000 | #Constraints: 77538
2994.90/3016.88 c #Conflicts: 1347000 | #Constraints: 79040
2994.90/3016.88 c #Conflicts: 1348000 | #Constraints: 80575
2994.90/3016.88 c INPROCESSING
2994.90/3016.88 c GARBAGE COLLECT
2994.90/3016.88 c rational objective 7
3258.46/3282.03 c #Conflicts: 1349000 | #Constraints: 57039
3258.46/3282.03 c #Conflicts: 1350000 | #Constraints: 58088
3258.46/3282.03 c #Conflicts: 1351000 | #Constraints: 59584
3258.46/3282.03 c #Conflicts: 1352000 | #Constraints: 61105
3258.46/3282.03 c #Conflicts: 1353000 | #Constraints: 62652
3258.46/3282.03 c #Conflicts: 1354000 | #Constraints: 64177
3258.46/3282.03 c #Conflicts: 1355000 | #Constraints: 65695
3258.46/3282.03 c #Conflicts: 1356000 | #Constraints: 67197
3258.46/3282.03 c #Conflicts: 1357000 | #Constraints: 68694
3258.46/3282.03 c #Conflicts: 1358000 | #Constraints: 70180
3258.46/3282.03 c #Conflicts: 1359000 | #Constraints: 71722
3258.46/3282.03 c #Conflicts: 1360000 | #Constraints: 73262
3258.46/3282.03 c #Conflicts: 1361000 | #Constraints: 74595
3258.46/3282.03 c #Conflicts: 1362000 | #Constraints: 75953
3258.46/3282.03 c #Conflicts: 1363000 | #Constraints: 77518
3258.46/3282.03 c #Conflicts: 1364000 | #Constraints: 78919
3258.46/3282.03 c #Conflicts: 1365000 | #Constraints: 79951
3258.46/3282.03 c #Conflicts: 1366000 | #Constraints: 80951
3258.46/3282.03 c #Conflicts: 1367000 | #Constraints: 81952
3258.46/3282.03 c #Conflicts: 1368000 | #Constraints: 82952
3258.46/3282.03 c #Conflicts: 1369000 | #Constraints: 83952
3258.46/3282.03 c #Conflicts: 1370000 | #Constraints: 84952
3258.46/3282.03 c #Conflicts: 1371000 | #Constraints: 85952
3258.46/3282.03 c INPROCESSING
3258.46/3282.03 c GARBAGE COLLECT
3258.46/3282.03 c #Conflicts: 1372000 | #Constraints: 59044
3258.46/3282.03 c #Conflicts: 1373000 | #Constraints: 60044
3258.46/3282.03 c #Conflicts: 1374000 | #Constraints: 61044
3258.46/3282.03 c #Conflicts: 1375000 | #Constraints: 62044
3258.46/3282.03 c #Conflicts: 1376000 | #Constraints: 63044
3258.46/3282.03 c #Conflicts: 1377000 | #Constraints: 64044
3258.46/3282.03 c #Conflicts: 1378000 | #Constraints: 65044
3258.46/3282.03 c #Conflicts: 1379000 | #Constraints: 66047
3258.46/3282.03 c #Conflicts: 1380000 | #Constraints: 67055
3258.46/3282.03 c #Conflicts: 1381000 | #Constraints: 68057
3258.46/3282.03 c #Conflicts: 1382000 | #Constraints: 69059
3258.46/3282.03 c #Conflicts: 1383000 | #Constraints: 70066
3258.46/3282.03 c #Conflicts: 1384000 | #Constraints: 71066
3258.46/3282.03 c #Conflicts: 1385000 | #Constraints: 72066
3258.46/3282.03 c #Conflicts: 1386000 | #Constraints: 73069
3258.46/3282.03 c #Conflicts: 1387000 | #Constraints: 74069
3258.46/3282.03 c #Conflicts: 1388000 | #Constraints: 75069
3258.46/3282.03 c #Conflicts: 1389000 | #Constraints: 76069
3258.46/3282.03 c #Conflicts: 1390000 | #Constraints: 77069
3258.46/3282.03 c #Conflicts: 1391000 | #Constraints: 78081
3258.46/3282.03 c #Conflicts: 1392000 | #Constraints: 79081
3258.46/3282.03 c #Conflicts: 1393000 | #Constraints: 80095
3258.46/3282.03 c #Conflicts: 1394000 | #Constraints: 81104
3258.46/3282.03 c #Conflicts: 1395000 | #Constraints: 82110
3258.46/3282.03 c INPROCESSING
3258.46/3282.03 c GARBAGE COLLECT
3258.46/3282.03 c rational objective 7
3299.03/3322.83 c #Conflicts: 1396000 | #Constraints: 57365
3299.03/3322.83 c #Conflicts: 1397000 | #Constraints: 58366
3299.03/3322.83 c #Conflicts: 1398000 | #Constraints: 59366
3299.03/3322.83 c #Conflicts: 1399000 | #Constraints: 60366
3299.03/3322.83 c #Conflicts: 1400000 | #Constraints: 61369
3299.03/3322.83 c #Conflicts: 1401000 | #Constraints: 62372
3299.03/3322.83 c #Conflicts: 1402000 | #Constraints: 63373
3299.03/3322.83 c #Conflicts: 1403000 | #Constraints: 64374
3299.03/3322.83 c #Conflicts: 1404000 | #Constraints: 65375
3299.03/3322.83 c #Conflicts: 1405000 | #Constraints: 66375
3299.03/3322.83 c #Conflicts: 1406000 | #Constraints: 67376
3299.03/3322.83 c #Conflicts: 1407000 | #Constraints: 68377
3299.03/3322.83 c #Conflicts: 1408000 | #Constraints: 69378
3299.03/3322.83 c #Conflicts: 1409000 | #Constraints: 70381
3299.03/3322.83 c #Conflicts: 1410000 | #Constraints: 71383
3299.03/3322.83 c #Conflicts: 1411000 | #Constraints: 72385
3299.03/3322.83 c #Conflicts: 1412000 | #Constraints: 73386
3299.03/3322.83 c #Conflicts: 1413000 | #Constraints: 74387
3299.03/3322.83 c #Conflicts: 1414000 | #Constraints: 75387
3299.03/3322.83 c #Conflicts: 1415000 | #Constraints: 76389
3299.03/3322.83 c #Conflicts: 1416000 | #Constraints: 77390
3299.03/3322.83 c #Conflicts: 1417000 | #Constraints: 78390
3299.03/3322.83 c #Conflicts: 1418000 | #Constraints: 79391
3299.03/3322.83 c #Conflicts: 1419000 | #Constraints: 80391
3299.03/3322.83 c INPROCESSING
3299.03/3322.83 c GARBAGE COLLECT
3299.03/3322.83 c rational objective 7
3361.29/3385.47 c #Conflicts: 1420000 | #Constraints: 56602
3361.29/3385.47 c #Conflicts: 1421000 | #Constraints: 57602
3361.29/3385.47 c #Conflicts: 1422000 | #Constraints: 58607
3361.29/3385.47 c #Conflicts: 1423000 | #Constraints: 59611
3361.29/3385.47 c #Conflicts: 1424000 | #Constraints: 60612
3361.29/3385.47 c #Conflicts: 1425000 | #Constraints: 61615
3361.29/3385.47 c #Conflicts: 1426000 | #Constraints: 62620
3361.29/3385.47 c #Conflicts: 1427000 | #Constraints: 63622
3361.29/3385.47 c #Conflicts: 1428000 | #Constraints: 64626
3361.29/3385.47 c #Conflicts: 1429000 | #Constraints: 65629
3361.29/3385.47 c #Conflicts: 1430000 | #Constraints: 66634
3361.29/3385.47 c #Conflicts: 1431000 | #Constraints: 67635
3361.29/3385.47 c #Conflicts: 1432000 | #Constraints: 68638
3361.29/3385.47 c #Conflicts: 1433000 | #Constraints: 69640
3361.29/3385.47 c #Conflicts: 1434000 | #Constraints: 70641
3361.29/3385.47 c #Conflicts: 1435000 | #Constraints: 71642
3361.29/3385.47 c #Conflicts: 1436000 | #Constraints: 72642
3361.29/3385.47 c #Conflicts: 1437000 | #Constraints: 73642
3361.29/3385.47 c #Conflicts: 1438000 | #Constraints: 74642
3361.29/3385.47 c #Conflicts: 1439000 | #Constraints: 75643
3361.29/3385.47 c #Conflicts: 1440000 | #Constraints: 76644
3361.29/3385.47 c #Conflicts: 1441000 | #Constraints: 77645
3361.29/3385.47 c #Conflicts: 1442000 | #Constraints: 78647
3361.29/3385.47 c #Conflicts: 1443000 | #Constraints: 79650
3361.29/3385.47 c INPROCESSING
3361.29/3385.47 c GARBAGE COLLECT
3361.29/3385.47 c rational objective 7
3462.55/3487.26 c #Conflicts: 1444000 | #Constraints: 56211
3462.55/3487.26 c #Conflicts: 1445000 | #Constraints: 57213
3462.55/3487.26 c #Conflicts: 1446000 | #Constraints: 58215
3462.55/3487.26 c #Conflicts: 1447000 | #Constraints: 59216
3462.55/3487.26 c #Conflicts: 1448000 | #Constraints: 60217
3462.55/3487.26 c #Conflicts: 1449000 | #Constraints: 61218
3462.55/3487.26 c #Conflicts: 1450000 | #Constraints: 62219
3462.55/3487.26 c #Conflicts: 1451000 | #Constraints: 63221
3462.55/3487.26 c #Conflicts: 1452000 | #Constraints: 64223
3462.55/3487.26 c #Conflicts: 1453000 | #Constraints: 65223
3462.55/3487.26 c #Conflicts: 1454000 | #Constraints: 66225
3462.55/3487.26 c #Conflicts: 1455000 | #Constraints: 67226
3462.55/3487.26 c #Conflicts: 1456000 | #Constraints: 68227
3462.55/3487.26 c #Conflicts: 1457000 | #Constraints: 69230
3462.55/3487.26 c #Conflicts: 1458000 | #Constraints: 70231
3462.55/3487.26 c #Conflicts: 1459000 | #Constraints: 71232
3462.55/3487.26 c #Conflicts: 1460000 | #Constraints: 72233
3462.55/3487.26 c #Conflicts: 1461000 | #Constraints: 73234
3462.55/3487.26 c #Conflicts: 1462000 | #Constraints: 74235
3462.55/3487.26 c #Conflicts: 1463000 | #Constraints: 75236
3462.55/3487.26 c #Conflicts: 1464000 | #Constraints: 76238
3462.55/3487.26 c #Conflicts: 1465000 | #Constraints: 77239
3462.55/3487.26 c #Conflicts: 1466000 | #Constraints: 78240
3462.55/3487.26 c #Conflicts: 1467000 | #Constraints: 79241
3462.55/3487.26 c INPROCESSING
3462.55/3487.26 c GARBAGE COLLECT
3462.55/3487.26 c rational objective 7
3543.86/3569.05 c #Conflicts: 1468000 | #Constraints: 55911
3543.86/3569.05 c #Conflicts: 1469000 | #Constraints: 56912
3543.86/3569.05 c #Conflicts: 1470000 | #Constraints: 57916
3543.86/3569.05 c #Conflicts: 1471000 | #Constraints: 58921
3543.86/3569.05 c #Conflicts: 1472000 | #Constraints: 59922
3543.86/3569.05 c #Conflicts: 1473000 | #Constraints: 60928
3543.86/3569.05 c #Conflicts: 1474000 | #Constraints: 61930
3543.86/3569.05 c #Conflicts: 1475000 | #Constraints: 62932
3543.86/3569.05 c #Conflicts: 1476000 | #Constraints: 63935
3543.86/3569.05 c #Conflicts: 1477000 | #Constraints: 64938
3543.86/3569.05 c #Conflicts: 1478000 | #Constraints: 65941
3543.86/3569.05 c #Conflicts: 1479000 | #Constraints: 66945
3543.86/3569.05 c #Conflicts: 1480000 | #Constraints: 67949
3543.86/3569.05 c #Conflicts: 1481000 | #Constraints: 68952
3543.86/3569.05 c #Conflicts: 1482000 | #Constraints: 69957
3543.86/3569.05 c #Conflicts: 1483000 | #Constraints: 70960
3543.86/3569.05 c #Conflicts: 1484000 | #Constraints: 71961
3543.86/3569.05 c #Conflicts: 1485000 | #Constraints: 72963
3543.86/3569.05 c #Conflicts: 1486000 | #Constraints: 73965
3543.86/3569.05 c #Conflicts: 1487000 | #Constraints: 74968
3543.86/3569.05 c #Conflicts: 1488000 | #Constraints: 75968
3543.86/3569.05 c #Conflicts: 1489000 | #Constraints: 76970
3543.86/3569.05 c #Conflicts: 1490000 | #Constraints: 77973
3543.86/3569.05 c #Conflicts: 1491000 | #Constraints: 78974
3543.86/3569.05 c INPROCESSING
3543.86/3569.05 c GARBAGE COLLECT
3543.86/3569.05 c rational objective 7
3600.08/3625.80 c #Conflicts: 1492000 | #Constraints: 55579
3600.08/3625.80 c #Conflicts: 1493000 | #Constraints: 56579
3600.08/3625.80 c #Conflicts: 1494000 | #Constraints: 57580
3600.08/3625.80 c #Conflicts: 1495000 | #Constraints: 58581
3600.08/3625.80 c #Conflicts: 1496000 | #Constraints: 59582
3600.08/3625.80 c #Conflicts: 1497000 | #Constraints: 60584
3600.08/3625.80 c #Conflicts: 1498000 | #Constraints: 61584
3600.08/3625.80 c #Conflicts: 1499000 | #Constraints: 62584
3600.08/3625.80 c #Conflicts: 1500000 | #Constraints: 63586
3600.08/3625.80 c #Conflicts: 1501000 | #Constraints: 64588
3600.08/3625.80 c #Conflicts: 1502000 | #Constraints: 65591
3600.08/3625.80 c #Conflicts: 1503000 | #Constraints: 66595
3600.08/3625.80 c #Conflicts: 1504000 | #Constraints: 67598
3600.08/3625.80 c #Conflicts: 1505000 | #Constraints: 68603
3600.08/3625.80 c #Conflicts: 1506000 | #Constraints: 69606
3600.08/3625.80 c #Conflicts: 1507000 | #Constraints: 70609
3600.08/3625.80 c #Conflicts: 1508000 | #Constraints: 71611
3600.08/3625.80 c #Conflicts: 1509000 | #Constraints: 72613
3600.08/3625.80 c #Conflicts: 1510000 | #Constraints: 73614
3600.08/3625.80 c cpu time 3564.01 s
3600.08/3625.80 c deterministic time 304719124072 3.05e+11
3600.08/3625.80 c optimization time 55.6481 s
3600.08/3625.80 c total solve time 3508.12 s
3600.08/3625.80 c core-guided solve time 1763.66 s
3600.08/3625.80 c propagation time 2257.86 s
3600.08/3625.80 c conflict analysis time 963.897 s
3600.08/3625.80 c propagations 528450908
3600.08/3625.80 c resolve steps 11026456
3600.08/3625.80 c decisions 9158777
3600.08/3625.80 c conflicts 1510283
3600.08/3625.80 c restarts 2961
3600.08/3625.80 c inprocessing phases 113
3600.08/3625.80 c garbage collections 113 ,( 100.00 )
3600.08/3625.80 c input clauses 36171 ,( 98.57 )
3600.08/3625.80 c input cardinalities 76 ,( 0.21 )
3600.08/3625.80 c input general constraints 448 ,( 1.22 )
3600.08/3625.80 c input average constraint length 3.99
3600.08/3625.80 c input average constraint degree 11.66
3600.08/3625.80 c learned clauses 179361 ,( 11.76 )
3600.08/3625.80 c learned cardinalities 12069 ,( 0.79 )
3600.08/3625.80 c learned general constraints 1333294 ,( 87.44 )
3600.08/3625.80 c learned average constraint length 832.05
3600.08/3625.80 c learned average constraint degree 5911381882.63
3600.08/3625.80 c watched CF 32, 64, 128, Arb: 510301 , 0 , 0 , 0
3600.08/3625.80 c counting CF 32, 64, 128, Arb: 823442 , 0 , 0 , 0
3600.08/3625.80 c watched constraints 510301 ,( 38.26 )
3600.08/3625.80 c counting constraints 823441 ,( 61.74 )
3600.08/3625.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 150513647 , 47107548 , 2773307706 ,( 361765140 , 2411542566 )
3600.08/3625.80 c gcd simplifications 115356
3600.08/3625.80 c detected cardinalities 352
3600.08/3625.80 c weakened non-implied lits 307880003
3600.08/3625.80 c weakened non-implying lits 1006467
3600.08/3625.80 c original variables 15310
3600.08/3625.80 c clausal propagations 119138948
3600.08/3625.80 c cardinality propagations 34520016
3600.08/3625.80 c watched propagations 3030733
3600.08/3625.80 c counting propagations 360895781
3600.08/3625.80 c watch lookups 157095943099
3600.08/3625.80 c watch backjump lookups 0
3600.08/3625.80 c watch checks 59999144410
3600.08/3625.80 c propagation checks 82605030505
3600.08/3625.80 c constraint additions 3940582990
3600.08/3625.80 c trail pops 539111633
3600.08/3625.80 c formula constraints 36695
3600.08/3625.80 c learned constraints 1507665
3600.08/3625.80 c bound constraints 0
3600.08/3625.80 c core-guided constraints 0
3600.08/3625.80 c encountered formula constraints 7247808
3600.08/3625.80 c encountered learned constraints 4827705
3600.08/3625.80 c encountered bound constraints 0
3600.08/3625.80 c encountered core-guided constraints 0
3600.08/3625.80 c LP total time 750.348 s
3600.08/3625.80 c LP solve time 674.55 s
3600.08/3625.80 c LP constraints added 38606
3600.08/3625.80 c LP constraints removed 1900
3600.08/3625.80 c LP pivots internal 1511021
3600.08/3625.80 c LP pivots root 190728
3600.08/3625.80 c LP calls 14962
3600.08/3625.80 c LP optimalities 951
3600.08/3625.80 c LP no pivot count 103
3600.08/3625.80 c LP infeasibilities 14006
3600.08/3625.80 c LP valid Farkas constraints 14004
3600.08/3625.80 c LP learned Farkas constraints 2618
3600.08/3625.80 c LP basis resets 2
3600.08/3625.80 c LP cycling count 0
3600.08/3625.80 c LP singular count 0
3600.08/3625.80 c LP no primal count 0
3600.08/3625.80 c LP no farkas count 2
3600.08/3625.80 c LP other issue count 0
3600.08/3625.80 c LP Gomory cuts 437
3600.08/3625.80 c LP learned cuts 1474
3600.08/3625.80 c LP deleted cuts 1900
3600.08/3625.80 c LP encountered Gomory constraints 16585
3600.08/3625.80 c LP encountered Farkas constraints 404231
3600.08/3625.80 c LP encountered learned Farkas constraints 37792
3600.08/3625.80 c CG auxiliary variables introduced 0
3600.08/3625.80 c CG solutions found 0
3600.08/3625.80 c CG cores constructed 0
3600.08/3625.80 c CG core cardinality constraints returned 0
3600.08/3625.80 c CG unit cores 0
3600.08/3625.80 c CG single cores 0
3600.08/3625.80 c CG blocks removed during cardinality reduction 0
3600.08/3625.80 c CG first core best 0
3600.08/3625.80 c CG decision core best 0
3600.08/3625.80 c CG core reduction tie 0
3600.08/3625.80 c CG core degree average 0.00
3600.08/3625.80 c CG core slack average 0.00
3600.08/3625.80 c CG core upper bound improvements 0
3600.08/3625.80 c STR number of successful calls 0
3600.08/3625.80 c STR number of unsuccessful calls 0
3600.08/3625.80 c STR number of inconclusive calls 0
3600.08/3625.80 c STR number of successful attempts 0
3600.08/3625.80 c STR number of unsuccessful attempts 0
3600.08/3625.80 c STR number of inconclusive attempts 0
3600.08/3625.80 c STR average degree increase per successful call inf
3600.08/3625.80 c STR average degree increase per successful attempt inf
3600.08/3625.80 c STR total number of conflicts for successful attempts 0
3600.08/3625.80 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3625.80 c STR total number of conflicts for inconclusive attempts 0
3600.08/3625.80 c STR average number of conflicts per successful attempt inf
3600.08/3625.80 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3625.80 c STR average number of conflicts per inconclusive attempt inf
3600.08/3625.80 c AVG.sumWPerc 50.05
3600.08/3625.80 c bigint constraints 0
3600.08/3625.80 s UNKNOWN
3600.08/3625.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63037 MiB free)
memory of node 1: 64507 MiB (64030 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499307-1751410769/watcher-4499307-1751410769 -o /tmp/evaluation-result-4499307-1751410769/solver-4499307-1751410769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57040 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499307-1751410769.opb PROOFDIR/proof-4499307-1751410769
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57097, runsolver pid=57081
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 0.67 1.08 1.91 7/259 57101
/proc/meminfo: memFree=130108492/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57101] ppid=57097 vsize=20828 memory=11444 CPUtime=0.08 cores=1,3
/proc/57101/stat : 57101 (pbsuma) R 57097 57097 57001 0 -1 4194304 2638 0 0 0 7 1 0 0 20 0 1 0 56755854 21327872 2861 18446744073709551615 4210688 4653049 140727736739936 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36843520 140727736744163 140727736744498 140727736744498 140727736750063 0
/proc/57101/statm: 5207 2861 992 108 0 2615 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 25020 KiB
Current children cumulated memory: 14388 KiB
[startup+0.213218 s]*
/proc/loadavg: 0.67 1.08 1.91 8/259 57102
/proc/meminfo: memFree=130104004/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57101] ppid=57097 vsize=21880 memory=12852 CPUtime=0.19 cores=1,3
/proc/57101/stat : 57101 (pbsuma) R 57097 57097 57001 0 -1 4194304 3003 0 0 0 18 1 0 0 20 0 1 0 56755854 22405120 3213 18446744073709551615 4210688 4653049 140727736739936 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36843520 140727736744163 140727736744498 140727736744498 140727736750063 0
/proc/57101/statm: 5470 3213 992 108 0 2878 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26072 KiB
Current children cumulated memory: 15796 KiB
[startup+0.313418 s]*
/proc/loadavg: 0.67 1.08 1.91 7/259 57102
/proc/meminfo: memFree=130090724/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57101] ppid=57097 vsize=28156 memory=18160 CPUtime=0.3 cores=1,3
/proc/57101/stat : 57101 (pbsuma) R 57097 57097 57001 0 -1 4194304 4540 0 0 0 28 2 0 0 20 0 1 0 56755854 28831744 4540 18446744073709551615 4210688 4653049 140727736739936 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36843520 140727736744163 140727736744498 140727736744498 140727736750063 0
/proc/57101/statm: 7039 4540 992 108 0 4447 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32348 KiB
Current children cumulated memory: 21104 KiB
[startup+0.700313 s]
/proc/loadavg: 0.67 1.08 1.91 7/259 57102
/proc/meminfo: memFree=130066968/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57101] ppid=57097 vsize=23900 memory=15136 CPUtime=0.67 cores=1,3
/proc/57101/stat : 57101 (pbsuma) R 57097 57097 57001 0 -1 4194304 4606 0 0 0 65 2 0 0 20 0 1 0 56755854 24473600 3784 18446744073709551615 4210688 4653049 140727736739936 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36843520 140727736744163 140727736744498 140727736744498 140727736750063 0
/proc/57101/statm: 5975 3784 992 108 0 3383 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 28092 KiB
Current children cumulated memory: 18080 KiB
[startup+1.50046 s]
/proc/loadavg: 0.67 1.08 1.91 7/259 57103
/proc/meminfo: memFree=130026484/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.10845 s]
/proc/loadavg: 0.67 1.08 1.91 6/254 57113
/proc/meminfo: memFree=129789280/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=137944 memory=81748 CPUtime=1.63 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 14395 0 0 0 150 13 0 0 20 0 1 0 56755996 141254656 20437 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 34486 20437 2432 1147 0 21913 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 142136 KiB
Current children cumulated memory: 84692 KiB
[startup+6.30034 s]
/proc/loadavg: 0.94 1.13 1.92 5/253 57142
/proc/meminfo: memFree=129669612/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=161780 memory=103628 CPUtime=4.81 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 18327 0 0 0 460 21 0 0 20 0 1 0 56755996 165662720 25907 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 40445 25907 2432 1147 0 27872 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 165972 KiB
Current children cumulated memory: 106572 KiB
[startup+12.7003 s]
/proc/loadavg: 1.18 1.18 1.93 5/253 57142
/proc/meminfo: memFree=129418680/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=229076 memory=158368 CPUtime=11.19 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 30547 0 0 0 1083 36 0 0 20 0 1 0 56755996 234573824 39592 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 57269 39592 2432 1147 0 44696 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 233268 KiB
Current children cumulated memory: 161312 KiB
[startup+25.5004 s]
/proc/loadavg: 1.46 1.24 1.94 5/248 57169
/proc/meminfo: memFree=129290628/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=246412 memory=179308 CPUtime=23.95 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 35405 0 0 0 2334 61 0 0 20 0 1 0 56755996 252325888 44827 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 61603 44827 2432 1147 0 49030 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 250604 KiB
Current children cumulated memory: 182252 KiB
[startup+51.105 s]
/proc/loadavg: 1.79 1.34 1.95 4/251 57185
/proc/meminfo: memFree=129096036/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=310212 memory=235824 CPUtime=49.26 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 45995 0 0 0 4820 106 0 0 20 0 1 0 56755996 317657088 58956 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 77553 58956 2432 1147 0 64980 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 314404 KiB
Current children cumulated memory: 238768 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.46 1.96 4/250 57201
/proc/meminfo: memFree=128447704/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=373712 memory=297968 CPUtime=99.94 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 59092 0 0 0 9808 186 0 0 20 0 1 0 56755996 382681088 74492 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 93428 74492 2432 1147 0 80855 0
Current children cumulated CPU time: 101.3 s
Current children cumulated vsize: 377904 KiB
Current children cumulated memory: 300912 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 1.59 1.98 4/250 57203
/proc/meminfo: memFree=127693316/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=465928 memory=354468 CPUtime=159.48 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 72662 0 0 0 15677 271 0 0 20 0 1 0 56755996 477110272 88617 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 116482 88617 2432 1147 0 103909 0
Current children cumulated CPU time: 160.84 s
Current children cumulated vsize: 470120 KiB
Current children cumulated memory: 357412 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 1.68 1.99 4/250 57206
/proc/meminfo: memFree=127072876/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=491636 memory=393744 CPUtime=218.99 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 79413 0 0 0 21550 349 0 0 20 0 1 0 56755996 503435264 98436 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 122909 98436 2432 1147 0 110336 0
Current children cumulated CPU time: 220.35 s
Current children cumulated vsize: 495828 KiB
Current children cumulated memory: 396688 KiB
################
# More data... #
################
/proc/57104/statm: 490699 459083 2528 1147 0 478126 0
Current children cumulated CPU time: 3020.23 s
Current children cumulated vsize: 1966988 KiB
Current children cumulated memory: 1839276 KiB
[startup+3102.3 s]
/proc/loadavg: 2.05 2.08 2.07 4/251 57363
/proc/meminfo: memFree=105035496/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1962796 memory=1836332 CPUtime=3078.29 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 304175 0 0 0 304700 3129 0 0 20 0 1 0 56755996 2009903104 459083 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 490699 459083 2528 1147 0 478126 0
Current children cumulated CPU time: 3079.65 s
Current children cumulated vsize: 1966988 KiB
Current children cumulated memory: 1839276 KiB
[startup+3162.3 s]
/proc/loadavg: 2.06 2.08 2.07 4/251 57365
/proc/meminfo: memFree=104868012/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1967732 memory=1840240 CPUtime=3137.86 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 304661 0 0 0 310633 3153 0 0 20 0 1 0 56755996 2014957568 460060 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 491933 460060 2528 1147 0 479360 0
Current children cumulated CPU time: 3139.22 s
Current children cumulated vsize: 1971924 KiB
Current children cumulated memory: 1843184 KiB
[startup+3222.3 s]
/proc/loadavg: 2.20 2.11 2.09 4/252 57368
/proc/meminfo: memFree=104594056/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1967732 memory=1840240 CPUtime=3197.58 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 304661 0 0 0 316566 3192 0 0 20 0 1 0 56755996 2014957568 460060 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 491933 460060 2528 1147 0 479360 0
Current children cumulated CPU time: 3198.94 s
Current children cumulated vsize: 1971924 KiB
Current children cumulated memory: 1843184 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/245 57370
/proc/meminfo: memFree=104513516/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1967732 memory=1840240 CPUtime=3257.39 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 304672 0 0 0 322534 3205 0 0 20 0 1 0 56755996 2014957568 460060 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 491933 460060 2528 1147 0 479360 0
Current children cumulated CPU time: 3258.75 s
Current children cumulated vsize: 1971924 KiB
Current children cumulated memory: 1843184 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.10 2.09 4/247 57376
/proc/meminfo: memFree=104058536/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1972360 memory=1844876 CPUtime=3317.11 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 305374 0 0 0 328438 3273 0 0 20 0 1 0 56755996 2019696640 461219 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 493090 461219 2528 1147 0 480517 0
Current children cumulated CPU time: 3318.47 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1847820 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.09 2.09 4/250 57382
/proc/meminfo: memFree=103728888/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1972360 memory=1844876 CPUtime=3376.78 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 305383 0 0 0 334357 3321 0 0 20 0 1 0 56755996 2019696640 461219 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 493090 461219 2528 1147 0 480517 0
Current children cumulated CPU time: 3378.14 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1847820 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 2.12 2.09 4/252 57386
/proc/meminfo: memFree=103452732/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1972360 memory=1844876 CPUtime=3436.4 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 305406 0 0 0 340282 3358 0 0 20 0 1 0 56755996 2019696640 461219 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 493090 461219 2528 1147 0 480517 0
Current children cumulated CPU time: 3437.76 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1847820 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.11 2.09 4/252 57393
/proc/meminfo: memFree=103167416/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1972360 memory=1844876 CPUtime=3496.12 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 305514 0 0 0 346207 3405 0 0 20 0 1 0 56755996 2019696640 461219 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 493090 461219 2528 1147 0 480517 0
Current children cumulated CPU time: 3497.48 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1847820 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.10 2.09 4/252 57395
/proc/meminfo: memFree=102932048/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1972360 memory=1844876 CPUtime=3555.68 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 305514 0 0 0 352126 3442 0 0 20 0 1 0 56755996 2019696640 461219 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 493090 461219 2528 1147 0 480517 0
Current children cumulated CPU time: 3557.04 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1847820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3625.8 s]
/proc/loadavg: 2.10 2.10 2.09 3/252 57396
/proc/meminfo: memFree=102709788/131382112 swapFree=33009904/33010684
[pid=57097] ppid=57081 vsize=4192 memory=2944 CPUtime=1.36 cores=1,3
/proc/57097/stat : 57097 (run-opt-ls-log.) S 57081 57097 57001 0 -1 4194304 241 7406 0 0 0 0 130 6 20 0 1 0 56755853 4292608 736 18446744073709551615 94669862170624 94669863065157 140722790390048 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94669863304208 94669863351952 94669880291328 140722790398235 140722790398433 140722790398433 140722790404035 0
/proc/57097/statm: 1048 736 672 219 0 110 0
[pid=57104] ppid=57097 vsize=1972360 memory=1844876 CPUtime=3598.72 cores=1,3
/proc/57104/stat : 57104 (roundingsat) R 57097 57097 57001 0 -1 4194304 305514 0 0 0 356401 3471 0 0 20 0 1 0 56755996 2019696640 461219 18446744073709551615 4227072 8923433 140736197216928 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 21250048 140736197224694 140736197225000 140736197225000 140736197230570 0
/proc/57104/statm: 493090 461219 2528 1147 0 480517 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1847820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3625.81 s]
# the end of solver process 57097 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.30634 s, system=0.067993 s
[startup+3625.83 s]
# the end of solver process 57104 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.33 s, system=34.7923 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
Child status: 2
Real time (s): 3625.83
CPU time (s): 3600.13
CPU user time (s): 3565.33
CPU system time (s): 34.7923
CPU usage (%): 99.2909
Max. virtual memory (cumulated for all children) (KiB): 1976552
Max. memory (cumulated for all children) (KiB): 1847820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.33
system time used= 34.7923
maximum resident set size= 1845004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313179
page faults= 0
swaps= 0
block input operations= 8
block output operations= 31807280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1720
involuntary context switches= 14315
# summary of solver processes directly reported to runsolver:
# pid: 57097,57104
# total CPU time (s): 3600.13
# total CPU user time (s): 3565.33
# total CPU system time (s): 34.7923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0482 second user time and 32.1802 second system time
The end
Begin job on nodeC001 at 2025-07-02 00:59:30
IDJOB=4499307
IDBENCH=148775
IDSOLVER=3356
FILE ID=nodeC001/4499307-1751410769
RUNJOBID= nodeC001-1751410769-57040
SLURM_JOB_ID= 9598319
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499307-1751410769/watcher-4499307-1751410769 -o /tmp/evaluation-result-4499307-1751410769/solver-4499307-1751410769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57040 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499307-1751410769.opb PROOFDIR/proof-4499307-1751410769
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=424743223
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.861
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.167
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.150
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.098
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130118488 kB
MemAvailable: 129950980 kB
Buffers: 1668 kB
Cached: 628936 kB
SwapCached: 20 kB
Active: 370936 kB
Inactive: 325316 kB
Active(anon): 60920 kB
Inactive(anon): 22624 kB
Active(file): 310016 kB
Inactive(file): 302692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30044 kB
Writeback: 28 kB
AnonPages: 68956 kB
Mapped: 102592 kB
Shmem: 17896 kB
KReclaimable: 118440 kB
Slab: 201848 kB
SReclaimable: 118440 kB
SUnreclaim: 83408 kB
KernelStack: 3920 kB
PageTables: 2700 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC001 at 2025-07-02 01:59:56