0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.08 c [STEP] solving
0.00/0.08 c #variables 10724 #constraints 2045
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.08 c bounds - >= -363860 @ 0.059442
0.00/0.08 c stratification level: 210
1.48/1.52 c #Conflicts: 1000 | #Constraints: 3044
1.48/1.52 c #Conflicts: 2000 | #Constraints: 4044
1.48/1.52 c INPROCESSING
1.48/1.52 c GARBAGE COLLECT
1.48/1.52 c bounds 9709 >= -330082 @ 0.840217
1.48/1.52 c stratification level: 207
1.57/1.67 c #Conflicts: 3000 | #Constraints: 4021
1.57/1.67 c bounds 9156 >= -325565 @ 0.936152
1.57/1.67 c stratification level: 204
1.67/1.77 c bounds 9156 >= -324350 @ 0.938846
1.67/1.77 c bounds 9156 >= -322235 @ 0.944423
1.67/1.77 c bounds 9156 >= -320141 @ 0.951747
1.67/1.77 c bounds 9156 >= -318849 @ 0.988709
1.67/1.77 c finalizing WCE round: reformulating cores
1.77/1.81 c bounds 8939 >= -318849 @ 1.02473
1.77/1.81 c bounds 8938 >= -318849 @ 1.03104
1.77/1.81 c stratification level: 201
1.88/1.94 c bounds 8938 >= -318648 @ 1.03376
1.88/1.94 c bounds 8938 >= -318447 @ 1.03525
1.88/1.94 c bounds 8938 >= -318246 @ 1.03675
1.88/1.94 c bounds 8938 >= -318045 @ 1.03843
1.88/1.94 c #Conflicts: 4000 | #Constraints: 5048
1.88/1.94 c finalizing WCE round: reformulating cores
6.46/6.56 c INPROCESSING
6.46/6.56 c GARBAGE COLLECT
6.46/6.56 c #Conflicts: 5000 | #Constraints: 4477
6.46/6.56 c bounds 8747 >= -312626 @ 5.01788
6.46/6.56 c bounds 8654 >= -312011 @ 5.54568
6.46/6.56 c stratification level: 198
6.98/7.08 c bounds 8654 >= -311813 @ 5.55002
6.98/7.08 c bounds 8654 >= -311615 @ 5.55317
6.98/7.08 c bounds 8654 >= -311417 @ 5.5566
6.98/7.08 c bounds 8654 >= -311219 @ 5.56011
6.98/7.08 c bounds 8654 >= -311021 @ 5.5635
6.98/7.08 c bounds 8654 >= -310823 @ 5.56873
6.98/7.08 c bounds 8654 >= -310576 @ 5.62255
6.98/7.08 c #Conflicts: 6000 | #Constraints: 5488
6.98/7.08 c finalizing WCE round: reformulating cores
17.63/17.74 c INPROCESSING
17.63/17.74 c GARBAGE COLLECT
17.63/17.74 c #Conflicts: 7000 | #Constraints: 4706
17.63/17.74 c #Conflicts: 8000 | #Constraints: 5708
17.63/17.74 c bounds 8399 >= -308449 @ 14.9358
17.63/17.74 c bounds 8396 >= -308449 @ 16.4527
17.63/17.74 c stratification level: 195
18.81/18.97 c bounds 8396 >= -308254 @ 16.4621
18.81/18.97 c bounds 8396 >= -307409 @ 16.4711
18.81/18.97 c bounds 8396 >= -305020 @ 17.032
18.81/18.97 c #Conflicts: 9000 | #Constraints: 6714
18.81/18.97 c bounds 8396 >= -304825 @ 17.201
18.81/18.97 c bounds 8396 >= -304630 @ 17.5142
18.81/18.97 c finalizing WCE round: reformulating cores
354.39/355.39 c bounds 8273 >= -304630 @ 18.1768
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 10000 | #Constraints: 5655
354.39/355.39 c #Conflicts: 11000 | #Constraints: 6655
354.39/355.39 c #Conflicts: 12000 | #Constraints: 7655
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 13000 | #Constraints: 6220
354.39/355.39 c #Conflicts: 14000 | #Constraints: 7220
354.39/355.39 c #Conflicts: 15000 | #Constraints: 8220
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 16000 | #Constraints: 6531
354.39/355.39 c #Conflicts: 17000 | #Constraints: 7531
354.39/355.39 c #Conflicts: 18000 | #Constraints: 8531
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 19000 | #Constraints: 6606
354.39/355.39 c #Conflicts: 20000 | #Constraints: 7606
354.39/355.39 c #Conflicts: 21000 | #Constraints: 8606
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 22000 | #Constraints: 6474
354.39/355.39 c #Conflicts: 23000 | #Constraints: 7474
354.39/355.39 c #Conflicts: 24000 | #Constraints: 8474
354.39/355.39 c #Conflicts: 25000 | #Constraints: 9474
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 26000 | #Constraints: 7123
354.39/355.39 c #Conflicts: 27000 | #Constraints: 8123
354.39/355.39 c #Conflicts: 28000 | #Constraints: 9123
354.39/355.39 c #Conflicts: 29000 | #Constraints: 10123
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 30000 | #Constraints: 7602
354.39/355.39 c #Conflicts: 31000 | #Constraints: 8602
354.39/355.39 c #Conflicts: 32000 | #Constraints: 9602
354.39/355.39 c #Conflicts: 33000 | #Constraints: 10602
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 34000 | #Constraints: 7800
354.39/355.39 c #Conflicts: 35000 | #Constraints: 8800
354.39/355.39 c #Conflicts: 36000 | #Constraints: 9800
354.39/355.39 c #Conflicts: 37000 | #Constraints: 10800
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 38000 | #Constraints: 7844
354.39/355.39 c #Conflicts: 39000 | #Constraints: 8844
354.39/355.39 c #Conflicts: 40000 | #Constraints: 9844
354.39/355.39 c #Conflicts: 41000 | #Constraints: 10844
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 42000 | #Constraints: 7696
354.39/355.39 c #Conflicts: 43000 | #Constraints: 8696
354.39/355.39 c #Conflicts: 44000 | #Constraints: 9696
354.39/355.39 c #Conflicts: 45000 | #Constraints: 10696
354.39/355.39 c #Conflicts: 46000 | #Constraints: 11696
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 47000 | #Constraints: 8308
354.39/355.39 c #Conflicts: 48000 | #Constraints: 9308
354.39/355.39 c #Conflicts: 49000 | #Constraints: 10308
354.39/355.39 c #Conflicts: 50000 | #Constraints: 11308
354.39/355.39 c #Conflicts: 51000 | #Constraints: 12308
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 52000 | #Constraints: 8735
354.39/355.39 c #Conflicts: 53000 | #Constraints: 9735
354.39/355.39 c #Conflicts: 54000 | #Constraints: 10735
354.39/355.39 c #Conflicts: 55000 | #Constraints: 11735
354.39/355.39 c #Conflicts: 56000 | #Constraints: 12735
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 57000 | #Constraints: 8912
354.39/355.39 c #Conflicts: 58000 | #Constraints: 9912
354.39/355.39 c #Conflicts: 59000 | #Constraints: 10912
354.39/355.39 c #Conflicts: 60000 | #Constraints: 11912
354.39/355.39 c #Conflicts: 61000 | #Constraints: 12912
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 62000 | #Constraints: 8963
354.39/355.39 c #Conflicts: 63000 | #Constraints: 9963
354.39/355.39 c #Conflicts: 64000 | #Constraints: 10963
354.39/355.39 c #Conflicts: 65000 | #Constraints: 11963
354.39/355.39 c #Conflicts: 66000 | #Constraints: 12963
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 67000 | #Constraints: 8799
354.39/355.39 c #Conflicts: 68000 | #Constraints: 9799
354.39/355.39 c #Conflicts: 69000 | #Constraints: 10799
354.39/355.39 c #Conflicts: 70000 | #Constraints: 11799
354.39/355.39 c #Conflicts: 71000 | #Constraints: 12799
354.39/355.39 c #Conflicts: 72000 | #Constraints: 13799
354.39/355.39 c INPROCESSING
354.39/355.39 c GARBAGE COLLECT
354.39/355.39 c #Conflicts: 73000 | #Constraints: 9394
354.39/355.39 c #Conflicts: 74000 | #Constraints: 10394
354.39/355.39 c #Conflicts: 75000 | #Constraints: 11394
354.39/355.39 c #Conflicts: 76000 | #Constraints: 12394
354.39/355.39 c #Conflicts: 77000 | #Constraints: 13394
787.05/789.02 c #Conflicts: 78000 | #Constraints: 14394
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 79000 | #Constraints: 9829
787.05/789.02 c #Conflicts: 80000 | #Constraints: 10829
787.05/789.02 c #Conflicts: 81000 | #Constraints: 11829
787.05/789.02 c #Conflicts: 82000 | #Constraints: 12829
787.05/789.02 c #Conflicts: 83000 | #Constraints: 13829
787.05/789.02 c #Conflicts: 84000 | #Constraints: 14829
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 85000 | #Constraints: 10011
787.05/789.02 c #Conflicts: 86000 | #Constraints: 11011
787.05/789.02 c #Conflicts: 87000 | #Constraints: 12011
787.05/789.02 c #Conflicts: 88000 | #Constraints: 13011
787.05/789.02 c #Conflicts: 89000 | #Constraints: 14011
787.05/789.02 c #Conflicts: 90000 | #Constraints: 15011
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 91000 | #Constraints: 10003
787.05/789.02 c #Conflicts: 92000 | #Constraints: 11003
787.05/789.02 c #Conflicts: 93000 | #Constraints: 12003
787.05/789.02 c #Conflicts: 94000 | #Constraints: 13003
787.05/789.02 c #Conflicts: 95000 | #Constraints: 14003
787.05/789.02 c #Conflicts: 96000 | #Constraints: 15003
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 97000 | #Constraints: 9833
787.05/789.02 c #Conflicts: 98000 | #Constraints: 10833
787.05/789.02 c #Conflicts: 99000 | #Constraints: 11833
787.05/789.02 c #Conflicts: 100000 | #Constraints: 12833
787.05/789.02 c #Conflicts: 101000 | #Constraints: 13833
787.05/789.02 c #Conflicts: 102000 | #Constraints: 14833
787.05/789.02 c #Conflicts: 103000 | #Constraints: 15833
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 104000 | #Constraints: 10433
787.05/789.02 c #Conflicts: 105000 | #Constraints: 11433
787.05/789.02 c #Conflicts: 106000 | #Constraints: 12433
787.05/789.02 c #Conflicts: 107000 | #Constraints: 13433
787.05/789.02 c #Conflicts: 108000 | #Constraints: 14433
787.05/789.02 c #Conflicts: 109000 | #Constraints: 15433
787.05/789.02 c #Conflicts: 110000 | #Constraints: 16433
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 111000 | #Constraints: 10837
787.05/789.02 c #Conflicts: 112000 | #Constraints: 11837
787.05/789.02 c #Conflicts: 113000 | #Constraints: 12837
787.05/789.02 c #Conflicts: 114000 | #Constraints: 13837
787.05/789.02 c #Conflicts: 115000 | #Constraints: 14837
787.05/789.02 c #Conflicts: 116000 | #Constraints: 15837
787.05/789.02 c #Conflicts: 117000 | #Constraints: 16837
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 118000 | #Constraints: 11072
787.05/789.02 c #Conflicts: 119000 | #Constraints: 12072
787.05/789.02 c #Conflicts: 120000 | #Constraints: 13072
787.05/789.02 c #Conflicts: 121000 | #Constraints: 14072
787.05/789.02 c #Conflicts: 122000 | #Constraints: 15072
787.05/789.02 c #Conflicts: 123000 | #Constraints: 16072
787.05/789.02 c #Conflicts: 124000 | #Constraints: 17072
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 125000 | #Constraints: 11079
787.05/789.02 c #Conflicts: 126000 | #Constraints: 12079
787.05/789.02 c #Conflicts: 127000 | #Constraints: 13079
787.05/789.02 c #Conflicts: 128000 | #Constraints: 14079
787.05/789.02 c #Conflicts: 129000 | #Constraints: 15079
787.05/789.02 c #Conflicts: 130000 | #Constraints: 16079
787.05/789.02 c #Conflicts: 131000 | #Constraints: 17079
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 132000 | #Constraints: 10886
787.05/789.02 c #Conflicts: 133000 | #Constraints: 11886
787.05/789.02 c #Conflicts: 134000 | #Constraints: 12886
787.05/789.02 c #Conflicts: 135000 | #Constraints: 13886
787.05/789.02 c #Conflicts: 136000 | #Constraints: 14886
787.05/789.02 c #Conflicts: 137000 | #Constraints: 15886
787.05/789.02 c #Conflicts: 138000 | #Constraints: 16886
787.05/789.02 c #Conflicts: 139000 | #Constraints: 17886
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 140000 | #Constraints: 11526
787.05/789.02 c #Conflicts: 141000 | #Constraints: 12526
787.05/789.02 c #Conflicts: 142000 | #Constraints: 13526
787.05/789.02 c #Conflicts: 143000 | #Constraints: 14526
787.05/789.02 c #Conflicts: 144000 | #Constraints: 15526
787.05/789.02 c #Conflicts: 145000 | #Constraints: 16526
787.05/789.02 c #Conflicts: 146000 | #Constraints: 17526
787.05/789.02 c #Conflicts: 147000 | #Constraints: 18526
787.05/789.02 c INPROCESSING
787.05/789.02 c GARBAGE COLLECT
787.05/789.02 c #Conflicts: 148000 | #Constraints: 11918
787.05/789.02 c #Conflicts: 149000 | #Constraints: 12918
1214.38/1217.41 c #Conflicts: 150000 | #Constraints: 13918
1214.38/1217.41 c #Conflicts: 151000 | #Constraints: 14918
1214.38/1217.41 c #Conflicts: 152000 | #Constraints: 15918
1214.38/1217.41 c #Conflicts: 153000 | #Constraints: 16918
1214.38/1217.41 c #Conflicts: 154000 | #Constraints: 17918
1214.38/1217.41 c #Conflicts: 155000 | #Constraints: 18918
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 156000 | #Constraints: 12125
1214.38/1217.41 c #Conflicts: 157000 | #Constraints: 13125
1214.38/1217.41 c #Conflicts: 158000 | #Constraints: 14125
1214.38/1217.41 c #Conflicts: 159000 | #Constraints: 15125
1214.38/1217.41 c #Conflicts: 160000 | #Constraints: 16125
1214.38/1217.41 c #Conflicts: 161000 | #Constraints: 17125
1214.38/1217.41 c #Conflicts: 162000 | #Constraints: 18125
1214.38/1217.41 c #Conflicts: 163000 | #Constraints: 19125
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 164000 | #Constraints: 12150
1214.38/1217.41 c #Conflicts: 165000 | #Constraints: 13150
1214.38/1217.41 c #Conflicts: 166000 | #Constraints: 14150
1214.38/1217.41 c #Conflicts: 167000 | #Constraints: 15150
1214.38/1217.41 c #Conflicts: 168000 | #Constraints: 16150
1214.38/1217.41 c #Conflicts: 169000 | #Constraints: 17150
1214.38/1217.41 c #Conflicts: 170000 | #Constraints: 18150
1214.38/1217.41 c #Conflicts: 171000 | #Constraints: 19150
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 172000 | #Constraints: 11952
1214.38/1217.41 c #Conflicts: 173000 | #Constraints: 12952
1214.38/1217.41 c #Conflicts: 174000 | #Constraints: 13952
1214.38/1217.41 c #Conflicts: 175000 | #Constraints: 14952
1214.38/1217.41 c #Conflicts: 176000 | #Constraints: 15952
1214.38/1217.41 c #Conflicts: 177000 | #Constraints: 16952
1214.38/1217.41 c #Conflicts: 178000 | #Constraints: 17952
1214.38/1217.41 c #Conflicts: 179000 | #Constraints: 18952
1214.38/1217.41 c #Conflicts: 180000 | #Constraints: 19952
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 181000 | #Constraints: 12582
1214.38/1217.41 c #Conflicts: 182000 | #Constraints: 13582
1214.38/1217.41 c #Conflicts: 183000 | #Constraints: 14582
1214.38/1217.41 c #Conflicts: 184000 | #Constraints: 15582
1214.38/1217.41 c #Conflicts: 185000 | #Constraints: 16582
1214.38/1217.41 c #Conflicts: 186000 | #Constraints: 17582
1214.38/1217.41 c #Conflicts: 187000 | #Constraints: 18582
1214.38/1217.41 c #Conflicts: 188000 | #Constraints: 19582
1214.38/1217.41 c #Conflicts: 189000 | #Constraints: 20582
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 190000 | #Constraints: 12987
1214.38/1217.41 c #Conflicts: 191000 | #Constraints: 13987
1214.38/1217.41 c #Conflicts: 192000 | #Constraints: 14987
1214.38/1217.41 c #Conflicts: 193000 | #Constraints: 15987
1214.38/1217.41 c #Conflicts: 194000 | #Constraints: 16987
1214.38/1217.41 c #Conflicts: 195000 | #Constraints: 17987
1214.38/1217.41 c #Conflicts: 196000 | #Constraints: 18987
1214.38/1217.41 c #Conflicts: 197000 | #Constraints: 19987
1214.38/1217.41 c #Conflicts: 198000 | #Constraints: 20987
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 199000 | #Constraints: 13191
1214.38/1217.41 c #Conflicts: 200000 | #Constraints: 14191
1214.38/1217.41 c #Conflicts: 201000 | #Constraints: 15191
1214.38/1217.41 c #Conflicts: 202000 | #Constraints: 16191
1214.38/1217.41 c #Conflicts: 203000 | #Constraints: 17191
1214.38/1217.41 c #Conflicts: 204000 | #Constraints: 18191
1214.38/1217.41 c #Conflicts: 205000 | #Constraints: 19191
1214.38/1217.41 c #Conflicts: 206000 | #Constraints: 20191
1214.38/1217.41 c #Conflicts: 207000 | #Constraints: 21191
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 208000 | #Constraints: 13220
1214.38/1217.41 c #Conflicts: 209000 | #Constraints: 14220
1214.38/1217.41 c #Conflicts: 210000 | #Constraints: 15220
1214.38/1217.41 c #Conflicts: 211000 | #Constraints: 16220
1214.38/1217.41 c #Conflicts: 212000 | #Constraints: 17220
1214.38/1217.41 c #Conflicts: 213000 | #Constraints: 18220
1214.38/1217.41 c #Conflicts: 214000 | #Constraints: 19220
1214.38/1217.41 c #Conflicts: 215000 | #Constraints: 20220
1214.38/1217.41 c #Conflicts: 216000 | #Constraints: 21220
1214.38/1217.41 c INPROCESSING
1214.38/1217.41 c GARBAGE COLLECT
1214.38/1217.41 c #Conflicts: 217000 | #Constraints: 13012
1214.38/1217.41 c #Conflicts: 218000 | #Constraints: 14012
1214.38/1217.41 c #Conflicts: 219000 | #Constraints: 15012
1214.38/1217.41 c #Conflicts: 220000 | #Constraints: 16012
1214.38/1217.41 c #Conflicts: 221000 | #Constraints: 17012
1214.38/1217.41 c #Conflicts: 222000 | #Constraints: 18012
1214.38/1217.41 c #Conflicts: 223000 | #Constraints: 19012
1791.22/1795.73 c #Conflicts: 224000 | #Constraints: 20012
1791.22/1795.73 c #Conflicts: 225000 | #Constraints: 21012
1791.22/1795.73 c #Conflicts: 226000 | #Constraints: 22012
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 227000 | #Constraints: 13600
1791.22/1795.73 c #Conflicts: 228000 | #Constraints: 14600
1791.22/1795.73 c #Conflicts: 229000 | #Constraints: 15600
1791.22/1795.73 c #Conflicts: 230000 | #Constraints: 16600
1791.22/1795.73 c #Conflicts: 231000 | #Constraints: 17600
1791.22/1795.73 c #Conflicts: 232000 | #Constraints: 18600
1791.22/1795.73 c #Conflicts: 233000 | #Constraints: 19600
1791.22/1795.73 c #Conflicts: 234000 | #Constraints: 20600
1791.22/1795.73 c #Conflicts: 235000 | #Constraints: 21600
1791.22/1795.73 c #Conflicts: 236000 | #Constraints: 22600
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 237000 | #Constraints: 14019
1791.22/1795.73 c #Conflicts: 238000 | #Constraints: 15019
1791.22/1795.73 c #Conflicts: 239000 | #Constraints: 16019
1791.22/1795.73 c #Conflicts: 240000 | #Constraints: 17019
1791.22/1795.73 c #Conflicts: 241000 | #Constraints: 18019
1791.22/1795.73 c #Conflicts: 242000 | #Constraints: 19019
1791.22/1795.73 c #Conflicts: 243000 | #Constraints: 20019
1791.22/1795.73 c #Conflicts: 244000 | #Constraints: 21019
1791.22/1795.73 c #Conflicts: 245000 | #Constraints: 22019
1791.22/1795.73 c #Conflicts: 246000 | #Constraints: 23019
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 247000 | #Constraints: 14238
1791.22/1795.73 c #Conflicts: 248000 | #Constraints: 15238
1791.22/1795.73 c #Conflicts: 249000 | #Constraints: 16238
1791.22/1795.73 c #Conflicts: 250000 | #Constraints: 17238
1791.22/1795.73 c #Conflicts: 251000 | #Constraints: 18238
1791.22/1795.73 c #Conflicts: 252000 | #Constraints: 19238
1791.22/1795.73 c #Conflicts: 253000 | #Constraints: 20238
1791.22/1795.73 c #Conflicts: 254000 | #Constraints: 21238
1791.22/1795.73 c #Conflicts: 255000 | #Constraints: 22238
1791.22/1795.73 c #Conflicts: 256000 | #Constraints: 23238
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 257000 | #Constraints: 14232
1791.22/1795.73 c #Conflicts: 258000 | #Constraints: 15232
1791.22/1795.73 c #Conflicts: 259000 | #Constraints: 16232
1791.22/1795.73 c #Conflicts: 260000 | #Constraints: 17232
1791.22/1795.73 c #Conflicts: 261000 | #Constraints: 18232
1791.22/1795.73 c #Conflicts: 262000 | #Constraints: 19232
1791.22/1795.73 c #Conflicts: 263000 | #Constraints: 20232
1791.22/1795.73 c #Conflicts: 264000 | #Constraints: 21232
1791.22/1795.73 c #Conflicts: 265000 | #Constraints: 22232
1791.22/1795.73 c #Conflicts: 266000 | #Constraints: 23232
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 267000 | #Constraints: 14061
1791.22/1795.73 c #Conflicts: 268000 | #Constraints: 15061
1791.22/1795.73 c #Conflicts: 269000 | #Constraints: 16061
1791.22/1795.73 c #Conflicts: 270000 | #Constraints: 17061
1791.22/1795.73 c #Conflicts: 271000 | #Constraints: 18061
1791.22/1795.73 c #Conflicts: 272000 | #Constraints: 19061
1791.22/1795.73 c #Conflicts: 273000 | #Constraints: 20061
1791.22/1795.73 c #Conflicts: 274000 | #Constraints: 21061
1791.22/1795.73 c #Conflicts: 275000 | #Constraints: 22061
1791.22/1795.73 c #Conflicts: 276000 | #Constraints: 23061
1791.22/1795.73 c #Conflicts: 277000 | #Constraints: 24061
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 278000 | #Constraints: 14685
1791.22/1795.73 c #Conflicts: 279000 | #Constraints: 15685
1791.22/1795.73 c #Conflicts: 280000 | #Constraints: 16685
1791.22/1795.73 c #Conflicts: 281000 | #Constraints: 17685
1791.22/1795.73 c #Conflicts: 282000 | #Constraints: 18685
1791.22/1795.73 c #Conflicts: 283000 | #Constraints: 19685
1791.22/1795.73 c #Conflicts: 284000 | #Constraints: 20685
1791.22/1795.73 c #Conflicts: 285000 | #Constraints: 21685
1791.22/1795.73 c #Conflicts: 286000 | #Constraints: 22685
1791.22/1795.73 c #Conflicts: 287000 | #Constraints: 23685
1791.22/1795.73 c #Conflicts: 288000 | #Constraints: 24685
1791.22/1795.73 c INPROCESSING
1791.22/1795.73 c GARBAGE COLLECT
1791.22/1795.73 c #Conflicts: 289000 | #Constraints: 15040
1791.22/1795.73 c #Conflicts: 290000 | #Constraints: 16040
1791.22/1795.73 c #Conflicts: 291000 | #Constraints: 17040
1791.22/1795.73 c #Conflicts: 292000 | #Constraints: 18040
1791.22/1795.73 c #Conflicts: 293000 | #Constraints: 19040
1791.22/1795.73 c #Conflicts: 294000 | #Constraints: 20040
1791.22/1795.73 c #Conflicts: 295000 | #Constraints: 21040
1791.22/1795.73 c #Conflicts: 296000 | #Constraints: 22040
1791.22/1795.73 c #Conflicts: 297000 | #Constraints: 23040
2360.83/2366.82 c #Conflicts: 298000 | #Constraints: 24040
2360.83/2366.82 c #Conflicts: 299000 | #Constraints: 25040
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 300000 | #Constraints: 15249
2360.83/2366.82 c #Conflicts: 301000 | #Constraints: 16249
2360.83/2366.82 c #Conflicts: 302000 | #Constraints: 17249
2360.83/2366.82 c #Conflicts: 303000 | #Constraints: 18249
2360.83/2366.82 c #Conflicts: 304000 | #Constraints: 19249
2360.83/2366.82 c #Conflicts: 305000 | #Constraints: 20249
2360.83/2366.82 c #Conflicts: 306000 | #Constraints: 21249
2360.83/2366.82 c #Conflicts: 307000 | #Constraints: 22249
2360.83/2366.82 c #Conflicts: 308000 | #Constraints: 23249
2360.83/2366.82 c #Conflicts: 309000 | #Constraints: 24249
2360.83/2366.82 c #Conflicts: 310000 | #Constraints: 25249
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 311000 | #Constraints: 15257
2360.83/2366.82 c #Conflicts: 312000 | #Constraints: 16257
2360.83/2366.82 c #Conflicts: 313000 | #Constraints: 17257
2360.83/2366.82 c #Conflicts: 314000 | #Constraints: 18257
2360.83/2366.82 c #Conflicts: 315000 | #Constraints: 19257
2360.83/2366.82 c #Conflicts: 316000 | #Constraints: 20257
2360.83/2366.82 c #Conflicts: 317000 | #Constraints: 21257
2360.83/2366.82 c #Conflicts: 318000 | #Constraints: 22257
2360.83/2366.82 c #Conflicts: 319000 | #Constraints: 23257
2360.83/2366.82 c #Conflicts: 320000 | #Constraints: 24257
2360.83/2366.82 c #Conflicts: 321000 | #Constraints: 25257
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 322000 | #Constraints: 15054
2360.83/2366.82 c #Conflicts: 323000 | #Constraints: 16054
2360.83/2366.82 c #Conflicts: 324000 | #Constraints: 17054
2360.83/2366.82 c #Conflicts: 325000 | #Constraints: 18054
2360.83/2366.82 c #Conflicts: 326000 | #Constraints: 19054
2360.83/2366.82 c #Conflicts: 327000 | #Constraints: 20054
2360.83/2366.82 c #Conflicts: 328000 | #Constraints: 21054
2360.83/2366.82 c #Conflicts: 329000 | #Constraints: 22054
2360.83/2366.82 c #Conflicts: 330000 | #Constraints: 23054
2360.83/2366.82 c #Conflicts: 331000 | #Constraints: 24054
2360.83/2366.82 c #Conflicts: 332000 | #Constraints: 25054
2360.83/2366.82 c #Conflicts: 333000 | #Constraints: 26054
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 334000 | #Constraints: 15654
2360.83/2366.82 c #Conflicts: 335000 | #Constraints: 16654
2360.83/2366.82 c #Conflicts: 336000 | #Constraints: 17654
2360.83/2366.82 c #Conflicts: 337000 | #Constraints: 18654
2360.83/2366.82 c #Conflicts: 338000 | #Constraints: 19654
2360.83/2366.82 c #Conflicts: 339000 | #Constraints: 20654
2360.83/2366.82 c #Conflicts: 340000 | #Constraints: 21654
2360.83/2366.82 c #Conflicts: 341000 | #Constraints: 22654
2360.83/2366.82 c #Conflicts: 342000 | #Constraints: 23654
2360.83/2366.82 c #Conflicts: 343000 | #Constraints: 24654
2360.83/2366.82 c #Conflicts: 344000 | #Constraints: 25654
2360.83/2366.82 c #Conflicts: 345000 | #Constraints: 26654
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 346000 | #Constraints: 16043
2360.83/2366.82 c #Conflicts: 347000 | #Constraints: 17043
2360.83/2366.82 c #Conflicts: 348000 | #Constraints: 18043
2360.83/2366.82 c #Conflicts: 349000 | #Constraints: 19043
2360.83/2366.82 c #Conflicts: 350000 | #Constraints: 20043
2360.83/2366.82 c #Conflicts: 351000 | #Constraints: 21043
2360.83/2366.82 c #Conflicts: 352000 | #Constraints: 22043
2360.83/2366.82 c #Conflicts: 353000 | #Constraints: 23043
2360.83/2366.82 c #Conflicts: 354000 | #Constraints: 24043
2360.83/2366.82 c #Conflicts: 355000 | #Constraints: 25043
2360.83/2366.82 c #Conflicts: 356000 | #Constraints: 26043
2360.83/2366.82 c #Conflicts: 357000 | #Constraints: 27043
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 358000 | #Constraints: 16248
2360.83/2366.82 c #Conflicts: 359000 | #Constraints: 17248
2360.83/2366.82 c #Conflicts: 360000 | #Constraints: 18248
2360.83/2366.82 c #Conflicts: 361000 | #Constraints: 19248
2360.83/2366.82 c #Conflicts: 362000 | #Constraints: 20248
2360.83/2366.82 c #Conflicts: 363000 | #Constraints: 21248
2360.83/2366.82 c #Conflicts: 364000 | #Constraints: 22248
2360.83/2366.82 c #Conflicts: 365000 | #Constraints: 23248
2360.83/2366.82 c #Conflicts: 366000 | #Constraints: 24248
2360.83/2366.82 c #Conflicts: 367000 | #Constraints: 25248
2360.83/2366.82 c #Conflicts: 368000 | #Constraints: 26248
2360.83/2366.82 c #Conflicts: 369000 | #Constraints: 27248
2360.83/2366.82 c INPROCESSING
2360.83/2366.82 c GARBAGE COLLECT
2360.83/2366.82 c #Conflicts: 370000 | #Constraints: 16272
2360.83/2366.82 c #Conflicts: 371000 | #Constraints: 17272
2360.83/2366.82 c #Conflicts: 372000 | #Constraints: 18272
2842.08/2849.30 c #Conflicts: 373000 | #Constraints: 19272
2842.08/2849.30 c #Conflicts: 374000 | #Constraints: 20272
2842.08/2849.30 c #Conflicts: 375000 | #Constraints: 21272
2842.08/2849.30 c #Conflicts: 376000 | #Constraints: 22272
2842.08/2849.30 c #Conflicts: 377000 | #Constraints: 23272
2842.08/2849.30 c #Conflicts: 378000 | #Constraints: 24272
2842.08/2849.30 c #Conflicts: 379000 | #Constraints: 25272
2842.08/2849.30 c #Conflicts: 380000 | #Constraints: 26272
2842.08/2849.30 c #Conflicts: 381000 | #Constraints: 27272
2842.08/2849.30 c INPROCESSING
2842.08/2849.30 c GARBAGE COLLECT
2842.08/2849.30 c #Conflicts: 382000 | #Constraints: 16064
2842.08/2849.30 c #Conflicts: 383000 | #Constraints: 17064
2842.08/2849.30 c #Conflicts: 384000 | #Constraints: 18064
2842.08/2849.30 c #Conflicts: 385000 | #Constraints: 19064
2842.08/2849.30 c #Conflicts: 386000 | #Constraints: 20064
2842.08/2849.30 c #Conflicts: 387000 | #Constraints: 21064
2842.08/2849.30 c #Conflicts: 388000 | #Constraints: 22064
2842.08/2849.30 c #Conflicts: 389000 | #Constraints: 23064
2842.08/2849.30 c #Conflicts: 390000 | #Constraints: 24064
2842.08/2849.30 c #Conflicts: 391000 | #Constraints: 25064
2842.08/2849.30 c #Conflicts: 392000 | #Constraints: 26064
2842.08/2849.30 c #Conflicts: 393000 | #Constraints: 27064
2842.08/2849.30 c #Conflicts: 394000 | #Constraints: 28064
2842.08/2849.30 c INPROCESSING
2842.08/2849.30 c GARBAGE COLLECT
2842.08/2849.30 c #Conflicts: 395000 | #Constraints: 16705
2842.08/2849.30 c #Conflicts: 396000 | #Constraints: 17705
2842.08/2849.30 c #Conflicts: 397000 | #Constraints: 18705
2842.08/2849.30 c #Conflicts: 398000 | #Constraints: 19705
2842.08/2849.30 c #Conflicts: 399000 | #Constraints: 20705
2842.08/2849.30 c #Conflicts: 400000 | #Constraints: 21705
2842.08/2849.30 c #Conflicts: 401000 | #Constraints: 22705
2842.08/2849.30 c #Conflicts: 402000 | #Constraints: 23705
2842.08/2849.30 c #Conflicts: 403000 | #Constraints: 24705
2842.08/2849.30 c #Conflicts: 404000 | #Constraints: 25705
2842.08/2849.30 c #Conflicts: 405000 | #Constraints: 26705
2842.08/2849.30 c #Conflicts: 406000 | #Constraints: 27705
2842.08/2849.30 c #Conflicts: 407000 | #Constraints: 28705
2842.08/2849.30 c INPROCESSING
2842.08/2849.30 c GARBAGE COLLECT
2842.08/2849.30 c #Conflicts: 408000 | #Constraints: 17075
2842.08/2849.30 c #Conflicts: 409000 | #Constraints: 18075
2842.08/2849.30 c #Conflicts: 410000 | #Constraints: 19075
2842.08/2849.30 c #Conflicts: 411000 | #Constraints: 20075
2842.08/2849.30 c #Conflicts: 412000 | #Constraints: 21075
2842.08/2849.30 c #Conflicts: 413000 | #Constraints: 22075
2842.08/2849.30 c #Conflicts: 414000 | #Constraints: 23075
2842.08/2849.30 c #Conflicts: 415000 | #Constraints: 24075
2842.08/2849.30 c #Conflicts: 416000 | #Constraints: 25075
2842.08/2849.30 c #Conflicts: 417000 | #Constraints: 26075
2842.08/2849.30 c #Conflicts: 418000 | #Constraints: 27075
2842.08/2849.30 c #Conflicts: 419000 | #Constraints: 28075
2842.08/2849.30 c #Conflicts: 420000 | #Constraints: 29075
2842.08/2849.30 c INPROCESSING
2842.08/2849.30 c GARBAGE COLLECT
2842.08/2849.30 c #Conflicts: 421000 | #Constraints: 17308
2842.08/2849.30 c #Conflicts: 422000 | #Constraints: 18308
2842.08/2849.30 c #Conflicts: 423000 | #Constraints: 19308
2842.08/2849.30 c #Conflicts: 424000 | #Constraints: 20308
2842.08/2849.30 c #Conflicts: 425000 | #Constraints: 21308
2842.08/2849.30 c #Conflicts: 426000 | #Constraints: 22308
2842.08/2849.30 c #Conflicts: 427000 | #Constraints: 23308
2842.08/2849.30 c #Conflicts: 428000 | #Constraints: 24308
2842.08/2849.30 c #Conflicts: 429000 | #Constraints: 25308
2842.08/2849.30 c #Conflicts: 430000 | #Constraints: 26308
2842.08/2849.30 c #Conflicts: 431000 | #Constraints: 27308
2842.08/2849.30 c #Conflicts: 432000 | #Constraints: 28308
2842.08/2849.30 c #Conflicts: 433000 | #Constraints: 29308
2842.08/2849.30 c INPROCESSING
2842.08/2849.30 c GARBAGE COLLECT
2842.08/2849.30 c #Conflicts: 434000 | #Constraints: 17319
2842.08/2849.30 c #Conflicts: 435000 | #Constraints: 18319
2842.08/2849.30 c #Conflicts: 436000 | #Constraints: 19319
2842.08/2849.30 c #Conflicts: 437000 | #Constraints: 20319
2842.08/2849.30 c #Conflicts: 438000 | #Constraints: 21319
2842.08/2849.30 c #Conflicts: 439000 | #Constraints: 22319
2842.08/2849.30 c #Conflicts: 440000 | #Constraints: 23319
2842.08/2849.30 c #Conflicts: 441000 | #Constraints: 24319
2842.08/2849.30 c #Conflicts: 442000 | #Constraints: 25319
2842.08/2849.30 c #Conflicts: 443000 | #Constraints: 26319
2842.08/2849.30 c #Conflicts: 444000 | #Constraints: 27319
2842.08/2849.30 c #Conflicts: 445000 | #Constraints: 28319
2842.08/2849.30 c #Conflicts: 446000 | #Constraints: 29319
2842.08/2849.30 c INPROCESSING
2842.08/2849.30 c GARBAGE COLLECT
2842.08/2849.30 c #Conflicts: 447000 | #Constraints: 17133
3351.43/3359.93 c #Conflicts: 448000 | #Constraints: 18133
3351.43/3359.93 c #Conflicts: 449000 | #Constraints: 19133
3351.43/3359.93 c #Conflicts: 450000 | #Constraints: 20133
3351.43/3359.93 c #Conflicts: 451000 | #Constraints: 21133
3351.43/3359.93 c #Conflicts: 452000 | #Constraints: 22133
3351.43/3359.93 c #Conflicts: 453000 | #Constraints: 23133
3351.43/3359.93 c #Conflicts: 454000 | #Constraints: 24133
3351.43/3359.93 c #Conflicts: 455000 | #Constraints: 25133
3351.43/3359.93 c #Conflicts: 456000 | #Constraints: 26133
3351.43/3359.93 c #Conflicts: 457000 | #Constraints: 27133
3351.43/3359.93 c #Conflicts: 458000 | #Constraints: 28133
3351.43/3359.93 c #Conflicts: 459000 | #Constraints: 29133
3351.43/3359.93 c #Conflicts: 460000 | #Constraints: 30133
3351.43/3359.93 c INPROCESSING
3351.43/3359.93 c GARBAGE COLLECT
3351.43/3359.93 c #Conflicts: 461000 | #Constraints: 17722
3351.43/3359.93 c #Conflicts: 462000 | #Constraints: 18722
3351.43/3359.93 c #Conflicts: 463000 | #Constraints: 19722
3351.43/3359.93 c #Conflicts: 464000 | #Constraints: 20722
3351.43/3359.93 c #Conflicts: 465000 | #Constraints: 21722
3351.43/3359.93 c #Conflicts: 466000 | #Constraints: 22722
3351.43/3359.93 c #Conflicts: 467000 | #Constraints: 23722
3351.43/3359.93 c #Conflicts: 468000 | #Constraints: 24722
3351.43/3359.93 c #Conflicts: 469000 | #Constraints: 25722
3351.43/3359.93 c #Conflicts: 470000 | #Constraints: 26722
3351.43/3359.93 c #Conflicts: 471000 | #Constraints: 27722
3351.43/3359.93 c #Conflicts: 472000 | #Constraints: 28722
3351.43/3359.93 c #Conflicts: 473000 | #Constraints: 29722
3351.43/3359.93 c #Conflicts: 474000 | #Constraints: 30722
3351.43/3359.93 c INPROCESSING
3351.43/3359.93 c GARBAGE COLLECT
3351.43/3359.93 c #Conflicts: 475000 | #Constraints: 18121
3351.43/3359.93 c #Conflicts: 476000 | #Constraints: 19121
3351.43/3359.93 c #Conflicts: 477000 | #Constraints: 20121
3351.43/3359.93 c #Conflicts: 478000 | #Constraints: 21121
3351.43/3359.93 c #Conflicts: 479000 | #Constraints: 22121
3351.43/3359.93 c #Conflicts: 480000 | #Constraints: 23121
3351.43/3359.93 c #Conflicts: 481000 | #Constraints: 24121
3351.43/3359.93 c #Conflicts: 482000 | #Constraints: 25121
3351.43/3359.93 c #Conflicts: 483000 | #Constraints: 26121
3351.43/3359.93 c #Conflicts: 484000 | #Constraints: 27121
3351.43/3359.93 c #Conflicts: 485000 | #Constraints: 28121
3351.43/3359.93 c #Conflicts: 486000 | #Constraints: 29121
3351.43/3359.93 c #Conflicts: 487000 | #Constraints: 30121
3351.43/3359.93 c #Conflicts: 488000 | #Constraints: 31121
3351.43/3359.93 c INPROCESSING
3351.43/3359.93 c GARBAGE COLLECT
3351.43/3359.93 c #Conflicts: 489000 | #Constraints: 18341
3351.43/3359.93 c #Conflicts: 490000 | #Constraints: 19341
3351.43/3359.93 c #Conflicts: 491000 | #Constraints: 20341
3351.43/3359.93 c #Conflicts: 492000 | #Constraints: 21341
3351.43/3359.93 c #Conflicts: 493000 | #Constraints: 22341
3351.43/3359.93 c #Conflicts: 494000 | #Constraints: 23341
3351.43/3359.93 c #Conflicts: 495000 | #Constraints: 24341
3351.43/3359.93 c #Conflicts: 496000 | #Constraints: 25341
3351.43/3359.93 c #Conflicts: 497000 | #Constraints: 26341
3351.43/3359.93 c #Conflicts: 498000 | #Constraints: 27341
3351.43/3359.93 c #Conflicts: 499000 | #Constraints: 28341
3351.43/3359.93 c #Conflicts: 500000 | #Constraints: 29341
3351.43/3359.93 c #Conflicts: 501000 | #Constraints: 30341
3351.43/3359.93 c #Conflicts: 502000 | #Constraints: 31341
3351.43/3359.93 c INPROCESSING
3351.43/3359.93 c GARBAGE COLLECT
3351.43/3359.93 c #Conflicts: 503000 | #Constraints: 18329
3351.43/3359.93 c #Conflicts: 504000 | #Constraints: 19329
3351.43/3359.93 c #Conflicts: 505000 | #Constraints: 20329
3351.43/3359.93 c #Conflicts: 506000 | #Constraints: 21329
3351.43/3359.93 c #Conflicts: 507000 | #Constraints: 22329
3351.43/3359.93 c #Conflicts: 508000 | #Constraints: 23329
3351.43/3359.93 c #Conflicts: 509000 | #Constraints: 24329
3351.43/3359.93 c #Conflicts: 510000 | #Constraints: 25329
3351.43/3359.93 c #Conflicts: 511000 | #Constraints: 26329
3351.43/3359.93 c #Conflicts: 512000 | #Constraints: 27329
3351.43/3359.93 c #Conflicts: 513000 | #Constraints: 28329
3351.43/3359.93 c #Conflicts: 514000 | #Constraints: 29329
3351.43/3359.93 c #Conflicts: 515000 | #Constraints: 30329
3351.43/3359.93 c #Conflicts: 516000 | #Constraints: 31329
3351.43/3359.93 c INPROCESSING
3351.43/3359.93 c GARBAGE COLLECT
3351.43/3359.93 c #Conflicts: 517000 | #Constraints: 18125
3351.43/3359.93 c #Conflicts: 518000 | #Constraints: 19125
3351.43/3359.93 c #Conflicts: 519000 | #Constraints: 20125
3351.43/3359.93 c #Conflicts: 520000 | #Constraints: 21125
3351.43/3359.93 c #Conflicts: 521000 | #Constraints: 22125
3351.43/3359.93 c #Conflicts: 522000 | #Constraints: 23125
3600.07/3609.20 c #Conflicts: 523000 | #Constraints: 24125
3600.07/3609.20 c #Conflicts: 524000 | #Constraints: 25125
3600.07/3609.20 c #Conflicts: 525000 | #Constraints: 26125
3600.07/3609.20 c #Conflicts: 526000 | #Constraints: 27125
3600.07/3609.20 c #Conflicts: 527000 | #Constraints: 28125
3600.07/3609.20 c #Conflicts: 528000 | #Constraints: 29125
3600.07/3609.20 c #Conflicts: 529000 | #Constraints: 30125
3600.07/3609.20 c #Conflicts: 530000 | #Constraints: 31125
3600.07/3609.20 c #Conflicts: 531000 | #Constraints: 32125
3600.07/3609.20 c INPROCESSING
3600.07/3609.20 c GARBAGE COLLECT
3600.07/3609.20 c #Conflicts: 532000 | #Constraints: 18699
3600.07/3609.20 c #Conflicts: 533000 | #Constraints: 19699
3600.07/3609.20 c #Conflicts: 534000 | #Constraints: 20699
3600.07/3609.20 c #Conflicts: 535000 | #Constraints: 21699
3600.07/3609.20 c #Conflicts: 536000 | #Constraints: 22699
3600.07/3609.20 c #Conflicts: 537000 | #Constraints: 23699
3600.07/3609.20 c #Conflicts: 538000 | #Constraints: 24699
3600.07/3609.20 c #Conflicts: 539000 | #Constraints: 25699
3600.07/3609.20 c #Conflicts: 540000 | #Constraints: 26699
3600.07/3609.20 c #Conflicts: 541000 | #Constraints: 27699
3600.07/3609.20 c #Conflicts: 542000 | #Constraints: 28699
3600.07/3609.20 c #Conflicts: 543000 | #Constraints: 29699
3600.07/3609.20 c #Conflicts: 544000 | #Constraints: 30699
3600.07/3609.20 c #Conflicts: 545000 | #Constraints: 31699
3600.07/3609.20 c #Conflicts: 546000 | #Constraints: 32699
3600.07/3609.20 c INPROCESSING
3600.07/3609.20 c GARBAGE COLLECT
3600.07/3609.20 c #Conflicts: 547000 | #Constraints: 19111
3600.07/3609.20 c #Conflicts: 548000 | #Constraints: 20111
3600.07/3609.20 c #Conflicts: 549000 | #Constraints: 21111
3600.07/3609.20 c #Conflicts: 550000 | #Constraints: 22111
3600.07/3609.20 c Program interrupted by user.
3600.07/3609.20 c cpu time 3587.79 s
3600.07/3609.20 c deterministic time 561780931891 5.62e+11
3600.07/3609.20 c optimization time 33.9694 s
3600.07/3609.20 c total solve time 3553.76 s
3600.07/3609.20 c core-guided solve time 3553.76 s
3600.07/3609.20 c propagation time 2421.12 s
3600.07/3609.20 c conflict analysis time 711.724 s
3600.07/3609.20 c propagations 31859511
3600.07/3609.20 c resolve steps 2140732
3600.07/3609.20 c decisions 7998031
3600.07/3609.20 c conflicts 550419
3600.07/3609.20 c restarts 1148
3600.07/3609.20 c inprocessing phases 65
3600.07/3609.20 c input clauses 528
3600.07/3609.20 c input cardinalities 1139
3600.07/3609.20 c input general constraints 462
3600.07/3609.20 c input average constraint length 193.56
3600.07/3609.20 c input average constraint degree 6223.92
3600.07/3609.20 c learned clauses 168766
3600.07/3609.20 c learned cardinalities 1156
3600.07/3609.20 c learned general constraints 380503
3600.07/3609.20 c learned average constraint length 5413.85
3600.07/3609.20 c learned average constraint degree 311491030.11
3600.07/3609.20 c watched constraints 161763
3600.07/3609.20 c counting constraints 219202
3600.07/3609.20 c gcd simplifications 18778
3600.07/3609.20 c detected cardinalities 253
3600.07/3609.20 c weakened non-implied lits 535814707
3600.07/3609.20 c weakened non-implying lits 136677
3600.07/3609.20 c original variables 10724
3600.07/3609.20 c clausal propagations 1137743
3600.07/3609.20 c cardinality propagations 7047801
3600.07/3609.20 c watched propagations 682668
3600.07/3609.20 c counting propagations 22504374
3600.07/3609.20 c watch lookups 36379669629
3600.07/3609.20 c watch backjump lookups 36134171792
3600.07/3609.20 c watch checks 216823768520
3600.07/3609.20 c propagation checks 264218987467
3600.07/3609.20 c constraint additions 8144079449
3600.07/3609.20 c trail pops 40397491
3600.07/3609.20 c formula constraints 2045
3600.07/3609.20 c learned constraints 550425
3600.07/3609.20 c bound constraints 44
3600.07/3609.20 c core-guided constraints 40
3600.07/3609.20 c encountered formula constraints 875253
3600.07/3609.20 c encountered learned constraints 1812146
3600.07/3609.20 c encountered bound constraints 2997
3600.07/3609.20 c encountered core-guided constraints 755
3600.07/3609.20 c LP total time 0 s
3600.07/3609.20 c LP solve time 0 s
3600.07/3609.20 c LP constraints added 0
3600.07/3609.20 c LP constraints removed 0
3600.07/3609.20 c LP pivots internal 0
3600.07/3609.20 c LP pivots root 0
3600.07/3609.20 c LP calls 0
3600.07/3609.20 c LP optimalities 0
3600.07/3609.20 c LP no pivot count 0
3600.07/3609.20 c LP infeasibilities 0
3600.07/3609.20 c LP valid Farkas constraints 0
3600.07/3609.20 c LP learned Farkas constraints 0
3600.07/3609.20 c LP basis resets 0
3600.07/3609.20 c LP cycling count 0
3600.07/3609.20 c LP singular count 0
3600.07/3609.20 c LP no primal count 0
3600.07/3609.20 c LP no farkas count 0
3600.07/3609.20 c LP other issue count 0
3600.07/3609.20 c LP Gomory cuts 0
3600.07/3609.20 c LP learned cuts 0
3600.07/3609.20 c LP deleted cuts 0
3600.07/3609.20 c LP encountered Gomory constraints 0
3600.07/3609.20 c LP encountered Farkas constraints 0
3600.07/3609.20 c LP encountered learned Farkas constraints 0
3600.07/3609.20 c CG auxiliary variables introduced 20
3600.07/3609.20 c CG solutions found 9
3600.07/3609.20 c CG cores constructed 20
3600.07/3609.20 c CG core cardinality constraints returned 0
3600.07/3609.20 c CG unit cores 0
3600.07/3609.20 c CG single cores 20
3600.07/3609.20 c CG blocks removed during cardinality reduction 0
3600.07/3609.20 c CG first core best 0
3600.07/3609.20 c CG decision core best 0
3600.07/3609.20 c CG core reduction tie 0
3600.07/3609.20 c CG core degree average 1.00
3600.07/3609.20 c CG core slack average 4.65
3600.07/3609.20 c CG exhausted 0
3600.07/3609.20 c CG exhaust time 13.3439 s
3600.07/3609.20 c CG trimmed 0
3600.07/3609.20 c CG trim time 0.002473 s
3600.07/3609.20 c CG minimized 0
3600.07/3609.20 c CG minimize time 0 s
3600.07/3609.20 c CG am1 prop time 0.002325 s
3600.07/3609.20 c CG # am1s reformulated 0
3600.07/3609.20 c CG lower bound derived from am1s 0
3600.07/3609.20 c CG # clausal cores 20
3600.07/3609.20 c CG # cardinality cores 0
3600.07/3609.20 c CG # pb cores 0
3600.07/3609.20 c CG # pb reforms 20
3600.07/3609.20 c CG # cores discarded because of pb reform 0
3600.07/3609.20 d LOWERBOUND -304630
3600.07/3609.20 d NCORES 20
3600.07/3609.20 d NPBCORES 0
3600.07/3609.20 d NPBREFORM 20
3600.07/3609.20 d NTRIMMED 0
3600.07/3609.20 d NEXHAUSTED 0
3600.07/3609.20 d NAM1S 0
3600.07/3609.20 d AM1LB 0
3600.07/3609.20 o 8273
3600.07/3609.20 s SATISFIABLE
3600.07/3609.20 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 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 x9127 -x9128 -x9129 -x9130 -x9131 x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 x9336 -x9337 -x9338 x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 x9416 -x9417 -x9418 -x9419 -x9420 -x9421 x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 x9466 -x9467 x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 x9640 -x9641 -x9642 -x9643 -x9644 x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 x9742 -x9743 -x9744 -x9745 -x9746 x9747 -x9748 -x9749 -x9750 -x9751 x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 x9835 x9836 x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 x10008 x10009 -x10010 -x10011 -x10012 x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 x10281 -x10282 -x10283 x10284 -x10285 -x10286 -x10287 -x10288 x10289 -x10290 -x10291 -x10292 x10293 -x10294 x10295 -x10296 -x10297 -x10298 -x10299 x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 -x10581 x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 x10686 -x10687 -x10688 x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724
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: 63837 MiB (62780 MiB free)
memory of node 1: 64465 MiB (60542 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522040-1751583092/watcher-4522040-1751583092 -o /tmp/evaluation-result-4522040-1751583092/solver-4522040-1751583092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84439 --watchdog 3760 pb-oll-rs HOME/instance-4522040-1751583092.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86027, runsolver pid=86024
[startup+0.100066 s]*
/proc/loadavg: 4.28 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126280456/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=24108 memory=10016 CPUtime=0.09 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 1770 0 0 0 7 2 0 0 20 0 1 0 73988430 24686592 2504 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 6027 2504 1312 243 0 2276 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 10016 KiB
[startup+0.212946 s]*
/proc/loadavg: 4.28 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126280456/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=24108 memory=10144 CPUtime=0.2 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 1803 0 0 0 12 8 0 0 20 0 1 0 73988430 24686592 2536 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 6027 2536 1312 243 0 2276 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 10144 KiB
[startup+0.312876 s]*
/proc/loadavg: 4.28 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126279448/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=24108 memory=10144 CPUtime=0.3 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 1816 0 0 0 18 12 0 0 20 0 1 0 73988430 24686592 2536 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 6027 2536 1312 243 0 2276 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 10144 KiB
[startup+0.700304 s]
/proc/loadavg: 4.28 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126279448/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=24372 memory=10528 CPUtime=0.67 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 1916 0 0 0 39 28 0 0 20 0 1 0 73988430 24956928 2632 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 6093 2632 1312 243 0 2342 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24372 KiB
Current children cumulated memory: 10528 KiB
[startup+1.50029 s]
/proc/loadavg: 4.28 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126279448/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=24776 memory=11168 CPUtime=1.48 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 2070 0 0 0 83 65 0 0 20 0 1 0 73988430 25370624 2792 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 6194 2792 1312 243 0 2443 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 24776 KiB
Current children cumulated memory: 11168 KiB
[startup+3.11301 s]
/proc/loadavg: 4.28 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126254876/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=52120 memory=38912 CPUtime=3.08 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 6595 0 0 0 223 85 0 0 20 0 1 0 73988430 53370880 9728 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 13030 9728 1312 243 0 9279 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52120 KiB
Current children cumulated memory: 38912 KiB
[startup+6.30032 s]
/proc/loadavg: 4.26 4.23 4.14 5/251 86028
/proc/meminfo: memFree=126174480/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=111140 memory=98132 CPUtime=6.26 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 14752 0 0 0 530 96 0 0 20 0 1 0 73988430 113807360 24533 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 27785 24533 1312 243 0 24034 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 111140 KiB
Current children cumulated memory: 98132 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.22 4.14 5/251 86028
/proc/meminfo: memFree=126144608/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=147512 memory=126304 CPUtime=12.64 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 16705 0 0 0 1155 109 0 0 20 0 1 0 73988430 151052288 31576 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 36878 31576 1312 243 0 33127 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147512 KiB
Current children cumulated memory: 126304 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126406172/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=230092 memory=181676 CPUtime=25.4 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 25424 0 0 0 2396 144 0 0 20 0 1 0 73988430 235614208 45419 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 57523 45419 1312 243 0 53772 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 230092 KiB
Current children cumulated memory: 181676 KiB
[startup+51.1128 s]
/proc/loadavg: 4.20 4.21 4.14 5/251 86074
/proc/meminfo: memFree=126295736/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=251072 memory=229012 CPUtime=50.94 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 30606 0 0 0 4912 182 0 0 20 0 1 0 73988430 257097728 57253 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 62768 57253 1312 243 0 59017 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 251072 KiB
Current children cumulated memory: 229012 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/250 86075
/proc/meminfo: memFree=126112172/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=391968 memory=305800 CPUtime=102.01 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 44210 0 0 0 9960 241 0 0 20 0 1 0 73988430 401375232 76450 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 97992 76450 1312 243 0 94241 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 391968 KiB
Current children cumulated memory: 305800 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/251 86078
/proc/meminfo: memFree=125903668/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=511392 memory=465024 CPUtime=161.87 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 68225 0 0 0 15901 286 0 0 20 0 1 0 73988430 523665408 116256 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 127848 116256 1312 243 0 124097 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 511392 KiB
Current children cumulated memory: 465024 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/250 86084
/proc/meminfo: memFree=125813340/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=644620 memory=488092 CPUtime=221.72 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 69924 0 0 0 21849 323 0 0 20 0 1 0 73988430 660090880 122023 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 161155 122023 1312 243 0 157404 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 644620 KiB
Current children cumulated memory: 488092 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.19 4.14 5/250 86086
/proc/meminfo: memFree=125735056/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=646176 memory=520984 CPUtime=281.57 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 72500 0 0 0 27798 359 0 0 20 0 1 0 73988430 661684224 130246 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 161544 130246 1312 243 0 157793 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 646176 KiB
Current children cumulated memory: 520984 KiB
[startup+342.3 s]
/proc/loadavg: 4.71 4.34 4.19 5/250 86088
/proc/meminfo: memFree=125660988/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=646652 memory=527528 CPUtime=341.43 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 72630 0 0 0 33747 396 0 0 20 0 1 0 73988430 662171648 131882 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 161663 131882 1312 243 0 157912 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 646652 KiB
Current children cumulated memory: 527528 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.32 4.19 5/251 86093
/proc/meminfo: memFree=125585296/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=674944 memory=570796 CPUtime=401.28 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 77317 0 0 0 39703 425 0 0 20 0 1 0 73988430 691142656 142699 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 168736 142699 1312 243 0 164985 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 674944 KiB
Current children cumulated memory: 570796 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.26 4.18 5/251 86095
/proc/meminfo: memFree=125505660/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=689480 memory=601076 CPUtime=461.13 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 79799 0 0 0 45668 445 0 0 20 0 1 0 73988430 706027520 150269 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 172370 150269 1312 243 0 168619 0
################
# More data... #
################
Current children cumulated memory: 1753732 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.14 4.18 6/250 86225
/proc/meminfo: memFree=123254436/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1965864 memory=1753732 CPUtime=2855.05 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 214500 0 0 0 284376 1129 0 0 20 0 1 0 73988430 2013044736 438433 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 491466 438433 1312 243 0 487715 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 1965864 KiB
Current children cumulated memory: 1753732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.18 5/250 86227
/proc/meminfo: memFree=123215436/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1965864 memory=1764004 CPUtime=2914.91 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 214850 0 0 0 290357 1134 0 0 20 0 1 0 73988430 2013044736 441001 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 491466 441001 1312 243 0 487715 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 1965864 KiB
Current children cumulated memory: 1764004 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.18 5/250 86229
/proc/meminfo: memFree=123191344/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1966344 memory=1764132 CPUtime=2974.77 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 214910 0 0 0 296335 1142 0 0 20 0 1 0 73988430 2013536256 441033 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 491586 441033 1312 243 0 487835 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 1966344 KiB
Current children cumulated memory: 1764132 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/250 86231
/proc/meminfo: memFree=123039888/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1980460 memory=1839776 CPUtime=3034.63 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 216941 0 0 0 302310 1153 0 0 20 0 1 0 73988430 2027991040 459944 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 495115 459944 1312 243 0 491364 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 1980460 KiB
Current children cumulated memory: 1839776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/250 86233
/proc/meminfo: memFree=123009140/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1980844 memory=1858560 CPUtime=3094.5 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 217037 0 0 0 308290 1160 0 0 20 0 1 0 73988430 2028384256 464640 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 495211 464640 1312 243 0 491460 0
Current children cumulated CPU time: 3094.5 s
Current children cumulated vsize: 1980844 KiB
Current children cumulated memory: 1858560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/249 86235
/proc/meminfo: memFree=122987928/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1980844 memory=1858560 CPUtime=3154.35 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 217397 0 0 0 314271 1164 0 0 20 0 1 0 73988430 2028384256 464640 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 495211 464640 1312 243 0 491460 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 1980844 KiB
Current children cumulated memory: 1858560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/251 86243
/proc/meminfo: memFree=122894536/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1980844 memory=1858560 CPUtime=3214.18 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 217420 0 0 0 320250 1168 0 0 20 0 1 0 73988430 2028384256 464640 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 495211 464640 1312 243 0 491460 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 1980844 KiB
Current children cumulated memory: 1858560 KiB
[startup+3282.3 s]
/proc/loadavg: 3.84 4.05 4.13 4/245 86275
/proc/meminfo: memFree=123061136/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1980844 memory=1858560 CPUtime=3274.03 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 217430 0 0 0 326229 1174 0 0 20 0 1 0 73988430 2028384256 464640 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 495211 464640 1312 243 0 491460 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 1980844 KiB
Current children cumulated memory: 1858560 KiB
[startup+3342.3 s]
/proc/loadavg: 3.28 3.86 4.06 3/239 86308
/proc/meminfo: memFree=126922724/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1987756 memory=1900792 CPUtime=3333.87 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 219005 0 0 0 332203 1184 0 0 20 0 1 0 73988430 2035462144 475198 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 496939 475198 1312 243 0 493188 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 1987756 KiB
Current children cumulated memory: 1900792 KiB
[startup+3402.3 s]
/proc/loadavg: 2.58 3.55 3.94 3/239 86312
/proc/meminfo: memFree=126931724/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1987756 memory=1900792 CPUtime=3393.72 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 219116 0 0 0 338178 1194 0 0 20 0 1 0 73988430 2035462144 475198 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 496939 475198 1312 243 0 493188 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 1987756 KiB
Current children cumulated memory: 1900792 KiB
[startup+3462.3 s]
/proc/loadavg: 2.31 3.29 3.82 3/239 86314
/proc/meminfo: memFree=126931976/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1987756 memory=1900792 CPUtime=3453.56 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 219200 0 0 0 344151 1205 0 0 20 0 1 0 73988430 2035462144 475198 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 496939 475198 1312 243 0 493188 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 1987756 KiB
Current children cumulated memory: 1900792 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 3.05 3.71 3/239 86316
/proc/meminfo: memFree=126932236/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1987756 memory=1900792 CPUtime=3513.41 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 219200 0 0 0 350127 1214 0 0 20 0 1 0 73988430 2035462144 475198 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 496939 475198 1312 243 0 493188 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 1987756 KiB
Current children cumulated memory: 1900792 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.89 3.61 3/238 86319
/proc/meminfo: memFree=126916320/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1989768 memory=1918448 CPUtime=3573.25 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 219938 0 0 0 356101 1224 0 0 20 0 1 0 73988430 2037522432 479612 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 497442 479612 1312 243 0 493691 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 1989768 KiB
Current children cumulated memory: 1918448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 2.10 2.82 3.56 3/238 86319
/proc/meminfo: memFree=126912224/131382116 swapFree=33009904/33010684
[pid=86027] ppid=86024 vsize=1990188 memory=1922960 CPUtime=3600.07 cores=1,3
/proc/86027/stat : 86027 (pb-oll-rs) R 86024 86027 84427 0 -1 4194304 220033 0 0 0 358778 1229 0 0 20 0 1 0 73988430 2037952512 480740 18446744073709551615 4218880 5211445 140731440633840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6533120 140731440642460 140731440642537 140731440642537 140731440648139 0
/proc/86027/statm: 497547 480740 1312 243 0 493796 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1990188 KiB
Current children cumulated memory: 1922960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 86027 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.79 s, system=12.3039 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.1
CPU user time (s): 3587.79
CPU system time (s): 12.3039
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 1990188
Max. memory (cumulated for all children) (KiB): 1922960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.79
system time used= 12.3039
maximum resident set size= 1923216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 372
involuntary context switches= 1919
# summary of solver processes directly reported to runsolver:
# pid: 86027
# total CPU time (s): 3600.1
# total CPU user time (s): 3587.79
# total CPU system time (s): 12.3039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.819 second user time and 36.4607 second system time
The end
Begin job on nodeC004 at 2025-07-04 00:51:33
IDJOB=4522040
IDBENCH=178564
IDSOLVER=3345
FILE ID=nodeC004/4522040-1751583092
RUNJOBID= nodeC004-1751575512-84439
SLURM_JOB_ID= 9598804
Free space on /tmp= 431548 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522040-1751583092/watcher-4522040-1751583092 -o /tmp/evaluation-result-4522040-1751583092/solver-4522040-1751583092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84439 --watchdog 3760 pb-oll-rs HOME/instance-4522040-1751583092.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97
RANDOM SEED=1789939751
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.487
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.498
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3534.605
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.364
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.884
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126282472 kB
MemAvailable: 127222304 kB
Buffers: 2128 kB
Cached: 1689112 kB
SwapCached: 32 kB
Active: 3288852 kB
Inactive: 1095104 kB
Active(anon): 2699900 kB
Inactive(anon): 10748 kB
Active(file): 588952 kB
Inactive(file): 1084356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2240 kB
Writeback: 0 kB
AnonPages: 2694872 kB
Mapped: 107528 kB
Shmem: 17932 kB
KReclaimable: 212304 kB
Slab: 299304 kB
SReclaimable: 212304 kB
SUnreclaim: 87000 kB
KernelStack: 4112 kB
PageTables: 8424 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3062412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1769472 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431676 MiB
End job on nodeC004 at 2025-07-04 01:51:42