0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.09 c [STEP] solving
0.00/0.09 c #variables 8901 #constraints 32298
0.00/0.09 c SMALL=int, LARGE=long long
0.00/0.09 c bounds - >= 5 @ 0.064963
0.00/0.09 c stratification level: 0
0.10/0.15 c bounds - >= 6 @ 0.111404
0.10/0.15 c bounds - >= 7 @ 0.112893
0.10/0.15 c bounds - >= 8 @ 0.114042
0.10/0.15 c bounds - >= 9 @ 0.114308
0.10/0.15 c bounds - >= 10 @ 0.115302
0.10/0.15 c finalizing WCE round: reformulating cores
1.99/2.04 c #Conflicts: 1000 | #Constraints: 33320
1.99/2.04 c bounds 27 >= 10 @ 1.72489
1.99/2.04 c bounds 27 >= 11 @ 1.73233
1.99/2.04 c bounds 27 >= 12 @ 1.80024
1.99/2.04 c bounds 27 >= 13 @ 1.94839
1.99/2.04 c finalizing WCE round: reformulating cores
872.06/874.39 c #Conflicts: 2000 | #Constraints: 34358
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c bounds 24 >= 13 @ 2.80041
872.06/874.39 c #Conflicts: 3000 | #Constraints: 34357
872.06/874.39 c #Conflicts: 4000 | #Constraints: 35357
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 5000 | #Constraints: 34785
872.06/874.39 c bounds 24 >= 14 @ 8.2658
872.06/874.39 c #Conflicts: 6000 | #Constraints: 35807
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 7000 | #Constraints: 34811
872.06/874.39 c #Conflicts: 8000 | #Constraints: 35811
872.06/874.39 c #Conflicts: 9000 | #Constraints: 36811
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 10000 | #Constraints: 35530
872.06/874.39 c #Conflicts: 11000 | #Constraints: 36530
872.06/874.39 c #Conflicts: 12000 | #Constraints: 37530
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 13000 | #Constraints: 36019
872.06/874.39 c #Conflicts: 14000 | #Constraints: 37019
872.06/874.39 c #Conflicts: 15000 | #Constraints: 38019
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 16000 | #Constraints: 36280
872.06/874.39 c #Conflicts: 17000 | #Constraints: 37280
872.06/874.39 c #Conflicts: 18000 | #Constraints: 38280
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 19000 | #Constraints: 36321
872.06/874.39 c #Conflicts: 20000 | #Constraints: 37321
872.06/874.39 c #Conflicts: 21000 | #Constraints: 38321
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 22000 | #Constraints: 36154
872.06/874.39 c #Conflicts: 23000 | #Constraints: 37154
872.06/874.39 c #Conflicts: 24000 | #Constraints: 38154
872.06/874.39 c #Conflicts: 25000 | #Constraints: 39154
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 26000 | #Constraints: 36779
872.06/874.39 c #Conflicts: 27000 | #Constraints: 37779
872.06/874.39 c #Conflicts: 28000 | #Constraints: 38779
872.06/874.39 c #Conflicts: 29000 | #Constraints: 39779
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 30000 | #Constraints: 37186
872.06/874.39 c #Conflicts: 31000 | #Constraints: 38186
872.06/874.39 c #Conflicts: 32000 | #Constraints: 39186
872.06/874.39 c #Conflicts: 33000 | #Constraints: 40186
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 34000 | #Constraints: 37404
872.06/874.39 c #Conflicts: 35000 | #Constraints: 38404
872.06/874.39 c #Conflicts: 36000 | #Constraints: 39404
872.06/874.39 c #Conflicts: 37000 | #Constraints: 40404
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 38000 | #Constraints: 37393
872.06/874.39 c #Conflicts: 39000 | #Constraints: 38393
872.06/874.39 c #Conflicts: 40000 | #Constraints: 39393
872.06/874.39 c #Conflicts: 41000 | #Constraints: 40393
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 42000 | #Constraints: 37211
872.06/874.39 c #Conflicts: 43000 | #Constraints: 38211
872.06/874.39 c #Conflicts: 44000 | #Constraints: 39211
872.06/874.39 c #Conflicts: 45000 | #Constraints: 40211
872.06/874.39 c #Conflicts: 46000 | #Constraints: 41211
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 47000 | #Constraints: 37822
872.06/874.39 c #Conflicts: 48000 | #Constraints: 38822
872.06/874.39 c #Conflicts: 49000 | #Constraints: 39822
872.06/874.39 c #Conflicts: 50000 | #Constraints: 40822
872.06/874.39 c #Conflicts: 51000 | #Constraints: 41822
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 52000 | #Constraints: 38245
872.06/874.39 c #Conflicts: 53000 | #Constraints: 39245
872.06/874.39 c #Conflicts: 54000 | #Constraints: 40245
872.06/874.39 c #Conflicts: 55000 | #Constraints: 41245
872.06/874.39 c #Conflicts: 56000 | #Constraints: 42245
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 57000 | #Constraints: 38470
872.06/874.39 c #Conflicts: 58000 | #Constraints: 39470
872.06/874.39 c #Conflicts: 59000 | #Constraints: 40470
872.06/874.39 c #Conflicts: 60000 | #Constraints: 41470
872.06/874.39 c #Conflicts: 61000 | #Constraints: 42470
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 62000 | #Constraints: 38440
872.06/874.39 c #Conflicts: 63000 | #Constraints: 39440
872.06/874.39 c #Conflicts: 64000 | #Constraints: 40440
872.06/874.39 c #Conflicts: 65000 | #Constraints: 41440
872.06/874.39 c #Conflicts: 66000 | #Constraints: 42440
872.06/874.39 c INPROCESSING
872.06/874.39 c GARBAGE COLLECT
872.06/874.39 c #Conflicts: 67000 | #Constraints: 38269
872.06/874.39 c #Conflicts: 68000 | #Constraints: 39269
2267.74/2273.60 c #Conflicts: 69000 | #Constraints: 40269
2267.74/2273.60 c #Conflicts: 70000 | #Constraints: 41269
2267.74/2273.60 c #Conflicts: 71000 | #Constraints: 42269
2267.74/2273.60 c #Conflicts: 72000 | #Constraints: 43269
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 73000 | #Constraints: 38901
2267.74/2273.60 c #Conflicts: 74000 | #Constraints: 39901
2267.74/2273.60 c #Conflicts: 75000 | #Constraints: 40901
2267.74/2273.60 c #Conflicts: 76000 | #Constraints: 41901
2267.74/2273.60 c #Conflicts: 77000 | #Constraints: 42901
2267.74/2273.60 c #Conflicts: 78000 | #Constraints: 43901
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 79000 | #Constraints: 39207
2267.74/2273.60 c #Conflicts: 80000 | #Constraints: 40207
2267.74/2273.60 c #Conflicts: 81000 | #Constraints: 41207
2267.74/2273.60 c #Conflicts: 82000 | #Constraints: 42207
2267.74/2273.60 c #Conflicts: 83000 | #Constraints: 43207
2267.74/2273.60 c #Conflicts: 84000 | #Constraints: 44207
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 85000 | #Constraints: 39467
2267.74/2273.60 c #Conflicts: 86000 | #Constraints: 40467
2267.74/2273.60 c #Conflicts: 87000 | #Constraints: 41467
2267.74/2273.60 c #Conflicts: 88000 | #Constraints: 42467
2267.74/2273.60 c #Conflicts: 89000 | #Constraints: 43467
2267.74/2273.60 c #Conflicts: 90000 | #Constraints: 44467
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 91000 | #Constraints: 39422
2267.74/2273.60 c #Conflicts: 92000 | #Constraints: 40422
2267.74/2273.60 c #Conflicts: 93000 | #Constraints: 41422
2267.74/2273.60 c #Conflicts: 94000 | #Constraints: 42422
2267.74/2273.60 c #Conflicts: 95000 | #Constraints: 43422
2267.74/2273.60 c #Conflicts: 96000 | #Constraints: 44422
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 97000 | #Constraints: 39243
2267.74/2273.60 c #Conflicts: 98000 | #Constraints: 40243
2267.74/2273.60 c #Conflicts: 99000 | #Constraints: 41243
2267.74/2273.60 c #Conflicts: 100000 | #Constraints: 42243
2267.74/2273.60 c #Conflicts: 101000 | #Constraints: 43243
2267.74/2273.60 c #Conflicts: 102000 | #Constraints: 44243
2267.74/2273.60 c #Conflicts: 103000 | #Constraints: 45243
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 104000 | #Constraints: 39874
2267.74/2273.60 c #Conflicts: 105000 | #Constraints: 40874
2267.74/2273.60 c #Conflicts: 106000 | #Constraints: 41874
2267.74/2273.60 c #Conflicts: 107000 | #Constraints: 42874
2267.74/2273.60 c #Conflicts: 108000 | #Constraints: 43874
2267.74/2273.60 c #Conflicts: 109000 | #Constraints: 44874
2267.74/2273.60 c #Conflicts: 110000 | #Constraints: 45874
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 111000 | #Constraints: 40312
2267.74/2273.60 c #Conflicts: 112000 | #Constraints: 41312
2267.74/2273.60 c #Conflicts: 113000 | #Constraints: 42312
2267.74/2273.60 c #Conflicts: 114000 | #Constraints: 43312
2267.74/2273.60 c #Conflicts: 115000 | #Constraints: 44312
2267.74/2273.60 c #Conflicts: 116000 | #Constraints: 45312
2267.74/2273.60 c #Conflicts: 117000 | #Constraints: 46312
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 118000 | #Constraints: 40494
2267.74/2273.60 c #Conflicts: 119000 | #Constraints: 41494
2267.74/2273.60 c #Conflicts: 120000 | #Constraints: 42494
2267.74/2273.60 c #Conflicts: 121000 | #Constraints: 43494
2267.74/2273.60 c #Conflicts: 122000 | #Constraints: 44494
2267.74/2273.60 c #Conflicts: 123000 | #Constraints: 45494
2267.74/2273.60 c #Conflicts: 124000 | #Constraints: 46494
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 125000 | #Constraints: 40510
2267.74/2273.60 c #Conflicts: 126000 | #Constraints: 41510
2267.74/2273.60 c #Conflicts: 127000 | #Constraints: 42510
2267.74/2273.60 c #Conflicts: 128000 | #Constraints: 43510
2267.74/2273.60 c #Conflicts: 129000 | #Constraints: 44510
2267.74/2273.60 c #Conflicts: 130000 | #Constraints: 45510
2267.74/2273.60 c #Conflicts: 131000 | #Constraints: 46510
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 132000 | #Constraints: 40278
2267.74/2273.60 c #Conflicts: 133000 | #Constraints: 41278
2267.74/2273.60 c #Conflicts: 134000 | #Constraints: 42278
2267.74/2273.60 c #Conflicts: 135000 | #Constraints: 43278
2267.74/2273.60 c #Conflicts: 136000 | #Constraints: 44278
2267.74/2273.60 c #Conflicts: 137000 | #Constraints: 45278
2267.74/2273.60 c #Conflicts: 138000 | #Constraints: 46278
2267.74/2273.60 c #Conflicts: 139000 | #Constraints: 47278
2267.74/2273.60 c INPROCESSING
2267.74/2273.60 c GARBAGE COLLECT
2267.74/2273.60 c #Conflicts: 140000 | #Constraints: 40914
3451.66/3460.67 c #Conflicts: 141000 | #Constraints: 41914
3451.66/3460.67 c #Conflicts: 142000 | #Constraints: 42914
3451.66/3460.67 c #Conflicts: 143000 | #Constraints: 43914
3451.66/3460.67 c #Conflicts: 144000 | #Constraints: 44914
3451.66/3460.67 c #Conflicts: 145000 | #Constraints: 45914
3451.66/3460.67 c #Conflicts: 146000 | #Constraints: 46914
3451.66/3460.67 c #Conflicts: 147000 | #Constraints: 47914
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 148000 | #Constraints: 41327
3451.66/3460.67 c #Conflicts: 149000 | #Constraints: 42327
3451.66/3460.67 c #Conflicts: 150000 | #Constraints: 43327
3451.66/3460.67 c #Conflicts: 151000 | #Constraints: 44327
3451.66/3460.67 c #Conflicts: 152000 | #Constraints: 45327
3451.66/3460.67 c #Conflicts: 153000 | #Constraints: 46327
3451.66/3460.67 c #Conflicts: 154000 | #Constraints: 47327
3451.66/3460.67 c #Conflicts: 155000 | #Constraints: 48327
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 156000 | #Constraints: 41534
3451.66/3460.67 c #Conflicts: 157000 | #Constraints: 42534
3451.66/3460.67 c #Conflicts: 158000 | #Constraints: 43534
3451.66/3460.67 c #Conflicts: 159000 | #Constraints: 44534
3451.66/3460.67 c #Conflicts: 160000 | #Constraints: 45534
3451.66/3460.67 c #Conflicts: 161000 | #Constraints: 46534
3451.66/3460.67 c #Conflicts: 162000 | #Constraints: 47534
3451.66/3460.67 c #Conflicts: 163000 | #Constraints: 48534
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 164000 | #Constraints: 41429
3451.66/3460.67 c #Conflicts: 165000 | #Constraints: 42429
3451.66/3460.67 c #Conflicts: 166000 | #Constraints: 43429
3451.66/3460.67 c #Conflicts: 167000 | #Constraints: 44429
3451.66/3460.67 c #Conflicts: 168000 | #Constraints: 45429
3451.66/3460.67 c #Conflicts: 169000 | #Constraints: 46429
3451.66/3460.67 c #Conflicts: 170000 | #Constraints: 47429
3451.66/3460.67 c #Conflicts: 171000 | #Constraints: 48429
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 172000 | #Constraints: 41222
3451.66/3460.67 c #Conflicts: 173000 | #Constraints: 42222
3451.66/3460.67 c #Conflicts: 174000 | #Constraints: 43222
3451.66/3460.67 c #Conflicts: 175000 | #Constraints: 44222
3451.66/3460.67 c #Conflicts: 176000 | #Constraints: 45222
3451.66/3460.67 c #Conflicts: 177000 | #Constraints: 46222
3451.66/3460.67 c #Conflicts: 178000 | #Constraints: 47222
3451.66/3460.67 c #Conflicts: 179000 | #Constraints: 48222
3451.66/3460.67 c #Conflicts: 180000 | #Constraints: 49222
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 181000 | #Constraints: 41825
3451.66/3460.67 c #Conflicts: 182000 | #Constraints: 42825
3451.66/3460.67 c #Conflicts: 183000 | #Constraints: 43825
3451.66/3460.67 c #Conflicts: 184000 | #Constraints: 44825
3451.66/3460.67 c #Conflicts: 185000 | #Constraints: 45825
3451.66/3460.67 c #Conflicts: 186000 | #Constraints: 46825
3451.66/3460.67 c #Conflicts: 187000 | #Constraints: 47825
3451.66/3460.67 c #Conflicts: 188000 | #Constraints: 48825
3451.66/3460.67 c #Conflicts: 189000 | #Constraints: 49825
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 190000 | #Constraints: 42265
3451.66/3460.67 c #Conflicts: 191000 | #Constraints: 43265
3451.66/3460.67 c #Conflicts: 192000 | #Constraints: 44265
3451.66/3460.67 c #Conflicts: 193000 | #Constraints: 45265
3451.66/3460.67 c #Conflicts: 194000 | #Constraints: 46265
3451.66/3460.67 c #Conflicts: 195000 | #Constraints: 47265
3451.66/3460.67 c #Conflicts: 196000 | #Constraints: 48265
3451.66/3460.67 c #Conflicts: 197000 | #Constraints: 49265
3451.66/3460.67 c #Conflicts: 198000 | #Constraints: 50265
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 199000 | #Constraints: 42434
3451.66/3460.67 c #Conflicts: 200000 | #Constraints: 43434
3451.66/3460.67 c #Conflicts: 201000 | #Constraints: 44434
3451.66/3460.67 c #Conflicts: 202000 | #Constraints: 45434
3451.66/3460.67 c #Conflicts: 203000 | #Constraints: 46434
3451.66/3460.67 c #Conflicts: 204000 | #Constraints: 47434
3451.66/3460.67 c #Conflicts: 205000 | #Constraints: 48434
3451.66/3460.67 c #Conflicts: 206000 | #Constraints: 49434
3451.66/3460.67 c #Conflicts: 207000 | #Constraints: 50434
3451.66/3460.67 c INPROCESSING
3451.66/3460.67 c GARBAGE COLLECT
3451.66/3460.67 c #Conflicts: 208000 | #Constraints: 42458
3451.66/3460.67 c #Conflicts: 209000 | #Constraints: 43458
3451.66/3460.67 c #Conflicts: 210000 | #Constraints: 44458
3451.66/3460.67 c #Conflicts: 211000 | #Constraints: 45458
3451.66/3460.67 c #Conflicts: 212000 | #Constraints: 46458
3451.66/3460.67 c #Conflicts: 213000 | #Constraints: 47458
3560.01/3569.24 c #Conflicts: 214000 | #Constraints: 48458
3560.01/3569.24 c #Conflicts: 215000 | #Constraints: 49458
3560.01/3569.24 c #Conflicts: 216000 | #Constraints: 50458
3560.01/3569.24 c INPROCESSING
3560.01/3569.24 c GARBAGE COLLECT
3560.01/3569.24 c #Conflicts: 217000 | #Constraints: 42343
3560.01/3569.24 c #Conflicts: 218000 | #Constraints: 43343
3560.01/3569.24 c #Conflicts: 219000 | #Constraints: 44343
3560.01/3569.24 c #Conflicts: 220000 | #Constraints: 45343
3560.01/3569.24 c #Conflicts: 221000 | #Constraints: 46343
3560.01/3569.24 c #Conflicts: 222000 | #Constraints: 47343
3560.01/3569.24 c #Conflicts: 223000 | #Constraints: 48343
3560.01/3569.24 c #Conflicts: 224000 | #Constraints: 49343
3560.01/3569.24 c #Conflicts: 225000 | #Constraints: 50343
3560.01/3569.24 c #Conflicts: 226000 | #Constraints: 51343
3560.01/3569.24 c INPROCESSING
3560.01/3569.24 c GARBAGE COLLECT
3560.01/3569.24 c bounds 24 >= 15 @ 3528.33
3560.01/3569.24 c #Conflicts: 227000 | #Constraints: 42953
3560.01/3569.24 c #Conflicts: 228000 | #Constraints: 43953
3560.01/3569.24 c #Conflicts: 229000 | #Constraints: 44953
3560.01/3569.24 c #Conflicts: 230000 | #Constraints: 45953
3560.01/3569.24 c finalizing WCE round: reformulating cores
3600.01/3609.30 c #Conflicts: 231000 | #Constraints: 46956
3600.01/3609.30 c bounds 23 >= 15 @ 3564.97
3600.01/3609.30 c #Conflicts: 232000 | #Constraints: 47958
3600.01/3609.30 c #Conflicts: 233000 | #Constraints: 48958
3600.01/3609.30 c Program interrupted by user.
3600.01/3609.30 c cpu time 3592.31 s
3600.01/3609.30 c deterministic time 406035915508 4.06e+11
3600.01/3609.30 c optimization time 42.3142 s
3600.01/3609.30 c total solve time 3549.93 s
3600.01/3609.30 c core-guided solve time 3549.93 s
3600.01/3609.30 c propagation time 2854.67 s
3600.01/3609.30 c conflict analysis time 710.685 s
3600.01/3609.30 c propagations 419160215
3600.01/3609.30 c resolve steps 25532289
3600.01/3609.30 c decisions 5596246
3600.01/3609.30 c conflicts 233675
3600.01/3609.30 c restarts 526
3600.01/3609.30 c inprocessing phases 39
3600.01/3609.30 c input clauses 32321
3600.01/3609.30 c input cardinalities 51
3600.01/3609.30 c input general constraints 33
3600.01/3609.30 c input average constraint length 3.15
3600.01/3609.30 c input average constraint degree 1.30
3600.01/3609.30 c learned clauses 48048
3600.01/3609.30 c learned cardinalities 172
3600.01/3609.30 c learned general constraints 185460
3600.01/3609.30 c learned average constraint length 1538.47
3600.01/3609.30 c learned average constraint degree 76498102.96
3600.01/3609.30 c watched constraints 170556
3600.01/3609.30 c counting constraints 14937
3600.01/3609.30 c gcd simplifications 2249
3600.01/3609.30 c detected cardinalities 0
3600.01/3609.30 c weakened non-implied lits 7836447
3600.01/3609.30 c weakened non-implying lits 42795
3600.01/3609.30 c original variables 8901
3600.01/3609.30 c clausal propagations 358547609
3600.01/3609.30 c cardinality propagations 158187
3600.01/3609.30 c watched propagations 19144900
3600.01/3609.30 c counting propagations 41012034
3600.01/3609.30 c watch lookups 52743636905
3600.01/3609.30 c watch backjump lookups 47360688332
3600.01/3609.30 c watch checks 280242930343
3600.01/3609.30 c propagation checks 23043251275
3600.01/3609.30 c constraint additions 1795665478
3600.01/3609.30 c trail pops 424986713
3600.01/3609.30 c formula constraints 32298
3600.01/3609.30 c learned constraints 233680
3600.01/3609.30 c bound constraints 18
3600.01/3609.30 c core-guided constraints 89
3600.01/3609.30 c encountered formula constraints 22386136
3600.01/3609.30 c encountered learned constraints 3343688
3600.01/3609.30 c encountered bound constraints 30
3600.01/3609.30 c encountered core-guided constraints 36110
3600.01/3609.30 c LP total time 0 s
3600.01/3609.30 c LP solve time 0 s
3600.01/3609.30 c LP constraints added 0
3600.01/3609.30 c LP constraints removed 0
3600.01/3609.30 c LP pivots internal 0
3600.01/3609.30 c LP pivots root 0
3600.01/3609.30 c LP calls 0
3600.01/3609.30 c LP optimalities 0
3600.01/3609.30 c LP no pivot count 0
3600.01/3609.30 c LP infeasibilities 0
3600.01/3609.30 c LP valid Farkas constraints 0
3600.01/3609.30 c LP learned Farkas constraints 0
3600.01/3609.30 c LP basis resets 0
3600.01/3609.30 c LP cycling count 0
3600.01/3609.30 c LP singular count 0
3600.01/3609.30 c LP no primal count 0
3600.01/3609.30 c LP no farkas count 0
3600.01/3609.30 c LP other issue count 0
3600.01/3609.30 c LP Gomory cuts 0
3600.01/3609.30 c LP learned cuts 0
3600.01/3609.30 c LP deleted cuts 0
3600.01/3609.30 c LP encountered Gomory constraints 0
3600.01/3609.30 c LP encountered Farkas constraints 0
3600.01/3609.30 c LP encountered learned Farkas constraints 0
3600.01/3609.30 c CG auxiliary variables introduced 33
3600.01/3609.30 c CG solutions found 3
3600.01/3609.30 c CG cores constructed 10
3600.01/3609.30 c CG core cardinality constraints returned 0
3600.01/3609.30 c CG unit cores 0
3600.01/3609.30 c CG single cores 10
3600.01/3609.30 c CG blocks removed during cardinality reduction 0
3600.01/3609.30 c CG first core best 0
3600.01/3609.30 c CG decision core best 0
3600.01/3609.30 c CG core reduction tie 0
3600.01/3609.30 c CG core degree average 1.00
3600.01/3609.30 c CG core slack average 79.80
3600.01/3609.30 c CG exhausted 0
3600.01/3609.30 c CG exhaust time 14.9437 s
3600.01/3609.30 c CG trimmed 43
3600.01/3609.30 c CG trim time 0.01569 s
3600.01/3609.30 c CG minimized 0
3600.01/3609.30 c CG minimize time 0 s
3600.01/3609.30 c CG am1 prop time 0.009915 s
3600.01/3609.30 c CG # am1s reformulated 0
3600.01/3609.30 c CG lower bound derived from am1s 0
3600.01/3609.30 c CG # clausal cores 10
3600.01/3609.30 c CG # cardinality cores 0
3600.01/3609.30 c CG # pb cores 0
3600.01/3609.30 c CG # pb reforms 0
3600.01/3609.30 c CG # cores discarded because of pb reform 0
3600.01/3609.30 d LOWERBOUND 15
3600.01/3609.30 d NCORES 10
3600.01/3609.30 d NPBCORES 0
3600.01/3609.30 d NPBREFORM 0
3600.01/3609.30 d NTRIMMED 43
3600.01/3609.30 d NEXHAUSTED 0
3600.01/3609.30 d NAM1S 0
3600.01/3609.30 d AM1LB 0
3600.01/3609.30 o 23
3600.01/3609.30 s SATISFIABLE
3600.01/3609.30 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
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: 64059 MiB (63008 MiB free)
memory of node 1: 64510 MiB (62694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435956-1721109856/watcher-4435956-1721109856 -o /tmp/evaluation-result-4435956-1721109856/solver-4435956-1721109856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829786 --watchdog 3760 pb-oll-rs HOME/instance-4435956-1721109856.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834445, runsolver pid=834442
[startup+0.100102 s]*
/proc/loadavg: 4.20 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128714020/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=42640 memory=10988 CPUtime=0.1 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 1615 0 0 0 8 2 0 0 20 0 1 0 163141720 43663360 2747 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 10660 2747 1343 291 0 2194 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 10988 KiB
[startup+0.213132 s]*
/proc/loadavg: 4.20 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128706536/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=45012 memory=12444 CPUtime=0.21 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 2203 0 0 0 18 3 0 0 20 0 1 0 163141720 46092288 3111 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 11253 3111 1375 291 0 2787 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45012 KiB
Current children cumulated memory: 12444 KiB
[startup+0.312964 s]*
/proc/loadavg: 4.20 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128703592/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=45544 memory=15280 CPUtime=0.32 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 2362 0 0 0 28 4 0 0 20 0 1 0 163141720 46637056 3820 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 11386 3820 1375 291 0 2920 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 45544 KiB
Current children cumulated memory: 15280 KiB
[startup+0.700309 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128702248/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=51076 memory=19112 CPUtime=0.68 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 3358 0 0 0 64 4 0 0 20 0 1 0 163141720 52301824 4778 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 12769 4778 1375 291 0 4303 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51076 KiB
Current children cumulated memory: 19112 KiB
[startup+1.50033 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128697140/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=66772 memory=31492 CPUtime=1.49 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 5407 0 0 0 143 6 0 0 20 0 1 0 163141720 68374528 7873 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 16693 7873 1390 291 0 8227 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 66772 KiB
Current children cumulated memory: 31492 KiB
[startup+3.11282 s]
/proc/loadavg: 4.20 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128680088/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=69280 memory=38592 CPUtime=3.09 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 6347 0 0 0 301 8 0 0 20 0 1 0 163141720 70942720 9648 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 17320 9648 1390 291 0 8854 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69280 KiB
Current children cumulated memory: 38592 KiB
[startup+6.30031 s]
/proc/loadavg: 4.19 4.16 4.17 5/243 834446
/proc/meminfo: memFree=128653080/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=75580 memory=44628 CPUtime=6.27 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 7898 0 0 0 613 14 0 0 20 0 1 0 163141720 77393920 11157 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 18895 11157 1441 291 0 10429 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75580 KiB
Current children cumulated memory: 44628 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.16 4.17 5/243 834448
/proc/meminfo: memFree=128617784/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=79108 memory=48040 CPUtime=12.66 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 8762 0 0 0 1244 22 0 0 20 0 1 0 163141720 81006592 12010 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 19777 12010 1441 291 0 11311 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 79108 KiB
Current children cumulated memory: 48040 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.16 4.17 5/243 834449
/proc/meminfo: memFree=128563260/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=99748 memory=61700 CPUtime=25.43 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 11277 0 0 0 2512 31 0 0 20 0 1 0 163141720 102141952 15425 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 24937 15425 1441 291 0 16471 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 99748 KiB
Current children cumulated memory: 61700 KiB
[startup+51.1128 s]
/proc/loadavg: 4.14 4.15 4.17 5/242 834455
/proc/meminfo: memFree=128503400/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=106888 memory=74148 CPUtime=50.97 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 12987 0 0 0 5053 44 0 0 20 0 1 0 163141720 109453312 18537 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 26722 18537 1441 291 0 18256 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 106888 KiB
Current children cumulated memory: 74148 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/242 834464
/proc/meminfo: memFree=128447492/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=132976 memory=89216 CPUtime=102.03 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 15476 0 0 0 10134 69 0 0 20 0 1 0 163141720 136167424 22304 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 33244 22304 1441 291 0 24778 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 132976 KiB
Current children cumulated memory: 89216 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/242 834475
/proc/meminfo: memFree=128408396/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=135316 memory=98212 CPUtime=161.88 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 16338 0 0 0 16095 93 0 0 20 0 1 0 163141720 138563584 24553 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 33829 24553 1441 291 0 25363 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 135316 KiB
Current children cumulated memory: 98212 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/242 834485
/proc/meminfo: memFree=128341272/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=175068 memory=115216 CPUtime=221.72 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 18772 0 0 0 22058 114 0 0 20 0 1 0 163141720 179269632 28804 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 43767 28804 1441 291 0 35301 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 175068 KiB
Current children cumulated memory: 115216 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/241 834496
/proc/meminfo: memFree=128314020/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=179008 memory=122496 CPUtime=281.56 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 19702 0 0 0 28023 133 0 0 20 0 1 0 163141720 183304192 30624 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 44752 30624 1441 291 0 36286 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 179008 KiB
Current children cumulated memory: 122496 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/241 834506
/proc/meminfo: memFree=128218948/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=179864 memory=131076 CPUtime=341.38 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 20127 0 0 0 33985 153 0 0 20 0 1 0 163141720 184180736 32769 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 44966 32769 1441 291 0 36500 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 179864 KiB
Current children cumulated memory: 131076 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 834520
/proc/meminfo: memFree=128156496/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=183132 memory=139596 CPUtime=401.24 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 20902 0 0 0 39958 166 0 0 20 0 1 0 163141720 187527168 34899 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 45783 34899 1441 291 0 37317 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 183132 KiB
Current children cumulated memory: 139596 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/243 834530
/proc/meminfo: memFree=128107744/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=188160 memory=145296 CPUtime=461.09 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 21997 0 0 0 45931 178 0 0 20 0 1 0 163141720 192675840 36324 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 47040 36324 1441 291 0 38574 0
################
# More data... #
################
Current children cumulated memory: 267676 KiB
[startup+2922.3 s]
/proc/loadavg: 3.20 3.79 3.97 4/236 835663
/proc/meminfo: memFree=104853800/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=302532 memory=268232 CPUtime=2914.76 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 39057 0 0 0 290876 600 0 0 20 0 1 0 163141720 309792768 67058 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 75633 67058 1441 291 0 67167 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 302532 KiB
Current children cumulated memory: 268232 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.66 3.91 4/236 835673
/proc/meminfo: memFree=103583284/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=305260 memory=270636 CPUtime=2974.59 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 39837 0 0 0 296847 612 0 0 20 0 1 0 163141720 312586240 67659 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 76315 67659 1441 291 0 67849 0
Current children cumulated CPU time: 2974.59 s
Current children cumulated vsize: 305260 KiB
Current children cumulated memory: 270636 KiB
[startup+3042.3 s]
/proc/loadavg: 3.21 3.58 3.87 4/239 836070
/proc/meminfo: memFree=95953968/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=306940 memory=272008 CPUtime=3034.42 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 40302 0 0 0 302819 623 0 0 20 0 1 0 163141720 314306560 68002 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 76735 68002 1441 291 0 68269 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 306940 KiB
Current children cumulated memory: 272008 KiB
[startup+3102.3 s]
/proc/loadavg: 2.56 3.34 3.77 3/230 836118
/proc/meminfo: memFree=126662480/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=312288 memory=276024 CPUtime=3094.26 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 41464 0 0 0 308793 633 0 0 20 0 1 0 163141720 319782912 69006 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 78072 69006 1441 291 0 69606 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 312288 KiB
Current children cumulated memory: 276024 KiB
[startup+3162.3 s]
/proc/loadavg: 2.33 3.12 3.66 3/230 836128
/proc/meminfo: memFree=126657464/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=317344 memory=280184 CPUtime=3154.11 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 42694 0 0 0 314767 644 0 0 20 0 1 0 163141720 324960256 70046 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 79336 70046 1441 291 0 70870 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 317344 KiB
Current children cumulated memory: 280184 KiB
[startup+3222.3 s]
/proc/loadavg: 2.18 2.93 3.56 3/230 836138
/proc/meminfo: memFree=126655032/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=317768 memory=280556 CPUtime=3213.96 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 42901 0 0 0 320740 656 0 0 20 0 1 0 163141720 325394432 70139 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 79442 70139 1441 291 0 70976 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 317768 KiB
Current children cumulated memory: 280556 KiB
[startup+3282.3 s]
/proc/loadavg: 2.51 2.87 3.50 3/231 836318
/proc/meminfo: memFree=126652112/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=320084 memory=282204 CPUtime=3273.8 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 43544 0 0 0 326714 666 0 0 20 0 1 0 163141720 327766016 70551 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 80021 70551 1441 291 0 71555 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 320084 KiB
Current children cumulated memory: 282204 KiB
[startup+3342.3 s]
/proc/loadavg: 2.41 2.80 3.43 3/231 836328
/proc/meminfo: memFree=126647576/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=320084 memory=282204 CPUtime=3333.65 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 43653 0 0 0 332688 677 0 0 20 0 1 0 163141720 327766016 70551 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 80021 70551 1441 291 0 71555 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 320084 KiB
Current children cumulated memory: 282204 KiB
[startup+3402.3 s]
/proc/loadavg: 2.20 2.66 3.35 3/229 836351
/proc/meminfo: memFree=126611768/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=321924 memory=283484 CPUtime=3393.5 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 44259 0 0 0 338652 698 0 0 20 0 1 0 163141720 329650176 70871 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 80481 70871 1441 291 0 72015 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 321924 KiB
Current children cumulated memory: 283484 KiB
[startup+3462.3 s]
/proc/loadavg: 2.19 2.57 3.27 3/229 836361
/proc/meminfo: memFree=126583676/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=324816 memory=286448 CPUtime=3453.36 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 45189 0 0 0 344616 720 0 0 20 0 1 0 163141720 332611584 71612 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 81204 71612 1441 291 0 72738 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 324816 KiB
Current children cumulated memory: 286448 KiB
[startup+3522.3 s]
/proc/loadavg: 2.05 2.47 3.19 2/223 836405
/proc/meminfo: memFree=127558472/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=327248 memory=288816 CPUtime=3513.2 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 46039 0 0 0 350581 739 0 0 20 0 1 0 163141720 335101952 72204 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 81812 72204 1441 291 0 73346 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 327248 KiB
Current children cumulated memory: 288816 KiB
[startup+3582.3 s]
/proc/loadavg: 1.38 2.20 3.05 2/222 836415
/proc/meminfo: memFree=127534324/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=421216 memory=312924 CPUtime=3573.08 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 49923 0 0 0 356544 764 0 0 20 0 1 0 163141720 431325184 78231 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 105304 78231 1441 291 0 96838 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 421216 KiB
Current children cumulated memory: 312924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 1.31 2.11 3.00 2/222 836419
/proc/meminfo: memFree=127526864/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=421368 memory=320188 CPUtime=3600.01 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 49946 0 0 0 359230 771 0 0 20 0 1 0 163141720 431480832 80047 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 105342 80047 1441 291 0 96876 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 421368 KiB
Current children cumulated memory: 320188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 834445 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.31 s, system=7.71392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 1.31 2.11 3.00 2/222 836419
/proc/meminfo: memFree=127526864/131655788 swapFree=131071996/131071996
[pid=834445] ppid=834442 vsize=421368 memory=320188 CPUtime=3600.01 cores=1,3
/proc/834445/stat : 834445 (pb-oll-rs) R 834442 834445 829774 0 -1 4194304 49946 0 0 0 359230 771 0 0 20 0 1 0 163141720 431480832 80047 134679101440 4194304 5384005 140722853922496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25464832 140722853930007 140722853930084 140722853930084 140722853937099 0
/proc/834445/statm: 105342 80047 1441 291 0 96876 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 421368 KiB
Current children cumulated memory: 320188 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.02
CPU user time (s): 3592.31
CPU system time (s): 7.71392
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 421584
Max. memory (cumulated for all children) (KiB): 320188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.31
system time used= 7.71392
maximum resident set size= 320540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49962
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= 107
involuntary context switches= 2762
# summary of solver processes directly reported to runsolver:
# pid: 834445
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.31
# total CPU system time (s): 7.71392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7653 second user time and 34.3042 second system time
The end
Begin job on nodeC003 at 2024-07-16 08:04:28
IDJOB=4435956
IDBENCH=148193
IDSOLVER=3067
FILE ID=nodeC003/4435956-1721109856
RUNJOBID= nodeC003-1721102552-829786
SLURM_JOB_ID= 7505615
Free space on /tmp= 723764 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435956-1721109856/watcher-4435956-1721109856 -o /tmp/evaluation-result-4435956-1721109856/solver-4435956-1721109856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829786 --watchdog 3760 pb-oll-rs HOME/instance-4435956-1721109856.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1657800137
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3672.823
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.911
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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.482
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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.217
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 3673.066
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 3644.132
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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.478
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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.268
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128720060 kB
MemAvailable: 129630044 kB
Buffers: 407164 kB
Cached: 1336560 kB
SwapCached: 0 kB
Active: 641048 kB
Inactive: 1753232 kB
Active(anon): 1460 kB
Inactive(anon): 686508 kB
Active(file): 639588 kB
Inactive(file): 1066724 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2384 kB
Writeback: 12 kB
AnonPages: 650336 kB
Mapped: 107924 kB
Shmem: 37704 kB
KReclaimable: 87404 kB
Slab: 183336 kB
SReclaimable: 87404 kB
SUnreclaim: 95932 kB
KernelStack: 3916 kB
PageTables: 10560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1084924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 292864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228168 kB
DirectMap2M: 14356480 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-16 09:04:38