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.065045
0.00/0.09 c stratification level: 0
0.09/0.16 c bounds - >= 6 @ 0.122383
0.09/0.16 c bounds - >= 7 @ 0.122959
0.09/0.16 c bounds - >= 8 @ 0.124986
0.09/0.16 c bounds - >= 9 @ 0.125869
0.09/0.16 c bounds - >= 10 @ 0.127509
0.09/0.16 c finalizing WCE round: reformulating cores
1.98/2.03 c #Conflicts: 1000 | #Constraints: 33320
1.98/2.03 c bounds 27 >= 10 @ 1.68678
1.98/2.03 c bounds 27 >= 11 @ 1.69549
1.98/2.03 c bounds 27 >= 12 @ 1.77619
1.98/2.03 c bounds 27 >= 13 @ 1.92882
1.98/2.03 c finalizing WCE round: reformulating cores
879.20/881.89 c #Conflicts: 2000 | #Constraints: 34358
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c bounds 24 >= 13 @ 2.83529
879.20/881.89 c #Conflicts: 3000 | #Constraints: 34357
879.20/881.89 c #Conflicts: 4000 | #Constraints: 35357
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 5000 | #Constraints: 34785
879.20/881.89 c bounds 24 >= 14 @ 8.57402
879.20/881.89 c #Conflicts: 6000 | #Constraints: 35807
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 7000 | #Constraints: 34811
879.20/881.89 c #Conflicts: 8000 | #Constraints: 35811
879.20/881.89 c #Conflicts: 9000 | #Constraints: 36811
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 10000 | #Constraints: 35530
879.20/881.89 c #Conflicts: 11000 | #Constraints: 36530
879.20/881.89 c #Conflicts: 12000 | #Constraints: 37530
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 13000 | #Constraints: 36019
879.20/881.89 c #Conflicts: 14000 | #Constraints: 37019
879.20/881.89 c #Conflicts: 15000 | #Constraints: 38019
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 16000 | #Constraints: 36280
879.20/881.89 c #Conflicts: 17000 | #Constraints: 37280
879.20/881.89 c #Conflicts: 18000 | #Constraints: 38280
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 19000 | #Constraints: 36321
879.20/881.89 c #Conflicts: 20000 | #Constraints: 37321
879.20/881.89 c #Conflicts: 21000 | #Constraints: 38321
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 22000 | #Constraints: 36154
879.20/881.89 c #Conflicts: 23000 | #Constraints: 37154
879.20/881.89 c #Conflicts: 24000 | #Constraints: 38154
879.20/881.89 c #Conflicts: 25000 | #Constraints: 39154
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 26000 | #Constraints: 36779
879.20/881.89 c #Conflicts: 27000 | #Constraints: 37779
879.20/881.89 c #Conflicts: 28000 | #Constraints: 38779
879.20/881.89 c #Conflicts: 29000 | #Constraints: 39779
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 30000 | #Constraints: 37186
879.20/881.89 c #Conflicts: 31000 | #Constraints: 38186
879.20/881.89 c #Conflicts: 32000 | #Constraints: 39186
879.20/881.89 c #Conflicts: 33000 | #Constraints: 40186
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 34000 | #Constraints: 37404
879.20/881.89 c #Conflicts: 35000 | #Constraints: 38404
879.20/881.89 c #Conflicts: 36000 | #Constraints: 39404
879.20/881.89 c #Conflicts: 37000 | #Constraints: 40404
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 38000 | #Constraints: 37393
879.20/881.89 c #Conflicts: 39000 | #Constraints: 38393
879.20/881.89 c #Conflicts: 40000 | #Constraints: 39393
879.20/881.89 c #Conflicts: 41000 | #Constraints: 40393
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 42000 | #Constraints: 37211
879.20/881.89 c #Conflicts: 43000 | #Constraints: 38211
879.20/881.89 c #Conflicts: 44000 | #Constraints: 39211
879.20/881.89 c #Conflicts: 45000 | #Constraints: 40211
879.20/881.89 c #Conflicts: 46000 | #Constraints: 41211
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 47000 | #Constraints: 37822
879.20/881.89 c #Conflicts: 48000 | #Constraints: 38822
879.20/881.89 c #Conflicts: 49000 | #Constraints: 39822
879.20/881.89 c #Conflicts: 50000 | #Constraints: 40822
879.20/881.89 c #Conflicts: 51000 | #Constraints: 41822
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 52000 | #Constraints: 38245
879.20/881.89 c #Conflicts: 53000 | #Constraints: 39245
879.20/881.89 c #Conflicts: 54000 | #Constraints: 40245
879.20/881.89 c #Conflicts: 55000 | #Constraints: 41245
879.20/881.89 c #Conflicts: 56000 | #Constraints: 42245
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 57000 | #Constraints: 38470
879.20/881.89 c #Conflicts: 58000 | #Constraints: 39470
879.20/881.89 c #Conflicts: 59000 | #Constraints: 40470
879.20/881.89 c #Conflicts: 60000 | #Constraints: 41470
879.20/881.89 c #Conflicts: 61000 | #Constraints: 42470
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 62000 | #Constraints: 38440
879.20/881.89 c #Conflicts: 63000 | #Constraints: 39440
879.20/881.89 c #Conflicts: 64000 | #Constraints: 40440
879.20/881.89 c #Conflicts: 65000 | #Constraints: 41440
879.20/881.89 c #Conflicts: 66000 | #Constraints: 42440
879.20/881.89 c INPROCESSING
879.20/881.89 c GARBAGE COLLECT
879.20/881.89 c #Conflicts: 67000 | #Constraints: 38269
879.20/881.89 c #Conflicts: 68000 | #Constraints: 39269
2139.44/2145.54 c #Conflicts: 69000 | #Constraints: 40269
2139.44/2145.54 c #Conflicts: 70000 | #Constraints: 41269
2139.44/2145.54 c #Conflicts: 71000 | #Constraints: 42269
2139.44/2145.54 c #Conflicts: 72000 | #Constraints: 43269
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 73000 | #Constraints: 38901
2139.44/2145.54 c #Conflicts: 74000 | #Constraints: 39901
2139.44/2145.54 c #Conflicts: 75000 | #Constraints: 40901
2139.44/2145.54 c #Conflicts: 76000 | #Constraints: 41901
2139.44/2145.54 c #Conflicts: 77000 | #Constraints: 42901
2139.44/2145.54 c #Conflicts: 78000 | #Constraints: 43901
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 79000 | #Constraints: 39207
2139.44/2145.54 c #Conflicts: 80000 | #Constraints: 40207
2139.44/2145.54 c #Conflicts: 81000 | #Constraints: 41207
2139.44/2145.54 c #Conflicts: 82000 | #Constraints: 42207
2139.44/2145.54 c #Conflicts: 83000 | #Constraints: 43207
2139.44/2145.54 c #Conflicts: 84000 | #Constraints: 44207
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 85000 | #Constraints: 39467
2139.44/2145.54 c #Conflicts: 86000 | #Constraints: 40467
2139.44/2145.54 c #Conflicts: 87000 | #Constraints: 41467
2139.44/2145.54 c #Conflicts: 88000 | #Constraints: 42467
2139.44/2145.54 c #Conflicts: 89000 | #Constraints: 43467
2139.44/2145.54 c #Conflicts: 90000 | #Constraints: 44467
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 91000 | #Constraints: 39422
2139.44/2145.54 c #Conflicts: 92000 | #Constraints: 40422
2139.44/2145.54 c #Conflicts: 93000 | #Constraints: 41422
2139.44/2145.54 c #Conflicts: 94000 | #Constraints: 42422
2139.44/2145.54 c #Conflicts: 95000 | #Constraints: 43422
2139.44/2145.54 c #Conflicts: 96000 | #Constraints: 44422
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 97000 | #Constraints: 39243
2139.44/2145.54 c #Conflicts: 98000 | #Constraints: 40243
2139.44/2145.54 c #Conflicts: 99000 | #Constraints: 41243
2139.44/2145.54 c #Conflicts: 100000 | #Constraints: 42243
2139.44/2145.54 c #Conflicts: 101000 | #Constraints: 43243
2139.44/2145.54 c #Conflicts: 102000 | #Constraints: 44243
2139.44/2145.54 c #Conflicts: 103000 | #Constraints: 45243
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 104000 | #Constraints: 39874
2139.44/2145.54 c #Conflicts: 105000 | #Constraints: 40874
2139.44/2145.54 c #Conflicts: 106000 | #Constraints: 41874
2139.44/2145.54 c #Conflicts: 107000 | #Constraints: 42874
2139.44/2145.54 c #Conflicts: 108000 | #Constraints: 43874
2139.44/2145.54 c #Conflicts: 109000 | #Constraints: 44874
2139.44/2145.54 c #Conflicts: 110000 | #Constraints: 45874
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 111000 | #Constraints: 40312
2139.44/2145.54 c #Conflicts: 112000 | #Constraints: 41312
2139.44/2145.54 c #Conflicts: 113000 | #Constraints: 42312
2139.44/2145.54 c #Conflicts: 114000 | #Constraints: 43312
2139.44/2145.54 c #Conflicts: 115000 | #Constraints: 44312
2139.44/2145.54 c #Conflicts: 116000 | #Constraints: 45312
2139.44/2145.54 c #Conflicts: 117000 | #Constraints: 46312
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 118000 | #Constraints: 40494
2139.44/2145.54 c #Conflicts: 119000 | #Constraints: 41494
2139.44/2145.54 c #Conflicts: 120000 | #Constraints: 42494
2139.44/2145.54 c #Conflicts: 121000 | #Constraints: 43494
2139.44/2145.54 c #Conflicts: 122000 | #Constraints: 44494
2139.44/2145.54 c #Conflicts: 123000 | #Constraints: 45494
2139.44/2145.54 c #Conflicts: 124000 | #Constraints: 46494
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 125000 | #Constraints: 40510
2139.44/2145.54 c #Conflicts: 126000 | #Constraints: 41510
2139.44/2145.54 c #Conflicts: 127000 | #Constraints: 42510
2139.44/2145.54 c #Conflicts: 128000 | #Constraints: 43510
2139.44/2145.54 c #Conflicts: 129000 | #Constraints: 44510
2139.44/2145.54 c #Conflicts: 130000 | #Constraints: 45510
2139.44/2145.54 c #Conflicts: 131000 | #Constraints: 46510
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 132000 | #Constraints: 40278
2139.44/2145.54 c #Conflicts: 133000 | #Constraints: 41278
2139.44/2145.54 c #Conflicts: 134000 | #Constraints: 42278
2139.44/2145.54 c #Conflicts: 135000 | #Constraints: 43278
2139.44/2145.54 c #Conflicts: 136000 | #Constraints: 44278
2139.44/2145.54 c #Conflicts: 137000 | #Constraints: 45278
2139.44/2145.54 c #Conflicts: 138000 | #Constraints: 46278
2139.44/2145.54 c #Conflicts: 139000 | #Constraints: 47278
2139.44/2145.54 c INPROCESSING
2139.44/2145.54 c GARBAGE COLLECT
2139.44/2145.54 c #Conflicts: 140000 | #Constraints: 40914
3337.00/3346.74 c #Conflicts: 141000 | #Constraints: 41914
3337.00/3346.74 c #Conflicts: 142000 | #Constraints: 42914
3337.00/3346.74 c #Conflicts: 143000 | #Constraints: 43914
3337.00/3346.74 c #Conflicts: 144000 | #Constraints: 44914
3337.00/3346.74 c #Conflicts: 145000 | #Constraints: 45914
3337.00/3346.74 c #Conflicts: 146000 | #Constraints: 46914
3337.00/3346.74 c #Conflicts: 147000 | #Constraints: 47914
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 148000 | #Constraints: 41327
3337.00/3346.74 c #Conflicts: 149000 | #Constraints: 42327
3337.00/3346.74 c #Conflicts: 150000 | #Constraints: 43327
3337.00/3346.74 c #Conflicts: 151000 | #Constraints: 44327
3337.00/3346.74 c #Conflicts: 152000 | #Constraints: 45327
3337.00/3346.74 c #Conflicts: 153000 | #Constraints: 46327
3337.00/3346.74 c #Conflicts: 154000 | #Constraints: 47327
3337.00/3346.74 c #Conflicts: 155000 | #Constraints: 48327
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 156000 | #Constraints: 41534
3337.00/3346.74 c #Conflicts: 157000 | #Constraints: 42534
3337.00/3346.74 c #Conflicts: 158000 | #Constraints: 43534
3337.00/3346.74 c #Conflicts: 159000 | #Constraints: 44534
3337.00/3346.74 c #Conflicts: 160000 | #Constraints: 45534
3337.00/3346.74 c #Conflicts: 161000 | #Constraints: 46534
3337.00/3346.74 c #Conflicts: 162000 | #Constraints: 47534
3337.00/3346.74 c #Conflicts: 163000 | #Constraints: 48534
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 164000 | #Constraints: 41429
3337.00/3346.74 c #Conflicts: 165000 | #Constraints: 42429
3337.00/3346.74 c #Conflicts: 166000 | #Constraints: 43429
3337.00/3346.74 c #Conflicts: 167000 | #Constraints: 44429
3337.00/3346.74 c #Conflicts: 168000 | #Constraints: 45429
3337.00/3346.74 c #Conflicts: 169000 | #Constraints: 46429
3337.00/3346.74 c #Conflicts: 170000 | #Constraints: 47429
3337.00/3346.74 c #Conflicts: 171000 | #Constraints: 48429
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 172000 | #Constraints: 41222
3337.00/3346.74 c #Conflicts: 173000 | #Constraints: 42222
3337.00/3346.74 c #Conflicts: 174000 | #Constraints: 43222
3337.00/3346.74 c #Conflicts: 175000 | #Constraints: 44222
3337.00/3346.74 c #Conflicts: 176000 | #Constraints: 45222
3337.00/3346.74 c #Conflicts: 177000 | #Constraints: 46222
3337.00/3346.74 c #Conflicts: 178000 | #Constraints: 47222
3337.00/3346.74 c #Conflicts: 179000 | #Constraints: 48222
3337.00/3346.74 c #Conflicts: 180000 | #Constraints: 49222
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 181000 | #Constraints: 41825
3337.00/3346.74 c #Conflicts: 182000 | #Constraints: 42825
3337.00/3346.74 c #Conflicts: 183000 | #Constraints: 43825
3337.00/3346.74 c #Conflicts: 184000 | #Constraints: 44825
3337.00/3346.74 c #Conflicts: 185000 | #Constraints: 45825
3337.00/3346.74 c #Conflicts: 186000 | #Constraints: 46825
3337.00/3346.74 c #Conflicts: 187000 | #Constraints: 47825
3337.00/3346.74 c #Conflicts: 188000 | #Constraints: 48825
3337.00/3346.74 c #Conflicts: 189000 | #Constraints: 49825
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 190000 | #Constraints: 42265
3337.00/3346.74 c #Conflicts: 191000 | #Constraints: 43265
3337.00/3346.74 c #Conflicts: 192000 | #Constraints: 44265
3337.00/3346.74 c #Conflicts: 193000 | #Constraints: 45265
3337.00/3346.74 c #Conflicts: 194000 | #Constraints: 46265
3337.00/3346.74 c #Conflicts: 195000 | #Constraints: 47265
3337.00/3346.74 c #Conflicts: 196000 | #Constraints: 48265
3337.00/3346.74 c #Conflicts: 197000 | #Constraints: 49265
3337.00/3346.74 c #Conflicts: 198000 | #Constraints: 50265
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 199000 | #Constraints: 42434
3337.00/3346.74 c #Conflicts: 200000 | #Constraints: 43434
3337.00/3346.74 c #Conflicts: 201000 | #Constraints: 44434
3337.00/3346.74 c #Conflicts: 202000 | #Constraints: 45434
3337.00/3346.74 c #Conflicts: 203000 | #Constraints: 46434
3337.00/3346.74 c #Conflicts: 204000 | #Constraints: 47434
3337.00/3346.74 c #Conflicts: 205000 | #Constraints: 48434
3337.00/3346.74 c #Conflicts: 206000 | #Constraints: 49434
3337.00/3346.74 c #Conflicts: 207000 | #Constraints: 50434
3337.00/3346.74 c INPROCESSING
3337.00/3346.74 c GARBAGE COLLECT
3337.00/3346.74 c #Conflicts: 208000 | #Constraints: 42458
3337.00/3346.74 c #Conflicts: 209000 | #Constraints: 43458
3337.00/3346.74 c #Conflicts: 210000 | #Constraints: 44458
3337.00/3346.74 c #Conflicts: 211000 | #Constraints: 45458
3337.00/3346.74 c #Conflicts: 212000 | #Constraints: 46458
3337.00/3346.74 c #Conflicts: 213000 | #Constraints: 47458
3466.22/3476.38 c #Conflicts: 214000 | #Constraints: 48458
3466.22/3476.38 c #Conflicts: 215000 | #Constraints: 49458
3466.22/3476.38 c #Conflicts: 216000 | #Constraints: 50458
3466.22/3476.38 c INPROCESSING
3466.22/3476.38 c GARBAGE COLLECT
3466.22/3476.38 c #Conflicts: 217000 | #Constraints: 42343
3466.22/3476.38 c #Conflicts: 218000 | #Constraints: 43343
3466.22/3476.38 c #Conflicts: 219000 | #Constraints: 44343
3466.22/3476.38 c #Conflicts: 220000 | #Constraints: 45343
3466.22/3476.38 c #Conflicts: 221000 | #Constraints: 46343
3466.22/3476.38 c #Conflicts: 222000 | #Constraints: 47343
3466.22/3476.38 c #Conflicts: 223000 | #Constraints: 48343
3466.22/3476.38 c #Conflicts: 224000 | #Constraints: 49343
3466.22/3476.38 c #Conflicts: 225000 | #Constraints: 50343
3466.22/3476.38 c #Conflicts: 226000 | #Constraints: 51343
3466.22/3476.38 c INPROCESSING
3466.22/3476.38 c GARBAGE COLLECT
3466.22/3476.38 c bounds 24 >= 15 @ 3430.22
3466.22/3476.38 c #Conflicts: 227000 | #Constraints: 42953
3466.22/3476.38 c #Conflicts: 228000 | #Constraints: 43953
3466.22/3476.38 c #Conflicts: 229000 | #Constraints: 44953
3466.22/3476.38 c #Conflicts: 230000 | #Constraints: 45953
3466.22/3476.38 c finalizing WCE round: reformulating cores
3600.01/3610.50 c #Conflicts: 231000 | #Constraints: 46956
3600.01/3610.50 c bounds 23 >= 15 @ 3474.13
3600.01/3610.50 c #Conflicts: 232000 | #Constraints: 47958
3600.01/3610.50 c #Conflicts: 233000 | #Constraints: 48958
3600.01/3610.50 c #Conflicts: 234000 | #Constraints: 49958
3600.01/3610.50 c #Conflicts: 235000 | #Constraints: 50958
3600.01/3610.50 c #Conflicts: 236000 | #Constraints: 51958
3600.01/3610.50 c INPROCESSING
3600.01/3610.50 c GARBAGE COLLECT
3600.01/3610.50 c #Conflicts: 237000 | #Constraints: 43524
3600.01/3610.50 c #Conflicts: 238000 | #Constraints: 44524
3600.01/3610.50 c bounds 23 >= 16 @ 3559.47
3600.01/3610.50 c #Conflicts: 239000 | #Constraints: 45552
3600.01/3610.50 c #Conflicts: 240000 | #Constraints: 46552
3600.01/3610.50 c #Conflicts: 241000 | #Constraints: 47552
3600.01/3610.50 c #Conflicts: 242000 | #Constraints: 48552
3600.01/3610.50 c Program interrupted by user.
3600.01/3610.50 c cpu time 3592.73 s
3600.01/3610.50 c deterministic time 415466214020 4.15e+11
3600.01/3610.50 c optimization time 50.489 s
3600.01/3610.50 c total solve time 3542.18 s
3600.01/3610.50 c core-guided solve time 3542.18 s
3600.01/3610.50 c propagation time 2787.31 s
3600.01/3610.50 c conflict analysis time 778.488 s
3600.01/3610.50 c propagations 435748727
3600.01/3610.50 c resolve steps 26659327
3600.01/3610.50 c decisions 5841901
3600.01/3610.50 c conflicts 242441
3600.01/3610.50 c restarts 563
3600.01/3610.50 c inprocessing phases 40
3600.01/3610.50 c input clauses 32330
3600.01/3610.50 c input cardinalities 61
3600.01/3610.50 c input general constraints 42
3600.01/3610.50 c input average constraint length 3.22
3600.01/3610.50 c input average constraint degree 1.33
3600.01/3610.50 c learned clauses 49784
3600.01/3610.50 c learned cardinalities 172
3600.01/3610.50 c learned general constraints 192491
3600.01/3610.50 c learned average constraint length 1517.99
3600.01/3610.50 c learned average constraint degree 74102204.54
3600.01/3610.50 c watched constraints 176443
3600.01/3610.50 c counting constraints 16090
3600.01/3610.50 c gcd simplifications 2291
3600.01/3610.50 c detected cardinalities 0
3600.01/3610.50 c weakened non-implied lits 8099606
3600.01/3610.50 c weakened non-implying lits 43541
3600.01/3610.50 c original variables 8901
3600.01/3610.50 c clausal propagations 372781276
3600.01/3610.50 c cardinality propagations 158763
3600.01/3610.50 c watched propagations 19539356
3600.01/3610.50 c counting propagations 42957287
3600.01/3610.50 c watch lookups 54260740071
3600.01/3610.50 c watch backjump lookups 48690654606
3600.01/3610.50 c watch checks 286325296730
3600.01/3610.50 c propagation checks 23477261319
3600.01/3610.50 c constraint additions 1828843785
3600.01/3610.50 c trail pops 441826880
3600.01/3610.50 c formula constraints 32298
3600.01/3610.50 c learned constraints 242447
3600.01/3610.50 c bound constraints 19
3600.01/3610.50 c core-guided constraints 116
3600.01/3610.50 c encountered formula constraints 23394561
3600.01/3610.50 c encountered learned constraints 3467185
3600.01/3610.50 c encountered bound constraints 30
3600.01/3610.50 c encountered core-guided constraints 39992
3600.01/3610.50 c LP total time 0 s
3600.01/3610.50 c LP solve time 0 s
3600.01/3610.50 c LP constraints added 0
3600.01/3610.50 c LP constraints removed 0
3600.01/3610.50 c LP pivots internal 0
3600.01/3610.50 c LP pivots root 0
3600.01/3610.50 c LP calls 0
3600.01/3610.50 c LP optimalities 0
3600.01/3610.50 c LP no pivot count 0
3600.01/3610.50 c LP infeasibilities 0
3600.01/3610.50 c LP valid Farkas constraints 0
3600.01/3610.50 c LP learned Farkas constraints 0
3600.01/3610.50 c LP basis resets 0
3600.01/3610.50 c LP cycling count 0
3600.01/3610.50 c LP singular count 0
3600.01/3610.50 c LP no primal count 0
3600.01/3610.50 c LP no farkas count 0
3600.01/3610.50 c LP other issue count 0
3600.01/3610.50 c LP Gomory cuts 0
3600.01/3610.50 c LP learned cuts 0
3600.01/3610.50 c LP deleted cuts 0
3600.01/3610.50 c LP encountered Gomory constraints 0
3600.01/3610.50 c LP encountered Farkas constraints 0
3600.01/3610.50 c LP encountered learned Farkas constraints 0
3600.01/3610.50 c CG auxiliary variables introduced 42
3600.01/3610.50 c CG solutions found 3
3600.01/3610.50 c CG cores constructed 11
3600.01/3610.50 c CG core cardinality constraints returned 0
3600.01/3610.50 c CG unit cores 0
3600.01/3610.50 c CG single cores 11
3600.01/3610.50 c CG blocks removed during cardinality reduction 0
3600.01/3610.50 c CG first core best 0
3600.01/3610.50 c CG decision core best 0
3600.01/3610.50 c CG core reduction tie 0
3600.01/3610.50 c CG core degree average 1.00
3600.01/3610.50 c CG core slack average 73.27
3600.01/3610.50 c CG exhausted 0
3600.01/3610.50 c CG exhaust time 17.1539 s
3600.01/3610.50 c CG trimmed 44
3600.01/3610.50 c CG trim time 0.047068 s
3600.01/3610.50 c CG minimized 0
3600.01/3610.50 c CG minimize time 0 s
3600.01/3610.50 c CG am1 prop time 0.010637 s
3600.01/3610.50 c CG # am1s reformulated 0
3600.01/3610.50 c CG lower bound derived from am1s 0
3600.01/3610.50 c CG # clausal cores 11
3600.01/3610.50 c CG # cardinality cores 0
3600.01/3610.50 c CG # pb cores 0
3600.01/3610.50 c CG # pb reforms 0
3600.01/3610.50 c CG # cores discarded because of pb reform 0
3600.01/3610.50 d LOWERBOUND 16
3600.01/3610.50 d NCORES 11
3600.01/3610.50 d NPBCORES 0
3600.01/3610.50 d NPBREFORM 0
3600.01/3610.50 d NTRIMMED 44
3600.01/3610.50 d NEXHAUSTED 0
3600.01/3610.50 d NAM1S 0
3600.01/3610.50 d AM1LB 0
3600.01/3610.50 o 23
3600.01/3610.50 s SATISFIABLE
3600.01/3610.50 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: 63708 MiB (62562 MiB free)
memory of node 1: 64465 MiB (62704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497786-1751404816/watcher-4497786-1751404816 -o /tmp/evaluation-result-4497786-1751404816/solver-4497786-1751404816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58040 --watchdog 3760 pb-oll-rs HOME/instance-4497786-1751404816.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58624, runsolver pid=58621
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128270016/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=23524 memory=10624 CPUtime=0.09 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 1723 0 0 0 7 2 0 0 20 0 1 0 56159476 24088576 2656 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 5881 2656 1312 243 0 2130 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23524 KiB
Current children cumulated memory: 10624 KiB
[startup+0.205589 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128270024/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=26036 memory=12240 CPUtime=0.2 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 2336 0 0 0 17 3 0 0 20 0 1 0 56159476 26660864 3060 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 6509 3060 1344 243 0 2758 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26036 KiB
Current children cumulated memory: 12240 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128270024/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=26700 memory=13520 CPUtime=0.29 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 2647 0 0 0 26 3 0 0 20 0 1 0 56159476 27340800 3380 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 6675 3380 1344 243 0 2924 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26700 KiB
Current children cumulated memory: 13520 KiB
[startup+0.700171 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128270024/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=32324 memory=21160 CPUtime=0.68 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 4069 0 0 0 64 4 0 0 20 0 1 0 56159476 33099776 5290 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 8081 5290 1344 243 0 4330 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32324 KiB
Current children cumulated memory: 21160 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128265928/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=48124 memory=32984 CPUtime=1.48 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 5979 0 0 0 143 5 0 0 20 0 1 0 56159476 49278976 8246 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 12031 8246 1344 243 0 8280 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48124 KiB
Current children cumulated memory: 32984 KiB
[startup+3.1054 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128254008/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=50444 memory=39420 CPUtime=3.08 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 6791 0 0 0 300 8 0 0 20 0 1 0 56159476 51654656 9855 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 12611 9855 1344 243 0 8860 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50444 KiB
Current children cumulated memory: 39420 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 58625
/proc/meminfo: memFree=128245892/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=57316 memory=45564 CPUtime=6.26 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 8322 0 0 0 613 13 0 0 20 0 1 0 56159476 58691584 11391 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 14329 11391 1344 243 0 10578 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57316 KiB
Current children cumulated memory: 45564 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 58626
/proc/meminfo: memFree=128245672/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=59520 memory=47836 CPUtime=12.65 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 9023 0 0 0 1245 20 0 0 20 0 1 0 56159476 60948480 11959 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 14880 11959 1344 243 0 11129 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59520 KiB
Current children cumulated memory: 47836 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 58638
/proc/meminfo: memFree=128217852/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=80120 memory=59684 CPUtime=25.41 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 11471 0 0 0 2511 30 0 0 20 0 1 0 56159476 82042880 14921 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 20030 14921 1344 243 0 16279 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 80120 KiB
Current children cumulated memory: 59684 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 58639
/proc/meminfo: memFree=128198276/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=87788 memory=72460 CPUtime=50.95 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 13256 0 0 0 5051 44 0 0 20 0 1 0 56159476 89894912 18115 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 21947 18115 1344 243 0 18196 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 87788 KiB
Current children cumulated memory: 72460 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 58640
/proc/meminfo: memFree=128178084/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=114212 memory=88120 CPUtime=102 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 15864 0 0 0 10131 69 0 0 20 0 1 0 56159476 116953088 22030 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 28553 22030 1344 243 0 24802 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 88120 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 58642
/proc/meminfo: memFree=128151704/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=116472 memory=98736 CPUtime=161.84 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 16623 0 0 0 16096 88 0 0 20 0 1 0 56159476 119267328 24684 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 29118 24684 1344 243 0 25367 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 116472 KiB
Current children cumulated memory: 98736 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 58644
/proc/meminfo: memFree=128119124/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=156320 memory=115792 CPUtime=221.67 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 19058 0 0 0 22058 109 0 0 20 0 1 0 56159476 160071680 28948 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 39080 28948 1344 243 0 35329 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 156320 KiB
Current children cumulated memory: 115792 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 58649
/proc/meminfo: memFree=128110832/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=160100 memory=121288 CPUtime=281.51 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 20041 0 0 0 28023 128 0 0 20 0 1 0 56159476 163942400 30322 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 40025 30322 1344 243 0 36274 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 160100 KiB
Current children cumulated memory: 121288 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 58651
/proc/meminfo: memFree=128098680/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=160924 memory=126244 CPUtime=341.35 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 20391 0 0 0 33988 147 0 0 20 0 1 0 56159476 164786176 31561 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 40231 31561 1344 243 0 36480 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 160924 KiB
Current children cumulated memory: 126244 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 58653
/proc/meminfo: memFree=128029748/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=164176 memory=135548 CPUtime=401.18 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 21305 0 0 0 39956 162 0 0 20 0 1 0 56159476 168116224 33887 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 41044 33887 1344 243 0 37293 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 164176 KiB
Current children cumulated memory: 135548 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 58655
/proc/meminfo: memFree=128039724/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=169124 memory=139696 CPUtime=461 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 22479 0 0 0 45925 175 0 0 20 0 1 0 56159476 173182976 34924 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 42281 34924 1344 243 0 38530 0
################
# More data... #
################
Current children cumulated memory: 266036 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/262 59030
/proc/meminfo: memFree=105690908/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=291940 memory=269108 CPUtime=2913.89 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 38992 0 0 0 290819 570 0 0 20 0 1 0 56159476 298946560 67277 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 72985 67277 1344 243 0 69234 0
Current children cumulated CPU time: 2913.89 s
Current children cumulated vsize: 291940 KiB
Current children cumulated memory: 269108 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/263 59033
/proc/meminfo: memFree=104075784/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=297348 memory=273460 CPUtime=2973.7 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 40093 0 0 0 296793 577 0 0 20 0 1 0 56159476 304484352 68365 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 74337 68365 1344 243 0 70586 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 297348 KiB
Current children cumulated memory: 273460 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.10 5/263 59035
/proc/meminfo: memFree=99613200/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=298680 memory=274528 CPUtime=3033.52 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 40485 0 0 0 302763 589 0 0 20 0 1 0 56159476 305848320 68632 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 74670 68632 1344 243 0 70919 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 298680 KiB
Current children cumulated memory: 274528 KiB
[startup+3102.3 s]
/proc/loadavg: 4.28 4.13 4.11 5/264 59042
/proc/meminfo: memFree=96650064/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=299480 memory=275168 CPUtime=3093.34 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 40701 0 0 0 308738 596 0 0 20 0 1 0 56159476 306667520 68792 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 74870 68792 1344 243 0 71119 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 299480 KiB
Current children cumulated memory: 275168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.16 4.12 5/264 59044
/proc/meminfo: memFree=90940264/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=301208 memory=276384 CPUtime=3153.16 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 41095 0 0 0 314707 609 0 0 20 0 1 0 56159476 308436992 69096 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 75302 69096 1344 243 0 71551 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 301208 KiB
Current children cumulated memory: 276384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 59046
/proc/meminfo: memFree=89340856/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=301208 memory=276384 CPUtime=3212.98 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 41104 0 0 0 320677 621 0 0 20 0 1 0 56159476 308436992 69096 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 75302 69096 1344 243 0 71551 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 301208 KiB
Current children cumulated memory: 276384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 59048
/proc/meminfo: memFree=88115924/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=303272 memory=278064 CPUtime=3272.8 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 41654 0 0 0 326643 637 0 0 20 0 1 0 56159476 310550528 69516 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 75818 69516 1344 243 0 72067 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 303272 KiB
Current children cumulated memory: 278064 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 59052
/proc/meminfo: memFree=83349196/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=305828 memory=280668 CPUtime=3332.62 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 42427 0 0 0 332609 653 0 0 20 0 1 0 56159476 313167872 70167 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 76457 70167 1344 243 0 72706 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 305828 KiB
Current children cumulated memory: 280668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 59156
/proc/meminfo: memFree=104996764/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=306788 memory=281612 CPUtime=3392.44 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 42791 0 0 0 338579 665 0 0 20 0 1 0 56159476 314150912 70403 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 76697 70403 1344 243 0 72946 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 306788 KiB
Current children cumulated memory: 281612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 59158
/proc/meminfo: memFree=101092824/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=402188 memory=306048 CPUtime=3452.26 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 46641 0 0 0 344542 684 0 0 20 0 1 0 56159476 411840512 76512 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 100547 76512 1344 243 0 96796 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 402188 KiB
Current children cumulated memory: 306048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 59257
/proc/meminfo: memFree=128348244/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=402500 memory=306304 CPUtime=3512.08 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 46707 0 0 0 350507 701 0 0 20 0 1 0 56159476 412160000 76576 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 100625 76576 1344 243 0 96874 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 402500 KiB
Current children cumulated memory: 306304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 59259
/proc/meminfo: memFree=128298900/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=403684 memory=307228 CPUtime=3571.9 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 47229 0 0 0 356471 719 0 0 20 0 1 0 56159476 413372416 76807 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 100921 76807 1344 243 0 97170 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 403684 KiB
Current children cumulated memory: 307228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 59260
/proc/meminfo: memFree=128319980/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=403684 memory=307228 CPUtime=3600.01 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 47231 0 0 0 359272 729 0 0 20 0 1 0 56159476 413372416 76807 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 100921 76807 1344 243 0 97170 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 403684 KiB
Current children cumulated memory: 307228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 58624 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.73 s, system=7.29607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 59260
/proc/meminfo: memFree=128319980/131249996 swapFree=33005272/33010684
[pid=58624] ppid=58621 vsize=403684 memory=307228 CPUtime=3600.01 cores=0,2
/proc/58624/stat : 58624 (pb-oll-rs) R 58621 58624 58030 0 -1 4194304 47231 0 0 0 359272 729 0 0 20 0 1 0 56159476 413372416 76807 18446744073709551615 4218880 5211445 140727679302336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 38584320 140727679306140 140727679306217 140727679306217 140727679311819 0
/proc/58624/statm: 100921 76807 1344 243 0 97170 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 403684 KiB
Current children cumulated memory: 307228 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.03
CPU user time (s): 3592.73
CPU system time (s): 7.29607
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 404140
Max. memory (cumulated for all children) (KiB): 307584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.73
system time used= 7.29607
maximum resident set size= 308352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47245
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= 138
involuntary context switches= 7998
# summary of solver processes directly reported to runsolver:
# pid: 58624
# total CPU time (s): 3600.03
# total CPU user time (s): 3592.73
# total CPU system time (s): 7.29607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38383 second user time and 16.3783 second system time
The end
Begin job on nodeC023 at 2025-07-01 23:20:16
IDJOB=4497786
IDBENCH=148193
IDSOLVER=3345
FILE ID=nodeC023/4497786-1751404816
RUNJOBID= nodeC023-1751399181-58040
SLURM_JOB_ID= 9598285
Free space on /tmp= 433044 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4497786-1751404816/watcher-4497786-1751404816 -o /tmp/evaluation-result-4497786-1751404816/solver-4497786-1751404816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58040 --watchdog 3760 pb-oll-rs HOME/instance-4497786-1751404816.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=976787962
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.909
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.883
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3611.982
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3603.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.832
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.768
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3621.090
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128273748 kB
MemAvailable: 128018040 kB
Buffers: 1328 kB
Cached: 542512 kB
SwapCached: 404 kB
Active: 1988256 kB
Inactive: 374400 kB
Active(anon): 1777604 kB
Inactive(anon): 54636 kB
Active(file): 210652 kB
Inactive(file): 319764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2688 kB
Writeback: 16 kB
AnonPages: 1815956 kB
Mapped: 102676 kB
Shmem: 13404 kB
KReclaimable: 106228 kB
Slab: 194440 kB
SReclaimable: 106228 kB
SUnreclaim: 88212 kB
KernelStack: 4340 kB
PageTables: 6540 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2483952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1372160 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432424 MiB
End job on nodeC023 at 2025-07-02 00:20:27