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-4497794-1751398780.opb'
0.00/0.02 c read 0.94MB (13.32ms)
0.00/0.02 c [cnf: #variables 8901 #clauses 32282 #duplicates 17 #arr 82624]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2] (16.03ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c found row 5x2, generating row predicate
0.00/0.04 c (2.01ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 67901 #edges 218684]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 1.00*10^0 #generators 0] (5.08ms)
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-4497794-1751398780.opb.pre'
0.00/0.05 c wrote 0.96MB (2.15ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 16.03ms 40.48% approx_orbits
0.00/0.05 c 13.32ms 33.65% parse
0.00/0.05 c 5.08ms 12.84% detect_generic
0.00/0.05 c 2.15ms 5.44% output
0.00/0.05 c 2.01ms 5.07% detect_special
0.00/0.05 c 0.68ms 1.73% other
0.00/0.05 c 0.31ms 0.78% finalize_order
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 39.59ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.06 c RoundingSat 2
0.00/0.06 c branch pb25
0.00/0.06 c commit 63f22ad
0.07/0.19 c #variables 8901 #constraints 32281
0.07/0.19 c objective is ce32
0.07/0.19 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.19 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.19 c bounds - >= 0 @ 0.086838
2.54/2.69 c #Conflicts: 1000 | #Constraints: 33280
2.54/2.69 c #Conflicts: 2000 | #Constraints: 34280
2.54/2.69 c INPROCESSING
2.54/2.69 c GARBAGE COLLECT
2.54/2.69 c bounds - >= 6 @ 2.51201
2.54/2.69 c bounds - >= 7 @ 2.51413
2.54/2.69 c bounds - >= 8 @ 2.51684
2.54/2.69 c bounds - >= 9 @ 2.5179
2.64/2.70 c bounds - >= 10 @ 2.52279
2.64/2.70 c bounds - >= 11 @ 2.52454
2.64/2.74 c bounds - >= 12 @ 2.56059
8.93/9.07 c #Conflicts: 3000 | #Constraints: 34323
8.93/9.07 c #Conflicts: 4000 | #Constraints: 35323
8.93/9.07 c INPROCESSING
8.93/9.07 c GARBAGE COLLECT
8.93/9.07 c #Conflicts: 5000 | #Constraints: 34729
8.93/9.07 c #Conflicts: 6000 | #Constraints: 35729
8.93/9.07 c INPROCESSING
8.93/9.07 c GARBAGE COLLECT
8.93/9.07 c rational objective 12
9.72/9.88 c bounds 25 >= 12 @ 9.61115
9.72/9.88 c bounds 24 >= 12 @ 9.61608
9.82/9.97 c bounds 23 >= 12 @ 9.7064
11.12/11.29 c #Conflicts: 7000 | #Constraints: 34726
11.12/11.29 c #Conflicts: 8000 | #Constraints: 35726
11.12/11.29 c bounds 22 >= 12 @ 10.999
11.22/11.36 c bounds 22 >= 13 @ 11.0663
13.51/13.66 c #Conflicts: 9000 | #Constraints: 36745
13.51/13.66 c INPROCESSING
13.51/13.66 c GARBAGE COLLECT
13.51/13.66 c rational objective 13
15.11/15.28 c #Conflicts: 10000 | #Constraints: 35479
15.11/15.28 c bounds 22 >= 14 @ 14.9552
18.60/18.71 c #Conflicts: 11000 | #Constraints: 36501
18.60/18.71 c #Conflicts: 12000 | #Constraints: 37501
18.60/18.71 c INPROCESSING
18.60/18.71 c GARBAGE COLLECT
18.60/18.71 c bounds 22 >= 15 @ 18.3283
23.28/23.45 c #Conflicts: 13000 | #Constraints: 35956
23.28/23.45 c #Conflicts: 14000 | #Constraints: 36956
23.28/23.45 c #Conflicts: 15000 | #Constraints: 37956
23.28/23.45 c INPROCESSING
23.28/23.45 c GARBAGE COLLECT
23.28/23.45 c rational objective 15
23.89/24.02 c bounds 21 >= 15 @ 23.5802
34.06/34.24 c #Conflicts: 16000 | #Constraints: 36231
34.06/34.24 c #Conflicts: 17000 | #Constraints: 37231
34.06/34.24 c #Conflicts: 18000 | #Constraints: 38231
34.06/34.24 c INPROCESSING
34.06/34.24 c GARBAGE COLLECT
34.06/34.24 c #Conflicts: 19000 | #Constraints: 36200
34.06/34.24 c #Conflicts: 20000 | #Constraints: 37200
34.06/34.24 c #Conflicts: 21000 | #Constraints: 38200
34.06/34.24 c INPROCESSING
34.06/34.24 c GARBAGE COLLECT
34.06/34.24 c rational objective 15
41.14/41.36 c #Conflicts: 22000 | #Constraints: 36030
41.14/41.36 c #Conflicts: 23000 | #Constraints: 37030
41.14/41.36 c #Conflicts: 24000 | #Constraints: 38030
41.14/41.36 c #Conflicts: 25000 | #Constraints: 39030
41.14/41.36 c INPROCESSING
41.14/41.36 c GARBAGE COLLECT
41.14/41.36 c rational objective 15
51.51/51.77 c #Conflicts: 26000 | #Constraints: 36669
51.51/51.77 c #Conflicts: 27000 | #Constraints: 37669
51.51/51.77 c #Conflicts: 28000 | #Constraints: 38669
51.51/51.77 c #Conflicts: 29000 | #Constraints: 39669
51.51/51.77 c INPROCESSING
51.51/51.77 c GARBAGE COLLECT
51.51/51.77 c #Conflicts: 30000 | #Constraints: 37059
51.51/51.77 c #Conflicts: 31000 | #Constraints: 38059
51.51/51.77 c #Conflicts: 32000 | #Constraints: 39059
51.51/51.77 c #Conflicts: 33000 | #Constraints: 40059
51.51/51.77 c INPROCESSING
51.51/51.77 c GARBAGE COLLECT
51.51/51.77 c rational objective 15
53.62/53.82 c #Conflicts: 34000 | #Constraints: 37319
53.62/53.82 c bounds 20 >= 15 @ 53.0426
62.59/62.82 c #Conflicts: 35000 | #Constraints: 38320
62.59/62.82 c #Conflicts: 36000 | #Constraints: 39320
62.59/62.82 c #Conflicts: 37000 | #Constraints: 40320
62.59/62.82 c INPROCESSING
62.59/62.82 c GARBAGE COLLECT
62.59/62.82 c rational objective 15
65.79/66.10 c #Conflicts: 38000 | #Constraints: 37328
65.79/66.10 c bounds 20 >= 16 @ 65.1954
69.98/70.20 c #Conflicts: 39000 | #Constraints: 38361
69.98/70.20 c #Conflicts: 40000 | #Constraints: 39361
69.98/70.20 c #Conflicts: 41000 | #Constraints: 40361
69.98/70.20 c INPROCESSING
69.98/70.20 c GARBAGE COLLECT
69.98/70.20 c rational objective 16
76.66/76.92 c #Conflicts: 42000 | #Constraints: 37152
76.66/76.92 c #Conflicts: 43000 | #Constraints: 38152
76.66/76.92 c #Conflicts: 44000 | #Constraints: 39152
76.66/76.92 c #Conflicts: 45000 | #Constraints: 40152
76.66/76.92 c #Conflicts: 46000 | #Constraints: 41152
76.66/76.92 c INPROCESSING
76.66/76.92 c GARBAGE COLLECT
76.66/76.92 c rational objective 16
84.75/85.09 c #Conflicts: 47000 | #Constraints: 37737
84.75/85.09 c #Conflicts: 48000 | #Constraints: 38737
84.75/85.09 c #Conflicts: 49000 | #Constraints: 39737
84.75/85.09 c #Conflicts: 50000 | #Constraints: 40737
84.75/85.09 c #Conflicts: 51000 | #Constraints: 41737
84.75/85.09 c INPROCESSING
84.75/85.09 c GARBAGE COLLECT
84.75/85.09 c rational objective 16
93.92/94.26 c #Conflicts: 52000 | #Constraints: 38221
93.92/94.26 c #Conflicts: 53000 | #Constraints: 39221
93.92/94.26 c #Conflicts: 54000 | #Constraints: 40221
93.92/94.26 c #Conflicts: 55000 | #Constraints: 41221
93.92/94.26 c #Conflicts: 56000 | #Constraints: 42221
93.92/94.26 c INPROCESSING
93.92/94.26 c GARBAGE COLLECT
93.92/94.26 c rational objective 16
107.09/107.46 c #Conflicts: 57000 | #Constraints: 38413
107.09/107.46 c #Conflicts: 58000 | #Constraints: 39413
107.09/107.46 c #Conflicts: 59000 | #Constraints: 40413
107.09/107.46 c #Conflicts: 60000 | #Constraints: 41413
107.09/107.46 c #Conflicts: 61000 | #Constraints: 42413
107.09/107.46 c INPROCESSING
107.09/107.46 c GARBAGE COLLECT
107.09/107.46 c rational objective 16
118.66/119.00 c #Conflicts: 62000 | #Constraints: 38560
118.66/119.00 c #Conflicts: 63000 | #Constraints: 39560
118.66/119.00 c #Conflicts: 64000 | #Constraints: 40560
118.66/119.00 c #Conflicts: 65000 | #Constraints: 41560
118.66/119.00 c #Conflicts: 66000 | #Constraints: 42560
118.66/119.00 c INPROCESSING
118.66/119.00 c GARBAGE COLLECT
118.66/119.00 c rational objective 16
129.74/130.17 c #Conflicts: 67000 | #Constraints: 38301
129.74/130.17 c #Conflicts: 68000 | #Constraints: 39301
129.74/130.17 c #Conflicts: 69000 | #Constraints: 40301
129.74/130.17 c #Conflicts: 70000 | #Constraints: 41301
129.74/130.17 c #Conflicts: 71000 | #Constraints: 42301
129.74/130.17 c #Conflicts: 72000 | #Constraints: 43301
129.74/130.17 c INPROCESSING
129.74/130.17 c GARBAGE COLLECT
129.74/130.17 c rational objective 16
140.41/140.81 c #Conflicts: 73000 | #Constraints: 38932
140.41/140.81 c #Conflicts: 74000 | #Constraints: 39932
140.41/140.81 c #Conflicts: 75000 | #Constraints: 40932
140.41/140.81 c #Conflicts: 76000 | #Constraints: 41932
140.41/140.81 c #Conflicts: 77000 | #Constraints: 42932
140.41/140.81 c #Conflicts: 78000 | #Constraints: 43932
140.41/140.81 c INPROCESSING
140.41/140.81 c GARBAGE COLLECT
140.41/140.81 c rational objective 16
151.98/152.42 c #Conflicts: 79000 | #Constraints: 39306
151.98/152.42 c #Conflicts: 80000 | #Constraints: 40306
151.98/152.42 c #Conflicts: 81000 | #Constraints: 41306
151.98/152.42 c #Conflicts: 82000 | #Constraints: 42306
151.98/152.42 c #Conflicts: 83000 | #Constraints: 43306
151.98/152.42 c #Conflicts: 84000 | #Constraints: 44306
151.98/152.42 c INPROCESSING
151.98/152.42 c GARBAGE COLLECT
151.98/152.42 c rational objective 16
163.75/164.21 c #Conflicts: 85000 | #Constraints: 39486
163.75/164.21 c #Conflicts: 86000 | #Constraints: 40486
163.75/164.21 c #Conflicts: 87000 | #Constraints: 41486
163.75/164.21 c #Conflicts: 88000 | #Constraints: 42486
163.75/164.21 c #Conflicts: 89000 | #Constraints: 43486
163.75/164.21 c #Conflicts: 90000 | #Constraints: 44486
163.75/164.21 c INPROCESSING
163.75/164.21 c GARBAGE COLLECT
163.75/164.21 c rational objective 16
180.31/180.84 c #Conflicts: 91000 | #Constraints: 39556
180.31/180.84 c #Conflicts: 92000 | #Constraints: 40556
180.31/180.84 c #Conflicts: 93000 | #Constraints: 41556
180.31/180.84 c #Conflicts: 94000 | #Constraints: 42556
180.31/180.84 c #Conflicts: 95000 | #Constraints: 43556
180.31/180.84 c #Conflicts: 96000 | #Constraints: 44556
180.31/180.84 c INPROCESSING
180.31/180.84 c GARBAGE COLLECT
180.31/180.84 c rational objective 16
193.39/193.96 c #Conflicts: 97000 | #Constraints: 39353
193.39/193.96 c #Conflicts: 98000 | #Constraints: 40353
193.39/193.96 c #Conflicts: 99000 | #Constraints: 41353
193.39/193.96 c #Conflicts: 100000 | #Constraints: 42353
193.39/193.96 c #Conflicts: 101000 | #Constraints: 43353
193.39/193.96 c #Conflicts: 102000 | #Constraints: 44353
193.39/193.96 c #Conflicts: 103000 | #Constraints: 45353
193.39/193.96 c INPROCESSING
193.39/193.96 c GARBAGE COLLECT
193.39/193.96 c rational objective 16
206.15/206.70 c #Conflicts: 104000 | #Constraints: 40049
206.15/206.70 c #Conflicts: 105000 | #Constraints: 41049
206.15/206.70 c #Conflicts: 106000 | #Constraints: 42049
206.15/206.70 c #Conflicts: 107000 | #Constraints: 43049
206.15/206.70 c #Conflicts: 108000 | #Constraints: 44049
206.15/206.70 c #Conflicts: 109000 | #Constraints: 45049
206.15/206.70 c #Conflicts: 110000 | #Constraints: 46049
206.15/206.70 c INPROCESSING
206.15/206.70 c GARBAGE COLLECT
206.15/206.70 c rational objective 16
220.83/221.40 c #Conflicts: 111000 | #Constraints: 40389
220.83/221.40 c #Conflicts: 112000 | #Constraints: 41389
220.83/221.40 c #Conflicts: 113000 | #Constraints: 42389
220.83/221.40 c #Conflicts: 114000 | #Constraints: 43389
220.83/221.40 c #Conflicts: 115000 | #Constraints: 44389
220.83/221.40 c #Conflicts: 116000 | #Constraints: 45389
220.83/221.40 c #Conflicts: 117000 | #Constraints: 46389
220.83/221.40 c INPROCESSING
220.83/221.40 c GARBAGE COLLECT
220.83/221.40 c rational objective 16
237.58/238.28 c #Conflicts: 118000 | #Constraints: 40552
237.58/238.28 c #Conflicts: 119000 | #Constraints: 41552
237.58/238.28 c #Conflicts: 120000 | #Constraints: 42552
237.58/238.28 c #Conflicts: 121000 | #Constraints: 43552
237.58/238.28 c #Conflicts: 122000 | #Constraints: 44552
237.58/238.28 c #Conflicts: 123000 | #Constraints: 45552
237.58/238.28 c #Conflicts: 124000 | #Constraints: 46552
237.58/238.28 c INPROCESSING
237.58/238.28 c GARBAGE COLLECT
237.58/238.28 c rational objective 16
254.64/255.39 c #Conflicts: 125000 | #Constraints: 40600
254.64/255.39 c #Conflicts: 126000 | #Constraints: 41600
254.64/255.39 c #Conflicts: 127000 | #Constraints: 42600
254.64/255.39 c #Conflicts: 128000 | #Constraints: 43600
254.64/255.39 c #Conflicts: 129000 | #Constraints: 44600
254.64/255.39 c #Conflicts: 130000 | #Constraints: 45600
254.64/255.39 c #Conflicts: 131000 | #Constraints: 46600
254.64/255.39 c INPROCESSING
254.64/255.39 c GARBAGE COLLECT
254.64/255.39 c rational objective 16
272.50/273.29 c #Conflicts: 132000 | #Constraints: 40416
272.50/273.29 c #Conflicts: 133000 | #Constraints: 41416
272.50/273.29 c #Conflicts: 134000 | #Constraints: 42416
272.50/273.29 c #Conflicts: 135000 | #Constraints: 43416
272.50/273.29 c #Conflicts: 136000 | #Constraints: 44416
272.50/273.29 c #Conflicts: 137000 | #Constraints: 45416
272.50/273.29 c #Conflicts: 138000 | #Constraints: 46416
272.50/273.29 c #Conflicts: 139000 | #Constraints: 47416
272.50/273.29 c INPROCESSING
272.50/273.29 c GARBAGE COLLECT
272.50/273.29 c rational objective 16
287.27/288.06 c #Conflicts: 140000 | #Constraints: 41056
287.27/288.06 c #Conflicts: 141000 | #Constraints: 42056
287.27/288.06 c #Conflicts: 142000 | #Constraints: 43056
287.27/288.06 c #Conflicts: 143000 | #Constraints: 44056
287.27/288.06 c #Conflicts: 144000 | #Constraints: 45056
287.27/288.06 c #Conflicts: 145000 | #Constraints: 46056
287.27/288.06 c bounds 20 >= 17 @ 285.405
291.46/292.29 c #Conflicts: 146000 | #Constraints: 47089
291.46/292.29 c #Conflicts: 147000 | #Constraints: 48089
291.46/292.29 c INPROCESSING
291.46/292.29 c GARBAGE COLLECT
291.46/292.29 c rational objective 17
309.81/310.63 c #Conflicts: 148000 | #Constraints: 41497
309.81/310.63 c #Conflicts: 149000 | #Constraints: 42497
309.81/310.63 c #Conflicts: 150000 | #Constraints: 43497
309.81/310.63 c #Conflicts: 151000 | #Constraints: 44497
309.81/310.63 c #Conflicts: 152000 | #Constraints: 45497
309.81/310.63 c #Conflicts: 153000 | #Constraints: 46497
309.81/310.63 c #Conflicts: 154000 | #Constraints: 47497
309.81/310.63 c #Conflicts: 155000 | #Constraints: 48497
309.81/310.63 c INPROCESSING
309.81/310.63 c GARBAGE COLLECT
309.81/310.63 c rational objective 17
330.46/331.34 c #Conflicts: 156000 | #Constraints: 41666
330.46/331.34 c #Conflicts: 157000 | #Constraints: 42666
330.46/331.34 c #Conflicts: 158000 | #Constraints: 43666
330.46/331.34 c #Conflicts: 159000 | #Constraints: 44666
330.46/331.34 c #Conflicts: 160000 | #Constraints: 45666
330.46/331.34 c #Conflicts: 161000 | #Constraints: 46666
330.46/331.34 c #Conflicts: 162000 | #Constraints: 47666
330.46/331.34 c #Conflicts: 163000 | #Constraints: 48666
330.46/331.34 c INPROCESSING
330.46/331.34 c GARBAGE COLLECT
330.46/331.34 c rational objective 17
350.62/351.51 c #Conflicts: 164000 | #Constraints: 41706
350.62/351.51 c #Conflicts: 165000 | #Constraints: 42706
350.62/351.51 c #Conflicts: 166000 | #Constraints: 43706
350.62/351.51 c #Conflicts: 167000 | #Constraints: 44706
350.62/351.51 c #Conflicts: 168000 | #Constraints: 45706
350.62/351.51 c #Conflicts: 169000 | #Constraints: 46706
350.62/351.51 c #Conflicts: 170000 | #Constraints: 47706
350.62/351.51 c #Conflicts: 171000 | #Constraints: 48706
350.62/351.51 c INPROCESSING
350.62/351.51 c GARBAGE COLLECT
350.62/351.51 c rational objective 17
371.47/372.44 c #Conflicts: 172000 | #Constraints: 41453
371.47/372.44 c #Conflicts: 173000 | #Constraints: 42453
371.47/372.44 c #Conflicts: 174000 | #Constraints: 43453
371.47/372.44 c #Conflicts: 175000 | #Constraints: 44453
371.47/372.44 c #Conflicts: 176000 | #Constraints: 45453
371.47/372.44 c #Conflicts: 177000 | #Constraints: 46453
371.47/372.44 c #Conflicts: 178000 | #Constraints: 47453
371.47/372.44 c #Conflicts: 179000 | #Constraints: 48453
371.47/372.44 c #Conflicts: 180000 | #Constraints: 49453
371.47/372.44 c INPROCESSING
371.47/372.44 c GARBAGE COLLECT
371.47/372.44 c rational objective 17
387.04/388.01 c #Conflicts: 181000 | #Constraints: 42126
387.04/388.01 c #Conflicts: 182000 | #Constraints: 43126
387.04/388.01 c #Conflicts: 183000 | #Constraints: 44126
387.04/388.01 c #Conflicts: 184000 | #Constraints: 45126
387.04/388.01 c #Conflicts: 185000 | #Constraints: 46126
387.04/388.01 c #Conflicts: 186000 | #Constraints: 47126
387.04/388.01 c #Conflicts: 187000 | #Constraints: 48126
387.04/388.01 c #Conflicts: 188000 | #Constraints: 49126
387.04/388.01 c #Conflicts: 189000 | #Constraints: 50126
387.04/388.01 c INPROCESSING
387.04/388.01 c GARBAGE COLLECT
387.04/388.01 c rational objective 17
405.69/406.78 c #Conflicts: 190000 | #Constraints: 42598
405.69/406.78 c #Conflicts: 191000 | #Constraints: 43598
405.69/406.78 c #Conflicts: 192000 | #Constraints: 44598
405.69/406.78 c #Conflicts: 193000 | #Constraints: 45598
405.69/406.78 c #Conflicts: 194000 | #Constraints: 46598
405.69/406.78 c #Conflicts: 195000 | #Constraints: 47598
405.69/406.78 c #Conflicts: 196000 | #Constraints: 48598
405.69/406.78 c #Conflicts: 197000 | #Constraints: 49598
405.69/406.78 c #Conflicts: 198000 | #Constraints: 50598
405.69/406.78 c INPROCESSING
405.69/406.78 c GARBAGE COLLECT
405.69/406.78 c rational objective 17
425.64/426.78 c #Conflicts: 199000 | #Constraints: 42822
425.64/426.78 c #Conflicts: 200000 | #Constraints: 43822
425.64/426.78 c #Conflicts: 201000 | #Constraints: 44822
425.64/426.78 c #Conflicts: 202000 | #Constraints: 45822
425.64/426.78 c #Conflicts: 203000 | #Constraints: 46822
425.64/426.78 c #Conflicts: 204000 | #Constraints: 47822
425.64/426.78 c #Conflicts: 205000 | #Constraints: 48822
425.64/426.78 c #Conflicts: 206000 | #Constraints: 49822
425.64/426.78 c #Conflicts: 207000 | #Constraints: 50822
425.64/426.78 c INPROCESSING
425.64/426.78 c GARBAGE COLLECT
425.64/426.78 c rational objective 17
456.27/457.46 c #Conflicts: 208000 | #Constraints: 42792
456.27/457.46 c #Conflicts: 209000 | #Constraints: 43792
456.27/457.46 c #Conflicts: 210000 | #Constraints: 44792
456.27/457.46 c #Conflicts: 211000 | #Constraints: 45792
456.27/457.46 c #Conflicts: 212000 | #Constraints: 46792
456.27/457.46 c #Conflicts: 213000 | #Constraints: 47792
456.27/457.46 c #Conflicts: 214000 | #Constraints: 48792
456.27/457.46 c #Conflicts: 215000 | #Constraints: 49792
456.27/457.46 c #Conflicts: 216000 | #Constraints: 50792
456.27/457.46 c INPROCESSING
456.27/457.46 c GARBAGE COLLECT
456.27/457.46 c rational objective 17
484.70/485.94 c #Conflicts: 217000 | #Constraints: 42709
484.70/485.94 c #Conflicts: 218000 | #Constraints: 43709
484.70/485.94 c #Conflicts: 219000 | #Constraints: 44709
484.70/485.94 c #Conflicts: 220000 | #Constraints: 45709
484.70/485.94 c #Conflicts: 221000 | #Constraints: 46709
484.70/485.94 c #Conflicts: 222000 | #Constraints: 47709
484.70/485.94 c #Conflicts: 223000 | #Constraints: 48709
484.70/485.94 c #Conflicts: 224000 | #Constraints: 49709
484.70/485.94 c #Conflicts: 225000 | #Constraints: 50709
484.70/485.94 c #Conflicts: 226000 | #Constraints: 51710
484.70/485.94 c INPROCESSING
484.70/485.94 c GARBAGE COLLECT
484.70/485.94 c rational objective 17
512.73/514.09 c #Conflicts: 227000 | #Constraints: 43244
512.73/514.09 c #Conflicts: 228000 | #Constraints: 44244
512.73/514.09 c #Conflicts: 229000 | #Constraints: 45244
512.73/514.09 c #Conflicts: 230000 | #Constraints: 46244
512.73/514.09 c #Conflicts: 231000 | #Constraints: 47244
512.73/514.09 c #Conflicts: 232000 | #Constraints: 48244
512.73/514.09 c #Conflicts: 233000 | #Constraints: 49244
512.73/514.09 c #Conflicts: 234000 | #Constraints: 50244
512.73/514.09 c #Conflicts: 235000 | #Constraints: 51244
512.73/514.09 c #Conflicts: 236000 | #Constraints: 52244
512.73/514.09 c INPROCESSING
512.73/514.09 c GARBAGE COLLECT
512.73/514.09 c rational objective 17
542.16/543.52 c #Conflicts: 237000 | #Constraints: 43642
542.16/543.52 c #Conflicts: 238000 | #Constraints: 44642
542.16/543.52 c #Conflicts: 239000 | #Constraints: 45642
542.16/543.52 c #Conflicts: 240000 | #Constraints: 46642
542.16/543.52 c #Conflicts: 241000 | #Constraints: 47642
542.16/543.52 c #Conflicts: 242000 | #Constraints: 48642
542.16/543.52 c #Conflicts: 243000 | #Constraints: 49642
542.16/543.52 c #Conflicts: 244000 | #Constraints: 50642
542.16/543.52 c #Conflicts: 245000 | #Constraints: 51642
542.16/543.52 c #Conflicts: 246000 | #Constraints: 52642
542.16/543.52 c INPROCESSING
542.16/543.52 c GARBAGE COLLECT
542.16/543.52 c rational objective 17
568.99/570.45 c #Conflicts: 247000 | #Constraints: 43820
568.99/570.45 c #Conflicts: 248000 | #Constraints: 44820
568.99/570.45 c #Conflicts: 249000 | #Constraints: 45820
568.99/570.45 c #Conflicts: 250000 | #Constraints: 46820
568.99/570.45 c #Conflicts: 251000 | #Constraints: 47820
568.99/570.45 c #Conflicts: 252000 | #Constraints: 48820
568.99/570.45 c #Conflicts: 253000 | #Constraints: 49820
568.99/570.45 c #Conflicts: 254000 | #Constraints: 50820
568.99/570.45 c #Conflicts: 255000 | #Constraints: 51820
568.99/570.45 c #Conflicts: 256000 | #Constraints: 52820
568.99/570.45 c INPROCESSING
568.99/570.45 c GARBAGE COLLECT
568.99/570.45 c rational objective 17
592.04/593.56 c #Conflicts: 257000 | #Constraints: 43928
592.04/593.56 c #Conflicts: 258000 | #Constraints: 44928
592.04/593.56 c #Conflicts: 259000 | #Constraints: 45928
592.04/593.56 c #Conflicts: 260000 | #Constraints: 46928
592.04/593.56 c #Conflicts: 261000 | #Constraints: 47928
592.04/593.56 c #Conflicts: 262000 | #Constraints: 48928
592.04/593.56 c #Conflicts: 263000 | #Constraints: 49928
592.04/593.56 c #Conflicts: 264000 | #Constraints: 50928
592.04/593.56 c #Conflicts: 265000 | #Constraints: 51928
592.04/593.56 c #Conflicts: 266000 | #Constraints: 52928
592.04/593.56 c INPROCESSING
592.04/593.56 c GARBAGE COLLECT
592.04/593.56 c rational objective 17
613.98/615.53 c #Conflicts: 267000 | #Constraints: 43553
613.98/615.53 c #Conflicts: 268000 | #Constraints: 44553
613.98/615.53 c #Conflicts: 269000 | #Constraints: 45553
613.98/615.53 c #Conflicts: 270000 | #Constraints: 46553
613.98/615.53 c #Conflicts: 271000 | #Constraints: 47553
613.98/615.53 c #Conflicts: 272000 | #Constraints: 48553
613.98/615.53 c #Conflicts: 273000 | #Constraints: 49553
613.98/615.53 c #Conflicts: 274000 | #Constraints: 50553
613.98/615.53 c #Conflicts: 275000 | #Constraints: 51553
613.98/615.53 c #Conflicts: 276000 | #Constraints: 52553
613.98/615.53 c #Conflicts: 277000 | #Constraints: 53553
613.98/615.53 c INPROCESSING
613.98/615.53 c GARBAGE COLLECT
613.98/615.53 c rational objective 17
643.31/644.99 c #Conflicts: 278000 | #Constraints: 44223
643.31/644.99 c #Conflicts: 279000 | #Constraints: 45223
643.31/644.99 c #Conflicts: 280000 | #Constraints: 46223
643.31/644.99 c #Conflicts: 281000 | #Constraints: 47223
643.31/644.99 c #Conflicts: 282000 | #Constraints: 48223
643.31/644.99 c #Conflicts: 283000 | #Constraints: 49223
643.31/644.99 c #Conflicts: 284000 | #Constraints: 50223
643.31/644.99 c #Conflicts: 285000 | #Constraints: 51223
643.31/644.99 c #Conflicts: 286000 | #Constraints: 52223
643.31/644.99 c #Conflicts: 287000 | #Constraints: 53223
643.31/644.99 c #Conflicts: 288000 | #Constraints: 54223
643.31/644.99 c INPROCESSING
643.31/644.99 c GARBAGE COLLECT
643.31/644.99 c rational objective 17
665.66/667.34 c #Conflicts: 289000 | #Constraints: 44550
665.66/667.34 c #Conflicts: 290000 | #Constraints: 45550
665.66/667.34 c #Conflicts: 291000 | #Constraints: 46550
665.66/667.34 c #Conflicts: 292000 | #Constraints: 47550
665.66/667.34 c #Conflicts: 293000 | #Constraints: 48550
665.66/667.34 c #Conflicts: 294000 | #Constraints: 49550
665.66/667.34 c #Conflicts: 295000 | #Constraints: 50550
665.66/667.34 c #Conflicts: 296000 | #Constraints: 51550
665.66/667.34 c #Conflicts: 297000 | #Constraints: 52550
665.66/667.34 c #Conflicts: 298000 | #Constraints: 53550
665.66/667.34 c #Conflicts: 299000 | #Constraints: 54550
665.66/667.34 c INPROCESSING
665.66/667.34 c GARBAGE COLLECT
665.66/667.34 c rational objective 17
691.60/693.39 c #Conflicts: 300000 | #Constraints: 44744
691.60/693.39 c #Conflicts: 301000 | #Constraints: 45744
691.60/693.39 c #Conflicts: 302000 | #Constraints: 46744
691.60/693.39 c #Conflicts: 303000 | #Constraints: 47744
691.60/693.39 c #Conflicts: 304000 | #Constraints: 48744
691.60/693.39 c #Conflicts: 305000 | #Constraints: 49744
691.60/693.39 c #Conflicts: 306000 | #Constraints: 50744
691.60/693.39 c #Conflicts: 307000 | #Constraints: 51744
691.60/693.39 c #Conflicts: 308000 | #Constraints: 52744
691.60/693.39 c #Conflicts: 309000 | #Constraints: 53744
691.60/693.39 c #Conflicts: 310000 | #Constraints: 54744
691.60/693.39 c INPROCESSING
691.60/693.39 c GARBAGE COLLECT
691.60/693.39 c rational objective 17
715.24/717.00 c #Conflicts: 311000 | #Constraints: 44683
715.24/717.00 c #Conflicts: 312000 | #Constraints: 45683
715.24/717.00 c #Conflicts: 313000 | #Constraints: 46683
715.24/717.00 c #Conflicts: 314000 | #Constraints: 47683
715.24/717.00 c #Conflicts: 315000 | #Constraints: 48683
715.24/717.00 c #Conflicts: 316000 | #Constraints: 49683
715.24/717.00 c #Conflicts: 317000 | #Constraints: 50683
715.24/717.00 c #Conflicts: 318000 | #Constraints: 51683
715.24/717.00 c #Conflicts: 319000 | #Constraints: 52683
715.24/717.00 c #Conflicts: 320000 | #Constraints: 53683
715.24/717.00 c #Conflicts: 321000 | #Constraints: 54683
715.24/717.00 c INPROCESSING
715.24/717.00 c GARBAGE COLLECT
715.24/717.00 c rational objective 17
760.02/761.99 c #Conflicts: 322000 | #Constraints: 44635
760.02/761.99 c #Conflicts: 323000 | #Constraints: 45635
760.02/761.99 c #Conflicts: 324000 | #Constraints: 46635
760.02/761.99 c #Conflicts: 325000 | #Constraints: 47635
760.02/761.99 c #Conflicts: 326000 | #Constraints: 48635
760.02/761.99 c #Conflicts: 327000 | #Constraints: 49635
760.02/761.99 c #Conflicts: 328000 | #Constraints: 50635
760.02/761.99 c #Conflicts: 329000 | #Constraints: 51635
760.02/761.99 c #Conflicts: 330000 | #Constraints: 52635
760.02/761.99 c #Conflicts: 331000 | #Constraints: 53635
760.02/761.99 c #Conflicts: 332000 | #Constraints: 54635
760.02/761.99 c #Conflicts: 333000 | #Constraints: 55635
760.02/761.99 c INPROCESSING
760.02/761.99 c GARBAGE COLLECT
760.02/761.99 c rational objective 17
799.63/801.66 c #Conflicts: 334000 | #Constraints: 45431
799.63/801.66 c #Conflicts: 335000 | #Constraints: 46431
799.63/801.66 c #Conflicts: 336000 | #Constraints: 47431
799.63/801.66 c #Conflicts: 337000 | #Constraints: 48431
799.63/801.66 c #Conflicts: 338000 | #Constraints: 49431
799.63/801.66 c #Conflicts: 339000 | #Constraints: 50431
799.63/801.66 c #Conflicts: 340000 | #Constraints: 51431
799.63/801.66 c #Conflicts: 341000 | #Constraints: 52431
799.63/801.66 c #Conflicts: 342000 | #Constraints: 53431
799.63/801.66 c #Conflicts: 343000 | #Constraints: 54431
799.63/801.66 c #Conflicts: 344000 | #Constraints: 55431
799.63/801.66 c #Conflicts: 345000 | #Constraints: 56431
799.63/801.66 c INPROCESSING
799.63/801.66 c GARBAGE COLLECT
799.63/801.66 c rational objective 17
836.63/838.70 c #Conflicts: 346000 | #Constraints: 45774
836.63/838.70 c #Conflicts: 347000 | #Constraints: 46774
836.63/838.70 c #Conflicts: 348000 | #Constraints: 47774
836.63/838.70 c #Conflicts: 349000 | #Constraints: 48774
836.63/838.70 c #Conflicts: 350000 | #Constraints: 49774
836.63/838.70 c #Conflicts: 351000 | #Constraints: 50774
836.63/838.70 c #Conflicts: 352000 | #Constraints: 51774
836.63/838.70 c #Conflicts: 353000 | #Constraints: 52774
836.63/838.70 c #Conflicts: 354000 | #Constraints: 53774
836.63/838.70 c #Conflicts: 355000 | #Constraints: 54774
836.63/838.70 c #Conflicts: 356000 | #Constraints: 55774
836.63/838.70 c #Conflicts: 357000 | #Constraints: 56774
836.63/838.70 c INPROCESSING
836.63/838.70 c GARBAGE COLLECT
836.63/838.70 c rational objective 17
866.86/869.09 c #Conflicts: 358000 | #Constraints: 45886
866.86/869.09 c #Conflicts: 359000 | #Constraints: 46886
866.86/869.09 c #Conflicts: 360000 | #Constraints: 47886
866.86/869.09 c #Conflicts: 361000 | #Constraints: 48886
866.86/869.09 c #Conflicts: 362000 | #Constraints: 49886
866.86/869.09 c #Conflicts: 363000 | #Constraints: 50886
866.86/869.09 c #Conflicts: 364000 | #Constraints: 51886
866.86/869.09 c #Conflicts: 365000 | #Constraints: 52886
866.86/869.09 c #Conflicts: 366000 | #Constraints: 53886
866.86/869.09 c #Conflicts: 367000 | #Constraints: 54886
866.86/869.09 c #Conflicts: 368000 | #Constraints: 55886
866.86/869.09 c #Conflicts: 369000 | #Constraints: 56886
866.86/869.09 c INPROCESSING
866.86/869.09 c GARBAGE COLLECT
866.86/869.09 c rational objective 17
888.30/890.59 c #Conflicts: 370000 | #Constraints: 45975
888.30/890.59 c #Conflicts: 371000 | #Constraints: 46975
888.30/890.59 c #Conflicts: 372000 | #Constraints: 47975
888.30/890.59 c #Conflicts: 373000 | #Constraints: 48975
888.30/890.59 c #Conflicts: 374000 | #Constraints: 49975
888.30/890.59 c #Conflicts: 375000 | #Constraints: 50975
888.30/890.59 c #Conflicts: 376000 | #Constraints: 51975
888.30/890.59 c #Conflicts: 377000 | #Constraints: 52975
888.30/890.59 c #Conflicts: 378000 | #Constraints: 53975
888.30/890.59 c #Conflicts: 379000 | #Constraints: 54975
888.30/890.59 c #Conflicts: 380000 | #Constraints: 55975
888.30/890.59 c #Conflicts: 381000 | #Constraints: 56975
888.30/890.59 c INPROCESSING
888.30/890.59 c GARBAGE COLLECT
888.30/890.59 c rational objective 17
930.20/932.53 c #Conflicts: 382000 | #Constraints: 45665
930.20/932.53 c #Conflicts: 383000 | #Constraints: 46665
930.20/932.53 c #Conflicts: 384000 | #Constraints: 47665
930.20/932.53 c #Conflicts: 385000 | #Constraints: 48665
930.20/932.53 c #Conflicts: 386000 | #Constraints: 49665
930.20/932.53 c #Conflicts: 387000 | #Constraints: 50665
930.20/932.53 c #Conflicts: 388000 | #Constraints: 51665
930.20/932.53 c #Conflicts: 389000 | #Constraints: 52665
930.20/932.53 c #Conflicts: 390000 | #Constraints: 53665
930.20/932.53 c #Conflicts: 391000 | #Constraints: 54665
930.20/932.53 c #Conflicts: 392000 | #Constraints: 55665
930.20/932.53 c #Conflicts: 393000 | #Constraints: 56665
930.20/932.53 c #Conflicts: 394000 | #Constraints: 57665
930.20/932.53 c INPROCESSING
930.20/932.53 c GARBAGE COLLECT
930.20/932.53 c rational objective 17
962.51/964.96 c #Conflicts: 395000 | #Constraints: 46261
962.51/964.96 c #Conflicts: 396000 | #Constraints: 47261
962.51/964.96 c #Conflicts: 397000 | #Constraints: 48261
962.51/964.96 c #Conflicts: 398000 | #Constraints: 49261
962.51/964.96 c #Conflicts: 399000 | #Constraints: 50261
962.51/964.96 c #Conflicts: 400000 | #Constraints: 51261
962.51/964.96 c #Conflicts: 401000 | #Constraints: 52261
962.51/964.96 c #Conflicts: 402000 | #Constraints: 53261
962.51/964.96 c #Conflicts: 403000 | #Constraints: 54261
962.51/964.96 c #Conflicts: 404000 | #Constraints: 55261
962.51/964.96 c #Conflicts: 405000 | #Constraints: 56261
962.51/964.96 c #Conflicts: 406000 | #Constraints: 57261
962.51/964.96 c #Conflicts: 407000 | #Constraints: 58261
962.51/964.96 c INPROCESSING
962.51/964.96 c GARBAGE COLLECT
962.51/964.96 c rational objective 17
996.12/998.62 c #Conflicts: 408000 | #Constraints: 46623
996.12/998.62 c #Conflicts: 409000 | #Constraints: 47623
996.12/998.62 c #Conflicts: 410000 | #Constraints: 48623
996.12/998.62 c #Conflicts: 411000 | #Constraints: 49623
996.12/998.62 c #Conflicts: 412000 | #Constraints: 50623
996.12/998.62 c #Conflicts: 413000 | #Constraints: 51623
996.12/998.62 c #Conflicts: 414000 | #Constraints: 52623
996.12/998.62 c #Conflicts: 415000 | #Constraints: 53623
996.12/998.62 c #Conflicts: 416000 | #Constraints: 54623
996.12/998.62 c #Conflicts: 417000 | #Constraints: 55623
996.12/998.62 c #Conflicts: 418000 | #Constraints: 56623
996.12/998.62 c #Conflicts: 419000 | #Constraints: 57623
996.12/998.62 c #Conflicts: 420000 | #Constraints: 58623
996.12/998.62 c INPROCESSING
996.12/998.62 c GARBAGE COLLECT
996.12/998.62 c rational objective 17
1026.35/1029.00 c #Conflicts: 421000 | #Constraints: 46752
1026.35/1029.00 c #Conflicts: 422000 | #Constraints: 47752
1026.35/1029.00 c #Conflicts: 423000 | #Constraints: 48752
1026.35/1029.00 c #Conflicts: 424000 | #Constraints: 49752
1026.35/1029.00 c #Conflicts: 425000 | #Constraints: 50752
1026.35/1029.00 c #Conflicts: 426000 | #Constraints: 51752
1026.35/1029.00 c #Conflicts: 427000 | #Constraints: 52752
1026.35/1029.00 c #Conflicts: 428000 | #Constraints: 53752
1026.35/1029.00 c #Conflicts: 429000 | #Constraints: 54752
1026.35/1029.00 c #Conflicts: 430000 | #Constraints: 55752
1026.35/1029.00 c #Conflicts: 431000 | #Constraints: 56752
1026.35/1029.00 c #Conflicts: 432000 | #Constraints: 57752
1026.35/1029.00 c #Conflicts: 433000 | #Constraints: 58752
1026.35/1029.00 c INPROCESSING
1026.35/1029.00 c GARBAGE COLLECT
1026.35/1029.00 c rational objective 17
1064.87/1067.54 c #Conflicts: 434000 | #Constraints: 46789
1064.87/1067.54 c #Conflicts: 435000 | #Constraints: 47789
1064.87/1067.54 c #Conflicts: 436000 | #Constraints: 48789
1064.87/1067.54 c #Conflicts: 437000 | #Constraints: 49790
1064.87/1067.54 c #Conflicts: 438000 | #Constraints: 50790
1064.87/1067.54 c #Conflicts: 439000 | #Constraints: 51790
1064.87/1067.54 c #Conflicts: 440000 | #Constraints: 52790
1064.87/1067.54 c #Conflicts: 441000 | #Constraints: 53790
1064.87/1067.54 c #Conflicts: 442000 | #Constraints: 54790
1064.87/1067.54 c #Conflicts: 443000 | #Constraints: 55790
1064.87/1067.54 c #Conflicts: 444000 | #Constraints: 56790
1064.87/1067.54 c #Conflicts: 445000 | #Constraints: 57790
1064.87/1067.54 c #Conflicts: 446000 | #Constraints: 58790
1064.87/1067.54 c INPROCESSING
1064.87/1067.54 c GARBAGE COLLECT
1064.87/1067.54 c rational objective 17
1107.37/1110.11 c #Conflicts: 447000 | #Constraints: 46655
1107.37/1110.11 c #Conflicts: 448000 | #Constraints: 47655
1107.37/1110.11 c #Conflicts: 449000 | #Constraints: 48655
1107.37/1110.11 c #Conflicts: 450000 | #Constraints: 49655
1107.37/1110.11 c #Conflicts: 451000 | #Constraints: 50655
1107.37/1110.11 c #Conflicts: 452000 | #Constraints: 51655
1107.37/1110.11 c #Conflicts: 453000 | #Constraints: 52655
1107.37/1110.11 c #Conflicts: 454000 | #Constraints: 53655
1107.37/1110.11 c #Conflicts: 455000 | #Constraints: 54655
1107.37/1110.11 c #Conflicts: 456000 | #Constraints: 55655
1107.37/1110.11 c #Conflicts: 457000 | #Constraints: 56655
1107.37/1110.11 c #Conflicts: 458000 | #Constraints: 57655
1107.37/1110.11 c #Conflicts: 459000 | #Constraints: 58655
1107.37/1110.11 c #Conflicts: 460000 | #Constraints: 59655
1107.37/1110.11 c INPROCESSING
1107.37/1110.11 c GARBAGE COLLECT
1107.37/1110.11 c rational objective 17
1149.67/1152.56 c #Conflicts: 461000 | #Constraints: 47471
1149.67/1152.56 c #Conflicts: 462000 | #Constraints: 48471
1149.67/1152.56 c #Conflicts: 463000 | #Constraints: 49471
1149.67/1152.56 c #Conflicts: 464000 | #Constraints: 50471
1149.67/1152.56 c #Conflicts: 465000 | #Constraints: 51471
1149.67/1152.56 c #Conflicts: 466000 | #Constraints: 52471
1149.67/1152.56 c #Conflicts: 467000 | #Constraints: 53471
1149.67/1152.56 c #Conflicts: 468000 | #Constraints: 54471
1149.67/1152.56 c #Conflicts: 469000 | #Constraints: 55471
1149.67/1152.56 c #Conflicts: 470000 | #Constraints: 56471
1149.67/1152.56 c #Conflicts: 471000 | #Constraints: 57471
1149.67/1152.56 c #Conflicts: 472000 | #Constraints: 58471
1149.67/1152.56 c #Conflicts: 473000 | #Constraints: 59471
1149.67/1152.56 c #Conflicts: 474000 | #Constraints: 60471
1149.67/1152.56 c INPROCESSING
1149.67/1152.56 c GARBAGE COLLECT
1149.67/1152.56 c rational objective 17
1191.47/1194.45 c #Conflicts: 475000 | #Constraints: 47858
1191.47/1194.45 c #Conflicts: 476000 | #Constraints: 48858
1191.47/1194.45 c #Conflicts: 477000 | #Constraints: 49858
1191.47/1194.45 c #Conflicts: 478000 | #Constraints: 50858
1191.47/1194.45 c #Conflicts: 479000 | #Constraints: 51858
1191.47/1194.45 c #Conflicts: 480000 | #Constraints: 52858
1191.47/1194.45 c #Conflicts: 481000 | #Constraints: 53858
1191.47/1194.45 c #Conflicts: 482000 | #Constraints: 54858
1191.47/1194.45 c #Conflicts: 483000 | #Constraints: 55858
1191.47/1194.45 c #Conflicts: 484000 | #Constraints: 56858
1191.47/1194.45 c #Conflicts: 485000 | #Constraints: 57858
1191.47/1194.45 c #Conflicts: 486000 | #Constraints: 58858
1191.47/1194.45 c #Conflicts: 487000 | #Constraints: 59858
1191.47/1194.45 c #Conflicts: 488000 | #Constraints: 60858
1191.47/1194.45 c INPROCESSING
1191.47/1194.45 c GARBAGE COLLECT
1191.47/1194.45 c rational objective 17
1232.48/1235.57 c #Conflicts: 489000 | #Constraints: 47944
1232.48/1235.57 c #Conflicts: 490000 | #Constraints: 48944
1232.48/1235.57 c #Conflicts: 491000 | #Constraints: 49944
1232.48/1235.57 c #Conflicts: 492000 | #Constraints: 50944
1232.48/1235.57 c #Conflicts: 493000 | #Constraints: 51944
1232.48/1235.57 c #Conflicts: 494000 | #Constraints: 52944
1232.48/1235.57 c #Conflicts: 495000 | #Constraints: 53944
1232.48/1235.57 c #Conflicts: 496000 | #Constraints: 54944
1232.48/1235.57 c #Conflicts: 497000 | #Constraints: 55944
1232.48/1235.57 c #Conflicts: 498000 | #Constraints: 56944
1232.48/1235.57 c #Conflicts: 499000 | #Constraints: 57944
1232.48/1235.57 c #Conflicts: 500000 | #Constraints: 58944
1232.48/1235.57 c #Conflicts: 501000 | #Constraints: 59944
1232.48/1235.57 c #Conflicts: 502000 | #Constraints: 60944
1232.48/1235.57 c INPROCESSING
1232.48/1235.57 c GARBAGE COLLECT
1232.48/1235.57 c rational objective 17
1522.48/1526.28 c #Conflicts: 503000 | #Constraints: 47966
1522.48/1526.28 c #Conflicts: 504000 | #Constraints: 48966
1522.48/1526.28 c #Conflicts: 505000 | #Constraints: 49966
1522.48/1526.28 c #Conflicts: 506000 | #Constraints: 50966
1522.48/1526.28 c #Conflicts: 507000 | #Constraints: 51966
1522.48/1526.28 c #Conflicts: 508000 | #Constraints: 52966
1522.48/1526.28 c #Conflicts: 509000 | #Constraints: 53966
1522.48/1526.28 c #Conflicts: 510000 | #Constraints: 54966
1522.48/1526.28 c #Conflicts: 511000 | #Constraints: 55966
1522.48/1526.28 c #Conflicts: 512000 | #Constraints: 56966
1522.48/1526.28 c #Conflicts: 513000 | #Constraints: 57966
1522.48/1526.28 c #Conflicts: 514000 | #Constraints: 58966
1522.48/1526.28 c #Conflicts: 515000 | #Constraints: 59966
1522.48/1526.28 c #Conflicts: 516000 | #Constraints: 60966
1522.48/1526.28 c #Conflicts: 517000 | #Constraints: 61966
1522.48/1526.28 c #Conflicts: 518000 | #Constraints: 62966
1522.48/1526.28 c #Conflicts: 519000 | #Constraints: 63966
1522.48/1526.28 c #Conflicts: 520000 | #Constraints: 64966
1522.48/1526.28 c #Conflicts: 521000 | #Constraints: 65966
1522.48/1526.28 c #Conflicts: 522000 | #Constraints: 66966
1522.48/1526.28 c #Conflicts: 523000 | #Constraints: 67966
1522.48/1526.28 c #Conflicts: 524000 | #Constraints: 68966
1522.48/1526.28 c #Conflicts: 525000 | #Constraints: 69966
1522.48/1526.28 c #Conflicts: 526000 | #Constraints: 70966
1522.48/1526.28 c #Conflicts: 527000 | #Constraints: 71966
1522.48/1526.28 c #Conflicts: 528000 | #Constraints: 72966
1522.48/1526.28 c #Conflicts: 529000 | #Constraints: 73966
1522.48/1526.28 c #Conflicts: 530000 | #Constraints: 74967
1522.48/1526.28 c #Conflicts: 531000 | #Constraints: 75967
1522.48/1526.28 c #Conflicts: 532000 | #Constraints: 76967
1522.48/1526.28 c #Conflicts: 533000 | #Constraints: 77967
1522.48/1526.28 c #Conflicts: 534000 | #Constraints: 78967
1522.48/1526.28 c #Conflicts: 535000 | #Constraints: 79967
1522.48/1526.28 c #Conflicts: 536000 | #Constraints: 80967
1522.48/1526.28 c #Conflicts: 537000 | #Constraints: 81967
1522.48/1526.28 c #Conflicts: 538000 | #Constraints: 82967
1522.48/1526.28 c #Conflicts: 539000 | #Constraints: 83967
1522.48/1526.28 c #Conflicts: 540000 | #Constraints: 84967
1522.48/1526.28 c #Conflicts: 541000 | #Constraints: 85967
1522.48/1526.28 c #Conflicts: 542000 | #Constraints: 86967
1522.48/1526.28 c #Conflicts: 543000 | #Constraints: 87967
1522.48/1526.28 c #Conflicts: 544000 | #Constraints: 88967
1522.48/1526.28 c #Conflicts: 545000 | #Constraints: 89967
1522.48/1526.28 c #Conflicts: 546000 | #Constraints: 90967
1522.48/1526.28 c #Conflicts: 547000 | #Constraints: 91967
1522.48/1526.28 c #Conflicts: 548000 | #Constraints: 92967
1522.48/1526.28 c #Conflicts: 549000 | #Constraints: 93967
1522.48/1526.28 c #Conflicts: 550000 | #Constraints: 94967
1522.48/1526.28 c #Conflicts: 551000 | #Constraints: 95967
1522.48/1526.28 c #Conflicts: 552000 | #Constraints: 96967
1522.48/1526.28 c #Conflicts: 553000 | #Constraints: 97967
1522.48/1526.28 c #Conflicts: 554000 | #Constraints: 98967
1522.48/1526.28 c #Conflicts: 555000 | #Constraints: 99967
1522.48/1526.28 c #Conflicts: 556000 | #Constraints: 100967
1522.48/1526.28 c #Conflicts: 557000 | #Constraints: 101967
1522.48/1526.28 c #Conflicts: 558000 | #Constraints: 102967
1522.48/1526.28 c #Conflicts: 559000 | #Constraints: 103967
1522.48/1526.28 c #Conflicts: 560000 | #Constraints: 104967
1522.48/1526.28 c #Conflicts: 561000 | #Constraints: 105967
1522.48/1526.28 c #Conflicts: 562000 | #Constraints: 106967
1522.48/1526.28 c #Conflicts: 563000 | #Constraints: 107967
1522.48/1526.28 c #Conflicts: 564000 | #Constraints: 108967
1522.48/1526.28 c bounds 19 >= 17 @ 1516.18
1579.03/1582.98 c #Conflicts: 565000 | #Constraints: 109968
1579.03/1582.98 c #Conflicts: 566000 | #Constraints: 110968
1579.03/1582.98 c #Conflicts: 567000 | #Constraints: 111968
1579.03/1582.98 c #Conflicts: 568000 | #Constraints: 112968
1579.03/1582.98 c #Conflicts: 569000 | #Constraints: 113968
1579.03/1582.98 c #Conflicts: 570000 | #Constraints: 114968
1579.03/1582.98 c #Conflicts: 571000 | #Constraints: 115968
1579.03/1582.98 c #Conflicts: 572000 | #Constraints: 116968
1579.03/1582.98 c #Conflicts: 573000 | #Constraints: 117968
1579.03/1582.98 c INPROCESSING
1579.03/1582.98 c GARBAGE COLLECT
1579.03/1582.98 c rational objective 17
1640.38/1644.43 c #Conflicts: 574000 | #Constraints: 76642
1640.38/1644.43 c #Conflicts: 575000 | #Constraints: 77642
1640.38/1644.43 c #Conflicts: 576000 | #Constraints: 78642
1640.38/1644.43 c #Conflicts: 577000 | #Constraints: 79642
1640.38/1644.43 c #Conflicts: 578000 | #Constraints: 80642
1640.38/1644.43 c #Conflicts: 579000 | #Constraints: 81642
1640.38/1644.43 c #Conflicts: 580000 | #Constraints: 82642
1640.38/1644.43 c #Conflicts: 581000 | #Constraints: 83642
1640.38/1644.43 c #Conflicts: 582000 | #Constraints: 84642
1640.38/1644.43 c #Conflicts: 583000 | #Constraints: 85642
1640.38/1644.43 c #Conflicts: 584000 | #Constraints: 86642
1640.38/1644.43 c #Conflicts: 585000 | #Constraints: 87642
1640.38/1644.43 c #Conflicts: 586000 | #Constraints: 88642
1640.38/1644.43 c #Conflicts: 587000 | #Constraints: 89642
1640.38/1644.43 c #Conflicts: 588000 | #Constraints: 90642
1640.38/1644.43 c INPROCESSING
1640.38/1644.43 c GARBAGE COLLECT
1640.38/1644.43 c rational objective 17
1695.03/1699.24 c #Conflicts: 589000 | #Constraints: 62469
1695.03/1699.24 c #Conflicts: 590000 | #Constraints: 63469
1695.03/1699.24 c #Conflicts: 591000 | #Constraints: 64469
1695.03/1699.24 c #Conflicts: 592000 | #Constraints: 65469
1695.03/1699.24 c #Conflicts: 593000 | #Constraints: 66469
1695.03/1699.24 c #Conflicts: 594000 | #Constraints: 67469
1695.03/1699.24 c #Conflicts: 595000 | #Constraints: 68469
1695.03/1699.24 c #Conflicts: 596000 | #Constraints: 69469
1695.03/1699.24 c #Conflicts: 597000 | #Constraints: 70469
1695.03/1699.24 c #Conflicts: 598000 | #Constraints: 71469
1695.03/1699.24 c #Conflicts: 599000 | #Constraints: 72469
1695.03/1699.24 c #Conflicts: 600000 | #Constraints: 73469
1695.03/1699.24 c #Conflicts: 601000 | #Constraints: 74469
1695.03/1699.24 c #Conflicts: 602000 | #Constraints: 75469
1695.03/1699.24 c #Conflicts: 603000 | #Constraints: 76469
1695.03/1699.24 c #Conflicts: 604000 | #Constraints: 77469
1695.03/1699.24 c INPROCESSING
1695.03/1699.24 c GARBAGE COLLECT
1695.03/1699.24 c rational objective 17
1742.22/1746.52 c #Conflicts: 605000 | #Constraints: 56092
1742.22/1746.52 c #Conflicts: 606000 | #Constraints: 57092
1742.22/1746.52 c #Conflicts: 607000 | #Constraints: 58092
1742.22/1746.52 c #Conflicts: 608000 | #Constraints: 59092
1742.22/1746.52 c #Conflicts: 609000 | #Constraints: 60092
1742.22/1746.52 c #Conflicts: 610000 | #Constraints: 61092
1742.22/1746.52 c #Conflicts: 611000 | #Constraints: 62092
1742.22/1746.52 c #Conflicts: 612000 | #Constraints: 63092
1742.22/1746.52 c #Conflicts: 613000 | #Constraints: 64092
1742.22/1746.52 c #Conflicts: 614000 | #Constraints: 65092
1742.22/1746.52 c #Conflicts: 615000 | #Constraints: 66092
1742.22/1746.52 c #Conflicts: 616000 | #Constraints: 67092
1742.22/1746.52 c #Conflicts: 617000 | #Constraints: 68092
1742.22/1746.52 c #Conflicts: 618000 | #Constraints: 69092
1742.22/1746.52 c #Conflicts: 619000 | #Constraints: 70092
1742.22/1746.52 c #Conflicts: 620000 | #Constraints: 71092
1742.22/1746.52 c INPROCESSING
1742.22/1746.52 c GARBAGE COLLECT
1742.22/1746.52 c rational objective 17
1800.27/1804.78 c #Conflicts: 621000 | #Constraints: 52869
1800.27/1804.78 c #Conflicts: 622000 | #Constraints: 53869
1800.27/1804.78 c #Conflicts: 623000 | #Constraints: 54869
1800.27/1804.78 c #Conflicts: 624000 | #Constraints: 55869
1800.27/1804.78 c #Conflicts: 625000 | #Constraints: 56869
1800.27/1804.78 c #Conflicts: 626000 | #Constraints: 57869
1800.27/1804.78 c #Conflicts: 627000 | #Constraints: 58869
1800.27/1804.78 c #Conflicts: 628000 | #Constraints: 59869
1800.27/1804.78 c #Conflicts: 629000 | #Constraints: 60869
1800.27/1804.78 c #Conflicts: 630000 | #Constraints: 61869
1800.27/1804.78 c #Conflicts: 631000 | #Constraints: 62869
1800.27/1804.78 c #Conflicts: 632000 | #Constraints: 63869
1800.27/1804.78 c #Conflicts: 633000 | #Constraints: 64869
1800.27/1804.78 c #Conflicts: 634000 | #Constraints: 65869
1800.27/1804.78 c #Conflicts: 635000 | #Constraints: 66869
1800.27/1804.78 c #Conflicts: 636000 | #Constraints: 67869
1800.27/1804.78 c INPROCESSING
1800.27/1804.78 c GARBAGE COLLECT
1800.27/1804.78 c rational objective 17
1848.75/1853.30 c #Conflicts: 637000 | #Constraints: 51280
1848.75/1853.30 c #Conflicts: 638000 | #Constraints: 52280
1848.75/1853.30 c #Conflicts: 639000 | #Constraints: 53280
1848.75/1853.30 c #Conflicts: 640000 | #Constraints: 54280
1848.75/1853.30 c #Conflicts: 641000 | #Constraints: 55280
1848.75/1853.30 c #Conflicts: 642000 | #Constraints: 56280
1848.75/1853.30 c #Conflicts: 643000 | #Constraints: 57280
1848.75/1853.30 c #Conflicts: 644000 | #Constraints: 58280
1848.75/1853.30 c #Conflicts: 645000 | #Constraints: 59280
1848.75/1853.30 c #Conflicts: 646000 | #Constraints: 60280
1848.75/1853.30 c #Conflicts: 647000 | #Constraints: 61280
1848.75/1853.30 c #Conflicts: 648000 | #Constraints: 62280
1848.75/1853.30 c #Conflicts: 649000 | #Constraints: 63280
1848.75/1853.30 c #Conflicts: 650000 | #Constraints: 64280
1848.75/1853.30 c #Conflicts: 651000 | #Constraints: 65280
1848.75/1853.30 c #Conflicts: 652000 | #Constraints: 66280
1848.75/1853.30 c INPROCESSING
1848.75/1853.30 c GARBAGE COLLECT
1848.75/1853.30 c rational objective 17
2241.23/2246.71 c #Conflicts: 653000 | #Constraints: 50497
2241.23/2246.71 c #Conflicts: 654000 | #Constraints: 51497
2241.23/2246.71 c #Conflicts: 655000 | #Constraints: 52497
2241.23/2246.71 c #Conflicts: 656000 | #Constraints: 53498
2241.23/2246.71 c #Conflicts: 657000 | #Constraints: 54498
2241.23/2246.71 c #Conflicts: 658000 | #Constraints: 55498
2241.23/2246.71 c #Conflicts: 659000 | #Constraints: 56498
2241.23/2246.71 c #Conflicts: 660000 | #Constraints: 57498
2241.23/2246.71 c #Conflicts: 661000 | #Constraints: 58498
2241.23/2246.71 c #Conflicts: 662000 | #Constraints: 59498
2241.23/2246.71 c #Conflicts: 663000 | #Constraints: 60498
2241.23/2246.71 c #Conflicts: 664000 | #Constraints: 61498
2241.23/2246.71 c #Conflicts: 665000 | #Constraints: 62498
2241.23/2246.71 c #Conflicts: 666000 | #Constraints: 63498
2241.23/2246.71 c #Conflicts: 667000 | #Constraints: 64498
2241.23/2246.71 c #Conflicts: 668000 | #Constraints: 65498
2241.23/2246.71 c #Conflicts: 669000 | #Constraints: 66498
2241.23/2246.71 c #Conflicts: 670000 | #Constraints: 67498
2241.23/2246.71 c #Conflicts: 671000 | #Constraints: 68498
2241.23/2246.71 c #Conflicts: 672000 | #Constraints: 69498
2241.23/2246.71 c #Conflicts: 673000 | #Constraints: 70498
2241.23/2246.71 c #Conflicts: 674000 | #Constraints: 71498
2241.23/2246.71 c #Conflicts: 675000 | #Constraints: 72498
2241.23/2246.71 c #Conflicts: 676000 | #Constraints: 73498
2241.23/2246.71 c #Conflicts: 677000 | #Constraints: 74498
2241.23/2246.71 c #Conflicts: 678000 | #Constraints: 75498
2241.23/2246.71 c #Conflicts: 679000 | #Constraints: 76498
2241.23/2246.71 c #Conflicts: 680000 | #Constraints: 77498
2241.23/2246.71 c #Conflicts: 681000 | #Constraints: 78498
2241.23/2246.71 c #Conflicts: 682000 | #Constraints: 79498
2241.23/2246.71 c #Conflicts: 683000 | #Constraints: 80498
2241.23/2246.71 c #Conflicts: 684000 | #Constraints: 81498
2241.23/2246.71 c #Conflicts: 685000 | #Constraints: 82498
2241.23/2246.71 c #Conflicts: 686000 | #Constraints: 83498
2241.23/2246.71 c #Conflicts: 687000 | #Constraints: 84498
2241.23/2246.71 c #Conflicts: 688000 | #Constraints: 85498
2241.23/2246.71 c #Conflicts: 689000 | #Constraints: 86498
2241.23/2246.71 c #Conflicts: 690000 | #Constraints: 87498
2241.23/2246.71 c #Conflicts: 691000 | #Constraints: 88498
2241.23/2246.71 c #Conflicts: 692000 | #Constraints: 89498
2241.23/2246.71 c #Conflicts: 693000 | #Constraints: 90498
2241.23/2246.71 c #Conflicts: 694000 | #Constraints: 91498
2241.23/2246.71 c #Conflicts: 695000 | #Constraints: 92498
2241.23/2246.71 c #Conflicts: 696000 | #Constraints: 93498
2241.23/2246.71 c #Conflicts: 697000 | #Constraints: 94498
2241.23/2246.71 c #Conflicts: 698000 | #Constraints: 95498
2241.23/2246.71 c #Conflicts: 699000 | #Constraints: 96498
2241.23/2246.71 c #Conflicts: 700000 | #Constraints: 97498
2241.23/2246.71 c #Conflicts: 701000 | #Constraints: 98498
2241.23/2246.71 c #Conflicts: 702000 | #Constraints: 99498
2241.23/2246.71 c #Conflicts: 703000 | #Constraints: 100498
2241.23/2246.71 c #Conflicts: 704000 | #Constraints: 101498
2241.23/2246.71 c #Conflicts: 705000 | #Constraints: 102498
2241.23/2246.71 c #Conflicts: 706000 | #Constraints: 103498
2241.23/2246.71 c #Conflicts: 707000 | #Constraints: 104498
2241.23/2246.71 c #Conflicts: 708000 | #Constraints: 105498
2241.23/2246.71 c #Conflicts: 709000 | #Constraints: 106498
2241.23/2246.71 c #Conflicts: 710000 | #Constraints: 107498
2241.23/2246.71 c #Conflicts: 711000 | #Constraints: 108498
2241.23/2246.71 c #Conflicts: 712000 | #Constraints: 109498
2241.23/2246.71 c #Conflicts: 713000 | #Constraints: 110498
2241.23/2246.71 c #Conflicts: 714000 | #Constraints: 111498
2241.23/2246.71 c #Conflicts: 715000 | #Constraints: 112498
2241.23/2246.71 c #Conflicts: 716000 | #Constraints: 113498
2241.23/2246.71 c #Conflicts: 717000 | #Constraints: 114498
2241.23/2246.71 c #Conflicts: 718000 | #Constraints: 115498
2241.23/2246.71 c #Conflicts: 719000 | #Constraints: 116498
2241.23/2246.71 c #Conflicts: 720000 | #Constraints: 117498
2241.23/2246.71 c #Conflicts: 721000 | #Constraints: 118498
2241.23/2246.71 c #Conflicts: 722000 | #Constraints: 119498
2241.23/2246.71 c #Conflicts: 723000 | #Constraints: 120498
2241.23/2246.71 c #Conflicts: 724000 | #Constraints: 121498
2241.23/2246.71 c #Conflicts: 725000 | #Constraints: 122498
2241.23/2246.71 c #Conflicts: 726000 | #Constraints: 123498
2241.23/2246.71 c #Conflicts: 727000 | #Constraints: 124498
2241.23/2246.71 c #Conflicts: 728000 | #Constraints: 125498
2241.23/2246.71 c #Conflicts: 729000 | #Constraints: 126498
2241.23/2246.71 c #Conflicts: 730000 | #Constraints: 127498
2241.23/2246.71 c #Conflicts: 731000 | #Constraints: 128498
2242.63/2248.15 c INPROCESSING
2242.63/2248.15 c GARBAGE COLLECT
2242.63/2248.15 c rational objective 17
2314.66/2320.37 c #Conflicts: 732000 | #Constraints: 81728
2314.66/2320.37 c #Conflicts: 733000 | #Constraints: 82728
2314.66/2320.37 c #Conflicts: 734000 | #Constraints: 83728
2314.66/2320.37 c #Conflicts: 735000 | #Constraints: 84728
2314.66/2320.37 c #Conflicts: 736000 | #Constraints: 85728
2314.66/2320.37 c #Conflicts: 737000 | #Constraints: 86728
2314.66/2320.37 c #Conflicts: 738000 | #Constraints: 87728
2314.66/2320.37 c #Conflicts: 739000 | #Constraints: 88728
2314.66/2320.37 c #Conflicts: 740000 | #Constraints: 89728
2314.66/2320.37 c #Conflicts: 741000 | #Constraints: 90728
2314.66/2320.37 c #Conflicts: 742000 | #Constraints: 91728
2314.66/2320.37 c #Conflicts: 743000 | #Constraints: 92728
2314.66/2320.37 c #Conflicts: 744000 | #Constraints: 93728
2314.66/2320.37 c #Conflicts: 745000 | #Constraints: 94728
2314.66/2320.37 c #Conflicts: 746000 | #Constraints: 95728
2314.66/2320.37 c #Conflicts: 747000 | #Constraints: 96728
2314.66/2320.37 c #Conflicts: 748000 | #Constraints: 97728
2314.66/2320.37 c #Conflicts: 749000 | #Constraints: 98728
2314.66/2320.37 c INPROCESSING
2314.66/2320.37 c GARBAGE COLLECT
2314.66/2320.37 c rational objective 17
2348.59/2354.31 c #Conflicts: 750000 | #Constraints: 66933
2348.59/2354.31 c #Conflicts: 751000 | #Constraints: 67933
2348.59/2354.31 c #Conflicts: 752000 | #Constraints: 68933
2348.59/2354.31 c #Conflicts: 753000 | #Constraints: 69933
2348.59/2354.31 c #Conflicts: 754000 | #Constraints: 70933
2348.59/2354.31 c #Conflicts: 755000 | #Constraints: 71933
2348.59/2354.31 c #Conflicts: 756000 | #Constraints: 72933
2348.59/2354.31 c #Conflicts: 757000 | #Constraints: 73933
2348.59/2354.31 c bounds 19 >= 18 @ 2340.12
2385.20/2391.09 c #Conflicts: 758000 | #Constraints: 74969
2385.20/2391.09 c #Conflicts: 759000 | #Constraints: 75969
2385.20/2391.09 c #Conflicts: 760000 | #Constraints: 76969
2385.20/2391.09 c #Conflicts: 761000 | #Constraints: 77969
2385.20/2391.09 c #Conflicts: 762000 | #Constraints: 78969
2385.20/2391.09 c #Conflicts: 763000 | #Constraints: 79969
2385.20/2391.09 c #Conflicts: 764000 | #Constraints: 80969
2385.20/2391.09 c #Conflicts: 765000 | #Constraints: 81969
2385.20/2391.09 c #Conflicts: 766000 | #Constraints: 82969
2385.20/2391.09 c INPROCESSING
2385.20/2391.09 c GARBAGE COLLECT
2385.20/2391.09 c rational objective 18
2442.96/2448.96 c #Conflicts: 767000 | #Constraints: 58787
2442.96/2448.96 c #Conflicts: 768000 | #Constraints: 59787
2442.96/2448.96 c #Conflicts: 769000 | #Constraints: 60787
2442.96/2448.96 c #Conflicts: 770000 | #Constraints: 61787
2442.96/2448.96 c #Conflicts: 771000 | #Constraints: 62787
2442.96/2448.96 c #Conflicts: 772000 | #Constraints: 63787
2442.96/2448.96 c #Conflicts: 773000 | #Constraints: 64787
2442.96/2448.96 c #Conflicts: 774000 | #Constraints: 65787
2442.96/2448.96 c #Conflicts: 775000 | #Constraints: 66787
2442.96/2448.96 c #Conflicts: 776000 | #Constraints: 67787
2442.96/2448.96 c #Conflicts: 777000 | #Constraints: 68787
2442.96/2448.96 c #Conflicts: 778000 | #Constraints: 69787
2442.96/2448.96 c #Conflicts: 779000 | #Constraints: 70787
2442.96/2448.96 c #Conflicts: 780000 | #Constraints: 71787
2442.96/2448.96 c #Conflicts: 781000 | #Constraints: 72787
2442.96/2448.96 c #Conflicts: 782000 | #Constraints: 73787
2442.96/2448.96 c #Conflicts: 783000 | #Constraints: 74787
2442.96/2448.96 c #Conflicts: 784000 | #Constraints: 75787
2442.96/2448.96 c INPROCESSING
2442.96/2448.96 c GARBAGE COLLECT
2442.96/2448.96 c rational objective 18
2496.95/2503.06 c #Conflicts: 785000 | #Constraints: 55267
2496.95/2503.06 c #Conflicts: 786000 | #Constraints: 56267
2496.95/2503.06 c #Conflicts: 787000 | #Constraints: 57267
2496.95/2503.06 c #Conflicts: 788000 | #Constraints: 58267
2496.95/2503.06 c #Conflicts: 789000 | #Constraints: 59267
2496.95/2503.06 c #Conflicts: 790000 | #Constraints: 60267
2496.95/2503.06 c #Conflicts: 791000 | #Constraints: 61267
2496.95/2503.06 c #Conflicts: 792000 | #Constraints: 62267
2496.95/2503.06 c #Conflicts: 793000 | #Constraints: 63267
2496.95/2503.06 c #Conflicts: 794000 | #Constraints: 64267
2496.95/2503.06 c #Conflicts: 795000 | #Constraints: 65267
2496.95/2503.06 c #Conflicts: 796000 | #Constraints: 66267
2496.95/2503.06 c #Conflicts: 797000 | #Constraints: 67267
2496.95/2503.06 c #Conflicts: 798000 | #Constraints: 68267
2496.95/2503.06 c #Conflicts: 799000 | #Constraints: 69267
2496.95/2503.06 c #Conflicts: 800000 | #Constraints: 70267
2496.95/2503.06 c #Conflicts: 801000 | #Constraints: 71268
2496.95/2503.06 c #Conflicts: 802000 | #Constraints: 72268
2496.95/2503.06 c #Conflicts: 803000 | #Constraints: 73268
2496.95/2503.06 c INPROCESSING
2496.95/2503.06 c GARBAGE COLLECT
2496.95/2503.06 c rational objective 18
2940.27/2947.40 c #Conflicts: 804000 | #Constraints: 54318
2940.27/2947.40 c #Conflicts: 805000 | #Constraints: 55318
2940.27/2947.40 c #Conflicts: 806000 | #Constraints: 56318
2940.27/2947.40 c #Conflicts: 807000 | #Constraints: 57318
2940.27/2947.40 c #Conflicts: 808000 | #Constraints: 58318
2940.27/2947.40 c #Conflicts: 809000 | #Constraints: 59318
2940.27/2947.40 c #Conflicts: 810000 | #Constraints: 60318
2940.27/2947.40 c #Conflicts: 811000 | #Constraints: 61318
2940.27/2947.40 c #Conflicts: 812000 | #Constraints: 62318
2940.27/2947.40 c #Conflicts: 813000 | #Constraints: 63318
2940.27/2947.40 c #Conflicts: 814000 | #Constraints: 64318
2940.27/2947.40 c #Conflicts: 815000 | #Constraints: 65318
2940.27/2947.40 c #Conflicts: 816000 | #Constraints: 66318
2940.27/2947.40 c #Conflicts: 817000 | #Constraints: 67318
2940.27/2947.40 c #Conflicts: 818000 | #Constraints: 68318
2940.27/2947.40 c #Conflicts: 819000 | #Constraints: 69318
2940.27/2947.40 c #Conflicts: 820000 | #Constraints: 70318
2940.27/2947.40 c #Conflicts: 821000 | #Constraints: 71318
2940.27/2947.40 c #Conflicts: 822000 | #Constraints: 72318
2940.27/2947.40 c #Conflicts: 823000 | #Constraints: 73318
2940.27/2947.40 c #Conflicts: 824000 | #Constraints: 74318
2940.27/2947.40 c #Conflicts: 825000 | #Constraints: 75318
2940.27/2947.40 c #Conflicts: 826000 | #Constraints: 76318
2940.27/2947.40 c #Conflicts: 827000 | #Constraints: 77318
2940.27/2947.40 c #Conflicts: 828000 | #Constraints: 78318
2940.27/2947.40 c #Conflicts: 829000 | #Constraints: 79318
2940.27/2947.40 c #Conflicts: 830000 | #Constraints: 80318
2940.27/2947.40 c #Conflicts: 831000 | #Constraints: 81318
2940.27/2947.40 c #Conflicts: 832000 | #Constraints: 82318
2940.27/2947.40 c #Conflicts: 833000 | #Constraints: 83318
2940.27/2947.40 c #Conflicts: 834000 | #Constraints: 84318
2940.27/2947.40 c #Conflicts: 835000 | #Constraints: 85318
2940.27/2947.40 c #Conflicts: 836000 | #Constraints: 86318
2940.27/2947.40 c #Conflicts: 837000 | #Constraints: 87318
2940.27/2947.40 c #Conflicts: 838000 | #Constraints: 88318
2940.27/2947.40 c #Conflicts: 839000 | #Constraints: 89318
2940.27/2947.40 c #Conflicts: 840000 | #Constraints: 90318
2940.27/2947.40 c #Conflicts: 841000 | #Constraints: 91318
2940.27/2947.40 c #Conflicts: 842000 | #Constraints: 92318
2940.27/2947.40 c #Conflicts: 843000 | #Constraints: 93318
2940.27/2947.40 c #Conflicts: 844000 | #Constraints: 94318
2940.27/2947.40 c #Conflicts: 845000 | #Constraints: 95318
2940.27/2947.40 c #Conflicts: 846000 | #Constraints: 96318
2940.27/2947.40 c #Conflicts: 847000 | #Constraints: 97318
2940.27/2947.40 c #Conflicts: 848000 | #Constraints: 98318
2940.27/2947.40 c #Conflicts: 849000 | #Constraints: 99318
2940.27/2947.40 c #Conflicts: 850000 | #Constraints: 100318
2940.27/2947.40 c #Conflicts: 851000 | #Constraints: 101318
2940.27/2947.40 c #Conflicts: 852000 | #Constraints: 102318
2940.27/2947.40 c #Conflicts: 853000 | #Constraints: 103318
2940.27/2947.40 c #Conflicts: 854000 | #Constraints: 104318
2940.27/2947.40 c #Conflicts: 855000 | #Constraints: 105318
2940.27/2947.40 c #Conflicts: 856000 | #Constraints: 106318
2940.27/2947.40 c #Conflicts: 857000 | #Constraints: 107318
2940.27/2947.40 c #Conflicts: 858000 | #Constraints: 108318
2940.27/2947.40 c #Conflicts: 859000 | #Constraints: 109318
2940.27/2947.40 c #Conflicts: 860000 | #Constraints: 110318
2940.27/2947.40 c #Conflicts: 861000 | #Constraints: 111318
2940.27/2947.40 c #Conflicts: 862000 | #Constraints: 112318
2940.27/2947.40 c #Conflicts: 863000 | #Constraints: 113318
2940.27/2947.40 c #Conflicts: 864000 | #Constraints: 114318
2940.27/2947.40 c #Conflicts: 865000 | #Constraints: 115318
2940.27/2947.40 c #Conflicts: 866000 | #Constraints: 116318
2940.27/2947.40 c #Conflicts: 867000 | #Constraints: 117318
2940.27/2947.40 c #Conflicts: 868000 | #Constraints: 118318
2940.27/2947.40 c #Conflicts: 869000 | #Constraints: 119318
2940.27/2947.40 c #Conflicts: 870000 | #Constraints: 120318
2940.27/2947.40 c #Conflicts: 871000 | #Constraints: 121318
2940.27/2947.40 c #Conflicts: 872000 | #Constraints: 122318
2940.27/2947.40 c #Conflicts: 873000 | #Constraints: 123318
2940.27/2947.40 c #Conflicts: 874000 | #Constraints: 124318
2940.27/2947.40 c #Conflicts: 875000 | #Constraints: 125318
2940.27/2947.40 c #Conflicts: 876000 | #Constraints: 126318
2940.27/2947.40 c #Conflicts: 877000 | #Constraints: 127318
2940.27/2947.40 c #Conflicts: 878000 | #Constraints: 128318
2940.27/2947.40 c #Conflicts: 879000 | #Constraints: 129318
2940.27/2947.40 c #Conflicts: 880000 | #Constraints: 130318
2940.27/2947.40 c #Conflicts: 881000 | #Constraints: 131318
2940.27/2947.40 c #Conflicts: 882000 | #Constraints: 132318
2992.54/2999.87 c #Conflicts: 883000 | #Constraints: 133318
2992.54/2999.87 c #Conflicts: 884000 | #Constraints: 134318
2992.54/2999.87 c #Conflicts: 885000 | #Constraints: 135318
2992.54/2999.87 c #Conflicts: 886000 | #Constraints: 136318
2992.54/2999.87 c #Conflicts: 887000 | #Constraints: 137318
2992.54/2999.87 c #Conflicts: 888000 | #Constraints: 138318
2992.54/2999.87 c INPROCESSING
2992.54/2999.87 c GARBAGE COLLECT
2992.54/2999.87 c rational objective 18
3098.29/3105.86 c #Conflicts: 889000 | #Constraints: 86753
3098.29/3105.86 c #Conflicts: 890000 | #Constraints: 87753
3098.29/3105.86 c #Conflicts: 891000 | #Constraints: 88753
3098.29/3105.86 c #Conflicts: 892000 | #Constraints: 89753
3098.29/3105.86 c #Conflicts: 893000 | #Constraints: 90753
3098.29/3105.86 c #Conflicts: 894000 | #Constraints: 91753
3098.29/3105.86 c #Conflicts: 895000 | #Constraints: 92753
3098.29/3105.86 c #Conflicts: 896000 | #Constraints: 93753
3098.29/3105.86 c #Conflicts: 897000 | #Constraints: 94753
3098.29/3105.86 c #Conflicts: 898000 | #Constraints: 95753
3098.29/3105.86 c #Conflicts: 899000 | #Constraints: 96753
3098.29/3105.86 c #Conflicts: 900000 | #Constraints: 97753
3098.29/3105.86 c #Conflicts: 901000 | #Constraints: 98753
3098.29/3105.86 c #Conflicts: 902000 | #Constraints: 99753
3098.29/3105.86 c #Conflicts: 903000 | #Constraints: 100753
3098.29/3105.86 c #Conflicts: 904000 | #Constraints: 101753
3098.29/3105.86 c #Conflicts: 905000 | #Constraints: 102753
3098.29/3105.86 c #Conflicts: 906000 | #Constraints: 103753
3098.29/3105.86 c #Conflicts: 907000 | #Constraints: 104753
3098.29/3105.86 c INPROCESSING
3098.29/3105.86 c GARBAGE COLLECT
3098.29/3105.86 c rational objective 18
3196.45/3204.29 c #Conflicts: 908000 | #Constraints: 67178
3196.45/3204.29 c #Conflicts: 909000 | #Constraints: 68178
3196.45/3204.29 c #Conflicts: 910000 | #Constraints: 69178
3196.45/3204.29 c #Conflicts: 911000 | #Constraints: 70178
3196.45/3204.29 c #Conflicts: 912000 | #Constraints: 71178
3196.45/3204.29 c #Conflicts: 913000 | #Constraints: 72178
3196.45/3204.29 c #Conflicts: 914000 | #Constraints: 73178
3196.45/3204.29 c #Conflicts: 915000 | #Constraints: 74178
3196.45/3204.29 c #Conflicts: 916000 | #Constraints: 75178
3196.45/3204.29 c #Conflicts: 917000 | #Constraints: 76178
3196.45/3204.29 c #Conflicts: 918000 | #Constraints: 77178
3196.45/3204.29 c #Conflicts: 919000 | #Constraints: 78178
3196.45/3204.29 c #Conflicts: 920000 | #Constraints: 79178
3196.45/3204.29 c #Conflicts: 921000 | #Constraints: 80178
3196.45/3204.29 c #Conflicts: 922000 | #Constraints: 81178
3196.45/3204.29 c #Conflicts: 923000 | #Constraints: 82178
3196.45/3204.29 c #Conflicts: 924000 | #Constraints: 83178
3196.45/3204.29 c #Conflicts: 925000 | #Constraints: 84178
3196.45/3204.29 c #Conflicts: 926000 | #Constraints: 85178
3196.45/3204.29 c #Conflicts: 927000 | #Constraints: 86178
3196.45/3204.29 c INPROCESSING
3196.45/3204.29 c GARBAGE COLLECT
3196.45/3204.29 c rational objective 18
3265.08/3273.02 c #Conflicts: 928000 | #Constraints: 60640
3265.08/3273.02 c #Conflicts: 929000 | #Constraints: 61640
3265.08/3273.02 c #Conflicts: 930000 | #Constraints: 62640
3265.08/3273.02 c #Conflicts: 931000 | #Constraints: 63640
3265.08/3273.02 c #Conflicts: 932000 | #Constraints: 64640
3265.08/3273.02 c #Conflicts: 933000 | #Constraints: 65640
3265.08/3273.02 c #Conflicts: 934000 | #Constraints: 66640
3265.08/3273.02 c #Conflicts: 935000 | #Constraints: 67640
3265.08/3273.02 c #Conflicts: 936000 | #Constraints: 68640
3265.08/3273.02 c #Conflicts: 937000 | #Constraints: 69640
3265.08/3273.02 c #Conflicts: 938000 | #Constraints: 70640
3265.08/3273.02 c #Conflicts: 939000 | #Constraints: 71640
3265.08/3273.02 c #Conflicts: 940000 | #Constraints: 72640
3265.08/3273.02 c #Conflicts: 941000 | #Constraints: 73640
3265.08/3273.02 c #Conflicts: 942000 | #Constraints: 74640
3265.08/3273.02 c #Conflicts: 943000 | #Constraints: 75640
3265.08/3273.02 c #Conflicts: 944000 | #Constraints: 76640
3265.08/3273.02 c #Conflicts: 945000 | #Constraints: 77640
3265.08/3273.02 c #Conflicts: 946000 | #Constraints: 78640
3265.08/3273.02 c #Conflicts: 947000 | #Constraints: 79640
3265.08/3273.02 c INPROCESSING
3265.08/3273.02 c GARBAGE COLLECT
3265.08/3273.02 c rational objective 18
3577.18/3585.98 c #Conflicts: 948000 | #Constraints: 57426
3577.18/3585.98 c #Conflicts: 949000 | #Constraints: 58426
3577.18/3585.98 c #Conflicts: 950000 | #Constraints: 59426
3577.18/3585.98 c #Conflicts: 951000 | #Constraints: 60426
3577.18/3585.98 c #Conflicts: 952000 | #Constraints: 61426
3577.18/3585.98 c #Conflicts: 953000 | #Constraints: 62426
3577.18/3585.98 c #Conflicts: 954000 | #Constraints: 63426
3577.18/3585.98 c #Conflicts: 955000 | #Constraints: 64426
3577.18/3585.98 c #Conflicts: 956000 | #Constraints: 65426
3577.18/3585.98 c #Conflicts: 957000 | #Constraints: 66426
3577.18/3585.98 c #Conflicts: 958000 | #Constraints: 67426
3577.18/3585.98 c #Conflicts: 959000 | #Constraints: 68426
3577.18/3585.98 c #Conflicts: 960000 | #Constraints: 69426
3577.18/3585.98 c #Conflicts: 961000 | #Constraints: 70426
3577.18/3585.98 c #Conflicts: 962000 | #Constraints: 71426
3577.18/3585.98 c #Conflicts: 963000 | #Constraints: 72426
3577.18/3585.98 c #Conflicts: 964000 | #Constraints: 73426
3577.18/3585.98 c #Conflicts: 965000 | #Constraints: 74426
3577.18/3585.98 c #Conflicts: 966000 | #Constraints: 75426
3577.18/3585.98 c #Conflicts: 967000 | #Constraints: 76426
3577.18/3585.98 c #Conflicts: 968000 | #Constraints: 77426
3577.18/3585.98 c #Conflicts: 969000 | #Constraints: 78426
3577.18/3585.98 c #Conflicts: 970000 | #Constraints: 79426
3577.18/3585.98 c #Conflicts: 971000 | #Constraints: 80426
3577.18/3585.98 c #Conflicts: 972000 | #Constraints: 81426
3577.18/3585.98 c #Conflicts: 973000 | #Constraints: 82426
3577.18/3585.98 c #Conflicts: 974000 | #Constraints: 83426
3577.18/3585.98 c #Conflicts: 975000 | #Constraints: 84426
3577.18/3585.98 c #Conflicts: 976000 | #Constraints: 85426
3577.18/3585.98 c #Conflicts: 977000 | #Constraints: 86426
3577.18/3585.98 c #Conflicts: 978000 | #Constraints: 87426
3577.18/3585.98 c #Conflicts: 979000 | #Constraints: 88426
3577.18/3585.98 c #Conflicts: 980000 | #Constraints: 89426
3577.18/3585.98 c #Conflicts: 981000 | #Constraints: 90426
3577.18/3585.98 c #Conflicts: 982000 | #Constraints: 91426
3577.18/3585.98 c #Conflicts: 983000 | #Constraints: 92426
3577.18/3585.98 c #Conflicts: 984000 | #Constraints: 93426
3577.18/3585.98 c #Conflicts: 985000 | #Constraints: 94426
3577.18/3585.98 c #Conflicts: 986000 | #Constraints: 95426
3577.18/3585.98 c #Conflicts: 987000 | #Constraints: 96426
3577.18/3585.98 c #Conflicts: 988000 | #Constraints: 97426
3577.18/3585.98 c #Conflicts: 989000 | #Constraints: 98426
3577.18/3585.98 c #Conflicts: 990000 | #Constraints: 99426
3577.18/3585.98 c #Conflicts: 991000 | #Constraints: 100426
3577.18/3585.98 c #Conflicts: 992000 | #Constraints: 101426
3577.18/3585.98 c #Conflicts: 993000 | #Constraints: 102426
3577.18/3585.98 c #Conflicts: 994000 | #Constraints: 103426
3577.18/3585.98 c #Conflicts: 995000 | #Constraints: 104426
3577.18/3585.98 c #Conflicts: 996000 | #Constraints: 105426
3577.18/3585.98 c #Conflicts: 997000 | #Constraints: 106426
3577.18/3585.98 c #Conflicts: 998000 | #Constraints: 107426
3577.18/3585.98 c #Conflicts: 999000 | #Constraints: 108426
3577.18/3585.98 c #Conflicts: 1000000 | #Constraints: 109426
3577.18/3585.98 c #Conflicts: 1001000 | #Constraints: 110426
3577.18/3585.98 c #Conflicts: 1002000 | #Constraints: 111426
3577.18/3585.98 c #Conflicts: 1003000 | #Constraints: 112426
3577.18/3585.98 c #Conflicts: 1004000 | #Constraints: 113426
3577.18/3585.98 c #Conflicts: 1005000 | #Constraints: 114426
3577.18/3585.98 c #Conflicts: 1006000 | #Constraints: 115426
3577.18/3585.98 c #Conflicts: 1007000 | #Constraints: 116426
3577.18/3585.98 c #Conflicts: 1008000 | #Constraints: 117426
3577.18/3585.98 c #Conflicts: 1009000 | #Constraints: 118426
3577.18/3585.98 c #Conflicts: 1010000 | #Constraints: 119426
3577.18/3585.98 c #Conflicts: 1011000 | #Constraints: 120426
3577.18/3585.98 c #Conflicts: 1012000 | #Constraints: 121426
3577.18/3585.98 c #Conflicts: 1013000 | #Constraints: 122426
3577.18/3585.98 c #Conflicts: 1014000 | #Constraints: 123426
3577.18/3585.98 c #Conflicts: 1015000 | #Constraints: 124426
3577.18/3585.98 c #Conflicts: 1016000 | #Constraints: 125426
3577.18/3585.98 c #Conflicts: 1017000 | #Constraints: 126426
3577.18/3585.98 c #Conflicts: 1018000 | #Constraints: 127426
3577.18/3585.98 c #Conflicts: 1019000 | #Constraints: 128426
3577.18/3585.98 c #Conflicts: 1020000 | #Constraints: 129426
3577.18/3585.98 c #Conflicts: 1021000 | #Constraints: 130426
3577.18/3585.98 c #Conflicts: 1022000 | #Constraints: 131426
3577.18/3585.98 c #Conflicts: 1023000 | #Constraints: 132426
3577.18/3585.98 c #Conflicts: 1024000 | #Constraints: 133426
3577.18/3585.98 c #Conflicts: 1025000 | #Constraints: 134426
3577.18/3585.98 c #Conflicts: 1026000 | #Constraints: 135426
3600.00/3608.80 c #Conflicts: 1027000 | #Constraints: 136426
3600.00/3608.80 c #Conflicts: 1028000 | #Constraints: 137426
3600.00/3608.80 c cpu time 3588.48 s
3600.00/3608.80 c deterministic time 228988051718 2.29e+11
3600.00/3608.80 c optimization time 333.729 s
3600.00/3608.80 c total solve time 3254.67 s
3600.00/3608.80 c core-guided solve time 1743.91 s
3600.00/3608.80 c propagation time 1811.86 s
3600.00/3608.80 c conflict analysis time 1662.64 s
3600.00/3608.80 c propagations 1001672842
3600.00/3608.80 c resolve steps 118457817
3600.00/3608.80 c decisions 5328834
3600.00/3608.80 c conflicts 1028685
3600.00/3608.80 c restarts 2046
3600.00/3608.80 c inprocessing phases 77
3600.00/3608.80 c garbage collections 77 ,( 100.00 )
3600.00/3608.80 c input clauses 32334 ,( 99.53 )
3600.00/3608.80 c input cardinalities 92 ,( 0.28 )
3600.00/3608.80 c input general constraints 60 ,( 0.18 )
3600.00/3608.80 c input average constraint length 3.32
3600.00/3608.80 c input average constraint degree 1.35
3600.00/3608.80 c learned clauses 891420 ,( 86.65 )
3600.00/3608.80 c learned cardinalities 2693 ,( 0.26 )
3600.00/3608.80 c learned general constraints 134619 ,( 13.09 )
3600.00/3608.80 c learned average constraint length 1286.06
3600.00/3608.80 c learned average constraint degree 1389264.35
3600.00/3608.80 c watched CF 32, 64, 128, Arb: 91212 , 0 , 0 , 0
3600.00/3608.80 c counting CF 32, 64, 128, Arb: 43468 , 0 , 0 , 0
3600.00/3608.80 c watched constraints 91212 ,( 67.73 )
3600.00/3608.80 c counting constraints 43467 ,( 32.27 )
3600.00/3608.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1702138688 , 25001585 , 7708825762 ,( 2695719809 , 5013105953 )
3600.00/3608.80 c gcd simplifications 944
3600.00/3608.80 c detected cardinalities 7
3600.00/3608.80 c weakened non-implied lits 115890498
3600.00/3608.80 c weakened non-implying lits 134633
3600.00/3608.80 c original variables 8901
3600.00/3608.80 c clausal propagations 880523358
3600.00/3608.80 c cardinality propagations 4984488
3600.00/3608.80 c watched propagations 10336219
3600.00/3608.80 c counting propagations 99759653
3600.00/3608.80 c watch lookups 61634640324
3600.00/3608.80 c watch backjump lookups 0
3600.00/3608.80 c watch checks 149270333979
3600.00/3608.80 c propagation checks 12913037285
3600.00/3608.80 c constraint additions 3153893879
3600.00/3608.80 c trail pops 1008025440
3600.00/3608.80 c formula constraints 32281
3600.00/3608.80 c learned constraints 1028682
3600.00/3608.80 c bound constraints 20
3600.00/3608.80 c core-guided constraints 185
3600.00/3608.80 c encountered formula constraints 98877806
3600.00/3608.80 c encountered learned constraints 19895126
3600.00/3608.80 c encountered bound constraints 360
3600.00/3608.80 c encountered core-guided constraints 713147
3600.00/3608.80 c LP total time 416.055 s
3600.00/3608.80 c LP solve time 375.39 s
3600.00/3608.80 c LP constraints added 33096
3600.00/3608.80 c LP constraints removed 801
3600.00/3608.80 c LP pivots internal 1032069
3600.00/3608.80 c LP pivots root 87065
3600.00/3608.80 c LP calls 562
3600.00/3608.80 c LP optimalities 551
3600.00/3608.80 c LP no pivot count 141
3600.00/3608.80 c LP infeasibilities 7
3600.00/3608.80 c LP valid Farkas constraints 7
3600.00/3608.80 c LP learned Farkas constraints 7
3600.00/3608.80 c LP basis resets 0
3600.00/3608.80 c LP cycling count 0
3600.00/3608.80 c LP singular count 0
3600.00/3608.80 c LP no primal count 0
3600.00/3608.80 c LP no farkas count 0
3600.00/3608.80 c LP other issue count 0
3600.00/3608.80 c LP Gomory cuts 36
3600.00/3608.80 c LP learned cuts 779
3600.00/3608.80 c LP deleted cuts 801
3600.00/3608.80 c LP encountered Gomory constraints 0
3600.00/3608.80 c LP encountered Farkas constraints 44
3600.00/3608.80 c LP encountered learned Farkas constraints 12
3600.00/3608.80 c CG auxiliary variables introduced 66
3600.00/3608.80 c CG solutions found 7
3600.00/3608.80 c CG cores constructed 13
3600.00/3608.80 c CG core cardinality constraints returned 0
3600.00/3608.80 c CG unit cores 0
3600.00/3608.80 c CG single cores 13
3600.00/3608.80 c CG blocks removed during cardinality reduction 0
3600.00/3608.80 c CG first core best 0
3600.00/3608.80 c CG decision core best 0
3600.00/3608.80 c CG core reduction tie 0
3600.00/3608.80 c CG core degree average 1.00
3600.00/3608.80 c CG core slack average 63.46
3600.00/3608.80 c CG core upper bound improvements 27
3600.00/3608.80 c STR number of successful calls 0
3600.00/3608.80 c STR number of unsuccessful calls 0
3600.00/3608.80 c STR number of inconclusive calls 0
3600.00/3608.80 c STR number of successful attempts 0
3600.00/3608.80 c STR number of unsuccessful attempts 0
3600.00/3608.80 c STR number of inconclusive attempts 0
3600.00/3608.80 c STR average degree increase per successful call inf
3600.00/3608.80 c STR average degree increase per successful attempt inf
3600.00/3608.80 c STR total number of conflicts for successful attempts 0
3600.00/3608.80 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3608.80 c STR total number of conflicts for inconclusive attempts 0
3600.00/3608.80 c STR average number of conflicts per successful attempt inf
3600.00/3608.80 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3608.80 c STR average number of conflicts per inconclusive attempt inf
3600.00/3608.80 c AVG.sumWPerc 31.10
3600.00/3608.80 c bigint constraints 0
3600.00/3608.80 o 19
3600.00/3608.80 s SATISFIABLE
3600.00/3608.80 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.00/3608.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62552 MiB free)
memory of node 1: 64465 MiB (63203 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497794-1751398780/watcher-4497794-1751398780 -o /tmp/evaluation-result-4497794-1751398780/solver-4497794-1751398780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54922 --watchdog 3760 run-opt-break.sh HOME/instance-4497794-1751398780.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55035, runsolver pid=55032
Current StackSize limit: 8192 KiB
[startup+0.100024 s]*
/proc/loadavg: 3.04 1.63 1.64 5/269 55038
/proc/meminfo: memFree=128755844/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=57920 memory=13124 CPUtime=0.03 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 1048 0 0 0 2 1 0 0 20 0 1 0 55500577 59310080 3281 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 14480 3281 1952 1147 0 1907 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62112 KiB
Current children cumulated memory: 16196 KiB
[startup+0.205624 s]*
/proc/loadavg: 3.04 1.63 1.64 5/269 55038
/proc/meminfo: memFree=128737696/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=93432 memory=49304 CPUtime=0.12 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 7726 0 0 0 9 3 0 0 20 0 1 0 55500577 95674368 12326 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 23358 12326 2304 1147 0 10785 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 97624 KiB
Current children cumulated memory: 52376 KiB
[startup+0.305676 s]*
/proc/loadavg: 3.04 1.63 1.64 5/269 55038
/proc/meminfo: memFree=128735680/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=94668 memory=51260 CPUtime=0.22 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 8216 0 0 0 18 4 0 0 20 0 1 0 55500577 96940032 12815 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 23667 12815 2336 1147 0 11094 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 98860 KiB
Current children cumulated memory: 54332 KiB
[startup+0.700131 s]
/proc/loadavg: 3.12 1.67 1.65 5/269 55038
/proc/meminfo: memFree=128735680/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=96404 memory=55176 CPUtime=0.6 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 8662 0 0 0 55 5 0 0 20 0 1 0 55500577 98717696 13794 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 24101 13794 2368 1147 0 11528 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 100596 KiB
Current children cumulated memory: 58248 KiB
[startup+1.50013 s]
/proc/loadavg: 3.12 1.67 1.65 5/269 55038
/proc/meminfo: memFree=128735680/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=107268 memory=64944 CPUtime=1.4 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 10659 0 0 0 134 6 0 0 20 0 1 0 55500577 109842432 16236 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 26817 16236 2368 1147 0 14244 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 111460 KiB
Current children cumulated memory: 68016 KiB
[startup+3.10553 s]
/proc/loadavg: 3.12 1.67 1.65 5/269 55038
/proc/meminfo: memFree=128732376/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=118128 memory=75056 CPUtime=3 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 12819 0 0 0 292 8 0 0 20 0 1 0 55500577 120963072 18764 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 29532 18764 2400 1147 0 16959 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 122320 KiB
Current children cumulated memory: 78128 KiB
[startup+6.30015 s]
/proc/loadavg: 3.19 1.71 1.66 5/269 55038
/proc/meminfo: memFree=128710016/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=124032 memory=80816 CPUtime=6.19 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 14278 0 0 0 607 12 0 0 20 0 1 0 55500577 127008768 20204 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 31008 20204 2400 1147 0 18435 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 128224 KiB
Current children cumulated memory: 83888 KiB
[startup+12.7001 s]
/proc/loadavg: 3.25 1.75 1.68 5/269 55038
/proc/meminfo: memFree=128686596/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=149424 memory=100868 CPUtime=12.57 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 18765 0 0 0 1238 19 0 0 20 0 1 0 55500577 153010176 25217 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 37356 25217 2400 1147 0 24783 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 153616 KiB
Current children cumulated memory: 103940 KiB
[startup+25.5001 s]
/proc/loadavg: 3.37 1.82 1.70 5/270 55086
/proc/meminfo: memFree=128736944/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=152164 memory=105392 CPUtime=25.34 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 19402 0 0 0 2502 32 0 0 20 0 1 0 55500577 155815936 26348 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 38041 26348 2400 1147 0 25468 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 156356 KiB
Current children cumulated memory: 108464 KiB
[startup+51.1055 s]
/proc/loadavg: 3.68 2.05 1.78 5/270 55087
/proc/meminfo: memFree=128664576/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=174348 memory=118920 CPUtime=50.88 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 22287 0 0 0 5034 54 0 0 20 0 1 0 55500577 178532352 29730 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 43587 29730 2400 1147 0 31014 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 178540 KiB
Current children cumulated memory: 121992 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 2.36 1.90 5/271 55094
/proc/meminfo: memFree=128565048/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=198868 memory=138428 CPUtime=101.96 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 24102 0 0 0 10106 90 0 0 20 0 1 0 55500577 203640832 34607 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 49717 34607 2400 1147 0 37144 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 203060 KiB
Current children cumulated memory: 141500 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.68 2.04 5/271 55096
/proc/meminfo: memFree=128344836/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=204856 memory=146728 CPUtime=161.82 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 25656 0 0 0 16056 126 0 0 20 0 1 0 55500577 209772544 36682 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 51214 36682 2400 1147 0 38641 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 209048 KiB
Current children cumulated memory: 149800 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.94 2.17 5/271 55098
/proc/meminfo: memFree=128267296/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=246648 memory=169688 CPUtime=221.68 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 28867 0 0 0 22010 158 0 0 20 0 1 0 55500577 252567552 42422 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 61662 42422 2400 1147 0 49089 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
/proc/55038/statm: 218839 189805 2400 1147 0 206266 0
Current children cumulated CPU time: 3034.94 s
Current children cumulated vsize: 879548 KiB
Current children cumulated memory: 762292 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/271 55534
/proc/meminfo: memFree=123703332/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=875540 memory=759348 CPUtime=3094.76 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66372 0 0 0 308472 1004 0 0 20 0 1 0 55500577 896552960 189837 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 218885 189837 2400 1147 0 206312 0
Current children cumulated CPU time: 3094.8 s
Current children cumulated vsize: 879732 KiB
Current children cumulated memory: 762420 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 55536
/proc/meminfo: memFree=122614928/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=876300 memory=760372 CPUtime=3154.62 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66614 0 0 0 314444 1018 0 0 20 0 1 0 55500577 897331200 190093 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219075 190093 2400 1147 0 206502 0
Current children cumulated CPU time: 3154.66 s
Current children cumulated vsize: 880492 KiB
Current children cumulated memory: 763444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 55543
/proc/meminfo: memFree=121085416/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=876576 memory=760372 CPUtime=3214.46 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66629 0 0 0 320416 1030 0 0 20 0 1 0 55500577 897613824 190093 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219144 190093 2400 1147 0 206571 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 880768 KiB
Current children cumulated memory: 763444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/268 55545
/proc/meminfo: memFree=120468284/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=877528 memory=761524 CPUtime=3274.3 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66922 0 0 0 326377 1053 0 0 20 0 1 0 55500577 898588672 190381 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219382 190381 2400 1147 0 206809 0
Current children cumulated CPU time: 3274.34 s
Current children cumulated vsize: 881720 KiB
Current children cumulated memory: 764596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.40 4.17 4.11 5/268 55547
/proc/meminfo: memFree=120424128/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=877528 memory=761524 CPUtime=3334.16 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66922 0 0 0 332343 1073 0 0 20 0 1 0 55500577 898588672 190381 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219382 190381 2400 1147 0 206809 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 881720 KiB
Current children cumulated memory: 764596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/267 55549
/proc/meminfo: memFree=120404076/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=877528 memory=761524 CPUtime=3394 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66927 0 0 0 338314 1086 0 0 20 0 1 0 55500577 898588672 190381 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219382 190381 2400 1147 0 206809 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 881720 KiB
Current children cumulated memory: 764596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/267 55551
/proc/meminfo: memFree=120405628/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=877528 memory=761652 CPUtime=3453.86 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 66985 0 0 0 344277 1109 0 0 20 0 1 0 55500577 898588672 190413 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219382 190413 2400 1147 0 206809 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 881720 KiB
Current children cumulated memory: 764724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/267 55554
/proc/meminfo: memFree=120374892/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=877528 memory=796548 CPUtime=3513.7 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 67040 0 0 0 350246 1124 0 0 20 0 1 0 55500577 898588672 199137 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 219382 199137 2400 1147 0 206809 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 881720 KiB
Current children cumulated memory: 799620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/268 55649
/proc/meminfo: memFree=119571444/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=1226776 memory=901768 CPUtime=3573.55 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 67801 0 0 0 356212 1143 0 0 20 0 1 0 55500577 1256218624 225442 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 306694 225442 2400 1147 0 294121 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 1230968 KiB
Current children cumulated memory: 904840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 55652
/proc/meminfo: memFree=119533556/131250000 swapFree=33010684/33010684
[pid=55035] ppid=55032 vsize=4192 memory=3072 CPUtime=0.04 cores=1,3
/proc/55035/stat : 55035 (run-opt-break.s) S 55032 55035 54907 0 -1 4194304 238 6657 0 0 0 0 3 1 20 0 1 0 55500571 4292608 768 18446744073709551615 94453639622656 94453640517189 140727390107168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94453640756240 94453640803984 94453674168320 140727390112097 140727390112226 140727390112226 140727390117828 0
/proc/55035/statm: 1048 768 704 219 0 110 0
[pid=55038] ppid=55035 vsize=1231324 memory=936280 CPUtime=3599.96 cores=1,3
/proc/55038/stat : 55038 (roundingsat) R 55035 55035 54907 0 -1 4194304 68765 0 0 0 358847 1149 0 0 20 0 1 0 55500577 1260875776 234070 18446744073709551615 4227072 8923433 140728099124784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20422656 140728099129700 140728099129896 140728099129896 140728099135466 0
/proc/55038/statm: 307831 234070 2400 1147 0 295258 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1235516 KiB
Current children cumulated memory: 939352 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.8 s]
# the end of solver process 55035 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.033032 s, system=0.013709 s
Sleeping 2 seconds
[startup+3608.82 s]
# the end of solver process 55038 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.52 s, system=11.5258 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): 3608.82
CPU time (s): 3600.05
CPU user time (s): 3588.52
CPU system time (s): 11.5258
CPU usage (%): 99.7569
Max. virtual memory (cumulated for all children) (KiB): 1235516
Max. memory (cumulated for all children) (KiB): 939352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.52
system time used= 11.5258
maximum resident set size= 936536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276
involuntary context switches= 6185
# summary of solver processes directly reported to runsolver:
# pid: 55035,55038
# total CPU time (s): 3600.05
# total CPU user time (s): 3588.52
# total CPU system time (s): 11.5258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23669 second user time and 16.177 second system time
The end
Begin job on nodeC028 at 2025-07-01 21:39:41
IDJOB=4497794
IDBENCH=148193
IDSOLVER=3359
FILE ID=nodeC028/4497794-1751398780
RUNJOBID= nodeC028-1751398701-54922
SLURM_JOB_ID= 9598282
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497794-1751398780/watcher-4497794-1751398780 -o /tmp/evaluation-result-4497794-1751398780/solver-4497794-1751398780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54922 --watchdog 3760 run-opt-break.sh HOME/instance-4497794-1751398780.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1798394137
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.046
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.098
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.084
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.790
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.583
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128774228 kB
MemAvailable: 128805208 kB
Buffers: 3280 kB
Cached: 837532 kB
SwapCached: 0 kB
Active: 1333196 kB
Inactive: 529008 kB
Active(anon): 1039460 kB
Inactive(anon): 0 kB
Active(file): 293736 kB
Inactive(file): 529008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8068 kB
Writeback: 0 kB
AnonPages: 1024396 kB
Mapped: 116840 kB
Shmem: 18068 kB
KReclaimable: 94948 kB
Slab: 180808 kB
SReclaimable: 94948 kB
SUnreclaim: 85860 kB
KernelStack: 4368 kB
PageTables: 5324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1517528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 462848 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432636 MiB
End job on nodeC028 at 2025-07-01 22:39:50