0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532458-1752588307.opb'
0.00/0.05 c read 0.94MB (37.04ms)
0.00/0.05 c [cnf: #variables 8901 #clauses 32282 #duplicates 17 #arr 82624]
0.00/0.06 c output proof to 'PROOFDIR/proof-4532458-1752588307'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.11 c [group: #orbits ~= 2] (53.99ms)
0.00/0.11 c
0.00/0.11 c detect special group actions
0.00/0.11 c probe for Johnson action (limit=64)
0.00/0.12 c probe for row-column symmetry (limit=64, splits=16.78M)
0.07/0.12 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.12 c found row 5x2, generating row predicate
0.07/0.12 c (6.12ms)
0.07/0.12 c
0.07/0.12 c detect symmetries on remainder
0.07/0.12 c [graph: #vertices 67901 #edges 218684]
0.07/0.12 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.13 c [group: #symmetries 1.00*10^0 #generators 0] (13.78ms)
0.07/0.13 c
0.07/0.13 c finalize break order and special generators
0.07/0.14 c
0.07/0.14 c generation finished
0.07/0.14 c [sbp: #constraints 4 #add_vars 0]
0.07/0.14 c
0.07/0.14 c write result to 'HOME/instance-4532458-1752588307.opb.pre'
0.07/0.14 c wrote 0.96MB (6.19ms)
0.07/0.14 c ------------------------------------------------------------------
0.07/0.14 c 53.99ms 41.95% approx_orbits
0.07/0.14 c 37.04ms 28.78% parse
0.07/0.14 c 13.78ms 10.71% detect_generic
0.07/0.14 c 10.69ms 8.31% other
0.07/0.14 c 6.19ms 4.81% output
0.07/0.14 c 6.12ms 4.75% detect_special
0.07/0.14 c 0.90ms 0.70% finalize_order
0.07/0.14 c ───────────────────────────────────────────────
0.07/0.14 c 128.70ms 100% total
0.07/0.14 c ------------------------------------------------------------------
0.07/0.17 c RoundingSat 2
0.07/0.17 c branch pb25
0.07/0.17 c commit 0f876b3
0.53/0.66 c #variables 8901 #constraints 32281
0.53/0.66 c objective is ce32
0.53/0.66 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.53/0.66 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.53/0.66 c bounds - >= 0 @ 0.397324
3.61/3.75 c #Conflicts: 1000 | #Constraints: 33280
3.61/3.75 c #Conflicts: 2000 | #Constraints: 34280
3.61/3.75 c INPROCESSING
3.61/3.75 c GARBAGE COLLECT
3.61/3.75 c bounds - >= 6 @ 3.40975
3.61/3.75 c bounds - >= 7 @ 3.41268
3.61/3.76 c bounds - >= 8 @ 3.41585
3.61/3.76 c bounds - >= 9 @ 3.41641
3.61/3.76 c bounds - >= 10 @ 3.42173
3.61/3.77 c bounds - >= 11 @ 3.42486
3.71/3.81 c bounds - >= 12 @ 3.46574
10.40/10.54 c #Conflicts: 3000 | #Constraints: 34323
10.40/10.54 c #Conflicts: 4000 | #Constraints: 35323
10.40/10.54 c INPROCESSING
10.40/10.54 c GARBAGE COLLECT
10.40/10.54 c #Conflicts: 5000 | #Constraints: 34729
10.40/10.54 c #Conflicts: 6000 | #Constraints: 35729
10.40/10.54 c INPROCESSING
10.40/10.54 c GARBAGE COLLECT
10.40/10.54 c rational objective 12
12.19/12.38 c bounds 25 >= 12 @ 11.9225
12.19/12.39 c bounds 24 >= 12 @ 11.9295
12.29/12.49 c bounds 23 >= 12 @ 12.0337
13.79/13.97 c #Conflicts: 7000 | #Constraints: 34726
13.79/13.97 c #Conflicts: 8000 | #Constraints: 35726
13.79/13.97 c bounds 22 >= 12 @ 13.4742
13.90/14.05 c bounds 22 >= 13 @ 13.5483
16.28/16.43 c #Conflicts: 9000 | #Constraints: 36745
16.28/16.43 c INPROCESSING
16.28/16.43 c GARBAGE COLLECT
16.28/16.43 c rational objective 13
18.78/18.92 c #Conflicts: 10000 | #Constraints: 35479
18.78/18.92 c bounds 22 >= 14 @ 18.3705
23.44/23.62 c #Conflicts: 11000 | #Constraints: 36501
23.44/23.62 c #Conflicts: 12000 | #Constraints: 37501
23.44/23.62 c INPROCESSING
23.44/23.62 c GARBAGE COLLECT
23.44/23.62 c bounds 22 >= 15 @ 22.9704
28.53/28.70 c #Conflicts: 13000 | #Constraints: 35956
28.53/28.70 c #Conflicts: 14000 | #Constraints: 36956
28.53/28.70 c #Conflicts: 15000 | #Constraints: 37956
28.53/28.70 c INPROCESSING
28.53/28.70 c GARBAGE COLLECT
28.53/28.70 c rational objective 15
29.52/29.70 c bounds 21 >= 15 @ 29.0098
41.20/43.83 c #Conflicts: 16000 | #Constraints: 36231
41.20/43.83 c #Conflicts: 17000 | #Constraints: 37231
41.20/43.83 c #Conflicts: 18000 | #Constraints: 38231
41.20/43.83 c INPROCESSING
41.20/43.83 c GARBAGE COLLECT
41.20/43.83 c #Conflicts: 19000 | #Constraints: 36200
41.20/43.83 c #Conflicts: 20000 | #Constraints: 37200
41.20/43.83 c #Conflicts: 21000 | #Constraints: 38200
41.20/43.83 c INPROCESSING
41.20/43.83 c GARBAGE COLLECT
41.20/43.83 c rational objective 15
49.69/52.31 c #Conflicts: 22000 | #Constraints: 36030
49.69/52.31 c #Conflicts: 23000 | #Constraints: 37030
49.69/52.31 c #Conflicts: 24000 | #Constraints: 38030
49.69/52.31 c #Conflicts: 25000 | #Constraints: 39030
49.69/52.31 c INPROCESSING
49.69/52.31 c GARBAGE COLLECT
49.69/52.31 c rational objective 15
61.46/64.16 c #Conflicts: 26000 | #Constraints: 36669
61.46/64.16 c #Conflicts: 27000 | #Constraints: 37669
61.46/64.16 c #Conflicts: 28000 | #Constraints: 38669
61.46/64.16 c #Conflicts: 29000 | #Constraints: 39669
61.46/64.16 c INPROCESSING
61.46/64.16 c GARBAGE COLLECT
61.46/64.16 c #Conflicts: 30000 | #Constraints: 37059
61.46/64.16 c #Conflicts: 31000 | #Constraints: 38059
61.46/64.16 c #Conflicts: 32000 | #Constraints: 39059
61.46/64.16 c #Conflicts: 33000 | #Constraints: 40059
61.46/64.16 c INPROCESSING
61.46/64.16 c GARBAGE COLLECT
61.46/64.16 c rational objective 15
65.18/69.30 c #Conflicts: 34000 | #Constraints: 37319
65.18/69.30 c bounds 20 >= 15 @ 64.3072
74.45/78.61 c #Conflicts: 35000 | #Constraints: 38320
74.45/78.61 c #Conflicts: 36000 | #Constraints: 39320
74.45/78.61 c #Conflicts: 37000 | #Constraints: 40320
74.45/78.61 c INPROCESSING
74.45/78.61 c GARBAGE COLLECT
74.45/78.61 c rational objective 15
78.96/83.16 c #Conflicts: 38000 | #Constraints: 37328
78.96/83.16 c bounds 20 >= 16 @ 78.012
83.32/87.58 c #Conflicts: 39000 | #Constraints: 38361
83.32/87.58 c #Conflicts: 40000 | #Constraints: 39361
83.32/87.58 c #Conflicts: 41000 | #Constraints: 40361
83.32/87.58 c INPROCESSING
83.32/87.58 c GARBAGE COLLECT
83.32/87.58 c rational objective 16
90.92/95.12 c #Conflicts: 42000 | #Constraints: 37152
90.92/95.12 c #Conflicts: 43000 | #Constraints: 38152
90.92/95.12 c #Conflicts: 44000 | #Constraints: 39152
90.92/95.12 c #Conflicts: 45000 | #Constraints: 40152
90.92/95.12 c #Conflicts: 46000 | #Constraints: 41152
90.92/95.12 c INPROCESSING
90.92/95.12 c GARBAGE COLLECT
90.92/95.12 c rational objective 16
100.53/106.36 c #Conflicts: 47000 | #Constraints: 37737
100.53/106.36 c #Conflicts: 48000 | #Constraints: 38737
100.53/106.36 c #Conflicts: 49000 | #Constraints: 39737
100.53/106.36 c #Conflicts: 50000 | #Constraints: 40737
100.53/106.36 c #Conflicts: 51000 | #Constraints: 41737
100.53/106.36 c INPROCESSING
100.53/106.36 c GARBAGE COLLECT
100.53/106.36 c rational objective 16
111.10/116.92 c #Conflicts: 52000 | #Constraints: 38221
111.10/116.92 c #Conflicts: 53000 | #Constraints: 39221
111.10/116.92 c #Conflicts: 54000 | #Constraints: 40221
111.10/116.92 c #Conflicts: 55000 | #Constraints: 41221
111.10/116.92 c #Conflicts: 56000 | #Constraints: 42221
111.10/116.92 c INPROCESSING
111.10/116.92 c GARBAGE COLLECT
111.10/116.92 c rational objective 16
125.94/132.54 c #Conflicts: 57000 | #Constraints: 38413
125.94/132.54 c #Conflicts: 58000 | #Constraints: 39413
125.94/132.54 c #Conflicts: 59000 | #Constraints: 40413
125.94/132.54 c #Conflicts: 60000 | #Constraints: 41413
125.94/132.54 c #Conflicts: 61000 | #Constraints: 42413
125.94/132.54 c INPROCESSING
125.94/132.54 c GARBAGE COLLECT
125.94/132.54 c rational objective 16
138.80/145.46 c #Conflicts: 62000 | #Constraints: 38560
138.80/145.46 c #Conflicts: 63000 | #Constraints: 39560
138.80/145.46 c #Conflicts: 64000 | #Constraints: 40560
138.80/145.46 c #Conflicts: 65000 | #Constraints: 41560
138.80/145.46 c #Conflicts: 66000 | #Constraints: 42560
138.80/145.46 c INPROCESSING
138.80/145.46 c GARBAGE COLLECT
138.80/145.46 c rational objective 16
151.38/158.07 c #Conflicts: 67000 | #Constraints: 38301
151.38/158.07 c #Conflicts: 68000 | #Constraints: 39301
151.38/158.07 c #Conflicts: 69000 | #Constraints: 40301
151.38/158.07 c #Conflicts: 70000 | #Constraints: 41301
151.38/158.07 c #Conflicts: 71000 | #Constraints: 42301
151.38/158.07 c #Conflicts: 72000 | #Constraints: 43301
151.38/158.07 c INPROCESSING
151.38/158.07 c GARBAGE COLLECT
151.38/158.07 c rational objective 16
164.54/186.03 c #Conflicts: 73000 | #Constraints: 38932
164.54/186.03 c #Conflicts: 74000 | #Constraints: 39932
164.54/186.03 c #Conflicts: 75000 | #Constraints: 40932
164.54/186.03 c #Conflicts: 76000 | #Constraints: 41932
164.54/186.03 c #Conflicts: 77000 | #Constraints: 42932
164.54/186.03 c #Conflicts: 78000 | #Constraints: 43932
164.54/186.03 c INPROCESSING
164.54/186.03 c GARBAGE COLLECT
164.54/186.03 c rational objective 16
177.99/199.77 c #Conflicts: 79000 | #Constraints: 39306
177.99/199.77 c #Conflicts: 80000 | #Constraints: 40306
177.99/199.77 c #Conflicts: 81000 | #Constraints: 41306
177.99/199.77 c #Conflicts: 82000 | #Constraints: 42306
177.99/199.77 c #Conflicts: 83000 | #Constraints: 43306
177.99/199.77 c #Conflicts: 84000 | #Constraints: 44306
177.99/199.77 c INPROCESSING
177.99/199.77 c GARBAGE COLLECT
177.99/199.77 c rational objective 16
191.05/212.87 c #Conflicts: 85000 | #Constraints: 39486
191.05/212.87 c #Conflicts: 86000 | #Constraints: 40486
191.05/212.87 c #Conflicts: 87000 | #Constraints: 41486
191.05/212.87 c #Conflicts: 88000 | #Constraints: 42486
191.05/212.87 c #Conflicts: 89000 | #Constraints: 43486
191.05/212.87 c #Conflicts: 90000 | #Constraints: 44486
191.05/212.87 c INPROCESSING
191.05/212.87 c GARBAGE COLLECT
191.05/212.87 c rational objective 16
210.29/232.11 c #Conflicts: 91000 | #Constraints: 39556
210.29/232.11 c #Conflicts: 92000 | #Constraints: 40556
210.29/232.11 c #Conflicts: 93000 | #Constraints: 41556
210.29/232.11 c #Conflicts: 94000 | #Constraints: 42556
210.29/232.11 c #Conflicts: 95000 | #Constraints: 43556
210.29/232.11 c #Conflicts: 96000 | #Constraints: 44556
210.29/232.11 c INPROCESSING
210.29/232.11 c GARBAGE COLLECT
210.29/232.11 c rational objective 16
225.03/246.99 c #Conflicts: 97000 | #Constraints: 39353
225.03/246.99 c #Conflicts: 98000 | #Constraints: 40353
225.03/246.99 c #Conflicts: 99000 | #Constraints: 41353
225.03/246.99 c #Conflicts: 100000 | #Constraints: 42353
225.03/246.99 c #Conflicts: 101000 | #Constraints: 43353
225.03/246.99 c #Conflicts: 102000 | #Constraints: 44353
225.03/246.99 c #Conflicts: 103000 | #Constraints: 45353
225.03/246.99 c INPROCESSING
225.03/246.99 c GARBAGE COLLECT
225.03/246.99 c rational objective 16
241.21/263.40 c #Conflicts: 104000 | #Constraints: 40049
241.21/263.40 c #Conflicts: 105000 | #Constraints: 41049
241.21/263.40 c #Conflicts: 106000 | #Constraints: 42049
241.21/263.40 c #Conflicts: 107000 | #Constraints: 43049
241.21/263.40 c #Conflicts: 108000 | #Constraints: 44049
241.21/263.40 c #Conflicts: 109000 | #Constraints: 45049
241.21/263.40 c #Conflicts: 110000 | #Constraints: 46049
241.21/263.40 c INPROCESSING
241.21/263.40 c GARBAGE COLLECT
241.21/263.40 c rational objective 16
257.46/279.70 c #Conflicts: 111000 | #Constraints: 40389
257.46/279.70 c #Conflicts: 112000 | #Constraints: 41389
257.46/279.70 c #Conflicts: 113000 | #Constraints: 42389
257.46/279.70 c #Conflicts: 114000 | #Constraints: 43389
257.46/279.70 c #Conflicts: 115000 | #Constraints: 44389
257.46/279.70 c #Conflicts: 116000 | #Constraints: 45389
257.46/279.70 c #Conflicts: 117000 | #Constraints: 46389
257.46/279.70 c INPROCESSING
257.46/279.70 c GARBAGE COLLECT
257.46/279.70 c rational objective 16
275.68/298.09 c #Conflicts: 118000 | #Constraints: 40552
275.68/298.09 c #Conflicts: 119000 | #Constraints: 41552
275.68/298.09 c #Conflicts: 120000 | #Constraints: 42552
275.68/298.09 c #Conflicts: 121000 | #Constraints: 43552
275.68/298.09 c #Conflicts: 122000 | #Constraints: 44552
275.68/298.09 c #Conflicts: 123000 | #Constraints: 45552
275.68/298.09 c #Conflicts: 124000 | #Constraints: 46552
275.68/298.09 c INPROCESSING
275.68/298.09 c GARBAGE COLLECT
275.68/298.09 c rational objective 16
293.79/316.37 c #Conflicts: 125000 | #Constraints: 40600
293.79/316.37 c #Conflicts: 126000 | #Constraints: 41600
293.79/316.37 c #Conflicts: 127000 | #Constraints: 42600
293.79/316.37 c #Conflicts: 128000 | #Constraints: 43600
293.79/316.37 c #Conflicts: 129000 | #Constraints: 44600
293.79/316.37 c #Conflicts: 130000 | #Constraints: 45600
293.79/316.37 c #Conflicts: 131000 | #Constraints: 46600
293.79/316.37 c INPROCESSING
293.79/316.37 c GARBAGE COLLECT
293.79/316.37 c rational objective 16
312.34/334.98 c #Conflicts: 132000 | #Constraints: 40416
312.34/334.98 c #Conflicts: 133000 | #Constraints: 41416
312.34/334.98 c #Conflicts: 134000 | #Constraints: 42416
312.34/334.98 c #Conflicts: 135000 | #Constraints: 43416
312.34/334.98 c #Conflicts: 136000 | #Constraints: 44416
312.34/334.98 c #Conflicts: 137000 | #Constraints: 45416
312.34/334.98 c #Conflicts: 138000 | #Constraints: 46416
312.34/334.98 c #Conflicts: 139000 | #Constraints: 47416
312.34/334.98 c INPROCESSING
312.34/334.98 c GARBAGE COLLECT
312.34/334.98 c rational objective 16
328.91/354.38 c #Conflicts: 140000 | #Constraints: 41056
328.91/354.38 c #Conflicts: 141000 | #Constraints: 42056
328.91/354.38 c #Conflicts: 142000 | #Constraints: 43056
328.91/354.38 c #Conflicts: 143000 | #Constraints: 44056
328.91/354.38 c #Conflicts: 144000 | #Constraints: 45056
328.91/354.38 c #Conflicts: 145000 | #Constraints: 46056
328.91/354.38 c bounds 20 >= 17 @ 326.205
333.20/358.62 c #Conflicts: 146000 | #Constraints: 47089
333.20/358.62 c #Conflicts: 147000 | #Constraints: 48089
333.20/358.62 c INPROCESSING
333.20/358.62 c GARBAGE COLLECT
333.20/358.62 c rational objective 17
353.76/379.76 c #Conflicts: 148000 | #Constraints: 41497
353.76/379.76 c #Conflicts: 149000 | #Constraints: 42497
353.76/379.76 c #Conflicts: 150000 | #Constraints: 43497
353.76/379.76 c #Conflicts: 151000 | #Constraints: 44497
353.76/379.76 c #Conflicts: 152000 | #Constraints: 45497
353.76/379.76 c #Conflicts: 153000 | #Constraints: 46497
353.76/379.76 c #Conflicts: 154000 | #Constraints: 47497
353.76/379.76 c #Conflicts: 155000 | #Constraints: 48497
353.76/379.76 c INPROCESSING
353.76/379.76 c GARBAGE COLLECT
353.76/379.76 c rational objective 17
375.11/401.15 c #Conflicts: 156000 | #Constraints: 41666
375.11/401.15 c #Conflicts: 157000 | #Constraints: 42666
375.11/401.15 c #Conflicts: 158000 | #Constraints: 43666
375.11/401.15 c #Conflicts: 159000 | #Constraints: 44666
375.11/401.15 c #Conflicts: 160000 | #Constraints: 45666
375.11/401.15 c #Conflicts: 161000 | #Constraints: 46666
375.11/401.15 c #Conflicts: 162000 | #Constraints: 47666
375.11/401.15 c #Conflicts: 163000 | #Constraints: 48666
375.11/401.15 c INPROCESSING
375.11/401.15 c GARBAGE COLLECT
375.11/401.15 c rational objective 17
396.41/422.83 c #Conflicts: 164000 | #Constraints: 41706
396.41/422.83 c #Conflicts: 165000 | #Constraints: 42706
396.41/422.83 c #Conflicts: 166000 | #Constraints: 43706
396.41/422.83 c #Conflicts: 167000 | #Constraints: 44706
396.41/422.83 c #Conflicts: 168000 | #Constraints: 45706
396.41/422.83 c #Conflicts: 169000 | #Constraints: 46706
396.41/422.83 c #Conflicts: 170000 | #Constraints: 47706
396.41/422.83 c #Conflicts: 171000 | #Constraints: 48706
396.41/422.83 c INPROCESSING
396.41/422.83 c GARBAGE COLLECT
396.41/422.83 c rational objective 17
420.17/447.33 c #Conflicts: 172000 | #Constraints: 41453
420.17/447.33 c #Conflicts: 173000 | #Constraints: 42453
420.17/447.33 c #Conflicts: 174000 | #Constraints: 43453
420.17/447.33 c #Conflicts: 175000 | #Constraints: 44453
420.17/447.33 c #Conflicts: 176000 | #Constraints: 45453
420.17/447.33 c #Conflicts: 177000 | #Constraints: 46453
420.17/447.33 c #Conflicts: 178000 | #Constraints: 47453
420.17/447.33 c #Conflicts: 179000 | #Constraints: 48453
420.17/447.33 c #Conflicts: 180000 | #Constraints: 49453
420.17/447.33 c INPROCESSING
420.17/447.33 c GARBAGE COLLECT
420.17/447.33 c rational objective 17
435.85/463.08 c #Conflicts: 181000 | #Constraints: 42126
435.85/463.08 c #Conflicts: 182000 | #Constraints: 43126
435.85/463.08 c #Conflicts: 183000 | #Constraints: 44126
435.85/463.08 c #Conflicts: 184000 | #Constraints: 45126
435.85/463.08 c #Conflicts: 185000 | #Constraints: 46126
435.85/463.08 c #Conflicts: 186000 | #Constraints: 47126
435.85/463.08 c #Conflicts: 187000 | #Constraints: 48126
435.85/463.08 c #Conflicts: 188000 | #Constraints: 49126
435.85/463.08 c #Conflicts: 189000 | #Constraints: 50126
435.85/463.08 c INPROCESSING
435.85/463.08 c GARBAGE COLLECT
435.85/463.08 c rational objective 17
457.60/485.72 c #Conflicts: 190000 | #Constraints: 42598
457.60/485.72 c #Conflicts: 191000 | #Constraints: 43598
457.60/485.72 c #Conflicts: 192000 | #Constraints: 44598
457.60/485.72 c #Conflicts: 193000 | #Constraints: 45598
457.60/485.72 c #Conflicts: 194000 | #Constraints: 46598
457.60/485.72 c #Conflicts: 195000 | #Constraints: 47598
457.60/485.72 c #Conflicts: 196000 | #Constraints: 48598
457.60/485.72 c #Conflicts: 197000 | #Constraints: 49598
457.60/485.72 c #Conflicts: 198000 | #Constraints: 50598
457.60/485.72 c INPROCESSING
457.60/485.72 c GARBAGE COLLECT
457.60/485.72 c rational objective 17
479.05/508.17 c #Conflicts: 199000 | #Constraints: 42822
479.05/508.17 c #Conflicts: 200000 | #Constraints: 43822
479.05/508.17 c #Conflicts: 201000 | #Constraints: 44822
479.05/508.17 c #Conflicts: 202000 | #Constraints: 45822
479.05/508.17 c #Conflicts: 203000 | #Constraints: 46822
479.05/508.17 c #Conflicts: 204000 | #Constraints: 47822
479.05/508.17 c #Conflicts: 205000 | #Constraints: 48822
479.05/508.17 c #Conflicts: 206000 | #Constraints: 49822
479.05/508.17 c #Conflicts: 207000 | #Constraints: 50822
479.05/508.17 c INPROCESSING
479.05/508.17 c GARBAGE COLLECT
479.05/508.17 c rational objective 17
509.57/538.82 c #Conflicts: 208000 | #Constraints: 42792
509.57/538.82 c #Conflicts: 209000 | #Constraints: 43792
509.57/538.82 c #Conflicts: 210000 | #Constraints: 44792
509.57/538.82 c #Conflicts: 211000 | #Constraints: 45792
509.57/538.82 c #Conflicts: 212000 | #Constraints: 46792
509.57/538.82 c #Conflicts: 213000 | #Constraints: 47792
509.57/538.82 c #Conflicts: 214000 | #Constraints: 48792
509.57/538.82 c #Conflicts: 215000 | #Constraints: 49792
509.57/538.82 c #Conflicts: 216000 | #Constraints: 50792
509.57/538.82 c INPROCESSING
509.57/538.82 c GARBAGE COLLECT
509.57/538.82 c rational objective 17
538.80/568.22 c #Conflicts: 217000 | #Constraints: 42709
538.80/568.22 c #Conflicts: 218000 | #Constraints: 43709
538.80/568.22 c #Conflicts: 219000 | #Constraints: 44709
538.80/568.22 c #Conflicts: 220000 | #Constraints: 45709
538.80/568.22 c #Conflicts: 221000 | #Constraints: 46709
538.80/568.22 c #Conflicts: 222000 | #Constraints: 47709
538.80/568.22 c #Conflicts: 223000 | #Constraints: 48709
538.80/568.22 c #Conflicts: 224000 | #Constraints: 49709
538.80/568.22 c #Conflicts: 225000 | #Constraints: 50709
538.80/568.22 c #Conflicts: 226000 | #Constraints: 51710
538.80/568.22 c INPROCESSING
538.80/568.22 c GARBAGE COLLECT
538.80/568.22 c rational objective 17
565.76/595.47 c #Conflicts: 227000 | #Constraints: 43244
565.76/595.47 c #Conflicts: 228000 | #Constraints: 44244
565.76/595.47 c #Conflicts: 229000 | #Constraints: 45244
565.76/595.47 c #Conflicts: 230000 | #Constraints: 46244
565.76/595.47 c #Conflicts: 231000 | #Constraints: 47244
565.76/595.47 c #Conflicts: 232000 | #Constraints: 48244
565.76/595.47 c #Conflicts: 233000 | #Constraints: 49244
565.76/595.47 c #Conflicts: 234000 | #Constraints: 50244
565.76/595.47 c #Conflicts: 235000 | #Constraints: 51244
565.76/595.47 c #Conflicts: 236000 | #Constraints: 52244
565.76/595.47 c INPROCESSING
565.76/595.47 c GARBAGE COLLECT
565.76/595.47 c rational objective 17
594.49/624.31 c #Conflicts: 237000 | #Constraints: 43642
594.49/624.31 c #Conflicts: 238000 | #Constraints: 44642
594.49/624.31 c #Conflicts: 239000 | #Constraints: 45642
594.49/624.31 c #Conflicts: 240000 | #Constraints: 46642
594.49/624.31 c #Conflicts: 241000 | #Constraints: 47642
594.49/624.31 c #Conflicts: 242000 | #Constraints: 48642
594.49/624.31 c #Conflicts: 243000 | #Constraints: 49642
594.49/624.31 c #Conflicts: 244000 | #Constraints: 50642
594.49/624.31 c #Conflicts: 245000 | #Constraints: 51642
594.49/624.31 c #Conflicts: 246000 | #Constraints: 52642
594.49/624.31 c INPROCESSING
594.49/624.31 c GARBAGE COLLECT
594.49/624.31 c rational objective 17
621.42/651.35 c #Conflicts: 247000 | #Constraints: 43820
621.42/651.35 c #Conflicts: 248000 | #Constraints: 44820
621.42/651.35 c #Conflicts: 249000 | #Constraints: 45820
621.42/651.35 c #Conflicts: 250000 | #Constraints: 46820
621.42/651.35 c #Conflicts: 251000 | #Constraints: 47820
621.42/651.35 c #Conflicts: 252000 | #Constraints: 48820
621.42/651.35 c #Conflicts: 253000 | #Constraints: 49820
621.42/651.35 c #Conflicts: 254000 | #Constraints: 50820
621.42/651.35 c #Conflicts: 255000 | #Constraints: 51820
621.42/651.35 c #Conflicts: 256000 | #Constraints: 52820
621.42/651.35 c INPROCESSING
621.42/651.35 c GARBAGE COLLECT
621.42/651.35 c rational objective 17
646.01/676.19 c #Conflicts: 257000 | #Constraints: 43928
646.01/676.19 c #Conflicts: 258000 | #Constraints: 44928
646.01/676.19 c #Conflicts: 259000 | #Constraints: 45928
646.01/676.19 c #Conflicts: 260000 | #Constraints: 46928
646.01/676.19 c #Conflicts: 261000 | #Constraints: 47928
646.01/676.19 c #Conflicts: 262000 | #Constraints: 48928
646.01/676.19 c #Conflicts: 263000 | #Constraints: 49928
646.01/676.19 c #Conflicts: 264000 | #Constraints: 50928
646.01/676.19 c #Conflicts: 265000 | #Constraints: 51928
646.01/676.19 c #Conflicts: 266000 | #Constraints: 52928
646.01/676.19 c INPROCESSING
646.01/676.19 c GARBAGE COLLECT
646.01/676.19 c rational objective 17
668.73/699.00 c #Conflicts: 267000 | #Constraints: 43553
668.73/699.00 c #Conflicts: 268000 | #Constraints: 44553
668.73/699.00 c #Conflicts: 269000 | #Constraints: 45553
668.73/699.00 c #Conflicts: 270000 | #Constraints: 46553
668.73/699.00 c #Conflicts: 271000 | #Constraints: 47553
668.73/699.00 c #Conflicts: 272000 | #Constraints: 48553
668.73/699.00 c #Conflicts: 273000 | #Constraints: 49553
668.73/699.00 c #Conflicts: 274000 | #Constraints: 50553
668.73/699.00 c #Conflicts: 275000 | #Constraints: 51553
668.73/699.00 c #Conflicts: 276000 | #Constraints: 52553
668.73/699.00 c #Conflicts: 277000 | #Constraints: 53553
668.73/699.00 c INPROCESSING
668.73/699.00 c GARBAGE COLLECT
668.73/699.00 c rational objective 17
701.10/737.44 c #Conflicts: 278000 | #Constraints: 44223
701.10/737.44 c #Conflicts: 279000 | #Constraints: 45223
701.10/737.44 c #Conflicts: 280000 | #Constraints: 46223
701.10/737.44 c #Conflicts: 281000 | #Constraints: 47223
701.10/737.44 c #Conflicts: 282000 | #Constraints: 48223
701.10/737.44 c #Conflicts: 283000 | #Constraints: 49223
701.10/737.44 c #Conflicts: 284000 | #Constraints: 50223
701.10/737.44 c #Conflicts: 285000 | #Constraints: 51223
701.10/737.44 c #Conflicts: 286000 | #Constraints: 52223
701.10/737.44 c #Conflicts: 287000 | #Constraints: 53223
701.10/737.44 c #Conflicts: 288000 | #Constraints: 54223
701.10/737.44 c INPROCESSING
701.10/737.44 c GARBAGE COLLECT
701.10/737.44 c rational objective 17
724.83/761.42 c #Conflicts: 289000 | #Constraints: 44550
724.83/761.42 c #Conflicts: 290000 | #Constraints: 45550
724.83/761.42 c #Conflicts: 291000 | #Constraints: 46550
724.83/761.42 c #Conflicts: 292000 | #Constraints: 47550
724.83/761.42 c #Conflicts: 293000 | #Constraints: 48550
724.83/761.42 c #Conflicts: 294000 | #Constraints: 49550
724.83/761.42 c #Conflicts: 295000 | #Constraints: 50550
724.83/761.42 c #Conflicts: 296000 | #Constraints: 51550
724.83/761.42 c #Conflicts: 297000 | #Constraints: 52550
724.83/761.42 c #Conflicts: 298000 | #Constraints: 53550
724.83/761.42 c #Conflicts: 299000 | #Constraints: 54550
724.83/761.42 c INPROCESSING
724.83/761.42 c GARBAGE COLLECT
724.83/761.42 c rational objective 17
751.77/788.79 c #Conflicts: 300000 | #Constraints: 44744
751.77/788.79 c #Conflicts: 301000 | #Constraints: 45744
751.77/788.79 c #Conflicts: 302000 | #Constraints: 46744
751.77/788.79 c #Conflicts: 303000 | #Constraints: 47744
751.77/788.79 c #Conflicts: 304000 | #Constraints: 48744
751.77/788.79 c #Conflicts: 305000 | #Constraints: 49744
751.77/788.79 c #Conflicts: 306000 | #Constraints: 50744
751.77/788.79 c #Conflicts: 307000 | #Constraints: 51744
751.77/788.79 c #Conflicts: 308000 | #Constraints: 52744
751.77/788.79 c #Conflicts: 309000 | #Constraints: 53744
751.77/788.79 c #Conflicts: 310000 | #Constraints: 54744
751.77/788.79 c INPROCESSING
751.77/788.79 c GARBAGE COLLECT
751.77/788.79 c rational objective 17
776.05/813.37 c #Conflicts: 311000 | #Constraints: 44683
776.05/813.37 c #Conflicts: 312000 | #Constraints: 45683
776.05/813.37 c #Conflicts: 313000 | #Constraints: 46683
776.05/813.37 c #Conflicts: 314000 | #Constraints: 47683
776.05/813.37 c #Conflicts: 315000 | #Constraints: 48683
776.05/813.37 c #Conflicts: 316000 | #Constraints: 49683
776.05/813.37 c #Conflicts: 317000 | #Constraints: 50683
776.05/813.37 c #Conflicts: 318000 | #Constraints: 51683
776.05/813.37 c #Conflicts: 319000 | #Constraints: 52683
776.05/813.37 c #Conflicts: 320000 | #Constraints: 53683
776.05/813.37 c #Conflicts: 321000 | #Constraints: 54683
776.05/813.37 c INPROCESSING
776.05/813.37 c GARBAGE COLLECT
776.05/813.37 c rational objective 17
822.62/860.19 c #Conflicts: 322000 | #Constraints: 44635
822.62/860.19 c #Conflicts: 323000 | #Constraints: 45635
822.62/860.19 c #Conflicts: 324000 | #Constraints: 46635
822.62/860.19 c #Conflicts: 325000 | #Constraints: 47635
822.62/860.19 c #Conflicts: 326000 | #Constraints: 48635
822.62/860.19 c #Conflicts: 327000 | #Constraints: 49635
822.62/860.19 c #Conflicts: 328000 | #Constraints: 50635
822.62/860.19 c #Conflicts: 329000 | #Constraints: 51635
822.62/860.19 c #Conflicts: 330000 | #Constraints: 52635
822.62/860.19 c #Conflicts: 331000 | #Constraints: 53635
822.62/860.19 c #Conflicts: 332000 | #Constraints: 54635
822.62/860.19 c #Conflicts: 333000 | #Constraints: 55635
822.62/860.19 c INPROCESSING
822.62/860.19 c GARBAGE COLLECT
822.62/860.19 c rational objective 17
862.45/900.12 c #Conflicts: 334000 | #Constraints: 45431
862.45/900.12 c #Conflicts: 335000 | #Constraints: 46431
862.45/900.12 c #Conflicts: 336000 | #Constraints: 47431
862.45/900.12 c #Conflicts: 337000 | #Constraints: 48431
862.45/900.12 c #Conflicts: 338000 | #Constraints: 49431
862.45/900.12 c #Conflicts: 339000 | #Constraints: 50431
862.45/900.12 c #Conflicts: 340000 | #Constraints: 51431
862.45/900.12 c #Conflicts: 341000 | #Constraints: 52431
862.45/900.12 c #Conflicts: 342000 | #Constraints: 53431
862.45/900.12 c #Conflicts: 343000 | #Constraints: 54431
862.45/900.12 c #Conflicts: 344000 | #Constraints: 55431
862.45/900.12 c #Conflicts: 345000 | #Constraints: 56431
862.45/900.12 c INPROCESSING
862.45/900.12 c GARBAGE COLLECT
862.45/900.12 c rational objective 17
899.99/937.91 c #Conflicts: 346000 | #Constraints: 45774
899.99/937.91 c #Conflicts: 347000 | #Constraints: 46774
899.99/937.91 c #Conflicts: 348000 | #Constraints: 47774
899.99/937.91 c #Conflicts: 349000 | #Constraints: 48774
899.99/937.91 c #Conflicts: 350000 | #Constraints: 49774
899.99/937.91 c #Conflicts: 351000 | #Constraints: 50774
899.99/937.91 c #Conflicts: 352000 | #Constraints: 51774
899.99/937.91 c #Conflicts: 353000 | #Constraints: 52774
899.99/937.91 c #Conflicts: 354000 | #Constraints: 53774
899.99/937.91 c #Conflicts: 355000 | #Constraints: 54774
899.99/937.91 c #Conflicts: 356000 | #Constraints: 55774
899.99/937.91 c #Conflicts: 357000 | #Constraints: 56774
899.99/937.91 c INPROCESSING
899.99/937.91 c GARBAGE COLLECT
899.99/937.91 c rational objective 17
931.81/969.88 c #Conflicts: 358000 | #Constraints: 45886
931.81/969.88 c #Conflicts: 359000 | #Constraints: 46886
931.81/969.88 c #Conflicts: 360000 | #Constraints: 47886
931.81/969.88 c #Conflicts: 361000 | #Constraints: 48886
931.81/969.88 c #Conflicts: 362000 | #Constraints: 49886
931.81/969.88 c #Conflicts: 363000 | #Constraints: 50886
931.81/969.88 c #Conflicts: 364000 | #Constraints: 51886
931.81/969.88 c #Conflicts: 365000 | #Constraints: 52886
931.81/969.88 c #Conflicts: 366000 | #Constraints: 53886
931.81/969.88 c #Conflicts: 367000 | #Constraints: 54886
931.81/969.88 c #Conflicts: 368000 | #Constraints: 55886
931.81/969.88 c #Conflicts: 369000 | #Constraints: 56886
931.81/969.88 c INPROCESSING
931.81/969.88 c GARBAGE COLLECT
931.81/969.88 c rational objective 17
955.15/993.22 c #Conflicts: 370000 | #Constraints: 45975
955.15/993.22 c #Conflicts: 371000 | #Constraints: 46975
955.15/993.22 c #Conflicts: 372000 | #Constraints: 47975
955.15/993.22 c #Conflicts: 373000 | #Constraints: 48975
955.15/993.22 c #Conflicts: 374000 | #Constraints: 49975
955.15/993.22 c #Conflicts: 375000 | #Constraints: 50975
955.15/993.22 c #Conflicts: 376000 | #Constraints: 51975
955.15/993.22 c #Conflicts: 377000 | #Constraints: 52975
955.15/993.22 c #Conflicts: 378000 | #Constraints: 53975
955.15/993.22 c #Conflicts: 379000 | #Constraints: 54975
955.15/993.22 c #Conflicts: 380000 | #Constraints: 55975
955.15/993.22 c #Conflicts: 381000 | #Constraints: 56975
955.15/993.22 c INPROCESSING
955.15/993.22 c GARBAGE COLLECT
955.15/993.22 c rational objective 17
1000.15/1039.31 c #Conflicts: 382000 | #Constraints: 45665
1000.15/1039.31 c #Conflicts: 383000 | #Constraints: 46665
1000.15/1039.31 c #Conflicts: 384000 | #Constraints: 47665
1000.15/1039.31 c #Conflicts: 385000 | #Constraints: 48665
1000.15/1039.31 c #Conflicts: 386000 | #Constraints: 49665
1000.15/1039.31 c #Conflicts: 387000 | #Constraints: 50665
1000.15/1039.31 c #Conflicts: 388000 | #Constraints: 51665
1000.15/1039.31 c #Conflicts: 389000 | #Constraints: 52665
1000.15/1039.31 c #Conflicts: 390000 | #Constraints: 53665
1000.15/1039.31 c #Conflicts: 391000 | #Constraints: 54665
1000.15/1039.31 c #Conflicts: 392000 | #Constraints: 55665
1000.15/1039.31 c #Conflicts: 393000 | #Constraints: 56665
1000.15/1039.31 c #Conflicts: 394000 | #Constraints: 57665
1000.15/1039.31 c INPROCESSING
1000.15/1039.31 c GARBAGE COLLECT
1000.15/1039.31 c rational objective 17
1036.86/1077.39 c #Conflicts: 395000 | #Constraints: 46261
1036.86/1077.39 c #Conflicts: 396000 | #Constraints: 47261
1036.86/1077.39 c #Conflicts: 397000 | #Constraints: 48261
1036.86/1077.39 c #Conflicts: 398000 | #Constraints: 49261
1036.86/1077.39 c #Conflicts: 399000 | #Constraints: 50261
1036.86/1077.39 c #Conflicts: 400000 | #Constraints: 51261
1036.86/1077.39 c #Conflicts: 401000 | #Constraints: 52261
1036.86/1077.39 c #Conflicts: 402000 | #Constraints: 53261
1036.86/1077.39 c #Conflicts: 403000 | #Constraints: 54261
1036.86/1077.39 c #Conflicts: 404000 | #Constraints: 55261
1036.86/1077.39 c #Conflicts: 405000 | #Constraints: 56261
1036.86/1077.39 c #Conflicts: 406000 | #Constraints: 57261
1036.86/1077.39 c #Conflicts: 407000 | #Constraints: 58261
1036.86/1077.39 c INPROCESSING
1036.86/1077.39 c GARBAGE COLLECT
1036.86/1077.39 c rational objective 17
1074.26/1115.58 c #Conflicts: 408000 | #Constraints: 46623
1074.26/1115.58 c #Conflicts: 409000 | #Constraints: 47623
1074.26/1115.58 c #Conflicts: 410000 | #Constraints: 48623
1074.26/1115.58 c #Conflicts: 411000 | #Constraints: 49623
1074.26/1115.58 c #Conflicts: 412000 | #Constraints: 50623
1074.26/1115.58 c #Conflicts: 413000 | #Constraints: 51623
1074.26/1115.58 c #Conflicts: 414000 | #Constraints: 52623
1074.26/1115.58 c #Conflicts: 415000 | #Constraints: 53623
1074.26/1115.58 c #Conflicts: 416000 | #Constraints: 54623
1074.26/1115.58 c #Conflicts: 417000 | #Constraints: 55623
1074.26/1115.58 c #Conflicts: 418000 | #Constraints: 56623
1074.26/1115.58 c #Conflicts: 419000 | #Constraints: 57623
1074.26/1115.58 c #Conflicts: 420000 | #Constraints: 58623
1074.26/1115.58 c INPROCESSING
1074.26/1115.58 c GARBAGE COLLECT
1074.26/1115.58 c rational objective 17
1110.36/1152.91 c #Conflicts: 421000 | #Constraints: 46752
1110.36/1152.91 c #Conflicts: 422000 | #Constraints: 47752
1110.36/1152.91 c #Conflicts: 423000 | #Constraints: 48752
1110.36/1152.91 c #Conflicts: 424000 | #Constraints: 49752
1110.36/1152.91 c #Conflicts: 425000 | #Constraints: 50752
1110.36/1152.91 c #Conflicts: 426000 | #Constraints: 51752
1110.36/1152.91 c #Conflicts: 427000 | #Constraints: 52752
1110.36/1152.91 c #Conflicts: 428000 | #Constraints: 53752
1110.36/1152.91 c #Conflicts: 429000 | #Constraints: 54752
1110.36/1152.91 c #Conflicts: 430000 | #Constraints: 55752
1110.36/1152.91 c #Conflicts: 431000 | #Constraints: 56752
1110.36/1152.91 c #Conflicts: 432000 | #Constraints: 57752
1110.36/1152.91 c #Conflicts: 433000 | #Constraints: 58752
1110.36/1152.91 c INPROCESSING
1110.36/1152.91 c GARBAGE COLLECT
1110.36/1152.91 c rational objective 17
1153.73/1196.77 c #Conflicts: 434000 | #Constraints: 46789
1153.73/1196.77 c #Conflicts: 435000 | #Constraints: 47789
1153.73/1196.77 c #Conflicts: 436000 | #Constraints: 48789
1153.73/1196.77 c #Conflicts: 437000 | #Constraints: 49790
1153.73/1196.77 c #Conflicts: 438000 | #Constraints: 50790
1153.73/1196.77 c #Conflicts: 439000 | #Constraints: 51790
1153.73/1196.77 c #Conflicts: 440000 | #Constraints: 52790
1153.73/1196.77 c #Conflicts: 441000 | #Constraints: 53790
1153.73/1196.77 c #Conflicts: 442000 | #Constraints: 54790
1153.73/1196.77 c #Conflicts: 443000 | #Constraints: 55790
1153.73/1196.77 c #Conflicts: 444000 | #Constraints: 56790
1153.73/1196.77 c #Conflicts: 445000 | #Constraints: 57790
1153.73/1196.77 c #Conflicts: 446000 | #Constraints: 58790
1153.73/1196.77 c INPROCESSING
1153.73/1196.77 c GARBAGE COLLECT
1153.73/1196.77 c rational objective 17
1202.75/1249.37 c #Conflicts: 447000 | #Constraints: 46655
1202.75/1249.37 c #Conflicts: 448000 | #Constraints: 47655
1202.75/1249.37 c #Conflicts: 449000 | #Constraints: 48655
1202.75/1249.37 c #Conflicts: 450000 | #Constraints: 49655
1202.75/1249.37 c #Conflicts: 451000 | #Constraints: 50655
1202.75/1249.37 c #Conflicts: 452000 | #Constraints: 51655
1202.75/1249.37 c #Conflicts: 453000 | #Constraints: 52655
1202.75/1249.37 c #Conflicts: 454000 | #Constraints: 53655
1202.75/1249.37 c #Conflicts: 455000 | #Constraints: 54655
1202.75/1249.37 c #Conflicts: 456000 | #Constraints: 55655
1202.75/1249.37 c #Conflicts: 457000 | #Constraints: 56655
1202.75/1249.37 c #Conflicts: 458000 | #Constraints: 57655
1202.75/1249.37 c #Conflicts: 459000 | #Constraints: 58655
1202.75/1249.37 c #Conflicts: 460000 | #Constraints: 59655
1202.75/1249.37 c INPROCESSING
1202.75/1249.37 c GARBAGE COLLECT
1202.75/1249.37 c rational objective 17
1250.67/1297.43 c #Conflicts: 461000 | #Constraints: 47471
1250.67/1297.43 c #Conflicts: 462000 | #Constraints: 48471
1250.67/1297.43 c #Conflicts: 463000 | #Constraints: 49471
1250.67/1297.43 c #Conflicts: 464000 | #Constraints: 50471
1250.67/1297.43 c #Conflicts: 465000 | #Constraints: 51471
1250.67/1297.43 c #Conflicts: 466000 | #Constraints: 52471
1250.67/1297.43 c #Conflicts: 467000 | #Constraints: 53471
1250.67/1297.43 c #Conflicts: 468000 | #Constraints: 54471
1250.67/1297.43 c #Conflicts: 469000 | #Constraints: 55471
1250.67/1297.43 c #Conflicts: 470000 | #Constraints: 56471
1250.67/1297.43 c #Conflicts: 471000 | #Constraints: 57471
1250.67/1297.43 c #Conflicts: 472000 | #Constraints: 58471
1250.67/1297.43 c #Conflicts: 473000 | #Constraints: 59471
1250.67/1297.43 c #Conflicts: 474000 | #Constraints: 60471
1250.67/1297.43 c INPROCESSING
1250.67/1297.43 c GARBAGE COLLECT
1250.67/1297.43 c rational objective 17
1298.78/1345.77 c #Conflicts: 475000 | #Constraints: 47858
1298.78/1345.77 c #Conflicts: 476000 | #Constraints: 48858
1298.78/1345.77 c #Conflicts: 477000 | #Constraints: 49858
1298.78/1345.77 c #Conflicts: 478000 | #Constraints: 50858
1298.78/1345.77 c #Conflicts: 479000 | #Constraints: 51858
1298.78/1345.77 c #Conflicts: 480000 | #Constraints: 52858
1298.78/1345.77 c #Conflicts: 481000 | #Constraints: 53858
1298.78/1345.77 c #Conflicts: 482000 | #Constraints: 54858
1298.78/1345.77 c #Conflicts: 483000 | #Constraints: 55858
1298.78/1345.77 c #Conflicts: 484000 | #Constraints: 56858
1298.78/1345.77 c #Conflicts: 485000 | #Constraints: 57858
1298.78/1345.77 c #Conflicts: 486000 | #Constraints: 58858
1298.78/1345.77 c #Conflicts: 487000 | #Constraints: 59858
1298.78/1345.77 c #Conflicts: 488000 | #Constraints: 60858
1298.78/1345.77 c INPROCESSING
1298.78/1345.77 c GARBAGE COLLECT
1298.78/1345.77 c rational objective 17
1344.18/1391.27 c #Conflicts: 489000 | #Constraints: 47944
1344.18/1391.27 c #Conflicts: 490000 | #Constraints: 48944
1344.18/1391.27 c #Conflicts: 491000 | #Constraints: 49944
1344.18/1391.27 c #Conflicts: 492000 | #Constraints: 50944
1344.18/1391.27 c #Conflicts: 493000 | #Constraints: 51944
1344.18/1391.27 c #Conflicts: 494000 | #Constraints: 52944
1344.18/1391.27 c #Conflicts: 495000 | #Constraints: 53944
1344.18/1391.27 c #Conflicts: 496000 | #Constraints: 54944
1344.18/1391.27 c #Conflicts: 497000 | #Constraints: 55944
1344.18/1391.27 c #Conflicts: 498000 | #Constraints: 56944
1344.18/1391.27 c #Conflicts: 499000 | #Constraints: 57944
1344.18/1391.27 c #Conflicts: 500000 | #Constraints: 58944
1344.18/1391.27 c #Conflicts: 501000 | #Constraints: 59944
1344.18/1391.27 c #Conflicts: 502000 | #Constraints: 60944
1344.18/1391.27 c INPROCESSING
1344.18/1391.27 c GARBAGE COLLECT
1344.18/1391.27 c rational objective 17
1655.49/1706.60 c #Conflicts: 503000 | #Constraints: 47966
1655.49/1706.60 c #Conflicts: 504000 | #Constraints: 48966
1655.49/1706.60 c #Conflicts: 505000 | #Constraints: 49966
1655.49/1706.60 c #Conflicts: 506000 | #Constraints: 50966
1655.49/1706.60 c #Conflicts: 507000 | #Constraints: 51966
1655.49/1706.60 c #Conflicts: 508000 | #Constraints: 52966
1655.49/1706.60 c #Conflicts: 509000 | #Constraints: 53966
1655.49/1706.60 c #Conflicts: 510000 | #Constraints: 54966
1655.49/1706.60 c #Conflicts: 511000 | #Constraints: 55966
1655.49/1706.60 c #Conflicts: 512000 | #Constraints: 56966
1655.49/1706.60 c #Conflicts: 513000 | #Constraints: 57966
1655.49/1706.60 c #Conflicts: 514000 | #Constraints: 58966
1655.49/1706.60 c #Conflicts: 515000 | #Constraints: 59966
1655.49/1706.60 c #Conflicts: 516000 | #Constraints: 60966
1655.49/1706.60 c #Conflicts: 517000 | #Constraints: 61966
1655.49/1706.60 c #Conflicts: 518000 | #Constraints: 62966
1655.49/1706.60 c #Conflicts: 519000 | #Constraints: 63966
1655.49/1706.60 c #Conflicts: 520000 | #Constraints: 64966
1655.49/1706.60 c #Conflicts: 521000 | #Constraints: 65966
1655.49/1706.60 c #Conflicts: 522000 | #Constraints: 66966
1655.49/1706.60 c #Conflicts: 523000 | #Constraints: 67966
1655.49/1706.60 c #Conflicts: 524000 | #Constraints: 68966
1655.49/1706.60 c #Conflicts: 525000 | #Constraints: 69966
1655.49/1706.60 c #Conflicts: 526000 | #Constraints: 70966
1655.49/1706.60 c #Conflicts: 527000 | #Constraints: 71966
1655.49/1706.60 c #Conflicts: 528000 | #Constraints: 72966
1655.49/1706.60 c #Conflicts: 529000 | #Constraints: 73966
1655.49/1706.60 c #Conflicts: 530000 | #Constraints: 74967
1655.49/1706.60 c #Conflicts: 531000 | #Constraints: 75967
1655.49/1706.60 c #Conflicts: 532000 | #Constraints: 76967
1655.49/1706.60 c #Conflicts: 533000 | #Constraints: 77967
1655.49/1706.60 c #Conflicts: 534000 | #Constraints: 78967
1655.49/1706.60 c #Conflicts: 535000 | #Constraints: 79967
1655.49/1706.60 c #Conflicts: 536000 | #Constraints: 80967
1655.49/1706.60 c #Conflicts: 537000 | #Constraints: 81967
1655.49/1706.60 c #Conflicts: 538000 | #Constraints: 82967
1655.49/1706.60 c #Conflicts: 539000 | #Constraints: 83967
1655.49/1706.60 c #Conflicts: 540000 | #Constraints: 84967
1655.49/1706.60 c #Conflicts: 541000 | #Constraints: 85967
1655.49/1706.60 c #Conflicts: 542000 | #Constraints: 86967
1655.49/1706.60 c #Conflicts: 543000 | #Constraints: 87967
1655.49/1706.60 c #Conflicts: 544000 | #Constraints: 88967
1655.49/1706.60 c #Conflicts: 545000 | #Constraints: 89967
1655.49/1706.60 c #Conflicts: 546000 | #Constraints: 90967
1655.49/1706.60 c #Conflicts: 547000 | #Constraints: 91967
1655.49/1706.60 c #Conflicts: 548000 | #Constraints: 92967
1655.49/1706.60 c #Conflicts: 549000 | #Constraints: 93967
1655.49/1706.60 c #Conflicts: 550000 | #Constraints: 94967
1655.49/1706.60 c #Conflicts: 551000 | #Constraints: 95967
1655.49/1706.60 c #Conflicts: 552000 | #Constraints: 96967
1655.49/1706.60 c #Conflicts: 553000 | #Constraints: 97967
1655.49/1706.60 c #Conflicts: 554000 | #Constraints: 98967
1655.49/1706.60 c #Conflicts: 555000 | #Constraints: 99967
1655.49/1706.60 c #Conflicts: 556000 | #Constraints: 100967
1655.49/1706.60 c #Conflicts: 557000 | #Constraints: 101967
1655.49/1706.60 c #Conflicts: 558000 | #Constraints: 102967
1655.49/1706.60 c #Conflicts: 559000 | #Constraints: 103967
1655.49/1706.60 c #Conflicts: 560000 | #Constraints: 104967
1655.49/1706.60 c #Conflicts: 561000 | #Constraints: 105967
1655.49/1706.60 c #Conflicts: 562000 | #Constraints: 106967
1655.49/1706.60 c #Conflicts: 563000 | #Constraints: 107967
1655.49/1706.60 c #Conflicts: 564000 | #Constraints: 108967
1655.49/1706.60 c bounds 19 >= 17 @ 1646.71
1711.65/1763.05 c #Conflicts: 565000 | #Constraints: 109968
1711.65/1763.05 c #Conflicts: 566000 | #Constraints: 110968
1711.65/1763.05 c #Conflicts: 567000 | #Constraints: 111968
1711.65/1763.05 c #Conflicts: 568000 | #Constraints: 112968
1711.65/1763.05 c #Conflicts: 569000 | #Constraints: 113968
1711.65/1763.05 c #Conflicts: 570000 | #Constraints: 114968
1711.65/1763.05 c #Conflicts: 571000 | #Constraints: 115968
1711.65/1763.05 c #Conflicts: 572000 | #Constraints: 116968
1711.65/1763.05 c #Conflicts: 573000 | #Constraints: 117968
1711.65/1763.05 c INPROCESSING
1711.65/1763.05 c GARBAGE COLLECT
1711.65/1763.05 c rational objective 17
1775.57/1827.32 c #Conflicts: 574000 | #Constraints: 76642
1775.57/1827.32 c #Conflicts: 575000 | #Constraints: 77642
1775.57/1827.32 c #Conflicts: 576000 | #Constraints: 78642
1775.57/1827.32 c #Conflicts: 577000 | #Constraints: 79642
1775.57/1827.32 c #Conflicts: 578000 | #Constraints: 80642
1775.57/1827.32 c #Conflicts: 579000 | #Constraints: 81642
1775.57/1827.32 c #Conflicts: 580000 | #Constraints: 82642
1775.57/1827.32 c #Conflicts: 581000 | #Constraints: 83642
1775.57/1827.32 c #Conflicts: 582000 | #Constraints: 84642
1775.57/1827.32 c #Conflicts: 583000 | #Constraints: 85642
1775.57/1827.32 c #Conflicts: 584000 | #Constraints: 86642
1775.57/1827.32 c #Conflicts: 585000 | #Constraints: 87642
1775.57/1827.32 c #Conflicts: 586000 | #Constraints: 88642
1775.57/1827.32 c #Conflicts: 587000 | #Constraints: 89642
1775.57/1827.32 c #Conflicts: 588000 | #Constraints: 90642
1775.57/1827.32 c INPROCESSING
1775.57/1827.32 c GARBAGE COLLECT
1775.57/1827.32 c rational objective 17
1832.90/1885.12 c #Conflicts: 589000 | #Constraints: 62469
1832.90/1885.12 c #Conflicts: 590000 | #Constraints: 63469
1832.90/1885.12 c #Conflicts: 591000 | #Constraints: 64469
1832.90/1885.12 c #Conflicts: 592000 | #Constraints: 65469
1832.90/1885.12 c #Conflicts: 593000 | #Constraints: 66469
1832.90/1885.12 c #Conflicts: 594000 | #Constraints: 67469
1832.90/1885.12 c #Conflicts: 595000 | #Constraints: 68469
1832.90/1885.12 c #Conflicts: 596000 | #Constraints: 69469
1832.90/1885.12 c #Conflicts: 597000 | #Constraints: 70469
1832.90/1885.12 c #Conflicts: 598000 | #Constraints: 71469
1832.90/1885.12 c #Conflicts: 599000 | #Constraints: 72469
1832.90/1885.12 c #Conflicts: 600000 | #Constraints: 73469
1832.90/1885.12 c #Conflicts: 601000 | #Constraints: 74469
1832.90/1885.12 c #Conflicts: 602000 | #Constraints: 75469
1832.90/1885.12 c #Conflicts: 603000 | #Constraints: 76469
1832.90/1885.12 c #Conflicts: 604000 | #Constraints: 77469
1832.90/1885.12 c INPROCESSING
1832.90/1885.12 c GARBAGE COLLECT
1832.90/1885.12 c rational objective 17
1883.42/1936.13 c #Conflicts: 605000 | #Constraints: 56092
1883.42/1936.13 c #Conflicts: 606000 | #Constraints: 57092
1883.42/1936.13 c #Conflicts: 607000 | #Constraints: 58092
1883.42/1936.13 c #Conflicts: 608000 | #Constraints: 59092
1883.42/1936.13 c #Conflicts: 609000 | #Constraints: 60092
1883.42/1936.13 c #Conflicts: 610000 | #Constraints: 61092
1883.42/1936.13 c #Conflicts: 611000 | #Constraints: 62092
1883.42/1936.13 c #Conflicts: 612000 | #Constraints: 63092
1883.42/1936.13 c #Conflicts: 613000 | #Constraints: 64092
1883.42/1936.13 c #Conflicts: 614000 | #Constraints: 65092
1883.42/1936.13 c #Conflicts: 615000 | #Constraints: 66092
1883.42/1936.13 c #Conflicts: 616000 | #Constraints: 67092
1883.42/1936.13 c #Conflicts: 617000 | #Constraints: 68092
1883.42/1936.13 c #Conflicts: 618000 | #Constraints: 69092
1883.42/1936.13 c #Conflicts: 619000 | #Constraints: 70092
1883.42/1936.13 c #Conflicts: 620000 | #Constraints: 71092
1883.42/1936.13 c INPROCESSING
1883.42/1936.13 c GARBAGE COLLECT
1883.42/1936.13 c rational objective 17
1944.54/1997.63 c #Conflicts: 621000 | #Constraints: 52869
1944.54/1997.63 c #Conflicts: 622000 | #Constraints: 53869
1944.54/1997.63 c #Conflicts: 623000 | #Constraints: 54869
1944.54/1997.63 c #Conflicts: 624000 | #Constraints: 55869
1944.54/1997.63 c #Conflicts: 625000 | #Constraints: 56869
1944.54/1997.63 c #Conflicts: 626000 | #Constraints: 57869
1944.54/1997.63 c #Conflicts: 627000 | #Constraints: 58869
1944.54/1997.63 c #Conflicts: 628000 | #Constraints: 59869
1944.54/1997.63 c #Conflicts: 629000 | #Constraints: 60869
1944.54/1997.63 c #Conflicts: 630000 | #Constraints: 61869
1944.54/1997.63 c #Conflicts: 631000 | #Constraints: 62869
1944.54/1997.63 c #Conflicts: 632000 | #Constraints: 63869
1944.54/1997.63 c #Conflicts: 633000 | #Constraints: 64869
1944.54/1997.63 c #Conflicts: 634000 | #Constraints: 65869
1944.54/1997.63 c #Conflicts: 635000 | #Constraints: 66869
1944.54/1997.63 c #Conflicts: 636000 | #Constraints: 67869
1944.54/1997.63 c INPROCESSING
1944.54/1997.63 c GARBAGE COLLECT
1944.54/1997.63 c rational objective 17
1996.26/2050.49 c #Conflicts: 637000 | #Constraints: 51280
1996.26/2050.49 c #Conflicts: 638000 | #Constraints: 52280
1996.26/2050.49 c #Conflicts: 639000 | #Constraints: 53280
1996.26/2050.49 c #Conflicts: 640000 | #Constraints: 54280
1996.26/2050.49 c #Conflicts: 641000 | #Constraints: 55280
1996.26/2050.49 c #Conflicts: 642000 | #Constraints: 56280
1996.26/2050.49 c #Conflicts: 643000 | #Constraints: 57280
1996.26/2050.49 c #Conflicts: 644000 | #Constraints: 58280
1996.26/2050.49 c #Conflicts: 645000 | #Constraints: 59280
1996.26/2050.49 c #Conflicts: 646000 | #Constraints: 60280
1996.26/2050.49 c #Conflicts: 647000 | #Constraints: 61280
1996.26/2050.49 c #Conflicts: 648000 | #Constraints: 62280
1996.26/2050.49 c #Conflicts: 649000 | #Constraints: 63280
1996.26/2050.49 c #Conflicts: 650000 | #Constraints: 64280
1996.26/2050.49 c #Conflicts: 651000 | #Constraints: 65280
1996.26/2050.49 c #Conflicts: 652000 | #Constraints: 66280
1996.26/2050.49 c INPROCESSING
1996.26/2050.49 c GARBAGE COLLECT
1996.26/2050.49 c rational objective 17
2435.20/2505.24 c #Conflicts: 653000 | #Constraints: 50497
2435.20/2505.24 c #Conflicts: 654000 | #Constraints: 51497
2435.20/2505.24 c #Conflicts: 655000 | #Constraints: 52497
2435.20/2505.24 c #Conflicts: 656000 | #Constraints: 53498
2435.20/2505.24 c #Conflicts: 657000 | #Constraints: 54498
2435.20/2505.24 c #Conflicts: 658000 | #Constraints: 55498
2435.20/2505.24 c #Conflicts: 659000 | #Constraints: 56498
2435.20/2505.24 c #Conflicts: 660000 | #Constraints: 57498
2435.20/2505.24 c #Conflicts: 661000 | #Constraints: 58498
2435.20/2505.24 c #Conflicts: 662000 | #Constraints: 59498
2435.20/2505.24 c #Conflicts: 663000 | #Constraints: 60498
2435.20/2505.24 c #Conflicts: 664000 | #Constraints: 61498
2435.20/2505.24 c #Conflicts: 665000 | #Constraints: 62498
2435.20/2505.24 c #Conflicts: 666000 | #Constraints: 63498
2435.20/2505.24 c #Conflicts: 667000 | #Constraints: 64498
2435.20/2505.24 c #Conflicts: 668000 | #Constraints: 65498
2435.20/2505.24 c #Conflicts: 669000 | #Constraints: 66498
2435.20/2505.24 c #Conflicts: 670000 | #Constraints: 67498
2435.20/2505.24 c #Conflicts: 671000 | #Constraints: 68498
2435.20/2505.24 c #Conflicts: 672000 | #Constraints: 69498
2435.20/2505.24 c #Conflicts: 673000 | #Constraints: 70498
2435.20/2505.24 c #Conflicts: 674000 | #Constraints: 71498
2435.20/2505.24 c #Conflicts: 675000 | #Constraints: 72498
2435.20/2505.24 c #Conflicts: 676000 | #Constraints: 73498
2435.20/2505.24 c #Conflicts: 677000 | #Constraints: 74498
2435.20/2505.24 c #Conflicts: 678000 | #Constraints: 75498
2435.20/2505.24 c #Conflicts: 679000 | #Constraints: 76498
2435.20/2505.24 c #Conflicts: 680000 | #Constraints: 77498
2435.20/2505.24 c #Conflicts: 681000 | #Constraints: 78498
2435.20/2505.24 c #Conflicts: 682000 | #Constraints: 79498
2435.20/2505.24 c #Conflicts: 683000 | #Constraints: 80498
2435.20/2505.24 c #Conflicts: 684000 | #Constraints: 81498
2435.20/2505.24 c #Conflicts: 685000 | #Constraints: 82498
2435.20/2505.24 c #Conflicts: 686000 | #Constraints: 83498
2435.20/2505.24 c #Conflicts: 687000 | #Constraints: 84498
2435.20/2505.24 c #Conflicts: 688000 | #Constraints: 85498
2435.20/2505.24 c #Conflicts: 689000 | #Constraints: 86498
2435.20/2505.24 c #Conflicts: 690000 | #Constraints: 87498
2435.20/2505.24 c #Conflicts: 691000 | #Constraints: 88498
2435.20/2505.24 c #Conflicts: 692000 | #Constraints: 89498
2435.20/2505.24 c #Conflicts: 693000 | #Constraints: 90498
2435.20/2505.24 c #Conflicts: 694000 | #Constraints: 91498
2435.20/2505.24 c #Conflicts: 695000 | #Constraints: 92498
2435.20/2505.24 c #Conflicts: 696000 | #Constraints: 93498
2435.20/2505.24 c #Conflicts: 697000 | #Constraints: 94498
2435.20/2505.24 c #Conflicts: 698000 | #Constraints: 95498
2435.20/2505.24 c #Conflicts: 699000 | #Constraints: 96498
2435.20/2505.24 c #Conflicts: 700000 | #Constraints: 97498
2435.20/2505.24 c #Conflicts: 701000 | #Constraints: 98498
2435.20/2505.24 c #Conflicts: 702000 | #Constraints: 99498
2435.20/2505.24 c #Conflicts: 703000 | #Constraints: 100498
2435.20/2505.24 c #Conflicts: 704000 | #Constraints: 101498
2435.20/2505.24 c #Conflicts: 705000 | #Constraints: 102498
2435.20/2505.24 c #Conflicts: 706000 | #Constraints: 103498
2435.20/2505.24 c #Conflicts: 707000 | #Constraints: 104498
2435.20/2505.24 c #Conflicts: 708000 | #Constraints: 105498
2435.20/2505.24 c #Conflicts: 709000 | #Constraints: 106498
2435.20/2505.24 c #Conflicts: 710000 | #Constraints: 107498
2435.20/2505.24 c #Conflicts: 711000 | #Constraints: 108498
2435.20/2505.24 c #Conflicts: 712000 | #Constraints: 109498
2435.20/2505.24 c #Conflicts: 713000 | #Constraints: 110498
2435.20/2505.24 c #Conflicts: 714000 | #Constraints: 111498
2435.20/2505.24 c #Conflicts: 715000 | #Constraints: 112498
2435.20/2505.24 c #Conflicts: 716000 | #Constraints: 113498
2435.20/2505.24 c #Conflicts: 717000 | #Constraints: 114498
2435.20/2505.24 c #Conflicts: 718000 | #Constraints: 115498
2435.20/2505.24 c #Conflicts: 719000 | #Constraints: 116498
2435.20/2505.24 c #Conflicts: 720000 | #Constraints: 117498
2435.20/2505.24 c #Conflicts: 721000 | #Constraints: 118498
2435.20/2505.24 c #Conflicts: 722000 | #Constraints: 119498
2435.20/2505.24 c #Conflicts: 723000 | #Constraints: 120498
2435.20/2505.24 c #Conflicts: 724000 | #Constraints: 121498
2435.20/2505.24 c #Conflicts: 725000 | #Constraints: 122498
2435.20/2505.24 c #Conflicts: 726000 | #Constraints: 123498
2435.20/2505.24 c #Conflicts: 727000 | #Constraints: 124498
2435.20/2505.24 c #Conflicts: 728000 | #Constraints: 125498
2435.20/2505.24 c #Conflicts: 729000 | #Constraints: 126498
2435.20/2505.24 c #Conflicts: 730000 | #Constraints: 127498
2435.20/2505.24 c #Conflicts: 731000 | #Constraints: 128498
2436.80/2506.80 c INPROCESSING
2436.80/2506.80 c GARBAGE COLLECT
2436.80/2506.80 c rational objective 17
2517.58/2587.80 c #Conflicts: 732000 | #Constraints: 81728
2517.58/2587.80 c #Conflicts: 733000 | #Constraints: 82728
2517.58/2587.80 c #Conflicts: 734000 | #Constraints: 83728
2517.58/2587.80 c #Conflicts: 735000 | #Constraints: 84728
2517.58/2587.80 c #Conflicts: 736000 | #Constraints: 85728
2517.58/2587.80 c #Conflicts: 737000 | #Constraints: 86728
2517.58/2587.80 c #Conflicts: 738000 | #Constraints: 87728
2517.58/2587.80 c #Conflicts: 739000 | #Constraints: 88728
2517.58/2587.80 c #Conflicts: 740000 | #Constraints: 89728
2517.58/2587.80 c #Conflicts: 741000 | #Constraints: 90728
2517.58/2587.80 c #Conflicts: 742000 | #Constraints: 91728
2517.58/2587.80 c #Conflicts: 743000 | #Constraints: 92728
2517.58/2587.80 c #Conflicts: 744000 | #Constraints: 93728
2517.58/2587.80 c #Conflicts: 745000 | #Constraints: 94728
2517.58/2587.80 c #Conflicts: 746000 | #Constraints: 95728
2517.58/2587.80 c #Conflicts: 747000 | #Constraints: 96728
2517.58/2587.80 c #Conflicts: 748000 | #Constraints: 97728
2517.58/2587.80 c #Conflicts: 749000 | #Constraints: 98728
2517.58/2587.80 c INPROCESSING
2517.58/2587.80 c GARBAGE COLLECT
2517.58/2587.80 c rational objective 17
2556.08/2626.44 c #Conflicts: 750000 | #Constraints: 66933
2556.08/2626.44 c #Conflicts: 751000 | #Constraints: 67933
2556.08/2626.44 c #Conflicts: 752000 | #Constraints: 68933
2556.08/2626.44 c #Conflicts: 753000 | #Constraints: 69933
2556.08/2626.44 c #Conflicts: 754000 | #Constraints: 70933
2556.08/2626.44 c #Conflicts: 755000 | #Constraints: 71933
2556.08/2626.44 c #Conflicts: 756000 | #Constraints: 72933
2556.08/2626.44 c #Conflicts: 757000 | #Constraints: 73933
2556.08/2626.44 c bounds 19 >= 18 @ 2544.17
2596.97/2667.41 c #Conflicts: 758000 | #Constraints: 74969
2596.97/2667.41 c #Conflicts: 759000 | #Constraints: 75969
2596.97/2667.41 c #Conflicts: 760000 | #Constraints: 76969
2596.97/2667.41 c #Conflicts: 761000 | #Constraints: 77969
2596.97/2667.41 c #Conflicts: 762000 | #Constraints: 78969
2596.97/2667.41 c #Conflicts: 763000 | #Constraints: 79969
2596.97/2667.41 c #Conflicts: 764000 | #Constraints: 80969
2596.97/2667.41 c #Conflicts: 765000 | #Constraints: 81969
2596.97/2667.41 c #Conflicts: 766000 | #Constraints: 82969
2596.97/2667.41 c INPROCESSING
2596.97/2667.41 c GARBAGE COLLECT
2596.97/2667.41 c rational objective 18
2662.31/2732.96 c #Conflicts: 767000 | #Constraints: 58787
2662.31/2732.96 c #Conflicts: 768000 | #Constraints: 59787
2662.31/2732.96 c #Conflicts: 769000 | #Constraints: 60787
2662.31/2732.96 c #Conflicts: 770000 | #Constraints: 61787
2662.31/2732.96 c #Conflicts: 771000 | #Constraints: 62787
2662.31/2732.96 c #Conflicts: 772000 | #Constraints: 63787
2662.31/2732.96 c #Conflicts: 773000 | #Constraints: 64787
2662.31/2732.96 c #Conflicts: 774000 | #Constraints: 65787
2662.31/2732.96 c #Conflicts: 775000 | #Constraints: 66787
2662.31/2732.96 c #Conflicts: 776000 | #Constraints: 67787
2662.31/2732.96 c #Conflicts: 777000 | #Constraints: 68787
2662.31/2732.96 c #Conflicts: 778000 | #Constraints: 69787
2662.31/2732.96 c #Conflicts: 779000 | #Constraints: 70787
2662.31/2732.96 c #Conflicts: 780000 | #Constraints: 71787
2662.31/2732.96 c #Conflicts: 781000 | #Constraints: 72787
2662.31/2732.96 c #Conflicts: 782000 | #Constraints: 73787
2662.31/2732.96 c #Conflicts: 783000 | #Constraints: 74787
2662.31/2732.96 c #Conflicts: 784000 | #Constraints: 75787
2662.31/2732.96 c INPROCESSING
2662.31/2732.96 c GARBAGE COLLECT
2662.31/2732.96 c rational objective 18
2721.44/2792.28 c #Conflicts: 785000 | #Constraints: 55267
2721.44/2792.28 c #Conflicts: 786000 | #Constraints: 56267
2721.44/2792.28 c #Conflicts: 787000 | #Constraints: 57267
2721.44/2792.28 c #Conflicts: 788000 | #Constraints: 58267
2721.44/2792.28 c #Conflicts: 789000 | #Constraints: 59267
2721.44/2792.28 c #Conflicts: 790000 | #Constraints: 60267
2721.44/2792.28 c #Conflicts: 791000 | #Constraints: 61267
2721.44/2792.28 c #Conflicts: 792000 | #Constraints: 62267
2721.44/2792.28 c #Conflicts: 793000 | #Constraints: 63267
2721.44/2792.28 c #Conflicts: 794000 | #Constraints: 64267
2721.44/2792.28 c #Conflicts: 795000 | #Constraints: 65267
2721.44/2792.28 c #Conflicts: 796000 | #Constraints: 66267
2721.44/2792.28 c #Conflicts: 797000 | #Constraints: 67267
2721.44/2792.28 c #Conflicts: 798000 | #Constraints: 68267
2721.44/2792.28 c #Conflicts: 799000 | #Constraints: 69267
2721.44/2792.28 c #Conflicts: 800000 | #Constraints: 70267
2721.44/2792.28 c #Conflicts: 801000 | #Constraints: 71268
2721.44/2792.28 c #Conflicts: 802000 | #Constraints: 72268
2721.44/2792.28 c #Conflicts: 803000 | #Constraints: 73268
2721.44/2792.28 c INPROCESSING
2721.44/2792.28 c GARBAGE COLLECT
2721.44/2792.28 c rational objective 18
3192.97/3297.55 c #Conflicts: 804000 | #Constraints: 54318
3192.97/3297.55 c #Conflicts: 805000 | #Constraints: 55318
3192.97/3297.55 c #Conflicts: 806000 | #Constraints: 56318
3192.97/3297.55 c #Conflicts: 807000 | #Constraints: 57318
3192.97/3297.55 c #Conflicts: 808000 | #Constraints: 58318
3192.97/3297.55 c #Conflicts: 809000 | #Constraints: 59318
3192.97/3297.55 c #Conflicts: 810000 | #Constraints: 60318
3192.97/3297.55 c #Conflicts: 811000 | #Constraints: 61318
3192.97/3297.55 c #Conflicts: 812000 | #Constraints: 62318
3192.97/3297.55 c #Conflicts: 813000 | #Constraints: 63318
3192.97/3297.55 c #Conflicts: 814000 | #Constraints: 64318
3192.97/3297.55 c #Conflicts: 815000 | #Constraints: 65318
3192.97/3297.55 c #Conflicts: 816000 | #Constraints: 66318
3192.97/3297.55 c #Conflicts: 817000 | #Constraints: 67318
3192.97/3297.55 c #Conflicts: 818000 | #Constraints: 68318
3192.97/3297.55 c #Conflicts: 819000 | #Constraints: 69318
3192.97/3297.55 c #Conflicts: 820000 | #Constraints: 70318
3192.97/3297.55 c #Conflicts: 821000 | #Constraints: 71318
3192.97/3297.55 c #Conflicts: 822000 | #Constraints: 72318
3192.97/3297.55 c #Conflicts: 823000 | #Constraints: 73318
3192.97/3297.55 c #Conflicts: 824000 | #Constraints: 74318
3192.97/3297.55 c #Conflicts: 825000 | #Constraints: 75318
3192.97/3297.55 c #Conflicts: 826000 | #Constraints: 76318
3192.97/3297.55 c #Conflicts: 827000 | #Constraints: 77318
3192.97/3297.55 c #Conflicts: 828000 | #Constraints: 78318
3192.97/3297.55 c #Conflicts: 829000 | #Constraints: 79318
3192.97/3297.55 c #Conflicts: 830000 | #Constraints: 80318
3192.97/3297.55 c #Conflicts: 831000 | #Constraints: 81318
3192.97/3297.55 c #Conflicts: 832000 | #Constraints: 82318
3192.97/3297.55 c #Conflicts: 833000 | #Constraints: 83318
3192.97/3297.55 c #Conflicts: 834000 | #Constraints: 84318
3192.97/3297.55 c #Conflicts: 835000 | #Constraints: 85318
3192.97/3297.55 c #Conflicts: 836000 | #Constraints: 86318
3192.97/3297.55 c #Conflicts: 837000 | #Constraints: 87318
3192.97/3297.55 c #Conflicts: 838000 | #Constraints: 88318
3192.97/3297.55 c #Conflicts: 839000 | #Constraints: 89318
3192.97/3297.55 c #Conflicts: 840000 | #Constraints: 90318
3192.97/3297.55 c #Conflicts: 841000 | #Constraints: 91318
3192.97/3297.55 c #Conflicts: 842000 | #Constraints: 92318
3192.97/3297.55 c #Conflicts: 843000 | #Constraints: 93318
3192.97/3297.55 c #Conflicts: 844000 | #Constraints: 94318
3192.97/3297.55 c #Conflicts: 845000 | #Constraints: 95318
3192.97/3297.55 c #Conflicts: 846000 | #Constraints: 96318
3192.97/3297.55 c #Conflicts: 847000 | #Constraints: 97318
3192.97/3297.55 c #Conflicts: 848000 | #Constraints: 98318
3192.97/3297.55 c #Conflicts: 849000 | #Constraints: 99318
3192.97/3297.55 c #Conflicts: 850000 | #Constraints: 100318
3192.97/3297.55 c #Conflicts: 851000 | #Constraints: 101318
3192.97/3297.55 c #Conflicts: 852000 | #Constraints: 102318
3192.97/3297.55 c #Conflicts: 853000 | #Constraints: 103318
3192.97/3297.55 c #Conflicts: 854000 | #Constraints: 104318
3192.97/3297.55 c #Conflicts: 855000 | #Constraints: 105318
3192.97/3297.55 c #Conflicts: 856000 | #Constraints: 106318
3192.97/3297.55 c #Conflicts: 857000 | #Constraints: 107318
3192.97/3297.55 c #Conflicts: 858000 | #Constraints: 108318
3192.97/3297.55 c #Conflicts: 859000 | #Constraints: 109318
3192.97/3297.55 c #Conflicts: 860000 | #Constraints: 110318
3192.97/3297.55 c #Conflicts: 861000 | #Constraints: 111318
3192.97/3297.55 c #Conflicts: 862000 | #Constraints: 112318
3192.97/3297.55 c #Conflicts: 863000 | #Constraints: 113318
3192.97/3297.55 c #Conflicts: 864000 | #Constraints: 114318
3192.97/3297.55 c #Conflicts: 865000 | #Constraints: 115318
3192.97/3297.55 c #Conflicts: 866000 | #Constraints: 116318
3192.97/3297.55 c #Conflicts: 867000 | #Constraints: 117318
3192.97/3297.55 c #Conflicts: 868000 | #Constraints: 118318
3192.97/3297.55 c #Conflicts: 869000 | #Constraints: 119318
3192.97/3297.55 c #Conflicts: 870000 | #Constraints: 120318
3192.97/3297.55 c #Conflicts: 871000 | #Constraints: 121318
3192.97/3297.55 c #Conflicts: 872000 | #Constraints: 122318
3192.97/3297.55 c #Conflicts: 873000 | #Constraints: 123318
3192.97/3297.55 c #Conflicts: 874000 | #Constraints: 124318
3192.97/3297.55 c #Conflicts: 875000 | #Constraints: 125318
3192.97/3297.55 c #Conflicts: 876000 | #Constraints: 126318
3192.97/3297.55 c #Conflicts: 877000 | #Constraints: 127318
3192.97/3297.55 c #Conflicts: 878000 | #Constraints: 128318
3192.97/3297.55 c #Conflicts: 879000 | #Constraints: 129318
3192.97/3297.55 c #Conflicts: 880000 | #Constraints: 130318
3192.97/3297.55 c #Conflicts: 881000 | #Constraints: 131318
3192.97/3297.55 c #Conflicts: 882000 | #Constraints: 132318
3245.36/3350.02 c #Conflicts: 883000 | #Constraints: 133318
3245.36/3350.02 c #Conflicts: 884000 | #Constraints: 134318
3245.36/3350.02 c #Conflicts: 885000 | #Constraints: 135318
3245.36/3350.02 c #Conflicts: 886000 | #Constraints: 136318
3245.36/3350.02 c #Conflicts: 887000 | #Constraints: 137318
3245.36/3350.02 c #Conflicts: 888000 | #Constraints: 138318
3245.36/3350.02 c INPROCESSING
3245.36/3350.02 c GARBAGE COLLECT
3245.36/3350.02 c rational objective 18
3359.27/3464.28 c #Conflicts: 889000 | #Constraints: 86753
3359.27/3464.28 c #Conflicts: 890000 | #Constraints: 87753
3359.27/3464.28 c #Conflicts: 891000 | #Constraints: 88753
3359.27/3464.28 c #Conflicts: 892000 | #Constraints: 89753
3359.27/3464.28 c #Conflicts: 893000 | #Constraints: 90753
3359.27/3464.28 c #Conflicts: 894000 | #Constraints: 91753
3359.27/3464.28 c #Conflicts: 895000 | #Constraints: 92753
3359.27/3464.28 c #Conflicts: 896000 | #Constraints: 93753
3359.27/3464.28 c #Conflicts: 897000 | #Constraints: 94753
3359.27/3464.28 c #Conflicts: 898000 | #Constraints: 95753
3359.27/3464.28 c #Conflicts: 899000 | #Constraints: 96753
3359.27/3464.28 c #Conflicts: 900000 | #Constraints: 97753
3359.27/3464.28 c #Conflicts: 901000 | #Constraints: 98753
3359.27/3464.28 c #Conflicts: 902000 | #Constraints: 99753
3359.27/3464.28 c #Conflicts: 903000 | #Constraints: 100753
3359.27/3464.28 c #Conflicts: 904000 | #Constraints: 101753
3359.27/3464.28 c #Conflicts: 905000 | #Constraints: 102753
3359.27/3464.28 c #Conflicts: 906000 | #Constraints: 103753
3359.27/3464.28 c #Conflicts: 907000 | #Constraints: 104753
3359.27/3464.28 c INPROCESSING
3359.27/3464.28 c GARBAGE COLLECT
3359.27/3464.28 c rational objective 18
3464.03/3569.28 c #Conflicts: 908000 | #Constraints: 67178
3464.03/3569.28 c #Conflicts: 909000 | #Constraints: 68178
3464.03/3569.28 c #Conflicts: 910000 | #Constraints: 69178
3464.03/3569.28 c #Conflicts: 911000 | #Constraints: 70178
3464.03/3569.28 c #Conflicts: 912000 | #Constraints: 71178
3464.03/3569.28 c #Conflicts: 913000 | #Constraints: 72178
3464.03/3569.28 c #Conflicts: 914000 | #Constraints: 73178
3464.03/3569.28 c #Conflicts: 915000 | #Constraints: 74178
3464.03/3569.28 c #Conflicts: 916000 | #Constraints: 75178
3464.03/3569.28 c #Conflicts: 917000 | #Constraints: 76178
3464.03/3569.28 c #Conflicts: 918000 | #Constraints: 77178
3464.03/3569.28 c #Conflicts: 919000 | #Constraints: 78178
3464.03/3569.28 c #Conflicts: 920000 | #Constraints: 79178
3464.03/3569.28 c #Conflicts: 921000 | #Constraints: 80178
3464.03/3569.28 c #Conflicts: 922000 | #Constraints: 81178
3464.03/3569.28 c #Conflicts: 923000 | #Constraints: 82178
3464.03/3569.28 c #Conflicts: 924000 | #Constraints: 83178
3464.03/3569.28 c #Conflicts: 925000 | #Constraints: 84178
3464.03/3569.28 c #Conflicts: 926000 | #Constraints: 85178
3464.03/3569.28 c #Conflicts: 927000 | #Constraints: 86178
3464.03/3569.28 c INPROCESSING
3464.03/3569.28 c GARBAGE COLLECT
3464.03/3569.28 c rational objective 18
3540.37/3701.17 c #Conflicts: 928000 | #Constraints: 60640
3540.37/3701.17 c #Conflicts: 929000 | #Constraints: 61640
3540.37/3701.17 c #Conflicts: 930000 | #Constraints: 62640
3540.37/3701.17 c #Conflicts: 931000 | #Constraints: 63640
3540.37/3701.17 c #Conflicts: 932000 | #Constraints: 64640
3540.37/3701.17 c #Conflicts: 933000 | #Constraints: 65640
3540.37/3701.17 c #Conflicts: 934000 | #Constraints: 66640
3540.37/3701.17 c #Conflicts: 935000 | #Constraints: 67640
3540.37/3701.17 c #Conflicts: 936000 | #Constraints: 68640
3540.37/3701.17 c #Conflicts: 937000 | #Constraints: 69640
3540.37/3701.17 c #Conflicts: 938000 | #Constraints: 70640
3540.37/3701.17 c #Conflicts: 939000 | #Constraints: 71640
3540.37/3701.17 c #Conflicts: 940000 | #Constraints: 72640
3540.37/3701.17 c #Conflicts: 941000 | #Constraints: 73640
3540.37/3701.17 c #Conflicts: 942000 | #Constraints: 74640
3540.37/3701.17 c #Conflicts: 943000 | #Constraints: 75640
3540.37/3701.17 c #Conflicts: 944000 | #Constraints: 76640
3540.37/3701.17 c #Conflicts: 945000 | #Constraints: 77640
3540.37/3701.17 c cpu time 3524.7 s
3540.37/3701.17 c deterministic time 198238382498 1.98e+11
3540.37/3701.17 c optimization time 74.1327 s
3540.37/3701.17 c total solve time 3450.17 s
3540.37/3701.17 c core-guided solve time 1880.21 s
3540.37/3701.17 c propagation time 1691.1 s
3540.37/3701.17 c conflict analysis time 1672.97 s
3540.37/3701.17 c propagations 939850263
3540.37/3701.17 c resolve steps 111375551
3540.37/3701.17 c decisions 4886922
3540.37/3701.17 c conflicts 945900
3540.37/3701.17 c restarts 2043
3540.37/3701.17 c inprocessing phases 76
3540.37/3701.17 c garbage collections 76 ,( 100.00 )
3540.37/3701.17 c input clauses 32334 ,( 99.53 )
3540.37/3701.17 c input cardinalities 92 ,( 0.28 )
3540.37/3701.17 c input general constraints 60 ,( 0.18 )
3540.37/3701.17 c input average constraint length 3.32
3540.37/3701.17 c input average constraint degree 1.35
3540.37/3701.17 c learned clauses 817052 ,( 86.37 )
3540.37/3701.17 c learned cardinalities 2635 ,( 0.28 )
3540.37/3701.17 c learned general constraints 126259 ,( 13.35 )
3540.37/3701.17 c learned average constraint length 1235.82
3540.37/3701.17 c learned average constraint degree 1508095.50
3540.37/3701.17 c watched CF 32, 64, 128, Arb: 84869 , 0 , 0 , 0
3540.37/3701.17 c counting CF 32, 64, 128, Arb: 41451 , 0 , 0 , 0
3540.37/3701.17 c watched constraints 84869 ,( 67.19 )
3540.37/3701.17 c counting constraints 41450 ,( 32.81 )
3540.37/3701.17 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1569102894 , 23550080 , 7066003487 ,( 2489227425 , 4576776062 )
3540.37/3701.17 c gcd simplifications 880
3540.37/3701.17 c detected cardinalities 7
3540.37/3701.17 c weakened non-implied lits 106538501
3540.37/3701.17 c weakened non-implying lits 132809
3540.37/3701.17 c original variables 8901
3540.37/3701.17 c clausal propagations 828136574
3540.37/3701.17 c cardinality propagations 4806634
3540.37/3701.17 c watched propagations 9733556
3540.37/3701.17 c counting propagations 91600684
3540.37/3701.17 c watch lookups 55416323965
3540.37/3701.17 c watch backjump lookups 0
3540.37/3701.17 c watch checks 126705040487
3540.37/3701.17 c propagation checks 11403967075
3540.37/3701.17 c constraint additions 2821601833
3540.37/3701.17 c trail pops 945678654
3540.37/3701.17 c formula constraints 32281
3540.37/3701.17 c learned constraints 945897
3540.37/3701.17 c bound constraints 20
3540.37/3701.17 c core-guided constraints 185
3540.37/3701.17 c encountered formula constraints 93144876
3540.37/3701.17 c encountered learned constraints 18491569
3540.37/3701.17 c encountered bound constraints 360
3540.37/3701.17 c encountered core-guided constraints 684583
3540.37/3701.17 c LP total time 426.684 s
3540.37/3701.17 c LP solve time 339.46 s
3540.37/3701.17 c LP constraints added 33082
3540.37/3701.17 c LP constraints removed 788
3540.37/3701.17 c LP pivots internal 946233
3540.37/3701.17 c LP pivots root 87065
3540.37/3701.17 c LP calls 474
3540.37/3701.17 c LP optimalities 463
3540.37/3701.17 c LP no pivot count 109
3540.37/3701.17 c LP infeasibilities 7
3540.37/3701.17 c LP valid Farkas constraints 7
3540.37/3701.17 c LP learned Farkas constraints 7
3540.37/3701.17 c LP basis resets 0
3540.37/3701.17 c LP cycling count 0
3540.37/3701.17 c LP singular count 0
3540.37/3701.17 c LP no primal count 0
3540.37/3701.17 c LP no farkas count 0
3540.37/3701.17 c LP other issue count 0
3540.37/3701.17 c LP Gomory cuts 35
3540.37/3701.17 c LP learned cuts 766
3540.37/3701.17 c LP deleted cuts 788
3540.37/3701.17 c LP encountered Gomory constraints 0
3540.37/3701.17 c LP encountered Farkas constraints 44
3540.37/3701.17 c LP encountered learned Farkas constraints 12
3540.37/3701.17 c CG auxiliary variables introduced 66
3540.37/3701.17 c CG solutions found 7
3540.37/3701.17 c CG cores constructed 13
3540.37/3701.17 c CG core cardinality constraints returned 0
3540.37/3701.17 c CG unit cores 0
3540.37/3701.17 c CG single cores 13
3540.37/3701.17 c CG blocks removed during cardinality reduction 0
3540.37/3701.17 c CG first core best 0
3540.37/3701.17 c CG decision core best 0
3540.37/3701.17 c CG core reduction tie 0
3540.37/3701.17 c CG core degree average 1.00
3540.37/3701.17 c CG core slack average 63.46
3540.37/3701.17 c CG core upper bound improvements 27
3540.37/3701.17 c STR number of successful calls 0
3540.37/3701.17 c STR number of unsuccessful calls 0
3540.37/3701.17 c STR number of inconclusive calls 0
3540.37/3701.17 c STR number of successful attempts 0
3540.37/3701.17 c STR number of unsuccessful attempts 0
3540.37/3701.17 c STR number of inconclusive attempts 0
3540.37/3701.17 c STR average degree increase per successful call inf
3540.37/3701.17 c STR average degree increase per successful attempt inf
3540.37/3701.17 c STR total number of conflicts for successful attempts 0
3540.37/3701.17 c STR total number of conflicts for unsuccessful attempts 0
3540.37/3701.17 c STR total number of conflicts for inconclusive attempts 0
3540.37/3701.17 c STR average number of conflicts per successful attempt inf
3540.37/3701.17 c STR average number of conflicts per unsuccessful attempt inf
3540.37/3701.17 c STR average number of conflicts per inconclusive attempt inf
3540.37/3701.17 c AVG.sumWPerc 31.56
3540.37/3701.17 c bigint constraints 0
3540.37/3701.17 o 19
3540.37/3701.17 s SATISFIABLE
3540.37/3701.17 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 x2554 x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 -x3381 -x3382 -x3383 -x3384 x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 x5717 -x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 x6463 x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 x6482 -x6483 x6484 x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121 -x8122 -x8123 x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 -x8175 x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 x8184 -x8185 -x8186 -x8187 x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 x8720 -x8721 -x8722 -x8723 -x8724 x8725 -x8726 -x8727 x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 x8790 -x8791 -x8792 -x8793 -x8794 x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 x8855 -x8856 -x8857 x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 x8897 -x8898 x8899 -x8900 x8901
3540.37/3701.17 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 (60412 MiB free)
memory of node 1: 64507 MiB (62412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532458-1752588307/watcher-4532458-1752588307 -o /tmp/evaluation-result-4532458-1752588307/solver-4532458-1752588307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752584602-128318 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532458-1752588307.opb PROOFDIR/proof-4532458-1752588307
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=129057, runsolver pid=129054
[startup+0.100069 s]*
/proc/loadavg: 4.23 4.16 4.10 6/259 129059
/proc/meminfo: memFree=125764464/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174510474 4292608 704 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 704 640 219 0 110 0
[pid=129059] ppid=129057 vsize=33092 memory=21408 CPUtime=0.07 cores=5,7
/proc/129059/stat : 129059 (pbsuma) R 129057 129057 128305 0 -1 4194304 5735 0 0 0 5 2 0 0 20 0 1 0 174510475 33886208 5352 18446744073709551615 4210688 4653049 140723598776512 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 14213120 140723598780641 140723598780976 140723598780976 140723598786543 0
/proc/129059/statm: 8273 5352 992 108 0 5681 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37284 KiB
Current children cumulated memory: 24224 KiB
[startup+0.221739 s]*
/proc/loadavg: 4.23 4.16 4.10 5/259 129060
/proc/meminfo: memFree=125759424/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=57704 memory=10624 CPUtime=0.05 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 974 0 0 0 4 1 0 0 20 0 1 0 174510490 59088896 2656 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 14426 2656 1920 1147 0 1852 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 61896 KiB
Current children cumulated memory: 13568 KiB
[startup+0.313372 s]*
/proc/loadavg: 4.23 4.16 4.10 5/259 129060
/proc/meminfo: memFree=125759424/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=58540 memory=13672 CPUtime=0.14 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 1200 0 0 0 11 3 0 0 20 0 1 0 174510490 59944960 3418 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 14635 3418 1920 1147 0 2061 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 62732 KiB
Current children cumulated memory: 16616 KiB
[startup+0.700393 s]
/proc/loadavg: 4.23 4.16 4.10 5/259 129060
/proc/meminfo: memFree=125755392/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=96156 memory=52384 CPUtime=0.51 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 8625 0 0 0 42 9 0 0 20 0 1 0 174510490 98463744 13096 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 24039 13096 2272 1147 0 11465 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 100348 KiB
Current children cumulated memory: 55328 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.16 4.10 5/259 129060
/proc/meminfo: memFree=125698184/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=98152 memory=56616 CPUtime=1.31 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 9137 0 0 0 119 12 0 0 20 0 1 0 174510490 100507648 14154 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 24538 14154 2336 1147 0 11964 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 102344 KiB
Current children cumulated memory: 59560 KiB
[startup+3.11314 s]
/proc/loadavg: 4.23 4.16 4.10 5/259 129060
/proc/meminfo: memFree=125621008/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=116636 memory=72564 CPUtime=2.92 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 12658 0 0 0 278 14 0 0 20 0 1 0 174510490 119435264 18141 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 29159 18141 2336 1147 0 16585 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 120828 KiB
Current children cumulated memory: 75508 KiB
[startup+6.30034 s]
/proc/loadavg: 4.21 4.15 4.10 5/259 129060
/proc/meminfo: memFree=125494312/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=124584 memory=79464 CPUtime=6.09 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 14544 0 0 0 591 18 0 0 20 0 1 0 174510490 127574016 19866 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 31146 19866 2368 1147 0 18572 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 128776 KiB
Current children cumulated memory: 82408 KiB
[startup+12.7004 s]
/proc/loadavg: 4.20 4.15 4.10 5/259 129061
/proc/meminfo: memFree=125162108/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=153456 memory=106312 CPUtime=12.48 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 19723 0 0 0 1222 26 0 0 20 0 1 0 174510490 157138944 26578 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 38364 26578 2368 1147 0 25790 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 157648 KiB
Current children cumulated memory: 109256 KiB
[startup+25.5005 s]
/proc/loadavg: 4.97 4.32 4.16 5/259 129061
/proc/meminfo: memFree=124467140/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=159812 memory=110792 CPUtime=25.22 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 20846 0 0 0 2483 39 0 0 20 0 1 0 174510490 163647488 27698 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 39953 27698 2368 1147 0 27379 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 164004 KiB
Current children cumulated memory: 113736 KiB
[startup+51.1133 s]
/proc/loadavg: 4.71 4.31 4.16 5/258 129061
/proc/meminfo: memFree=123457104/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=177772 memory=121008 CPUtime=48.38 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 22882 0 0 0 4778 60 0 0 20 0 1 0 174510490 182038528 30252 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 44443 30252 2368 1147 0 31869 0
Current children cumulated CPU time: 48.49 s
Current children cumulated vsize: 181964 KiB
Current children cumulated memory: 123952 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.28 4.15 5/261 129066
/proc/meminfo: memFree=121401160/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=190244 memory=138992 CPUtime=96.43 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 25866 0 0 0 9537 106 0 0 20 0 1 0 174510490 194809856 34748 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 47561 34748 2368 1147 0 34987 0
Current children cumulated CPU time: 96.54 s
Current children cumulated vsize: 194436 KiB
Current children cumulated memory: 141936 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.26 4.15 4/261 129068
/proc/meminfo: memFree=118854368/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=220976 memory=160280 CPUtime=151.34 cores=5,7
/proc/129060/stat : 129060 (roundingsat) D 129057 129057 128305 0 -1 4194304 29206 0 0 0 14982 152 0 0 20 0 1 0 174510490 226279424 40070 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 55244 40070 2368 1147 0 42670 0
Current children cumulated CPU time: 151.45 s
Current children cumulated vsize: 225168 KiB
Current children cumulated memory: 163224 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.22 4.15 5/261 129077
/proc/meminfo: memFree=116762040/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=220976 memory=161176 CPUtime=200.39 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 29449 0 0 0 19852 187 0 0 20 0 1 0 174510490 226279424 40294 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 55244 40294 2368 1147 0 42670 0
Current children cumulated CPU time: 200.5 s
################
# More data... #
################
/proc/meminfo: memFree=84644924/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=871352 memory=764584 CPUtime=3177.7 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 66822 0 0 0 316341 1429 0 0 20 0 1 0 174510490 892264448 191146 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 217838 191146 2368 1147 0 205264 0
Current children cumulated CPU time: 3177.81 s
Current children cumulated vsize: 875544 KiB
Current children cumulated memory: 767528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.10 4/253 129318
/proc/meminfo: memFree=83787628/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=881924 memory=772264 CPUtime=3237.56 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 68755 0 0 0 322316 1440 0 0 20 0 1 0 174510490 903090176 193066 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 220481 193066 2368 1147 0 207907 0
Current children cumulated CPU time: 3237.67 s
Current children cumulated vsize: 886116 KiB
Current children cumulated memory: 775208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.10 4/254 129332
/proc/meminfo: memFree=82059940/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=899384 memory=788904 CPUtime=3297.41 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 72909 0 0 0 328285 1456 0 0 20 0 1 0 174510490 920969216 197226 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 224846 197226 2368 1147 0 212272 0
Current children cumulated CPU time: 3297.52 s
Current children cumulated vsize: 903576 KiB
Current children cumulated memory: 791848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 4/254 129334
/proc/meminfo: memFree=80875300/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=899384 memory=788904 CPUtime=3357.27 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 73008 0 0 0 334259 1468 0 0 20 0 1 0 174510490 920969216 197226 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 224846 197226 2368 1147 0 212272 0
Current children cumulated CPU time: 3357.38 s
Current children cumulated vsize: 903576 KiB
Current children cumulated memory: 791848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 4/252 129336
/proc/meminfo: memFree=80166688/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=899772 memory=789288 CPUtime=3417.13 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 73131 0 0 0 340227 1486 0 0 20 0 1 0 174510490 921366528 197322 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 224943 197322 2368 1147 0 212369 0
Current children cumulated CPU time: 3417.24 s
Current children cumulated vsize: 903964 KiB
Current children cumulated memory: 792232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 4/249 129338
/proc/meminfo: memFree=78966176/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=904376 memory=793640 CPUtime=3476.99 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129057 129057 128305 0 -1 4194304 74198 0 0 0 346196 1503 0 0 20 0 1 0 174510490 926081024 198410 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 226094 198410 2368 1147 0 213520 0
Current children cumulated CPU time: 3477.1 s
Current children cumulated vsize: 908568 KiB
Current children cumulated memory: 796584 KiB
[startup+3642.3 s]
/proc/loadavg: 5.06 4.46 4.21 3/269 129360
/proc/meminfo: memFree=78059860/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=905456 memory=794792 CPUtime=3509.76 cores=5,7
/proc/129060/stat : 129060 (roundingsat) D 129057 129057 128305 0 -1 4194304 74507 0 0 0 349443 1533 0 0 20 0 1 0 174510490 927186944 198698 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 226364 198698 2368 1147 0 213790 0
Current children cumulated CPU time: 3509.87 s
Current children cumulated vsize: 909648 KiB
Current children cumulated memory: 797736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 5.18 4.60 4.28 3/270 129409
/proc/meminfo: memFree=81922732/131382112 swapFree=33010160/33010684
[pid=129057] ppid=129054 vsize=4192 memory=2944 CPUtime=0.11 cores=5,7
/proc/129057/stat : 129057 (run-opt-break-l) S 129054 129057 128305 0 -1 4194304 239 7169 0 0 0 0 8 3 20 0 1 0 174510474 4292608 736 18446744073709551615 94791171506176 94791172400709 140731351858736 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94791172639760 94791172687504 94791194525696 140731351861523 140731351861724 140731351861724 140731351867328 0
/proc/129057/statm: 1048 736 672 219 0 110 0
[pid=129060] ppid=129057 vsize=905456 memory=794792 CPUtime=3540.25 cores=5,7
/proc/129060/stat : 129060 (roundingsat) D 129057 129057 128305 0 -1 4194304 74508 0 0 0 352469 1556 0 0 20 0 1 0 174510490 927186944 198698 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 226364 198698 2368 1147 0 213790 0
Current children cumulated CPU time: 3540.36 s
Current children cumulated vsize: 909648 KiB
Current children cumulated memory: 797736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.02 s]
# the end of solver process 129057 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.084775 s, system=0.036513 s
[startup+3701.31 s]
# the end of solver process 129060 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3524.8 s, system=15.6092 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 5.09 4.59 4.28 2/269 129409
/proc/meminfo: memFree=81921728/131382112 swapFree=33010160/33010684
[pid=129060] ppid=129054 vsize=905456 memory=794792 CPUtime=3540.25 cores=5,7
/proc/129060/stat : 129060 (roundingsat) D 129054 129057 128305 0 -1 4194304 74508 0 0 0 352469 1556 0 0 20 0 1 0 174510490 927186944 198698 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 226364 198698 2368 1147 0 213790 0
Current cumulated CPU time of completed processes: 0.121288 s
Current children cumulated CPU time: 3540.25 s
Current children cumulated vsize: 905456 KiB
Current children cumulated memory: 794792 KiB
[startup+3701.2 s]
/proc/loadavg: 5.09 4.59 4.28 2/269 129409
/proc/meminfo: memFree=81890828/131382112 swapFree=33010160/33010684
[pid=129060] ppid=129054 vsize=905456 memory=795176 CPUtime=3540.26 cores=5,7
/proc/129060/stat : 129060 (roundingsat) D 129054 129057 128305 0 -1 4194304 74515 0 0 0 352470 1556 0 0 20 0 1 0 174510490 927186944 198794 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 226364 198794 2464 1147 0 213790 0
Current cumulated CPU time of completed processes: 0.121288 s
Current children cumulated CPU time: 3540.26 s
Current children cumulated vsize: 905456 KiB
Current children cumulated memory: 795176 KiB
[startup+3701.3 s]
/proc/loadavg: 5.09 4.59 4.28 2/269 129409
/proc/meminfo: memFree=81890828/131382112 swapFree=33010160/33010684
[pid=129060] ppid=129054 vsize=328372 memory=281996 CPUtime=3540.26 cores=5,7
/proc/129060/stat : 129060 (roundingsat) R 129054 129057 128305 0 -1 4194304 74515 0 0 0 352470 1556 0 0 20 0 1 0 174510490 336252928 70499 18446744073709551615 4227072 8923577 140736122803440 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 35971072 140736122808594 140736122808870 140736122808870 140736122814442 0
/proc/129060/statm: 82093 70499 2464 1147 0 69519 0
Current cumulated CPU time of completed processes: 0.121288 s
Current children cumulated CPU time: 3540.26 s
Current children cumulated vsize: 328372 KiB
Current children cumulated memory: 281996 KiB
Child status: 2
Real time (s): 3701.31
CPU time (s): 3540.41
CPU user time (s): 3524.8
CPU system time (s): 15.6092
CPU usage (%): 95.6527
Max. virtual memory (cumulated for all children) (KiB): 909648
Max. memory (cumulated for all children) (KiB): 797736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3524.8
system time used= 15.6092
maximum resident set size= 795176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7229488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 445
involuntary context switches= 5562
# summary of solver processes directly reported to runsolver:
# pid: 129057,129060
# total CPU time (s): 3540.41
# total CPU user time (s): 3524.8
# total CPU system time (s): 15.6092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6307 second user time and 38.0391 second system time
The end
Begin job on nodeC009 at 2025-07-15 16:05:07
IDJOB=4532458
IDBENCH=148193
IDSOLVER=3393
FILE ID=nodeC009/4532458-1752588307
RUNJOBID= nodeC009-1752584602-128318
SLURM_JOB_ID= 9684339
Free space on /tmp= 432944 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532458-1752588307/watcher-4532458-1752588307 -o /tmp/evaluation-result-4532458-1752588307/solver-4532458-1752588307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752584602-128318 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532458-1752588307.opb PROOFDIR/proof-4532458-1752588307
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1424490170
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.478
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.85
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 : 3491.961
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.85
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.572
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.85
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.425
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.498
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.85
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 : 3492.937
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.85
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.85
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.236
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125773284 kB
MemAvailable: 129367756 kB
Buffers: 2144 kB
Cached: 4325696 kB
SwapCached: 24 kB
Active: 1166752 kB
Inactive: 3642584 kB
Active(anon): 495652 kB
Inactive(anon): 4176 kB
Active(file): 671100 kB
Inactive(file): 3638408 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 546376 kB
Writeback: 0 kB
AnonPages: 484904 kB
Mapped: 120132 kB
Shmem: 17936 kB
KReclaimable: 248800 kB
Slab: 356336 kB
SReclaimable: 248800 kB
SUnreclaim: 107536 kB
KernelStack: 4128 kB
PageTables: 4084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 851280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 90112 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432504 MiB
End job on nodeC009 at 2025-07-15 17:06:48