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.06 c [STEP] solving
0.00/0.06 c #variables 10432 #constraints 716
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 0 @ 0.052796
0.00/0.06 c stratification level: 0
3.67/3.74 c bounds - >= 2 @ 0.055356
3.67/3.74 c bounds - >= 27 @ 0.055614
3.67/3.74 c #Conflicts: 1000 | #Constraints: 1719
3.67/3.74 c #Conflicts: 2000 | #Constraints: 2719
3.67/3.74 c INPROCESSING
3.67/3.74 c GARBAGE COLLECT
3.67/3.74 c #Conflicts: 3000 | #Constraints: 2731
3.67/3.74 c #Conflicts: 4000 | #Constraints: 3731
3.67/3.74 c INPROCESSING
3.67/3.74 c GARBAGE COLLECT
3.67/3.74 c finalizing WCE round: reformulating cores
64.00/64.28 c #Conflicts: 5000 | #Constraints: 3141
64.00/64.28 c bounds 32 >= 27 @ 4.33164
64.00/64.28 c bounds 32 >= 28 @ 4.34114
64.00/64.28 c #Conflicts: 6000 | #Constraints: 4151
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 7000 | #Constraints: 3152
64.00/64.28 c #Conflicts: 8000 | #Constraints: 4152
64.00/64.28 c #Conflicts: 9000 | #Constraints: 5152
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 10000 | #Constraints: 3849
64.00/64.28 c #Conflicts: 11000 | #Constraints: 4849
64.00/64.28 c #Conflicts: 12000 | #Constraints: 5849
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 13000 | #Constraints: 4300
64.00/64.28 c #Conflicts: 14000 | #Constraints: 5300
64.00/64.28 c #Conflicts: 15000 | #Constraints: 6300
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 16000 | #Constraints: 4527
64.00/64.28 c #Conflicts: 17000 | #Constraints: 5527
64.00/64.28 c #Conflicts: 18000 | #Constraints: 6527
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 19000 | #Constraints: 4538
64.00/64.28 c #Conflicts: 20000 | #Constraints: 5538
64.00/64.28 c #Conflicts: 21000 | #Constraints: 6538
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 22000 | #Constraints: 4342
64.00/64.28 c #Conflicts: 23000 | #Constraints: 5342
64.00/64.28 c #Conflicts: 24000 | #Constraints: 6342
64.00/64.28 c #Conflicts: 25000 | #Constraints: 7342
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 26000 | #Constraints: 4946
64.00/64.28 c #Conflicts: 27000 | #Constraints: 5946
64.00/64.28 c #Conflicts: 28000 | #Constraints: 6946
64.00/64.28 c #Conflicts: 29000 | #Constraints: 7946
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 30000 | #Constraints: 5350
64.00/64.28 c #Conflicts: 31000 | #Constraints: 6350
64.00/64.28 c #Conflicts: 32000 | #Constraints: 7350
64.00/64.28 c #Conflicts: 33000 | #Constraints: 8350
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 34000 | #Constraints: 5553
64.00/64.28 c #Conflicts: 35000 | #Constraints: 6553
64.00/64.28 c #Conflicts: 36000 | #Constraints: 7553
64.00/64.28 c #Conflicts: 37000 | #Constraints: 8553
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 38000 | #Constraints: 5555
64.00/64.28 c #Conflicts: 39000 | #Constraints: 6555
64.00/64.28 c #Conflicts: 40000 | #Constraints: 7555
64.00/64.28 c #Conflicts: 41000 | #Constraints: 8555
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 42000 | #Constraints: 5365
64.00/64.28 c #Conflicts: 43000 | #Constraints: 6365
64.00/64.28 c #Conflicts: 44000 | #Constraints: 7365
64.00/64.28 c #Conflicts: 45000 | #Constraints: 8365
64.00/64.28 c #Conflicts: 46000 | #Constraints: 9365
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 47000 | #Constraints: 5953
64.00/64.28 c #Conflicts: 48000 | #Constraints: 6953
64.00/64.28 c #Conflicts: 49000 | #Constraints: 7953
64.00/64.28 c #Conflicts: 50000 | #Constraints: 8953
64.00/64.28 c #Conflicts: 51000 | #Constraints: 9953
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 52000 | #Constraints: 6352
64.00/64.28 c #Conflicts: 53000 | #Constraints: 7352
64.00/64.28 c #Conflicts: 54000 | #Constraints: 8352
64.00/64.28 c #Conflicts: 55000 | #Constraints: 9352
64.00/64.28 c #Conflicts: 56000 | #Constraints: 10352
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 57000 | #Constraints: 6551
64.00/64.28 c #Conflicts: 58000 | #Constraints: 7551
64.00/64.28 c #Conflicts: 59000 | #Constraints: 8551
64.00/64.28 c #Conflicts: 60000 | #Constraints: 9551
64.00/64.28 c #Conflicts: 61000 | #Constraints: 10551
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 62000 | #Constraints: 6554
64.00/64.28 c #Conflicts: 63000 | #Constraints: 7554
64.00/64.28 c #Conflicts: 64000 | #Constraints: 8554
64.00/64.28 c #Conflicts: 65000 | #Constraints: 9554
64.00/64.28 c #Conflicts: 66000 | #Constraints: 10554
64.00/64.28 c INPROCESSING
64.00/64.28 c GARBAGE COLLECT
64.00/64.28 c #Conflicts: 67000 | #Constraints: 6351
64.00/64.28 c #Conflicts: 68000 | #Constraints: 7351
64.00/64.28 c #Conflicts: 69000 | #Constraints: 8351
64.00/64.28 c #Conflicts: 70000 | #Constraints: 9351
64.00/64.28 c #Conflicts: 71000 | #Constraints: 10351
64.00/64.28 c #Conflicts: 72000 | #Constraints: 11351
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 73000 | #Constraints: 6951
206.00/206.64 c #Conflicts: 74000 | #Constraints: 7951
206.00/206.64 c #Conflicts: 75000 | #Constraints: 8951
206.00/206.64 c #Conflicts: 76000 | #Constraints: 9951
206.00/206.64 c #Conflicts: 77000 | #Constraints: 10951
206.00/206.64 c #Conflicts: 78000 | #Constraints: 11951
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 79000 | #Constraints: 7354
206.00/206.64 c #Conflicts: 80000 | #Constraints: 8354
206.00/206.64 c #Conflicts: 81000 | #Constraints: 9354
206.00/206.64 c #Conflicts: 82000 | #Constraints: 10354
206.00/206.64 c #Conflicts: 83000 | #Constraints: 11354
206.00/206.64 c #Conflicts: 84000 | #Constraints: 12354
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 85000 | #Constraints: 7561
206.00/206.64 c #Conflicts: 86000 | #Constraints: 8561
206.00/206.64 c #Conflicts: 87000 | #Constraints: 9561
206.00/206.64 c #Conflicts: 88000 | #Constraints: 10561
206.00/206.64 c #Conflicts: 89000 | #Constraints: 11561
206.00/206.64 c #Conflicts: 90000 | #Constraints: 12561
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 91000 | #Constraints: 7566
206.00/206.64 c #Conflicts: 92000 | #Constraints: 8566
206.00/206.64 c #Conflicts: 93000 | #Constraints: 9566
206.00/206.64 c #Conflicts: 94000 | #Constraints: 10566
206.00/206.64 c #Conflicts: 95000 | #Constraints: 11566
206.00/206.64 c #Conflicts: 96000 | #Constraints: 12566
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 97000 | #Constraints: 7362
206.00/206.64 c #Conflicts: 98000 | #Constraints: 8362
206.00/206.64 c #Conflicts: 99000 | #Constraints: 9362
206.00/206.64 c #Conflicts: 100000 | #Constraints: 10362
206.00/206.64 c #Conflicts: 101000 | #Constraints: 11362
206.00/206.64 c #Conflicts: 102000 | #Constraints: 12362
206.00/206.64 c #Conflicts: 103000 | #Constraints: 13362
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 104000 | #Constraints: 7952
206.00/206.64 c #Conflicts: 105000 | #Constraints: 8952
206.00/206.64 c #Conflicts: 106000 | #Constraints: 9952
206.00/206.64 c #Conflicts: 107000 | #Constraints: 10952
206.00/206.64 c #Conflicts: 108000 | #Constraints: 11952
206.00/206.64 c #Conflicts: 109000 | #Constraints: 12952
206.00/206.64 c #Conflicts: 110000 | #Constraints: 13952
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 111000 | #Constraints: 8355
206.00/206.64 c #Conflicts: 112000 | #Constraints: 9355
206.00/206.64 c #Conflicts: 113000 | #Constraints: 10355
206.00/206.64 c #Conflicts: 114000 | #Constraints: 11355
206.00/206.64 c #Conflicts: 115000 | #Constraints: 12355
206.00/206.64 c #Conflicts: 116000 | #Constraints: 13355
206.00/206.64 c #Conflicts: 117000 | #Constraints: 14355
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 118000 | #Constraints: 8559
206.00/206.64 c #Conflicts: 119000 | #Constraints: 9559
206.00/206.64 c #Conflicts: 120000 | #Constraints: 10559
206.00/206.64 c #Conflicts: 121000 | #Constraints: 11559
206.00/206.64 c #Conflicts: 122000 | #Constraints: 12559
206.00/206.64 c #Conflicts: 123000 | #Constraints: 13559
206.00/206.64 c #Conflicts: 124000 | #Constraints: 14559
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 125000 | #Constraints: 8560
206.00/206.64 c #Conflicts: 126000 | #Constraints: 9560
206.00/206.64 c #Conflicts: 127000 | #Constraints: 10560
206.00/206.64 c #Conflicts: 128000 | #Constraints: 11560
206.00/206.64 c #Conflicts: 129000 | #Constraints: 12560
206.00/206.64 c #Conflicts: 130000 | #Constraints: 13560
206.00/206.64 c #Conflicts: 131000 | #Constraints: 14560
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 132000 | #Constraints: 8354
206.00/206.64 c #Conflicts: 133000 | #Constraints: 9354
206.00/206.64 c #Conflicts: 134000 | #Constraints: 10354
206.00/206.64 c #Conflicts: 135000 | #Constraints: 11354
206.00/206.64 c #Conflicts: 136000 | #Constraints: 12354
206.00/206.64 c #Conflicts: 137000 | #Constraints: 13354
206.00/206.64 c #Conflicts: 138000 | #Constraints: 14354
206.00/206.64 c #Conflicts: 139000 | #Constraints: 15354
206.00/206.64 c INPROCESSING
206.00/206.64 c GARBAGE COLLECT
206.00/206.64 c #Conflicts: 140000 | #Constraints: 8957
206.00/206.64 c #Conflicts: 141000 | #Constraints: 9957
206.00/206.64 c #Conflicts: 142000 | #Constraints: 10957
206.00/206.64 c #Conflicts: 143000 | #Constraints: 11957
206.00/206.64 c #Conflicts: 144000 | #Constraints: 12957
365.85/366.97 c #Conflicts: 145000 | #Constraints: 13957
365.85/366.97 c #Conflicts: 146000 | #Constraints: 14957
365.85/366.97 c #Conflicts: 147000 | #Constraints: 15957
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 148000 | #Constraints: 9366
365.85/366.97 c #Conflicts: 149000 | #Constraints: 10366
365.85/366.97 c #Conflicts: 150000 | #Constraints: 11366
365.85/366.97 c #Conflicts: 151000 | #Constraints: 12366
365.85/366.97 c #Conflicts: 152000 | #Constraints: 13366
365.85/366.97 c #Conflicts: 153000 | #Constraints: 14366
365.85/366.97 c #Conflicts: 154000 | #Constraints: 15366
365.85/366.97 c #Conflicts: 155000 | #Constraints: 16366
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 156000 | #Constraints: 9566
365.85/366.97 c #Conflicts: 157000 | #Constraints: 10566
365.85/366.97 c #Conflicts: 158000 | #Constraints: 11566
365.85/366.97 c #Conflicts: 159000 | #Constraints: 12566
365.85/366.97 c #Conflicts: 160000 | #Constraints: 13566
365.85/366.97 c #Conflicts: 161000 | #Constraints: 14566
365.85/366.97 c #Conflicts: 162000 | #Constraints: 15566
365.85/366.97 c #Conflicts: 163000 | #Constraints: 16566
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 164000 | #Constraints: 9556
365.85/366.97 c #Conflicts: 165000 | #Constraints: 10556
365.85/366.97 c #Conflicts: 166000 | #Constraints: 11556
365.85/366.97 c #Conflicts: 167000 | #Constraints: 12556
365.85/366.97 c #Conflicts: 168000 | #Constraints: 13556
365.85/366.97 c #Conflicts: 169000 | #Constraints: 14556
365.85/366.97 c #Conflicts: 170000 | #Constraints: 15556
365.85/366.97 c #Conflicts: 171000 | #Constraints: 16556
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 172000 | #Constraints: 9351
365.85/366.97 c #Conflicts: 173000 | #Constraints: 10351
365.85/366.97 c #Conflicts: 174000 | #Constraints: 11351
365.85/366.97 c #Conflicts: 175000 | #Constraints: 12351
365.85/366.97 c #Conflicts: 176000 | #Constraints: 13351
365.85/366.97 c #Conflicts: 177000 | #Constraints: 14351
365.85/366.97 c #Conflicts: 178000 | #Constraints: 15351
365.85/366.97 c #Conflicts: 179000 | #Constraints: 16351
365.85/366.97 c #Conflicts: 180000 | #Constraints: 17351
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 181000 | #Constraints: 9951
365.85/366.97 c #Conflicts: 182000 | #Constraints: 10951
365.85/366.97 c #Conflicts: 183000 | #Constraints: 11951
365.85/366.97 c #Conflicts: 184000 | #Constraints: 12951
365.85/366.97 c #Conflicts: 185000 | #Constraints: 13951
365.85/366.97 c #Conflicts: 186000 | #Constraints: 14951
365.85/366.97 c #Conflicts: 187000 | #Constraints: 15951
365.85/366.97 c #Conflicts: 188000 | #Constraints: 16951
365.85/366.97 c #Conflicts: 189000 | #Constraints: 17951
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 190000 | #Constraints: 10359
365.85/366.97 c #Conflicts: 191000 | #Constraints: 11359
365.85/366.97 c #Conflicts: 192000 | #Constraints: 12359
365.85/366.97 c #Conflicts: 193000 | #Constraints: 13359
365.85/366.97 c #Conflicts: 194000 | #Constraints: 14359
365.85/366.97 c #Conflicts: 195000 | #Constraints: 15359
365.85/366.97 c #Conflicts: 196000 | #Constraints: 16359
365.85/366.97 c #Conflicts: 197000 | #Constraints: 17359
365.85/366.97 c #Conflicts: 198000 | #Constraints: 18359
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 199000 | #Constraints: 10555
365.85/366.97 c #Conflicts: 200000 | #Constraints: 11555
365.85/366.97 c #Conflicts: 201000 | #Constraints: 12555
365.85/366.97 c #Conflicts: 202000 | #Constraints: 13555
365.85/366.97 c #Conflicts: 203000 | #Constraints: 14555
365.85/366.97 c #Conflicts: 204000 | #Constraints: 15555
365.85/366.97 c #Conflicts: 205000 | #Constraints: 16555
365.85/366.97 c #Conflicts: 206000 | #Constraints: 17555
365.85/366.97 c #Conflicts: 207000 | #Constraints: 18555
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 208000 | #Constraints: 10558
365.85/366.97 c #Conflicts: 209000 | #Constraints: 11558
365.85/366.97 c #Conflicts: 210000 | #Constraints: 12558
365.85/366.97 c #Conflicts: 211000 | #Constraints: 13558
365.85/366.97 c #Conflicts: 212000 | #Constraints: 14558
365.85/366.97 c #Conflicts: 213000 | #Constraints: 15558
365.85/366.97 c #Conflicts: 214000 | #Constraints: 16558
365.85/366.97 c #Conflicts: 215000 | #Constraints: 17558
365.85/366.97 c #Conflicts: 216000 | #Constraints: 18558
365.85/366.97 c INPROCESSING
365.85/366.97 c GARBAGE COLLECT
365.85/366.97 c #Conflicts: 217000 | #Constraints: 10374
564.84/566.56 c #Conflicts: 218000 | #Constraints: 11374
564.84/566.56 c #Conflicts: 219000 | #Constraints: 12374
564.84/566.56 c #Conflicts: 220000 | #Constraints: 13374
564.84/566.56 c #Conflicts: 221000 | #Constraints: 14374
564.84/566.56 c #Conflicts: 222000 | #Constraints: 15374
564.84/566.56 c #Conflicts: 223000 | #Constraints: 16374
564.84/566.56 c #Conflicts: 224000 | #Constraints: 17374
564.84/566.56 c #Conflicts: 225000 | #Constraints: 18374
564.84/566.56 c #Conflicts: 226000 | #Constraints: 19374
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 227000 | #Constraints: 10987
564.84/566.56 c #Conflicts: 228000 | #Constraints: 11987
564.84/566.56 c #Conflicts: 229000 | #Constraints: 12987
564.84/566.56 c #Conflicts: 230000 | #Constraints: 13987
564.84/566.56 c #Conflicts: 231000 | #Constraints: 14987
564.84/566.56 c #Conflicts: 232000 | #Constraints: 15987
564.84/566.56 c #Conflicts: 233000 | #Constraints: 16987
564.84/566.56 c #Conflicts: 234000 | #Constraints: 17987
564.84/566.56 c #Conflicts: 235000 | #Constraints: 18987
564.84/566.56 c #Conflicts: 236000 | #Constraints: 19987
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 237000 | #Constraints: 11366
564.84/566.56 c #Conflicts: 238000 | #Constraints: 12366
564.84/566.56 c #Conflicts: 239000 | #Constraints: 13366
564.84/566.56 c #Conflicts: 240000 | #Constraints: 14366
564.84/566.56 c #Conflicts: 241000 | #Constraints: 15366
564.84/566.56 c #Conflicts: 242000 | #Constraints: 16366
564.84/566.56 c #Conflicts: 243000 | #Constraints: 17366
564.84/566.56 c #Conflicts: 244000 | #Constraints: 18366
564.84/566.56 c #Conflicts: 245000 | #Constraints: 19366
564.84/566.56 c #Conflicts: 246000 | #Constraints: 20366
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 247000 | #Constraints: 11570
564.84/566.56 c #Conflicts: 248000 | #Constraints: 12570
564.84/566.56 c #Conflicts: 249000 | #Constraints: 13570
564.84/566.56 c #Conflicts: 250000 | #Constraints: 14570
564.84/566.56 c #Conflicts: 251000 | #Constraints: 15570
564.84/566.56 c #Conflicts: 252000 | #Constraints: 16570
564.84/566.56 c #Conflicts: 253000 | #Constraints: 17570
564.84/566.56 c #Conflicts: 254000 | #Constraints: 18570
564.84/566.56 c #Conflicts: 255000 | #Constraints: 19570
564.84/566.56 c #Conflicts: 256000 | #Constraints: 20570
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 257000 | #Constraints: 11560
564.84/566.56 c #Conflicts: 258000 | #Constraints: 12560
564.84/566.56 c #Conflicts: 259000 | #Constraints: 13560
564.84/566.56 c #Conflicts: 260000 | #Constraints: 14560
564.84/566.56 c #Conflicts: 261000 | #Constraints: 15560
564.84/566.56 c #Conflicts: 262000 | #Constraints: 16560
564.84/566.56 c #Conflicts: 263000 | #Constraints: 17560
564.84/566.56 c #Conflicts: 264000 | #Constraints: 18560
564.84/566.56 c #Conflicts: 265000 | #Constraints: 19560
564.84/566.56 c #Conflicts: 266000 | #Constraints: 20560
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 267000 | #Constraints: 11363
564.84/566.56 c #Conflicts: 268000 | #Constraints: 12363
564.84/566.56 c #Conflicts: 269000 | #Constraints: 13363
564.84/566.56 c #Conflicts: 270000 | #Constraints: 14363
564.84/566.56 c #Conflicts: 271000 | #Constraints: 15363
564.84/566.56 c #Conflicts: 272000 | #Constraints: 16363
564.84/566.56 c #Conflicts: 273000 | #Constraints: 17363
564.84/566.56 c #Conflicts: 274000 | #Constraints: 18363
564.84/566.56 c #Conflicts: 275000 | #Constraints: 19363
564.84/566.56 c #Conflicts: 276000 | #Constraints: 20363
564.84/566.56 c #Conflicts: 277000 | #Constraints: 21363
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 278000 | #Constraints: 11961
564.84/566.56 c #Conflicts: 279000 | #Constraints: 12961
564.84/566.56 c #Conflicts: 280000 | #Constraints: 13961
564.84/566.56 c #Conflicts: 281000 | #Constraints: 14961
564.84/566.56 c #Conflicts: 282000 | #Constraints: 15961
564.84/566.56 c #Conflicts: 283000 | #Constraints: 16961
564.84/566.56 c #Conflicts: 284000 | #Constraints: 17961
564.84/566.56 c #Conflicts: 285000 | #Constraints: 18961
564.84/566.56 c #Conflicts: 286000 | #Constraints: 19961
564.84/566.56 c #Conflicts: 287000 | #Constraints: 20961
564.84/566.56 c #Conflicts: 288000 | #Constraints: 21961
564.84/566.56 c INPROCESSING
564.84/566.56 c GARBAGE COLLECT
564.84/566.56 c #Conflicts: 289000 | #Constraints: 12356
564.84/566.56 c #Conflicts: 290000 | #Constraints: 13356
564.84/566.56 c #Conflicts: 291000 | #Constraints: 14356
791.59/794.07 c #Conflicts: 292000 | #Constraints: 15356
791.59/794.07 c #Conflicts: 293000 | #Constraints: 16356
791.59/794.07 c #Conflicts: 294000 | #Constraints: 17356
791.59/794.07 c #Conflicts: 295000 | #Constraints: 18356
791.59/794.07 c #Conflicts: 296000 | #Constraints: 19356
791.59/794.07 c #Conflicts: 297000 | #Constraints: 20356
791.59/794.07 c #Conflicts: 298000 | #Constraints: 21356
791.59/794.07 c #Conflicts: 299000 | #Constraints: 22356
791.59/794.07 c INPROCESSING
791.59/794.07 c GARBAGE COLLECT
791.59/794.07 c #Conflicts: 300000 | #Constraints: 12557
791.59/794.07 c #Conflicts: 301000 | #Constraints: 13557
791.59/794.07 c #Conflicts: 302000 | #Constraints: 14557
791.59/794.07 c #Conflicts: 303000 | #Constraints: 15557
791.59/794.07 c #Conflicts: 304000 | #Constraints: 16557
791.59/794.07 c #Conflicts: 305000 | #Constraints: 17557
791.59/794.07 c #Conflicts: 306000 | #Constraints: 18557
791.59/794.07 c #Conflicts: 307000 | #Constraints: 19557
791.59/794.07 c #Conflicts: 308000 | #Constraints: 20557
791.59/794.07 c #Conflicts: 309000 | #Constraints: 21557
791.59/794.07 c #Conflicts: 310000 | #Constraints: 22557
791.59/794.07 c INPROCESSING
791.59/794.07 c GARBAGE COLLECT
791.59/794.07 c #Conflicts: 311000 | #Constraints: 12558
791.59/794.07 c #Conflicts: 312000 | #Constraints: 13558
791.59/794.07 c #Conflicts: 313000 | #Constraints: 14558
791.59/794.07 c #Conflicts: 314000 | #Constraints: 15558
791.59/794.07 c #Conflicts: 315000 | #Constraints: 16558
791.59/794.07 c #Conflicts: 316000 | #Constraints: 17558
791.59/794.07 c #Conflicts: 317000 | #Constraints: 18558
791.59/794.07 c #Conflicts: 318000 | #Constraints: 19558
791.59/794.07 c #Conflicts: 319000 | #Constraints: 20558
791.59/794.07 c #Conflicts: 320000 | #Constraints: 21558
791.59/794.07 c #Conflicts: 321000 | #Constraints: 22558
791.59/794.07 c INPROCESSING
791.59/794.07 c GARBAGE COLLECT
791.59/794.07 c #Conflicts: 322000 | #Constraints: 12356
791.59/794.07 c #Conflicts: 323000 | #Constraints: 13356
791.59/794.07 c #Conflicts: 324000 | #Constraints: 14356
791.59/794.07 c #Conflicts: 325000 | #Constraints: 15356
791.59/794.07 c #Conflicts: 326000 | #Constraints: 16356
791.59/794.07 c #Conflicts: 327000 | #Constraints: 17356
791.59/794.07 c #Conflicts: 328000 | #Constraints: 18356
791.59/794.07 c #Conflicts: 329000 | #Constraints: 19356
791.59/794.07 c #Conflicts: 330000 | #Constraints: 20356
791.59/794.07 c #Conflicts: 331000 | #Constraints: 21356
791.59/794.07 c #Conflicts: 332000 | #Constraints: 22356
791.59/794.07 c #Conflicts: 333000 | #Constraints: 23356
791.59/794.07 c INPROCESSING
791.59/794.07 c GARBAGE COLLECT
791.59/794.07 c #Conflicts: 334000 | #Constraints: 12955
791.59/794.07 c #Conflicts: 335000 | #Constraints: 13955
791.59/794.07 c #Conflicts: 336000 | #Constraints: 14955
791.59/794.07 c #Conflicts: 337000 | #Constraints: 15955
791.59/794.07 c #Conflicts: 338000 | #Constraints: 16955
791.59/794.07 c #Conflicts: 339000 | #Constraints: 17955
791.59/794.07 c #Conflicts: 340000 | #Constraints: 18955
791.59/794.07 c #Conflicts: 341000 | #Constraints: 19955
791.59/794.07 c #Conflicts: 342000 | #Constraints: 20955
791.59/794.07 c #Conflicts: 343000 | #Constraints: 21955
791.59/794.07 c #Conflicts: 344000 | #Constraints: 22955
791.59/794.07 c #Conflicts: 345000 | #Constraints: 23955
791.59/794.07 c INPROCESSING
791.59/794.07 c GARBAGE COLLECT
791.59/794.07 c #Conflicts: 346000 | #Constraints: 13354
791.59/794.07 c #Conflicts: 347000 | #Constraints: 14354
791.59/794.07 c #Conflicts: 348000 | #Constraints: 15354
791.59/794.07 c #Conflicts: 349000 | #Constraints: 16354
791.59/794.07 c #Conflicts: 350000 | #Constraints: 17354
791.59/794.07 c #Conflicts: 351000 | #Constraints: 18354
791.59/794.07 c #Conflicts: 352000 | #Constraints: 19354
791.59/794.07 c #Conflicts: 353000 | #Constraints: 20354
791.59/794.07 c #Conflicts: 354000 | #Constraints: 21354
791.59/794.07 c #Conflicts: 355000 | #Constraints: 22354
791.59/794.07 c #Conflicts: 356000 | #Constraints: 23354
791.59/794.07 c #Conflicts: 357000 | #Constraints: 24354
791.59/794.07 c INPROCESSING
791.59/794.07 c GARBAGE COLLECT
791.59/794.07 c #Conflicts: 358000 | #Constraints: 13548
791.59/794.07 c #Conflicts: 359000 | #Constraints: 14548
791.59/794.07 c #Conflicts: 360000 | #Constraints: 15548
791.59/794.07 c #Conflicts: 361000 | #Constraints: 16548
791.59/794.07 c #Conflicts: 362000 | #Constraints: 17548
791.59/794.07 c #Conflicts: 363000 | #Constraints: 18548
791.59/794.07 c #Conflicts: 364000 | #Constraints: 19548
791.59/794.07 c #Conflicts: 365000 | #Constraints: 20548
791.59/794.07 c #Conflicts: 366000 | #Constraints: 21548
1035.88/1039.24 c #Conflicts: 367000 | #Constraints: 22548
1035.88/1039.24 c #Conflicts: 368000 | #Constraints: 23548
1035.88/1039.24 c #Conflicts: 369000 | #Constraints: 24548
1035.88/1039.24 c INPROCESSING
1035.88/1039.24 c GARBAGE COLLECT
1035.88/1039.24 c #Conflicts: 370000 | #Constraints: 13555
1035.88/1039.24 c #Conflicts: 371000 | #Constraints: 14555
1035.88/1039.24 c #Conflicts: 372000 | #Constraints: 15555
1035.88/1039.24 c #Conflicts: 373000 | #Constraints: 16555
1035.88/1039.24 c #Conflicts: 374000 | #Constraints: 17555
1035.88/1039.24 c #Conflicts: 375000 | #Constraints: 18555
1035.88/1039.24 c #Conflicts: 376000 | #Constraints: 19555
1035.88/1039.24 c #Conflicts: 377000 | #Constraints: 20555
1035.88/1039.24 c #Conflicts: 378000 | #Constraints: 21555
1035.88/1039.24 c #Conflicts: 379000 | #Constraints: 22555
1035.88/1039.24 c #Conflicts: 380000 | #Constraints: 23555
1035.88/1039.24 c #Conflicts: 381000 | #Constraints: 24555
1035.88/1039.24 c INPROCESSING
1035.88/1039.24 c GARBAGE COLLECT
1035.88/1039.24 c #Conflicts: 382000 | #Constraints: 13352
1035.88/1039.24 c #Conflicts: 383000 | #Constraints: 14352
1035.88/1039.24 c #Conflicts: 384000 | #Constraints: 15352
1035.88/1039.24 c #Conflicts: 385000 | #Constraints: 16352
1035.88/1039.24 c #Conflicts: 386000 | #Constraints: 17352
1035.88/1039.24 c #Conflicts: 387000 | #Constraints: 18352
1035.88/1039.24 c #Conflicts: 388000 | #Constraints: 19352
1035.88/1039.24 c #Conflicts: 389000 | #Constraints: 20352
1035.88/1039.24 c #Conflicts: 390000 | #Constraints: 21352
1035.88/1039.24 c #Conflicts: 391000 | #Constraints: 22352
1035.88/1039.24 c #Conflicts: 392000 | #Constraints: 23352
1035.88/1039.24 c #Conflicts: 393000 | #Constraints: 24352
1035.88/1039.24 c #Conflicts: 394000 | #Constraints: 25352
1035.88/1039.24 c INPROCESSING
1035.88/1039.24 c GARBAGE COLLECT
1035.88/1039.24 c #Conflicts: 395000 | #Constraints: 13956
1035.88/1039.24 c #Conflicts: 396000 | #Constraints: 14956
1035.88/1039.24 c #Conflicts: 397000 | #Constraints: 15956
1035.88/1039.24 c #Conflicts: 398000 | #Constraints: 16956
1035.88/1039.24 c #Conflicts: 399000 | #Constraints: 17956
1035.88/1039.24 c #Conflicts: 400000 | #Constraints: 18956
1035.88/1039.24 c #Conflicts: 401000 | #Constraints: 19956
1035.88/1039.24 c #Conflicts: 402000 | #Constraints: 20956
1035.88/1039.24 c #Conflicts: 403000 | #Constraints: 21956
1035.88/1039.24 c #Conflicts: 404000 | #Constraints: 22956
1035.88/1039.24 c #Conflicts: 405000 | #Constraints: 23956
1035.88/1039.24 c #Conflicts: 406000 | #Constraints: 24956
1035.88/1039.24 c #Conflicts: 407000 | #Constraints: 25956
1035.88/1039.24 c INPROCESSING
1035.88/1039.24 c GARBAGE COLLECT
1035.88/1039.24 c #Conflicts: 408000 | #Constraints: 14357
1035.88/1039.24 c #Conflicts: 409000 | #Constraints: 15357
1035.88/1039.24 c #Conflicts: 410000 | #Constraints: 16357
1035.88/1039.24 c #Conflicts: 411000 | #Constraints: 17357
1035.88/1039.24 c #Conflicts: 412000 | #Constraints: 18357
1035.88/1039.24 c #Conflicts: 413000 | #Constraints: 19357
1035.88/1039.24 c #Conflicts: 414000 | #Constraints: 20357
1035.88/1039.24 c #Conflicts: 415000 | #Constraints: 21357
1035.88/1039.24 c #Conflicts: 416000 | #Constraints: 22357
1035.88/1039.24 c #Conflicts: 417000 | #Constraints: 23357
1035.88/1039.24 c #Conflicts: 418000 | #Constraints: 24357
1035.88/1039.24 c #Conflicts: 419000 | #Constraints: 25357
1035.88/1039.24 c #Conflicts: 420000 | #Constraints: 26357
1035.88/1039.24 c INPROCESSING
1035.88/1039.24 c GARBAGE COLLECT
1035.88/1039.24 c #Conflicts: 421000 | #Constraints: 14558
1035.88/1039.24 c #Conflicts: 422000 | #Constraints: 15558
1035.88/1039.24 c #Conflicts: 423000 | #Constraints: 16558
1035.88/1039.24 c #Conflicts: 424000 | #Constraints: 17558
1035.88/1039.24 c #Conflicts: 425000 | #Constraints: 18558
1035.88/1039.24 c #Conflicts: 426000 | #Constraints: 19558
1035.88/1039.24 c #Conflicts: 427000 | #Constraints: 20558
1035.88/1039.24 c #Conflicts: 428000 | #Constraints: 21558
1035.88/1039.24 c #Conflicts: 429000 | #Constraints: 22558
1035.88/1039.24 c #Conflicts: 430000 | #Constraints: 23558
1035.88/1039.24 c #Conflicts: 431000 | #Constraints: 24558
1035.88/1039.24 c #Conflicts: 432000 | #Constraints: 25558
1035.88/1039.24 c #Conflicts: 433000 | #Constraints: 26558
1035.88/1039.24 c INPROCESSING
1035.88/1039.24 c GARBAGE COLLECT
1035.88/1039.24 c #Conflicts: 434000 | #Constraints: 14568
1035.88/1039.24 c #Conflicts: 435000 | #Constraints: 15568
1035.88/1039.24 c #Conflicts: 436000 | #Constraints: 16568
1035.88/1039.24 c #Conflicts: 437000 | #Constraints: 17568
1035.88/1039.24 c #Conflicts: 438000 | #Constraints: 18568
1035.88/1039.24 c #Conflicts: 439000 | #Constraints: 19568
1035.88/1039.24 c #Conflicts: 440000 | #Constraints: 20568
1035.88/1039.24 c #Conflicts: 441000 | #Constraints: 21568
1130.26/1133.97 c #Conflicts: 442000 | #Constraints: 22568
1130.26/1133.97 c #Conflicts: 443000 | #Constraints: 23568
1130.26/1133.97 c #Conflicts: 444000 | #Constraints: 24568
1130.26/1133.97 c #Conflicts: 445000 | #Constraints: 25568
1130.26/1133.97 c #Conflicts: 446000 | #Constraints: 26568
1130.26/1133.97 c INPROCESSING
1130.26/1133.97 c GARBAGE COLLECT
1130.26/1133.97 c #Conflicts: 447000 | #Constraints: 14368
1130.26/1133.97 c #Conflicts: 448000 | #Constraints: 15368
1130.26/1133.97 c #Conflicts: 449000 | #Constraints: 16368
1130.26/1133.97 c #Conflicts: 450000 | #Constraints: 17368
1130.26/1133.97 c #Conflicts: 451000 | #Constraints: 18368
1130.26/1133.97 c #Conflicts: 452000 | #Constraints: 19368
1130.26/1133.97 c #Conflicts: 453000 | #Constraints: 20368
1130.26/1133.97 c #Conflicts: 454000 | #Constraints: 21368
1130.26/1133.97 c #Conflicts: 455000 | #Constraints: 22368
1130.26/1133.97 c #Conflicts: 456000 | #Constraints: 23368
1130.26/1133.97 c #Conflicts: 457000 | #Constraints: 24368
1130.26/1133.97 c #Conflicts: 458000 | #Constraints: 25368
1130.26/1133.97 c #Conflicts: 459000 | #Constraints: 26368
1130.26/1133.97 c #Conflicts: 460000 | #Constraints: 27368
1130.26/1133.97 c INPROCESSING
1130.26/1133.97 c GARBAGE COLLECT
1130.26/1133.97 c #Conflicts: 461000 | #Constraints: 14965
1130.26/1133.97 c finalizing WCE round: reformulating cores
1130.37/1134.01 c bounds 29 >= 28 @ 1120.55
1130.37/1134.01 d SOLVEDBY oll
1130.37/1134.01 c cpu time 1120.55 s
1130.37/1134.01 c deterministic time 175740889116 1.76e+11
1130.37/1134.01 c optimization time 0.881014 s
1130.37/1134.01 c total solve time 1119.62 s
1130.37/1134.01 c core-guided solve time 1119.62 s
1130.37/1134.01 c propagation time 823.443 s
1130.37/1134.01 c conflict analysis time 224.351 s
1130.37/1134.01 c propagations 66243932
1130.37/1134.01 c resolve steps 2361654
1130.37/1134.01 c decisions 8218326
1130.37/1134.01 c conflicts 461170
1130.37/1134.01 c restarts 1022
1130.37/1134.01 c inprocessing phases 59
1130.37/1134.01 c input clauses 330
1130.37/1134.01 c input cardinalities 335
1130.37/1134.01 c input general constraints 69
1130.37/1134.01 c input average constraint length 57.27
1130.37/1134.01 c input average constraint degree 12072.19
1130.37/1134.01 c learned clauses 2400
1130.37/1134.01 c learned cardinalities 4
1130.37/1134.01 c learned general constraints 458766
1130.37/1134.01 c learned average constraint length 1494.32
1130.37/1134.01 c learned average constraint degree 6730976.43
1130.37/1134.01 c watched constraints 241478
1130.37/1134.01 c counting constraints 217357
1130.37/1134.01 c gcd simplifications 2186
1130.37/1134.01 c detected cardinalities 1
1130.37/1134.01 c weakened non-implied lits 67202585
1130.37/1134.01 c weakened non-implying lits 67343
1130.37/1134.01 c original variables 10432
1130.37/1134.01 c clausal propagations 1793347
1130.37/1134.01 c cardinality propagations 6123404
1130.37/1134.01 c watched propagations 3008680
1130.37/1134.01 c counting propagations 54909465
1130.37/1134.01 c watch lookups 12064504965
1130.37/1134.01 c watch backjump lookups 11851636373
1130.37/1134.01 c watch checks 124571751958
1130.37/1134.01 c propagation checks 25312928800
1130.37/1134.01 c constraint additions 1790681334
1130.37/1134.01 c trail pops 74923427
1130.37/1134.01 c formula constraints 716
1130.37/1134.01 c learned constraints 461170
1130.37/1134.01 c bound constraints 5
1130.37/1134.01 c core-guided constraints 13
1130.37/1134.01 c encountered formula constraints 1642255
1130.37/1134.01 c encountered learned constraints 1179331
1130.37/1134.01 c encountered bound constraints 1
1130.37/1134.01 c encountered core-guided constraints 1236
1130.37/1134.01 c LP total time 0 s
1130.37/1134.01 c LP solve time 0 s
1130.37/1134.01 c LP constraints added 0
1130.37/1134.01 c LP constraints removed 0
1130.37/1134.01 c LP pivots internal 0
1130.37/1134.01 c LP pivots root 0
1130.37/1134.01 c LP calls 0
1130.37/1134.01 c LP optimalities 0
1130.37/1134.01 c LP no pivot count 0
1130.37/1134.01 c LP infeasibilities 0
1130.37/1134.01 c LP valid Farkas constraints 0
1130.37/1134.01 c LP learned Farkas constraints 0
1130.37/1134.01 c LP basis resets 0
1130.37/1134.01 c LP cycling count 0
1130.37/1134.01 c LP singular count 0
1130.37/1134.01 c LP no primal count 0
1130.37/1134.01 c LP no farkas count 0
1130.37/1134.01 c LP other issue count 0
1130.37/1134.01 c LP Gomory cuts 0
1130.37/1134.01 c LP learned cuts 0
1130.37/1134.01 c LP deleted cuts 0
1130.37/1134.01 c LP encountered Gomory constraints 0
1130.37/1134.01 c LP encountered Farkas constraints 0
1130.37/1134.01 c LP encountered learned Farkas constraints 0
1130.37/1134.01 c CG auxiliary variables introduced 6
1130.37/1134.01 c CG solutions found 2
1130.37/1134.01 c CG cores constructed 3
1130.37/1134.01 c CG core cardinality constraints returned 1
1130.37/1134.01 c CG unit cores 0
1130.37/1134.01 c CG single cores 3
1130.37/1134.01 c CG blocks removed during cardinality reduction 0
1130.37/1134.01 c CG first core best 0
1130.37/1134.01 c CG decision core best 0
1130.37/1134.01 c CG core reduction tie 0
1130.37/1134.01 c CG core degree average 9.00
1130.37/1134.01 c CG core slack average 2.00
1130.37/1134.01 c CG exhausted 0
1130.37/1134.01 c CG exhaust time 0.867344 s
1130.37/1134.01 c CG trimmed 0
1130.37/1134.01 c CG trim time 0.000166 s
1130.37/1134.01 c CG minimized 0
1130.37/1134.01 c CG minimize time 0 s
1130.37/1134.01 c CG am1 prop time 0.006841 s
1130.37/1134.01 c CG # am1s reformulated 1
1130.37/1134.01 c CG lower bound derived from am1s 1
1130.37/1134.01 c CG # clausal cores 2
1130.37/1134.01 c CG # cardinality cores 1
1130.37/1134.01 c CG # pb cores 0
1130.37/1134.01 c CG # pb reforms 0
1130.37/1134.01 c CG # cores discarded because of pb reform 0
1130.37/1134.01 d LOWERBOUND 28
1130.37/1134.01 d NCORES 3
1130.37/1134.01 d NPBCORES 0
1130.37/1134.01 d NPBREFORM 0
1130.37/1134.01 d NTRIMMED 0
1130.37/1134.01 d NEXHAUSTED 0
1130.37/1134.01 d NAM1S 1
1130.37/1134.01 d AM1LB 1
1130.37/1134.01 o 29
1130.37/1134.01 s OPTIMUM FOUND
1130.37/1134.01 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (59661 MiB free)
memory of node 1: 64507 MiB (59467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509466-1751525308/watcher-4509466-1751525308 -o /tmp/evaluation-result-4509466-1751525308/solver-4509466-1751525308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70847 --watchdog 3760 pb-oll-rs HOME/instance-4509466-1751525308.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71628, runsolver pid=71625
[startup+0.100072 s]*
/proc/loadavg: 4.14 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121980464/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=24912 memory=10240 CPUtime=0.1 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 1541 0 0 0 8 2 0 0 20 0 1 0 68210469 25509888 2560 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 6228 2560 1344 243 0 2477 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24912 KiB
Current children cumulated memory: 10240 KiB
[startup+0.213418 s]*
/proc/loadavg: 4.14 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121980472/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=25048 memory=11136 CPUtime=0.21 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 1776 0 0 0 19 2 0 0 20 0 1 0 68210469 25649152 2784 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 6262 2784 1344 243 0 2511 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25048 KiB
Current children cumulated memory: 11136 KiB
[startup+0.313249 s]*
/proc/loadavg: 4.14 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121980472/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=25180 memory=13616 CPUtime=0.31 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 1865 0 0 0 28 3 0 0 20 0 1 0 68210469 25784320 3404 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 6295 3404 1344 243 0 2544 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25180 KiB
Current children cumulated memory: 13616 KiB
[startup+0.700315 s]
/proc/loadavg: 4.14 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121972408/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=26268 memory=15408 CPUtime=0.68 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 2315 0 0 0 61 7 0 0 20 0 1 0 68210469 26898432 3852 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 6567 3852 1344 243 0 2816 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 15408 KiB
[startup+1.50031 s]
/proc/loadavg: 4.14 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121965036/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=44888 memory=30124 CPUtime=1.48 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 4474 0 0 0 137 11 0 0 20 0 1 0 68210469 45965312 7531 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 11222 7531 1344 243 0 7471 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44888 KiB
Current children cumulated memory: 30124 KiB
[startup+3.11287 s]
/proc/loadavg: 4.21 4.26 4.19 5/250 71629
/proc/meminfo: memFree=121913808/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=69636 memory=53448 CPUtime=3.09 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 8265 0 0 0 290 19 0 0 20 0 1 0 68210469 71307264 13362 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 17409 13362 1344 243 0 13658 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69636 KiB
Current children cumulated memory: 53448 KiB
[startup+6.3003 s]
/proc/loadavg: 4.21 4.26 4.19 5/250 71629
/proc/meminfo: memFree=121865832/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=95804 memory=83216 CPUtime=6.27 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 14770 0 0 0 599 28 0 0 20 0 1 0 68210469 98103296 20804 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 23951 20804 1344 243 0 20200 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95804 KiB
Current children cumulated memory: 83216 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.25 4.18 5/250 71629
/proc/meminfo: memFree=121813628/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=132264 memory=106636 CPUtime=12.65 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 19604 0 0 0 1220 45 0 0 20 0 1 0 68210469 135438336 26659 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 33066 26659 1344 243 0 29315 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 132264 KiB
Current children cumulated memory: 106636 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.24 4.18 5/250 71629
/proc/meminfo: memFree=121724808/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=158380 memory=142184 CPUtime=25.41 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 25936 0 0 0 2464 77 0 0 20 0 1 0 68210469 162181120 35546 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 39595 35546 1344 243 0 35844 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158380 KiB
Current children cumulated memory: 142184 KiB
[startup+51.1129 s]
/proc/loadavg: 4.18 4.23 4.18 5/250 71630
/proc/meminfo: memFree=121526316/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=246148 memory=215860 CPUtime=50.95 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 39766 0 0 0 4974 121 0 0 20 0 1 0 68210469 252055552 53965 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 61537 53965 1344 243 0 57786 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 246148 KiB
Current children cumulated memory: 215860 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/250 71634
/proc/meminfo: memFree=121303844/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=359432 memory=299804 CPUtime=102 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 55130 0 0 0 10016 184 0 0 20 0 1 0 68210469 368058368 74951 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 89858 74951 1344 243 0 86107 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 359432 KiB
Current children cumulated memory: 299804 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/249 71637
/proc/meminfo: memFree=120910248/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=557688 memory=441872 CPUtime=161.83 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 80428 0 0 0 15929 254 0 0 20 0 1 0 68210469 571072512 110468 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 139422 110468 1344 243 0 135671 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 557688 KiB
Current children cumulated memory: 441872 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/249 71639
/proc/meminfo: memFree=120703028/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=606288 memory=484240 CPUtime=221.66 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 91045 0 0 0 21842 324 0 0 20 0 1 0 68210469 620838912 121060 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 151572 121060 1344 243 0 147821 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 606288 KiB
Current children cumulated memory: 484240 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/249 71686
/proc/meminfo: memFree=125020840/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=641812 memory=514832 CPUtime=281.49 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 98731 0 0 0 27742 407 0 0 20 0 1 0 68210469 657215488 128708 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 160453 128708 1344 243 0 156702 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 641812 KiB
Current children cumulated memory: 514832 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/249 71687
/proc/meminfo: memFree=124799604/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=693036 memory=597480 CPUtime=341.32 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 109162 0 0 0 33688 444 0 0 20 0 1 0 68210469 709668864 149370 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 173259 149370 1344 243 0 169508 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 693036 KiB
Current children cumulated memory: 597480 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/250 71690
/proc/meminfo: memFree=124697952/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=713048 memory=613480 CPUtime=401.15 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 113150 0 0 0 39652 463 0 0 20 0 1 0 68210469 730161152 153370 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 178262 153370 1344 243 0 174511 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 713048 KiB
Current children cumulated memory: 613480 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/250 71696
/proc/meminfo: memFree=124515580/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=742468 memory=639336 CPUtime=460.98 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 119650 0 0 0 45588 510 0 0 20 0 1 0 68210469 760287232 159834 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 185617 159834 1344 243 0 181866 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.14 5/250 71702
/proc/meminfo: memFree=124301284/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1016008 memory=789184 CPUtime=640.38 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 147994 0 0 0 63362 676 0 0 20 0 1 0 68210469 1040392192 197296 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 254002 197296 1344 243 0 250251 0
Current children cumulated CPU time: 640.38 s
Current children cumulated vsize: 1016008 KiB
Current children cumulated memory: 789184 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 71707
/proc/meminfo: memFree=124172688/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1073160 memory=905940 CPUtime=700.19 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 162871 0 0 0 69320 699 0 0 20 0 1 0 68210469 1098915840 226485 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 268290 226485 1344 243 0 264539 0
Current children cumulated CPU time: 700.19 s
Current children cumulated vsize: 1073160 KiB
Current children cumulated memory: 905940 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/250 71720
/proc/meminfo: memFree=124108468/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1087980 memory=918868 CPUtime=759.99 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 166091 0 0 0 75251 748 0 0 20 0 1 0 68210469 1114091520 229717 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 271995 229717 1344 243 0 268244 0
Current children cumulated CPU time: 759.99 s
Current children cumulated vsize: 1087980 KiB
Current children cumulated memory: 918868 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/250 71722
/proc/meminfo: memFree=124016096/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1087980 memory=919636 CPUtime=819.78 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 166299 0 0 0 81173 805 0 0 20 0 1 0 68210469 1114091520 229909 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 271995 229909 1344 243 0 268244 0
Current children cumulated CPU time: 819.78 s
Current children cumulated vsize: 1087980 KiB
Current children cumulated memory: 919636 KiB
[startup+882.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/250 71724
/proc/meminfo: memFree=123815532/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1137644 memory=957140 CPUtime=879.59 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 175689 0 0 0 87110 849 0 0 20 0 1 0 68210469 1164947456 239285 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 284411 239285 1344 243 0 280660 0
Current children cumulated CPU time: 879.59 s
Current children cumulated vsize: 1137644 KiB
Current children cumulated memory: 957140 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/251 71816
/proc/meminfo: memFree=127360528/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1137644 memory=957268 CPUtime=939.31 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 175717 0 0 0 93016 915 0 0 20 0 1 0 68210469 1164947456 239317 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 284411 239317 1344 243 0 280660 0
Current children cumulated CPU time: 939.31 s
Current children cumulated vsize: 1137644 KiB
Current children cumulated memory: 957268 KiB
[startup+1002.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 71818
/proc/meminfo: memFree=127222324/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1137644 memory=957652 CPUtime=999.11 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 175788 0 0 0 98974 937 0 0 20 0 1 0 68210469 1164947456 239413 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 284411 239413 1344 243 0 280660 0
Current children cumulated CPU time: 999.11 s
Current children cumulated vsize: 1137644 KiB
Current children cumulated memory: 957652 KiB
[startup+1062.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/250 71820
/proc/meminfo: memFree=127134360/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1176288 memory=987348 CPUtime=1058.9 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 183213 0 0 0 104926 964 0 0 20 0 1 0 68210469 1204518912 246837 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 294072 246837 1344 243 0 290321 0
Current children cumulated CPU time: 1058.9 s
Current children cumulated vsize: 1176288 KiB
Current children cumulated memory: 987348 KiB
[startup+1122.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/251 71827
/proc/meminfo: memFree=127066568/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1195748 memory=1005396 CPUtime=1118.7 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 187740 0 0 0 110894 976 0 0 20 0 1 0 68210469 1224445952 251349 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 298937 251349 1344 243 0 295186 0
Current children cumulated CPU time: 1118.7 s
Current children cumulated vsize: 1195748 KiB
Current children cumulated memory: 1005396 KiB
[startup+1134.07 s]
# the end of solver process 71628 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1120.56 s, system=9.87928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 4.16 4.12 4.12 5/251 71827
/proc/meminfo: memFree=127051196/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1197284 memory=1006676 CPUtime=1122.78 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 188060 0 0 0 111301 977 0 0 20 0 1 0 68210469 1226018816 251669 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 299321 251669 1344 243 0 295570 0
Current children cumulated CPU time: 1122.78 s
Current children cumulated vsize: 1197284 KiB
Current children cumulated memory: 1006676 KiB
[startup+1129.6 s]
/proc/loadavg: 4.22 4.14 4.12 5/251 71827
/proc/meminfo: memFree=127035320/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1198308 memory=1007316 CPUtime=1125.97 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 188231 0 0 0 111620 977 0 0 20 0 1 0 68210469 1227067392 251829 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 299577 251829 1344 243 0 295826 0
Current children cumulated CPU time: 1125.97 s
Current children cumulated vsize: 1198308 KiB
Current children cumulated memory: 1007316 KiB
[startup+1131.2 s]
/proc/loadavg: 4.22 4.14 4.12 5/251 71827
/proc/meminfo: memFree=127019064/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1200548 memory=1009108 CPUtime=1127.57 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 188686 0 0 0 111779 978 0 0 20 0 1 0 68210469 1229361152 252277 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 300137 252277 1344 243 0 296386 0
Current children cumulated CPU time: 1127.57 s
Current children cumulated vsize: 1200548 KiB
Current children cumulated memory: 1009108 KiB
[startup+1132.8 s]
/proc/loadavg: 4.22 4.14 4.12 5/251 71827
/proc/meminfo: memFree=127013232/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1203904 memory=1011668 CPUtime=1129.16 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 189304 0 0 0 111936 980 0 0 20 0 1 0 68210469 1232797696 252917 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 300976 252917 1344 243 0 297225 0
Current children cumulated CPU time: 1129.16 s
Current children cumulated vsize: 1203904 KiB
Current children cumulated memory: 1011668 KiB
[startup+1133.6 s]
/proc/loadavg: 4.29 4.15 4.13 5/251 71827
/proc/meminfo: memFree=127013504/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1203904 memory=1011668 CPUtime=1129.96 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 189304 0 0 0 112014 982 0 0 20 0 1 0 68210469 1232797696 252917 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 300976 252917 1344 243 0 297225 0
Current children cumulated CPU time: 1129.96 s
Current children cumulated vsize: 1203904 KiB
Current children cumulated memory: 1011668 KiB
[startup+1134 s]*
/proc/loadavg: 4.29 4.15 4.13 5/251 71827
/proc/meminfo: memFree=127013504/131382112 swapFree=33010416/33010684
[pid=71628] ppid=71625 vsize=1203904 memory=1011668 CPUtime=1130.37 cores=1,3
/proc/71628/stat : 71628 (pb-oll-rs) R 71625 71628 70835 0 -1 4194304 189304 0 0 0 112054 983 0 0 20 0 1 0 68210469 1232797696 252917 18446744073709551615 4218880 5211445 140724554890784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 6840320 140724554893724 140724554893801 140724554893801 140724554899403 0
/proc/71628/statm: 300976 252917 1344 243 0 297225 0
Current children cumulated CPU time: 1130.37 s
Current children cumulated vsize: 1203904 KiB
Current children cumulated memory: 1011668 KiB
Child status: 0
Real time (s): 1134.07
CPU time (s): 1130.44
CPU user time (s): 1120.56
CPU system time (s): 9.87928
CPU usage (%): 99.6798
Max. virtual memory (cumulated for all children) (KiB): 1203904
Max. memory (cumulated for all children) (KiB): 1011668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1120.56
system time used= 9.87928
maximum resident set size= 1011668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189315
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= 82
involuntary context switches= 1287
# summary of solver processes directly reported to runsolver:
# pid: 71628
# total CPU time (s): 1130.44
# total CPU user time (s): 1120.56
# total CPU system time (s): 9.87928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04762 second user time and 11.5677 second system time
The end
Begin job on nodeC012 at 2025-07-03 08:48:28
IDJOB=4509466
IDBENCH=158620
IDSOLVER=3345
FILE ID=nodeC012/4509466-1751525308
RUNJOBID= nodeC012-1751518082-70847
SLURM_JOB_ID= 9598636
Free space on /tmp= 431876 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509466-1751525308/watcher-4509466-1751525308 -o /tmp/evaluation-result-4509466-1751525308/solver-4509466-1751525308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70847 --watchdog 3760 pb-oll-rs HOME/instance-4509466-1751525308.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 152bb06216511240edab5f108e287529
RANDOM SEED=625671465
nodeC012 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.109
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.39
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.156
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.39
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.538
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.39
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.510
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.39
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 : 2893.117
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.39
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 : 3650.032
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.259
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.230
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 121992372 kB
MemAvailable: 122007308 kB
Buffers: 2136 kB
Cached: 816388 kB
SwapCached: 16 kB
Active: 8639788 kB
Inactive: 198684 kB
Active(anon): 8030896 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 191688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4216 kB
Writeback: 0 kB
AnonPages: 8023076 kB
Mapped: 107252 kB
Shmem: 17944 kB
KReclaimable: 107584 kB
Slab: 192588 kB
SReclaimable: 107584 kB
SUnreclaim: 85004 kB
KernelStack: 4060 kB
PageTables: 20632 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 9770024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1138688 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431876 MiB
End job on nodeC012 at 2025-07-03 09:07:22