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-4497795-1751398272.opb'
0.00/0.03 c read 0.94MB (14.16ms)
0.00/0.03 c [cnf: #variables 8901 #clauses 32282 #duplicates 17 #arr 82624]
0.00/0.03 c output proof to 'PROOFDIR/proof-4497795-1751398272'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2] (16.34ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c found row 5x2, generating row predicate
0.00/0.05 c (2.08ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 67901 #edges 218684]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 1.00*10^0 #generators 0] (5.22ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 4 #add_vars 0]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4497795-1751398272.opb.pre'
0.00/0.06 c wrote 0.96MB (2.26ms)
0.00/0.06 c ------------------------------------------------------------------
0.00/0.06 c 16.34ms 38.20% approx_orbits
0.00/0.06 c 14.15ms 33.10% parse
0.00/0.06 c 5.22ms 12.21% detect_generic
0.00/0.06 c 2.40ms 5.61% other
0.00/0.06 c 2.26ms 5.28% output
0.00/0.06 c 2.08ms 4.86% detect_special
0.00/0.06 c 0.32ms 0.75% finalize_order
0.00/0.06 c ───────────────────────────────────────────────
0.00/0.06 c 42.76ms 100% total
0.00/0.06 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.18/0.25 c #variables 8901 #constraints 32281
0.18/0.25 c objective is ce32
0.18/0.25 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.25 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.25 c bounds - >= 0 @ 0.150456
2.96/3.02 c #Conflicts: 1000 | #Constraints: 33280
2.96/3.02 c #Conflicts: 2000 | #Constraints: 34280
2.96/3.02 c INPROCESSING
2.96/3.02 c GARBAGE COLLECT
2.96/3.02 c bounds - >= 6 @ 2.85701
2.96/3.03 c bounds - >= 7 @ 2.86018
2.96/3.03 c bounds - >= 8 @ 2.86342
2.96/3.03 c bounds - >= 9 @ 2.86476
2.96/3.04 c bounds - >= 10 @ 2.87043
2.96/3.04 c bounds - >= 11 @ 2.87366
2.96/3.08 c bounds - >= 12 @ 2.91482
9.94/10.01 c #Conflicts: 3000 | #Constraints: 34323
9.94/10.01 c #Conflicts: 4000 | #Constraints: 35323
9.94/10.01 c INPROCESSING
9.94/10.01 c GARBAGE COLLECT
9.94/10.01 c #Conflicts: 5000 | #Constraints: 34729
9.94/10.01 c #Conflicts: 6000 | #Constraints: 35729
9.94/10.01 c INPROCESSING
9.94/10.01 c GARBAGE COLLECT
9.94/10.01 c rational objective 12
11.72/11.84 c bounds 25 >= 12 @ 11.5604
11.72/11.85 c bounds 24 >= 12 @ 11.5656
11.83/11.96 c bounds 23 >= 12 @ 11.6746
13.32/13.49 c #Conflicts: 7000 | #Constraints: 34726
13.32/13.49 c #Conflicts: 8000 | #Constraints: 35726
13.32/13.49 c bounds 22 >= 12 @ 13.1682
13.42/13.57 c bounds 22 >= 13 @ 13.2451
15.81/15.94 c #Conflicts: 9000 | #Constraints: 36745
15.81/15.94 c INPROCESSING
15.81/15.94 c GARBAGE COLLECT
15.81/15.94 c rational objective 13
18.31/18.42 c #Conflicts: 10000 | #Constraints: 35479
18.31/18.42 c bounds 22 >= 14 @ 18.0411
21.91/22.09 c #Conflicts: 11000 | #Constraints: 36501
21.91/22.09 c #Conflicts: 12000 | #Constraints: 37501
21.91/22.09 c INPROCESSING
21.91/22.09 c GARBAGE COLLECT
21.91/22.09 c bounds 22 >= 15 @ 21.6253
26.99/27.12 c #Conflicts: 13000 | #Constraints: 35956
26.99/27.12 c #Conflicts: 14000 | #Constraints: 36956
26.99/27.12 c #Conflicts: 15000 | #Constraints: 37956
26.99/27.12 c INPROCESSING
26.99/27.12 c GARBAGE COLLECT
26.99/27.12 c rational objective 15
27.99/28.14 c bounds 21 >= 15 @ 27.605
38.79/39.08 c #Conflicts: 16000 | #Constraints: 36231
38.79/39.08 c #Conflicts: 17000 | #Constraints: 37231
38.79/39.08 c #Conflicts: 18000 | #Constraints: 38231
38.79/39.08 c INPROCESSING
38.79/39.08 c GARBAGE COLLECT
38.79/39.08 c #Conflicts: 19000 | #Constraints: 36200
38.79/39.08 c #Conflicts: 20000 | #Constraints: 37200
38.79/39.08 c #Conflicts: 21000 | #Constraints: 38200
38.79/39.08 c INPROCESSING
38.79/39.08 c GARBAGE COLLECT
38.79/39.08 c rational objective 15
47.45/47.76 c #Conflicts: 22000 | #Constraints: 36030
47.45/47.76 c #Conflicts: 23000 | #Constraints: 37030
47.45/47.76 c #Conflicts: 24000 | #Constraints: 38030
47.45/47.76 c #Conflicts: 25000 | #Constraints: 39030
47.45/47.76 c INPROCESSING
47.45/47.76 c GARBAGE COLLECT
47.45/47.76 c rational objective 15
59.42/59.75 c #Conflicts: 26000 | #Constraints: 36669
59.42/59.75 c #Conflicts: 27000 | #Constraints: 37669
59.42/59.75 c #Conflicts: 28000 | #Constraints: 38669
59.42/59.75 c #Conflicts: 29000 | #Constraints: 39669
59.42/59.75 c INPROCESSING
59.42/59.75 c GARBAGE COLLECT
59.42/59.75 c #Conflicts: 30000 | #Constraints: 37059
59.42/59.75 c #Conflicts: 31000 | #Constraints: 38059
59.42/59.75 c #Conflicts: 32000 | #Constraints: 39059
59.42/59.75 c #Conflicts: 33000 | #Constraints: 40059
59.42/59.75 c INPROCESSING
59.42/59.75 c GARBAGE COLLECT
59.42/59.75 c rational objective 15
63.02/63.49 c #Conflicts: 34000 | #Constraints: 37319
63.02/63.49 c bounds 20 >= 15 @ 62.3132
73.38/73.87 c #Conflicts: 35000 | #Constraints: 38320
73.38/73.87 c #Conflicts: 36000 | #Constraints: 39320
73.38/73.87 c #Conflicts: 37000 | #Constraints: 40320
73.38/73.87 c INPROCESSING
73.38/73.87 c GARBAGE COLLECT
73.38/73.87 c rational objective 15
77.96/78.42 c #Conflicts: 38000 | #Constraints: 37328
77.96/78.42 c bounds 20 >= 16 @ 77.0512
82.35/82.85 c #Conflicts: 39000 | #Constraints: 38361
82.35/82.85 c #Conflicts: 40000 | #Constraints: 39361
82.35/82.85 c #Conflicts: 41000 | #Constraints: 40361
82.35/82.85 c INPROCESSING
82.35/82.85 c GARBAGE COLLECT
82.35/82.85 c rational objective 16
89.93/90.47 c #Conflicts: 42000 | #Constraints: 37152
89.93/90.47 c #Conflicts: 43000 | #Constraints: 38152
89.93/90.47 c #Conflicts: 44000 | #Constraints: 39152
89.93/90.47 c #Conflicts: 45000 | #Constraints: 40152
89.93/90.47 c #Conflicts: 46000 | #Constraints: 41152
89.93/90.47 c INPROCESSING
89.93/90.47 c GARBAGE COLLECT
89.93/90.47 c rational objective 16
98.73/99.36 c #Conflicts: 47000 | #Constraints: 37737
98.73/99.36 c #Conflicts: 48000 | #Constraints: 38737
98.73/99.36 c #Conflicts: 49000 | #Constraints: 39737
98.73/99.36 c #Conflicts: 50000 | #Constraints: 40737
98.73/99.36 c #Conflicts: 51000 | #Constraints: 41737
98.73/99.36 c INPROCESSING
98.73/99.36 c GARBAGE COLLECT
98.73/99.36 c rational objective 16
109.31/109.94 c #Conflicts: 52000 | #Constraints: 38221
109.31/109.94 c #Conflicts: 53000 | #Constraints: 39221
109.31/109.94 c #Conflicts: 54000 | #Constraints: 40221
109.31/109.94 c #Conflicts: 55000 | #Constraints: 41221
109.31/109.94 c #Conflicts: 56000 | #Constraints: 42221
109.31/109.94 c INPROCESSING
109.31/109.94 c GARBAGE COLLECT
109.31/109.94 c rational objective 16
125.13/125.82 c #Conflicts: 57000 | #Constraints: 38413
125.13/125.82 c #Conflicts: 58000 | #Constraints: 39413
125.13/125.82 c #Conflicts: 59000 | #Constraints: 40413
125.13/125.82 c #Conflicts: 60000 | #Constraints: 41413
125.13/125.82 c #Conflicts: 61000 | #Constraints: 42413
125.13/125.82 c INPROCESSING
125.13/125.82 c GARBAGE COLLECT
125.13/125.82 c rational objective 16
138.00/138.76 c #Conflicts: 62000 | #Constraints: 38560
138.00/138.76 c #Conflicts: 63000 | #Constraints: 39560
138.00/138.76 c #Conflicts: 64000 | #Constraints: 40560
138.00/138.76 c #Conflicts: 65000 | #Constraints: 41560
138.00/138.76 c #Conflicts: 66000 | #Constraints: 42560
138.00/138.76 c INPROCESSING
138.00/138.76 c GARBAGE COLLECT
138.00/138.76 c rational objective 16
150.66/151.46 c #Conflicts: 67000 | #Constraints: 38301
150.66/151.46 c #Conflicts: 68000 | #Constraints: 39301
150.66/151.46 c #Conflicts: 69000 | #Constraints: 40301
150.66/151.46 c #Conflicts: 70000 | #Constraints: 41301
150.66/151.46 c #Conflicts: 71000 | #Constraints: 42301
150.66/151.46 c #Conflicts: 72000 | #Constraints: 43301
150.66/151.46 c INPROCESSING
150.66/151.46 c GARBAGE COLLECT
150.66/151.46 c rational objective 16
162.78/163.60 c #Conflicts: 73000 | #Constraints: 38932
162.78/163.60 c #Conflicts: 74000 | #Constraints: 39932
162.78/163.60 c #Conflicts: 75000 | #Constraints: 40932
162.78/163.60 c #Conflicts: 76000 | #Constraints: 41932
162.78/163.60 c #Conflicts: 77000 | #Constraints: 42932
162.78/163.60 c #Conflicts: 78000 | #Constraints: 43932
162.78/163.60 c INPROCESSING
162.78/163.60 c GARBAGE COLLECT
162.78/163.60 c rational objective 16
175.85/176.71 c #Conflicts: 79000 | #Constraints: 39306
175.85/176.71 c #Conflicts: 80000 | #Constraints: 40306
175.85/176.71 c #Conflicts: 81000 | #Constraints: 41306
175.85/176.71 c #Conflicts: 82000 | #Constraints: 42306
175.85/176.71 c #Conflicts: 83000 | #Constraints: 43306
175.85/176.71 c #Conflicts: 84000 | #Constraints: 44306
175.85/176.71 c INPROCESSING
175.85/176.71 c GARBAGE COLLECT
175.85/176.71 c rational objective 16
189.01/190.00 c #Conflicts: 85000 | #Constraints: 39486
189.01/190.00 c #Conflicts: 86000 | #Constraints: 40486
189.01/190.00 c #Conflicts: 87000 | #Constraints: 41486
189.01/190.00 c #Conflicts: 88000 | #Constraints: 42486
189.01/190.00 c #Conflicts: 89000 | #Constraints: 43486
189.01/190.00 c #Conflicts: 90000 | #Constraints: 44486
189.01/190.00 c INPROCESSING
189.01/190.00 c GARBAGE COLLECT
189.01/190.00 c rational objective 16
207.26/208.25 c #Conflicts: 91000 | #Constraints: 39556
207.26/208.25 c #Conflicts: 92000 | #Constraints: 40556
207.26/208.25 c #Conflicts: 93000 | #Constraints: 41556
207.26/208.25 c #Conflicts: 94000 | #Constraints: 42556
207.26/208.25 c #Conflicts: 95000 | #Constraints: 43556
207.26/208.25 c #Conflicts: 96000 | #Constraints: 44556
207.26/208.25 c INPROCESSING
207.26/208.25 c GARBAGE COLLECT
207.26/208.25 c rational objective 16
222.39/223.40 c #Conflicts: 97000 | #Constraints: 39353
222.39/223.40 c #Conflicts: 98000 | #Constraints: 40353
222.39/223.40 c #Conflicts: 99000 | #Constraints: 41353
222.39/223.40 c #Conflicts: 100000 | #Constraints: 42353
222.39/223.40 c #Conflicts: 101000 | #Constraints: 43353
222.39/223.40 c #Conflicts: 102000 | #Constraints: 44353
222.39/223.40 c #Conflicts: 103000 | #Constraints: 45353
222.39/223.40 c INPROCESSING
222.39/223.40 c GARBAGE COLLECT
222.39/223.40 c rational objective 16
236.75/237.85 c #Conflicts: 104000 | #Constraints: 40049
236.75/237.85 c #Conflicts: 105000 | #Constraints: 41049
236.75/237.85 c #Conflicts: 106000 | #Constraints: 42049
236.75/237.85 c #Conflicts: 107000 | #Constraints: 43049
236.75/237.85 c #Conflicts: 108000 | #Constraints: 44049
236.75/237.85 c #Conflicts: 109000 | #Constraints: 45049
236.75/237.85 c #Conflicts: 110000 | #Constraints: 46049
236.75/237.85 c INPROCESSING
236.75/237.85 c GARBAGE COLLECT
236.75/237.85 c rational objective 16
253.18/254.31 c #Conflicts: 111000 | #Constraints: 40389
253.18/254.31 c #Conflicts: 112000 | #Constraints: 41389
253.18/254.31 c #Conflicts: 113000 | #Constraints: 42389
253.18/254.31 c #Conflicts: 114000 | #Constraints: 43389
253.18/254.31 c #Conflicts: 115000 | #Constraints: 44389
253.18/254.31 c #Conflicts: 116000 | #Constraints: 45389
253.18/254.31 c #Conflicts: 117000 | #Constraints: 46389
253.18/254.31 c INPROCESSING
253.18/254.31 c GARBAGE COLLECT
253.18/254.31 c rational objective 16
271.63/272.82 c #Conflicts: 118000 | #Constraints: 40552
271.63/272.82 c #Conflicts: 119000 | #Constraints: 41552
271.63/272.82 c #Conflicts: 120000 | #Constraints: 42552
271.63/272.82 c #Conflicts: 121000 | #Constraints: 43552
271.63/272.82 c #Conflicts: 122000 | #Constraints: 44552
271.63/272.82 c #Conflicts: 123000 | #Constraints: 45552
271.63/272.82 c #Conflicts: 124000 | #Constraints: 46552
271.63/272.82 c INPROCESSING
271.63/272.82 c GARBAGE COLLECT
271.63/272.82 c rational objective 16
290.30/291.63 c #Conflicts: 125000 | #Constraints: 40600
290.30/291.63 c #Conflicts: 126000 | #Constraints: 41600
290.30/291.63 c #Conflicts: 127000 | #Constraints: 42600
290.30/291.63 c #Conflicts: 128000 | #Constraints: 43600
290.30/291.63 c #Conflicts: 129000 | #Constraints: 44600
290.30/291.63 c #Conflicts: 130000 | #Constraints: 45600
290.30/291.63 c #Conflicts: 131000 | #Constraints: 46600
290.30/291.63 c INPROCESSING
290.30/291.63 c GARBAGE COLLECT
290.30/291.63 c rational objective 16
309.95/311.40 c #Conflicts: 132000 | #Constraints: 40416
309.95/311.40 c #Conflicts: 133000 | #Constraints: 41416
309.95/311.40 c #Conflicts: 134000 | #Constraints: 42416
309.95/311.40 c #Conflicts: 135000 | #Constraints: 43416
309.95/311.40 c #Conflicts: 136000 | #Constraints: 44416
309.95/311.40 c #Conflicts: 137000 | #Constraints: 45416
309.95/311.40 c #Conflicts: 138000 | #Constraints: 46416
309.95/311.40 c #Conflicts: 139000 | #Constraints: 47416
309.95/311.40 c INPROCESSING
309.95/311.40 c GARBAGE COLLECT
309.95/311.40 c rational objective 16
327.31/328.71 c #Conflicts: 140000 | #Constraints: 41056
327.31/328.71 c #Conflicts: 141000 | #Constraints: 42056
327.31/328.71 c #Conflicts: 142000 | #Constraints: 43056
327.31/328.71 c #Conflicts: 143000 | #Constraints: 44056
327.31/328.71 c #Conflicts: 144000 | #Constraints: 45056
327.31/328.71 c #Conflicts: 145000 | #Constraints: 46056
327.31/328.71 c bounds 20 >= 17 @ 324.656
331.99/333.47 c #Conflicts: 146000 | #Constraints: 47089
331.99/333.47 c #Conflicts: 147000 | #Constraints: 48089
331.99/333.47 c INPROCESSING
331.99/333.47 c GARBAGE COLLECT
331.99/333.47 c rational objective 17
353.89/355.46 c #Conflicts: 148000 | #Constraints: 41497
353.89/355.46 c #Conflicts: 149000 | #Constraints: 42497
353.89/355.46 c #Conflicts: 150000 | #Constraints: 43497
353.89/355.46 c #Conflicts: 151000 | #Constraints: 44497
353.89/355.46 c #Conflicts: 152000 | #Constraints: 45497
353.89/355.46 c #Conflicts: 153000 | #Constraints: 46497
353.89/355.46 c #Conflicts: 154000 | #Constraints: 47497
353.89/355.46 c #Conflicts: 155000 | #Constraints: 48497
353.89/355.46 c INPROCESSING
353.89/355.46 c GARBAGE COLLECT
353.89/355.46 c rational objective 17
378.31/379.93 c #Conflicts: 156000 | #Constraints: 41666
378.31/379.93 c #Conflicts: 157000 | #Constraints: 42666
378.31/379.93 c #Conflicts: 158000 | #Constraints: 43666
378.31/379.93 c #Conflicts: 159000 | #Constraints: 44666
378.31/379.93 c #Conflicts: 160000 | #Constraints: 45666
378.31/379.93 c #Conflicts: 161000 | #Constraints: 46666
378.31/379.93 c #Conflicts: 162000 | #Constraints: 47666
378.31/379.93 c #Conflicts: 163000 | #Constraints: 48666
378.31/379.93 c INPROCESSING
378.31/379.93 c GARBAGE COLLECT
378.31/379.93 c rational objective 17
403.58/406.46 c #Conflicts: 164000 | #Constraints: 41706
403.58/406.46 c #Conflicts: 165000 | #Constraints: 42706
403.58/406.46 c #Conflicts: 166000 | #Constraints: 43706
403.58/406.46 c #Conflicts: 167000 | #Constraints: 44706
403.58/406.46 c #Conflicts: 168000 | #Constraints: 45706
403.58/406.46 c #Conflicts: 169000 | #Constraints: 46706
403.58/406.46 c #Conflicts: 170000 | #Constraints: 47706
403.58/406.46 c #Conflicts: 171000 | #Constraints: 48706
403.58/406.46 c INPROCESSING
403.58/406.46 c GARBAGE COLLECT
403.58/406.46 c rational objective 17
430.01/432.91 c #Conflicts: 172000 | #Constraints: 41453
430.01/432.91 c #Conflicts: 173000 | #Constraints: 42453
430.01/432.91 c #Conflicts: 174000 | #Constraints: 43453
430.01/432.91 c #Conflicts: 175000 | #Constraints: 44453
430.01/432.91 c #Conflicts: 176000 | #Constraints: 45453
430.01/432.91 c #Conflicts: 177000 | #Constraints: 46453
430.01/432.91 c #Conflicts: 178000 | #Constraints: 47453
430.01/432.91 c #Conflicts: 179000 | #Constraints: 48453
430.01/432.91 c #Conflicts: 180000 | #Constraints: 49453
430.01/432.91 c INPROCESSING
430.01/432.91 c GARBAGE COLLECT
430.01/432.91 c rational objective 17
448.17/451.17 c #Conflicts: 181000 | #Constraints: 42126
448.17/451.17 c #Conflicts: 182000 | #Constraints: 43126
448.17/451.17 c #Conflicts: 183000 | #Constraints: 44126
448.17/451.17 c #Conflicts: 184000 | #Constraints: 45126
448.17/451.17 c #Conflicts: 185000 | #Constraints: 46126
448.17/451.17 c #Conflicts: 186000 | #Constraints: 47126
448.17/451.17 c #Conflicts: 187000 | #Constraints: 48126
448.17/451.17 c #Conflicts: 188000 | #Constraints: 49126
448.17/451.17 c #Conflicts: 189000 | #Constraints: 50126
448.17/451.17 c INPROCESSING
448.17/451.17 c GARBAGE COLLECT
448.17/451.17 c rational objective 17
469.76/472.84 c #Conflicts: 190000 | #Constraints: 42598
469.76/472.84 c #Conflicts: 191000 | #Constraints: 43598
469.76/472.84 c #Conflicts: 192000 | #Constraints: 44598
469.76/472.84 c #Conflicts: 193000 | #Constraints: 45598
469.76/472.84 c #Conflicts: 194000 | #Constraints: 46598
469.76/472.84 c #Conflicts: 195000 | #Constraints: 47598
469.76/472.84 c #Conflicts: 196000 | #Constraints: 48598
469.76/472.84 c #Conflicts: 197000 | #Constraints: 49598
469.76/472.84 c #Conflicts: 198000 | #Constraints: 50598
469.76/472.84 c INPROCESSING
469.76/472.84 c GARBAGE COLLECT
469.76/472.84 c rational objective 17
491.81/494.99 c #Conflicts: 199000 | #Constraints: 42822
491.81/494.99 c #Conflicts: 200000 | #Constraints: 43822
491.81/494.99 c #Conflicts: 201000 | #Constraints: 44822
491.81/494.99 c #Conflicts: 202000 | #Constraints: 45822
491.81/494.99 c #Conflicts: 203000 | #Constraints: 46822
491.81/494.99 c #Conflicts: 204000 | #Constraints: 47822
491.81/494.99 c #Conflicts: 205000 | #Constraints: 48822
491.81/494.99 c #Conflicts: 206000 | #Constraints: 49822
491.81/494.99 c #Conflicts: 207000 | #Constraints: 50822
491.81/494.99 c INPROCESSING
491.81/494.99 c GARBAGE COLLECT
491.81/494.99 c rational objective 17
524.76/528.09 c #Conflicts: 208000 | #Constraints: 42792
524.76/528.09 c #Conflicts: 209000 | #Constraints: 43792
524.76/528.09 c #Conflicts: 210000 | #Constraints: 44792
524.76/528.09 c #Conflicts: 211000 | #Constraints: 45792
524.76/528.09 c #Conflicts: 212000 | #Constraints: 46792
524.76/528.09 c #Conflicts: 213000 | #Constraints: 47792
524.76/528.09 c #Conflicts: 214000 | #Constraints: 48792
524.76/528.09 c #Conflicts: 215000 | #Constraints: 49792
524.76/528.09 c #Conflicts: 216000 | #Constraints: 50792
524.76/528.09 c INPROCESSING
524.76/528.09 c GARBAGE COLLECT
524.76/528.09 c rational objective 17
555.28/558.66 c #Conflicts: 217000 | #Constraints: 42709
555.28/558.66 c #Conflicts: 218000 | #Constraints: 43709
555.28/558.66 c #Conflicts: 219000 | #Constraints: 44709
555.28/558.66 c #Conflicts: 220000 | #Constraints: 45709
555.28/558.66 c #Conflicts: 221000 | #Constraints: 46709
555.28/558.66 c #Conflicts: 222000 | #Constraints: 47709
555.28/558.66 c #Conflicts: 223000 | #Constraints: 48709
555.28/558.66 c #Conflicts: 224000 | #Constraints: 49709
555.28/558.66 c #Conflicts: 225000 | #Constraints: 50709
555.28/558.66 c #Conflicts: 226000 | #Constraints: 51710
555.28/558.66 c INPROCESSING
555.28/558.66 c GARBAGE COLLECT
555.28/558.66 c rational objective 17
584.40/587.83 c #Conflicts: 227000 | #Constraints: 43244
584.40/587.83 c #Conflicts: 228000 | #Constraints: 44244
584.40/587.83 c #Conflicts: 229000 | #Constraints: 45244
584.40/587.83 c #Conflicts: 230000 | #Constraints: 46244
584.40/587.83 c #Conflicts: 231000 | #Constraints: 47244
584.40/587.83 c #Conflicts: 232000 | #Constraints: 48244
584.40/587.83 c #Conflicts: 233000 | #Constraints: 49244
584.40/587.83 c #Conflicts: 234000 | #Constraints: 50244
584.40/587.83 c #Conflicts: 235000 | #Constraints: 51244
584.40/587.83 c #Conflicts: 236000 | #Constraints: 52244
584.40/587.83 c INPROCESSING
584.40/587.83 c GARBAGE COLLECT
584.40/587.83 c rational objective 17
616.18/619.78 c #Conflicts: 237000 | #Constraints: 43642
616.18/619.78 c #Conflicts: 238000 | #Constraints: 44642
616.18/619.78 c #Conflicts: 239000 | #Constraints: 45642
616.18/619.78 c #Conflicts: 240000 | #Constraints: 46642
616.18/619.78 c #Conflicts: 241000 | #Constraints: 47642
616.18/619.78 c #Conflicts: 242000 | #Constraints: 48642
616.18/619.78 c #Conflicts: 243000 | #Constraints: 49642
616.18/619.78 c #Conflicts: 244000 | #Constraints: 50642
616.18/619.78 c #Conflicts: 245000 | #Constraints: 51642
616.18/619.78 c #Conflicts: 246000 | #Constraints: 52642
616.18/619.78 c INPROCESSING
616.18/619.78 c GARBAGE COLLECT
616.18/619.78 c rational objective 17
647.16/650.84 c #Conflicts: 247000 | #Constraints: 43820
647.16/650.84 c #Conflicts: 248000 | #Constraints: 44820
647.16/650.84 c #Conflicts: 249000 | #Constraints: 45820
647.16/650.84 c #Conflicts: 250000 | #Constraints: 46820
647.16/650.84 c #Conflicts: 251000 | #Constraints: 47820
647.16/650.84 c #Conflicts: 252000 | #Constraints: 48820
647.16/650.84 c #Conflicts: 253000 | #Constraints: 49820
647.16/650.84 c #Conflicts: 254000 | #Constraints: 50820
647.16/650.84 c #Conflicts: 255000 | #Constraints: 51820
647.16/650.84 c #Conflicts: 256000 | #Constraints: 52820
647.16/650.84 c INPROCESSING
647.16/650.84 c GARBAGE COLLECT
647.16/650.84 c rational objective 17
674.40/678.13 c #Conflicts: 257000 | #Constraints: 43928
674.40/678.13 c #Conflicts: 258000 | #Constraints: 44928
674.40/678.13 c #Conflicts: 259000 | #Constraints: 45928
674.40/678.13 c #Conflicts: 260000 | #Constraints: 46928
674.40/678.13 c #Conflicts: 261000 | #Constraints: 47928
674.40/678.13 c #Conflicts: 262000 | #Constraints: 48928
674.40/678.13 c #Conflicts: 263000 | #Constraints: 49928
674.40/678.13 c #Conflicts: 264000 | #Constraints: 50928
674.40/678.13 c #Conflicts: 265000 | #Constraints: 51928
674.40/678.13 c #Conflicts: 266000 | #Constraints: 52928
674.40/678.13 c INPROCESSING
674.40/678.13 c GARBAGE COLLECT
674.40/678.13 c rational objective 17
699.77/703.65 c #Conflicts: 267000 | #Constraints: 43553
699.77/703.65 c #Conflicts: 268000 | #Constraints: 44553
699.77/703.65 c #Conflicts: 269000 | #Constraints: 45553
699.77/703.65 c #Conflicts: 270000 | #Constraints: 46553
699.77/703.65 c #Conflicts: 271000 | #Constraints: 47553
699.77/703.65 c #Conflicts: 272000 | #Constraints: 48553
699.77/703.65 c #Conflicts: 273000 | #Constraints: 49553
699.77/703.65 c #Conflicts: 274000 | #Constraints: 50553
699.77/703.65 c #Conflicts: 275000 | #Constraints: 51553
699.77/703.65 c #Conflicts: 276000 | #Constraints: 52553
699.77/703.65 c #Conflicts: 277000 | #Constraints: 53553
699.77/703.65 c INPROCESSING
699.77/703.65 c GARBAGE COLLECT
699.77/703.65 c rational objective 17
734.63/738.61 c #Conflicts: 278000 | #Constraints: 44223
734.63/738.61 c #Conflicts: 279000 | #Constraints: 45223
734.63/738.61 c #Conflicts: 280000 | #Constraints: 46223
734.63/738.61 c #Conflicts: 281000 | #Constraints: 47223
734.63/738.61 c #Conflicts: 282000 | #Constraints: 48223
734.63/738.61 c #Conflicts: 283000 | #Constraints: 49223
734.63/738.61 c #Conflicts: 284000 | #Constraints: 50223
734.63/738.61 c #Conflicts: 285000 | #Constraints: 51223
734.63/738.61 c #Conflicts: 286000 | #Constraints: 52223
734.63/738.61 c #Conflicts: 287000 | #Constraints: 53223
734.63/738.61 c #Conflicts: 288000 | #Constraints: 54223
734.63/738.61 c INPROCESSING
734.63/738.61 c GARBAGE COLLECT
734.63/738.61 c rational objective 17
760.83/765.00 c #Conflicts: 289000 | #Constraints: 44550
760.83/765.00 c #Conflicts: 290000 | #Constraints: 45550
760.83/765.00 c #Conflicts: 291000 | #Constraints: 46550
760.83/765.00 c #Conflicts: 292000 | #Constraints: 47550
760.83/765.00 c #Conflicts: 293000 | #Constraints: 48550
760.83/765.00 c #Conflicts: 294000 | #Constraints: 49550
760.83/765.00 c #Conflicts: 295000 | #Constraints: 50550
760.83/765.00 c #Conflicts: 296000 | #Constraints: 51550
760.83/765.00 c #Conflicts: 297000 | #Constraints: 52550
760.83/765.00 c #Conflicts: 298000 | #Constraints: 53550
760.83/765.00 c #Conflicts: 299000 | #Constraints: 54550
760.83/765.00 c INPROCESSING
760.83/765.00 c GARBAGE COLLECT
760.83/765.00 c rational objective 17
789.53/793.79 c #Conflicts: 300000 | #Constraints: 44744
789.53/793.79 c #Conflicts: 301000 | #Constraints: 45744
789.53/793.79 c #Conflicts: 302000 | #Constraints: 46744
789.53/793.79 c #Conflicts: 303000 | #Constraints: 47744
789.53/793.79 c #Conflicts: 304000 | #Constraints: 48744
789.53/793.79 c #Conflicts: 305000 | #Constraints: 49744
789.53/793.79 c #Conflicts: 306000 | #Constraints: 50744
789.53/793.79 c #Conflicts: 307000 | #Constraints: 51744
789.53/793.79 c #Conflicts: 308000 | #Constraints: 52744
789.53/793.79 c #Conflicts: 309000 | #Constraints: 53744
789.53/793.79 c #Conflicts: 310000 | #Constraints: 54744
789.53/793.79 c INPROCESSING
789.53/793.79 c GARBAGE COLLECT
789.53/793.79 c rational objective 17
813.93/818.22 c #Conflicts: 311000 | #Constraints: 44683
813.93/818.22 c #Conflicts: 312000 | #Constraints: 45683
813.93/818.22 c #Conflicts: 313000 | #Constraints: 46683
813.93/818.22 c #Conflicts: 314000 | #Constraints: 47683
813.93/818.22 c #Conflicts: 315000 | #Constraints: 48683
813.93/818.22 c #Conflicts: 316000 | #Constraints: 49683
813.93/818.22 c #Conflicts: 317000 | #Constraints: 50683
813.93/818.22 c #Conflicts: 318000 | #Constraints: 51683
813.93/818.22 c #Conflicts: 319000 | #Constraints: 52683
813.93/818.22 c #Conflicts: 320000 | #Constraints: 53683
813.93/818.22 c #Conflicts: 321000 | #Constraints: 54683
813.93/818.22 c INPROCESSING
813.93/818.22 c GARBAGE COLLECT
813.93/818.22 c rational objective 17
860.44/864.90 c #Conflicts: 322000 | #Constraints: 44635
860.44/864.90 c #Conflicts: 323000 | #Constraints: 45635
860.44/864.90 c #Conflicts: 324000 | #Constraints: 46635
860.44/864.90 c #Conflicts: 325000 | #Constraints: 47635
860.44/864.90 c #Conflicts: 326000 | #Constraints: 48635
860.44/864.90 c #Conflicts: 327000 | #Constraints: 49635
860.44/864.90 c #Conflicts: 328000 | #Constraints: 50635
860.44/864.90 c #Conflicts: 329000 | #Constraints: 51635
860.44/864.90 c #Conflicts: 330000 | #Constraints: 52635
860.44/864.90 c #Conflicts: 331000 | #Constraints: 53635
860.44/864.90 c #Conflicts: 332000 | #Constraints: 54635
860.44/864.90 c #Conflicts: 333000 | #Constraints: 55635
860.44/864.90 c INPROCESSING
860.44/864.90 c GARBAGE COLLECT
860.44/864.90 c rational objective 17
901.66/909.83 c #Conflicts: 334000 | #Constraints: 45431
901.66/909.83 c #Conflicts: 335000 | #Constraints: 46431
901.66/909.83 c #Conflicts: 336000 | #Constraints: 47431
901.66/909.83 c #Conflicts: 337000 | #Constraints: 48431
901.66/909.83 c #Conflicts: 338000 | #Constraints: 49431
901.66/909.83 c #Conflicts: 339000 | #Constraints: 50431
901.66/909.83 c #Conflicts: 340000 | #Constraints: 51431
901.66/909.83 c #Conflicts: 341000 | #Constraints: 52431
901.66/909.83 c #Conflicts: 342000 | #Constraints: 53431
901.66/909.83 c #Conflicts: 343000 | #Constraints: 54431
901.66/909.83 c #Conflicts: 344000 | #Constraints: 55431
901.66/909.83 c #Conflicts: 345000 | #Constraints: 56431
901.66/909.83 c INPROCESSING
901.66/909.83 c GARBAGE COLLECT
901.66/909.83 c rational objective 17
939.23/947.50 c #Conflicts: 346000 | #Constraints: 45774
939.23/947.50 c #Conflicts: 347000 | #Constraints: 46774
939.23/947.50 c #Conflicts: 348000 | #Constraints: 47774
939.23/947.50 c #Conflicts: 349000 | #Constraints: 48774
939.23/947.50 c #Conflicts: 350000 | #Constraints: 49774
939.23/947.50 c #Conflicts: 351000 | #Constraints: 50774
939.23/947.50 c #Conflicts: 352000 | #Constraints: 51774
939.23/947.50 c #Conflicts: 353000 | #Constraints: 52774
939.23/947.50 c #Conflicts: 354000 | #Constraints: 53774
939.23/947.50 c #Conflicts: 355000 | #Constraints: 54774
939.23/947.50 c #Conflicts: 356000 | #Constraints: 55774
939.23/947.50 c #Conflicts: 357000 | #Constraints: 56774
939.23/947.50 c INPROCESSING
939.23/947.50 c GARBAGE COLLECT
939.23/947.50 c rational objective 17
971.31/979.71 c #Conflicts: 358000 | #Constraints: 45886
971.31/979.71 c #Conflicts: 359000 | #Constraints: 46886
971.31/979.71 c #Conflicts: 360000 | #Constraints: 47886
971.31/979.71 c #Conflicts: 361000 | #Constraints: 48886
971.31/979.71 c #Conflicts: 362000 | #Constraints: 49886
971.31/979.71 c #Conflicts: 363000 | #Constraints: 50886
971.31/979.71 c #Conflicts: 364000 | #Constraints: 51886
971.31/979.71 c #Conflicts: 365000 | #Constraints: 52886
971.31/979.71 c #Conflicts: 366000 | #Constraints: 53886
971.31/979.71 c #Conflicts: 367000 | #Constraints: 54886
971.31/979.71 c #Conflicts: 368000 | #Constraints: 55886
971.31/979.71 c #Conflicts: 369000 | #Constraints: 56886
971.31/979.71 c INPROCESSING
971.31/979.71 c GARBAGE COLLECT
971.31/979.71 c rational objective 17
995.40/1003.93 c #Conflicts: 370000 | #Constraints: 45975
995.40/1003.93 c #Conflicts: 371000 | #Constraints: 46975
995.40/1003.93 c #Conflicts: 372000 | #Constraints: 47975
995.40/1003.93 c #Conflicts: 373000 | #Constraints: 48975
995.40/1003.93 c #Conflicts: 374000 | #Constraints: 49975
995.40/1003.93 c #Conflicts: 375000 | #Constraints: 50975
995.40/1003.93 c #Conflicts: 376000 | #Constraints: 51975
995.40/1003.93 c #Conflicts: 377000 | #Constraints: 52975
995.40/1003.93 c #Conflicts: 378000 | #Constraints: 53975
995.40/1003.93 c #Conflicts: 379000 | #Constraints: 54975
995.40/1003.93 c #Conflicts: 380000 | #Constraints: 55975
995.40/1003.93 c #Conflicts: 381000 | #Constraints: 56975
995.40/1003.93 c INPROCESSING
995.40/1003.93 c GARBAGE COLLECT
995.40/1003.93 c rational objective 17
1040.86/1049.54 c #Conflicts: 382000 | #Constraints: 45665
1040.86/1049.54 c #Conflicts: 383000 | #Constraints: 46665
1040.86/1049.54 c #Conflicts: 384000 | #Constraints: 47665
1040.86/1049.54 c #Conflicts: 385000 | #Constraints: 48665
1040.86/1049.54 c #Conflicts: 386000 | #Constraints: 49665
1040.86/1049.54 c #Conflicts: 387000 | #Constraints: 50665
1040.86/1049.54 c #Conflicts: 388000 | #Constraints: 51665
1040.86/1049.54 c #Conflicts: 389000 | #Constraints: 52665
1040.86/1049.54 c #Conflicts: 390000 | #Constraints: 53665
1040.86/1049.54 c #Conflicts: 391000 | #Constraints: 54665
1040.86/1049.54 c #Conflicts: 392000 | #Constraints: 55665
1040.86/1049.54 c #Conflicts: 393000 | #Constraints: 56665
1040.86/1049.54 c #Conflicts: 394000 | #Constraints: 57665
1040.86/1049.54 c INPROCESSING
1040.86/1049.54 c GARBAGE COLLECT
1040.86/1049.54 c rational objective 17
1076.69/1085.53 c #Conflicts: 395000 | #Constraints: 46261
1076.69/1085.53 c #Conflicts: 396000 | #Constraints: 47261
1076.69/1085.53 c #Conflicts: 397000 | #Constraints: 48261
1076.69/1085.53 c #Conflicts: 398000 | #Constraints: 49261
1076.69/1085.53 c #Conflicts: 399000 | #Constraints: 50261
1076.69/1085.53 c #Conflicts: 400000 | #Constraints: 51261
1076.69/1085.53 c #Conflicts: 401000 | #Constraints: 52261
1076.69/1085.53 c #Conflicts: 402000 | #Constraints: 53261
1076.69/1085.53 c #Conflicts: 403000 | #Constraints: 54261
1076.69/1085.53 c #Conflicts: 404000 | #Constraints: 55261
1076.69/1085.53 c #Conflicts: 405000 | #Constraints: 56261
1076.69/1085.53 c #Conflicts: 406000 | #Constraints: 57261
1076.69/1085.53 c #Conflicts: 407000 | #Constraints: 58261
1076.69/1085.53 c INPROCESSING
1076.69/1085.53 c GARBAGE COLLECT
1076.69/1085.53 c rational objective 17
1113.49/1122.47 c #Conflicts: 408000 | #Constraints: 46623
1113.49/1122.47 c #Conflicts: 409000 | #Constraints: 47623
1113.49/1122.47 c #Conflicts: 410000 | #Constraints: 48623
1113.49/1122.47 c #Conflicts: 411000 | #Constraints: 49623
1113.49/1122.47 c #Conflicts: 412000 | #Constraints: 50623
1113.49/1122.47 c #Conflicts: 413000 | #Constraints: 51623
1113.49/1122.47 c #Conflicts: 414000 | #Constraints: 52623
1113.49/1122.47 c #Conflicts: 415000 | #Constraints: 53623
1113.49/1122.47 c #Conflicts: 416000 | #Constraints: 54623
1113.49/1122.47 c #Conflicts: 417000 | #Constraints: 55623
1113.49/1122.47 c #Conflicts: 418000 | #Constraints: 56623
1113.49/1122.47 c #Conflicts: 419000 | #Constraints: 57623
1113.49/1122.47 c #Conflicts: 420000 | #Constraints: 58623
1113.49/1122.47 c INPROCESSING
1113.49/1122.47 c GARBAGE COLLECT
1113.49/1122.47 c rational objective 17
1147.42/1156.57 c #Conflicts: 421000 | #Constraints: 46752
1147.42/1156.57 c #Conflicts: 422000 | #Constraints: 47752
1147.42/1156.57 c #Conflicts: 423000 | #Constraints: 48752
1147.42/1156.57 c #Conflicts: 424000 | #Constraints: 49752
1147.42/1156.57 c #Conflicts: 425000 | #Constraints: 50752
1147.42/1156.57 c #Conflicts: 426000 | #Constraints: 51752
1147.42/1156.57 c #Conflicts: 427000 | #Constraints: 52752
1147.42/1156.57 c #Conflicts: 428000 | #Constraints: 53752
1147.42/1156.57 c #Conflicts: 429000 | #Constraints: 54752
1147.42/1156.57 c #Conflicts: 430000 | #Constraints: 55752
1147.42/1156.57 c #Conflicts: 431000 | #Constraints: 56752
1147.42/1156.57 c #Conflicts: 432000 | #Constraints: 57752
1147.42/1156.57 c #Conflicts: 433000 | #Constraints: 58752
1147.42/1156.57 c INPROCESSING
1147.42/1156.57 c GARBAGE COLLECT
1147.42/1156.57 c rational objective 17
1189.08/1198.36 c #Conflicts: 434000 | #Constraints: 46789
1189.08/1198.36 c #Conflicts: 435000 | #Constraints: 47789
1189.08/1198.36 c #Conflicts: 436000 | #Constraints: 48789
1189.08/1198.36 c #Conflicts: 437000 | #Constraints: 49790
1189.08/1198.36 c #Conflicts: 438000 | #Constraints: 50790
1189.08/1198.36 c #Conflicts: 439000 | #Constraints: 51790
1189.08/1198.36 c #Conflicts: 440000 | #Constraints: 52790
1189.08/1198.36 c #Conflicts: 441000 | #Constraints: 53790
1189.08/1198.36 c #Conflicts: 442000 | #Constraints: 54790
1189.08/1198.36 c #Conflicts: 443000 | #Constraints: 55790
1189.08/1198.36 c #Conflicts: 444000 | #Constraints: 56790
1189.08/1198.36 c #Conflicts: 445000 | #Constraints: 57790
1189.08/1198.36 c #Conflicts: 446000 | #Constraints: 58790
1189.08/1198.36 c INPROCESSING
1189.08/1198.36 c GARBAGE COLLECT
1189.08/1198.36 c rational objective 17
1236.31/1245.71 c #Conflicts: 447000 | #Constraints: 46655
1236.31/1245.71 c #Conflicts: 448000 | #Constraints: 47655
1236.31/1245.71 c #Conflicts: 449000 | #Constraints: 48655
1236.31/1245.71 c #Conflicts: 450000 | #Constraints: 49655
1236.31/1245.71 c #Conflicts: 451000 | #Constraints: 50655
1236.31/1245.71 c #Conflicts: 452000 | #Constraints: 51655
1236.31/1245.71 c #Conflicts: 453000 | #Constraints: 52655
1236.31/1245.71 c #Conflicts: 454000 | #Constraints: 53655
1236.31/1245.71 c #Conflicts: 455000 | #Constraints: 54655
1236.31/1245.71 c #Conflicts: 456000 | #Constraints: 55655
1236.31/1245.71 c #Conflicts: 457000 | #Constraints: 56655
1236.31/1245.71 c #Conflicts: 458000 | #Constraints: 57655
1236.31/1245.71 c #Conflicts: 459000 | #Constraints: 58655
1236.31/1245.71 c #Conflicts: 460000 | #Constraints: 59655
1236.31/1245.71 c INPROCESSING
1236.31/1245.71 c GARBAGE COLLECT
1236.31/1245.71 c rational objective 17
1282.88/1292.46 c #Conflicts: 461000 | #Constraints: 47471
1282.88/1292.46 c #Conflicts: 462000 | #Constraints: 48471
1282.88/1292.46 c #Conflicts: 463000 | #Constraints: 49471
1282.88/1292.46 c #Conflicts: 464000 | #Constraints: 50471
1282.88/1292.46 c #Conflicts: 465000 | #Constraints: 51471
1282.88/1292.46 c #Conflicts: 466000 | #Constraints: 52471
1282.88/1292.46 c #Conflicts: 467000 | #Constraints: 53471
1282.88/1292.46 c #Conflicts: 468000 | #Constraints: 54471
1282.88/1292.46 c #Conflicts: 469000 | #Constraints: 55471
1282.88/1292.46 c #Conflicts: 470000 | #Constraints: 56471
1282.88/1292.46 c #Conflicts: 471000 | #Constraints: 57471
1282.88/1292.46 c #Conflicts: 472000 | #Constraints: 58471
1282.88/1292.46 c #Conflicts: 473000 | #Constraints: 59471
1282.88/1292.46 c #Conflicts: 474000 | #Constraints: 60471
1282.88/1292.46 c INPROCESSING
1282.88/1292.46 c GARBAGE COLLECT
1282.88/1292.46 c rational objective 17
1329.61/1339.33 c #Conflicts: 475000 | #Constraints: 47858
1329.61/1339.33 c #Conflicts: 476000 | #Constraints: 48858
1329.61/1339.33 c #Conflicts: 477000 | #Constraints: 49858
1329.61/1339.33 c #Conflicts: 478000 | #Constraints: 50858
1329.61/1339.33 c #Conflicts: 479000 | #Constraints: 51858
1329.61/1339.33 c #Conflicts: 480000 | #Constraints: 52858
1329.61/1339.33 c #Conflicts: 481000 | #Constraints: 53858
1329.61/1339.33 c #Conflicts: 482000 | #Constraints: 54858
1329.61/1339.33 c #Conflicts: 483000 | #Constraints: 55858
1329.61/1339.33 c #Conflicts: 484000 | #Constraints: 56858
1329.61/1339.33 c #Conflicts: 485000 | #Constraints: 57858
1329.61/1339.33 c #Conflicts: 486000 | #Constraints: 58858
1329.61/1339.33 c #Conflicts: 487000 | #Constraints: 59858
1329.61/1339.33 c #Conflicts: 488000 | #Constraints: 60858
1329.61/1339.33 c INPROCESSING
1329.61/1339.33 c GARBAGE COLLECT
1329.61/1339.33 c rational objective 17
1375.61/1385.43 c #Conflicts: 489000 | #Constraints: 47944
1375.61/1385.43 c #Conflicts: 490000 | #Constraints: 48944
1375.61/1385.43 c #Conflicts: 491000 | #Constraints: 49944
1375.61/1385.43 c #Conflicts: 492000 | #Constraints: 50944
1375.61/1385.43 c #Conflicts: 493000 | #Constraints: 51944
1375.61/1385.43 c #Conflicts: 494000 | #Constraints: 52944
1375.61/1385.43 c #Conflicts: 495000 | #Constraints: 53944
1375.61/1385.43 c #Conflicts: 496000 | #Constraints: 54944
1375.61/1385.43 c #Conflicts: 497000 | #Constraints: 55944
1375.61/1385.43 c #Conflicts: 498000 | #Constraints: 56944
1375.61/1385.43 c #Conflicts: 499000 | #Constraints: 57944
1375.61/1385.43 c #Conflicts: 500000 | #Constraints: 58944
1375.61/1385.43 c #Conflicts: 501000 | #Constraints: 59944
1375.61/1385.43 c #Conflicts: 502000 | #Constraints: 60944
1375.61/1385.43 c INPROCESSING
1375.61/1385.43 c GARBAGE COLLECT
1375.61/1385.43 c rational objective 17
1698.59/1709.50 c #Conflicts: 503000 | #Constraints: 47966
1698.59/1709.50 c #Conflicts: 504000 | #Constraints: 48966
1698.59/1709.50 c #Conflicts: 505000 | #Constraints: 49966
1698.59/1709.50 c #Conflicts: 506000 | #Constraints: 50966
1698.59/1709.50 c #Conflicts: 507000 | #Constraints: 51966
1698.59/1709.50 c #Conflicts: 508000 | #Constraints: 52966
1698.59/1709.50 c #Conflicts: 509000 | #Constraints: 53966
1698.59/1709.50 c #Conflicts: 510000 | #Constraints: 54966
1698.59/1709.50 c #Conflicts: 511000 | #Constraints: 55966
1698.59/1709.50 c #Conflicts: 512000 | #Constraints: 56966
1698.59/1709.50 c #Conflicts: 513000 | #Constraints: 57966
1698.59/1709.50 c #Conflicts: 514000 | #Constraints: 58966
1698.59/1709.50 c #Conflicts: 515000 | #Constraints: 59966
1698.59/1709.50 c #Conflicts: 516000 | #Constraints: 60966
1698.59/1709.50 c #Conflicts: 517000 | #Constraints: 61966
1698.59/1709.50 c #Conflicts: 518000 | #Constraints: 62966
1698.59/1709.50 c #Conflicts: 519000 | #Constraints: 63966
1698.59/1709.50 c #Conflicts: 520000 | #Constraints: 64966
1698.59/1709.50 c #Conflicts: 521000 | #Constraints: 65966
1698.59/1709.50 c #Conflicts: 522000 | #Constraints: 66966
1698.69/1709.50 c #Conflicts: 523000 | #Constraints: 67966
1698.69/1709.50 c #Conflicts: 524000 | #Constraints: 68966
1698.69/1709.50 c #Conflicts: 525000 | #Constraints: 69966
1698.69/1709.50 c #Conflicts: 526000 | #Constraints: 70966
1698.69/1709.50 c #Conflicts: 527000 | #Constraints: 71966
1698.69/1709.50 c #Conflicts: 528000 | #Constraints: 72966
1698.69/1709.50 c #Conflicts: 529000 | #Constraints: 73966
1698.69/1709.50 c #Conflicts: 530000 | #Constraints: 74967
1698.69/1709.50 c #Conflicts: 531000 | #Constraints: 75967
1698.69/1709.50 c #Conflicts: 532000 | #Constraints: 76967
1698.69/1709.50 c #Conflicts: 533000 | #Constraints: 77967
1698.69/1709.50 c #Conflicts: 534000 | #Constraints: 78967
1698.69/1709.50 c #Conflicts: 535000 | #Constraints: 79967
1698.69/1709.50 c #Conflicts: 536000 | #Constraints: 80967
1698.69/1709.50 c #Conflicts: 537000 | #Constraints: 81967
1698.69/1709.50 c #Conflicts: 538000 | #Constraints: 82967
1698.69/1709.50 c #Conflicts: 539000 | #Constraints: 83967
1698.69/1709.50 c #Conflicts: 540000 | #Constraints: 84967
1698.69/1709.50 c #Conflicts: 541000 | #Constraints: 85967
1698.69/1709.50 c #Conflicts: 542000 | #Constraints: 86967
1698.69/1709.50 c #Conflicts: 543000 | #Constraints: 87967
1698.69/1709.50 c #Conflicts: 544000 | #Constraints: 88967
1698.69/1709.50 c #Conflicts: 545000 | #Constraints: 89967
1698.69/1709.50 c #Conflicts: 546000 | #Constraints: 90967
1698.69/1709.50 c #Conflicts: 547000 | #Constraints: 91967
1698.69/1709.50 c #Conflicts: 548000 | #Constraints: 92967
1698.69/1709.50 c #Conflicts: 549000 | #Constraints: 93967
1698.69/1709.50 c #Conflicts: 550000 | #Constraints: 94967
1698.69/1709.50 c #Conflicts: 551000 | #Constraints: 95967
1698.69/1709.50 c #Conflicts: 552000 | #Constraints: 96967
1698.69/1709.50 c #Conflicts: 553000 | #Constraints: 97967
1698.69/1709.50 c #Conflicts: 554000 | #Constraints: 98967
1698.69/1709.50 c #Conflicts: 555000 | #Constraints: 99967
1698.69/1709.50 c #Conflicts: 556000 | #Constraints: 100967
1698.69/1709.50 c #Conflicts: 557000 | #Constraints: 101967
1698.69/1709.50 c #Conflicts: 558000 | #Constraints: 102967
1698.69/1709.50 c #Conflicts: 559000 | #Constraints: 103967
1698.69/1709.50 c #Conflicts: 560000 | #Constraints: 104967
1698.69/1709.50 c #Conflicts: 561000 | #Constraints: 105967
1698.69/1709.50 c #Conflicts: 562000 | #Constraints: 106967
1698.69/1709.50 c #Conflicts: 563000 | #Constraints: 107967
1698.69/1709.50 c #Conflicts: 564000 | #Constraints: 108967
1698.69/1709.50 c bounds 19 >= 17 @ 1689.58
1757.53/1768.54 c #Conflicts: 565000 | #Constraints: 109968
1757.53/1768.54 c #Conflicts: 566000 | #Constraints: 110968
1757.53/1768.54 c #Conflicts: 567000 | #Constraints: 111968
1757.53/1768.54 c #Conflicts: 568000 | #Constraints: 112968
1757.53/1768.54 c #Conflicts: 569000 | #Constraints: 113968
1757.53/1768.54 c #Conflicts: 570000 | #Constraints: 114968
1757.53/1768.54 c #Conflicts: 571000 | #Constraints: 115968
1757.53/1768.54 c #Conflicts: 572000 | #Constraints: 116968
1757.53/1768.54 c #Conflicts: 573000 | #Constraints: 117968
1757.53/1768.54 c INPROCESSING
1757.53/1768.54 c GARBAGE COLLECT
1757.53/1768.54 c rational objective 17
1823.44/1834.62 c #Conflicts: 574000 | #Constraints: 76642
1823.44/1834.62 c #Conflicts: 575000 | #Constraints: 77642
1823.44/1834.62 c #Conflicts: 576000 | #Constraints: 78642
1823.44/1834.62 c #Conflicts: 577000 | #Constraints: 79642
1823.44/1834.62 c #Conflicts: 578000 | #Constraints: 80642
1823.44/1834.62 c #Conflicts: 579000 | #Constraints: 81642
1823.44/1834.62 c #Conflicts: 580000 | #Constraints: 82642
1823.44/1834.62 c #Conflicts: 581000 | #Constraints: 83642
1823.44/1834.62 c #Conflicts: 582000 | #Constraints: 84642
1823.44/1834.62 c #Conflicts: 583000 | #Constraints: 85642
1823.44/1834.62 c #Conflicts: 584000 | #Constraints: 86642
1823.44/1834.62 c #Conflicts: 585000 | #Constraints: 87642
1823.44/1834.62 c #Conflicts: 586000 | #Constraints: 88642
1823.44/1834.62 c #Conflicts: 587000 | #Constraints: 89642
1823.44/1834.62 c #Conflicts: 588000 | #Constraints: 90642
1823.44/1834.62 c INPROCESSING
1823.44/1834.62 c GARBAGE COLLECT
1823.44/1834.62 c rational objective 17
1882.93/1894.39 c #Conflicts: 589000 | #Constraints: 62469
1882.93/1894.39 c #Conflicts: 590000 | #Constraints: 63469
1882.93/1894.39 c #Conflicts: 591000 | #Constraints: 64469
1882.93/1894.39 c #Conflicts: 592000 | #Constraints: 65469
1882.93/1894.39 c #Conflicts: 593000 | #Constraints: 66469
1882.93/1894.39 c #Conflicts: 594000 | #Constraints: 67469
1882.93/1894.39 c #Conflicts: 595000 | #Constraints: 68469
1882.93/1894.39 c #Conflicts: 596000 | #Constraints: 69469
1882.93/1894.39 c #Conflicts: 597000 | #Constraints: 70469
1882.93/1894.39 c #Conflicts: 598000 | #Constraints: 71469
1882.93/1894.39 c #Conflicts: 599000 | #Constraints: 72469
1882.93/1894.39 c #Conflicts: 600000 | #Constraints: 73469
1882.93/1894.39 c #Conflicts: 601000 | #Constraints: 74469
1882.93/1894.39 c #Conflicts: 602000 | #Constraints: 75469
1882.93/1894.39 c #Conflicts: 603000 | #Constraints: 76469
1882.93/1894.39 c #Conflicts: 604000 | #Constraints: 77469
1882.93/1894.39 c INPROCESSING
1882.93/1894.39 c GARBAGE COLLECT
1882.93/1894.39 c rational objective 17
1934.17/1945.77 c #Conflicts: 605000 | #Constraints: 56092
1934.17/1945.77 c #Conflicts: 606000 | #Constraints: 57092
1934.17/1945.77 c #Conflicts: 607000 | #Constraints: 58092
1934.17/1945.77 c #Conflicts: 608000 | #Constraints: 59092
1934.17/1945.77 c #Conflicts: 609000 | #Constraints: 60092
1934.17/1945.77 c #Conflicts: 610000 | #Constraints: 61092
1934.17/1945.77 c #Conflicts: 611000 | #Constraints: 62092
1934.17/1945.77 c #Conflicts: 612000 | #Constraints: 63092
1934.17/1945.77 c #Conflicts: 613000 | #Constraints: 64092
1934.17/1945.77 c #Conflicts: 614000 | #Constraints: 65092
1934.17/1945.77 c #Conflicts: 615000 | #Constraints: 66092
1934.17/1945.77 c #Conflicts: 616000 | #Constraints: 67092
1934.17/1945.77 c #Conflicts: 617000 | #Constraints: 68092
1934.17/1945.77 c #Conflicts: 618000 | #Constraints: 69092
1934.17/1945.77 c #Conflicts: 619000 | #Constraints: 70092
1934.17/1945.77 c #Conflicts: 620000 | #Constraints: 71092
1934.17/1945.77 c INPROCESSING
1934.17/1945.77 c GARBAGE COLLECT
1934.17/1945.77 c rational objective 17
1994.26/2006.04 c #Conflicts: 621000 | #Constraints: 52869
1994.26/2006.04 c #Conflicts: 622000 | #Constraints: 53869
1994.26/2006.04 c #Conflicts: 623000 | #Constraints: 54869
1994.26/2006.04 c #Conflicts: 624000 | #Constraints: 55869
1994.26/2006.04 c #Conflicts: 625000 | #Constraints: 56869
1994.26/2006.04 c #Conflicts: 626000 | #Constraints: 57869
1994.26/2006.04 c #Conflicts: 627000 | #Constraints: 58869
1994.26/2006.04 c #Conflicts: 628000 | #Constraints: 59869
1994.26/2006.04 c #Conflicts: 629000 | #Constraints: 60869
1994.26/2006.04 c #Conflicts: 630000 | #Constraints: 61869
1994.26/2006.04 c #Conflicts: 631000 | #Constraints: 62869
1994.26/2006.04 c #Conflicts: 632000 | #Constraints: 63869
1994.26/2006.04 c #Conflicts: 633000 | #Constraints: 64869
1994.26/2006.04 c #Conflicts: 634000 | #Constraints: 65869
1994.26/2006.04 c #Conflicts: 635000 | #Constraints: 66869
1994.26/2006.04 c #Conflicts: 636000 | #Constraints: 67869
1994.26/2006.04 c INPROCESSING
1994.26/2006.04 c GARBAGE COLLECT
1994.26/2006.04 c rational objective 17
2043.22/2055.25 c #Conflicts: 637000 | #Constraints: 51280
2043.22/2055.25 c #Conflicts: 638000 | #Constraints: 52280
2043.22/2055.25 c #Conflicts: 639000 | #Constraints: 53280
2043.22/2055.25 c #Conflicts: 640000 | #Constraints: 54280
2043.22/2055.25 c #Conflicts: 641000 | #Constraints: 55280
2043.22/2055.25 c #Conflicts: 642000 | #Constraints: 56280
2043.22/2055.25 c #Conflicts: 643000 | #Constraints: 57280
2043.22/2055.25 c #Conflicts: 644000 | #Constraints: 58280
2043.22/2055.25 c #Conflicts: 645000 | #Constraints: 59280
2043.22/2055.25 c #Conflicts: 646000 | #Constraints: 60280
2043.22/2055.25 c #Conflicts: 647000 | #Constraints: 61280
2043.22/2055.25 c #Conflicts: 648000 | #Constraints: 62280
2043.22/2055.25 c #Conflicts: 649000 | #Constraints: 63280
2043.22/2055.25 c #Conflicts: 650000 | #Constraints: 64280
2043.22/2055.25 c #Conflicts: 651000 | #Constraints: 65280
2043.22/2055.25 c #Conflicts: 652000 | #Constraints: 66280
2043.22/2055.25 c INPROCESSING
2043.22/2055.25 c GARBAGE COLLECT
2043.22/2055.25 c rational objective 17
2460.15/2476.58 c #Conflicts: 653000 | #Constraints: 50497
2460.15/2476.58 c #Conflicts: 654000 | #Constraints: 51497
2460.15/2476.58 c #Conflicts: 655000 | #Constraints: 52497
2460.15/2476.58 c #Conflicts: 656000 | #Constraints: 53498
2460.15/2476.58 c #Conflicts: 657000 | #Constraints: 54498
2460.15/2476.58 c #Conflicts: 658000 | #Constraints: 55498
2460.15/2476.58 c #Conflicts: 659000 | #Constraints: 56498
2460.15/2476.58 c #Conflicts: 660000 | #Constraints: 57498
2460.15/2476.58 c #Conflicts: 661000 | #Constraints: 58498
2460.15/2476.58 c #Conflicts: 662000 | #Constraints: 59498
2460.15/2476.58 c #Conflicts: 663000 | #Constraints: 60498
2460.15/2476.58 c #Conflicts: 664000 | #Constraints: 61498
2460.15/2476.58 c #Conflicts: 665000 | #Constraints: 62498
2460.15/2476.58 c #Conflicts: 666000 | #Constraints: 63498
2460.15/2476.58 c #Conflicts: 667000 | #Constraints: 64498
2460.15/2476.58 c #Conflicts: 668000 | #Constraints: 65498
2460.15/2476.58 c #Conflicts: 669000 | #Constraints: 66498
2460.15/2476.58 c #Conflicts: 670000 | #Constraints: 67498
2460.15/2476.58 c #Conflicts: 671000 | #Constraints: 68498
2460.15/2476.58 c #Conflicts: 672000 | #Constraints: 69498
2460.15/2476.58 c #Conflicts: 673000 | #Constraints: 70498
2460.15/2476.58 c #Conflicts: 674000 | #Constraints: 71498
2460.15/2476.58 c #Conflicts: 675000 | #Constraints: 72498
2460.15/2476.58 c #Conflicts: 676000 | #Constraints: 73498
2460.15/2476.58 c #Conflicts: 677000 | #Constraints: 74498
2460.15/2476.58 c #Conflicts: 678000 | #Constraints: 75498
2460.15/2476.58 c #Conflicts: 679000 | #Constraints: 76498
2460.15/2476.58 c #Conflicts: 680000 | #Constraints: 77498
2460.15/2476.58 c #Conflicts: 681000 | #Constraints: 78498
2460.15/2476.58 c #Conflicts: 682000 | #Constraints: 79498
2460.15/2476.58 c #Conflicts: 683000 | #Constraints: 80498
2460.15/2476.58 c #Conflicts: 684000 | #Constraints: 81498
2460.15/2476.58 c #Conflicts: 685000 | #Constraints: 82498
2460.15/2476.58 c #Conflicts: 686000 | #Constraints: 83498
2460.15/2476.58 c #Conflicts: 687000 | #Constraints: 84498
2460.15/2476.58 c #Conflicts: 688000 | #Constraints: 85498
2460.15/2476.58 c #Conflicts: 689000 | #Constraints: 86498
2460.15/2476.58 c #Conflicts: 690000 | #Constraints: 87498
2460.15/2476.58 c #Conflicts: 691000 | #Constraints: 88498
2460.15/2476.58 c #Conflicts: 692000 | #Constraints: 89498
2460.15/2476.58 c #Conflicts: 693000 | #Constraints: 90498
2460.15/2476.58 c #Conflicts: 694000 | #Constraints: 91498
2460.15/2476.58 c #Conflicts: 695000 | #Constraints: 92498
2460.15/2476.58 c #Conflicts: 696000 | #Constraints: 93498
2460.15/2476.58 c #Conflicts: 697000 | #Constraints: 94498
2460.15/2476.58 c #Conflicts: 698000 | #Constraints: 95498
2460.15/2476.58 c #Conflicts: 699000 | #Constraints: 96498
2460.15/2476.58 c #Conflicts: 700000 | #Constraints: 97498
2460.15/2476.58 c #Conflicts: 701000 | #Constraints: 98498
2460.15/2476.58 c #Conflicts: 702000 | #Constraints: 99498
2460.15/2476.58 c #Conflicts: 703000 | #Constraints: 100498
2460.15/2476.58 c #Conflicts: 704000 | #Constraints: 101498
2460.15/2476.58 c #Conflicts: 705000 | #Constraints: 102498
2460.15/2476.58 c #Conflicts: 706000 | #Constraints: 103498
2460.15/2476.58 c #Conflicts: 707000 | #Constraints: 104498
2460.15/2476.58 c #Conflicts: 708000 | #Constraints: 105498
2460.15/2476.58 c #Conflicts: 709000 | #Constraints: 106498
2460.15/2476.58 c #Conflicts: 710000 | #Constraints: 107498
2460.15/2476.58 c #Conflicts: 711000 | #Constraints: 108498
2460.15/2476.58 c #Conflicts: 712000 | #Constraints: 109498
2460.15/2476.58 c #Conflicts: 713000 | #Constraints: 110498
2460.15/2476.58 c #Conflicts: 714000 | #Constraints: 111498
2460.15/2476.58 c #Conflicts: 715000 | #Constraints: 112498
2460.15/2476.58 c #Conflicts: 716000 | #Constraints: 113498
2460.15/2476.58 c #Conflicts: 717000 | #Constraints: 114498
2460.15/2476.58 c #Conflicts: 718000 | #Constraints: 115498
2460.15/2476.58 c #Conflicts: 719000 | #Constraints: 116498
2460.15/2476.58 c #Conflicts: 720000 | #Constraints: 117498
2460.15/2476.58 c #Conflicts: 721000 | #Constraints: 118498
2460.15/2476.58 c #Conflicts: 722000 | #Constraints: 119498
2460.15/2476.58 c #Conflicts: 723000 | #Constraints: 120498
2460.15/2476.58 c #Conflicts: 724000 | #Constraints: 121498
2460.15/2476.58 c #Conflicts: 725000 | #Constraints: 122498
2460.15/2476.58 c #Conflicts: 726000 | #Constraints: 123498
2460.15/2476.58 c #Conflicts: 727000 | #Constraints: 124498
2460.15/2476.58 c #Conflicts: 728000 | #Constraints: 125498
2460.15/2476.58 c #Conflicts: 729000 | #Constraints: 126498
2460.15/2476.58 c #Conflicts: 730000 | #Constraints: 127498
2460.15/2476.58 c #Conflicts: 731000 | #Constraints: 128498
2461.65/2478.10 c INPROCESSING
2461.65/2478.10 c GARBAGE COLLECT
2461.65/2478.10 c rational objective 17
2539.30/2556.00 c #Conflicts: 732000 | #Constraints: 81728
2539.30/2556.00 c #Conflicts: 733000 | #Constraints: 82728
2539.30/2556.00 c #Conflicts: 734000 | #Constraints: 83728
2539.30/2556.00 c #Conflicts: 735000 | #Constraints: 84728
2539.30/2556.00 c #Conflicts: 736000 | #Constraints: 85728
2539.30/2556.00 c #Conflicts: 737000 | #Constraints: 86728
2539.30/2556.00 c #Conflicts: 738000 | #Constraints: 87728
2539.30/2556.00 c #Conflicts: 739000 | #Constraints: 88728
2539.30/2556.00 c #Conflicts: 740000 | #Constraints: 89728
2539.30/2556.00 c #Conflicts: 741000 | #Constraints: 90728
2539.30/2556.00 c #Conflicts: 742000 | #Constraints: 91728
2539.30/2556.00 c #Conflicts: 743000 | #Constraints: 92728
2539.30/2556.00 c #Conflicts: 744000 | #Constraints: 93728
2539.30/2556.00 c #Conflicts: 745000 | #Constraints: 94728
2539.30/2556.00 c #Conflicts: 746000 | #Constraints: 95728
2539.30/2556.00 c #Conflicts: 747000 | #Constraints: 96728
2539.30/2556.00 c #Conflicts: 748000 | #Constraints: 97728
2539.30/2556.00 c #Conflicts: 749000 | #Constraints: 98728
2539.30/2556.00 c INPROCESSING
2539.30/2556.00 c GARBAGE COLLECT
2539.30/2556.00 c rational objective 17
2578.00/2595.79 c #Conflicts: 750000 | #Constraints: 66933
2578.00/2595.79 c #Conflicts: 751000 | #Constraints: 67933
2578.00/2595.79 c #Conflicts: 752000 | #Constraints: 68933
2578.00/2595.79 c #Conflicts: 753000 | #Constraints: 69933
2578.00/2595.79 c #Conflicts: 754000 | #Constraints: 70933
2578.00/2595.79 c #Conflicts: 755000 | #Constraints: 71933
2578.00/2595.79 c #Conflicts: 756000 | #Constraints: 72933
2578.00/2595.79 c #Conflicts: 757000 | #Constraints: 73933
2578.00/2595.79 c bounds 19 >= 18 @ 2565.99
2618.19/2636.05 c #Conflicts: 758000 | #Constraints: 74969
2618.19/2636.05 c #Conflicts: 759000 | #Constraints: 75969
2618.19/2636.05 c #Conflicts: 760000 | #Constraints: 76969
2618.19/2636.05 c #Conflicts: 761000 | #Constraints: 77969
2618.19/2636.05 c #Conflicts: 762000 | #Constraints: 78969
2618.19/2636.05 c #Conflicts: 763000 | #Constraints: 79969
2618.19/2636.05 c #Conflicts: 764000 | #Constraints: 80969
2618.19/2636.05 c #Conflicts: 765000 | #Constraints: 81969
2618.19/2636.05 c #Conflicts: 766000 | #Constraints: 82969
2618.19/2636.05 c INPROCESSING
2618.19/2636.05 c GARBAGE COLLECT
2618.19/2636.05 c rational objective 18
2681.67/2699.72 c #Conflicts: 767000 | #Constraints: 58787
2681.67/2699.72 c #Conflicts: 768000 | #Constraints: 59787
2681.67/2699.72 c #Conflicts: 769000 | #Constraints: 60787
2681.67/2699.72 c #Conflicts: 770000 | #Constraints: 61787
2681.67/2699.72 c #Conflicts: 771000 | #Constraints: 62787
2681.67/2699.72 c #Conflicts: 772000 | #Constraints: 63787
2681.67/2699.72 c #Conflicts: 773000 | #Constraints: 64787
2681.67/2699.72 c #Conflicts: 774000 | #Constraints: 65787
2681.67/2699.72 c #Conflicts: 775000 | #Constraints: 66787
2681.67/2699.72 c #Conflicts: 776000 | #Constraints: 67787
2681.67/2699.72 c #Conflicts: 777000 | #Constraints: 68787
2681.67/2699.72 c #Conflicts: 778000 | #Constraints: 69787
2681.67/2699.72 c #Conflicts: 779000 | #Constraints: 70787
2681.67/2699.72 c #Conflicts: 780000 | #Constraints: 71787
2681.67/2699.72 c #Conflicts: 781000 | #Constraints: 72787
2681.67/2699.72 c #Conflicts: 782000 | #Constraints: 73787
2681.67/2699.72 c #Conflicts: 783000 | #Constraints: 74787
2681.67/2699.72 c #Conflicts: 784000 | #Constraints: 75787
2681.67/2699.72 c INPROCESSING
2681.67/2699.72 c GARBAGE COLLECT
2681.67/2699.72 c rational objective 18
2739.39/2757.61 c #Conflicts: 785000 | #Constraints: 55267
2739.39/2757.61 c #Conflicts: 786000 | #Constraints: 56267
2739.39/2757.61 c #Conflicts: 787000 | #Constraints: 57267
2739.39/2757.61 c #Conflicts: 788000 | #Constraints: 58267
2739.39/2757.61 c #Conflicts: 789000 | #Constraints: 59267
2739.39/2757.61 c #Conflicts: 790000 | #Constraints: 60267
2739.39/2757.61 c #Conflicts: 791000 | #Constraints: 61267
2739.39/2757.61 c #Conflicts: 792000 | #Constraints: 62267
2739.39/2757.61 c #Conflicts: 793000 | #Constraints: 63267
2739.39/2757.61 c #Conflicts: 794000 | #Constraints: 64267
2739.39/2757.61 c #Conflicts: 795000 | #Constraints: 65267
2739.39/2757.61 c #Conflicts: 796000 | #Constraints: 66267
2739.39/2757.61 c #Conflicts: 797000 | #Constraints: 67267
2739.39/2757.61 c #Conflicts: 798000 | #Constraints: 68267
2739.39/2757.61 c #Conflicts: 799000 | #Constraints: 69267
2739.39/2757.61 c #Conflicts: 800000 | #Constraints: 70267
2739.39/2757.61 c #Conflicts: 801000 | #Constraints: 71268
2739.39/2757.61 c #Conflicts: 802000 | #Constraints: 72268
2739.39/2757.61 c #Conflicts: 803000 | #Constraints: 73268
2739.39/2757.61 c INPROCESSING
2739.39/2757.61 c GARBAGE COLLECT
2739.39/2757.61 c rational objective 18
3216.63/3242.76 c #Conflicts: 804000 | #Constraints: 54318
3216.63/3242.76 c #Conflicts: 805000 | #Constraints: 55318
3216.63/3242.76 c #Conflicts: 806000 | #Constraints: 56318
3216.63/3242.76 c #Conflicts: 807000 | #Constraints: 57318
3216.63/3242.76 c #Conflicts: 808000 | #Constraints: 58318
3216.63/3242.76 c #Conflicts: 809000 | #Constraints: 59318
3216.63/3242.76 c #Conflicts: 810000 | #Constraints: 60318
3216.63/3242.76 c #Conflicts: 811000 | #Constraints: 61318
3216.63/3242.76 c #Conflicts: 812000 | #Constraints: 62318
3216.63/3242.76 c #Conflicts: 813000 | #Constraints: 63318
3216.63/3242.76 c #Conflicts: 814000 | #Constraints: 64318
3216.63/3242.76 c #Conflicts: 815000 | #Constraints: 65318
3216.63/3242.76 c #Conflicts: 816000 | #Constraints: 66318
3216.63/3242.76 c #Conflicts: 817000 | #Constraints: 67318
3216.63/3242.76 c #Conflicts: 818000 | #Constraints: 68318
3216.63/3242.76 c #Conflicts: 819000 | #Constraints: 69318
3216.63/3242.76 c #Conflicts: 820000 | #Constraints: 70318
3216.63/3242.76 c #Conflicts: 821000 | #Constraints: 71318
3216.63/3242.76 c #Conflicts: 822000 | #Constraints: 72318
3216.63/3242.76 c #Conflicts: 823000 | #Constraints: 73318
3216.63/3242.76 c #Conflicts: 824000 | #Constraints: 74318
3216.63/3242.76 c #Conflicts: 825000 | #Constraints: 75318
3216.63/3242.76 c #Conflicts: 826000 | #Constraints: 76318
3216.63/3242.76 c #Conflicts: 827000 | #Constraints: 77318
3216.63/3242.76 c #Conflicts: 828000 | #Constraints: 78318
3216.63/3242.76 c #Conflicts: 829000 | #Constraints: 79318
3216.63/3242.76 c #Conflicts: 830000 | #Constraints: 80318
3216.63/3242.76 c #Conflicts: 831000 | #Constraints: 81318
3216.63/3242.76 c #Conflicts: 832000 | #Constraints: 82318
3216.63/3242.76 c #Conflicts: 833000 | #Constraints: 83318
3216.63/3242.76 c #Conflicts: 834000 | #Constraints: 84318
3216.63/3242.76 c #Conflicts: 835000 | #Constraints: 85318
3216.63/3242.76 c #Conflicts: 836000 | #Constraints: 86318
3216.63/3242.76 c #Conflicts: 837000 | #Constraints: 87318
3216.63/3242.76 c #Conflicts: 838000 | #Constraints: 88318
3216.63/3242.76 c #Conflicts: 839000 | #Constraints: 89318
3216.63/3242.76 c #Conflicts: 840000 | #Constraints: 90318
3216.63/3242.76 c #Conflicts: 841000 | #Constraints: 91318
3216.63/3242.76 c #Conflicts: 842000 | #Constraints: 92318
3216.63/3242.76 c #Conflicts: 843000 | #Constraints: 93318
3216.63/3242.76 c #Conflicts: 844000 | #Constraints: 94318
3216.63/3242.76 c #Conflicts: 845000 | #Constraints: 95318
3216.63/3242.76 c #Conflicts: 846000 | #Constraints: 96318
3216.63/3242.76 c #Conflicts: 847000 | #Constraints: 97318
3216.63/3242.76 c #Conflicts: 848000 | #Constraints: 98318
3216.63/3242.76 c #Conflicts: 849000 | #Constraints: 99318
3216.63/3242.76 c #Conflicts: 850000 | #Constraints: 100318
3216.63/3242.76 c #Conflicts: 851000 | #Constraints: 101318
3216.63/3242.76 c #Conflicts: 852000 | #Constraints: 102318
3216.63/3242.76 c #Conflicts: 853000 | #Constraints: 103318
3216.63/3242.76 c #Conflicts: 854000 | #Constraints: 104318
3216.63/3242.76 c #Conflicts: 855000 | #Constraints: 105318
3216.63/3242.76 c #Conflicts: 856000 | #Constraints: 106318
3216.63/3242.76 c #Conflicts: 857000 | #Constraints: 107318
3216.63/3242.76 c #Conflicts: 858000 | #Constraints: 108318
3216.63/3242.76 c #Conflicts: 859000 | #Constraints: 109318
3216.63/3242.76 c #Conflicts: 860000 | #Constraints: 110318
3216.63/3242.76 c #Conflicts: 861000 | #Constraints: 111318
3216.63/3242.76 c #Conflicts: 862000 | #Constraints: 112318
3216.63/3242.76 c #Conflicts: 863000 | #Constraints: 113318
3216.63/3242.76 c #Conflicts: 864000 | #Constraints: 114318
3216.63/3242.76 c #Conflicts: 865000 | #Constraints: 115318
3216.63/3242.76 c #Conflicts: 866000 | #Constraints: 116318
3216.63/3242.76 c #Conflicts: 867000 | #Constraints: 117318
3216.63/3242.76 c #Conflicts: 868000 | #Constraints: 118318
3216.63/3242.76 c #Conflicts: 869000 | #Constraints: 119318
3216.63/3242.76 c #Conflicts: 870000 | #Constraints: 120318
3216.63/3242.76 c #Conflicts: 871000 | #Constraints: 121318
3216.63/3242.76 c #Conflicts: 872000 | #Constraints: 122318
3216.63/3242.76 c #Conflicts: 873000 | #Constraints: 123318
3216.63/3242.76 c #Conflicts: 874000 | #Constraints: 124318
3216.63/3242.76 c #Conflicts: 875000 | #Constraints: 125318
3216.63/3242.76 c #Conflicts: 876000 | #Constraints: 126318
3216.63/3242.76 c #Conflicts: 877000 | #Constraints: 127318
3216.63/3242.76 c #Conflicts: 878000 | #Constraints: 128318
3216.63/3242.76 c #Conflicts: 879000 | #Constraints: 129318
3216.63/3242.76 c #Conflicts: 880000 | #Constraints: 130318
3216.63/3242.76 c #Conflicts: 881000 | #Constraints: 131318
3216.63/3242.76 c #Conflicts: 882000 | #Constraints: 132318
3270.68/3296.92 c #Conflicts: 883000 | #Constraints: 133318
3270.68/3296.92 c #Conflicts: 884000 | #Constraints: 134318
3270.68/3296.92 c #Conflicts: 885000 | #Constraints: 135318
3270.68/3296.92 c #Conflicts: 886000 | #Constraints: 136318
3270.68/3296.92 c #Conflicts: 887000 | #Constraints: 137318
3270.68/3296.92 c #Conflicts: 888000 | #Constraints: 138318
3270.68/3296.92 c INPROCESSING
3270.68/3296.92 c GARBAGE COLLECT
3270.68/3296.92 c rational objective 18
3385.60/3412.21 c #Conflicts: 889000 | #Constraints: 86753
3385.60/3412.21 c #Conflicts: 890000 | #Constraints: 87753
3385.60/3412.21 c #Conflicts: 891000 | #Constraints: 88753
3385.60/3412.21 c #Conflicts: 892000 | #Constraints: 89753
3385.60/3412.21 c #Conflicts: 893000 | #Constraints: 90753
3385.60/3412.21 c #Conflicts: 894000 | #Constraints: 91753
3385.60/3412.21 c #Conflicts: 895000 | #Constraints: 92753
3385.60/3412.21 c #Conflicts: 896000 | #Constraints: 93753
3385.60/3412.21 c #Conflicts: 897000 | #Constraints: 94753
3385.60/3412.21 c #Conflicts: 898000 | #Constraints: 95753
3385.60/3412.21 c #Conflicts: 899000 | #Constraints: 96753
3385.60/3412.21 c #Conflicts: 900000 | #Constraints: 97753
3385.60/3412.21 c #Conflicts: 901000 | #Constraints: 98753
3385.60/3412.21 c #Conflicts: 902000 | #Constraints: 99753
3385.60/3412.21 c #Conflicts: 903000 | #Constraints: 100753
3385.60/3412.21 c #Conflicts: 904000 | #Constraints: 101753
3385.60/3412.21 c #Conflicts: 905000 | #Constraints: 102753
3385.60/3412.21 c #Conflicts: 906000 | #Constraints: 103753
3385.60/3412.21 c #Conflicts: 907000 | #Constraints: 104753
3385.60/3412.21 c INPROCESSING
3385.60/3412.21 c GARBAGE COLLECT
3385.60/3412.21 c rational objective 18
3489.84/3517.09 c #Conflicts: 908000 | #Constraints: 67178
3489.84/3517.09 c #Conflicts: 909000 | #Constraints: 68178
3489.84/3517.09 c #Conflicts: 910000 | #Constraints: 69178
3489.84/3517.09 c #Conflicts: 911000 | #Constraints: 70178
3489.84/3517.09 c #Conflicts: 912000 | #Constraints: 71178
3489.84/3517.09 c #Conflicts: 913000 | #Constraints: 72178
3489.84/3517.09 c #Conflicts: 914000 | #Constraints: 73178
3489.84/3517.09 c #Conflicts: 915000 | #Constraints: 74178
3489.84/3517.09 c #Conflicts: 916000 | #Constraints: 75178
3489.84/3517.09 c #Conflicts: 917000 | #Constraints: 76178
3489.84/3517.09 c #Conflicts: 918000 | #Constraints: 77178
3489.84/3517.09 c #Conflicts: 919000 | #Constraints: 78178
3489.84/3517.09 c #Conflicts: 920000 | #Constraints: 79178
3489.84/3517.09 c #Conflicts: 921000 | #Constraints: 80178
3489.84/3517.09 c #Conflicts: 922000 | #Constraints: 81178
3489.84/3517.09 c #Conflicts: 923000 | #Constraints: 82178
3489.84/3517.09 c #Conflicts: 924000 | #Constraints: 83178
3489.84/3517.09 c #Conflicts: 925000 | #Constraints: 84178
3489.84/3517.09 c #Conflicts: 926000 | #Constraints: 85178
3489.84/3517.09 c #Conflicts: 927000 | #Constraints: 86178
3489.84/3517.09 c INPROCESSING
3489.84/3517.09 c GARBAGE COLLECT
3489.84/3517.09 c rational objective 18
3560.05/3587.51 c #Conflicts: 928000 | #Constraints: 60640
3560.05/3587.51 c #Conflicts: 929000 | #Constraints: 61640
3560.05/3587.51 c #Conflicts: 930000 | #Constraints: 62640
3560.05/3587.51 c #Conflicts: 931000 | #Constraints: 63640
3560.05/3587.51 c #Conflicts: 932000 | #Constraints: 64640
3560.05/3587.51 c #Conflicts: 933000 | #Constraints: 65640
3560.05/3587.51 c #Conflicts: 934000 | #Constraints: 66640
3560.05/3587.51 c #Conflicts: 935000 | #Constraints: 67640
3560.05/3587.51 c #Conflicts: 936000 | #Constraints: 68640
3560.05/3587.51 c #Conflicts: 937000 | #Constraints: 69640
3560.05/3587.51 c #Conflicts: 938000 | #Constraints: 70640
3560.05/3587.51 c #Conflicts: 939000 | #Constraints: 71640
3560.05/3587.51 c #Conflicts: 940000 | #Constraints: 72640
3560.05/3587.51 c #Conflicts: 941000 | #Constraints: 73640
3560.05/3587.51 c #Conflicts: 942000 | #Constraints: 74640
3560.05/3587.51 c #Conflicts: 943000 | #Constraints: 75640
3560.05/3587.51 c #Conflicts: 944000 | #Constraints: 76640
3560.05/3587.51 c #Conflicts: 945000 | #Constraints: 77640
3560.05/3587.51 c #Conflicts: 946000 | #Constraints: 78640
3560.05/3587.51 c #Conflicts: 947000 | #Constraints: 79640
3560.05/3587.51 c INPROCESSING
3560.05/3587.51 c GARBAGE COLLECT
3560.05/3587.51 c rational objective 18
3600.02/3627.60 c #Conflicts: 948000 | #Constraints: 57426
3600.02/3627.60 c #Conflicts: 949000 | #Constraints: 58426
3600.02/3627.60 c #Conflicts: 950000 | #Constraints: 59426
3600.02/3627.60 c #Conflicts: 951000 | #Constraints: 60426
3600.02/3627.60 c #Conflicts: 952000 | #Constraints: 61426
3600.02/3627.60 c #Conflicts: 953000 | #Constraints: 62426
3600.02/3627.60 c #Conflicts: 954000 | #Constraints: 63426
3600.02/3627.60 c #Conflicts: 955000 | #Constraints: 64426
3600.02/3627.60 c #Conflicts: 956000 | #Constraints: 65426
3600.02/3627.60 c #Conflicts: 957000 | #Constraints: 66426
3600.02/3627.60 c #Conflicts: 958000 | #Constraints: 67426
3600.02/3627.60 c #Conflicts: 959000 | #Constraints: 68426
3600.02/3627.60 c #Conflicts: 960000 | #Constraints: 69426
3600.02/3627.60 c #Conflicts: 961000 | #Constraints: 70426
3600.02/3627.60 c cpu time 3584.85 s
3600.02/3627.60 c deterministic time 200788708648 2.01e+11
3600.02/3627.60 c optimization time 39.593 s
3600.02/3627.60 c total solve time 3545.1 s
3600.02/3627.60 c core-guided solve time 1902.1 s
3600.02/3627.60 c propagation time 1728.88 s
3600.02/3627.60 c conflict analysis time 1696.38 s
3600.02/3627.60 c propagations 955673644
3600.02/3627.60 c resolve steps 113102196
3600.02/3627.60 c decisions 4966627
3600.02/3627.60 c conflicts 961130
3600.02/3627.60 c restarts 2044
3600.02/3627.60 c inprocessing phases 77
3600.02/3627.60 c garbage collections 77 ,( 100.00 )
3600.02/3627.60 c input clauses 32334 ,( 99.53 )
3600.02/3627.60 c input cardinalities 92 ,( 0.28 )
3600.02/3627.60 c input general constraints 60 ,( 0.18 )
3600.02/3627.60 c input average constraint length 3.32
3600.02/3627.60 c input average constraint degree 1.35
3600.02/3627.60 c learned clauses 830938 ,( 86.45 )
3600.02/3627.60 c learned cardinalities 2650 ,( 0.28 )
3600.02/3627.60 c learned general constraints 127589 ,( 13.27 )
3600.02/3627.60 c learned average constraint length 1240.27
3600.02/3627.60 c learned average constraint degree 1484544.09
3600.02/3627.60 c watched CF 32, 64, 128, Arb: 85823 , 0 , 0 , 0
3600.02/3627.60 c counting CF 32, 64, 128, Arb: 41827 , 0 , 0 , 0
3600.02/3627.60 c watched constraints 85823 ,( 67.23 )
3600.02/3627.60 c counting constraints 41826 ,( 32.77 )
3600.02/3627.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1593306258 , 23828779 , 7125217269 ,( 2509358661 , 4615858608 )
3600.02/3627.60 c gcd simplifications 891
3600.02/3627.60 c detected cardinalities 7
3600.02/3627.60 c weakened non-implied lits 108154847
3600.02/3627.60 c weakened non-implying lits 132910
3600.02/3627.60 c original variables 8901
3600.02/3627.60 c clausal propagations 842022815
3600.02/3627.60 c cardinality propagations 4844014
3600.02/3627.60 c watched propagations 9845565
3600.02/3627.60 c counting propagations 93324080
3600.02/3627.60 c watch lookups 55758865386
3600.02/3627.60 c watch backjump lookups 0
3600.02/3627.60 c watch checks 128620974299
3600.02/3627.60 c propagation checks 11607220442
3600.02/3627.60 c constraint additions 2878363584
3600.02/3627.60 c trail pops 961595788
3600.02/3627.60 c formula constraints 32281
3600.02/3627.60 c learned constraints 961127
3600.02/3627.60 c bound constraints 20
3600.02/3627.60 c core-guided constraints 185
3600.02/3627.60 c encountered formula constraints 94503236
3600.02/3627.60 c encountered learned constraints 18870163
3600.02/3627.60 c encountered bound constraints 360
3600.02/3627.60 c encountered core-guided constraints 689504
3600.02/3627.60 c LP total time 432.171 s
3600.02/3627.60 c LP solve time 346.88 s
3600.02/3627.60 c LP constraints added 33096
3600.02/3627.60 c LP constraints removed 801
3600.02/3627.60 c LP pivots internal 961812
3600.02/3627.60 c LP pivots root 87065
3600.02/3627.60 c LP calls 481
3600.02/3627.60 c LP optimalities 470
3600.02/3627.60 c LP no pivot count 110
3600.02/3627.60 c LP infeasibilities 7
3600.02/3627.60 c LP valid Farkas constraints 7
3600.02/3627.60 c LP learned Farkas constraints 7
3600.02/3627.60 c LP basis resets 0
3600.02/3627.60 c LP cycling count 0
3600.02/3627.60 c LP singular count 0
3600.02/3627.60 c LP no primal count 0
3600.02/3627.60 c LP no farkas count 0
3600.02/3627.60 c LP other issue count 0
3600.02/3627.60 c LP Gomory cuts 36
3600.02/3627.60 c LP learned cuts 779
3600.02/3627.60 c LP deleted cuts 801
3600.02/3627.60 c LP encountered Gomory constraints 0
3600.02/3627.60 c LP encountered Farkas constraints 44
3600.02/3627.60 c LP encountered learned Farkas constraints 12
3600.02/3627.60 c CG auxiliary variables introduced 66
3600.02/3627.60 c CG solutions found 7
3600.02/3627.60 c CG cores constructed 13
3600.02/3627.60 c CG core cardinality constraints returned 0
3600.02/3627.60 c CG unit cores 0
3600.02/3627.60 c CG single cores 13
3600.02/3627.60 c CG blocks removed during cardinality reduction 0
3600.02/3627.60 c CG first core best 0
3600.02/3627.60 c CG decision core best 0
3600.02/3627.60 c CG core reduction tie 0
3600.02/3627.60 c CG core degree average 1.00
3600.02/3627.60 c CG core slack average 63.46
3600.02/3627.60 c CG core upper bound improvements 27
3600.02/3627.60 c STR number of successful calls 0
3600.02/3627.60 c STR number of unsuccessful calls 0
3600.02/3627.60 c STR number of inconclusive calls 0
3600.02/3627.60 c STR number of successful attempts 0
3600.02/3627.60 c STR number of unsuccessful attempts 0
3600.02/3627.60 c STR number of inconclusive attempts 0
3600.02/3627.60 c STR average degree increase per successful call inf
3600.02/3627.60 c STR average degree increase per successful attempt inf
3600.02/3627.60 c STR total number of conflicts for successful attempts 0
3600.02/3627.60 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3627.60 c STR total number of conflicts for inconclusive attempts 0
3600.02/3627.60 c STR average number of conflicts per successful attempt inf
3600.02/3627.60 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3627.60 c STR average number of conflicts per inconclusive attempt inf
3600.02/3627.60 c AVG.sumWPerc 31.50
3600.02/3627.60 c bigint constraints 0
3600.02/3627.60 o 19
3600.02/3627.60 s SATISFIABLE
3600.02/3627.60 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
3600.02/3627.60 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 (61860 MiB free)
memory of node 1: 64507 MiB (62678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497795-1751398272/watcher-4497795-1751398272 -o /tmp/evaluation-result-4497795-1751398272/solver-4497795-1751398272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54955 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497795-1751398272.opb PROOFDIR/proof-4497795-1751398272
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55123, runsolver pid=55120
[startup+0.100097 s]*
/proc/loadavg: 4.44 3.18 3.19 5/261 55126
/proc/meminfo: memFree=127515492/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=58108 memory=13328 CPUtime=0.03 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 1098 0 0 0 3 0 0 0 20 0 1 0 55506111 59502592 3332 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 14527 3332 1952 1147 0 1954 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62300 KiB
Current children cumulated memory: 16400 KiB
[startup+0.213787 s]*
/proc/loadavg: 4.44 3.18 3.19 5/261 55126
/proc/meminfo: memFree=127507048/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=89544 memory=34672 CPUtime=0.14 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 5098 0 0 0 12 2 0 0 20 0 1 0 55506111 91693056 8668 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 22386 8668 2240 1147 0 9813 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 93736 KiB
Current children cumulated memory: 37744 KiB
[startup+0.313793 s]*
/proc/loadavg: 4.44 3.18 3.19 5/261 55126
/proc/meminfo: memFree=127490792/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=96152 memory=52680 CPUtime=0.24 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 8626 0 0 0 21 3 0 0 20 0 1 0 55506111 98459648 13170 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 24038 13170 2336 1147 0 11465 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 100344 KiB
Current children cumulated memory: 55752 KiB
[startup+0.700396 s]
/proc/loadavg: 4.44 3.18 3.19 5/261 55126
/proc/meminfo: memFree=127490792/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=97088 memory=55888 CPUtime=0.61 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 8887 0 0 0 58 3 0 0 20 0 1 0 55506111 99418112 13972 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 24272 13972 2368 1147 0 11699 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 101280 KiB
Current children cumulated memory: 58960 KiB
[startup+1.50034 s]
/proc/loadavg: 4.44 3.18 3.19 6/261 55126
/proc/meminfo: memFree=127486444/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=106384 memory=63912 CPUtime=1.41 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 10982 0 0 0 136 5 0 0 20 0 1 0 55506111 108937216 15978 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 26596 15978 2368 1147 0 14023 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 110576 KiB
Current children cumulated memory: 66984 KiB
[startup+3.11339 s]
/proc/loadavg: 4.44 3.18 3.19 6/261 55126
/proc/meminfo: memFree=127486288/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=121336 memory=78036 CPUtime=3.02 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 14132 0 0 0 294 8 0 0 20 0 1 0 55506111 124248064 19509 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 30334 19509 2400 1147 0 17761 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 125528 KiB
Current children cumulated memory: 81108 KiB
[startup+6.30033 s]
/proc/loadavg: 4.40 3.19 3.19 6/261 55126
/proc/meminfo: memFree=127483304/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=124580 memory=81236 CPUtime=6.2 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 14949 0 0 0 608 12 0 0 20 0 1 0 55506111 127569920 20309 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 31145 20309 2400 1147 0 18572 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 128772 KiB
Current children cumulated memory: 84308 KiB
[startup+12.7004 s]
/proc/loadavg: 4.37 3.21 3.20 6/261 55126
/proc/meminfo: memFree=127385136/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=153452 memory=106072 CPUtime=12.59 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 20633 0 0 0 1239 20 0 0 20 0 1 0 55506111 157134848 26518 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 38363 26518 2400 1147 0 25790 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 109144 KiB
[startup+25.5004 s]
/proc/loadavg: 4.31 3.23 3.20 6/261 55127
/proc/meminfo: memFree=127264492/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=161272 memory=114204 CPUtime=25.35 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 22179 0 0 0 2500 35 0 0 20 0 1 0 55506111 165142528 28551 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 40318 28551 2400 1147 0 27745 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 165464 KiB
Current children cumulated memory: 117276 KiB
[startup+51.1135 s]
/proc/loadavg: 4.26 3.33 3.24 6/262 55128
/proc/meminfo: memFree=127061072/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=182240 memory=127152 CPUtime=50.81 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 24876 0 0 0 5016 65 0 0 20 0 1 0 55506111 186613760 31788 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 45560 31788 2400 1147 0 32987 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 186432 KiB
Current children cumulated memory: 130224 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.43 3.28 6/261 55130
/proc/meminfo: memFree=126673680/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=190640 memory=139608 CPUtime=101.68 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 26989 0 0 0 10058 110 0 0 20 0 1 0 55506111 195215360 34902 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 47660 34902 2400 1147 0 35087 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 194832 KiB
Current children cumulated memory: 142680 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.55 3.33 6/262 55137
/proc/meminfo: memFree=126301800/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=220972 memory=160000 CPUtime=161.44 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 30117 0 0 0 15989 155 0 0 20 0 1 0 55506111 226275328 40000 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 55243 40000 2400 1147 0 42670 0
Current children cumulated CPU time: 161.48 s
Current children cumulated vsize: 225164 KiB
Current children cumulated memory: 163072 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 3.68 3.39 6/260 55139
/proc/meminfo: memFree=125902460/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=256824 memory=180280 CPUtime=221.26 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 32140 0 0 0 21932 194 0 0 20 0 1 0 55506111 262987776 45070 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 64206 45070 2400 1147 0 51633 0
################
# More data... #
################
/proc/55126/statm: 216858 189146 2400 1147 0 204285 0
Current children cumulated CPU time: 3020.11 s
Current children cumulated vsize: 871624 KiB
Current children cumulated memory: 759656 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.06 6/258 55296
/proc/meminfo: memFree=114262892/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=867432 memory=756712 CPUtime=3079.89 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 66004 0 0 0 306620 1369 0 0 20 0 1 0 55506111 888250368 189178 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 216858 189178 2400 1147 0 204285 0
Current children cumulated CPU time: 3079.93 s
Current children cumulated vsize: 871624 KiB
Current children cumulated memory: 759784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.05 6/259 55303
/proc/meminfo: memFree=114044996/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=867432 memory=757224 CPUtime=3136.4 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 66127 0 0 0 312259 1381 0 0 20 0 1 0 55506111 888250368 189306 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 216858 189306 2400 1147 0 204285 0
Current children cumulated CPU time: 3136.44 s
Current children cumulated vsize: 871624 KiB
Current children cumulated memory: 760296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.05 6/259 55306
/proc/meminfo: memFree=113674952/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=870228 memory=759272 CPUtime=3196.24 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 66669 0 0 0 318232 1392 0 0 20 0 1 0 55506111 891113472 189818 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 217557 189818 2400 1147 0 204984 0
Current children cumulated CPU time: 3196.28 s
Current children cumulated vsize: 874420 KiB
Current children cumulated memory: 762344 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/259 55308
/proc/meminfo: memFree=113489836/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=879712 memory=766440 CPUtime=3256.08 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 68457 0 0 0 324204 1404 0 0 20 0 1 0 55506111 900825088 191610 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 219928 191610 2400 1147 0 207355 0
Current children cumulated CPU time: 3256.12 s
Current children cumulated vsize: 883904 KiB
Current children cumulated memory: 769512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.10 4.06 6/259 55310
/proc/meminfo: memFree=113343252/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=899380 memory=784744 CPUtime=3315.9 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 73040 0 0 0 330170 1420 0 0 20 0 1 0 55506111 920965120 196186 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 224845 196186 2400 1147 0 212272 0
Current children cumulated CPU time: 3315.94 s
Current children cumulated vsize: 903572 KiB
Current children cumulated memory: 787816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.06 6/259 55360
/proc/meminfo: memFree=115763684/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=899380 memory=790504 CPUtime=3375.69 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 73061 0 0 0 336135 1434 0 0 20 0 1 0 55506111 920965120 197626 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 224845 197626 2400 1147 0 212272 0
Current children cumulated CPU time: 3375.73 s
Current children cumulated vsize: 903572 KiB
Current children cumulated memory: 793576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/260 55506
/proc/meminfo: memFree=114870288/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=899768 memory=794472 CPUtime=3435.47 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 73193 0 0 0 342093 1454 0 0 20 0 1 0 55506111 921362432 198618 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 224942 198618 2400 1147 0 212369 0
Current children cumulated CPU time: 3435.51 s
Current children cumulated vsize: 903960 KiB
Current children cumulated memory: 797544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/261 55511
/proc/meminfo: memFree=108263844/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=903128 memory=797032 CPUtime=3495.07 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 73824 0 0 0 348039 1468 0 0 20 0 1 0 55506111 924803072 199258 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 225782 199258 2400 1147 0 213209 0
Current children cumulated CPU time: 3495.11 s
Current children cumulated vsize: 907320 KiB
Current children cumulated memory: 800104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/262 55515
/proc/meminfo: memFree=105769396/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=905452 memory=799080 CPUtime=3554.82 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 74348 0 0 0 353992 1490 0 0 20 0 1 0 55506111 927182848 199770 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 226363 199770 2400 1147 0 213790 0
Current children cumulated CPU time: 3554.86 s
Current children cumulated vsize: 909644 KiB
Current children cumulated memory: 802152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3627.6 s]
/proc/loadavg: 4.10 4.10 4.07 5/264 55517
/proc/meminfo: memFree=99533516/131382112 swapFree=33010160/33010684
[pid=55123] ppid=55120 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/55123/stat : 55123 (run-opt-break-l) S 55120 55123 54941 0 -1 4194304 242 7171 0 0 0 0 3 1 20 0 1 0 55506104 4292608 768 18446744073709551615 94792252903424 94792253797957 140732585080432 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792254037008 94792254084752 94792286584832 140732585089301 140732585089502 140732585089502 140732585095104 0
/proc/55123/statm: 1048 768 704 219 0 110 0
[pid=55126] ppid=55123 vsize=905868 memory=799720 CPUtime=3599.98 cores=4,6
/proc/55126/stat : 55126 (roundingsat) R 55123 55123 54941 0 -1 4194304 74502 0 0 0 358484 1514 0 0 20 0 1 0 55506111 927608832 199930 18446744073709551615 4227072 8923433 140728671998384 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15712256 140728672000276 140728672000552 140728672000552 140728672006122 0
/proc/55126/statm: 226467 199930 2400 1147 0 213894 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 910060 KiB
Current children cumulated memory: 802792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3627.61 s]
# the end of solver process 55123 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.034454 s, system=0.017125 s
[startup+3627.65 s]
# the end of solver process 55126 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.89 s, system=15.1666 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3627.65
CPU time (s): 3600.06
CPU user time (s): 3584.89
CPU system time (s): 15.1666
CPU usage (%): 99.2393
Max. virtual memory (cumulated for all children) (KiB): 910060
Max. memory (cumulated for all children) (KiB): 802792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.89
system time used= 15.1666
maximum resident set size= 799976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7309040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1354
involuntary context switches= 4914
# summary of solver processes directly reported to runsolver:
# pid: 55123,55126
# total CPU time (s): 3600.06
# total CPU user time (s): 3584.89
# total CPU system time (s): 15.1666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9077 second user time and 37.268 second system time
The end
Begin job on nodeC001 at 2025-07-01 21:31:12
IDJOB=4497795
IDBENCH=148193
IDSOLVER=3360
FILE ID=nodeC001/4497795-1751398272
RUNJOBID= nodeC001-1751398041-54955
SLURM_JOB_ID= 9598279
Free space on /tmp= 433004 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4497795-1751398272/watcher-4497795-1751398272 -o /tmp/evaluation-result-4497795-1751398272/solver-4497795-1751398272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54955 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497795-1751398272.opb PROOFDIR/proof-4497795-1751398272
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=283118900
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.710
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.354
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.607
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.474
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127527812 kB
MemAvailable: 128584088 kB
Buffers: 2128 kB
Cached: 1859896 kB
SwapCached: 28 kB
Active: 1615436 kB
Inactive: 1560280 kB
Active(anon): 1321296 kB
Inactive(anon): 10380 kB
Active(file): 294140 kB
Inactive(file): 1549900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 111792 kB
Writeback: 0 kB
AnonPages: 1316788 kB
Mapped: 116268 kB
Shmem: 17932 kB
KReclaimable: 103340 kB
Slab: 189644 kB
SReclaimable: 103340 kB
SUnreclaim: 86304 kB
KernelStack: 4192 kB
PageTables: 5824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1835656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149576 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 679936 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431960 MiB
End job on nodeC001 at 2025-07-01 22:31:40