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.064565
0.00/0.09 c stratification level: 0
0.09/0.14 c bounds - >= 6 @ 0.109214
0.09/0.14 c bounds - >= 7 @ 0.109946
0.09/0.14 c bounds - >= 8 @ 0.111718
0.09/0.14 c bounds - >= 9 @ 0.112538
0.09/0.14 c bounds - >= 10 @ 0.113998
0.09/0.14 c finalizing WCE round: reformulating cores
1.69/1.76 c #Conflicts: 1000 | #Constraints: 33320
1.69/1.76 c bounds 27 >= 10 @ 1.47168
1.69/1.76 c bounds 27 >= 11 @ 1.47829
1.69/1.76 c bounds 27 >= 12 @ 1.54093
1.69/1.76 c bounds 27 >= 13 @ 1.67203
1.69/1.76 c finalizing WCE round: reformulating cores
809.44/811.56 c #Conflicts: 2000 | #Constraints: 34358
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c bounds 24 >= 13 @ 2.47047
809.44/811.56 c #Conflicts: 3000 | #Constraints: 34357
809.44/811.56 c #Conflicts: 4000 | #Constraints: 35357
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 5000 | #Constraints: 34785
809.44/811.56 c bounds 24 >= 14 @ 7.37174
809.44/811.56 c #Conflicts: 6000 | #Constraints: 35807
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 7000 | #Constraints: 34811
809.44/811.56 c #Conflicts: 8000 | #Constraints: 35811
809.44/811.56 c #Conflicts: 9000 | #Constraints: 36811
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 10000 | #Constraints: 35530
809.44/811.56 c #Conflicts: 11000 | #Constraints: 36530
809.44/811.56 c #Conflicts: 12000 | #Constraints: 37530
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 13000 | #Constraints: 36019
809.44/811.56 c #Conflicts: 14000 | #Constraints: 37019
809.44/811.56 c #Conflicts: 15000 | #Constraints: 38019
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 16000 | #Constraints: 36280
809.44/811.56 c #Conflicts: 17000 | #Constraints: 37280
809.44/811.56 c #Conflicts: 18000 | #Constraints: 38280
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 19000 | #Constraints: 36321
809.44/811.56 c #Conflicts: 20000 | #Constraints: 37321
809.44/811.56 c #Conflicts: 21000 | #Constraints: 38321
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 22000 | #Constraints: 36154
809.44/811.56 c #Conflicts: 23000 | #Constraints: 37154
809.44/811.56 c #Conflicts: 24000 | #Constraints: 38154
809.44/811.56 c #Conflicts: 25000 | #Constraints: 39154
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 26000 | #Constraints: 36779
809.44/811.56 c #Conflicts: 27000 | #Constraints: 37779
809.44/811.56 c #Conflicts: 28000 | #Constraints: 38779
809.44/811.56 c #Conflicts: 29000 | #Constraints: 39779
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 30000 | #Constraints: 37186
809.44/811.56 c #Conflicts: 31000 | #Constraints: 38186
809.44/811.56 c #Conflicts: 32000 | #Constraints: 39186
809.44/811.56 c #Conflicts: 33000 | #Constraints: 40186
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 34000 | #Constraints: 37404
809.44/811.56 c #Conflicts: 35000 | #Constraints: 38404
809.44/811.56 c #Conflicts: 36000 | #Constraints: 39404
809.44/811.56 c #Conflicts: 37000 | #Constraints: 40404
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 38000 | #Constraints: 37393
809.44/811.56 c #Conflicts: 39000 | #Constraints: 38393
809.44/811.56 c #Conflicts: 40000 | #Constraints: 39393
809.44/811.56 c #Conflicts: 41000 | #Constraints: 40393
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 42000 | #Constraints: 37211
809.44/811.56 c #Conflicts: 43000 | #Constraints: 38211
809.44/811.56 c #Conflicts: 44000 | #Constraints: 39211
809.44/811.56 c #Conflicts: 45000 | #Constraints: 40211
809.44/811.56 c #Conflicts: 46000 | #Constraints: 41211
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 47000 | #Constraints: 37822
809.44/811.56 c #Conflicts: 48000 | #Constraints: 38822
809.44/811.56 c #Conflicts: 49000 | #Constraints: 39822
809.44/811.56 c #Conflicts: 50000 | #Constraints: 40822
809.44/811.56 c #Conflicts: 51000 | #Constraints: 41822
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 52000 | #Constraints: 38245
809.44/811.56 c #Conflicts: 53000 | #Constraints: 39245
809.44/811.56 c #Conflicts: 54000 | #Constraints: 40245
809.44/811.56 c #Conflicts: 55000 | #Constraints: 41245
809.44/811.56 c #Conflicts: 56000 | #Constraints: 42245
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 57000 | #Constraints: 38470
809.44/811.56 c #Conflicts: 58000 | #Constraints: 39470
809.44/811.56 c #Conflicts: 59000 | #Constraints: 40470
809.44/811.56 c #Conflicts: 60000 | #Constraints: 41470
809.44/811.56 c #Conflicts: 61000 | #Constraints: 42470
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 62000 | #Constraints: 38440
809.44/811.56 c #Conflicts: 63000 | #Constraints: 39440
809.44/811.56 c #Conflicts: 64000 | #Constraints: 40440
809.44/811.56 c #Conflicts: 65000 | #Constraints: 41440
809.44/811.56 c #Conflicts: 66000 | #Constraints: 42440
809.44/811.56 c INPROCESSING
809.44/811.56 c GARBAGE COLLECT
809.44/811.56 c #Conflicts: 67000 | #Constraints: 38269
809.44/811.56 c #Conflicts: 68000 | #Constraints: 39269
2089.58/2095.38 c #Conflicts: 69000 | #Constraints: 40269
2089.58/2095.38 c #Conflicts: 70000 | #Constraints: 41269
2089.58/2095.38 c #Conflicts: 71000 | #Constraints: 42269
2089.58/2095.38 c #Conflicts: 72000 | #Constraints: 43269
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 73000 | #Constraints: 38901
2089.58/2095.38 c #Conflicts: 74000 | #Constraints: 39901
2089.58/2095.38 c #Conflicts: 75000 | #Constraints: 40901
2089.58/2095.38 c #Conflicts: 76000 | #Constraints: 41901
2089.58/2095.38 c #Conflicts: 77000 | #Constraints: 42901
2089.58/2095.38 c #Conflicts: 78000 | #Constraints: 43901
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 79000 | #Constraints: 39207
2089.58/2095.38 c #Conflicts: 80000 | #Constraints: 40207
2089.58/2095.38 c #Conflicts: 81000 | #Constraints: 41207
2089.58/2095.38 c #Conflicts: 82000 | #Constraints: 42207
2089.58/2095.38 c #Conflicts: 83000 | #Constraints: 43207
2089.58/2095.38 c #Conflicts: 84000 | #Constraints: 44207
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 85000 | #Constraints: 39467
2089.58/2095.38 c #Conflicts: 86000 | #Constraints: 40467
2089.58/2095.38 c #Conflicts: 87000 | #Constraints: 41467
2089.58/2095.38 c #Conflicts: 88000 | #Constraints: 42467
2089.58/2095.38 c #Conflicts: 89000 | #Constraints: 43467
2089.58/2095.38 c #Conflicts: 90000 | #Constraints: 44467
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 91000 | #Constraints: 39422
2089.58/2095.38 c #Conflicts: 92000 | #Constraints: 40422
2089.58/2095.38 c #Conflicts: 93000 | #Constraints: 41422
2089.58/2095.38 c #Conflicts: 94000 | #Constraints: 42422
2089.58/2095.38 c #Conflicts: 95000 | #Constraints: 43422
2089.58/2095.38 c #Conflicts: 96000 | #Constraints: 44422
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 97000 | #Constraints: 39243
2089.58/2095.38 c #Conflicts: 98000 | #Constraints: 40243
2089.58/2095.38 c #Conflicts: 99000 | #Constraints: 41243
2089.58/2095.38 c #Conflicts: 100000 | #Constraints: 42243
2089.58/2095.38 c #Conflicts: 101000 | #Constraints: 43243
2089.58/2095.38 c #Conflicts: 102000 | #Constraints: 44243
2089.58/2095.38 c #Conflicts: 103000 | #Constraints: 45243
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 104000 | #Constraints: 39874
2089.58/2095.38 c #Conflicts: 105000 | #Constraints: 40874
2089.58/2095.38 c #Conflicts: 106000 | #Constraints: 41874
2089.58/2095.38 c #Conflicts: 107000 | #Constraints: 42874
2089.58/2095.38 c #Conflicts: 108000 | #Constraints: 43874
2089.58/2095.38 c #Conflicts: 109000 | #Constraints: 44874
2089.58/2095.38 c #Conflicts: 110000 | #Constraints: 45874
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 111000 | #Constraints: 40312
2089.58/2095.38 c #Conflicts: 112000 | #Constraints: 41312
2089.58/2095.38 c #Conflicts: 113000 | #Constraints: 42312
2089.58/2095.38 c #Conflicts: 114000 | #Constraints: 43312
2089.58/2095.38 c #Conflicts: 115000 | #Constraints: 44312
2089.58/2095.38 c #Conflicts: 116000 | #Constraints: 45312
2089.58/2095.38 c #Conflicts: 117000 | #Constraints: 46312
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 118000 | #Constraints: 40494
2089.58/2095.38 c #Conflicts: 119000 | #Constraints: 41494
2089.58/2095.38 c #Conflicts: 120000 | #Constraints: 42494
2089.58/2095.38 c #Conflicts: 121000 | #Constraints: 43494
2089.58/2095.38 c #Conflicts: 122000 | #Constraints: 44494
2089.58/2095.38 c #Conflicts: 123000 | #Constraints: 45494
2089.58/2095.38 c #Conflicts: 124000 | #Constraints: 46494
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 125000 | #Constraints: 40510
2089.58/2095.38 c #Conflicts: 126000 | #Constraints: 41510
2089.58/2095.38 c #Conflicts: 127000 | #Constraints: 42510
2089.58/2095.38 c #Conflicts: 128000 | #Constraints: 43510
2089.58/2095.38 c #Conflicts: 129000 | #Constraints: 44510
2089.58/2095.38 c #Conflicts: 130000 | #Constraints: 45510
2089.58/2095.38 c #Conflicts: 131000 | #Constraints: 46510
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 132000 | #Constraints: 40278
2089.58/2095.38 c #Conflicts: 133000 | #Constraints: 41278
2089.58/2095.38 c #Conflicts: 134000 | #Constraints: 42278
2089.58/2095.38 c #Conflicts: 135000 | #Constraints: 43278
2089.58/2095.38 c #Conflicts: 136000 | #Constraints: 44278
2089.58/2095.38 c #Conflicts: 137000 | #Constraints: 45278
2089.58/2095.38 c #Conflicts: 138000 | #Constraints: 46278
2089.58/2095.38 c #Conflicts: 139000 | #Constraints: 47278
2089.58/2095.38 c INPROCESSING
2089.58/2095.38 c GARBAGE COLLECT
2089.58/2095.38 c #Conflicts: 140000 | #Constraints: 40914
3285.48/3294.29 c #Conflicts: 141000 | #Constraints: 41914
3285.48/3294.29 c #Conflicts: 142000 | #Constraints: 42914
3285.48/3294.29 c #Conflicts: 143000 | #Constraints: 43914
3285.48/3294.29 c #Conflicts: 144000 | #Constraints: 44914
3285.48/3294.29 c #Conflicts: 145000 | #Constraints: 45914
3285.48/3294.29 c #Conflicts: 146000 | #Constraints: 46914
3285.48/3294.29 c #Conflicts: 147000 | #Constraints: 47914
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 148000 | #Constraints: 41327
3285.48/3294.29 c #Conflicts: 149000 | #Constraints: 42327
3285.48/3294.29 c #Conflicts: 150000 | #Constraints: 43327
3285.48/3294.29 c #Conflicts: 151000 | #Constraints: 44327
3285.48/3294.29 c #Conflicts: 152000 | #Constraints: 45327
3285.48/3294.29 c #Conflicts: 153000 | #Constraints: 46327
3285.48/3294.29 c #Conflicts: 154000 | #Constraints: 47327
3285.48/3294.29 c #Conflicts: 155000 | #Constraints: 48327
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 156000 | #Constraints: 41534
3285.48/3294.29 c #Conflicts: 157000 | #Constraints: 42534
3285.48/3294.29 c #Conflicts: 158000 | #Constraints: 43534
3285.48/3294.29 c #Conflicts: 159000 | #Constraints: 44534
3285.48/3294.29 c #Conflicts: 160000 | #Constraints: 45534
3285.48/3294.29 c #Conflicts: 161000 | #Constraints: 46534
3285.48/3294.29 c #Conflicts: 162000 | #Constraints: 47534
3285.48/3294.29 c #Conflicts: 163000 | #Constraints: 48534
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 164000 | #Constraints: 41429
3285.48/3294.29 c #Conflicts: 165000 | #Constraints: 42429
3285.48/3294.29 c #Conflicts: 166000 | #Constraints: 43429
3285.48/3294.29 c #Conflicts: 167000 | #Constraints: 44429
3285.48/3294.29 c #Conflicts: 168000 | #Constraints: 45429
3285.48/3294.29 c #Conflicts: 169000 | #Constraints: 46429
3285.48/3294.29 c #Conflicts: 170000 | #Constraints: 47429
3285.48/3294.29 c #Conflicts: 171000 | #Constraints: 48429
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 172000 | #Constraints: 41222
3285.48/3294.29 c #Conflicts: 173000 | #Constraints: 42222
3285.48/3294.29 c #Conflicts: 174000 | #Constraints: 43222
3285.48/3294.29 c #Conflicts: 175000 | #Constraints: 44222
3285.48/3294.29 c #Conflicts: 176000 | #Constraints: 45222
3285.48/3294.29 c #Conflicts: 177000 | #Constraints: 46222
3285.48/3294.29 c #Conflicts: 178000 | #Constraints: 47222
3285.48/3294.29 c #Conflicts: 179000 | #Constraints: 48222
3285.48/3294.29 c #Conflicts: 180000 | #Constraints: 49222
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 181000 | #Constraints: 41825
3285.48/3294.29 c #Conflicts: 182000 | #Constraints: 42825
3285.48/3294.29 c #Conflicts: 183000 | #Constraints: 43825
3285.48/3294.29 c #Conflicts: 184000 | #Constraints: 44825
3285.48/3294.29 c #Conflicts: 185000 | #Constraints: 45825
3285.48/3294.29 c #Conflicts: 186000 | #Constraints: 46825
3285.48/3294.29 c #Conflicts: 187000 | #Constraints: 47825
3285.48/3294.29 c #Conflicts: 188000 | #Constraints: 48825
3285.48/3294.29 c #Conflicts: 189000 | #Constraints: 49825
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 190000 | #Constraints: 42265
3285.48/3294.29 c #Conflicts: 191000 | #Constraints: 43265
3285.48/3294.29 c #Conflicts: 192000 | #Constraints: 44265
3285.48/3294.29 c #Conflicts: 193000 | #Constraints: 45265
3285.48/3294.29 c #Conflicts: 194000 | #Constraints: 46265
3285.48/3294.29 c #Conflicts: 195000 | #Constraints: 47265
3285.48/3294.29 c #Conflicts: 196000 | #Constraints: 48265
3285.48/3294.29 c #Conflicts: 197000 | #Constraints: 49265
3285.48/3294.29 c #Conflicts: 198000 | #Constraints: 50265
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 199000 | #Constraints: 42434
3285.48/3294.29 c #Conflicts: 200000 | #Constraints: 43434
3285.48/3294.29 c #Conflicts: 201000 | #Constraints: 44434
3285.48/3294.29 c #Conflicts: 202000 | #Constraints: 45434
3285.48/3294.29 c #Conflicts: 203000 | #Constraints: 46434
3285.48/3294.29 c #Conflicts: 204000 | #Constraints: 47434
3285.48/3294.29 c #Conflicts: 205000 | #Constraints: 48434
3285.48/3294.29 c #Conflicts: 206000 | #Constraints: 49434
3285.48/3294.29 c #Conflicts: 207000 | #Constraints: 50434
3285.48/3294.29 c INPROCESSING
3285.48/3294.29 c GARBAGE COLLECT
3285.48/3294.29 c #Conflicts: 208000 | #Constraints: 42458
3285.48/3294.29 c #Conflicts: 209000 | #Constraints: 43458
3285.48/3294.29 c #Conflicts: 210000 | #Constraints: 44458
3285.48/3294.29 c #Conflicts: 211000 | #Constraints: 45458
3285.48/3294.29 c #Conflicts: 212000 | #Constraints: 46458
3285.48/3294.29 c #Conflicts: 213000 | #Constraints: 47458
3409.52/3418.63 c #Conflicts: 214000 | #Constraints: 48458
3409.52/3418.63 c #Conflicts: 215000 | #Constraints: 49458
3409.52/3418.63 c #Conflicts: 216000 | #Constraints: 50458
3409.52/3418.63 c INPROCESSING
3409.52/3418.63 c GARBAGE COLLECT
3409.52/3418.63 c #Conflicts: 217000 | #Constraints: 42343
3409.52/3418.63 c #Conflicts: 218000 | #Constraints: 43343
3409.52/3418.63 c #Conflicts: 219000 | #Constraints: 44343
3409.52/3418.63 c #Conflicts: 220000 | #Constraints: 45343
3409.52/3418.63 c #Conflicts: 221000 | #Constraints: 46343
3409.52/3418.63 c #Conflicts: 222000 | #Constraints: 47343
3409.52/3418.63 c #Conflicts: 223000 | #Constraints: 48343
3409.52/3418.63 c #Conflicts: 224000 | #Constraints: 49343
3409.52/3418.63 c #Conflicts: 225000 | #Constraints: 50343
3409.52/3418.63 c #Conflicts: 226000 | #Constraints: 51343
3409.52/3418.63 c INPROCESSING
3409.52/3418.63 c GARBAGE COLLECT
3409.52/3418.63 c bounds 24 >= 15 @ 3374.52
3409.52/3418.63 c #Conflicts: 227000 | #Constraints: 42953
3409.52/3418.63 c #Conflicts: 228000 | #Constraints: 43953
3409.52/3418.63 c #Conflicts: 229000 | #Constraints: 44953
3409.52/3418.63 c #Conflicts: 230000 | #Constraints: 45953
3409.52/3418.63 c finalizing WCE round: reformulating cores
3600.05/3609.70 c #Conflicts: 231000 | #Constraints: 46956
3600.05/3609.70 c bounds 23 >= 15 @ 3416.75
3600.05/3609.70 c #Conflicts: 232000 | #Constraints: 47958
3600.05/3609.70 c #Conflicts: 233000 | #Constraints: 48958
3600.05/3609.70 c #Conflicts: 234000 | #Constraints: 49958
3600.05/3609.70 c #Conflicts: 235000 | #Constraints: 50958
3600.05/3609.70 c #Conflicts: 236000 | #Constraints: 51958
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 237000 | #Constraints: 43524
3600.05/3609.70 c #Conflicts: 238000 | #Constraints: 44524
3600.05/3609.70 c bounds 23 >= 16 @ 3500.45
3600.05/3609.70 c #Conflicts: 239000 | #Constraints: 45552
3600.05/3609.70 c #Conflicts: 240000 | #Constraints: 46552
3600.05/3609.70 c #Conflicts: 241000 | #Constraints: 47552
3600.05/3609.70 c #Conflicts: 242000 | #Constraints: 48552
3600.05/3609.70 c #Conflicts: 243000 | #Constraints: 49552
3600.05/3609.70 c #Conflicts: 244000 | #Constraints: 50552
3600.05/3609.70 c #Conflicts: 245000 | #Constraints: 51552
3600.05/3609.70 c #Conflicts: 246000 | #Constraints: 52552
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 247000 | #Constraints: 43753
3600.05/3609.70 c Program interrupted by user.
3600.05/3609.70 c cpu time 3592.62 s
3600.05/3609.70 c deterministic time 422097666290 4.22e+11
3600.05/3609.70 c optimization time 24.3441 s
3600.05/3609.70 c total solve time 3568.21 s
3600.05/3609.70 c core-guided solve time 3568.21 s
3600.05/3609.70 c propagation time 2877.04 s
3600.05/3609.70 c conflict analysis time 689.245 s
3600.05/3609.70 c propagations 444962837
3600.05/3609.70 c resolve steps 27236805
3600.05/3609.70 c decisions 5993673
3600.05/3609.70 c conflicts 247329
3600.05/3609.70 c restarts 573
3600.05/3609.70 c inprocessing phases 41
3600.05/3609.70 c input clauses 32330
3600.05/3609.70 c input cardinalities 61
3600.05/3609.70 c input general constraints 42
3600.05/3609.70 c input average constraint length 3.22
3600.05/3609.70 c input average constraint degree 1.33
3600.05/3609.70 c learned clauses 50731
3600.05/3609.70 c learned cardinalities 172
3600.05/3609.70 c learned general constraints 196432
3600.05/3609.70 c learned average constraint length 1507.10
3600.05/3609.70 c learned average constraint degree 72884405.63
3600.05/3609.70 c watched constraints 179659
3600.05/3609.70 c counting constraints 16815
3600.05/3609.70 c gcd simplifications 2305
3600.05/3609.70 c detected cardinalities 0
3600.05/3609.70 c weakened non-implied lits 8218038
3600.05/3609.70 c weakened non-implying lits 45351
3600.05/3609.70 c original variables 8901
3600.05/3609.70 c clausal propagations 380704536
3600.05/3609.70 c cardinality propagations 159082
3600.05/3609.70 c watched propagations 19759260
3600.05/3609.70 c counting propagations 44023765
3600.05/3609.70 c watch lookups 55318360147
3600.05/3609.70 c watch backjump lookups 49612900402
3600.05/3609.70 c watch checks 290683618425
3600.05/3609.70 c propagation checks 23736582375
3600.05/3609.70 c constraint additions 1844051073
3600.05/3609.70 c trail pops 451197357
3600.05/3609.70 c formula constraints 32298
3600.05/3609.70 c learned constraints 247335
3600.05/3609.70 c bound constraints 19
3600.05/3609.70 c core-guided constraints 116
3600.05/3609.70 c encountered formula constraints 23908540
3600.05/3609.70 c encountered learned constraints 3533191
3600.05/3609.70 c encountered bound constraints 30
3600.05/3609.70 c encountered core-guided constraints 42373
3600.05/3609.70 c LP total time 0 s
3600.05/3609.70 c LP solve time 0 s
3600.05/3609.70 c LP constraints added 0
3600.05/3609.70 c LP constraints removed 0
3600.05/3609.70 c LP pivots internal 0
3600.05/3609.70 c LP pivots root 0
3600.05/3609.70 c LP calls 0
3600.05/3609.70 c LP optimalities 0
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 0
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 0
3600.05/3609.70 c LP encountered Gomory constraints 0
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 42
3600.05/3609.70 c CG solutions found 3
3600.05/3609.70 c CG cores constructed 11
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 11
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 1.00
3600.05/3609.70 c CG core slack average 73.27
3600.05/3609.70 c CG exhausted 0
3600.05/3609.70 c CG exhaust time 16.2329 s
3600.05/3609.70 c CG trimmed 44
3600.05/3609.70 c CG trim time 0.042981 s
3600.05/3609.70 c CG minimized 0
3600.05/3609.70 c CG minimize time 0 s
3600.05/3609.70 c CG am1 prop time 0.009492 s
3600.05/3609.70 c CG # am1s reformulated 0
3600.05/3609.70 c CG lower bound derived from am1s 0
3600.05/3609.70 c CG # clausal cores 11
3600.05/3609.70 c CG # cardinality cores 0
3600.05/3609.70 c CG # pb cores 0
3600.05/3609.70 c CG # pb reforms 0
3600.05/3609.70 c CG # cores discarded because of pb reform 0
3600.05/3609.70 d LOWERBOUND 16
3600.05/3609.70 d NCORES 11
3600.05/3609.70 d NPBCORES 0
3600.05/3609.70 d NPBREFORM 0
3600.05/3609.70 d NTRIMMED 44
3600.05/3609.70 d NEXHAUSTED 0
3600.05/3609.70 d NAM1S 0
3600.05/3609.70 d AM1LB 0
3600.05/3609.70 o 23
3600.05/3609.70 s SATISFIABLE
3600.05/3609.70 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: 63968 MiB (61491 MiB free)
memory of node 1: 64473 MiB (63349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454398-1721472475/watcher-4454398-1721472475 -o /tmp/evaluation-result-4454398-1721472475/solver-4454398-1721472475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064390 --watchdog 3760 pb-oll-rs HOME/instance-4454398-1721472475.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=1064439, runsolver pid=1064436
[startup+0.100809 s]*
/proc/loadavg: 1.21 1.16 1.68 5/255 1064451
/proc/meminfo: memFree=127804652/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=42640 memory=12540 CPUtime=0.09 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 1541 0 0 0 7 2 0 0 20 0 1 0 199413683 43663360 3135 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 10660 3135 1289 291 0 2194 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 12540 KiB
[startup+0.204801 s]*
/proc/loadavg: 1.21 1.16 1.68 5/255 1064451
/proc/meminfo: memFree=127792752/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=45012 memory=13712 CPUtime=0.2 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 2039 0 0 0 17 3 0 0 20 0 1 0 199413683 46092288 3428 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 11253 3428 1321 291 0 2787 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45012 KiB
Current children cumulated memory: 13712 KiB
[startup+0.304777 s]*
/proc/loadavg: 1.21 1.16 1.68 5/255 1064451
/proc/meminfo: memFree=127787924/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=46348 memory=15032 CPUtime=0.3 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 2374 0 0 0 27 3 0 0 20 0 1 0 199413683 47460352 3758 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 11587 3758 1321 291 0 3121 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46348 KiB
Current children cumulated memory: 15032 KiB
[startup+0.7002 s]
/proc/loadavg: 1.21 1.16 1.68 5/255 1064451
/proc/meminfo: memFree=127771384/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=51352 memory=20216 CPUtime=0.69 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 3636 0 0 0 65 4 0 0 20 0 1 0 199413683 52584448 5054 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 12838 5054 1321 291 0 4372 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51352 KiB
Current children cumulated memory: 20216 KiB
[startup+1.50021 s]
/proc/loadavg: 1.21 1.16 1.68 5/255 1064451
/proc/meminfo: memFree=127739120/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=67180 memory=35308 CPUtime=1.48 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 5930 0 0 0 143 5 0 0 20 0 1 0 199413683 68792320 8827 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 16795 8827 1321 291 0 8329 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67180 KiB
Current children cumulated memory: 35308 KiB
[startup+3.10507 s]
/proc/loadavg: 1.43 1.20 1.70 5/255 1064451
/proc/meminfo: memFree=127694332/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=69412 memory=37784 CPUtime=3.09 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 6758 0 0 0 300 9 0 0 20 0 1 0 199413683 71077888 9446 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 17353 9446 1321 291 0 8887 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69412 KiB
Current children cumulated memory: 37784 KiB
[startup+6.30018 s]
/proc/loadavg: 1.43 1.20 1.70 5/255 1064451
/proc/meminfo: memFree=127665152/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=75716 memory=43860 CPUtime=6.28 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 8285 0 0 0 613 15 0 0 20 0 1 0 199413683 77533184 10965 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 18929 10965 1382 291 0 10463 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 75716 KiB
Current children cumulated memory: 43860 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 1.30 1.72 5/255 1064453
/proc/meminfo: memFree=127624940/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=92472 memory=52124 CPUtime=12.66 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 9943 0 0 0 1243 23 0 0 20 0 1 0 199413683 94691328 13031 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 23118 13031 1382 291 0 14652 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 92472 KiB
Current children cumulated memory: 52124 KiB
[startup+25.5002 s]
/proc/loadavg: 2.24 1.40 1.75 5/255 1064454
/proc/meminfo: memFree=127544656/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=101652 memory=64364 CPUtime=25.43 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 11994 0 0 0 2509 34 0 0 20 0 1 0 199413683 104091648 16091 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 25413 16091 1382 291 0 16947 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 101652 KiB
Current children cumulated memory: 64364 KiB
[startup+51.1054 s]
/proc/loadavg: 2.84 1.61 1.81 5/255 1064459
/proc/meminfo: memFree=127493456/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=109532 memory=76104 CPUtime=50.97 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 14059 0 0 0 5049 48 0 0 20 0 1 0 199413683 112160768 19026 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 27383 19026 1382 291 0 18917 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 109532 KiB
Current children cumulated memory: 76104 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.05 1.95 5/255 1064467
/proc/meminfo: memFree=127378632/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=132976 memory=88292 CPUtime=102.03 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 15815 0 0 0 10129 74 0 0 20 0 1 0 199413683 136167424 22073 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 33244 22073 1382 291 0 24778 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 132976 KiB
Current children cumulated memory: 88292 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.42 2.09 5/256 1064481
/proc/meminfo: memFree=127289640/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=136004 memory=103212 CPUtime=161.86 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 16955 0 0 0 16089 97 0 0 20 0 1 0 199413683 139268096 25803 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 34001 25803 1382 291 0 25535 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 136004 KiB
Current children cumulated memory: 103212 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.73 2.22 5/256 1064492
/proc/meminfo: memFree=127211180/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=175068 memory=116776 CPUtime=221.73 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 18982 0 0 0 22059 114 0 0 20 0 1 0 199413683 179269632 29194 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 43767 29194 1382 291 0 35301 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 175068 KiB
Current children cumulated memory: 116776 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.99 2.34 5/256 1064503
/proc/meminfo: memFree=127147260/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=179340 memory=123720 CPUtime=281.59 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 19914 0 0 0 28030 129 0 0 20 0 1 0 199413683 183644160 30930 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 44835 30930 1382 291 0 36369 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 179340 KiB
Current children cumulated memory: 123720 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.18 2.45 5/256 1064514
/proc/meminfo: memFree=127121592/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=182476 memory=134712 CPUtime=341.44 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 20769 0 0 0 33998 146 0 0 20 0 1 0 199413683 186855424 33678 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 45619 33678 1382 291 0 37153 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 182476 KiB
Current children cumulated memory: 134712 KiB
[startup+402.3 s]
/proc/loadavg: 4.82 3.51 2.60 5/256 1064525
/proc/meminfo: memFree=127028196/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=186092 memory=137476 CPUtime=401.3 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 21654 0 0 0 39969 161 0 0 20 0 1 0 199413683 190558208 34369 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 46523 34369 1382 291 0 38057 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 186092 KiB
Current children cumulated memory: 137476 KiB
[startup+462.3 s]
/proc/loadavg: 4.56 3.67 2.72 5/254 1064921
/proc/meminfo: memFree=127073832/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=188304 memory=141532 CPUtime=461.15 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 22313 0 0 0 45941 174 0 0 20 0 1 0 199413683 192823296 35383 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 47076 35383 1382 291 0 38610 0
################
# More data... #
################
Current children cumulated memory: 274132 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/254 1066208
/proc/meminfo: memFree=125250280/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=315104 memory=278136 CPUtime=2914.6 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 43211 0 0 0 290889 571 0 0 20 0 1 0 199413683 322666496 69534 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 78776 69534 1382 291 0 70310 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 315104 KiB
Current children cumulated memory: 278136 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.04 5/254 1066220
/proc/meminfo: memFree=125188544/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=317344 memory=279992 CPUtime=2974.45 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 43876 0 0 0 296862 583 0 0 20 0 1 0 199413683 324960256 69998 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 79336 69998 1382 291 0 70870 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 317344 KiB
Current children cumulated memory: 279992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.14 4.04 5/254 1066276
/proc/meminfo: memFree=125358220/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=318256 memory=280488 CPUtime=3034.3 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 44169 0 0 0 302840 590 0 0 20 0 1 0 199413683 325894144 70122 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 79564 70122 1382 291 0 71098 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 318256 KiB
Current children cumulated memory: 280488 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/254 1066287
/proc/meminfo: memFree=125198092/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=320084 memory=282012 CPUtime=3094.13 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 44734 0 0 0 308811 602 0 0 20 0 1 0 199413683 327766016 70503 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 80021 70503 1382 291 0 71555 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 320084 KiB
Current children cumulated memory: 282012 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.15 4.05 5/257 1066302
/proc/meminfo: memFree=125090824/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=320084 memory=282012 CPUtime=3153.95 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 44849 0 0 0 314784 611 0 0 20 0 1 0 199413683 327766016 70503 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 80021 70503 1382 291 0 71555 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 320084 KiB
Current children cumulated memory: 282012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/257 1066313
/proc/meminfo: memFree=124979100/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=321784 memory=283292 CPUtime=3213.78 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 45434 0 0 0 320749 629 0 0 20 0 1 0 199413683 329506816 70823 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 80446 70823 1382 291 0 71980 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 321784 KiB
Current children cumulated memory: 283292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/257 1066323
/proc/meminfo: memFree=124965456/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=324684 memory=286256 CPUtime=3273.6 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 46384 0 0 0 326712 648 0 0 20 0 1 0 199413683 332476416 71564 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 81171 71564 1382 291 0 72705 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 324684 KiB
Current children cumulated memory: 286256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/257 1066334
/proc/meminfo: memFree=124801164/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=325640 memory=287196 CPUtime=3333.44 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 46856 0 0 0 332682 662 0 0 20 0 1 0 199413683 333455360 71799 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 81410 71799 1382 291 0 72944 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 325640 KiB
Current children cumulated memory: 287196 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 1066345
/proc/meminfo: memFree=124756248/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=420916 memory=311916 CPUtime=3393.26 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 50897 0 0 0 338640 686 0 0 20 0 1 0 199413683 431017984 77979 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 105229 77979 1382 291 0 96763 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 420916 KiB
Current children cumulated memory: 311916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/255 1066356
/proc/meminfo: memFree=124661652/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=421368 memory=312156 CPUtime=3453.08 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 51062 0 0 0 344607 701 0 0 20 0 1 0 199413683 431480832 78039 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 105342 78039 1382 291 0 96876 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 421368 KiB
Current children cumulated memory: 312156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/254 1066366
/proc/meminfo: memFree=124572332/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=422552 memory=313080 CPUtime=3512.91 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 51692 0 0 0 350574 717 0 0 20 0 1 0 199413683 432693248 78270 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 105638 78270 1382 291 0 97172 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 422552 KiB
Current children cumulated memory: 313080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.19 4.09 5/254 1066378
/proc/meminfo: memFree=124536968/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=422744 memory=313208 CPUtime=3572.73 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 51843 0 0 0 356537 736 0 0 20 0 1 0 199413683 432889856 78302 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 105686 78302 1382 291 0 97220 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 422744 KiB
Current children cumulated memory: 313208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.27 4.17 4.09 5/254 1066381
/proc/meminfo: memFree=124534132/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=423104 memory=313708 CPUtime=3600.05 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 52301 0 0 0 359261 744 0 0 20 0 1 0 199413683 433258496 78427 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 105776 78427 1382 291 0 97310 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 423104 KiB
Current children cumulated memory: 313708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 1064439 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.62 s, system=7.4477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.27 4.17 4.09 5/254 1066381
/proc/meminfo: memFree=124534132/131524600 swapFree=131071996/131071996
[pid=1064439] ppid=1064436 vsize=423104 memory=313708 CPUtime=3600.05 cores=1,3
/proc/1064439/stat : 1064439 (pb-oll-rs) R 1064436 1064439 1064378 0 -1 4194304 52301 0 0 0 359261 744 0 0 20 0 1 0 199413683 433258496 78427 134679101440 4194304 5384485 140736907295328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8261632 140736907301909 140736907301986 140736907301986 140736907309003 0
/proc/1064439/statm: 105776 78427 1382 291 0 97310 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 423104 KiB
Current children cumulated memory: 313708 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.07
CPU user time (s): 3592.62
CPU system time (s): 7.4477
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 424380
Max. memory (cumulated for all children) (KiB): 314768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.62
system time used= 7.4477
maximum resident set size= 314768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52318
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= 92
involuntary context switches= 2590
# summary of solver processes directly reported to runsolver:
# pid: 1064439
# total CPU time (s): 3600.07
# total CPU user time (s): 3592.62
# total CPU system time (s): 7.4477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65641 second user time and 16.359 second system time
The end
Begin job on nodeC026 at 2024-07-20 12:48:08
IDJOB=4454398
IDBENCH=148193
IDSOLVER=3082
FILE ID=nodeC026/4454398-1721472475
RUNJOBID= nodeC026-1721472488-1064390
SLURM_JOB_ID= 7545743
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454398-1721472475/watcher-4454398-1721472475 -o /tmp/evaluation-result-4454398-1721472475/solver-4454398-1721472475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064390 --watchdog 3760 pb-oll-rs HOME/instance-4454398-1721472475.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=67582838
nodeC026.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 : 0xb00002a
cpu MHz : 3603.578
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.845
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.592
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.518
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3631.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.178
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.989
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127845244 kB
MemAvailable: 129706096 kB
Buffers: 607376 kB
Cached: 2083792 kB
SwapCached: 0 kB
Active: 1132316 kB
Inactive: 1901412 kB
Active(anon): 1464 kB
Inactive(anon): 387360 kB
Active(file): 1130852 kB
Inactive(file): 1514052 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13532 kB
Writeback: 0 kB
AnonPages: 339388 kB
Mapped: 107860 kB
Shmem: 45912 kB
KReclaimable: 111544 kB
Slab: 225800 kB
SReclaimable: 111544 kB
SUnreclaim: 114256 kB
KernelStack: 3888 kB
PageTables: 9820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 642644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 283348 kB
DirectMap2M: 33044480 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC026 at 2024-07-20 13:48:18